Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Picat 2025-06-16 | OPT | 2642 | 1164.31 | 1167.27 |
| 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-4484121-1751277745.opb (Picat 3.9b6) 1.27/1.37 o 10826 2.86/2.92 o 3370 92.24/92.50 o 2669 602.22/603.75 o 2648 1159.64/1162.66 o 2643 1164.23/1167.27 o 2642 1164.23/1167.27 s OPTIMUM FOUND 1164.23/1167.27 v ~x720 ~x379 x258 x547 x197 ~x520 ~x481 x780 ~x298 ~x854 1164.23/1167.27 v ~x505 ~x384 ~x42 x580 ~x539 x613 ~x260 ~x424 ~x722 ~x907 1164.23/1167.27 v ~x510 x420 x72 ~x542 ~x104 x647 ~x821 ~x856 x1 ~x7 1164.23/1167.27 v ~x548 ~x581 x587 ~x230 ~x781 ~x300 ~x206 ~x133 ~x43 x715 1164.23/1167.27 v ~x594 ~x356 ~x261 ~x689 ~x332 x259 x169 ~x73 ~x602 x482 1164.23/1167.27 v ~x387 ~x823 ~x857 ~x511 x549 x199 ~x606 ~x614 ~x648 ~x301 1164.23/1167.27 v ~x207 ~x8 ~x44 x582 ~x608 x105 x782 ~x690 ~x725 x134 1164.23/1167.27 v x422 x74 ~x611 ~x615 ~x262 ~x824 x859 ~x513 x550 ~x583 1164.23/1167.27 v ~x612 x749 ~x388 ~x302 ~x209 ~x9 ~x45 ~x75 ~x622 ~x106 1164.23/1167.27 v ~x137 ~x428 ~x461 x135 x171 x201 ~x623 ~x232 ~x390 ~x691 1164.23/1167.27 v ~x338 ~x514 x551 x10 x584 ~x630 ~x358 ~x265 ~x825 ~x464 1164.23/1167.27 v x389 x552 ~x11 ~x76 x640 x484 ~x391 ~x51 ~x339 ~x517 1164.23/1167.27 v x46 ~x14 x202 ~x649 ~x616 ~x653 ~x177 x730 ~x12 ~x172 1164.23/1167.27 v ~x36 x585 ~x650 x107 ~x787 ~x303 ~x864 x138 ~x553 ~x78 1164.23/1167.27 v ~x77 x651 ~x617 ~x655 ~x558 ~x340 ~x518 x687 ~x81 x203 1164.23/1167.27 v ~x652 x108 ~x789 x692 ~x466 ~x13 x47 ~x85 x586 ~x654 1164.23/1167.27 v ~x234 ~x656 ~x826 ~x341 x139 ~x173 ~x92 ~x79 ~x671 ~x486 1164.23/1167.27 v ~x790 ~x304 ~x467 x519 ~x554 ~x96 ~x205 x674 ~x618 ~x143 1164.23/1167.27 v ~x430 x732 ~x15 ~x48 ~x98 ~x331 ~x677 x109 ~x657 ~x693 1164.23/1167.27 v ~x866 x393 ~x174 ~x101 x457 ~x682 ~x235 ~x791 ~x827 ~x216 1164.23/1167.27 v x521 x426 ~x102 x588 x688 ~x619 ~x270 ~x305 ~x342 ~x16 1164.23/1167.27 v x555 ~x112 ~x80 ~x700 x110 ~x658 ~x431 ~x867 ~x142 ~x49 1164.23/1167.27 v ~x113 x458 x709 ~x236 ~x792 ~x694 ~x343 x268 ~x175 ~x130 1164.23/1167.27 v ~x589 x713 ~x620 ~x271 ~x828 ~x734 x522 x427 ~x136 x723 1164.23/1167.27 v ~x721 x754 ~x659 ~x54 x868 ~x17 x556 ~x140 ~x590 ~x724 1164.23/1167.27 v ~x111 ~x793 ~x180 ~x218 x395 ~x50 ~x141 ~x82 ~x726 ~x237 1164.23/1167.27 v ~x146 ~x306 ~x345 x523 x176 ~x145 ~x208 ~x735 x363 ~x272 1164.23/1167.27 v ~x561 ~x737 ~x18 x557 ~x162 x334 ~x736 ~x489 ~x273 ~x307 1164.23/1167.27 v x871 x144 x429 ~x168 ~x460 ~x752 ~x621 ~x399 ~x696 ~x346 1164.23/1167.27 v x524 ~x52 ~x200 ~x591 ~x759 x755 ~x661 ~x830 ~x472 ~x19 1164.23/1167.27 v x178 ~x204 ~x83 ~x764 ~x889 ~x795 ~x182 ~x738 x397 x559 1164.23/1167.27 v ~x210 x335 ~x769 x757 ~x148 ~x697 x872 x525 ~x53 ~x211 1164.23/1167.27 v ~x592 ~x770 ~x891 ~x400 ~x831 ~x347 x20 x179 ~x222 ~x84 1164.23/1167.27 v ~x774 ~x114 x662 ~x183 ~x473 ~x526 x560 ~x224 ~x336 x776 1164.23/1167.27 v x366 ~x796 ~x435 ~x348 x660 x432 ~x231 x462 x783 x624 1164.23/1167.27 v ~x149 ~x184 ~x740 ~x21 x695 ~x233 ~x593 x784 x241 ~x401 1164.23/1167.27 v ~x310 x874 x147 ~x829 ~x238 x727 ~x785 x116 ~x276 ~x699 1164.23/1167.27 v ~x349 x527 ~x55 ~x240 x728 x786 ~x242 ~x664 ~x833 ~x741 1164.23/1167.27 v ~x22 ~x181 ~x245 ~x862 x788 ~x494 ~x798 ~x185 x875 x274 1164.23/1167.27 v x433 ~x249 x86 ~x794 ~x626 ~x277 ~x311 ~x351 ~x528 x562 1164.23/1167.27 v ~x250 ~x212 ~x797 x760 ~x403 ~x701 ~x477 x23 ~x56 ~x251 1164.23/1167.27 v ~x595 x805 ~x117 ~x665 ~x835 ~x743 ~x529 x434 ~x252 ~x729 1164.23/1167.27 v ~x808 x243 ~x799 ~x312 x877 x663 x563 ~x254 x863 x811 1164.23/1167.27 v x627 ~x278 ~x438 ~x226 ~x24 ~x57 x255 x87 x816 ~x628 1164.23/1167.27 v ~x666 ~x702 ~x353 x150 x309 x256 ~x213 ~x822 x762 ~x800 1164.23/1167.27 v ~x836 ~x479 x530 ~x564 ~x263 ~x465 x834 ~x896 ~x279 ~x703 1164.23/1167.27 v ~x354 ~x25 ~x698 ~x264 ~x596 ~x843 ~x118 ~x405 ~x837 ~x480 1164.23/1167.27 v x151 x832 x266 x88 ~x849 x496 ~x667 ~x187 ~x747 x531 1164.23/1167.27 v ~x58 ~x267 ~x214 ~x855 ~x629 ~x801 ~x313 ~x881 ~x26 x436 1164.23/1167.27 v ~x269 ~x597 x858 ~x119 ~x280 ~x439 ~x748 ~x152 x565 ~x275 1164.23/1167.27 v ~x731 x860 x371 ~x406 ~x314 x882 x404 ~x59 ~x283 x865 1164.23/1167.27 v ~x861 ~x631 ~x668 ~x440 ~x750 x532 x437 ~x285 x89 x869 1164.23/1167.27 v ~x765 ~x802 ~x705 x884 ~x27 ~x566 ~x289 ~x215 x870 x899 1164.23/1167.27 v ~x155 ~x839 ~x485 x153 x567 ~x294 ~x598 ~x876 x120 ~x281 1164.23/1167.27 v ~x189 x751 x533 ~x60 ~x296 x90 ~x883 ~x632 ~x669 ~x316 1164.23/1167.27 v ~x885 ~x28 x186 ~x299 ~x468 x886 ~x766 ~x803 ~x707 ~x360 1164.23/1167.27 v x154 x568 ~x308 ~x599 x893 x900 ~x156 ~x841 ~x361 x534 1164.23/1167.27 v x569 ~x330 x733 x898 x121 ~x282 ~x191 ~x487 ~x29 x61 1164.23/1167.27 v ~x333 x91 x903 ~x247 ~x670 ~x443 ~x753 x407 ~x570 ~x337 1164.23/1167.27 v ~x217 ~x633 ~x804 ~x708 x887 x535 ~x704 ~x344 ~x469 ~x767 1164.23/1167.27 v ~x284 ~x842 ~x362 ~x30 x838 ~x357 ~x600 x901 ~x410 ~x192 1164.23/1167.27 v ~x488 x408 ~x62 ~x359 ~x601 ~x122 ~x672 ~x444 ~x888 x536 1164.23/1167.27 v x188 ~x364 x93 x374 ~x806 ~x193 ~x756 ~x31 x571 x365 1164.23/1167.27 v ~x219 ~x634 ~x412 ~x445 x890 x157 ~x63 ~x372 ~x603 ~x123 1164.23/1167.27 v ~x287 ~x710 ~x239 ~x537 ~x315 ~x378 x94 x375 ~x413 ~x844 1164.23/1167.27 v ~x491 ~x32 x441 ~x380 ~x220 ~x501 ~x675 ~x320 ~x492 x158 1164.23/1167.27 v ~x572 ~x381 ~x604 ~x635 ~x809 ~x446 ~x758 x538 x706 ~x382 1164.23/1167.27 v x95 x124 x676 ~x845 ~x892 x33 ~x840 ~x383 ~x221 ~x636 1164.23/1167.27 v ~x810 ~x447 ~x115 ~x159 ~x64 ~x386 ~x605 x904 ~x290 ~x322 1164.23/1167.27 v ~x367 ~x673 x190 ~x392 ~x739 ~x125 ~x416 ~x847 ~x493 x807 1164.23/1167.27 v x573 ~x394 x873 x377 ~x678 ~x323 ~x625 ~x34 ~x65 ~x396 1164.23/1167.27 v x97 ~x503 ~x812 ~x449 ~x368 ~x160 x317 ~x398 ~x223 ~x637 1164.23/1167.27 v ~x291 ~x714 ~x894 x286 x574 ~x402 ~x607 ~x771 ~x417 ~x848 1164.23/1167.27 v ~x369 ~x540 x66 ~x409 ~x350 x905 ~x679 ~x198 ~x495 ~x35 1164.23/1167.27 v ~x318 ~x411 x476 x772 ~x813 ~x324 ~x761 x161 ~x575 ~x415 1164.23/1167.27 v x742 ~x906 ~x166 ~x450 ~x895 x541 ~x67 ~x419 x99 x127 1164.23/1167.27 v ~x292 ~x325 ~x244 ~x288 x319 ~x425 ~x225 ~x639 ~x418 ~x451 1164.23/1167.27 v ~x370 x414 x576 ~x442 ~x609 x773 ~x293 ~x716 ~x763 x37 1164.23/1167.27 v x68 ~x452 ~x100 ~x3 ~x681 ~x850 x897 ~x163 ~x194 x456 1164.23/1167.27 v x352 ~x129 ~x815 ~x326 ~x246 ~x543 ~x577 x459 ~x478 ~x507 1164.23/1167.27 v ~x295 ~x717 ~x498 ~x38 x711 x463 ~x610 ~x4 ~x421 x851 1164.23/1167.27 v ~x373 x164 ~x69 x470 x744 ~x508 ~x683 ~x327 ~x499 ~x2 1164.23/1167.27 v x544 ~x195 ~x471 ~x878 ~x642 ~x817 ~x453 ~x248 x128 ~x39 1164.23/1167.27 v x321 x474 x227 ~x131 ~x170 ~x718 ~x500 ~x506 x165 ~x578 1164.23/1167.27 v ~x475 x745 x643 ~x684 ~x852 ~x768 x641 x545 ~x712 ~x483 1164.23/1167.27 v ~x879 ~x777 ~x818 ~x328 x902 ~x775 x40 x846 x490 x228 1164.23/1167.27 v ~x644 ~x297 ~x454 ~x376 ~x5 ~x546 ~x70 ~x497 x746 x778 1164.23/1167.27 v ~x423 ~x719 ~x502 x257 ~x680 ~x196 x504 ~x880 ~x385 ~x685 1164.23/1167.27 v ~x853 ~x126 ~x509 x814 x448 ~x512 ~x103 ~x645 ~x819 ~x329 1164.23/1167.27 v ~x638 ~x6 ~x41 ~x579 ~x515 ~x229 x779 ~x686 ~x455 ~x253 1164.23/1167.27 v ~x132 x167 ~x71 ~x516 x355 ~x646 ~x820
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 (63272 MiB free)
memory of node 1: 64465 MiB (63334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484121-1751277745/watcher-4484121-1751277745 -o /tmp/evaluation-result-4484121-1751277745/solver-4484121-1751277745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751270519-36742 --watchdog 3760 pb_picat HOME/instance-4484121-1751277745.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=37553, runsolver pid=37549
[startup+0.10007 s]*
/proc/loadavg: 4.09 4.09 4.09 4/247 37558
/proc/meminfo: memFree=129633768/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2036412 memory=23856 CPUtime=0.09 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 1493 0 0 0 8 1 0 0 20 0 1 0 43453926 2085285888 5964 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 509103 5964 1664 343 0 506167 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2036412 KiB
Current children cumulated memory: 23856 KiB
[startup+0.213691 s]*
/proc/loadavg: 4.09 4.09 4.09 4/248 37559
/proc/meminfo: memFree=129633768/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2043032 memory=28592 CPUtime=0.2 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 2858 0 0 0 19 1 0 0 20 0 1 0 43453926 2092064768 7148 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 510758 7148 1696 343 0 507822 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2043032 KiB
Current children cumulated memory: 28592 KiB
[startup+0.31325 s]*
/proc/loadavg: 4.09 4.09 4.09 4/249 37564
/proc/meminfo: memFree=129627956/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2045368 memory=28916 CPUtime=0.3 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 3632 0 0 0 28 2 0 0 20 0 1 0 43453926 2094456832 7229 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 511342 7229 1696 343 0 508406 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2045368 KiB
Current children cumulated memory: 28916 KiB
[startup+0.700265 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 37576
/proc/meminfo: memFree=129628084/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2045368 memory=30004 CPUtime=0.67 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 5057 0 0 0 65 2 0 0 20 0 1 0 43453926 2094456832 7501 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 511342 7501 1696 343 0 508406 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2045368 KiB
Current children cumulated memory: 30004 KiB
[startup+1.5003 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 37595
/proc/meminfo: memFree=129611168/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2046852 memory=33304 CPUtime=1.46 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 8606 0 0 0 143 3 0 0 20 0 1 0 43453926 2095976448 8326 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 511713 8326 1696 343 0 508777 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2046852 KiB
Current children cumulated memory: 33304 KiB
[startup+3.11286 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 37640
/proc/meminfo: memFree=129500352/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2051972 memory=37968 CPUtime=3.07 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 9257 0 0 0 304 3 0 0 20 0 1 0 43453926 2101219328 9492 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 512993 9492 1696 343 0 510057 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2051972 KiB
Current children cumulated memory: 37968 KiB
[startup+6.30032 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 37640
/proc/meminfo: memFree=129484636/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2051716 memory=38092 CPUtime=6.26 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 10601 0 0 0 622 4 0 0 20 0 1 0 43453926 2100957184 9523 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 512929 9523 1696 343 0 509993 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2051716 KiB
Current children cumulated memory: 38092 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 37640
/proc/meminfo: memFree=129486180/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2051716 memory=38348 CPUtime=12.64 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 10692 0 0 0 1260 4 0 0 20 0 1 0 43453926 2100957184 9587 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 512929 9587 1696 343 0 509993 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2051716 KiB
Current children cumulated memory: 38348 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 37640
/proc/meminfo: memFree=129473000/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2055816 memory=42444 CPUtime=25.41 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 14500 0 0 0 2536 5 0 0 20 0 1 0 43453926 2105155584 10611 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 513954 10611 1696 343 0 511018 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2055816 KiB
Current children cumulated memory: 42444 KiB
[startup+51.1127 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 37641
/proc/meminfo: memFree=129442804/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2047372 memory=38084 CPUtime=50.96 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 34447 0 0 0 5087 9 0 0 20 0 1 0 43453926 2096508928 9521 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 511843 9521 1696 343 0 508907 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2047372 KiB
Current children cumulated memory: 38084 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 37642
/proc/meminfo: memFree=129428096/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2056072 memory=49728 CPUtime=102.02 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 78251 0 0 0 10183 19 0 0 20 0 1 0 43453926 2105417728 12432 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 514018 12432 1696 343 0 511082 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2056072 KiB
Current children cumulated memory: 49728 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 37644
/proc/meminfo: memFree=129428128/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2051468 memory=45276 CPUtime=161.88 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 133007 0 0 0 16157 31 0 0 20 0 1 0 43453926 2100703232 11319 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 512867 11319 1696 343 0 509931 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2051468 KiB
Current children cumulated memory: 45276 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 37646
/proc/meminfo: memFree=129390216/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2056072 memory=50880 CPUtime=221.74 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 184796 0 0 0 22131 43 0 0 20 0 1 0 43453926 2105417728 12720 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 514018 12720 1696 343 0 511082 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 2056072 KiB
Current children cumulated memory: 50880 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/250 37648
/proc/meminfo: memFree=129420392/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2053516 memory=46812 CPUtime=281.59 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 234818 0 0 0 28103 56 0 0 20 0 1 0 43453926 2102800384 11703 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 513379 11703 1696 343 0 510443 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 2053516 KiB
Current children cumulated memory: 46812 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/249 37657
/proc/meminfo: memFree=129389640/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2053516 memory=45532 CPUtime=341.44 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 295072 0 0 0 34072 72 0 0 20 0 1 0 43453926 2102800384 11383 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 513379 11383 1696 343 0 510443 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 2053516 KiB
Current children cumulated memory: 45532 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 37660
/proc/meminfo: memFree=129408536/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2062996 memory=54476 CPUtime=401.29 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 355587 0 0 0 40040 89 0 0 20 0 1 0 43453926 2112507904 13619 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 515749 13619 1696 343 0 512813 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 2062996 KiB
Current children cumulated memory: 54476 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/250 37662
/proc/meminfo: memFree=129411868/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2056108 memory=49424 CPUtime=461.14 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 402421 0 0 0 46012 102 0 0 20 0 1 0 43453926 2105454592 12356 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 514027 12356 1696 343 0 511091 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
/proc/loadavg: 4.63 4.23 4.14 5/248 37672
/proc/meminfo: memFree=129374480/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2072456 memory=66392 CPUtime=760.45 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 416619 0 0 0 75937 108 0 0 20 0 1 0 43453926 2122194944 16598 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 518114 16598 1696 343 0 515178 0
Current children cumulated CPU time: 760.45 s
Current children cumulated vsize: 2072456 KiB
Current children cumulated memory: 66392 KiB
[startup+822.3 s]
/proc/loadavg: 4.42 4.26 4.16 5/248 37674
/proc/meminfo: memFree=129373288/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2072456 memory=66920 CPUtime=820.32 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 418599 0 0 0 81923 109 0 0 20 0 1 0 43453926 2122194944 16730 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 518114 16730 1696 343 0 515178 0
Current children cumulated CPU time: 820.32 s
Current children cumulated vsize: 2072456 KiB
Current children cumulated memory: 66920 KiB
[startup+882.3 s]
/proc/loadavg: 4.26 4.24 4.16 5/248 37676
/proc/meminfo: memFree=129374636/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2057612 memory=52312 CPUtime=880.17 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 425260 0 0 0 87906 111 0 0 20 0 1 0 43453926 2106994688 13078 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 514403 13078 1696 343 0 511467 0
Current children cumulated CPU time: 880.17 s
Current children cumulated vsize: 2057612 KiB
Current children cumulated memory: 52312 KiB
[startup+942.3 s]
/proc/loadavg: 3.61 4.07 4.10 4/242 37708
/proc/meminfo: memFree=129442408/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2068544 memory=54212 CPUtime=940 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 455894 0 0 0 93880 120 0 0 20 0 1 0 43453926 2118189056 13553 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 517136 13553 1696 343 0 514200 0
Current children cumulated CPU time: 940 s
Current children cumulated vsize: 2068544 KiB
Current children cumulated memory: 54212 KiB
[startup+1002.3 s]
/proc/loadavg: 3.34 3.90 4.04 4/243 37717
/proc/meminfo: memFree=129419232/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2056256 memory=49496 CPUtime=999.82 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 483163 0 0 0 99853 129 0 0 20 0 1 0 43453926 2105606144 12374 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 514064 12374 1696 343 0 511128 0
Current children cumulated CPU time: 999.82 s
Current children cumulated vsize: 2056256 KiB
Current children cumulated memory: 49496 KiB
[startup+1062.3 s]
/proc/loadavg: 3.19 3.75 3.98 4/243 37719
/proc/meminfo: memFree=129412892/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2068544 memory=58668 CPUtime=1059.64 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 507113 0 0 0 105827 137 0 0 20 0 1 0 43453926 2118189056 14667 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 517136 14667 1696 343 0 514200 0
Current children cumulated CPU time: 1059.64 s
Current children cumulated vsize: 2068544 KiB
Current children cumulated memory: 58668 KiB
[startup+1122.3 s]
/proc/loadavg: 3.12 3.63 3.92 4/244 37722
/proc/meminfo: memFree=129405656/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2068544 memory=58668 CPUtime=1119.46 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 524036 0 0 0 111804 142 0 0 20 0 1 0 43453926 2118189056 14667 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 517136 14667 1696 343 0 514200 0
Current children cumulated CPU time: 1119.46 s
Current children cumulated vsize: 2068544 KiB
Current children cumulated memory: 58668 KiB
[startup+1167.27 s]
# the end of solver process 37553 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1162.83 s, system=1.48371 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 3.19 3.63 3.92 4/244 37722
/proc/meminfo: memFree=129405656/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2068544 memory=58668 CPUtime=1123.55 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 526261 0 0 0 112212 143 0 0 20 0 1 0 43453926 2118189056 14667 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 517136 14667 1696 343 0 514200 0
Current children cumulated CPU time: 1123.55 s
Current children cumulated vsize: 2068544 KiB
Current children cumulated memory: 58668 KiB
[startup+1152 s]*
/proc/loadavg: 3.41 3.65 3.92 4/244 37723
/proc/meminfo: memFree=129405656/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2056256 memory=50032 CPUtime=1149.08 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 532908 0 0 0 114763 145 0 0 20 0 1 0 43453926 2105606144 12508 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 514064 12508 1696 343 0 511128 0
Current children cumulated CPU time: 1149.08 s
Current children cumulated vsize: 2056256 KiB
Current children cumulated memory: 50032 KiB
[startup+1158.4 s]
/proc/loadavg: 3.50 3.66 3.92 4/244 37724
/proc/meminfo: memFree=129394488/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2060352 memory=53420 CPUtime=1155.46 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 537881 0 0 0 115399 147 0 0 20 0 1 0 43453926 2109800448 13355 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 515088 13355 1696 343 0 512152 0
Current children cumulated CPU time: 1155.46 s
Current children cumulated vsize: 2060352 KiB
Current children cumulated memory: 53420 KiB
[startup+1161.6 s]
/proc/loadavg: 3.50 3.66 3.92 4/244 37724
/proc/meminfo: memFree=129396536/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2051972 memory=45760 CPUtime=1158.64 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 539852 0 0 0 115717 147 0 0 20 0 1 0 43453926 2101219328 11440 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 512993 11440 1696 343 0 510057 0
Current children cumulated CPU time: 1158.64 s
Current children cumulated vsize: 2051972 KiB
Current children cumulated memory: 45760 KiB
[startup+1164.8 s]
/proc/loadavg: 3.54 3.67 3.92 4/244 37724
/proc/meminfo: memFree=129400632/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2051972 memory=45888 CPUtime=1161.84 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 539883 0 0 0 116036 148 0 0 20 0 1 0 43453926 2101219328 11472 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 512993 11472 1696 343 0 510057 0
Current children cumulated CPU time: 1161.84 s
Current children cumulated vsize: 2051972 KiB
Current children cumulated memory: 45888 KiB
[startup+1166.4 s]
/proc/loadavg: 3.54 3.67 3.92 4/244 37724
/proc/meminfo: memFree=129398584/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2051972 memory=46272 CPUtime=1163.43 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 540005 0 0 0 116195 148 0 0 20 0 1 0 43453926 2101219328 11568 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 512993 11568 1696 343 0 510057 0
Current children cumulated CPU time: 1163.43 s
Current children cumulated vsize: 2051972 KiB
Current children cumulated memory: 46272 KiB
[startup+1166.8 s]
/proc/loadavg: 3.54 3.67 3.92 4/244 37724
/proc/meminfo: memFree=129398584/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2051972 memory=46400 CPUtime=1163.83 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 540026 0 0 0 116235 148 0 0 20 0 1 0 43453926 2101219328 11600 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 512993 11600 1696 343 0 510057 0
Current children cumulated CPU time: 1163.83 s
Current children cumulated vsize: 2051972 KiB
Current children cumulated memory: 46400 KiB
[startup+1167.2 s]
/proc/loadavg: 3.54 3.67 3.92 4/244 37724
/proc/meminfo: memFree=129404728/131382116 swapFree=33010684/33010684
[pid=37553] ppid=37549 vsize=2060164 memory=48660 CPUtime=1164.23 cores=4,6
/proc/37553/stat : 37553 (pb_picat) R 37549 37553 36134 0 -1 4194304 540076 0 0 0 116275 148 0 0 20 0 1 0 43453926 2109607936 12165 18446744073709551615 94575838892032 94575840293613 140725833255376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94575840565040 94575842439344 94575851999232 140725833263518 140725833263594 140725833263594 140725833269196 0
/proc/37553/statm: 515041 12165 1696 343 0 512105 0
Current children cumulated CPU time: 1164.23 s
Current children cumulated vsize: 2060164 KiB
Current children cumulated memory: 48660 KiB
Child status: 0
Real time (s): 1167.27
CPU time (s): 1164.31
CPU user time (s): 1162.83
CPU system time (s): 1.48371
CPU usage (%): 99.7462
Max. virtual memory (cumulated for all children) (KiB): 2080648
Max. memory (cumulated for all children) (KiB): 69480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1162.83
system time used= 1.48371
maximum resident set size= 76496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540082
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= 74
involuntary context switches= 1451
# summary of solver processes directly reported to runsolver:
# pid: 37553
# total CPU time (s): 1164.31
# total CPU user time (s): 1162.83
# total CPU system time (s): 1.48371
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76929 second user time and 11.0011 second system time
The end
Begin job on nodeC010 at 2025-06-30 12:02:25 IDJOB=4484121 IDBENCH=146650 IDSOLVER=3346 FILE ID=nodeC010/4484121-1751277745 RUNJOBID= nodeC010-1751270519-36742 SLURM_JOB_ID= 9594177 Free space on /tmp= 432684 MiB SOLVER NAME= Picat 2025-06-16 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-4484121-1751277745/watcher-4484121-1751277745 -o /tmp/evaluation-result-4484121-1751277745/solver-4484121-1751277745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751270519-36742 --watchdog 3760 pb_picat HOME/instance-4484121-1751277745.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=2135298599 nodeC010 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.550 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.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 : 0xb00001f cpu MHz : 3591.418 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.36 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.169 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.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 : 0xb00001f cpu MHz : 1197.630 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.36 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.149 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.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 : 0xb00001f cpu MHz : 1197.150 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.36 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.158 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.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 : 0xb00001f cpu MHz : 1197.010 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 129646008 kB MemAvailable: 129923828 kB Buffers: 3280 kB Cached: 1086296 kB SwapCached: 0 kB Active: 403696 kB Inactive: 793788 kB Active(anon): 125868 kB Inactive(anon): 0 kB Active(file): 277828 kB Inactive(file): 793788 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7252 kB Writeback: 0 kB AnonPages: 109700 kB Mapped: 107448 kB Shmem: 17960 kB KReclaimable: 91660 kB Slab: 173816 kB SReclaimable: 91660 kB SUnreclaim: 82156 kB KernelStack: 3968 kB PageTables: 3072 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 2409924 kB VmallocTotal: 34359738367 kB VmallocUsed: 149336 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 432680 MiB End job on nodeC010 at 2025-06-30 12:21:53