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 | 2642 | 1133.74 | 1136.83 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb |
| MD5SUM | 9e8345160c873e2ecbeb2fceb1264fd1 |
| 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 | 2642 |
| Best CPU time to get the best result obtained on this benchmark | 0.045582 |
| 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 | 907 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 126 |
| Number of constraints which are cardinality constraints (but not clauses) | 277 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| Number of terms in the objective function | 748 |
| Biggest coefficient in the objective function | 240 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 33855 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 240 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 33855 |
| Number of bits of the biggest sum of numbers | 16 |
| 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-4528370-1752237840.opb (Picat 3.9b11, 7/10/2025) 1.28/1.34 o 10826 2.75/2.87 o 3370 89.10/89.42 o 2669 581.77/583.43 o 2648 1129.11/1132.30 o 2643 1133.70/1136.82 o 2642 1133.70/1136.82 s OPTIMUM FOUND 1133.70/1136.82 v x877 x663 x563 ~x254 x863 x811 x627 ~x278 ~x438 ~x226 1133.70/1136.82 v ~x24 ~x57 x255 x87 x816 ~x628 ~x666 ~x702 ~x353 x150 1133.70/1136.82 v x309 x256 ~x213 ~x822 x762 ~x800 ~x836 ~x479 x530 ~x564 1133.70/1136.82 v ~x263 ~x465 x834 ~x896 ~x279 ~x703 ~x354 ~x25 ~x698 ~x264 1133.70/1136.82 v ~x596 ~x843 ~x118 ~x405 ~x837 ~x480 x151 x832 x266 x88 1133.70/1136.82 v ~x849 x496 ~x667 ~x187 ~x747 x531 ~x58 ~x267 ~x214 ~x855 1133.70/1136.82 v ~x629 ~x801 ~x313 ~x881 ~x26 x436 ~x269 ~x597 x858 ~x119 1133.70/1136.82 v ~x280 ~x439 ~x748 ~x152 x565 ~x275 ~x731 x860 x371 ~x406 1133.70/1136.82 v ~x314 x882 x404 ~x59 ~x283 x865 ~x861 ~x631 ~x668 ~x440 1133.70/1136.82 v ~x750 x532 x437 ~x285 x89 x869 ~x765 ~x802 ~x705 x884 1133.70/1136.82 v ~x27 ~x566 ~x289 ~x215 x870 x899 ~x155 ~x839 ~x485 x153 1133.70/1136.82 v x567 ~x294 ~x598 ~x876 x120 ~x281 ~x189 x751 x533 ~x60 1133.70/1136.82 v ~x296 x90 ~x883 ~x632 ~x669 ~x316 ~x885 ~x28 x186 ~x299 1133.70/1136.82 v ~x468 x886 ~x766 ~x803 ~x707 ~x360 x154 x568 ~x308 ~x599 1133.70/1136.82 v x893 x900 ~x156 ~x841 ~x361 x534 x569 ~x330 x733 x898 1133.70/1136.82 v x121 ~x282 ~x191 ~x487 ~x29 x61 ~x333 x91 x903 ~x247 1133.70/1136.82 v ~x670 ~x443 ~x753 x407 ~x570 ~x337 ~x217 ~x633 ~x804 ~x708 1133.70/1136.82 v x887 x535 ~x704 ~x344 ~x469 ~x767 ~x284 ~x842 ~x362 ~x30 1133.70/1136.82 v x838 ~x357 ~x600 x901 ~x410 ~x192 ~x488 x408 ~x62 ~x359 1133.70/1136.82 v ~x601 ~x122 ~x672 ~x444 ~x888 x536 x188 ~x364 x93 x374 1133.70/1136.82 v ~x806 ~x193 ~x756 ~x31 x571 x365 ~x219 ~x634 ~x412 ~x445 1133.70/1136.82 v x890 x157 ~x63 ~x372 ~x603 ~x123 ~x287 ~x710 ~x239 ~x537 1133.70/1136.82 v ~x315 ~x378 x94 x375 ~x413 ~x844 ~x491 ~x32 x441 ~x380 1133.70/1136.82 v ~x220 ~x501 ~x675 ~x320 ~x492 x158 ~x572 ~x381 ~x604 ~x635 1133.70/1136.82 v ~x809 ~x446 ~x758 x538 x706 ~x382 x95 x124 x676 ~x845 1133.70/1136.82 v ~x892 x33 ~x840 ~x383 ~x221 ~x636 ~x810 ~x447 ~x115 ~x159 1133.70/1136.82 v ~x64 ~x386 ~x605 x904 ~x290 ~x322 ~x367 ~x673 x190 ~x392 1133.70/1136.82 v ~x739 ~x125 ~x416 ~x847 ~x493 x807 x573 ~x394 x873 x377 1133.70/1136.82 v ~x678 ~x323 ~x625 ~x34 ~x65 ~x396 x97 ~x503 ~x812 ~x449 1133.70/1136.82 v ~x368 ~x160 x317 ~x398 ~x223 ~x637 ~x291 ~x714 ~x894 x286 1133.70/1136.82 v x574 ~x402 ~x607 ~x771 ~x417 ~x848 ~x369 ~x540 x66 ~x409 1133.70/1136.82 v ~x350 x905 ~x679 ~x198 ~x495 ~x35 ~x318 ~x411 x476 x772 1133.70/1136.82 v ~x813 ~x324 ~x761 x161 ~x575 ~x415 x742 ~x906 ~x166 ~x450 1133.70/1136.82 v ~x895 x541 ~x67 ~x419 x99 x127 ~x292 ~x325 ~x244 ~x288 1133.70/1136.82 v x319 ~x425 ~x225 ~x639 ~x418 ~x451 ~x370 x414 x576 ~x442 1133.70/1136.82 v ~x609 x773 ~x293 ~x716 ~x763 x37 x68 ~x452 ~x100 ~x3 1133.70/1136.82 v ~x681 ~x850 x897 ~x163 ~x194 x456 x352 ~x129 ~x815 ~x326 1133.70/1136.82 v ~x246 ~x543 ~x577 x459 ~x478 ~x507 ~x295 ~x717 ~x498 ~x38 1133.70/1136.82 v x711 x463 ~x610 ~x4 ~x421 x851 ~x373 x164 ~x69 x470 1133.70/1136.82 v x744 ~x508 ~x683 ~x327 ~x499 ~x2 x544 ~x195 ~x471 ~x878 1133.70/1136.82 v ~x642 ~x817 ~x453 ~x248 x128 ~x39 x321 x474 x227 ~x131 1133.70/1136.82 v ~x170 ~x718 ~x500 ~x506 x165 ~x578 ~x475 x745 x643 ~x684 1133.70/1136.82 v ~x852 ~x768 x641 x545 ~x712 ~x483 ~x879 ~x777 ~x818 ~x328 1133.70/1136.82 v x902 ~x775 x40 x846 x490 x228 ~x644 ~x297 ~x454 ~x376 1133.70/1136.82 v ~x5 ~x546 ~x70 ~x497 x746 x778 ~x423 ~x719 ~x502 x257 1133.70/1136.82 v ~x680 ~x196 x504 ~x880 ~x385 ~x685 ~x853 ~x126 ~x509 x814 1133.70/1136.82 v x448 ~x512 ~x103 ~x645 ~x819 ~x329 ~x638 ~x6 ~x41 ~x579 1133.70/1136.82 v ~x515 ~x229 x779 ~x686 ~x455 ~x253 ~x132 x167 ~x71 ~x516 1133.70/1136.82 v x355 ~x646 ~x820 ~x720 ~x379 x258 x547 x197 ~x520 ~x481 1133.70/1136.82 v x780 ~x298 ~x854 ~x505 ~x384 ~x42 x580 ~x539 x613 ~x260 1133.70/1136.82 v ~x424 ~x722 ~x907 ~x510 x420 x72 ~x542 ~x104 x647 ~x821 1133.70/1136.82 v ~x856 x1 ~x7 ~x548 ~x581 x587 ~x230 ~x781 ~x300 ~x206 1133.70/1136.82 v ~x133 ~x43 x715 ~x594 ~x356 ~x261 ~x689 ~x332 x259 x169 1133.70/1136.82 v ~x73 ~x602 x482 ~x387 ~x823 ~x857 ~x511 x549 x199 ~x606 1133.70/1136.82 v ~x614 ~x648 ~x301 ~x207 ~x8 ~x44 x582 ~x608 x105 x782 1133.70/1136.82 v ~x690 ~x725 x134 x422 x74 ~x611 ~x615 ~x262 ~x824 x859 1133.70/1136.82 v ~x513 x550 ~x583 ~x612 x749 ~x388 ~x302 ~x209 ~x9 ~x45 1133.70/1136.82 v ~x75 ~x622 ~x106 ~x137 ~x428 ~x461 x135 x171 x201 ~x623 1133.70/1136.82 v ~x232 ~x390 ~x691 ~x338 ~x514 x551 x10 x584 ~x630 ~x358 1133.70/1136.82 v ~x265 ~x825 ~x464 x389 x552 ~x11 ~x76 x640 x484 ~x391 1133.70/1136.82 v ~x51 ~x339 ~x517 x46 ~x14 x202 ~x649 ~x616 ~x653 ~x177 1133.70/1136.82 v x730 ~x12 ~x172 ~x36 x585 ~x650 x107 ~x787 ~x303 ~x864 1133.70/1136.82 v x138 ~x553 ~x78 ~x77 x651 ~x617 ~x655 ~x558 ~x340 ~x518 1133.70/1136.82 v x687 ~x81 x203 ~x652 x108 ~x789 x692 ~x466 ~x13 x47 1133.70/1136.82 v ~x85 x586 ~x654 ~x234 ~x656 ~x826 ~x341 x139 ~x173 ~x92 1133.70/1136.82 v ~x79 ~x671 ~x486 ~x790 ~x304 ~x467 x519 ~x554 ~x96 ~x205 1133.70/1136.82 v x674 ~x618 ~x143 ~x430 x732 ~x15 ~x48 ~x98 ~x331 ~x677 1133.70/1136.82 v x109 ~x657 ~x693 ~x866 x393 ~x174 ~x101 x457 ~x682 ~x235 1133.70/1136.82 v ~x791 ~x827 ~x216 x521 x426 ~x102 x588 x688 ~x619 ~x270 1133.70/1136.82 v ~x305 ~x342 ~x16 x555 ~x112 ~x80 ~x700 x110 ~x658 ~x431 1133.70/1136.82 v ~x867 ~x142 ~x49 ~x113 x458 x709 ~x236 ~x792 ~x694 ~x343 1133.70/1136.82 v x268 ~x175 ~x130 ~x589 x713 ~x620 ~x271 ~x828 ~x734 x522 1133.70/1136.82 v x427 ~x136 x723 ~x721 x754 ~x659 ~x54 x868 ~x17 x556 1133.70/1136.82 v ~x140 ~x590 ~x724 ~x111 ~x793 ~x180 ~x218 x395 ~x50 ~x141 1133.70/1136.82 v ~x82 ~x726 ~x237 ~x146 ~x306 ~x345 x523 x176 ~x145 ~x208 1133.70/1136.82 v ~x735 x363 ~x272 ~x561 ~x737 ~x18 x557 ~x162 x334 ~x736 1133.70/1136.82 v ~x489 ~x273 ~x307 x871 x144 x429 ~x168 ~x460 ~x752 ~x621 1133.70/1136.82 v ~x399 ~x696 ~x346 x524 ~x52 ~x200 ~x591 ~x759 x755 ~x661 1133.70/1136.82 v ~x830 ~x472 ~x19 x178 ~x204 ~x83 ~x764 ~x889 ~x795 ~x182 1133.70/1136.82 v ~x738 x397 x559 ~x210 x335 ~x769 x757 ~x148 ~x697 x872 1133.70/1136.82 v x525 ~x53 ~x211 ~x592 ~x770 ~x891 ~x400 ~x831 ~x347 x20 1133.70/1136.82 v x179 ~x222 ~x84 ~x774 ~x114 x662 ~x183 ~x473 ~x526 x560 1133.70/1136.82 v ~x224 ~x336 x776 x366 ~x796 ~x435 ~x348 x660 x432 ~x231 1133.70/1136.82 v x462 x783 x624 ~x149 ~x184 ~x740 ~x21 x695 ~x233 ~x593 1133.70/1136.82 v x784 x241 ~x401 ~x310 x874 x147 ~x829 ~x238 x727 ~x785 1133.70/1136.82 v x116 ~x276 ~x699 ~x349 x527 ~x55 ~x240 x728 x786 ~x242 1133.70/1136.82 v ~x664 ~x833 ~x741 ~x22 ~x181 ~x245 ~x862 x788 ~x494 ~x798 1133.70/1136.82 v ~x185 x875 x274 x433 ~x249 x86 ~x794 ~x626 ~x277 ~x311 1133.70/1136.82 v ~x351 ~x528 x562 ~x250 ~x212 ~x797 x760 ~x403 ~x701 ~x477 1133.70/1136.82 v x23 ~x56 ~x251 ~x595 x805 ~x117 ~x665 ~x835 ~x743 ~x529 1133.70/1136.82 v x434 ~x252 ~x729 ~x808 x243 ~x799 ~x312
OK 2642
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63008 MiB free)
memory of node 1: 64465 MiB (63480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528370-1752237840/watcher-4528370-1752237840 -o /tmp/evaluation-result-4528370-1752237840/solver-4528370-1752237840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114858 --watchdog 3760 pb_picat HOME/instance-4528370-1752237840.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=114906, runsolver pid=114897
[startup+0.100073 s]*
/proc/loadavg: 2.06 2.29 3.29 6/251 114915
/proc/meminfo: memFree=129496472/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2036924 memory=23880 CPUtime=0.09 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 1420 0 0 0 8 1 0 0 20 0 1 0 139462697 2085810176 5970 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 509231 5970 1728 343 0 506295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2036924 KiB
Current children cumulated memory: 23880 KiB
[startup+0.212973 s]*
/proc/loadavg: 2.06 2.29 3.29 6/251 114915
/proc/meminfo: memFree=129488284/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2043032 memory=28568 CPUtime=0.2 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 2776 0 0 0 18 2 0 0 20 0 1 0 139462697 2092064768 7142 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 510758 7142 1760 343 0 507822 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2043032 KiB
Current children cumulated memory: 28568 KiB
[startup+0.312962 s]*
/proc/loadavg: 2.06 2.29 3.29 6/251 114915
/proc/meminfo: memFree=129484364/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2045368 memory=29020 CPUtime=0.3 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 3570 0 0 0 28 2 0 0 20 0 1 0 139462697 2094456832 7255 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 511342 7255 1760 343 0 508406 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2045368 KiB
Current children cumulated memory: 29020 KiB
[startup+0.700274 s]
/proc/loadavg: 2.06 2.29 3.29 6/251 114915
/proc/meminfo: memFree=129471572/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2045368 memory=30108 CPUtime=0.67 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 4990 0 0 0 65 2 0 0 20 0 1 0 139462697 2094456832 7527 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 511342 7527 1760 343 0 508406 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2045368 KiB
Current children cumulated memory: 30108 KiB
[startup+1.50028 s]
/proc/loadavg: 2.06 2.29 3.29 6/251 114915
/proc/meminfo: memFree=129413792/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2046852 memory=33280 CPUtime=1.47 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 8522 0 0 0 144 3 0 0 20 0 1 0 139462697 2095976448 8320 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 511713 8320 1760 343 0 508777 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2046852 KiB
Current children cumulated memory: 33280 KiB
[startup+3.11291 s]
/proc/loadavg: 2.22 2.31 3.30 4/247 114923
/proc/meminfo: memFree=129366096/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2051972 memory=37848 CPUtime=3.06 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 9177 0 0 0 298 8 0 0 20 0 1 0 139462697 2101219328 9462 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 512993 9462 1760 343 0 510057 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2051972 KiB
Current children cumulated memory: 37848 KiB
[startup+6.30029 s]
/proc/loadavg: 2.22 2.31 3.30 5/251 114960
/proc/meminfo: memFree=129321088/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2051716 memory=38100 CPUtime=6.23 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 10523 0 0 0 614 9 0 0 20 0 1 0 139462697 2100957184 9525 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 512929 9525 1760 343 0 509993 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2051716 KiB
Current children cumulated memory: 38100 KiB
[startup+12.7002 s]
/proc/loadavg: 2.49 2.37 3.31 5/251 114960
/proc/meminfo: memFree=129328100/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2051716 memory=38356 CPUtime=12.61 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 10610 0 0 0 1252 9 0 0 20 0 1 0 139462697 2100957184 9589 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 512929 9589 1760 343 0 509993 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 2051716 KiB
Current children cumulated memory: 38356 KiB
[startup+25.5003 s]
/proc/loadavg: 2.72 2.43 3.31 5/251 114961
/proc/meminfo: memFree=129314036/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2055816 memory=43316 CPUtime=25.37 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 15369 0 0 0 2527 10 0 0 20 0 1 0 139462697 2105155584 10829 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 513954 10829 1760 343 0 511018 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 2055816 KiB
Current children cumulated memory: 43316 KiB
[startup+51.1132 s]
/proc/loadavg: 3.23 2.57 3.34 5/251 114961
/proc/meminfo: memFree=129298256/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2047372 memory=36996 CPUtime=50.91 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 37399 0 0 0 5075 16 0 0 20 0 1 0 139462697 2096508928 9249 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 511843 9249 1760 343 0 508907 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2047372 KiB
Current children cumulated memory: 36996 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 2.79 3.38 5/251 114963
/proc/meminfo: memFree=129274708/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2056072 memory=48436 CPUtime=101.97 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 81993 0 0 0 10171 26 0 0 20 0 1 0 139462697 2105417728 12109 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 514018 12109 1760 343 0 511082 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2056072 KiB
Current children cumulated memory: 48436 KiB
[startup+162.3 s]
/proc/loadavg: 4.66 3.20 3.48 5/251 114965
/proc/meminfo: memFree=129286612/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2053516 memory=44496 CPUtime=161.81 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 136679 0 0 0 16144 37 0 0 20 0 1 0 139462697 2102800384 11124 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 513379 11124 1760 343 0 510443 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2053516 KiB
Current children cumulated memory: 44496 KiB
[startup+222.3 s]
/proc/loadavg: 5.43 3.71 3.64 5/251 114967
/proc/meminfo: memFree=129288236/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2056072 memory=48436 CPUtime=221.64 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 191158 0 0 0 22115 49 0 0 20 0 1 0 139462697 2105417728 12109 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 514018 12109 1760 343 0 511082 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2056072 KiB
Current children cumulated memory: 48436 KiB
[startup+282.3 s]
/proc/loadavg: 4.72 3.84 3.69 5/250 114969
/proc/meminfo: memFree=129268624/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2051468 memory=43216 CPUtime=281.48 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 244720 0 0 0 28086 62 0 0 20 0 1 0 139462697 2100703232 10804 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 512867 10804 1760 343 0 509931 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2051468 KiB
Current children cumulated memory: 43216 KiB
[startup+342.3 s]
/proc/loadavg: 4.39 3.90 3.73 5/250 114971
/proc/meminfo: memFree=129239524/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2060168 memory=49204 CPUtime=341.31 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 304638 0 0 0 34057 74 0 0 20 0 1 0 139462697 2109612032 12301 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 515042 12301 1760 343 0 512106 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2060168 KiB
Current children cumulated memory: 49204 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 3.94 3.75 5/250 114973
/proc/meminfo: memFree=129252560/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2057612 memory=47724 CPUtime=401.14 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 369783 0 0 0 40024 90 0 0 20 0 1 0 139462697 2106994688 11931 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 514403 11931 1760 343 0 511467 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2057612 KiB
Current children cumulated memory: 47724 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.97 3.77 5/249 114975
/proc/meminfo: memFree=129243552/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2051972 memory=43476 CPUtime=460.98 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 412696 0 0 0 45997 101 0 0 20 0 1 0 139462697 2101219328 10869 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 512993 10869 1760 343 0 510057 0
################
# More data... #
################
/proc/loadavg: 4.08 4.03 3.84 5/250 114988
/proc/meminfo: memFree=129249252/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2072456 memory=63452 CPUtime=640.51 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 416447 0 0 0 63948 103 0 0 20 0 1 0 139462697 2122194944 15863 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 518114 15863 1760 343 0 515178 0
Current children cumulated CPU time: 640.51 s
Current children cumulated vsize: 2072456 KiB
Current children cumulated memory: 63452 KiB
[startup+702.3 s]
/proc/loadavg: 4.13 4.05 3.86 5/250 114990
/proc/meminfo: memFree=129230728/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2072456 memory=63452 CPUtime=700.35 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 416447 0 0 0 69932 103 0 0 20 0 1 0 139462697 2122194944 15863 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 518114 15863 1760 343 0 515178 0
Current children cumulated CPU time: 700.35 s
Current children cumulated vsize: 2072456 KiB
Current children cumulated memory: 63452 KiB
[startup+762.3 s]
/proc/loadavg: 4.10 4.06 3.88 5/250 114992
/proc/meminfo: memFree=129203716/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2072456 memory=63580 CPUtime=760.2 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 418333 0 0 0 75916 104 0 0 20 0 1 0 139462697 2122194944 15895 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 518114 15895 1760 343 0 515178 0
Current children cumulated CPU time: 760.2 s
Current children cumulated vsize: 2072456 KiB
Current children cumulated memory: 63580 KiB
[startup+822.3 s]
/proc/loadavg: 4.14 4.07 3.90 5/251 114995
/proc/meminfo: memFree=129197544/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2072456 memory=64732 CPUtime=820.04 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 418621 0 0 0 81900 104 0 0 20 0 1 0 139462697 2122194944 16183 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 518114 16183 1760 343 0 515178 0
Current children cumulated CPU time: 820.04 s
Current children cumulated vsize: 2072456 KiB
Current children cumulated memory: 64732 KiB
[startup+882.3 s]
/proc/loadavg: 4.11 4.07 3.92 5/251 114997
/proc/meminfo: memFree=129216888/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2057612 memory=42860 CPUtime=879.89 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 440753 0 0 0 87880 109 0 0 20 0 1 0 139462697 2106994688 10715 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 514403 10715 1760 343 0 511467 0
Current children cumulated CPU time: 879.89 s
Current children cumulated vsize: 2057612 KiB
Current children cumulated memory: 42860 KiB
[startup+942.3 s]
/proc/loadavg: 4.08 4.07 3.93 5/251 114998
/proc/meminfo: memFree=129198612/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2056256 memory=44652 CPUtime=939.72 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 472684 0 0 0 93853 119 0 0 20 0 1 0 139462697 2105606144 11163 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 514064 11163 1760 343 0 511128 0
Current children cumulated CPU time: 939.72 s
Current children cumulated vsize: 2056256 KiB
Current children cumulated memory: 44652 KiB
[startup+1002.3 s]
/proc/loadavg: 4.13 4.09 3.94 5/251 115000
/proc/meminfo: memFree=129210496/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2064448 memory=50692 CPUtime=999.56 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 496100 0 0 0 99830 126 0 0 20 0 1 0 139462697 2113994752 12673 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 516112 12673 1760 343 0 513176 0
Current children cumulated CPU time: 999.56 s
Current children cumulated vsize: 2064448 KiB
Current children cumulated memory: 50692 KiB
[startup+1062.3 s]
/proc/loadavg: 4.09 4.08 3.95 5/251 115013
/proc/meminfo: memFree=129207264/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2068544 memory=56480 CPUtime=1059.4 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 516382 0 0 0 105806 134 0 0 20 0 1 0 139462697 2118189056 14120 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 517136 14120 1760 343 0 514200 0
Current children cumulated CPU time: 1059.4 s
Current children cumulated vsize: 2068544 KiB
Current children cumulated memory: 56480 KiB
[startup+1122.3 s]
/proc/loadavg: 4.15 4.10 3.97 5/251 115015
/proc/meminfo: memFree=129205076/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2060352 memory=49252 CPUtime=1119.23 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 533321 0 0 0 111785 138 0 0 20 0 1 0 139462697 2109800448 12313 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 515088 12313 1760 343 0 512152 0
Current children cumulated CPU time: 1119.23 s
Current children cumulated vsize: 2060352 KiB
Current children cumulated memory: 49252 KiB
[startup+1136.83 s]
# the end of solver process 114906 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1132.32 s, system=1.41248 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 4.14 4.10 3.97 5/251 115015
/proc/meminfo: memFree=129178752/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2056256 memory=47364 CPUtime=1123.32 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 535599 0 0 0 112193 139 0 0 20 0 1 0 139462697 2105606144 11841 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 514064 11841 1760 343 0 511128 0
Current children cumulated CPU time: 1123.32 s
Current children cumulated vsize: 2056256 KiB
Current children cumulated memory: 47364 KiB
[startup+1132.8 s]
/proc/loadavg: 4.13 4.10 3.97 5/250 115016
/proc/meminfo: memFree=129171916/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2051972 memory=43604 CPUtime=1129.71 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 539906 0 0 0 112831 140 0 0 20 0 1 0 139462697 2101219328 10901 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 512993 10901 1760 343 0 510057 0
Current children cumulated CPU time: 1129.71 s
Current children cumulated vsize: 2051972 KiB
Current children cumulated memory: 43604 KiB
[startup+1134.4 s]
/proc/loadavg: 4.12 4.09 3.97 5/250 115016
/proc/meminfo: memFree=129157596/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2051972 memory=43604 CPUtime=1131.3 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 539906 0 0 0 112990 140 0 0 20 0 1 0 139462697 2101219328 10901 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 512993 10901 1760 343 0 510057 0
Current children cumulated CPU time: 1131.3 s
Current children cumulated vsize: 2051972 KiB
Current children cumulated memory: 43604 KiB
[startup+1136 s]*
/proc/loadavg: 4.12 4.09 3.97 5/250 115016
/proc/meminfo: memFree=129196508/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2051972 memory=44116 CPUtime=1132.91 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 540028 0 0 0 113151 140 0 0 20 0 1 0 139462697 2101219328 11029 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 512993 11029 1760 343 0 510057 0
Current children cumulated CPU time: 1132.91 s
Current children cumulated vsize: 2051972 KiB
Current children cumulated memory: 44116 KiB
[startup+1136.4 s]
/proc/loadavg: 4.12 4.09 3.97 5/250 115016
/proc/meminfo: memFree=129196508/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2060164 memory=46344 CPUtime=1133.31 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 540068 0 0 0 113190 141 0 0 20 0 1 0 139462697 2109607936 11586 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 515041 11586 1760 343 0 512105 0
Current children cumulated CPU time: 1133.31 s
Current children cumulated vsize: 2060164 KiB
Current children cumulated memory: 46344 KiB
[startup+1136.8 s]
/proc/loadavg: 4.12 4.09 3.97 5/250 115016
/proc/meminfo: memFree=129196508/131382120 swapFree=33010416/33010684
[pid=114906] ppid=114897 vsize=2060164 memory=46472 CPUtime=1133.7 cores=1,3
/proc/114906/stat : 114906 (pb_picat) R 114897 114906 113044 0 -1 4194304 540099 0 0 0 113229 141 0 0 20 0 1 0 139462697 2109607936 11618 18446744073709551615 94331896467456 94331897869037 140731456274176 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94331898140464 94331900014704 94331911262208 140731456280988 140731456281064 140731456281064 140731456286668 0
/proc/114906/statm: 515041 11618 1760 343 0 512105 0
Current children cumulated CPU time: 1133.7 s
Current children cumulated vsize: 2060164 KiB
Current children cumulated memory: 46472 KiB
Child status: 0
Real time (s): 1136.83
CPU time (s): 1133.74
CPU user time (s): 1132.32
CPU system time (s): 1.41248
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 2080648
Max. memory (cumulated for all children) (KiB): 66780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1132.32
system time used= 1.41248
maximum resident set size= 74308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540103
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= 97
involuntary context switches= 1164
# summary of solver processes directly reported to runsolver:
# pid: 114906
# total CPU time (s): 1133.74
# total CPU user time (s): 1132.32
# total CPU system time (s): 1.41248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59354 second user time and 10.5118 second system time
The end
Begin job on nodeC003 at 2025-07-11 14:44:00 IDJOB=4528370 IDBENCH=146650 IDSOLVER=3385 FILE ID=nodeC003/4528370-1752237840 RUNJOBID= nodeC003-1752237840-114858 SLURM_JOB_ID= 9682514 Free space on /tmp= 432032 MiB SOLVER NAME= pb_picat 2025-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb COMMAND LINE= pb_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528370-1752237840/watcher-4528370-1752237840 -o /tmp/evaluation-result-4528370-1752237840/solver-4528370-1752237840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114858 --watchdog 3760 pb_picat HOME/instance-4528370-1752237840.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=1429338271 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.167 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.161 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.254 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.598 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.697 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1171.944 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.152 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.161 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129525216 kB MemAvailable: 129842896 kB Buffers: 2736 kB Cached: 1110976 kB SwapCached: 36 kB Active: 568048 kB Inactive: 615072 kB Active(anon): 79776 kB Inactive(anon): 7604 kB Active(file): 488272 kB Inactive(file): 607468 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 11380 kB Writeback: 0 kB AnonPages: 72528 kB Mapped: 105720 kB Shmem: 17924 kB KReclaimable: 123132 kB Slab: 211524 kB SReclaimable: 123132 kB SUnreclaim: 88392 kB KernelStack: 3888 kB PageTables: 2928 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 333900 kB VmallocTotal: 34359738367 kB VmallocUsed: 149272 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432016 MiB End job on nodeC003 at 2025-07-11 15:02:57