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 | OPT | 50 | 948.995 | 951.635 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb |
| MD5SUM | 5095349793dd868b1b37aa3a48faf31c |
| 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 | 50 |
| Best CPU time to get the best result obtained on this benchmark | 1.05158 |
| 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 | 807 |
| Total number of constraints | 1823 |
| Number of constraints which are clauses | 1823 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 807 |
| 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 | 807 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 807 |
| 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.08 c 1711 constraints 0.00/0.08 c after presolve 6688 0.00/0.09 c Finish cloning data from SAT to LS 0.00/0.09 c intsize: 10 60.05/60.20 c Use LS-small 60.05/60.20 o 82 60.05/60.20 o 81 60.05/60.20 o 80 60.05/60.20 o 79 60.05/60.20 o 78 60.05/60.20 o 77 60.05/60.20 o 76 60.05/60.20 o 75 60.05/60.20 o 74 60.05/60.20 o 73 60.05/60.20 o 72 60.05/60.20 o 71 60.05/60.20 o 70 60.05/60.20 o 69 60.05/60.20 o 68 60.05/60.20 o 67 60.05/60.20 o 66 60.05/60.20 o 65 60.05/60.20 o 55 60.05/60.20 o 54 60.05/60.20 o 53 60.05/60.20 o 52 60.05/60.20 o 51 60.05/60.20 o 50 60.05/60.20 c SAT by LS-small 60.05/60.20 o 50 948.95/951.63 s OPTIMUM FOUND 948.95/951.63 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
OK 50
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: 63665 MiB (62914 MiB free)
memory of node 1: 64507 MiB (60657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487551-1751330120/watcher-4487551-1751330120 -o /tmp/evaluation-result-4487551-1751330120/solver-4487551-1751330120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751326014-47593 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4487551-1751330120.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=48849, runsolver pid=48846
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.16 4.13 4.09 5/262 48850
/proc/meminfo: memFree=126538700/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=0.08 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4197 0 0 0 7 1 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+0.205415 s]*
/proc/loadavg: 4.15 4.13 4.09 5/262 48850
/proc/meminfo: memFree=126538700/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=0.17 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4197 0 0 0 16 1 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+0.304671 s]*
/proc/loadavg: 4.15 4.13 4.09 5/262 48850
/proc/meminfo: memFree=126538448/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=0.28 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4197 0 0 0 26 2 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+0.700099 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 48850
/proc/meminfo: memFree=126538448/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=0.66 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4200 0 0 0 63 3 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+1.5001 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 48850
/proc/meminfo: memFree=126538448/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=1.47 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4200 0 0 0 139 8 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+3.10472 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 48850
/proc/meminfo: memFree=126522064/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=3.06 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4201 0 0 0 292 14 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+6.30009 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 48850
/proc/meminfo: memFree=126522064/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=6.25 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4201 0 0 0 596 29 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.13 4.09 5/262 48850
/proc/meminfo: memFree=126522064/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=12.64 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4201 0 0 0 1206 58 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 48851
/proc/meminfo: memFree=126522064/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=25.41 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4201 0 0 0 2426 115 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+51.1047 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 48851
/proc/meminfo: memFree=126522104/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=60832 memory=20632 CPUtime=50.97 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 4201 0 0 0 4863 234 0 0 20 0 1 0 48689724 62291968 5158 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 15208 5158 1920 2271 0 9846 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 20632 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 48897
/proc/meminfo: memFree=126442496/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=151968 memory=103968 CPUtime=102.04 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 17554 0 0 0 9920 284 0 0 20 0 1 0 48689724 155615232 25992 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 37992 25992 1920 2271 0 32630 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 151968 KiB
Current children cumulated memory: 103968 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 48947
/proc/meminfo: memFree=126425796/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=164320 memory=115492 CPUtime=161.84 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 19976 0 0 0 15889 295 0 0 20 0 1 0 48689724 168263680 28873 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 41080 28873 1920 2271 0 35718 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 164320 KiB
Current children cumulated memory: 115492 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 48999
/proc/meminfo: memFree=126407556/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=164960 memory=116388 CPUtime=221.64 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 20225 0 0 0 21858 306 0 0 20 0 1 0 48689724 168919040 29097 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 41240 29097 1920 2271 0 35878 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 164960 KiB
Current children cumulated memory: 116388 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 49046
/proc/meminfo: memFree=126354688/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=165604 memory=117156 CPUtime=281.45 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 20435 0 0 0 27828 317 0 0 20 0 1 0 48689724 169578496 29289 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 41401 29289 1920 2271 0 36039 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 165604 KiB
Current children cumulated memory: 117156 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/264 49048
/proc/meminfo: memFree=125838864/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=169060 memory=126792 CPUtime=341.27 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 21196 0 0 0 33797 330 0 0 20 0 1 0 48689724 173117440 31698 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 42265 31698 1920 2271 0 36903 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 169060 KiB
Current children cumulated memory: 126792 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 49050
/proc/meminfo: memFree=125822024/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=169316 memory=136264 CPUtime=401.1 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 21298 0 0 0 39770 340 0 0 20 0 1 0 48689724 173379584 34066 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 42329 34066 1920 2271 0 36967 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 169316 KiB
Current children cumulated memory: 136264 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 49052
/proc/meminfo: memFree=125798944/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=169572 memory=136520 CPUtime=460.95 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 21421 0 0 0 45743 352 0 0 20 0 1 0 48689724 173641728 34130 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 42393 34130 1920 2271 0 37031 0
Current children cumulated CPU time: 460.95 s
Current children cumulated vsize: 169572 KiB
Current children cumulated memory: 136520 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 49054
/proc/meminfo: memFree=125756992/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=170468 memory=137416 CPUtime=520.79 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 21632 0 0 0 51714 365 0 0 20 0 1 0 48689724 174559232 34354 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 42617 34354 1920 2271 0 37255 0
Current children cumulated CPU time: 520.79 s
Current children cumulated vsize: 170468 KiB
Current children cumulated memory: 137416 KiB
[startup+582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 49057
/proc/meminfo: memFree=125690444/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=170724 memory=137544 CPUtime=580.63 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 21715 0 0 0 57687 376 0 0 20 0 1 0 48689724 174821376 34386 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 42681 34386 1920 2271 0 37319 0
Current children cumulated CPU time: 580.63 s
Current children cumulated vsize: 170724 KiB
Current children cumulated memory: 137544 KiB
[startup+642.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 49059
/proc/meminfo: memFree=125658616/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=170724 memory=137672 CPUtime=640.48 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 21756 0 0 0 63663 385 0 0 20 0 1 0 48689724 174821376 34418 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 42681 34418 1920 2271 0 37319 0
Current children cumulated CPU time: 640.48 s
Current children cumulated vsize: 170724 KiB
Current children cumulated memory: 137672 KiB
[startup+702.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 49061
/proc/meminfo: memFree=125635984/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=171492 memory=140432 CPUtime=700.32 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 21918 0 0 0 69637 395 0 0 20 0 1 0 48689724 175607808 35108 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 42873 35108 1920 2271 0 37511 0
Current children cumulated CPU time: 700.32 s
Current children cumulated vsize: 171492 KiB
Current children cumulated memory: 140432 KiB
[startup+762.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 49066
/proc/meminfo: memFree=125601444/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=171748 memory=140688 CPUtime=760.16 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 21988 0 0 0 75615 401 0 0 20 0 1 0 48689724 175869952 35172 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 42937 35172 1920 2271 0 37575 0
Current children cumulated CPU time: 760.16 s
Current children cumulated vsize: 171748 KiB
Current children cumulated memory: 140688 KiB
[startup+822.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 49072
/proc/meminfo: memFree=125593772/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=172516 memory=141328 CPUtime=820 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 22178 0 0 0 81590 410 0 0 20 0 1 0 48689724 176656384 35332 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 43129 35332 1920 2271 0 37767 0
Current children cumulated CPU time: 820 s
Current children cumulated vsize: 172516 KiB
Current children cumulated memory: 141328 KiB
[startup+882.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 49074
/proc/meminfo: memFree=125594676/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=172772 memory=141712 CPUtime=879.84 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 22275 0 0 0 87565 419 0 0 20 0 1 0 48689724 176918528 35428 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 43193 35428 1920 2271 0 37831 0
Current children cumulated CPU time: 879.84 s
Current children cumulated vsize: 172772 KiB
Current children cumulated memory: 141712 KiB
[startup+942.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 49123
/proc/meminfo: memFree=125645468/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=184548 memory=150160 CPUtime=939.67 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 24372 0 0 0 93539 428 0 0 20 0 1 0 48689724 188977152 37540 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 46137 37540 1920 2271 0 40775 0
Current children cumulated CPU time: 939.67 s
Current children cumulated vsize: 184548 KiB
Current children cumulated memory: 150160 KiB
[startup+951.635 s]
# the end of solver process 48849 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=944.698 s, system=4.29704 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 49124
/proc/meminfo: memFree=125629860/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=184804 memory=150416 CPUtime=944.57 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 24439 0 0 0 94028 429 0 0 20 0 1 0 48689724 189239296 37604 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 46201 37604 1920 2271 0 40839 0
Current children cumulated CPU time: 944.57 s
Current children cumulated vsize: 184804 KiB
Current children cumulated memory: 150416 KiB
[startup+948.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 49124
/proc/meminfo: memFree=125629876/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=184804 memory=150416 CPUtime=946.16 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 24439 0 0 0 94187 429 0 0 20 0 1 0 48689724 189239296 37604 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 46201 37604 1920 2271 0 40839 0
Current children cumulated CPU time: 946.16 s
Current children cumulated vsize: 184804 KiB
Current children cumulated memory: 150416 KiB
[startup+950.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 49124
/proc/meminfo: memFree=125629880/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=184804 memory=150416 CPUtime=947.75 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 24439 0 0 0 94346 429 0 0 20 0 1 0 48689724 189239296 37604 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 46201 37604 1920 2271 0 40839 0
Current children cumulated CPU time: 947.75 s
Current children cumulated vsize: 184804 KiB
Current children cumulated memory: 150416 KiB
[startup+951.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 49124
/proc/meminfo: memFree=125629880/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=184804 memory=150416 CPUtime=948.55 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 24439 0 0 0 94426 429 0 0 20 0 1 0 48689724 189239296 37604 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 46201 37604 1920 2271 0 40839 0
Current children cumulated CPU time: 948.55 s
Current children cumulated vsize: 184804 KiB
Current children cumulated memory: 150416 KiB
[startup+951.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 49124
/proc/meminfo: memFree=125629880/131249996 swapFree=33010684/33010684
[pid=48849] ppid=48846 vsize=184804 memory=150416 CPUtime=948.95 cores=0,2
/proc/48849/stat : 48849 (ExactPR) R 48846 48849 47583 0 -1 4194304 24439 0 0 0 94466 429 0 0 20 0 1 0 48689724 189239296 37604 18446744073709551615 93870889070592 93870898370437 140734960714640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870900156736 93870900195816 93870910582784 140734960720261 140734960720396 140734960720396 140734960725998 0
/proc/48849/statm: 46201 37604 1920 2271 0 40839 0
Current children cumulated CPU time: 948.95 s
Current children cumulated vsize: 184804 KiB
Current children cumulated memory: 150416 KiB
Child status: 30
Real time (s): 951.635
CPU time (s): 948.995
CPU user time (s): 944.698
CPU system time (s): 4.29704
CPU usage (%): 99.7225
Max. virtual memory (cumulated for all children) (KiB): 184804
Max. memory (cumulated for all children) (KiB): 150416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 944.697
system time used= 4.29704
maximum resident set size= 150928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24454
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= 134
involuntary context switches= 1269
# summary of solver processes directly reported to runsolver:
# pid: 48849
# total CPU time (s): 948.995
# total CPU user time (s): 944.698
# total CPU system time (s): 4.29704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.7385 second user time and 4.01231 second system time
The end
Begin job on nodeC017 at 2025-07-01 02:35:20 IDJOB=4487551 IDBENCH=147199 IDSOLVER=3324 FILE ID=nodeC017/4487551-1751330120 RUNJOBID= nodeC017-1751326014-47593 SLURM_JOB_ID= 9594357 Free space on /tmp= 432980 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.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-4487551-1751330120/watcher-4487551-1751330120 -o /tmp/evaluation-result-4487551-1751330120/solver-4487551-1751330120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751326014-47593 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4487551-1751330120.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5095349793dd868b1b37aa3a48faf31c RANDOM SEED=1946353932 nodeC017 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 : 3601.268 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 : 7000.12 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 : 3600.043 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 : 7000.12 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 : 3600.094 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 : 7000.12 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 : 3600.872 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 : 7000.12 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 : 3600.069 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 : 7000.12 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 : 3600.052 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 : 7000.12 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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 : 7000.12 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 : 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 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 : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126538700 kB MemAvailable: 129429760 kB Buffers: 2380 kB Cached: 3661864 kB SwapCached: 0 kB Active: 659740 kB Inactive: 3356308 kB Active(anon): 369884 kB Inactive(anon): 12 kB Active(file): 289856 kB Inactive(file): 3356296 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 24664 kB Writeback: 0 kB AnonPages: 354888 kB Mapped: 114724 kB Shmem: 18080 kB KReclaimable: 167896 kB Slab: 256976 kB SReclaimable: 167896 kB SUnreclaim: 89080 kB KernelStack: 4256 kB PageTables: 3792 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 738020 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 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: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432968 MiB End job on nodeC017 at 2025-07-01 02:51:12