Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| LS-MabP 2024-07-10 | SAT | 0 | 3558.01 | 3565.27 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
| MD5SUM | 7cbd9242490819e58478720045b90b69 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.167741 |
| 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 | 776 |
| Total number of constraints | 867 |
| Number of constraints which are clauses | 701 |
| Number of constraints which are cardinality constraints (but not clauses) | 166 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 776 |
| Biggest coefficient in the objective function | 474 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 2127 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 474 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 2127 |
| Number of bits of the biggest sum of numbers | 12 |
| 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 Filename:instance-4428682-1722769581.opb, Cutoff_time:3558, memory_limit_gb:500000 0.00/0.00 c Use Presolve 0.00/0.01 c Parse finsih 0.00/0.02 c Start Presolve 0.00/0.06 c After Reduce Vars: 775 Clauses: 1641 Top clause weight: 1654 Hard Clauses: 866 0.00/0.06 c Use LS-small 0.00/0.06 c Use postsolve 0.00/0.06 o 222 0.00/0.06 c Use postsolve 0.00/0.06 o 218 0.00/0.06 c Use postsolve 0.00/0.07 o 214 0.00/0.07 c Use postsolve 0.00/0.07 o 210 0.00/0.07 c Use postsolve 0.00/0.07 o 206 0.00/0.07 c Use postsolve 0.00/0.07 o 202 0.00/0.07 c Use postsolve 0.00/0.07 o 198 0.00/0.07 c Use postsolve 0.00/0.07 o 194 0.00/0.07 c Use postsolve 0.00/0.07 o 190 0.00/0.07 c Use postsolve 0.00/0.07 o 187 0.00/0.07 c Use postsolve 0.00/0.07 o 183 0.00/0.07 c Use postsolve 0.00/0.08 o 179 0.00/0.08 c Use postsolve 0.00/0.08 o 175 0.00/0.08 c Use postsolve 0.00/0.08 o 171 0.00/0.08 c Use postsolve 0.00/0.08 o 167 0.00/0.08 c Use postsolve 0.00/0.08 o 164 0.00/0.08 c Use postsolve 0.00/0.08 o 161 0.00/0.08 c Use postsolve 0.00/0.08 o 157 0.00/0.08 c Use postsolve 0.00/0.08 o 154 0.00/0.08 c Use postsolve 0.00/0.08 o 151 0.00/0.08 c Use postsolve 0.00/0.09 o 148 0.00/0.09 c Use postsolve 0.00/0.09 o 145 0.00/0.09 c Use postsolve 0.00/0.09 o 142 0.00/0.09 c Use postsolve 0.00/0.09 o 138 0.00/0.09 c Use postsolve 0.00/0.09 o 135 0.00/0.09 c Use postsolve 0.00/0.09 o 132 0.00/0.09 c Use postsolve 0.00/0.09 o 129 0.00/0.09 c Use postsolve 0.00/0.09 o 30 0.00/0.10 c Use postsolve 0.00/0.10 o 7 0.00/0.10 c Use postsolve 0.00/0.10 o 4 0.11/0.11 c Use postsolve 0.11/0.11 o 3 0.11/0.11 c Use postsolve 0.11/0.11 o 2 0.11/0.12 c Use postsolve 0.11/0.12 o 1 0.11/0.12 c Use postsolve 0.11/0.12 o 0 3557.93/3565.26 s SATISFIABLE 3557.93/3565.26 c Use postsolve 3557.93/3565.26 v -x757 x694 -x589 x263 -x242 x57 -x39 x693 -x591 -x487 x264 -x247 x56 -x38 x758 x701 x590 -x486 -x440 -x267 -x246 -x55 -x40 -x759 x695 -x595 x488 -x445 -x265 -x53 x41 -x762 -x696 -x613 -x594 x489 x444 -x266 x249 -x54 -x48 -x760 -x697 -x612 -x592 x490 -x402 -x250 x42 -x3 -x761 -x614 -x593 x497 x447 -x422 -x401 -x253 -x199 -x172 -x43 x2 -x735 x617 x491 -x448 -x421 -x407 -x386 -x251 -x177 -x44 x4 -x734 x616 -x492 -x451 -x423 x406 -x385 -x274 -x252 -x198 -x176 -x138 x5 x621 -x493 -x449 -x426 x408 -x387 -x367 -x279 -x202 -x156 -x137 -x19 x6 -x736 x620 -x560 -x511 -x450 x425 -x412 -x388 -x366 -x278 x179 -x155 -x139 -x88 -x18 -x13 x738 -x651 -x618 -x516 x430 -x411 x389 -x203 -x180 -x157 -x142 -x87 -x24 -x7 -x650 -x619 -x559 x515 -x467 -x429 -x409 -x396 -x368 -x281 -x183 -x158 x141 -x89 -x67 -x23 -x8 -x739 -x563 -x427 -x410 x390 -x370 -x282 -x181 x159 -x146 -x92 -x72 -x25 -x9 -x741 -x652 x518 -x470 -x428 -x391 -x319 -x285 x224 -x182 -x166 -x145 -x122 x91 -x71 -x29 -x742 -x654 -x636 -x564 -x519 -x471 -x392 -x371 -x318 -x283 x160 -x143 x96 -x28 -x635 -x522 -x373 -x348 -x320 -x284 x223 x161 -x144 -x121 x95 -x74 -x26 -x655 -x520 -x374 -x352 x323 -x227 x162 x93 -x75 -x27 -x657 -x637 -x521 x322 x125 x94 -x76 -x658 x640 x324 -x228 x126 -x77 -x754 x704 x65 -x756 x705 -x588 x268 -x241 x61 x755 -x700 x603 x243 -x60 -x51 -x763 x599 -x439 -x248 x52 -x711 -x698 x598 x500 -x441 x245 -x47 -x715 x501 x446 x254 x496 x443 -x45 -x730 -x615 -x452 -x403 x171 -x729 x629 -x494 x404 -x200 x173 -x16 x625 -x424 x405 -x362 -x273 -x204 -x178 x17 -x737 -x624 -x438 x416 x399 -x361 -x275 x175 -x12 x740 -x646 -x510 -x434 x400 -x280 -x184 x140 -x20 -x744 -x645 -x561 -x512 -x466 -x433 -x395 x369 x277 -x206 -x169 -x154 x21 -x10 -x743 -x565 x517 -x372 -x286 -x207 -x170 -x150 -x90 -x66 x22 x653 x514 -x472 -x393 -x376 -x165 -x149 -x117 -x104 -x68 -x33 -x656 -x631 -x523 -x375 x100 x73 -x660 -x630 -x567 -x347 x225 -x163 -x123 x99 x70 -x659 -x568 -x351 x321 -x229 -x78 -x638 -x475 x332 x127 x639 x328 x702 -x600 -x106 x64 -x50 x753 -x602 x272 -x49 x771 -x499 x271 -x58 -x767 x498 x244 -x766 -x710 -x699 x596 x262 -x59 -x714 -x442 x258 -x194 -x626 -x597 x460 -x303 x257 x193 -x46 -x15 x628 x456 -x14 -x495 -x455 -x435 -x419 -x398 x201 -x731 -x555 -x437 x420 x397 -x205 x174 -x732 -x622 -x554 -x462 -x415 x209 x192 -x168 -x151 x733 -x363 -x276 -x208 x188 -x167 -x153 -x748 -x623 -x562 x468 -x431 -x413 x364 x294 -x187 -x101 -x36 -x11 -x647 -x566 -x513 x365 x290 -x219 -x103 -x37 -x686 x648 -x570 x531 x473 -x432 -x394 -x380 -x289 -x218 -x147 -x32 x649 -x569 -x527 -x116 -x69 x664 -x526 -x476 -x349 -x329 x226 -x164 -x148 -x118 -x97 x86 -x30 x632 -x474 x353 -x331 -x230 x124 -x82 x633 -x231 x120 -x98 -x81 x634 x327 -x232 x128 -x768 x703 -x601 x334 -x105 -x62 x770 x269 x259 x261 -x764 -x712 -x457 x300 x270 -x716 -x627 -x459 -x765 -x418 x302 x255 -x436 -x417 x195 x718 -x453 -x256 x196 x189 x719 x197 x191 -x152 x751 -x454 -x291 x213 -x35 x752 x556 -x461 -x293 -x102 -x34 -x747 -x682 x557 -x528 x463 -x414 x383 -x185 x558 -x530 x469 x384 -x344 -x745 x685 -x667 -x574 x465 -x379 x343 -x287 -x186 -x83 x668 -x477 -x330 x220 x85 -x663 -x535 -x524 -x377 x350 -x288 x221 -x31 -x539 x354 x222 -x119 -x661 x643 x605 -x525 -x355 -x236 x136 -x79 x644 -x609 -x356 x325 x132 -x769 x333 x107 -x63 -x707 -x260 -x706 -x458 x713 x299 -x109 x717 x721 x304 x720 -x190 -x750 x216 -x749 -x292 x217 x678 x382 -x307 -x212 -x529 x381 -x681 -x666 x577 -x210 -x665 x578 x464 -x84 -x746 x687 -x573 x485 -x481 x345 -x642 -x571 -x534 -x480 -x378 x346 -x239 -x133 -x641 -x538 -x240 x135 -x690 -x662 x604 -x235 -x80 x608 -x326 x131 -x503 x296 x110 x708 -x108 x709 -x547 x336 x301 x772 x725 x305 -x215 x214 -x674 x308 x306 x773 x677 -x774 x576 x575 -x683 -x482 -x211 x484 x688 -x238 -x237 -x134 x691 -x572 -x536 -x478 x359 -x689 x540 x360 x606 -x479 -x233 x610 x129 x111 -x502 x337 x335 x295 x728 -x546 x297 x724 x309 x722 -x673 -x583 -x483 -x684 -x533 x680 x532 -x358 x692 x357 -x537 x541 x607 -x234 x611 -x130 x338 x115 x727 -x504 -x114 x726 -x548 x298 x670 -x507 -x317 x313 -x723 x675 -x582 x550 x312 x551 x679 -x587 x543 x342 x542 -x505 x341 -x112 -x549 x508 -x314 -x113 x506 -x316 x581 x553 x669 x552 x671 x584 -x310 x676 -x311 x586 x339 x544 x509 -x315 x545 x340 x775 x580 x579 x672 x585 x776 x1 3557.93/3565.26 c Done 0.11s
OK 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63279 MiB free)
memory of node 1: 64473 MiB (62278 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428682-1722769581/watcher-4428682-1722769581 -o /tmp/evaluation-result-4428682-1722769581/solver-4428682-1722769581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722769581-241399 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428682-1722769581.opb -t 3558 -s 17552991 --no-s
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=241450, runsolver pid=241447
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 0.62 0.24 0.13 7/243 241461
/proc/meminfo: memFree=128558388/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=0.11 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1145 0 0 0 10 1 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+0.213516 s]*
/proc/loadavg: 0.62 0.24 0.13 5/243 241461
/proc/meminfo: memFree=128550128/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=0.21 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 19 2 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+0.31211 s]*
/proc/loadavg: 0.62 0.24 0.13 5/243 241461
/proc/meminfo: memFree=128547128/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=0.31 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 27 4 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+0.70032 s]
/proc/loadavg: 0.62 0.24 0.13 5/243 241461
/proc/meminfo: memFree=128534396/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=0.68 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 58 10 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+1.50027 s]
/proc/loadavg: 0.62 0.24 0.13 5/243 241461
/proc/meminfo: memFree=128534240/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=1.49 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 127 22 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3.11184 s]
/proc/loadavg: 0.89 0.30 0.15 5/244 241462
/proc/meminfo: memFree=128520572/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3.1 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 263 47 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+6.30023 s]
/proc/loadavg: 0.89 0.30 0.15 5/244 241462
/proc/meminfo: memFree=128520544/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=6.27 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 528 99 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+12.7002 s]
/proc/loadavg: 1.44 0.44 0.20 5/244 241464
/proc/meminfo: memFree=128520424/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=12.66 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 1064 202 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 0.60 0.26 5/244 241466
/proc/meminfo: memFree=128519820/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=25.45 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 2120 425 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+51.1117 s]
/proc/loadavg: 3.08 0.96 0.39 5/244 241471
/proc/meminfo: memFree=128518924/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=51.01 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 4234 867 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+102.3 s]
/proc/loadavg: 3.97 1.57 0.63 5/243 241479
/proc/meminfo: memFree=128518044/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=102.12 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 8446 1766 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 2.12 0.88 5/243 241489
/proc/meminfo: memFree=128517488/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=162.02 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 13384 2818 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 162.02 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+222.3 s]
/proc/loadavg: 4.58 2.60 1.12 5/243 241500
/proc/meminfo: memFree=128516132/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=221.92 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 18329 3863 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 221.92 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+282.3 s]
/proc/loadavg: 4.63 2.98 1.35 5/246 241515
/proc/meminfo: memFree=128512872/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=281.8 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 23269 4911 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 281.8 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+342.3 s]
/proc/loadavg: 4.32 3.19 1.53 5/244 241525
/proc/meminfo: memFree=128512496/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=341.69 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 28219 5950 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 341.69 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 3.40 1.71 5/244 241537
/proc/meminfo: memFree=128511480/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=401.56 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 33182 6974 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 401.56 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 3.55 1.86 5/244 241548
/proc/meminfo: memFree=128510576/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=461.43 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 38139 8004 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
################
# More data... #
################
/proc/loadavg: 4.12 4.14 4.09 5/245 243214
/proc/meminfo: memFree=128578088/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3155.87 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 260870 54717 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3155.87 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/245 243226
/proc/meminfo: memFree=128577144/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3215.75 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 265831 55744 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3215.75 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/245 243250
/proc/meminfo: memFree=128576316/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3275.62 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 270781 56781 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3275.62 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/245 243260
/proc/meminfo: memFree=128575776/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3335.49 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 275712 57837 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3335.49 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/245 243271
/proc/meminfo: memFree=128575500/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3395.37 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 280658 58879 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3395.37 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/243 243282
/proc/meminfo: memFree=128574652/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3455.25 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 285619 59906 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3455.25 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/243 243293
/proc/meminfo: memFree=128574008/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3515.12 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 290558 60954 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3515.12 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3565.27 s]
# the end of solver process 241450 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2941.27 s, system=616.739 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.17 4.14 4.09 5/243 243294
/proc/meminfo: memFree=128573976/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3525.6 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 291427 61133 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3525.6 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3545.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/243 243296
/proc/meminfo: memFree=128573932/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3538.38 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 292493 61345 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3538.38 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3558.4 s]
/proc/loadavg: 4.10 4.13 4.09 5/242 243301
/proc/meminfo: memFree=128573428/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3551.15 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 293554 61561 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3551.15 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3561.6 s]
/proc/loadavg: 4.10 4.13 4.09 5/242 243301
/proc/meminfo: memFree=128573436/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3554.34 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 293821 61613 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3554.34 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3563.2 s]
/proc/loadavg: 4.09 4.13 4.09 5/242 243301
/proc/meminfo: memFree=128573476/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3555.93 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 293954 61639 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3555.93 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3564 s]*
/proc/loadavg: 4.09 4.13 4.09 5/236 243305
/proc/meminfo: memFree=128596752/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3556.75 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 294022 61653 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3556.75 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3564.8 s]
/proc/loadavg: 4.09 4.13 4.09 5/236 243305
/proc/meminfo: memFree=128596752/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3557.54 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 294087 61667 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3557.54 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
[startup+3565.2 s]
/proc/loadavg: 4.09 4.13 4.09 3/232 243317
/proc/meminfo: memFree=128610248/131655788 swapFree=131071728/131071996
[pid=241450] ppid=241447 vsize=20432 memory=8524 CPUtime=3557.93 cores=1,3
/proc/241450/stat : 241450 (LS-MabP) R 241447 241450 241387 0 -1 4194304 1221 0 0 0 294121 61672 0 0 20 0 1 0 43328500 20922368 2131 134679101440 4194304 15467897 140721477216864 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44703744 140721477219355 140721477219462 140721477219462 140721477226478 0
/proc/241450/statm: 5108 2131 1169 2753 0 1761 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 8524 KiB
Child status: 0
Real time (s): 3565.27
CPU time (s): 3558.01
CPU user time (s): 2941.27
CPU system time (s): 616.739
CPU usage (%): 99.7964
Max. virtual memory (cumulated for all children) (KiB): 20432
Max. memory (cumulated for all children) (KiB): 8524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2941.27
system time used= 616.739
maximum resident set size= 8600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1243
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= 2
involuntary context switches= 1186
# summary of solver processes directly reported to runsolver:
# pid: 241450
# total CPU time (s): 3558.01
# total CPU user time (s): 2941.27
# total CPU system time (s): 616.739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3062 second user time and 29.4719 second system time
The end
Begin job on nodeC011 at 2024-08-04 13:06:22 IDJOB=4428682 IDBENCH=146660 IDSOLVER=3049 FILE ID=nodeC011/4428682-1722769581 RUNJOBID= nodeC011-1722769581-241399 SLURM_JOB_ID= 8257549 Free space on /tmp= 723752 MiB SOLVER NAME= LS-MabP 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb COMMAND LINE= ./LS-MabP -f BENCHNAME -t 3558 -s RANDOMSEED --no-s RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428682-1722769581/watcher-4428682-1722769581 -o /tmp/evaluation-result-4428682-1722769581/solver-4428682-1722769581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722769581-241399 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428682-1722769581.opb -t 3558 -s 17552991 --no-s TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbd9242490819e58478720045b90b69 RANDOM SEED=17552991 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.180 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.146 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.133 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.135 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.137 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.136 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.142 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.138 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128573600 kB MemAvailable: 129976392 kB Buffers: 288280 kB Cached: 1961288 kB SwapCached: 12 kB Active: 489696 kB Inactive: 2129092 kB Active(anon): 1840 kB Inactive(anon): 405052 kB Active(file): 487856 kB Inactive(file): 1724040 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 66000 kB Writeback: 0 kB AnonPages: 369260 kB Mapped: 109772 kB Shmem: 37660 kB KReclaimable: 62188 kB Slab: 145060 kB SReclaimable: 62188 kB SUnreclaim: 82872 kB KernelStack: 3696 kB PageTables: 9880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 702716 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 277320 kB DirectMap2M: 22695936 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723716 MiB End job on nodeC011 at 2024-08-04 14:05:47