Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Picat 2024-06-18 | OPT | 2642 | 2006.64 | 2012.07 |
| 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.026526 |
| 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.00 c solving HOME/instance-4436336-1721056013.opb (Picat 3.6#12) 0.20/0.27 o 9717 0.69/0.78 o 9710 1.68/1.72 o 6401 2.48/2.59 o 3985 98.34/98.62 o 3470 99.15/99.42 o 3073 100.54/100.88 o 2778 102.34/102.63 o 2663 1987.83/1993.22 o 2656 1989.82/1995.23 o 2650 1991.81/1997.25 o 2647 1994.11/1999.52 o 2645 1996.60/2002.00 o 2644 1999.79/2005.25 o 2643 2006.57/2012.06 o 2642 2006.57/2012.06 s OPTIMUM FOUND 2006.57/2012.06 v x227 ~x131 ~x170 ~x718 ~x500 ~x506 x165 ~x578 ~x475 x745 2006.57/2012.06 v x643 ~x684 ~x852 ~x768 x641 x545 ~x712 ~x483 ~x879 ~x777 2006.57/2012.06 v ~x818 ~x328 x902 ~x775 x40 x846 ~x490 x228 ~x644 ~x297 2006.57/2012.06 v ~x454 ~x376 ~x5 ~x546 ~x70 ~x497 x746 ~x778 ~x423 ~x719 2006.57/2012.06 v ~x502 x257 ~x680 ~x196 x504 ~x880 ~x385 ~x685 ~x853 ~x126 2006.57/2012.06 v ~x509 x814 x448 ~x512 ~x103 ~x645 ~x819 ~x329 ~x638 ~x6 2006.57/2012.06 v ~x41 ~x579 ~x515 ~x229 x779 ~x686 ~x455 ~x253 ~x132 x167 2006.57/2012.06 v ~x71 ~x516 ~x355 x646 ~x820 ~x720 ~x379 x258 x547 x197 2006.57/2012.06 v ~x520 x481 ~x780 ~x298 ~x854 ~x505 ~x384 ~x42 x580 ~x539 2006.57/2012.06 v x613 ~x260 ~x424 ~x722 ~x907 x510 x420 x72 ~x542 ~x104 2006.57/2012.06 v x647 ~x821 ~x856 x1 ~x7 ~x548 ~x581 x587 ~x230 ~x781 2006.57/2012.06 v ~x300 ~x206 ~x133 x43 x715 ~x594 x356 ~x261 ~x689 ~x332 2006.57/2012.06 v x259 ~x169 ~x73 ~x602 ~x482 ~x387 x823 ~x857 ~x511 ~x549 2006.57/2012.06 v x199 ~x606 x614 ~x648 ~x301 ~x207 x8 ~x44 x582 ~x608 2006.57/2012.06 v x105 x782 ~x690 ~x725 ~x134 x422 x74 ~x611 ~x615 ~x262 2006.57/2012.06 v ~x824 x859 ~x513 x550 ~x583 ~x612 x749 ~x388 ~x302 ~x209 2006.57/2012.06 v x9 ~x45 ~x75 ~x622 ~x106 ~x137 ~x428 ~x461 ~x135 x171 2006.57/2012.06 v x201 ~x623 ~x232 ~x390 ~x691 ~x338 ~x514 x551 ~x10 x584 2006.57/2012.06 v ~x630 ~x358 ~x265 ~x825 ~x464 x389 x552 ~x11 ~x76 ~x640 2006.57/2012.06 v x484 ~x391 ~x51 ~x339 ~x517 ~x46 ~x14 x202 ~x649 x616 2006.57/2012.06 v ~x653 ~x177 ~x730 x12 x172 ~x36 x585 ~x650 x107 x787 2006.57/2012.06 v ~x303 ~x864 ~x138 ~x553 ~x78 ~x77 ~x651 ~x617 ~x655 ~x558 2006.57/2012.06 v ~x340 ~x518 x687 ~x81 x203 x652 x108 ~x789 ~x692 ~x466 2006.57/2012.06 v x13 ~x47 ~x85 x586 x654 ~x234 ~x656 x826 ~x341 ~x139 2006.57/2012.06 v x173 ~x92 ~x79 x671 ~x486 x790 ~x304 ~x467 ~x519 ~x554 2006.57/2012.06 v ~x96 ~x205 x674 ~x618 ~x143 ~x430 ~x732 ~x15 ~x48 ~x98 2006.57/2012.06 v x331 x677 ~x109 ~x657 ~x693 x866 x393 ~x174 ~x101 ~x457 2006.57/2012.06 v x682 x235 ~x791 ~x827 ~x216 x521 x426 ~x102 x588 x688 2006.57/2012.06 v x619 ~x270 ~x305 ~x342 ~x16 ~x555 ~x112 ~x80 x700 x110 2006.57/2012.06 v x658 ~x431 ~x867 ~x142 ~x49 ~x113 x458 x709 ~x236 ~x792 2006.57/2012.06 v ~x694 ~x343 x268 x175 ~x130 ~x589 x713 ~x620 ~x271 ~x828 2006.57/2012.06 v ~x734 ~x522 ~x427 x136 x723 ~x721 x754 ~x659 ~x54 x868 2006.57/2012.06 v ~x17 x556 ~x140 ~x590 x724 ~x111 x793 ~x180 ~x218 x395 2006.57/2012.06 v ~x50 ~x141 ~x82 x726 ~x237 ~x146 ~x306 ~x345 x523 x176 2006.57/2012.06 v ~x145 ~x208 x735 ~x363 ~x272 ~x561 ~x737 x18 x557 ~x162 2006.57/2012.06 v ~x334 x736 x489 ~x273 ~x307 ~x871 ~x144 x429 ~x168 x460 2006.57/2012.06 v ~x752 ~x621 ~x399 ~x696 ~x346 ~x524 ~x52 ~x200 ~x591 ~x759 2006.57/2012.06 v x755 ~x661 ~x830 ~x472 ~x19 x178 ~x204 ~x83 x764 ~x889 2006.57/2012.06 v x795 ~x182 ~x738 x397 x559 ~x210 x335 x769 ~x757 ~x148 2006.57/2012.06 v ~x697 ~x872 ~x525 ~x53 ~x211 ~x592 ~x770 x891 ~x400 ~x831 2006.57/2012.06 v ~x347 x20 x179 ~x222 ~x84 x774 ~x114 ~x662 ~x183 ~x473 2006.57/2012.06 v ~x526 x560 ~x224 ~x336 x776 x366 ~x796 ~x435 ~x348 x660 2006.57/2012.06 v x432 ~x231 x462 x783 x624 ~x149 ~x184 ~x740 x21 x695 2006.57/2012.06 v ~x233 ~x593 x784 x241 ~x401 ~x310 x874 ~x147 ~x829 ~x238 2006.57/2012.06 v x727 x785 x116 ~x276 ~x699 ~x349 ~x527 ~x55 ~x240 ~x728 2006.57/2012.06 v ~x786 ~x242 ~x664 ~x833 ~x741 ~x22 x181 ~x245 x862 ~x788 2006.57/2012.06 v ~x494 x798 ~x185 ~x875 x274 ~x433 ~x249 x86 ~x794 ~x626 2006.57/2012.06 v ~x277 ~x311 ~x351 x528 x562 ~x250 ~x212 ~x797 x760 ~x403 2006.57/2012.06 v ~x701 ~x477 x23 ~x56 ~x251 ~x595 ~x805 ~x117 ~x665 ~x835 2006.57/2012.06 v ~x743 ~x529 x434 ~x252 ~x729 ~x808 x243 x799 ~x312 ~x877 2006.57/2012.06 v x663 x563 ~x254 x863 ~x811 x627 ~x278 ~x438 ~x226 ~x24 2006.57/2012.06 v ~x57 ~x255 ~x87 ~x816 ~x628 ~x666 ~x702 ~x353 x150 x309 2006.57/2012.06 v x256 ~x213 ~x822 ~x762 ~x800 ~x836 ~x479 ~x530 ~x564 ~x263 2006.57/2012.06 v x465 ~x834 x896 ~x279 ~x703 ~x354 ~x25 ~x698 ~x264 x596 2006.57/2012.06 v ~x843 ~x118 ~x405 ~x837 ~x480 x151 x832 x266 x88 ~x849 2006.57/2012.06 v x496 ~x667 ~x187 ~x747 ~x531 ~x58 ~x267 ~x214 ~x855 x629 2006.57/2012.06 v x801 ~x313 ~x881 ~x26 x436 ~x269 ~x597 ~x858 ~x119 ~x280 2006.57/2012.06 v ~x439 ~x748 ~x152 x565 ~x275 x731 ~x860 x371 ~x406 ~x314 2006.57/2012.06 v ~x882 x404 ~x59 ~x283 ~x865 ~x861 ~x631 ~x668 ~x440 ~x750 2006.57/2012.06 v x532 x437 ~x285 x89 ~x869 ~x765 x802 ~x705 ~x884 ~x27 2006.57/2012.06 v ~x566 ~x289 ~x215 ~x870 x899 ~x155 ~x839 ~x485 x153 x567 2006.57/2012.06 v ~x294 ~x598 ~x876 x120 ~x281 ~x189 x751 ~x533 ~x60 ~x296 2006.57/2012.06 v x90 ~x883 ~x632 ~x669 ~x316 ~x885 x28 x186 ~x299 ~x468 2006.57/2012.06 v x886 x766 ~x803 ~x707 ~x360 ~x154 x568 ~x308 ~x599 x893 2006.57/2012.06 v ~x900 ~x156 ~x841 ~x361 ~x534 x569 ~x330 x733 ~x898 x121 2006.57/2012.06 v ~x282 ~x191 ~x487 ~x29 x61 x333 ~x91 ~x903 ~x247 ~x670 2006.57/2012.06 v ~x443 ~x753 x407 ~x570 x337 ~x217 ~x633 ~x804 ~x708 ~x887 2006.57/2012.06 v x535 ~x704 x344 x469 ~x767 ~x284 ~x842 ~x362 ~x30 x838 2006.57/2012.06 v ~x357 ~x600 x901 ~x410 ~x192 ~x488 x408 ~x62 ~x359 ~x601 2006.57/2012.06 v ~x122 ~x672 ~x444 ~x888 x536 x188 x364 ~x93 x374 ~x806 2006.57/2012.06 v ~x193 ~x756 x31 x571 x365 x219 ~x634 ~x412 ~x445 x890 2006.57/2012.06 v ~x157 ~x63 ~x372 x603 ~x123 ~x287 ~x710 ~x239 ~x537 x315 2006.57/2012.06 v ~x378 ~x94 ~x375 ~x413 ~x844 ~x491 ~x32 ~x441 ~x380 x220 2006.57/2012.06 v x501 ~x675 ~x320 ~x492 x158 ~x572 x381 x604 ~x635 ~x809 2006.57/2012.06 v ~x446 ~x758 x538 ~x706 ~x382 x95 x124 x676 ~x845 ~x892 2006.57/2012.06 v x33 x840 ~x383 ~x221 ~x636 ~x810 ~x447 ~x115 ~x159 ~x64 2006.57/2012.06 v ~x386 ~x605 x904 ~x290 ~x322 ~x367 ~x673 x190 ~x392 ~x739 2006.57/2012.06 v x125 ~x416 ~x847 ~x493 x807 x573 ~x394 x873 ~x377 ~x678 2006.57/2012.06 v ~x323 ~x625 ~x34 ~x65 ~x396 ~x97 ~x503 ~x812 ~x449 ~x368 2006.57/2012.06 v ~x160 x317 ~x398 x223 ~x637 ~x291 ~x714 ~x894 x286 x574 2006.57/2012.06 v ~x402 x607 ~x771 ~x417 ~x848 ~x369 ~x540 ~x66 ~x409 x350 2006.57/2012.06 v x905 ~x679 ~x198 ~x495 ~x35 x318 ~x411 ~x476 ~x772 ~x813 2006.57/2012.06 v ~x324 ~x761 x161 ~x575 ~x415 x742 x906 ~x166 ~x450 ~x895 2006.57/2012.06 v x541 ~x67 ~x419 ~x99 x127 ~x292 ~x325 ~x244 ~x288 x319 2006.57/2012.06 v ~x425 x225 ~x639 ~x418 ~x451 ~x370 x414 x576 ~x442 x609 2006.57/2012.06 v x773 ~x293 ~x716 ~x763 x37 x68 ~x452 ~x100 ~x3 ~x681 2006.57/2012.06 v ~x850 ~x897 ~x163 ~x194 x456 ~x352 ~x129 ~x815 ~x326 ~x246 2006.57/2012.06 v ~x543 ~x577 ~x459 x478 ~x507 ~x295 x717 ~x498 ~x38 x711 2006.57/2012.06 v ~x463 ~x610 ~x4 ~x421 ~x851 ~x373 x164 ~x69 ~x470 ~x744 2006.57/2012.06 v ~x508 ~x683 ~x327 ~x499 x2 x544 ~x195 ~x471 x878 ~x642 2006.57/2012.06 v x817 ~x453 ~x248 ~x128 ~x39 x321 x474
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: 63968 MiB (63077 MiB free)
memory of node 1: 64473 MiB (63520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436336-1721056013/watcher-4436336-1721056013 -o /tmp/evaluation-result-4436336-1721056013/solver-4436336-1721056013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721056025-806831 --watchdog 3760 pb_picat HOME/instance-4436336-1721056013.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=806885, runsolver pid=806874
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.09 1.63 2.44 8/257 806893
/proc/meminfo: memFree=129519920/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2051832 memory=30748 CPUtime=0.1 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 3316 0 0 0 10 0 0 0 20 0 1 0 157767958 2101075968 7687 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 512958 7687 1800 439 0 508387 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2051832 KiB
Current children cumulated memory: 30748 KiB
[startup+0.206111 s]*
/proc/loadavg: 1.09 1.63 2.44 9/257 806893
/proc/meminfo: memFree=129470236/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2051832 memory=30864 CPUtime=0.2 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 4591 0 0 0 20 0 0 0 20 0 1 0 157767958 2101075968 7716 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 512958 7716 1800 439 0 508387 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2051832 KiB
Current children cumulated memory: 30864 KiB
[startup+0.306153 s]*
/proc/loadavg: 1.09 1.63 2.44 7/257 806893
/proc/meminfo: memFree=129444588/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2049184 memory=31680 CPUtime=0.3 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 6546 0 0 0 30 0 0 0 20 0 1 0 157767958 2098364416 7920 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 512296 7920 1800 439 0 507725 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2049184 KiB
Current children cumulated memory: 31680 KiB
[startup+0.700239 s]
/proc/loadavg: 1.09 1.63 2.44 7/257 806893
/proc/meminfo: memFree=129402208/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2053280 memory=34776 CPUtime=0.69 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 6813 0 0 0 68 1 0 0 20 0 1 0 157767958 2102558720 8694 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 513320 8694 1800 439 0 508749 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2053280 KiB
Current children cumulated memory: 34776 KiB
[startup+1.50023 s]
/proc/loadavg: 1.32 1.67 2.45 7/257 806893
/proc/meminfo: memFree=129341684/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2056816 memory=37692 CPUtime=1.49 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 8733 0 0 0 148 1 0 0 20 0 1 0 157767958 2106179584 9423 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514204 9423 1800 439 0 509633 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2056816 KiB
Current children cumulated memory: 37692 KiB
[startup+3.10612 s]
/proc/loadavg: 1.32 1.67 2.45 7/257 806893
/proc/meminfo: memFree=129306124/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2056816 memory=37960 CPUtime=3.09 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 12570 0 0 0 307 2 0 0 20 0 1 0 157767958 2106179584 9490 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514204 9490 1800 439 0 509633 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2056816 KiB
Current children cumulated memory: 37960 KiB
[startup+6.30021 s]
/proc/loadavg: 1.54 1.71 2.46 7/257 806893
/proc/meminfo: memFree=129306056/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2056816 memory=38692 CPUtime=6.27 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 12726 0 0 0 625 2 0 0 20 0 1 0 157767958 2106179584 9673 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514204 9673 1800 439 0 509633 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2056816 KiB
Current children cumulated memory: 38692 KiB
[startup+12.7002 s]
/proc/loadavg: 1.74 1.75 2.47 7/257 806895
/proc/meminfo: memFree=129285856/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2060916 memory=42268 CPUtime=12.65 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 16824 0 0 0 1262 3 0 0 20 0 1 0 157767958 2110377984 10567 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 515229 10567 1800 439 0 510658 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2060916 KiB
Current children cumulated memory: 42268 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.84 2.49 7/257 806897
/proc/meminfo: memFree=129286344/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2060916 memory=43340 CPUtime=25.43 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 33957 0 0 0 2536 7 0 0 20 0 1 0 157767958 2110377984 10835 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 515229 10835 1800 439 0 510658 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2060916 KiB
Current children cumulated memory: 43340 KiB
[startup+51.106 s]
/proc/loadavg: 2.88 2.05 2.54 7/257 806902
/proc/meminfo: memFree=129254232/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2060916 memory=41712 CPUtime=50.97 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 64648 0 0 0 5082 15 0 0 20 0 1 0 157767958 2110377984 10428 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 515229 10428 1800 439 0 510658 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2060916 KiB
Current children cumulated memory: 41712 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 2.42 2.65 6/257 806955
/proc/meminfo: memFree=129193936/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2057112 memory=39192 CPUtime=102.04 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 108196 0 0 0 10179 25 0 0 20 0 1 0 157767958 2106482688 9798 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514278 9798 1800 439 0 509707 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2057112 KiB
Current children cumulated memory: 39192 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.73 2.74 6/257 806965
/proc/meminfo: memFree=129219468/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2057908 memory=42972 CPUtime=161.89 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 170098 0 0 0 16153 36 0 0 20 0 1 0 157767958 2107297792 10743 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514477 10743 1800 439 0 509906 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2057908 KiB
Current children cumulated memory: 42972 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.98 2.83 5/259 806980
/proc/meminfo: memFree=129224104/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2053812 memory=42824 CPUtime=221.75 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 216020 0 0 0 22129 46 0 0 20 0 1 0 157767958 2103103488 10706 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 513453 10706 1800 439 0 508882 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 2053812 KiB
Current children cumulated memory: 42824 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.20 2.91 7/259 806990
/proc/meminfo: memFree=129201100/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2059960 memory=48504 CPUtime=281.6 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 267938 0 0 0 28102 58 0 0 20 0 1 0 157767958 2109399040 12126 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514990 12126 1800 439 0 510419 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 2059960 KiB
Current children cumulated memory: 48504 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 3.34 2.98 6/256 807000
/proc/meminfo: memFree=129203684/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2059960 memory=47764 CPUtime=341.46 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 322627 0 0 0 34075 71 0 0 20 0 1 0 157767958 2109399040 11941 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514990 11941 1800 439 0 510419 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 2059960 KiB
Current children cumulated memory: 47764 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.50 3.06 6/256 807011
/proc/meminfo: memFree=129135204/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2064244 memory=48644 CPUtime=401.32 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 382376 0 0 0 40046 86 0 0 20 0 1 0 157767958 2113785856 12161 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 516061 12161 1800 439 0 511490 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 2064244 KiB
Current children cumulated memory: 48644 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.61 3.13 6/256 807022
/proc/meminfo: memFree=129155928/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2073180 memory=50888 CPUtime=461.18 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 437734 0 0 0 46016 102 0 0 20 0 1 0 157767958 2122936320 12722 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 518295 12722 1800 439 0 513724 0
################
# More data... #
################
/proc/loadavg: 4.09 4.14 3.91 6/258 807837
/proc/meminfo: memFree=129053056/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2098456 memory=75396 CPUtime=1598.16 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 923088 0 0 0 159564 252 0 0 20 0 1 0 157767958 2148818944 18849 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 524614 18849 1800 439 0 520043 0
Current children cumulated CPU time: 1598.16 s
Current children cumulated vsize: 2098456 KiB
Current children cumulated memory: 75396 KiB
[startup+1662.3 s]
/proc/loadavg: 4.19 4.16 3.93 5/257 807848
/proc/meminfo: memFree=129059184/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2082072 memory=64976 CPUtime=1657.96 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 946863 0 0 0 165535 261 0 0 20 0 1 0 157767958 2132041728 16244 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 520518 16244 1800 439 0 515947 0
Current children cumulated CPU time: 1657.96 s
Current children cumulated vsize: 2082072 KiB
Current children cumulated memory: 64976 KiB
[startup+1722.3 s]
/proc/loadavg: 4.12 4.14 3.94 6/254 807858
/proc/meminfo: memFree=128973952/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2098456 memory=71296 CPUtime=1717.77 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 969124 0 0 0 171509 268 0 0 20 0 1 0 157767958 2148818944 17824 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 524614 17824 1800 439 0 520043 0
Current children cumulated CPU time: 1717.77 s
Current children cumulated vsize: 2098456 KiB
Current children cumulated memory: 71296 KiB
[startup+1782.3 s]
/proc/loadavg: 4.16 4.15 3.96 6/255 807869
/proc/meminfo: memFree=129078208/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2083912 memory=63840 CPUtime=1777.58 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 992989 0 0 0 177482 276 0 0 20 0 1 0 157767958 2133925888 15960 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 520978 15960 1800 439 0 516407 0
Current children cumulated CPU time: 1777.58 s
Current children cumulated vsize: 2083912 KiB
Current children cumulated memory: 63840 KiB
[startup+1842.3 s]
/proc/loadavg: 4.12 4.13 3.97 6/255 807880
/proc/meminfo: memFree=128980372/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2100296 memory=68028 CPUtime=1837.4 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1016235 0 0 0 183455 285 0 0 20 0 1 0 157767958 2150703104 17007 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 525074 17007 1800 439 0 520503 0
Current children cumulated CPU time: 1837.4 s
Current children cumulated vsize: 2100296 KiB
Current children cumulated memory: 68028 KiB
[startup+1902.3 s]
/proc/loadavg: 4.08 4.12 3.98 5/255 807890
/proc/meminfo: memFree=129057824/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2075720 memory=60828 CPUtime=1897.21 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1033938 0 0 0 189430 291 0 0 20 0 1 0 157767958 2125537280 15207 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 518930 15207 1800 439 0 514359 0
Current children cumulated CPU time: 1897.21 s
Current children cumulated vsize: 2075720 KiB
Current children cumulated memory: 60828 KiB
[startup+1962.3 s]
/proc/loadavg: 4.21 4.14 4.00 6/255 807900
/proc/meminfo: memFree=129061012/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2075984 memory=58832 CPUtime=1957.02 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1057210 0 0 0 195404 298 0 0 20 0 1 0 157767958 2125807616 14708 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 518996 14708 1800 439 0 514425 0
Current children cumulated CPU time: 1957.02 s
Current children cumulated vsize: 2075984 KiB
Current children cumulated memory: 58832 KiB
[startup+2012.07 s]
# the end of solver process 806885 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2003.61 s, system=3.02582 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1971.2 s]
/proc/loadavg: 4.19 4.14 4.00 5/255 807901
/proc/meminfo: memFree=129016084/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2075984 memory=63060 CPUtime=1965.89 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1062505 0 0 0 196289 300 0 0 20 0 1 0 157767958 2125807616 15765 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 518996 15765 1800 439 0 514425 0
Current children cumulated CPU time: 1965.89 s
Current children cumulated vsize: 2075984 KiB
Current children cumulated memory: 63060 KiB
[startup+1996.8 s]
/proc/loadavg: 4.13 4.13 4.00 6/255 807905
/proc/meminfo: memFree=129032940/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2057112 memory=45024 CPUtime=1991.41 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1069510 0 0 0 198839 302 0 0 20 0 1 0 157767958 2106482688 11256 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514278 11256 1800 439 0 509707 0
Current children cumulated CPU time: 1991.41 s
Current children cumulated vsize: 2057112 KiB
Current children cumulated memory: 45024 KiB
[startup+2003.2 s]
/proc/loadavg: 4.18 4.14 4.01 6/255 807907
/proc/meminfo: memFree=129101816/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2057112 memory=45772 CPUtime=1997.79 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1069667 0 0 0 199477 302 0 0 20 0 1 0 157767958 2106482688 11443 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514278 11443 1800 439 0 509707 0
Current children cumulated CPU time: 1997.79 s
Current children cumulated vsize: 2057112 KiB
Current children cumulated memory: 45772 KiB
[startup+2006.4 s]
/proc/loadavg: 4.18 4.14 4.01 6/255 807907
/proc/meminfo: memFree=129081076/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2057112 memory=45772 CPUtime=2000.98 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1069667 0 0 0 199796 302 0 0 20 0 1 0 157767958 2106482688 11443 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 514278 11443 1800 439 0 509707 0
Current children cumulated CPU time: 2000.98 s
Current children cumulated vsize: 2057112 KiB
Current children cumulated memory: 45772 KiB
[startup+2009.6 s]
/proc/loadavg: 4.17 4.14 4.01 6/257 807911
/proc/meminfo: memFree=129059984/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2067608 memory=52504 CPUtime=2004.17 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1070341 0 0 0 200115 302 0 0 20 0 1 0 157767958 2117230592 13126 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 516902 13126 1800 439 0 512331 0
Current children cumulated CPU time: 2004.17 s
Current children cumulated vsize: 2067608 KiB
Current children cumulated memory: 52504 KiB
[startup+2011.2 s]
/proc/loadavg: 4.17 4.14 4.01 6/257 807912
/proc/meminfo: memFree=129054440/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2067608 memory=52504 CPUtime=2005.77 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1070363 0 0 0 200275 302 0 0 20 0 1 0 157767958 2117230592 13126 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 516902 13126 1800 439 0 512331 0
Current children cumulated CPU time: 2005.77 s
Current children cumulated vsize: 2067608 KiB
Current children cumulated memory: 52504 KiB
[startup+2011.6 s]
/proc/loadavg: 4.17 4.14 4.01 6/257 807912
/proc/meminfo: memFree=129054440/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2067608 memory=52764 CPUtime=2006.17 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1070398 0 0 0 200315 302 0 0 20 0 1 0 157767958 2117230592 13191 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 516902 13191 1800 439 0 512331 0
Current children cumulated CPU time: 2006.17 s
Current children cumulated vsize: 2067608 KiB
Current children cumulated memory: 52764 KiB
[startup+2012 s]*
/proc/loadavg: 4.15 4.14 4.01 6/257 807912
/proc/meminfo: memFree=129044024/131524600 swapFree=131071996/131071996
[pid=806885] ppid=806874 vsize=2067608 memory=52764 CPUtime=2006.57 cores=5,7
/proc/806885/stat : 806885 (pb_picat) R 806874 806885 802527 0 -1 4194304 1070398 0 0 0 200355 302 0 0 20 0 1 0 157767958 2117230592 13191 134679101440 4194304 5989780 140728278004496 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28647424 140728278012953 140728278013029 140728278013029 140728278020044 0
/proc/806885/statm: 516902 13191 1800 439 0 512331 0
Current children cumulated CPU time: 2006.57 s
Current children cumulated vsize: 2067608 KiB
Current children cumulated memory: 52764 KiB
Child status: 0
Real time (s): 2012.07
CPU time (s): 2006.64
CPU user time (s): 2003.61
CPU system time (s): 3.02582
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 2116680
Max. memory (cumulated for all children) (KiB): 81404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2003.62
system time used= 3.02582
maximum resident set size= 81404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1070401
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= 10
involuntary context switches= 2623
# summary of solver processes directly reported to runsolver:
# pid: 806885
# total CPU time (s): 2006.64
# total CPU user time (s): 2003.61
# total CPU system time (s): 3.02582
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.91471 second user time and 9.4456 second system time
The end
Begin job on nodeC027 at 2024-07-15 17:07:06 IDJOB=4436336 IDBENCH=146650 IDSOLVER=3068 FILE ID=nodeC027/4436336-1721056013 RUNJOBID= nodeC027-1721056025-806831 SLURM_JOB_ID= 7505462 Free space on /tmp= 890084 MiB SOLVER NAME= Picat 2024-06-18 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 --file-size-limit 102400 -w /tmp/evaluation-result-4436336-1721056013/watcher-4436336-1721056013 -o /tmp/evaluation-result-4436336-1721056013/solver-4436336-1721056013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721056025-806831 --watchdog 3760 pb_picat HOME/instance-4436336-1721056013.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=124945 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3479.559 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3491.175 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3530.552 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3493.435 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3378.483 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3430.877 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3590.174 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3562.967 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129642580 kB MemAvailable: 129785560 kB Buffers: 362632 kB Cached: 625192 kB SwapCached: 0 kB Active: 569804 kB Inactive: 742316 kB Active(anon): 1480 kB Inactive(anon): 360852 kB Active(file): 568324 kB Inactive(file): 381464 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 12720 kB Writeback: 4 kB AnonPages: 322696 kB Mapped: 103496 kB Shmem: 37720 kB KReclaimable: 66032 kB Slab: 167684 kB SReclaimable: 66032 kB SUnreclaim: 101652 kB KernelStack: 3784 kB PageTables: 9852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 668560 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59776 kB HardwareCorrupted: 0 kB AnonHugePages: 344064 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 189140 kB DirectMap2M: 13215744 kB DirectMap1G: 122683392 kB Free space on /tmp at the end= 890068 MiB End job on nodeC027 at 2024-07-15 17:40:38