Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NuPBO-DeepOpt+ 2025-06-02 | SAT (TO) | 2642 | 3600.08 | 3608.7 |
| 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 |
3600.07/3608.70 c Filename:instance-4484117-1751287037.opb, Cutoff_time:3600, memory_limit_gb:500000 3600.07/3608.70 c Use Presolve 3600.07/3608.70 c Parse finsih 3600.07/3608.70 c Start Presolve 3600.07/3608.70 c After Reduce Vars: 899 Clauses: 1402 Top clause weight: 33616 Hard Clauses: 655 3600.07/3608.70 c Use LS-small 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 10839 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2661 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2660 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2659 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2658 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2657 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2653 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2651 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2650 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2649 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2648 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2647 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2646 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2645 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2644 3600.07/3608.70 c Use postsolve 3600.07/3608.70 o 2642 3600.07/3608.70 s SATISFIABLE 3600.07/3608.70 v x2 -x128 -x506 -x641 x775 -x5 x257 x509 -x6 -x132 x258 -x384 x510 -x7 -x133 x259 x511 -x8 x134 -x513 -x9 x135 -x514 x389 -x517 x12 -x138 -x518 -x13 x139 x519 -x15 x393 x521 -x16 -x142 x268 -x522 -x17 x395 -x523 -x18 x144 x524 -x19 x397 x525 x20 -x526 x660 -x21 x147 x527 -x22 x274 x528 x23 -x529 x663 -x24 x150 x530 -x25 x151 x531 -x26 -x152 x404 x532 -x27 x153 -x533 -x28 x154 x534 x29 -x407 -x535 -x30 x408 x536 x31 -x157 -x537 -x32 x158 x538 x33 -x159 -x673 x807 -x34 -x160 x286 -x540 -x35 x161 x541 x288 -x414 x37 -x163 -x543 -x38 x164 x544 -x39 x165 x545 x40 -x546 -x680 x814 -x41 x167 x547 -x42 x420 -x548 x43 -x169 -x549 -x44 x422 x550 -x45 x171 x551 x552 -x46 x172 -x553 x687 -x47 x173 -x554 -x48 -x174 x426 x555 -x49 -x175 x427 x556 -x50 x176 x557 x429 x52 -x178 -x559 -x53 x179 x560 x432 -x695 x829 -x55 -x181 x433 -x562 -x56 x434 x563 -x57 x309 -x564 -x698 x832 -x58 x436 x565 -x59 x437 -x566 x567 x60 -x186 -x568 -x569 x61 -x570 -x704 x838 -x62 x188 x571 -x63 -x315 x441 -x572 -x706 x840 -x64 x190 x573 -x65 x317 x574 x66 -x318 -x575 -x67 x319 x576 x68 -x194 -x577 x711 -x69 -x195 x321 -x578 -x712 x846 -x70 x196 -x448 -x579 -x71 x197 x580 x72 -x581 x715 x73 -x199 -x582 x74 -x583 -x75 x201 x584 x76 -x202 -x585 x77 -x203 -x586 -x79 -x205 -x331 x457 x588 -x80 x458 -x589 x723 -x590 -x82 -x208 x334 -x460 -x591 -x83 x335 -x592 -x84 -x336 x462 -x593 x727 -x728 x862 x86 -x212 -x595 -x729 x863 -x87 x213 -x465 x596 x88 -x214 -x597 x731 -x865 -x89 x215 x598 -x90 x468 -x599 x733 -x91 -x217 x469 -x600 -x601 -x93 x219 x603 x94 -x220 -x604 x95 -x221 -x605 -x739 x873 -x97 x223 x607 -x350 x476 x742 -x99 x225 x609 -x100 -x352 x478 -x610 -x744 x878 x227 -x745 x879 x228 -x746 x880 -x103 -x229 -x355 x481 x613 -x104 -x230 -x356 x482 x614 x105 -x615 x749 -x106 -x232 -x358 x484 x616 x107 -x617 -x108 -x234 x486 -x618 -x109 x235 x619 x110 -x236 -x620 x754 -x111 -x237 -x363 x489 -x621 x755 -x889 -x757 x891 -x114 x366 -x624 x241 -x116 -x242 x494 -x626 x760 -x117 x243 x627 -x628 -x762 x896 x118 -x496 -x629 x119 -x371 -x631 x765 -x899 x120 -x632 x766 -x900 x121 -x247 -x633 -x767 x901 -x122 x374 x634 -x123 -x375 x501 -x635 x124 -x636 x904 -x125 -x377 x503 -x637 -x771 x905 x772 -x906 x127 -x639 x773 -x3 -x129 -x507 -x4 -x508 -x642 -x131 -x643 -x777 -x644 -x778 -x385 -x645 -x779 x646 -x780 -x260 -x647 x781 -x261 -x387 x648 -x782 -x262 -x388 -x137 -x390 -x265 -x391 -x653 -x787 -x655 -x789 -x656 x790 -x143 -x657 x791 -x270 -x658 -x792 -x271 -x659 -x793 -x146 -x272 -x273 -x399 -x661 -x795 -x148 -x400 -x662 -x796 -x149 -x401 -x276 -x664 -x798 -x277 -x403 -x665 -x799 -x278 -x666 -x800 -x279 -x405 -x667 x801 -x280 -x406 -x668 -x802 -x155 -x281 -x669 x803 -x156 -x282 -x670 -x804 -x284 -x410 -x672 -x806 -x412 -x287 -x413 -x675 -x809 x676 -x810 -x290 -x416 -x678 -x812 -x291 -x417 -x679 -x813 -x166 -x292 -x418 -x293 -x681 -x815 -x295 -x421 x683 -x817 -x170 -x684 -x818 -x297 -x423 -x685 -x819 -x686 -x820 -x298 -x424 -x821 -x300 -x689 -x823 -x301 -x690 -x824 -x302 -x428 -x691 -x825 -x51 -x177 -x303 -x558 -x692 x826 -x304 -x430 x693 -x827 -x305 -x431 -x694 -x828 -x54 -x180 -x306 -x561 -x307 -x696 x830 -x182 -x697 -x831 -x183 -x435 -x184 -x310 -x699 -x833 -x185 -x311 -x701 -x835 -x312 -x438 x702 -x836 x703 -x837 -x187 -x313 -x439 -x314 -x440 -x705 -x839 -x189 -x316 -x707 -x841 -x191 -x443 -x708 -x842 -x192 -x444 -x193 -x445 -x710 -x844 -x320 -x446 -x845 -x447 -x322 -x847 -x323 -x449 -x714 -x848 -x198 -x324 -x450 -x325 -x451 x716 -x850 -x326 x717 -x851 -x327 -x453 -x718 -x852 -x328 -x454 x719 -x853 -x329 -x455 x720 -x854 -x722 -x856 -x206 -x332 -x857 -x207 -x725 x859 -x209 -x461 -x338 -x464 -x339 -x730 -x864 -x340 -x466 -x341 -x467 -x732 -x866 -x216 -x342 -x867 -x343 -x734 x868 -x218 -x345 -x737 -x871 -x346 -x472 x738 -x872 -x347 -x473 -x348 x740 -x874 -x349 -x741 -x875 -x351 -x477 -x743 -x877 -x226 -x353 -x479 -x354 -x480 -x747 -x881 -x748 -x882 -x750 -x884 -x485 x751 -x885 -x360 -x361 -x487 -x753 -x887 -x362 -x488 -x888 x756 -x890 -x239 -x491 -x492 x758 -x892 -x115 -x367 -x493 -x625 -x368 -x894 -x369 -x495 -x761 -x895 -x244 -x370 x763 -x897 -x246 -x498 -x373 -x499 -x248 -x500 -x768 -x902 -x376 -x502 -x126 -x638 -x253 -x379 -x505 -x907 x1 x10 -x11 -x14 -x36 -x78 -x81 -x85 -x92 -x96 -x98 -x101 -x102 -x112 -x113 -x130 -x136 -x140 -x141 -x145 -x162 -x168 -x200 -x204 -x210 -x211 -x222 -x224 -x231 -x233 -x238 -x240 -x245 -x249 -x250 -x251 -x252 -x254 x255 x256 -x263 -x264 x266 -x267 -x269 -x275 -x283 -x285 -x289 -x294 -x296 -x299 -x308 -x330 x333 x337 x344 -x357 -x359 x364 x365 -x372 x378 -x380 -x381 -x382 -x383 -x386 -x392 -x394 -x396 -x398 -x402 -x409 -x411 -x415 -x419 -x425 -x442 -x452 x456 -x459 -x463 -x470 -x471 x474 -x475 -x483 -x490 -x497 -x504 -x512 -x515 -x516 -x520 -x539 -x542 x587 -x594 -x602 -x606 -x608 -x611 -x612 -x622 -x623 -x630 x640 -x649 x650 x651 x652 -x654 -x671 -x674 -x677 x682 -x688 x700 x709 x713 -x721 x724 -x726 x735 x736 x752 -x759 x764 -x769 -x770 -x774 x776 x783 -x784 -x785 -x786 x788 -x794 -x797 x805 x808 x811 -x816 x822 -x834 -x843 -x849 -x855 -x858 x860 -x861 -x869 -x870 -x876 -x883 -x886 x893 -x898 x903 3600.07/3608.70 c Use postsolve 3600.07/3608.70 c Done 1.2s
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 (63003 MiB free)
memory of node 1: 64465 MiB (63752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484117-1751287037/watcher-4484117-1751287037 -o /tmp/evaluation-result-4484117-1751287037/solver-4484117-1751287037 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751279813-45914 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4484117-1751287037.opb -t 3600 -s 376843768 --no-s
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
solver pid=46592, runsolver pid=46589
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.16 4.19 4.14 3/242 46599
/proc/meminfo: memFree=129798188/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=0.11 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 714 0 0 0 11 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+0.213282 s]*
/proc/loadavg: 4.16 4.19 4.14 5/240 46603
/proc/meminfo: memFree=129793868/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=0.22 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 740 0 0 0 22 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+0.312536 s]*
/proc/loadavg: 4.16 4.19 4.14 3/240 46610
/proc/meminfo: memFree=129792416/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=0.32 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 740 0 0 0 32 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+0.700259 s]
/proc/loadavg: 4.16 4.19 4.14 5/242 46621
/proc/meminfo: memFree=129787360/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=0.69 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 844 0 0 0 69 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+1.50028 s]
/proc/loadavg: 4.23 4.21 4.15 5/242 46658
/proc/meminfo: memFree=129814644/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=1.49 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 149 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3.11228 s]
/proc/loadavg: 4.23 4.21 4.15 5/249 46692
/proc/meminfo: memFree=129777632/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3.09 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 309 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+6.30023 s]
/proc/loadavg: 4.21 4.20 4.15 5/249 46692
/proc/meminfo: memFree=129778356/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=6.27 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 627 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.20 4.15 5/249 46692
/proc/meminfo: memFree=129778388/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=12.66 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 1266 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.19 4.15 5/249 46692
/proc/meminfo: memFree=129778388/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=25.43 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 2543 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+51.1123 s]
/proc/loadavg: 4.10 4.17 4.14 5/250 46694
/proc/meminfo: memFree=129762256/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=50.98 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 5098 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/251 46699
/proc/meminfo: memFree=129756608/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=102.04 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 10204 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/252 46705
/proc/meminfo: memFree=129773016/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=161.9 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 16190 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/252 46707
/proc/meminfo: memFree=129774532/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=221.76 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 22176 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.12 4.12 5/252 46709
/proc/meminfo: memFree=129776120/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=281.61 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 28161 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/252 46711
/proc/meminfo: memFree=129776640/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=341.47 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 34147 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 4.16 4.13 5/251 46713
/proc/meminfo: memFree=129777156/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=401.33 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 40133 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+462.3 s]
/proc/loadavg: 4.62 4.30 4.18 5/250 46715
/proc/meminfo: memFree=129778164/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=461.18 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 46118 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 461.18 s
################
# More data... #
################
Current children cumulated memory: 6784 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 46842
/proc/meminfo: memFree=129776588/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=2915.32 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 291532 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 2915.32 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+2982.3 s]
/proc/loadavg: 4.32 4.14 4.11 5/250 46844
/proc/meminfo: memFree=129777628/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=2975.18 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 297518 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 2975.18 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3042.3 s]
/proc/loadavg: 4.62 4.28 4.16 5/250 46846
/proc/meminfo: memFree=129779072/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3035.03 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 303503 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3035.03 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3102.3 s]
/proc/loadavg: 4.26 4.24 4.15 5/251 46851
/proc/meminfo: memFree=129779104/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3094.89 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 309489 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3094.89 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.21 4.15 5/250 46857
/proc/meminfo: memFree=129779860/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3154.74 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 315474 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3154.74 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.20 4.15 5/250 46860
/proc/meminfo: memFree=129780636/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3214.6 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 321460 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3214.6 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.18 4.14 5/250 46862
/proc/meminfo: memFree=129783168/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3274.45 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 327445 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3274.45 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.14 4.13 5/250 46864
/proc/meminfo: memFree=129783184/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3334.31 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 333431 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3334.31 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/250 46866
/proc/meminfo: memFree=129782932/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3394.17 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 339417 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/250 46868
/proc/meminfo: memFree=129782972/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3454.02 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 345402 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3454.02 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/250 46870
/proc/meminfo: memFree=129784200/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3513.88 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 351388 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3513.88 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 46872
/proc/meminfo: memFree=129783204/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3573.74 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 357374 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.13 4.12 4.11 4/246 46882
/proc/meminfo: memFree=129789016/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3600.07 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 360007 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 46592 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3600.08 s, system=0.001996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.13 4.12 4.11 4/246 46882
/proc/meminfo: memFree=129789016/131382112 swapFree=33010684/33010684
[pid=46592] ppid=46589 vsize=20880 memory=6784 CPUtime=3600.07 cores=4,6
/proc/46592/stat : 46592 (NuPBO-DeepOpt+) R 46589 46592 45903 0 -1 4194304 883 0 0 0 360007 0 0 0 20 0 1 0 44382823 21381120 1696 18446744073709551615 4198400 15468185 140724144537856 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 33353728 140724144540050 140724144540165 140724144540165 140724144545767 0
/proc/46592/statm: 5220 1696 1152 2752 0 1873 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 20880 KiB
Current children cumulated memory: 6784 KiB
Child status: 10
Real time (s): 3608.7
CPU time (s): 3600.08
CPU user time (s): 3600.08
CPU system time (s): 0.001996
CPU usage (%): 99.7611
Max. virtual memory (cumulated for all children) (KiB): 20880
Max. memory (cumulated for all children) (KiB): 6784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.08
system time used= 0.001996
maximum resident set size= 6912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 900
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= 2
involuntary context switches= 1627
# summary of solver processes directly reported to runsolver:
# pid: 46592
# total CPU time (s): 3600.08
# total CPU user time (s): 3600.08
# total CPU system time (s): 0.001996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6914 second user time and 31.1471 second system time
The end
Begin job on nodeC007 at 2025-06-30 14:37:17 IDJOB=4484117 IDBENCH=146650 IDSOLVER=3342 FILE ID=nodeC007/4484117-1751287037 RUNJOBID= nodeC007-1751279813-45914 SLURM_JOB_ID= 9594220 Free space on /tmp= 432960 MiB SOLVER NAME= NuPBO-DeepOpt+ 2025-06-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb COMMAND LINE= ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484117-1751287037/watcher-4484117-1751287037 -o /tmp/evaluation-result-4484117-1751287037/solver-4484117-1751287037 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751279813-45914 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4484117-1751287037.opb -t 3600 -s 376843768 --no-s TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=376843768 nodeC007 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.158 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.68 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 : 2993.055 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.68 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.197 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.68 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.333 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.68 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.194 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.68 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.198 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.68 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.204 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.68 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.455 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129797644 kB MemAvailable: 129933812 kB Buffers: 3280 kB Cached: 943948 kB SwapCached: 0 kB Active: 325016 kB Inactive: 697568 kB Active(anon): 93316 kB Inactive(anon): 0 kB Active(file): 231700 kB Inactive(file): 697568 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17036 kB Writeback: 16 kB AnonPages: 78532 kB Mapped: 103420 kB Shmem: 17960 kB KReclaimable: 93052 kB Slab: 176268 kB SReclaimable: 93052 kB SUnreclaim: 83216 kB KernelStack: 3952 kB PageTables: 3196 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 356704 kB VmallocTotal: 34359738367 kB VmallocUsed: 149304 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432952 MiB End job on nodeC007 at 2025-06-30 15:37:26