Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | SAT (TO) | -20 | 3600.05 | 3610.4 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb |
| MD5SUM | 95a025abd93d3c3a131defec0604d084 |
| 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 | -20 |
| Best CPU time to get the best result obtained on this benchmark | 0.039326 |
| 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 | 820 |
| Total number of constraints | 270 |
| Number of constraints which are clauses | 220 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 20 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 600 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 600 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 20 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 600 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.06 c 270 constraints 0.00/0.06 c after presolve 4142 0.00/0.07 c Finish cloning data from SAT to LS 0.00/0.07 c intsize: 10 60.03/60.31 c Use LS-small 60.03/60.31 o 0 60.03/60.31 o -1 60.03/60.31 o -2 60.03/60.31 o -3 60.03/60.31 o -4 60.03/60.31 o -5 60.03/60.31 o -6 60.03/60.31 o -7 60.03/60.31 o -8 60.03/60.31 o -9 60.03/60.31 o -10 60.03/60.31 o -11 60.03/60.31 o -20 60.03/60.31 c SAT by LS-small 60.03/60.31 o -20 3600.04/3610.40 c Program interrupted by user. 3600.04/3610.40 s SATISFIABLE 3600.04/3610.40 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
OK -20
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 (61967 MiB free)
memory of node 1: 64465 MiB (56845 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519905-1751557124/watcher-4519905-1751557124 -o /tmp/evaluation-result-4519905-1751557124/solver-4519905-1751557124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751553369-87007 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4519905-1751557124.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=87788, runsolver pid=87785
[startup+0.100086 s]*
/proc/loadavg: 4.10 4.08 4.09 5/251 87789
/proc/meminfo: memFree=121664412/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=0.08 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 8 0 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+0.213242 s]*
/proc/loadavg: 4.10 4.08 4.09 5/251 87789
/proc/meminfo: memFree=121664412/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=0.18 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 17 1 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+0.31308 s]*
/proc/loadavg: 4.10 4.08 4.09 5/251 87789
/proc/meminfo: memFree=121664412/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=0.27 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 25 2 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+0.700235 s]
/proc/loadavg: 4.10 4.08 4.09 5/251 87789
/proc/meminfo: memFree=121666532/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=0.61 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 56 5 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.08 4.09 5/251 87789
/proc/meminfo: memFree=121658468/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=1.4 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 127 13 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+3.10564 s]
/proc/loadavg: 4.09 4.08 4.09 5/251 87789
/proc/meminfo: memFree=121660872/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=2.99 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 272 27 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+6.30033 s]
/proc/loadavg: 4.09 4.08 4.09 5/251 87789
/proc/meminfo: memFree=121653288/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=6.17 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 560 57 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 87789
/proc/meminfo: memFree=121653324/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=12.55 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 1148 107 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 87789
/proc/meminfo: memFree=121640424/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=25.33 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 2305 228 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+51.113 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 87790
/proc/meminfo: memFree=121639032/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=54096 memory=13824 CPUtime=50.86 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 1774 0 0 0 4621 465 0 0 20 0 1 0 71391540 55394304 3456 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 13524 3456 1888 2271 0 8162 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 13824 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 87791
/proc/meminfo: memFree=121404760/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=77016 memory=51972 CPUtime=101.87 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 7961 0 0 0 9610 577 0 0 20 0 1 0 71391540 78864384 12993 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 19254 12993 1888 2271 0 13892 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 77016 KiB
Current children cumulated memory: 51972 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 87837
/proc/meminfo: memFree=122442472/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=92788 memory=62516 CPUtime=161.67 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 8801 0 0 0 15553 614 0 0 20 0 1 0 71391540 95014912 15629 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 23197 15629 1888 2271 0 17835 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 92788 KiB
Current children cumulated memory: 62516 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 87839
/proc/meminfo: memFree=122347372/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=94168 memory=64052 CPUtime=221.46 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 9187 0 0 0 21494 652 0 0 20 0 1 0 71391540 96428032 16013 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 23542 16013 1888 2271 0 18180 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 94168 KiB
Current children cumulated memory: 64052 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/251 87844
/proc/meminfo: memFree=122301996/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=94920 memory=64948 CPUtime=281.25 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 9419 0 0 0 27437 688 0 0 20 0 1 0 71391540 97198080 16237 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 23730 16237 1888 2271 0 18368 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 94920 KiB
Current children cumulated memory: 64948 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/251 87846
/proc/meminfo: memFree=122271884/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=121300 memory=76160 CPUtime=341.04 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 11089 0 0 0 33377 727 0 0 20 0 1 0 71391540 124211200 19040 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 30325 19040 1888 2271 0 24963 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 121300 KiB
Current children cumulated memory: 76160 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 87848
/proc/meminfo: memFree=122248448/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=126136 memory=80512 CPUtime=400.82 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 12216 0 0 0 39322 760 0 0 20 0 1 0 71391540 129163264 20128 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 31534 20128 1888 2271 0 26172 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 126136 KiB
Current children cumulated memory: 80512 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 87850
/proc/meminfo: memFree=122201576/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=127288 memory=81664 CPUtime=460.61 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 12479 0 0 0 45265 796 0 0 20 0 1 0 71391540 130342912 20416 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 31822 20416 1888 2271 0 26460 0
Current children cumulated CPU time: 460.61 s
################
# More data... #
################
Current children cumulated memory: 115584 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 88561
/proc/meminfo: memFree=120885884/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=157068 memory=115584 CPUtime=2853.89 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 18947 0 0 0 283201 2188 0 0 20 0 1 0 71391540 160837632 28896 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 39267 28896 1888 2271 0 33905 0
Current children cumulated CPU time: 2853.89 s
Current children cumulated vsize: 157068 KiB
Current children cumulated memory: 115584 KiB
[startup+2922.3 s]
/proc/loadavg: 4.74 4.27 4.15 5/252 88568
/proc/meminfo: memFree=120791524/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=157644 memory=116096 CPUtime=2913.74 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19087 0 0 0 289151 2223 0 0 20 0 1 0 71391540 161427456 29024 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 39411 29024 1888 2271 0 34049 0
Current children cumulated CPU time: 2913.74 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 116096 KiB
[startup+2982.3 s]
/proc/loadavg: 4.40 4.27 4.16 5/252 88570
/proc/meminfo: memFree=120793076/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=157836 memory=116352 CPUtime=2973.58 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19137 0 0 0 295100 2258 0 0 20 0 1 0 71391540 161624064 29088 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 39459 29088 1888 2271 0 34097 0
Current children cumulated CPU time: 2973.58 s
Current children cumulated vsize: 157836 KiB
Current children cumulated memory: 116352 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.23 4.15 5/251 88572
/proc/meminfo: memFree=120732568/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=158284 memory=116736 CPUtime=3033.42 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19249 0 0 0 301048 2294 0 0 20 0 1 0 71391540 162082816 29184 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 39571 29184 1888 2271 0 34209 0
Current children cumulated CPU time: 3033.42 s
Current children cumulated vsize: 158284 KiB
Current children cumulated memory: 116736 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/251 88574
/proc/meminfo: memFree=120695224/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=158988 memory=117504 CPUtime=3093.26 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19424 0 0 0 307000 2326 0 0 20 0 1 0 71391540 162803712 29376 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 39747 29376 1888 2271 0 34385 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 158988 KiB
Current children cumulated memory: 117504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/251 88577
/proc/meminfo: memFree=120708736/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=159568 memory=120140 CPUtime=3153.1 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19585 0 0 0 312949 2361 0 0 20 0 1 0 71391540 163397632 30035 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 39892 30035 1888 2271 0 34530 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 159568 KiB
Current children cumulated memory: 120140 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.16 4.13 5/250 88579
/proc/meminfo: memFree=120708504/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=160016 memory=120524 CPUtime=3212.94 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19684 0 0 0 318897 2397 0 0 20 0 1 0 71391540 163856384 30131 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 40004 30131 1888 2271 0 34642 0
Current children cumulated CPU time: 3212.94 s
Current children cumulated vsize: 160016 KiB
Current children cumulated memory: 120524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/251 88584
/proc/meminfo: memFree=120699992/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=160016 memory=120524 CPUtime=3272.79 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19684 0 0 0 324844 2435 0 0 20 0 1 0 71391540 163856384 30131 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 40004 30131 1888 2271 0 34642 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 160016 KiB
Current children cumulated memory: 120524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/251 88586
/proc/meminfo: memFree=120701252/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=160016 memory=120524 CPUtime=3332.63 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19689 0 0 0 330792 2471 0 0 20 0 1 0 71391540 163856384 30131 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 40004 30131 1888 2271 0 34642 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 160016 KiB
Current children cumulated memory: 120524 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/251 88588
/proc/meminfo: memFree=120700020/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=160016 memory=120524 CPUtime=3392.47 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19696 0 0 0 336739 2508 0 0 20 0 1 0 71391540 163856384 30131 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 40004 30131 1888 2271 0 34642 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 160016 KiB
Current children cumulated memory: 120524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.11 4.11 5/250 88590
/proc/meminfo: memFree=120700036/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=160016 memory=120524 CPUtime=3452.32 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19696 0 0 0 342684 2548 0 0 20 0 1 0 71391540 163856384 30131 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 40004 30131 1888 2271 0 34642 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 160016 KiB
Current children cumulated memory: 120524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/250 88596
/proc/meminfo: memFree=120700116/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=160016 memory=120524 CPUtime=3512.16 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19698 0 0 0 348629 2587 0 0 20 0 1 0 71391540 163856384 30131 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 40004 30131 1888 2271 0 34642 0
Current children cumulated CPU time: 3512.16 s
Current children cumulated vsize: 160016 KiB
Current children cumulated memory: 120524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/251 88599
/proc/meminfo: memFree=120692068/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=160016 memory=120524 CPUtime=3572.01 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19699 0 0 0 354582 2619 0 0 20 0 1 0 71391540 163856384 30131 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 40004 30131 1888 2271 0 34642 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 160016 KiB
Current children cumulated memory: 120524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.13 4.12 4.11 5/247 88608
/proc/meminfo: memFree=121514488/131382112 swapFree=33005784/33010684
[pid=87788] ppid=87785 vsize=160016 memory=120524 CPUtime=3600.04 cores=4,6
/proc/87788/stat : 87788 (ExactPR) R 87785 87788 86996 0 -1 4194304 19699 0 0 0 357369 2635 0 0 20 0 1 0 71391540 163856384 30131 18446744073709551615 94375107682304 94375116982149 140729414994976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94375118768448 94375118807528 94375134564352 140729415002501 140729415002636 140729415002636 140729415008238 0
/proc/87788/statm: 40004 30131 1888 2271 0 34642 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 160016 KiB
Current children cumulated memory: 120524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 87788 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3573.69 s, system=26.3583 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.4
CPU time (s): 3600.05
CPU user time (s): 3573.69
CPU system time (s): 26.3583
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 160016
Max. memory (cumulated for all children) (KiB): 120524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.69
system time used= 26.3583
maximum resident set size= 120908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19715
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= 146
involuntary context switches= 2626
# summary of solver processes directly reported to runsolver:
# pid: 87788
# total CPU time (s): 3600.05
# total CPU user time (s): 3573.69
# total CPU system time (s): 26.3583
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6635 second user time and 33.8353 second system time
The end
Begin job on nodeC007 at 2025-07-03 17:38:44 IDJOB=4519905 IDBENCH=177560 IDSOLVER=3324 FILE ID=nodeC007/4519905-1751557124 RUNJOBID= nodeC007-1751553369-87007 SLURM_JOB_ID= 9598737 Free space on /tmp= 431004 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519905-1751557124/watcher-4519905-1751557124 -o /tmp/evaluation-result-4519905-1751557124/solver-4519905-1751557124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751553369-87007 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4519905-1751557124.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 95a025abd93d3c3a131defec0604d084 RANDOM SEED=171943284 nodeC007 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 : 3661.970 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.68 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 : 3661.457 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.68 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.544 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.68 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.473 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.68 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 : 3700.000 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.68 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 : 3491.841 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.68 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.206 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.68 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 : 3700.000 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 121664348 kB MemAvailable: 128210596 kB Buffers: 16 kB Cached: 7215044 kB SwapCached: 252 kB Active: 1848372 kB Inactive: 6948784 kB Active(anon): 1547884 kB Inactive(anon): 47720 kB Active(file): 300488 kB Inactive(file): 6901064 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005784 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 24580 kB Writeback: 0 kB AnonPages: 1585264 kB Mapped: 109428 kB Shmem: 13504 kB KReclaimable: 368648 kB Slab: 458784 kB SReclaimable: 368648 kB SUnreclaim: 90136 kB KernelStack: 4048 kB PageTables: 6272 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 2276384 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 532480 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: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 430992 MiB End job on nodeC007 at 2025-07-03 18:38:55