10.31/10.22 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
10.31/10.22 c numVar: 906
10.31/10.22 c numCon: 1039
10.31/10.22 c numEqual: 1
10.31/10.22 c intSize: 12
10.31/10.22 c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
10.31/10.22 c ------------------- Paras list -------------------
10.31/10.22 c Name Type Now Default Comment
10.31/10.22 c timeout double 3600.000000 3600
10.31/10.22 c mip_time double 0.500000 0.5
10.31/10.22 c ls_time double 10.000000 10
10.31/10.22 c safe_mode int 2 2 1 trust; 2 feasible
10.31/10.22 c mip_emphasis int 2 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
10.31/10.22 c random_seed int 0 0
10.31/10.22 c sample_size int 50 50
10.31/10.22 c sub_score int 1 1
10.31/10.22 c tabu_base int 3 3
10.31/10.22 c tabu_variation int 1 1
10.31/10.22 c sub_div int 4 4
10.31/10.22 c nbcore int 2 1
10.31/10.22 c memlimit int 31000 31744 memory limit in megabytes
10.31/10.22 c print_sol int 1 1
10.31/10.22 c tmpdir string . "."
10.31/10.22 c home string HOME "."
10.31/10.22 c benchname string HOME/instance-4484480-1751283463.opb ""
10.31/10.22 c --------------------------------------------------
10.31/10.22 c Local Search solver
10.31/10.22 c LS find feasible solution for PBO with objective value 5
10.31/10.22 c MIP solver
10.31/10.22 c Branch and Bound solver find optimal solution
10.31/10.22 c MIP solver objective value: 2
10.31/10.25 c MIP find feasible solution for PBO with objective value 2
10.31/10.25 c copy file: 0
10.31/10.25 c gen ub file: HOME/instance-4484480-1751283463.opb_ub.opb
10.31/10.25 c use Exact solver
89.56/89.76 c Exact find optimal solution
89.56/89.76 c Exact find feasible solution for PBO with objective value 2
89.56/89.76 o 2
89.56/89.76 s OPTIMUM FOUND
89.56/89.76 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 -x501 -x502 -x503 x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 x512 -x513 -x514 x515 x516 -x517 -x518 x519 x520 -x521 -x522 x523 x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 x587 x588 -x589 -x590 x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 -x610 -x611 x612 x613 -x614 -x615 -x616 x617 x618 x619 x620 x621 x622 -x623 -x624 x625 x626 -x627 -x628 x629 x630 -x631 -x632 x633 x634 x635 x636 -x637 x638 x639 x640 x641 -x642 x643 x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 x652 x653 x654 x655 x656 x657 -x658 x659 x660 x661 x662 x663 x664 x665 -x666 -x667 x668 x669 -x670 -x671 x672 x673 x674 -x675 x676 x677 x678 -x679 -x680 x681 x682 -x683 -x684 x685 x686 -x687 -x688 -x689 -x690 x691 x692 -x693 x694 x695 x696 x697 -x698 x699 x700 -x701 -x702 x703 x704 -x705 -x706 x707 x708 x709 x710 x711 x712 -x713 -x714 x715 x716 -x717 -x718 -x719 x720 x721 x722 -x723 x724 x725 -x726 -x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 -x737 x738 x739 -x740 -x741 x742 x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 -x756 -x757 x758 x759 x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 x807 x808 x809 -x810 -x811 x812 x813 -x814 -x815 -x816 x817 -x818 -x819 x820 x821 x822 -x823 x824 x825 x826 x827 x828 x829 x830 x831 x832 x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 x845 x846 -x847 -x848 -x849 x850 -x851 -x852 x853 x854 -x855 -x856 -x857 -x858 x859 x860 -x861 x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 x873 x874 -x875 -x876 x877 x878 -x879 -x880 x881 x882 x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 x900 x901 x902 x903 x904 x905 x906
89.56/89.76 c Total time: 90
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: 63837 MiB (60773 MiB free)
memory of node 1: 64465 MiB (62749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484480-1751283463/watcher-4484480-1751283463 -o /tmp/evaluation-result-4484480-1751283463/solver-4484480-1751283463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751279573-34587 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4484480-1751283463.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35475, runsolver pid=35472
[startup+0.100097 s]*
/proc/loadavg: 4.10 4.41 5.04 5/253 35476
/proc/meminfo: memFree=126482876/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=40764 memory=5888 CPUtime=0.1 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) R 35472 35475 34575 0 -1 4194304 538 0 0 0 10 0 0 0 20 0 1 0 44025050 41742336 1472 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 10191 1472 1120 6655 0 426 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 5888 KiB
[startup+0.213098 s]*
/proc/loadavg: 4.10 4.41 5.04 5/253 35476
/proc/meminfo: memFree=126482876/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=40764 memory=5888 CPUtime=0.21 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) R 35472 35475 34575 0 -1 4194304 538 0 0 0 21 0 0 0 20 0 1 0 44025050 41742336 1472 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 10191 1472 1120 6655 0 426 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 5888 KiB
[startup+0.312742 s]*
/proc/loadavg: 4.10 4.41 5.04 5/253 35476
/proc/meminfo: memFree=126482876/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=40764 memory=5888 CPUtime=0.31 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) R 35472 35475 34575 0 -1 4194304 538 0 0 0 31 0 0 0 20 0 1 0 44025050 41742336 1472 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 10191 1472 1120 6655 0 426 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 5888 KiB
[startup+0.700254 s]
/proc/loadavg: 4.10 4.41 5.04 5/253 35476
/proc/meminfo: memFree=126482876/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=40764 memory=5888 CPUtime=0.69 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) R 35472 35475 34575 0 -1 4194304 538 0 0 0 69 0 0 0 20 0 1 0 44025050 41742336 1472 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 10191 1472 1120 6655 0 426 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 5888 KiB
[startup+1.50025 s]
/proc/loadavg: 4.10 4.41 5.04 5/253 35476
/proc/meminfo: memFree=126482876/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=40764 memory=5888 CPUtime=1.48 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) R 35472 35475 34575 0 -1 4194304 538 0 0 0 148 0 0 0 20 0 1 0 44025050 41742336 1472 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 10191 1472 1120 6655 0 426 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 5888 KiB
[startup+3.11224 s]
/proc/loadavg: 4.10 4.40 5.04 5/253 35476
/proc/meminfo: memFree=126470980/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=40764 memory=5888 CPUtime=3.09 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) R 35472 35475 34575 0 -1 4194304 538 0 0 0 309 0 0 0 20 0 1 0 44025050 41742336 1472 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 10191 1472 1120 6655 0 426 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 5888 KiB
[startup+6.3003 s]
/proc/loadavg: 4.10 4.40 5.04 5/253 35476
/proc/meminfo: memFree=126471232/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=40764 memory=5888 CPUtime=6.27 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) R 35472 35475 34575 0 -1 4194304 538 0 0 0 627 0 0 0 20 0 1 0 44025050 41742336 1472 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 10191 1472 1120 6655 0 426 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 5888 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.40 5.03 5/254 35479
/proc/meminfo: memFree=126426940/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=67560 memory=52804 CPUtime=2.41 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 7149 0 0 0 236 5 0 0 20 0 1 0 44026076 69181440 13201 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 16890 13201 1120 1011 0 15657 0
Current children cumulated CPU time: 12.77 s
Current children cumulated vsize: 192788 KiB
Current children cumulated memory: 81244 KiB
[startup+25.5004 s]
/proc/loadavg: 4.07 4.38 5.01 5/254 35479
/proc/meminfo: memFree=126378928/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=80760 memory=64068 CPUtime=15.17 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 9981 0 0 0 1502 15 0 0 20 0 1 0 44026076 82698240 16017 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 20190 16017 1120 1011 0 18957 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 205988 KiB
Current children cumulated memory: 92508 KiB
[startup+51.1129 s]
/proc/loadavg: 4.04 4.34 4.98 5/254 35481
/proc/meminfo: memFree=126293016/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=93572 memory=77744 CPUtime=40.72 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 12940 0 0 0 4041 31 0 0 20 0 1 0 44026076 95817728 19436 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 23393 19436 1120 1011 0 22160 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 218800 KiB
Current children cumulated memory: 106184 KiB
[startup+89.7653 s]
# the end of solver process 35475 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=89.1188 s, system=0.525565 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2005 s]
/proc/loadavg: 4.04 4.34 4.98 5/254 35481
/proc/meminfo: memFree=126293016/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=93572 memory=77744 CPUtime=40.81 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 12940 0 0 0 4050 31 0 0 20 0 1 0 44026076 95817728 19436 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 23393 19436 1120 1011 0 22160 0
Current children cumulated CPU time: 51.17 s
Current children cumulated vsize: 218800 KiB
Current children cumulated memory: 106184 KiB
[startup+76.8004 s]
/proc/loadavg: 4.08 4.33 4.96 5/254 35482
/proc/meminfo: memFree=126287352/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=104588 memory=90968 CPUtime=66.33 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 15217 0 0 0 6589 44 0 0 20 0 1 0 44026076 107098112 22742 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 26147 22742 1120 1011 0 24914 0
Current children cumulated CPU time: 76.69 s
Current children cumulated vsize: 229816 KiB
Current children cumulated memory: 119408 KiB
[startup+83.2004 s]
/proc/loadavg: 4.07 4.32 4.95 5/254 35482
/proc/meminfo: memFree=126287840/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=104892 memory=91224 CPUtime=72.71 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 15297 0 0 0 7224 47 0 0 20 0 1 0 44026076 107409408 22806 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 26223 22806 1120 1011 0 24990 0
Current children cumulated CPU time: 83.07 s
Current children cumulated vsize: 230120 KiB
Current children cumulated memory: 119664 KiB
[startup+86.4004 s]
/proc/loadavg: 4.07 4.32 4.95 5/254 35482
/proc/meminfo: memFree=126287840/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=105024 memory=91352 CPUtime=75.91 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 15330 0 0 0 7542 49 0 0 20 0 1 0 44026076 107544576 22838 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 26256 22838 1120 1011 0 25023 0
Current children cumulated CPU time: 86.27 s
Current children cumulated vsize: 230252 KiB
Current children cumulated memory: 119792 KiB
[startup+88.0004 s]*
/proc/loadavg: 4.07 4.31 4.95 5/254 35482
/proc/meminfo: memFree=126279776/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=107968 memory=93656 CPUtime=77.51 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 15914 0 0 0 7702 49 0 0 20 0 1 0 44026076 110559232 23414 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 26992 23414 1120 1011 0 25759 0
Current children cumulated CPU time: 87.87 s
Current children cumulated vsize: 233196 KiB
Current children cumulated memory: 122096 KiB
[startup+88.8004 s]
/proc/loadavg: 4.07 4.31 4.95 5/254 35482
/proc/meminfo: memFree=126279776/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=110684 memory=95832 CPUtime=78.3 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 16437 0 0 0 7780 50 0 0 20 0 1 0 44026076 113340416 23958 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 27671 23958 1120 1011 0 26438 0
Current children cumulated CPU time: 88.66 s
Current children cumulated vsize: 235912 KiB
Current children cumulated memory: 124272 KiB
[startup+89.2004 s]
/proc/loadavg: 4.07 4.31 4.95 5/254 35482
/proc/meminfo: memFree=126271964/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=110684 memory=95832 CPUtime=78.7 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 16437 0 0 0 7820 50 0 0 20 0 1 0 44026076 113340416 23958 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 27671 23958 1120 1011 0 26438 0
Current children cumulated CPU time: 89.06 s
Current children cumulated vsize: 235912 KiB
Current children cumulated memory: 124272 KiB
[startup+89.6004 s]
/proc/loadavg: 4.07 4.31 4.95 5/254 35482
/proc/meminfo: memFree=126271964/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=110684 memory=95832 CPUtime=79.1 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 16437 0 0 0 7860 50 0 0 20 0 1 0 44026076 113340416 23958 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 27671 23958 1120 1011 0 26438 0
Current children cumulated CPU time: 89.46 s
Current children cumulated vsize: 235912 KiB
Current children cumulated memory: 124272 KiB
[startup+89.7004 s]
/proc/loadavg: 4.07 4.31 4.95 5/254 35482
/proc/meminfo: memFree=126271964/131382120 swapFree=33010684/33010684
[pid=35475] ppid=35472 vsize=125228 memory=28440 CPUtime=10.36 cores=1,3
/proc/35475/stat : 35475 (LSIPExact) S 35472 35475 34575 0 -1 4194304 4096 228 0 0 1035 1 0 0 20 0 1 0 44025050 128233472 7110 18446744073709551615 94177470046208 94177497302609 140729579617008 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94177505805448 94177506237056 94177515925504 140729579620698 140729579620874 140729579620874 140729579626476 0
/proc/35475/statm: 31307 7110 3360 6655 0 6147 0
[pid=35479] ppid=35475 vsize=110684 memory=95832 CPUtime=79.2 cores=1,3
/proc/35479/stat : 35479 (Exact) R 35475 35479 35479 0 -1 4194304 16437 0 0 0 7870 50 0 0 20 0 1 0 44026076 113340416 23958 18446744073709551615 4198400 8335837 140726436184864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26513408 140726436186292 140726436186653 140726436186653 140726436192207 0
/proc/35479/statm: 27671 23958 1120 1011 0 26438 0
Current children cumulated CPU time: 89.56 s
Current children cumulated vsize: 235912 KiB
Current children cumulated memory: 124272 KiB
Child status: 0
Real time (s): 89.7654
CPU time (s): 89.6444
CPU user time (s): 89.1188
CPU system time (s): 0.525565
CPU usage (%): 99.8652
Max. virtual memory (cumulated for all children) (KiB): 235912
Max. memory (cumulated for all children) (KiB): 124272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.1188
system time used= 0.525565
maximum resident set size= 95832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20765
page faults= 0
swaps= 0
block input operations= 88
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 437
involuntary context switches= 109
# summary of solver processes directly reported to runsolver:
# pid: 35475
# total CPU time (s): 89.6444
# total CPU user time (s): 89.1188
# total CPU system time (s): 0.525565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.46821 second user time and 0.942192 second system time
The end
Begin job on nodeC003 at 2025-06-30 13:37:43
IDJOB=4484480
IDBENCH=146658
IDSOLVER=3337
FILE ID=nodeC003/4484480-1751283463
RUNJOBID= nodeC003-1751279573-34587
SLURM_JOB_ID= 9594217
Free space on /tmp= 432624 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484480-1751283463/watcher-4484480-1751283463 -o /tmp/evaluation-result-4484480-1751283463/solver-4484480-1751283463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751279573-34587 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4484480-1751283463.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=1167939576
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3662.422
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.157
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.647
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 3662.452
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 3691.239
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 3700.000
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.354
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126489488 kB
MemAvailable: 127108168 kB
Buffers: 3280 kB
Cached: 1424236 kB
SwapCached: 0 kB
Active: 3154652 kB
Inactive: 1175004 kB
Active(anon): 2920100 kB
Inactive(anon): 0 kB
Active(file): 234552 kB
Inactive(file): 1175004 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44696 kB
Writeback: 4 kB
AnonPages: 2901160 kB
Mapped: 153072 kB
Shmem: 17960 kB
KReclaimable: 97504 kB
Slab: 180612 kB
SReclaimable: 97504 kB
SUnreclaim: 83108 kB
KernelStack: 4080 kB
PageTables: 9104 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3616572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1757184 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432580 MiB
End job on nodeC003 at 2025-06-30 13:39:14