Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pb_picat 2025-07-11 | OPT | -45 | 432.391 | 433.529 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
| MD5SUM | a3f6b61db250b51897503d5946a188dc |
| 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 | -45 |
| Best CPU time to get the best result obtained on this benchmark | 432.391 |
| 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 | 945 |
| Total number of constraints | 58245 |
| Number of constraints which are clauses | 58245 |
| 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 | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| 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 | 945 |
| 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 | 945 |
| 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.02 c solving HOME/instance-4528359-1752237995.opb (Picat 3.9b11, 7/10/2025) 4.08/4.14 o -36 213.18/213.83 o -44 432.36/433.52 o -45 432.36/433.52 s OPTIMUM FOUND 432.36/433.52 v ~x694 ~x589 x484 x379 ~x274 ~x169 ~x64 ~x903 ~x798 x693 432.36/433.52 v ~x588 ~x483 ~x378 ~x273 ~x168 ~x63 ~x902 ~x797 ~x692 ~x587 432.36/433.52 v ~x482 ~x377 ~x272 ~x167 ~x62 ~x901 ~x796 ~x691 ~x586 ~x481 432.36/433.52 v ~x376 ~x271 ~x166 ~x61 ~x900 ~x795 ~x690 ~x585 ~x480 ~x375 432.36/433.52 v ~x270 ~x165 ~x60 ~x899 ~x794 ~x689 ~x584 ~x479 ~x374 ~x269 432.36/433.52 v ~x164 ~x59 ~x898 ~x793 ~x688 ~x583 ~x478 x373 ~x268 ~x163 432.36/433.52 v ~x58 ~x897 ~x792 ~x687 x582 ~x477 ~x372 x267 ~x162 ~x57 432.36/433.52 v ~x896 ~x791 ~x686 ~x581 ~x476 ~x371 ~x266 ~x161 ~x56 ~x895 432.36/433.52 v ~x790 ~x685 ~x580 ~x475 ~x370 ~x265 ~x160 ~x55 ~x894 ~x789 432.36/433.52 v ~x684 ~x579 ~x474 ~x369 ~x264 ~x159 ~x54 ~x893 ~x788 ~x683 432.36/433.52 v ~x578 ~x473 ~x368 ~x263 ~x158 ~x53 ~x892 ~x787 ~x682 ~x577 432.36/433.52 v ~x472 ~x367 ~x262 ~x157 ~x52 ~x891 ~x786 ~x681 ~x576 ~x471 432.36/433.52 v ~x366 ~x261 ~x156 ~x51 ~x890 ~x785 ~x680 ~x575 x470 ~x365 432.36/433.52 v ~x260 ~x155 ~x50 ~x889 ~x784 ~x679 ~x574 ~x469 ~x364 ~x259 432.36/433.52 v ~x154 ~x49 ~x888 ~x783 ~x678 ~x573 ~x468 ~x363 ~x258 x153 432.36/433.52 v ~x48 ~x887 ~x782 ~x677 ~x572 ~x467 ~x362 ~x257 ~x152 ~x47 432.36/433.52 v x886 ~x781 ~x676 ~x571 ~x466 ~x361 ~x256 ~x151 ~x46 ~x885 432.36/433.52 v x780 ~x675 ~x570 ~x465 ~x360 ~x255 ~x150 x45 ~x884 ~x779 432.36/433.52 v ~x674 ~x569 ~x464 ~x359 ~x254 ~x149 ~x44 ~x883 ~x778 ~x673 432.36/433.52 v ~x568 ~x463 ~x358 ~x253 ~x148 ~x43 ~x882 ~x777 ~x672 ~x567 432.36/433.52 v ~x462 ~x357 ~x252 ~x147 ~x42 ~x881 ~x776 ~x671 ~x566 ~x461 432.36/433.52 v ~x356 ~x251 ~x146 ~x41 ~x880 ~x775 ~x670 ~x565 ~x460 ~x355 432.36/433.52 v ~x250 ~x145 ~x40 ~x879 ~x774 ~x669 ~x564 ~x459 ~x354 x249 432.36/433.52 v ~x144 ~x39 ~x878 ~x773 ~x668 ~x563 ~x458 ~x353 ~x248 ~x143 432.36/433.52 v ~x38 ~x877 ~x772 ~x667 ~x562 ~x457 ~x352 ~x247 ~x142 ~x37 432.36/433.52 v ~x876 ~x771 ~x666 ~x561 ~x456 ~x351 ~x246 ~x141 ~x36 ~x875 432.36/433.52 v x770 ~x665 ~x560 ~x455 ~x350 ~x245 ~x140 x35 ~x874 ~x769 432.36/433.52 v ~x664 x559 ~x454 x349 ~x244 ~x139 ~x34 ~x873 ~x768 ~x663 432.36/433.52 v ~x558 ~x453 ~x348 ~x243 ~x138 ~x33 x872 ~x767 ~x662 ~x557 432.36/433.52 v ~x452 ~x347 ~x242 ~x137 ~x32 ~x871 ~x766 x661 ~x556 ~x451 432.36/433.52 v ~x346 ~x241 ~x136 ~x31 ~x870 ~x765 ~x660 ~x555 ~x450 ~x345 432.36/433.52 v ~x240 ~x135 ~x30 ~x869 ~x764 ~x659 ~x554 x449 ~x344 ~x239 432.36/433.52 v ~x134 ~x29 ~x868 ~x763 ~x658 ~x553 ~x448 ~x343 ~x238 x133 432.36/433.52 v ~x28 ~x867 ~x762 ~x657 ~x552 ~x447 ~x342 ~x237 ~x132 ~x27 432.36/433.52 v ~x866 ~x761 ~x656 ~x551 ~x446 ~x341 ~x236 ~x131 ~x26 ~x865 432.36/433.52 v ~x760 ~x655 ~x550 ~x445 ~x340 ~x235 ~x130 ~x25 ~x864 ~x759 432.36/433.52 v ~x654 ~x549 ~x444 ~x339 ~x234 ~x129 ~x24 ~x863 ~x758 ~x653 432.36/433.52 v ~x548 ~x443 ~x338 ~x233 ~x128 ~x23 ~x862 ~x757 ~x652 ~x547 432.36/433.52 v ~x442 ~x337 ~x232 ~x127 ~x22 ~x861 ~x756 ~x651 ~x546 ~x441 432.36/433.52 v ~x336 ~x231 ~x126 ~x21 ~x860 ~x755 ~x650 ~x545 ~x440 ~x335 432.36/433.52 v ~x230 ~x125 ~x20 ~x859 ~x754 ~x649 ~x544 x439 ~x334 x229 432.36/433.52 v ~x124 ~x19 ~x858 x753 ~x648 x543 ~x438 ~x333 ~x228 ~x123 432.36/433.52 v ~x18 ~x857 ~x752 ~x647 ~x542 ~x437 ~x332 ~x227 ~x122 x17 432.36/433.52 v ~x856 ~x751 ~x646 ~x541 ~x436 ~x331 ~x226 ~x121 ~x16 x855 432.36/433.52 v ~x750 ~x645 ~x540 ~x435 ~x330 ~x225 ~x120 ~x15 ~x854 ~x749 432.36/433.52 v ~x644 ~x539 ~x434 ~x329 ~x224 ~x119 ~x14 ~x853 ~x748 ~x643 432.36/433.52 v ~x538 ~x433 ~x328 ~x223 ~x118 ~x13 ~x852 ~x747 x642 ~x537 432.36/433.52 v ~x432 ~x327 ~x222 ~x117 ~x12 ~x851 ~x746 ~x641 ~x536 ~x431 432.36/433.52 v ~x326 ~x221 ~x116 ~x11 ~x850 ~x745 ~x640 ~x535 ~x430 ~x325 432.36/433.52 v ~x220 ~x115 ~x10 ~x849 ~x744 ~x639 ~x534 ~x429 ~x324 ~x219 432.36/433.52 v ~x114 ~x9 ~x848 ~x743 ~x638 ~x533 ~x428 ~x323 ~x218 ~x113 432.36/433.52 v ~x8 ~x847 ~x742 ~x637 ~x532 ~x427 ~x322 ~x217 x112 ~x7 432.36/433.52 v ~x846 ~x741 ~x636 ~x531 ~x426 x321 ~x216 ~x111 ~x6 ~x845 432.36/433.52 v ~x740 ~x635 ~x530 ~x425 ~x320 ~x215 ~x110 ~x5 ~x844 ~x739 432.36/433.52 v ~x634 ~x529 ~x424 ~x319 ~x214 ~x109 ~x4 ~x843 ~x738 ~x633 432.36/433.52 v ~x528 ~x423 ~x318 ~x213 ~x108 ~x3 ~x842 ~x737 ~x632 ~x527 432.36/433.52 v ~x422 ~x317 ~x212 ~x107 ~x2 ~x841 ~x736 ~x631 ~x526 ~x421 432.36/433.52 v ~x316 ~x211 ~x106 ~x1 ~x945 ~x840 ~x735 x630 ~x525 ~x420 432.36/433.52 v ~x315 ~x210 ~x105 ~x944 ~x839 ~x734 ~x629 ~x524 ~x419 ~x314 432.36/433.52 v ~x209 ~x104 ~x943 ~x838 x733 ~x628 ~x523 ~x418 ~x313 ~x208 432.36/433.52 v ~x103 ~x942 ~x837 ~x732 ~x627 ~x522 ~x417 ~x312 ~x207 ~x102 432.36/433.52 v ~x941 ~x836 ~x731 ~x626 ~x521 ~x416 ~x311 ~x206 ~x101 ~x940 432.36/433.52 v x835 ~x730 ~x625 ~x520 ~x415 ~x310 ~x205 ~x100 ~x939 ~x834 432.36/433.52 v ~x729 ~x624 ~x519 ~x414 ~x309 ~x204 ~x99 ~x938 ~x833 ~x728 432.36/433.52 v ~x623 ~x518 ~x413 ~x308 x203 ~x98 x937 ~x832 ~x727 ~x622 432.36/433.52 v ~x517 x412 ~x307 ~x202 ~x97 ~x936 ~x831 ~x726 ~x621 ~x516 432.36/433.52 v ~x411 ~x306 ~x201 ~x96 ~x935 ~x830 ~x725 ~x620 ~x515 ~x410 432.36/433.52 v x305 ~x200 ~x95 ~x934 ~x829 ~x724 ~x619 ~x514 ~x409 ~x304 432.36/433.52 v ~x199 ~x94 ~x933 ~x828 ~x723 ~x618 ~x513 ~x408 ~x303 ~x198 432.36/433.52 v ~x93 ~x932 ~x827 ~x722 ~x617 ~x512 ~x407 ~x302 ~x197 ~x92 432.36/433.52 v ~x931 ~x826 ~x721 ~x616 ~x511 ~x406 ~x301 ~x196 ~x91 ~x930 432.36/433.52 v ~x825 ~x720 ~x615 ~x510 ~x405 ~x300 ~x195 ~x90 ~x929 ~x824 432.36/433.52 v ~x719 ~x614 ~x509 ~x404 ~x299 ~x194 ~x89 ~x928 ~x823 ~x718 432.36/433.52 v ~x613 x508 ~x403 ~x298 ~x193 ~x88 ~x927 ~x822 ~x717 ~x612 432.36/433.52 v ~x507 ~x402 ~x297 ~x192 x87 ~x926 ~x821 ~x716 ~x611 ~x506 432.36/433.52 v ~x401 ~x296 ~x191 ~x86 ~x925 ~x820 ~x715 ~x610 ~x505 ~x400 432.36/433.52 v ~x295 ~x190 ~x85 ~x924 ~x819 ~x714 ~x609 ~x504 ~x399 ~x294 432.36/433.52 v ~x189 ~x84 x923 ~x818 ~x713 ~x608 ~x503 ~x398 ~x293 ~x188 432.36/433.52 v ~x83 ~x922 ~x817 ~x712 ~x607 ~x502 ~x397 ~x292 ~x187 ~x82 432.36/433.52 v ~x921 ~x816 ~x711 ~x606 ~x501 ~x396 ~x291 ~x186 ~x81 ~x920 432.36/433.52 v ~x815 ~x710 ~x605 ~x500 ~x395 ~x290 ~x185 ~x80 ~x919 x814 432.36/433.52 v ~x709 ~x604 ~x499 ~x394 ~x289 ~x184 ~x79 ~x918 ~x813 ~x708 432.36/433.52 v ~x603 ~x498 ~x393 ~x288 ~x183 ~x78 ~x917 ~x812 ~x707 ~x602 432.36/433.52 v ~x497 ~x392 ~x287 ~x182 ~x77 ~x916 ~x811 ~x706 ~x601 ~x496 432.36/433.52 v ~x391 ~x286 ~x181 ~x76 ~x915 ~x810 ~x705 ~x600 ~x495 ~x390 432.36/433.52 v ~x285 ~x180 ~x75 ~x914 ~x809 x704 ~x599 ~x494 ~x389 ~x284 432.36/433.52 v ~x179 ~x74 ~x913 ~x808 ~x703 ~x598 ~x493 ~x388 ~x283 ~x178 432.36/433.52 v ~x73 ~x912 ~x807 ~x702 ~x597 ~x492 ~x387 ~x282 ~x177 x72 432.36/433.52 v ~x911 ~x806 ~x701 ~x596 ~x491 ~x386 ~x281 ~x176 ~x71 ~x910 432.36/433.52 v ~x805 ~x700 ~x595 ~x490 ~x385 ~x280 ~x175 ~x70 ~x909 ~x804 432.36/433.52 v ~x699 ~x594 ~x489 ~x384 ~x279 ~x174 ~x69 ~x908 ~x803 ~x698 432.36/433.52 v ~x593 ~x488 ~x383 ~x278 x173 ~x68 ~x907 ~x802 ~x697 ~x592 432.36/433.52 v ~x487 ~x382 ~x277 ~x172 ~x67 ~x906 ~x801 ~x696 x591 ~x486 432.36/433.52 v ~x381 ~x276 ~x171 ~x66 ~x905 ~x800 ~x695 ~x590 ~x485 ~x380 432.36/433.52 v x275 ~x170 ~x65 ~x904 ~x799
OK -45
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: 63794 MiB (62704 MiB free)
memory of node 1: 64507 MiB (61682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528359-1752237995/watcher-4528359-1752237995 -o /tmp/evaluation-result-4528359-1752237995/solver-4528359-1752237995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752237995-109812 --watchdog 3760 pb_picat HOME/instance-4528359-1752237995.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=109867, runsolver pid=109860
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 3.64 4.92 5.86 5/252 109869
/proc/meminfo: memFree=127331116/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2027148 memory=22256 CPUtime=0.1 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 1102 0 0 0 9 1 0 0 20 0 1 0 139478928 2075799552 5564 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 506787 5564 1568 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 22256 KiB
[startup+0.214416 s]*
/proc/loadavg: 3.64 4.92 5.86 6/252 109869
/proc/meminfo: memFree=127310596/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2027148 memory=28400 CPUtime=0.21 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 1105 0 0 0 20 1 0 0 20 0 1 0 139478928 2075799552 7100 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 506787 7100 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28400 KiB
[startup+0.314103 s]*
/proc/loadavg: 3.64 4.92 5.86 5/252 109869
/proc/meminfo: memFree=127294212/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2027148 memory=34544 CPUtime=0.31 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 1108 0 0 0 30 1 0 0 20 0 1 0 139478928 2075799552 8636 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 506787 8636 1568 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34544 KiB
[startup+0.700346 s]
/proc/loadavg: 3.64 4.92 5.86 5/252 109869
/proc/meminfo: memFree=127269636/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2027148 memory=61168 CPUtime=0.68 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 1121 0 0 0 66 2 0 0 20 0 1 0 139478928 2075799552 15292 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 506787 15292 1568 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 61168 KiB
[startup+1.50035 s]
/proc/loadavg: 3.64 4.92 5.86 5/252 109869
/proc/meminfo: memFree=127186228/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2044716 memory=101280 CPUtime=1.48 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 4231 0 0 0 144 4 0 0 20 0 1 0 139478928 2093789184 25320 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 511179 25320 1728 343 0 508243 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2044716 KiB
Current children cumulated memory: 101280 KiB
[startup+3.113 s]
/proc/loadavg: 3.64 4.92 5.86 5/252 109869
/proc/meminfo: memFree=127165776/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2043688 memory=101028 CPUtime=3.08 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 4595 0 0 0 304 4 0 0 20 0 1 0 139478928 2092736512 25257 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 510922 25257 1760 343 0 507986 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2043688 KiB
Current children cumulated memory: 101028 KiB
[startup+6.30025 s]
/proc/loadavg: 3.67 4.91 5.85 5/252 109869
/proc/meminfo: memFree=127222940/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2044412 memory=100812 CPUtime=6.26 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 9357 0 0 0 622 4 0 0 20 0 1 0 139478928 2093477888 25203 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 511103 25203 1760 343 0 508167 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2044412 KiB
Current children cumulated memory: 100812 KiB
[startup+12.7002 s]
/proc/loadavg: 3.61 4.88 5.83 5/252 109914
/proc/meminfo: memFree=127300924/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2048508 memory=104364 CPUtime=12.63 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 9738 0 0 0 1256 7 0 0 20 0 1 0 139478928 2097672192 26091 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 512127 26091 1760 343 0 509191 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2048508 KiB
Current children cumulated memory: 104364 KiB
[startup+25.5003 s]
/proc/loadavg: 3.70 4.83 5.80 5/251 109914
/proc/meminfo: memFree=127292068/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2048512 memory=103928 CPUtime=25.39 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 11542 0 0 0 2532 7 0 0 20 0 1 0 139478928 2097676288 25982 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 512128 25982 1760 343 0 509192 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2048512 KiB
Current children cumulated memory: 103928 KiB
[startup+51.1129 s]
/proc/loadavg: 3.87 4.78 5.76 5/252 109960
/proc/meminfo: memFree=127260936/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2045472 memory=100768 CPUtime=50.93 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 30709 0 0 0 5082 11 0 0 20 0 1 0 139478928 2094563328 25192 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 511368 25192 1760 343 0 508432 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2045472 KiB
Current children cumulated memory: 100768 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 4.67 5.67 5/253 110097
/proc/meminfo: memFree=127028788/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2045472 memory=104372 CPUtime=101.98 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 72696 0 0 0 10176 22 0 0 20 0 1 0 139478928 2094563328 26093 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 511368 26093 1760 343 0 508432 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2045472 KiB
Current children cumulated memory: 104372 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.58 5.57 5/253 110099
/proc/meminfo: memFree=127043400/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2042004 memory=104716 CPUtime=161.82 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 130881 0 0 0 16144 38 0 0 20 0 1 0 139478928 2091012096 26179 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 510501 26179 1760 343 0 507565 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2042004 KiB
Current children cumulated memory: 104716 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.49 5.48 5/253 110101
/proc/meminfo: memFree=127046480/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2046972 memory=110320 CPUtime=221.66 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 168106 0 0 0 22119 47 0 0 20 0 1 0 139478928 2096099328 27580 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 511743 27580 1760 343 0 508807 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2046972 KiB
Current children cumulated memory: 110320 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.41 5.39 5/252 110103
/proc/meminfo: memFree=127048636/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2059132 memory=120564 CPUtime=281.51 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 168623 0 0 0 28104 47 0 0 20 0 1 0 139478928 2108551168 30141 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 514783 30141 1760 343 0 511847 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2059132 KiB
Current children cumulated memory: 120564 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.35 5.30 5/253 110114
/proc/meminfo: memFree=127035564/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2059132 memory=120564 CPUtime=341.37 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 168631 0 0 0 34090 47 0 0 20 0 1 0 139478928 2108551168 30141 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 514783 30141 1760 343 0 511847 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2059132 KiB
Current children cumulated memory: 120564 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.30 5.22 5/252 110116
/proc/meminfo: memFree=127046400/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2063232 memory=124664 CPUtime=401.23 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 168745 0 0 0 40075 48 0 0 20 0 1 0 139478928 2112749568 31166 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 515808 31166 1760 343 0 512872 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 2063232 KiB
Current children cumulated memory: 124664 KiB
[startup+433.528 s]
# the end of solver process 109867 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=431.907 s, system=0.483873 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.07 4.29 5.22 5/252 110116
/proc/meminfo: memFree=127034120/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2067328 memory=128016 CPUtime=408.51 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 169638 0 0 0 40803 48 0 0 20 0 1 0 139478928 2116943872 32004 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 516832 32004 1760 343 0 513896 0
Current children cumulated CPU time: 408.51 s
Current children cumulated vsize: 2067328 KiB
Current children cumulated memory: 128016 KiB
[startup+422.4 s]
/proc/loadavg: 4.12 4.30 5.20 5/252 110116
/proc/meminfo: memFree=127039924/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2067328 memory=128656 CPUtime=421.28 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 169793 0 0 0 42080 48 0 0 20 0 1 0 139478928 2116943872 32164 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 516832 32164 1760 343 0 513896 0
Current children cumulated CPU time: 421.28 s
Current children cumulated vsize: 2067328 KiB
Current children cumulated memory: 128656 KiB
[startup+428.8 s]
/proc/loadavg: 4.11 4.29 5.20 5/252 110117
/proc/meminfo: memFree=127034152/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2067328 memory=128656 CPUtime=427.67 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 169796 0 0 0 42719 48 0 0 20 0 1 0 139478928 2116943872 32164 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 516832 32164 1760 343 0 513896 0
Current children cumulated CPU time: 427.67 s
Current children cumulated vsize: 2067328 KiB
Current children cumulated memory: 128656 KiB
[startup+432 s]*
/proc/loadavg: 4.10 4.29 5.19 5/252 110117
/proc/meminfo: memFree=127025984/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2067328 memory=128656 CPUtime=430.87 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 169796 0 0 0 43039 48 0 0 20 0 1 0 139478928 2116943872 32164 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 516832 32164 1760 343 0 513896 0
Current children cumulated CPU time: 430.87 s
Current children cumulated vsize: 2067328 KiB
Current children cumulated memory: 128656 KiB
[startup+432.8 s]
/proc/loadavg: 4.10 4.29 5.19 5/252 110117
/proc/meminfo: memFree=127025984/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2067328 memory=128656 CPUtime=431.66 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 169796 0 0 0 43118 48 0 0 20 0 1 0 139478928 2116943872 32164 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 516832 32164 1760 343 0 513896 0
Current children cumulated CPU time: 431.66 s
Current children cumulated vsize: 2067328 KiB
Current children cumulated memory: 128656 KiB
[startup+433.2 s]
/proc/loadavg: 4.10 4.29 5.19 5/252 110117
/proc/meminfo: memFree=127025984/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2067328 memory=128656 CPUtime=432.06 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 169796 0 0 0 43158 48 0 0 20 0 1 0 139478928 2116943872 32164 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 516832 32164 1760 343 0 513896 0
Current children cumulated CPU time: 432.06 s
Current children cumulated vsize: 2067328 KiB
Current children cumulated memory: 128656 KiB
[startup+433.4 s]
/proc/loadavg: 4.10 4.29 5.19 5/252 110117
/proc/meminfo: memFree=127025984/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2067328 memory=128656 CPUtime=432.26 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 169796 0 0 0 43178 48 0 0 20 0 1 0 139478928 2116943872 32164 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 516832 32164 1760 343 0 513896 0
Current children cumulated CPU time: 432.26 s
Current children cumulated vsize: 2067328 KiB
Current children cumulated memory: 128656 KiB
[startup+433.5 s]
/proc/loadavg: 4.10 4.29 5.19 5/252 110117
/proc/meminfo: memFree=127025984/131382120 swapFree=33010416/33010684
[pid=109867] ppid=109860 vsize=2067328 memory=128656 CPUtime=432.36 cores=5,7
/proc/109867/stat : 109867 (pb_picat) R 109860 109867 108148 0 -1 4194304 169796 0 0 0 43188 48 0 0 20 0 1 0 139478928 2116943872 32164 18446744073709551615 94883523391488 94883524793069 140732903398912 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94883525064496 94883526938736 94883541295104 140732903401884 140732903401960 140732903401960 140732903407564 0
/proc/109867/statm: 516832 32164 1760 343 0 513896 0
Current children cumulated CPU time: 432.36 s
Current children cumulated vsize: 2067328 KiB
Current children cumulated memory: 128656 KiB
Child status: 0
Real time (s): 433.529
CPU time (s): 432.391
CPU user time (s): 431.907
CPU system time (s): 0.483873
CPU usage (%): 99.7376
Max. virtual memory (cumulated for all children) (KiB): 2067328
Max. memory (cumulated for all children) (KiB): 128656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 431.907
system time used= 0.483873
maximum resident set size= 129168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169811
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= 116
involuntary context switches= 364
# summary of solver processes directly reported to runsolver:
# pid: 109867
# total CPU time (s): 432.391
# total CPU user time (s): 431.907
# total CPU system time (s): 0.483873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92424 second user time and 4.3477 second system time
The end
Begin job on nodeC006 at 2025-07-11 14:46:36 IDJOB=4528359 IDBENCH=146684 IDSOLVER=3385 FILE ID=nodeC006/4528359-1752237995 RUNJOBID= nodeC006-1752237995-109812 SLURM_JOB_ID= 9682517 Free space on /tmp= 432016 MiB SOLVER NAME= pb_picat 2025-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb COMMAND LINE= pb_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528359-1752237995/watcher-4528359-1752237995 -o /tmp/evaluation-result-4528359-1752237995/solver-4528359-1752237995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752237995-109812 --watchdog 3760 pb_picat HOME/instance-4528359-1752237995.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc RANDOM SEED=455819702 nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.120 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.122 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.187 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.141 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.013 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.024 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.134 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.142 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 127380516 kB MemAvailable: 129606112 kB Buffers: 2128 kB Cached: 2988112 kB SwapCached: 12 kB Active: 539776 kB Inactive: 2519532 kB Active(anon): 76024 kB Inactive(anon): 10992 kB Active(file): 463752 kB Inactive(file): 2508540 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18944 kB Writeback: 16 kB AnonPages: 71060 kB Mapped: 105472 kB Shmem: 17948 kB KReclaimable: 185476 kB Slab: 274380 kB SReclaimable: 185476 kB SUnreclaim: 88904 kB KernelStack: 3944 kB PageTables: 2716 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 336316 kB VmallocTotal: 34359738367 kB VmallocUsed: 149336 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 10196992 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432000 MiB End job on nodeC006 at 2025-07-11 14:53:49