Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2025-06-02 | SAT (TO) | -20 | 3600.02 | 3609.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 |
359.11/360.01 o -17 359.41/360.33 o -18 359.41/360.33 o -19 359.41/360.33 o -20 3600.01/3609.40 c Program interrupted by user. 3600.01/3609.40 s SATISFIABLE 3600.01/3609.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: 63708 MiB (55579 MiB free)
memory of node 1: 64465 MiB (54616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483547-1751551889/watcher-4483547-1751551889 -o /tmp/evaluation-result-4483547-1751551889/solver-4483547-1751551889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751547548-76726 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1579143931 --ls=360 HOME/instance-4483547-1751551889.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77756, runsolver pid=77753
[startup+0.100057 s]*
/proc/loadavg: 4.11 4.10 4.06 5/264 77757
/proc/meminfo: memFree=112840708/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=0.09 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 9 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+0.20445 s]*
/proc/loadavg: 4.11 4.10 4.06 5/264 77757
/proc/meminfo: memFree=112840708/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=0.19 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 19 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+0.304367 s]*
/proc/loadavg: 4.11 4.10 4.06 5/264 77757
/proc/meminfo: memFree=112840708/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=0.29 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 29 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+0.7001 s]
/proc/loadavg: 4.11 4.10 4.06 5/264 77757
/proc/meminfo: memFree=112840708/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=0.67 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 67 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+1.5001 s]
/proc/loadavg: 4.11 4.10 4.06 5/264 77757
/proc/meminfo: memFree=112841216/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=1.46 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 146 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+3.10491 s]
/proc/loadavg: 4.10 4.10 4.06 5/264 77757
/proc/meminfo: memFree=112844572/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=3.05 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 305 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+6.30009 s]
/proc/loadavg: 4.10 4.10 4.06 5/264 77757
/proc/meminfo: memFree=112846924/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=6.24 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 624 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.10 4.06 5/264 77757
/proc/meminfo: memFree=112847428/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=12.62 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 1262 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.09 4.06 5/264 77757
/proc/meminfo: memFree=112850396/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=25.4 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 2540 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+51.1045 s]
/proc/loadavg: 4.10 4.10 4.06 5/264 77757
/proc/meminfo: memFree=112850404/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=50.95 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 5095 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.06 5/263 77759
/proc/meminfo: memFree=112850592/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=102.04 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 10204 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/264 77762
/proc/meminfo: memFree=112842628/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=161.92 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 16192 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/264 77808
/proc/meminfo: memFree=112831032/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=221.77 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 22177 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.06 5/265 77811
/proc/meminfo: memFree=112704044/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=281.61 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 28161 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/265 77813
/proc/meminfo: memFree=112336524/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=29192 memory=5760 CPUtime=341.45 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 555 0 0 0 34145 0 0 0 20 0 1 0 70867501 29892608 1440 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 7298 1440 1024 1200 0 5778 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5760 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/265 77815
/proc/meminfo: memFree=112176620/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=73584 memory=55432 CPUtime=401.27 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 9250 0 0 0 40094 33 0 0 20 0 1 0 70867501 75350016 13858 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 18396 13858 1280 1200 0 16876 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 73584 KiB
Current children cumulated memory: 55432 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.07 5/266 77819
/proc/meminfo: memFree=112147992/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=85784 memory=74512 CPUtime=461.08 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 12008 0 0 0 46023 85 0 0 20 0 1 0 70867501 87842816 18628 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 21446 18628 1280 1200 0 19926 0
################
# More data... #
################
Current children cumulated memory: 144900 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 77985
/proc/meminfo: memFree=111921096/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=166568 memory=146052 CPUtime=2854.89 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 26144 0 0 0 283208 2281 0 0 20 0 1 0 70867501 170565632 36513 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 41642 36513 1280 1200 0 40122 0
Current children cumulated CPU time: 2854.89 s
Current children cumulated vsize: 166568 KiB
Current children cumulated memory: 146052 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 77992
/proc/meminfo: memFree=111923140/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=166760 memory=146308 CPUtime=2914.73 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 26193 0 0 0 289142 2331 0 0 20 0 1 0 70867501 170762240 36577 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 41690 36577 1280 1200 0 40170 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 166760 KiB
Current children cumulated memory: 146308 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 78005
/proc/meminfo: memFree=111929800/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=167144 memory=146692 CPUtime=2974.58 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 26289 0 0 0 295072 2386 0 0 20 0 1 0 70867501 171155456 36673 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 41786 36673 1280 1200 0 40266 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 167144 KiB
Current children cumulated memory: 146692 KiB
[startup+3042.3 s]
/proc/loadavg: 4.30 4.13 4.10 5/264 78009
/proc/meminfo: memFree=111911220/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=167432 memory=146948 CPUtime=3034.43 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 26383 0 0 0 301002 2441 0 0 20 0 1 0 70867501 171450368 36737 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 41858 36737 1280 1200 0 40338 0
Current children cumulated CPU time: 3034.43 s
Current children cumulated vsize: 167432 KiB
Current children cumulated memory: 146948 KiB
[startup+3102.3 s]
/proc/loadavg: 4.54 4.25 4.15 5/264 78012
/proc/meminfo: memFree=111921716/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=168200 memory=147588 CPUtime=3094.27 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 26533 0 0 0 306936 2491 0 0 20 0 1 0 70867501 172236800 36897 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 42050 36897 1280 1200 0 40530 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 168200 KiB
Current children cumulated memory: 147588 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.20 4.14 5/264 78059
/proc/meminfo: memFree=111854344/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=168392 memory=147716 CPUtime=3154.12 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 26581 0 0 0 312868 2544 0 0 20 0 1 0 70867501 172433408 36929 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 42098 36929 1280 1200 0 40578 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 168392 KiB
Current children cumulated memory: 147716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.19 4.14 5/263 78061
/proc/meminfo: memFree=111846164/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=168584 memory=147972 CPUtime=3213.97 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 26653 0 0 0 318797 2600 0 0 20 0 1 0 70867501 172630016 36993 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 42146 36993 1280 1200 0 40626 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 168584 KiB
Current children cumulated memory: 147972 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/263 78063
/proc/meminfo: memFree=111813700/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=170512 memory=149892 CPUtime=3273.81 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 27111 0 0 0 324726 2655 0 0 20 0 1 0 70867501 174604288 37473 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 42628 37473 1280 1200 0 41108 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 170512 KiB
Current children cumulated memory: 149892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/263 78065
/proc/meminfo: memFree=111813588/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=170784 memory=150148 CPUtime=3333.65 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 27222 0 0 0 330658 2707 0 0 20 0 1 0 70867501 174882816 37537 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 42696 37537 1280 1200 0 41176 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 170784 KiB
Current children cumulated memory: 150148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/264 78069
/proc/meminfo: memFree=111811456/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=170784 memory=152708 CPUtime=3393.48 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 27243 0 0 0 336590 2758 0 0 20 0 1 0 70867501 174882816 38177 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 42696 38177 1280 1200 0 41176 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 170784 KiB
Current children cumulated memory: 152708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/264 78071
/proc/meminfo: memFree=111815056/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=171880 memory=153988 CPUtime=3453.33 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 27514 0 0 0 342522 2811 0 0 20 0 1 0 70867501 176005120 38497 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 42970 38497 1280 1200 0 41450 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 171880 KiB
Current children cumulated memory: 153988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/265 78078
/proc/meminfo: memFree=111570980/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=172456 memory=154500 CPUtime=3513.18 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 27624 0 0 0 348462 2856 0 0 20 0 1 0 70867501 176594944 38625 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 43114 38625 1280 1200 0 41594 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 172456 KiB
Current children cumulated memory: 154500 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/265 78170
/proc/meminfo: memFree=112786448/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=172456 memory=154500 CPUtime=3572.99 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 27660 0 0 0 354396 2903 0 0 20 0 1 0 70867501 176594944 38625 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 43114 38625 1280 1200 0 41594 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 172456 KiB
Current children cumulated memory: 154500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 78170
/proc/meminfo: memFree=112772432/131249996 swapFree=33010160/33010684
[pid=77756] ppid=77753 vsize=172456 memory=154500 CPUtime=3600.01 cores=4,6
/proc/77756/stat : 77756 (Exact) R 77753 77756 76715 0 -1 4194304 27664 0 0 0 357073 2928 0 0 20 0 1 0 70867501 176594944 38625 18446744073709551615 4198400 9112445 140724424705536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 20598784 140724424714554 140724424714733 140724424714733 140724424720335 0
/proc/77756/statm: 43114 38625 1280 1200 0 41594 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 172456 KiB
Current children cumulated memory: 154500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 77756 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3570.73 s, system=29.2866 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.4
CPU time (s): 3600.02
CPU user time (s): 3570.73
CPU system time (s): 29.2866
CPU usage (%): 99.74
Max. virtual memory (cumulated for all children) (KiB): 172456
Max. memory (cumulated for all children) (KiB): 154500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.73
system time used= 29.2866
maximum resident set size= 154500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27666
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= 47
involuntary context switches= 2422
# summary of solver processes directly reported to runsolver:
# pid: 77756
# total CPU time (s): 3600.02
# total CPU user time (s): 3570.73
# total CPU system time (s): 29.2866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84373 second user time and 14.8738 second system time
The end
Begin job on nodeC032 at 2025-07-03 16:11:29 IDJOB=4483547 IDBENCH=177560 IDSOLVER=3317 FILE ID=nodeC032/4483547-1751551889 RUNJOBID= nodeC032-1751547548-76726 SLURM_JOB_ID= 9598720 Free space on /tmp= 430548 MiB SOLVER NAME= Exact 2025-06-02 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= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4483547-1751551889/watcher-4483547-1751551889 -o /tmp/evaluation-result-4483547-1751551889/solver-4483547-1751551889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751547548-76726 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1579143931 --ls=360 HOME/instance-4483547-1751551889.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 95a025abd93d3c3a131defec0604d084 RANDOM SEED=1579143931 nodeC032 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 : 0xb00002a cpu MHz : 3599.643 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.840 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.936 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3597.352 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3597.953 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.838 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.840 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.959 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 112840708 kB MemAvailable: 129245784 kB Buffers: 2728 kB Cached: 17083800 kB SwapCached: 20 kB Active: 785652 kB Inactive: 16714304 kB Active(anon): 428352 kB Inactive(anon): 3124 kB Active(file): 357300 kB Inactive(file): 16711180 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7136 kB Writeback: 0 kB AnonPages: 414848 kB Mapped: 117436 kB Shmem: 18048 kB KReclaimable: 351668 kB Slab: 445388 kB SReclaimable: 351668 kB SUnreclaim: 93720 kB KernelStack: 4272 kB PageTables: 3808 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 836660 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 292864 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430540 MiB End job on nodeC032 at 2025-07-03 17:11:38