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 | 2642 | 3558.01 | 3563.86 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb |
| MD5SUM | 9e8345160c873e2ecbeb2fceb1264fd1 |
| 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 | 2642 |
| Best CPU time to get the best result obtained on this benchmark | 0.026526 |
| 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 | 907 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 126 |
| Number of constraints which are cardinality constraints (but not clauses) | 277 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| Number of terms in the objective function | 748 |
| Biggest coefficient in the objective function | 240 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 33855 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 240 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 33855 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Filename:instance-4428679-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.05 c After Reduce Vars: 899 Clauses: 1402 Top clause weight: 33616 Hard Clauses: 655 0.00/0.06 c Use LS-small 0.00/0.07 c Use postsolve 0.00/0.07 o 10839 0.00/0.08 c Use postsolve 0.00/0.08 o 2661 0.00/0.09 c Use postsolve 0.00/0.09 o 2660 0.10/0.14 c Use postsolve 0.10/0.14 o 2659 0.10/0.15 c Use postsolve 0.10/0.16 o 2658 0.31/0.35 c Use postsolve 0.31/0.35 o 2657 0.41/0.45 c Use postsolve 0.41/0.45 o 2653 0.41/0.46 c Use postsolve 0.41/0.46 o 2651 0.41/0.48 c Use postsolve 0.41/0.48 o 2650 0.41/0.50 c Use postsolve 0.41/0.50 o 2649 0.60/0.62 c Use postsolve 0.60/0.62 o 2648 0.60/0.65 c Use postsolve 0.60/0.65 o 2647 0.60/0.67 c Use postsolve 0.60/0.67 o 2646 0.68/0.77 c Use postsolve 0.68/0.77 o 2645 0.68/0.78 c Use postsolve 0.68/0.78 o 2644 1.18/1.20 c Use postsolve 1.18/1.21 o 2642 3557.94/3563.85 s SATISFIABLE 3557.94/3563.85 c Use postsolve 3557.94/3563.85 v x2 -x128 -x506 -x641 x775 -x5 x257 x509 -x6 -x132 x258 -x384 x510 -x7 -x133 x259 x511 -x8 x134 -x513 -x9 x135 -x514 x389 -x517 x12 -x138 -x518 -x13 x139 x519 -x15 x393 x521 -x16 -x142 x268 -x522 -x17 x395 -x523 -x18 x144 x524 -x19 x397 x525 x20 -x526 x660 -x21 x147 x527 -x22 x274 x528 x23 -x529 x663 -x24 x150 x530 -x25 x151 x531 -x26 -x152 x404 x532 -x27 x153 -x533 -x28 x154 x534 x29 -x407 -x535 -x30 x408 x536 x31 -x157 -x537 -x32 x158 x538 x33 -x159 -x673 x807 -x34 -x160 x286 -x540 -x35 x161 x541 x288 -x414 x37 -x163 -x543 -x38 x164 x544 -x39 x165 x545 x40 -x546 -x680 x814 -x41 x167 x547 -x42 x420 -x548 x43 -x169 -x549 -x44 x422 x550 -x45 x171 x551 x552 -x46 x172 -x553 x687 -x47 x173 -x554 -x48 -x174 x426 x555 -x49 -x175 x427 x556 -x50 x176 x557 x429 x52 -x178 -x559 -x53 x179 x560 x432 -x695 x829 -x55 -x181 x433 -x562 -x56 x434 x563 -x57 x309 -x564 -x698 x832 -x58 x436 x565 -x59 x437 -x566 x567 x60 -x186 -x568 -x569 x61 -x570 -x704 x838 -x62 x188 x571 -x63 -x315 x441 -x572 -x706 x840 -x64 x190 x573 -x65 x317 x574 x66 -x318 -x575 -x67 x319 x576 x68 -x194 -x577 x711 -x69 -x195 x321 -x578 -x712 x846 -x70 x196 -x448 -x579 -x71 x197 x580 x72 -x581 x715 x73 -x199 -x582 x74 -x583 -x75 x201 x584 x76 -x202 -x585 x77 -x203 -x586 -x79 -x205 -x331 x457 x588 -x80 x458 -x589 x723 -x590 -x82 -x208 x334 -x460 -x591 -x83 x335 -x592 -x84 -x336 x462 -x593 x727 -x728 x862 x86 -x212 -x595 -x729 x863 -x87 x213 -x465 x596 x88 -x214 -x597 x731 -x865 -x89 x215 x598 -x90 x468 -x599 x733 -x91 -x217 x469 -x600 -x601 -x93 x219 x603 x94 -x220 -x604 x95 -x221 -x605 -x739 x873 -x97 x223 x607 -x350 x476 x742 -x99 x225 x609 -x100 -x352 x478 -x610 -x744 x878 x227 -x745 x879 x228 -x746 x880 -x103 -x229 -x355 x481 x613 -x104 -x230 -x356 x482 x614 x105 -x615 x749 -x106 -x232 -x358 x484 x616 x107 -x617 -x108 -x234 x486 -x618 -x109 x235 x619 x110 -x236 -x620 x754 -x111 -x237 -x363 x489 -x621 x755 -x889 -x757 x891 -x114 x366 -x624 x241 -x116 -x242 x494 -x626 x760 -x117 x243 x627 -x628 -x762 x896 x118 -x496 -x629 x119 -x371 -x631 x765 -x899 x120 -x632 x766 -x900 x121 -x247 -x633 -x767 x901 -x122 x374 x634 -x123 -x375 x501 -x635 x124 -x636 x904 -x125 -x377 x503 -x637 -x771 x905 x772 -x906 x127 -x639 x773 -x3 -x129 -x507 -x4 -x508 -x642 -x131 -x643 -x777 -x644 -x778 -x385 -x645 -x779 x646 -x780 -x260 -x647 x781 -x261 -x387 x648 -x782 -x262 -x388 -x137 -x390 -x265 -x391 -x653 -x787 -x655 -x789 -x656 x790 -x143 -x657 x791 -x270 -x658 -x792 -x271 -x659 -x793 -x146 -x272 -x273 -x399 -x661 -x795 -x148 -x400 -x662 -x796 -x149 -x401 -x276 -x664 -x798 -x277 -x403 -x665 -x799 -x278 -x666 -x800 -x279 -x405 -x667 x801 -x280 -x406 -x668 -x802 -x155 -x281 -x669 x803 -x156 -x282 -x670 -x804 -x284 -x410 -x672 -x806 -x412 -x287 -x413 -x675 -x809 x676 -x810 -x290 -x416 -x678 -x812 -x291 -x417 -x679 -x813 -x166 -x292 -x418 -x293 -x681 -x815 -x295 -x421 x683 -x817 -x170 -x684 -x818 -x297 -x423 -x685 -x819 -x686 -x820 -x298 -x424 -x821 -x300 -x689 -x823 -x301 -x690 -x824 -x302 -x428 -x691 -x825 -x51 -x177 -x303 -x558 -x692 x826 -x304 -x430 x693 -x827 -x305 -x431 -x694 -x828 -x54 -x180 -x306 -x561 -x307 -x696 x830 -x182 -x697 -x831 -x183 -x435 -x184 -x310 -x699 -x833 -x185 -x311 -x701 -x835 -x312 -x438 x702 -x836 x703 -x837 -x187 -x313 -x439 -x314 -x440 -x705 -x839 -x189 -x316 -x707 -x841 -x191 -x443 -x708 -x842 -x192 -x444 -x193 -x445 -x710 -x844 -x320 -x446 -x845 -x447 -x322 -x847 -x323 -x449 -x714 -x848 -x198 -x324 -x450 -x325 -x451 x716 -x850 -x326 x717 -x851 -x327 -x453 -x718 -x852 -x328 -x454 x719 -x853 -x329 -x455 x720 -x854 -x722 -x856 -x206 -x332 -x857 -x207 -x725 x859 -x209 -x461 -x338 -x464 -x339 -x730 -x864 -x340 -x466 -x341 -x467 -x732 -x866 -x216 -x342 -x867 -x343 -x734 x868 -x218 -x345 -x737 -x871 -x346 -x472 x738 -x872 -x347 -x473 -x348 x740 -x874 -x349 -x741 -x875 -x351 -x477 -x743 -x877 -x226 -x353 -x479 -x354 -x480 -x747 -x881 -x748 -x882 -x750 -x884 -x485 x751 -x885 -x360 -x361 -x487 -x753 -x887 -x362 -x488 -x888 x756 -x890 -x239 -x491 -x492 x758 -x892 -x115 -x367 -x493 -x625 -x368 -x894 -x369 -x495 -x761 -x895 -x244 -x370 x763 -x897 -x246 -x498 -x373 -x499 -x248 -x500 -x768 -x902 -x376 -x502 -x126 -x638 -x253 -x379 -x505 -x907 x1 x10 -x11 -x14 -x36 -x78 -x81 -x85 -x92 -x96 -x98 -x101 -x102 -x112 -x113 -x130 -x136 -x140 -x141 -x145 -x162 -x168 -x200 -x204 -x210 -x211 -x222 -x224 -x231 -x233 -x238 -x240 -x245 -x249 -x250 -x251 -x252 -x254 x255 x256 -x263 -x264 x266 -x267 -x269 -x275 -x283 -x285 -x289 -x294 -x296 -x299 -x308 -x330 x333 x337 x344 -x357 -x359 x364 x365 -x372 x378 -x380 -x381 -x382 -x383 -x386 -x392 -x394 -x396 -x398 -x402 -x409 -x411 -x415 -x419 -x425 -x442 -x452 x456 -x459 -x463 -x470 -x471 x474 -x475 -x483 -x490 -x497 -x504 -x512 -x515 -x516 -x520 -x539 -x542 x587 -x594 -x602 -x606 -x608 -x611 -x612 -x622 -x623 -x630 x640 -x649 x650 x651 x652 -x654 -x671 -x674 -x677 x682 -x688 x700 x709 x713 -x721 x724 -x726 x735 x736 x752 -x759 x764 -x769 -x770 -x774 x776 x783 -x784 -x785 -x786 x788 -x794 -x797 x805 x808 x811 -x816 x822 -x834 -x843 -x849 -x855 -x858 x860 -x861 -x869 -x870 -x876 -x883 -x886 x893 -x898 x903 3557.94/3563.85 c Done 1.2s
OK 2642
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 (63264 MiB free)
memory of node 1: 64473 MiB (58658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428679-1722769581/watcher-4428679-1722769581 -o /tmp/evaluation-result-4428679-1722769581/solver-4428679-1722769581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722769581-241836 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428679-1722769581.opb -t 3558 -s 17552991 --no-s
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=241897, runsolver pid=241894
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 0.09 0.10 0.14 6/241 241898
/proc/meminfo: memFree=124840460/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8808 CPUtime=0.1 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 698 0 0 0 10 0 0 0 20 0 1 0 43554642 21282816 2202 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2202 1153 2753 0 1849 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8808 KiB
[startup+0.212557 s]*
/proc/loadavg: 0.09 0.10 0.14 5/241 241898
/proc/meminfo: memFree=124834920/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=0.21 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 722 0 0 0 20 1 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+0.312189 s]*
/proc/loadavg: 0.09 0.10 0.14 5/241 241898
/proc/meminfo: memFree=124832628/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=0.31 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 722 0 0 0 30 1 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+0.700304 s]
/proc/loadavg: 0.09 0.10 0.14 5/241 241898
/proc/meminfo: memFree=124830676/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=0.68 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 818 0 0 0 65 3 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+1.50029 s]
/proc/loadavg: 0.40 0.17 0.16 5/241 241898
/proc/meminfo: memFree=124795336/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=1.48 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 141 7 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3.11278 s]
/proc/loadavg: 0.40 0.17 0.16 5/241 241898
/proc/meminfo: memFree=124795388/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3.1 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 294 16 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+6.30027 s]
/proc/loadavg: 0.93 0.28 0.20 5/241 241898
/proc/meminfo: memFree=124563836/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=6.28 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 594 34 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+12.7003 s]
/proc/loadavg: 1.26 0.36 0.23 5/241 241900
/proc/meminfo: memFree=124563668/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=12.66 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 1199 67 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+25.5003 s]
/proc/loadavg: 1.68 0.48 0.27 5/241 241901
/proc/meminfo: memFree=124563584/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=25.44 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 2401 143 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+51.1125 s]
/proc/loadavg: 2.65 0.84 0.39 5/241 241906
/proc/meminfo: memFree=124562512/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=51.01 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 4807 294 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.34 0.59 5/241 241916
/proc/meminfo: memFree=124561836/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=102.12 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 9616 596 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.84 0.81 5/241 241927
/proc/meminfo: memFree=124560892/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=162.01 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 15246 955 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.27 1.02 5/241 241938
/proc/meminfo: memFree=124558656/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=221.92 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 20892 1300 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 221.92 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.61 1.22 5/244 241953
/proc/meminfo: memFree=124557212/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=281.82 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 26526 1656 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 281.82 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 2.87 1.40 5/244 241963
/proc/meminfo: memFree=124556756/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=341.72 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 32171 2001 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 341.72 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.11 1.58 5/244 241974
/proc/meminfo: memFree=124556036/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=401.62 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 37793 2369 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 401.62 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.29 1.74 5/244 241985
/proc/meminfo: memFree=124555036/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=461.52 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 43429 2723 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
################
# More data... #
################
/proc/loadavg: 4.06 4.10 4.01 5/243 243645
/proc/meminfo: memFree=124622624/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3157.11 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 296805 18906 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3157.11 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/244 243659
/proc/meminfo: memFree=124621844/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3217 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 302441 19259 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3217 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/243 243680
/proc/meminfo: memFree=124621168/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3276.91 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 308078 19613 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3276.91 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.03 5/243 243690
/proc/meminfo: memFree=124620476/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3336.81 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 313718 19963 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3336.81 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/243 243701
/proc/meminfo: memFree=124620096/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3396.72 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 319343 20329 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3396.72 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/242 243711
/proc/meminfo: memFree=124619272/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3456.61 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 324979 20682 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3456.61 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/242 243722
/proc/meminfo: memFree=124618684/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3516.52 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 330609 21043 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3516.52 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3563.86 s]
# the end of solver process 241897 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3345.05 s, system=212.96 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.09 4.10 4.03 5/242 243723
/proc/meminfo: memFree=124618144/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3527 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 331595 21105 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3527 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3545.6 s]
/proc/loadavg: 4.15 4.12 4.04 6/243 243726
/proc/meminfo: memFree=124617820/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3539.78 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 332796 21182 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3539.78 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3552 s]*
/proc/loadavg: 4.13 4.11 4.04 5/241 243727
/proc/meminfo: memFree=124618092/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3546.18 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 333397 21221 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3546.18 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3558.4 s]
/proc/loadavg: 4.12 4.11 4.03 5/241 243729
/proc/meminfo: memFree=124617964/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3552.56 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 333995 21261 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3552.56 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3561.6 s]
/proc/loadavg: 4.12 4.11 4.03 5/241 243729
/proc/meminfo: memFree=124617992/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3555.75 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 334295 21280 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3555.75 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3563.2 s]
/proc/loadavg: 4.11 4.11 4.03 5/241 243729
/proc/meminfo: memFree=124618008/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3557.35 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 334443 21292 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3557.35 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3563.6 s]
/proc/loadavg: 4.11 4.11 4.03 5/241 243729
/proc/meminfo: memFree=124618008/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3557.74 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 334480 21294 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3557.74 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
[startup+3563.8 s]
/proc/loadavg: 4.11 4.11 4.03 5/241 243729
/proc/meminfo: memFree=124618008/131655788 swapFree=131071996/131071996
[pid=241897] ppid=241894 vsize=20784 memory=8872 CPUtime=3557.94 cores=4,6
/proc/241897/stat : 241897 (LS-MabP) R 241894 241897 241825 0 -1 4194304 854 0 0 0 334499 21295 0 0 20 0 1 0 43554642 21282816 2218 134679101440 4194304 15467897 140730812150496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29761536 140730812159003 140730812159110 140730812159110 140730812166126 0
/proc/241897/statm: 5196 2218 1169 2753 0 1849 0
Current children cumulated CPU time: 3557.94 s
Current children cumulated vsize: 20784 KiB
Current children cumulated memory: 8872 KiB
Child status: 0
Real time (s): 3563.86
CPU time (s): 3558.01
CPU user time (s): 3345.05
CPU system time (s): 212.96
CPU usage (%): 99.836
Max. virtual memory (cumulated for all children) (KiB): 20784
Max. memory (cumulated for all children) (KiB): 8872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3345.05
system time used= 212.959
maximum resident set size= 8920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 869
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= 1314
# summary of solver processes directly reported to runsolver:
# pid: 241897
# total CPU time (s): 3558.01
# total CPU user time (s): 3345.05
# total CPU system time (s): 212.96
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.319 second user time and 33.718 second system time
The end
Begin job on nodeC006 at 2024-08-04 13:06:21 IDJOB=4428679 IDBENCH=146650 IDSOLVER=3049 FILE ID=nodeC006/4428679-1722769581 RUNJOBID= nodeC006-1722769581-241836 SLURM_JOB_ID= 8257544 Free space on /tmp= 723732 MiB SOLVER NAME= LS-MabP 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.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-4428679-1722769581/watcher-4428679-1722769581 -o /tmp/evaluation-result-4428679-1722769581/solver-4428679-1722769581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722769581-241836 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428679-1722769581.opb -t 3558 -s 17552991 --no-s TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=17552991 nodeC006.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.207 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.46 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.165 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.38 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.166 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.46 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.202 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.38 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.182 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.46 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.169 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.38 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.166 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.46 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.169 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.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124852480 kB MemAvailable: 129906908 kB Buffers: 293004 kB Cached: 5573532 kB SwapCached: 0 kB Active: 494968 kB Inactive: 5790920 kB Active(anon): 1400 kB Inactive(anon): 447784 kB Active(file): 493568 kB Inactive(file): 5343136 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 66628 kB Writeback: 0 kB AnonPages: 419712 kB Mapped: 109756 kB Shmem: 29512 kB KReclaimable: 115848 kB Slab: 200048 kB SReclaimable: 115848 kB SUnreclaim: 84200 kB KernelStack: 3844 kB PageTables: 9652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 753384 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18944 kB HardwareCorrupted: 0 kB AnonHugePages: 282624 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: 271176 kB DirectMap2M: 19556352 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723716 MiB End job on nodeC006 at 2024-08-04 14:05:45