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) | -167 | 3600.05 | 3607.11 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament26.lin.opb |
| MD5SUM | 21e597bc04bc5fa012b59bdeb9fb9987 |
| 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 | -167 |
| Best CPU time to get the best result obtained on this benchmark | 455.13 |
| 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 | 949 |
| Total number of constraints | 1248 |
| Number of constraints which are clauses | 624 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 624 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 852 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 920 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 920 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3600.04/3607.10 c Filename:instance-4508865-1751521090.opb, Cutoff_time:3600, memory_limit_gb:500000 3600.04/3607.10 c Use Presolve 3600.04/3607.10 c Parse finsih 3600.04/3607.10 c Start Presolve 3600.04/3607.10 c After Reduce Vars: 949 Clauses: 2100 Top clause weight: 921 Hard Clauses: 1248 3600.04/3607.10 c Use LS-small 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o 0 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -129 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -144 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -147 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -149 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -150 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -152 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -153 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -154 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -156 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -157 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -159 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -160 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -161 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -162 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -163 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -164 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -165 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -166 3600.04/3607.10 c Use postsolve 3600.04/3607.10 o -167 3600.04/3607.10 s SATISFIABLE 3600.04/3607.10 v -x326 x1 -x2 x327 x136 -x328 x329 -x330 x89 -x331 -x133 -x332 -x333 -x3 x14 -x334 x59 -x335 -x336 -x337 -x4 x78 -x338 x201 -x339 -x340 -x341 -x5 -x34 -x342 x35 -x343 x76 -x344 x345 x6 -x346 x347 -x348 x349 x7 x62 -x350 -x169 -x351 -x352 -x353 x8 -x11 -x354 -x15 -x355 -x356 -x357 -x9 x63 -x358 x79 -x359 -x199 -x360 x361 x10 x145 x362 x149 -x363 -x172 -x364 -x365 -x366 x97 -x367 -x368 x12 -x122 x369 x171 -x370 -x204 x371 -x372 -x13 x17 -x373 x228 -x374 x375 x60 x376 -x377 -x378 x379 x16 x83 -x380 -x106 x381 x180 -x382 -x383 -x18 x384 x42 -x385 -x56 -x386 x22 -x387 -x19 x197 -x388 -x389 -x390 -x391 x20 -x107 x392 x127 -x393 -x211 -x394 x395 x21 x30 -x396 -x40 x397 x68 -x398 -x399 -x23 -x400 -x31 -x401 -x73 -x402 x26 x403 x24 -x404 -x128 -x405 -x155 x406 -x407 x25 -x408 -x53 -x409 -x410 -x411 -x27 -x412 -x92 x413 -x414 x32 -x415 -x28 -x416 x156 -x417 x181 -x418 -x419 -x29 -x420 x70 -x421 -x422 -x423 -x216 x424 x220 -x425 -x426 x43 -x427 x55 -x428 -x429 -x33 -x430 -x113 x431 -x432 -x433 -x434 -x96 x435 x142 -x436 -x36 x37 -x437 x47 -x438 x101 -x439 -x440 -x48 x441 x66 x442 x123 -x443 x38 -x444 -x182 -x445 -x212 -x446 x447 x39 -x448 -x85 -x449 -x450 -x451 x86 -x452 -x453 -x41 -x454 -x455 -x456 x457 x57 x458 x72 -x459 -x44 -x460 -x137 -x461 -x462 -x45 x95 -x463 -x464 -x46 -x465 -x466 -x467 -x468 -x49 -x469 x470 x152 -x471 x50 -x472 -x473 -x474 -x475 -x476 -x477 -x154 x478 -x479 x51 -x480 -x214 x481 x482 -x483 x52 -x484 -x109 -x485 -x486 -x487 -x488 -x489 -x54 -x490 x223 -x491 -x492 -x493 -x494 -x90 -x495 x74 -x496 x91 -x497 -x58 -x498 -x226 -x499 -x500 -x116 -x501 -x140 x502 x166 -x503 x504 x61 -x505 -x506 x507 -x508 -x80 x509 x510 -x511 -x512 x64 -x513 -x100 x514 -x515 -x516 x65 -x67 -x517 -x102 -x518 -x178 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x69 -x527 -x528 -x529 x131 -x530 -x215 -x531 -x532 -x533 -x71 -x534 -x535 -x536 -x537 -x538 -x111 -x539 -x540 x93 -x541 x112 -x542 -x75 -x543 -x193 -x544 -x545 -x141 x546 x77 x547 -x548 x549 -x550 -x551 -x98 x552 -x553 x554 x168 -x555 x81 -x556 -x557 -x558 -x120 x559 -x560 -x82 -x561 -x562 -x563 -x564 -x84 -x565 -x566 -x567 x158 -x568 -x183 -x569 -x87 -x570 x571 -x572 -x219 -x573 -x574 -x575 -x222 -x576 x88 x577 x578 -x579 -x580 -x581 -x582 -x583 -x134 -x584 x114 -x585 x135 -x586 -x94 -x587 -x227 -x588 -x589 -x196 -x590 x591 -x592 -x593 -x594 -x118 x595 x198 -x596 x99 -x597 x598 x203 -x599 -x600 -x601 -x144 -x602 x173 -x603 -x103 -x604 -x605 x147 -x606 x177 -x607 -x608 x174 -x609 -x610 x611 x104 x105 x612 -x613 x614 -x615 x616 x617 -x618 -x619 -x620 x108 x621 -x622 -x185 x623 -x624 x110 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x162 -x634 x138 -x635 x163 -x636 -x115 x637 -x638 -x639 x117 -x640 -x641 -x642 -x194 x643 x644 -x645 -x119 -x646 -x647 x121 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x151 -x657 -x658 x659 x206 -x660 -x661 -x124 -x125 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x126 -x213 -x669 -x670 -x671 -x672 -x673 -x674 -x130 -x675 x129 -x676 -x677 -x678 -x679 -x680 x218 -x681 -x132 -x682 -x683 -x188 -x684 -x685 -x686 -x687 x187 -x688 -x689 -x690 -x691 -x692 -x190 x693 x164 -x694 -x191 -x695 -x696 x192 -x697 -x139 -x698 -x699 -x700 -x701 x143 -x702 -x703 x704 -x705 x706 x707 -x708 x146 -x709 -x710 -x711 -x148 -x712 x713 -x714 x715 x150 -x716 -x717 -x718 -x719 -x720 -x205 -x721 x722 x723 -x724 -x725 -x726 x727 x153 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x157 x739 -x740 x159 -x741 -x742 -x743 -x160 -x744 x745 x184 x746 -x747 x161 -x748 -x749 x750 x751 -x752 -x753 -x754 -x224 -x755 -x756 -x757 x165 -x167 x758 -x759 -x760 x761 -x762 -x763 -x764 x765 x766 -x767 -x200 -x768 -x769 x170 -x770 -x771 x772 x773 x774 -x775 -x776 x777 x176 -x778 x779 -x780 -x175 -x781 -x782 -x783 -x784 x785 x786 -x787 -x179 -x788 -x789 -x790 -x791 x792 x793 x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x186 -x803 -x804 -x805 x217 -x806 -x807 -x189 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x195 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 x202 -x836 -x837 x838 -x839 -x840 x841 x842 -x843 -x844 -x207 -x845 -x846 -x847 -x848 x208 -x849 x850 x209 x851 -x852 x853 x210 x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 x221 -x870 x871 x872 -x873 -x874 -x875 -x876 -x877 x225 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 x886 -x887 -x888 -x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 x926 -x927 x928 -x929 -x930 -x931 -x932 x933 -x934 x935 x936 x937 -x938 -x939 -x940 x941 -x942 x943 x944 x945 x946 x947 -x948 -x949 -x232 x236 x233 -x243 x260 -x255 x256 x248 -x240 x261 -x262 -x235 -x249 -x275 -x252 x241 x245 x283 -x273 -x277 x281 x288 -x284 -x282 x291 -x295 -x257 x278 x294 -x299 x237 -x285 x230 -x272 x267 -x292 x229 x274 x303 -x254 x289 x305 -x234 -x251 -x264 x296 x290 -x268 -x270 x231 x247 -x250 -x259 x269 -x310 -x242 x300 -x266 x271 x244 -x253 x314 x315 x316 -x307 -x246 -x304 -x286 x318 -x309 -x263 -x287 -x320 -x265 -x308 x279 x321 -x239 x306 x276 x258 -x302 x293 x298 -x323 -x317 x311 x322 x297 x312 x313 -x301 x319 -x280 -x324 x325 x238 3600.04/3607.10 c Use postsolve 3600.04/3607.10 c Done 1.2s
OK -167
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: 63665 MiB (62584 MiB free)
memory of node 1: 64507 MiB (63742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508865-1751521090/watcher-4508865-1751521090 -o /tmp/evaluation-result-4508865-1751521090/solver-4508865-1751521090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751517481-74288 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4508865-1751521090.opb -t 3600 -s 1928932637 --no-s
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=74717, runsolver pid=74712
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.09 4.12 4.04 4/260 74718
/proc/meminfo: memFree=129358916/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=0.1 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1188 0 0 0 10 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+0.204864 s]*
/proc/loadavg: 4.09 4.12 4.04 4/260 74730
/proc/meminfo: memFree=129378300/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=0.2 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1254 0 0 0 20 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+0.304506 s]*
/proc/loadavg: 4.09 4.12 4.04 5/258 74737
/proc/meminfo: memFree=129373316/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=0.3 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1287 0 0 0 30 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+0.700105 s]
/proc/loadavg: 4.09 4.12 4.04 5/262 74749
/proc/meminfo: memFree=129363440/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=0.69 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1287 0 0 0 69 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+1.50012 s]
/proc/loadavg: 4.09 4.12 4.04 5/262 74749
/proc/meminfo: memFree=129349768/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=1.49 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 149 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3.10536 s]
/proc/loadavg: 4.09 4.12 4.04 5/262 74749
/proc/meminfo: memFree=129128524/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3.09 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 309 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.12 4.04 5/262 74749
/proc/meminfo: memFree=129092060/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=6.28 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 628 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.04 5/262 74749
/proc/meminfo: memFree=129092132/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=12.66 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 1266 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.11 4.03 5/262 74750
/proc/meminfo: memFree=128930348/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=25.44 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 2544 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+51.1046 s]
/proc/loadavg: 4.11 4.12 4.04 5/262 74750
/proc/meminfo: memFree=128936832/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=50.99 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 5099 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/262 74752
/proc/meminfo: memFree=128914096/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=102.08 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 10208 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/262 74754
/proc/meminfo: memFree=128899116/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=161.96 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 16196 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.04 5/263 74757
/proc/meminfo: memFree=128873976/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=221.84 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 22184 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 74759
/proc/meminfo: memFree=128854800/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=281.73 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 28173 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 281.73 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/263 74761
/proc/meminfo: memFree=128880672/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=341.61 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 34161 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 341.61 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/263 74765
/proc/meminfo: memFree=128913672/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=401.49 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 40149 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 401.49 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.04 5/263 74771
/proc/meminfo: memFree=128913912/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=461.37 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 46137 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 461.37 s
################
# More data... #
################
Current children cumulated memory: 6784 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 74896
/proc/meminfo: memFree=128916964/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=2916.58 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 291658 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 2916.58 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/264 74899
/proc/meminfo: memFree=128916612/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=2976.46 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 297646 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 2976.46 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 74902
/proc/meminfo: memFree=128917348/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3036.34 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 303634 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3036.34 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 74904
/proc/meminfo: memFree=128916700/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3096.22 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 309622 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3096.22 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 74908
/proc/meminfo: memFree=128916588/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3156.11 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 315611 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3156.11 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 74910
/proc/meminfo: memFree=128916684/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3215.99 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 321599 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3215.99 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 74912
/proc/meminfo: memFree=128916548/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3275.87 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 327587 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3275.87 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 74914
/proc/meminfo: memFree=128916660/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3335.76 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 333576 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3335.76 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/264 74919
/proc/meminfo: memFree=128915808/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3395.64 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 339564 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3395.64 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 74925
/proc/meminfo: memFree=128915840/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3455.52 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 345552 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3455.52 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 74927
/proc/meminfo: memFree=128915992/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3515.4 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 351540 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3515.4 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.30 4.17 4.11 5/265 74929
/proc/meminfo: memFree=128915864/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3575.29 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 357529 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3575.29 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.11 s]
/proc/loadavg: 4.20 4.15 4.11 5/265 74931
/proc/meminfo: memFree=128915984/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3600.04 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 360004 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.11 s]
# the end of solver process 74717 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3600.05 s, system=0.002992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.11 s]
/proc/loadavg: 4.20 4.15 4.11 5/265 74931
/proc/meminfo: memFree=128915984/131249996 swapFree=33010416/33010684
[pid=74717] ppid=74712 vsize=20788 memory=6784 CPUtime=3600.04 cores=1,3
/proc/74717/stat : 74717 (NuPBO-DeepOpt+) R 74712 74717 74276 0 -1 4194304 1320 0 0 0 360004 0 0 0 20 0 1 0 67786732 21286912 1696 18446744073709551615 4198400 15468185 140729521873952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44826624 140729521879441 140729521879557 140729521879557 140729521885159 0
/proc/74717/statm: 5197 1696 1152 2752 0 1850 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 20788 KiB
Current children cumulated memory: 6784 KiB
Child status: 10
Real time (s): 3607.11
CPU time (s): 3600.05
CPU user time (s): 3600.05
CPU system time (s): 0.002992
CPU usage (%): 99.8045
Max. virtual memory (cumulated for all children) (KiB): 20788
Max. memory (cumulated for all children) (KiB): 6784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.05
system time used= 0.002992
maximum resident set size= 6912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1357
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= 911
# summary of solver processes directly reported to runsolver:
# pid: 74717
# total CPU time (s): 3600.05
# total CPU user time (s): 3600.05
# total CPU system time (s): 0.002992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0724 second user time and 11.7513 second system time
The end
Begin job on nodeC022 at 2025-07-03 07:38:10 IDJOB=4508865 IDBENCH=158516 IDSOLVER=3342 FILE ID=nodeC022/4508865-1751521090 RUNJOBID= nodeC022-1751517481-74288 SLURM_JOB_ID= 9598632 Free space on /tmp= 432328 MiB SOLVER NAME= NuPBO-DeepOpt+ 2025-06-02 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb COMMAND LINE= ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508865-1751521090/watcher-4508865-1751521090 -o /tmp/evaluation-result-4508865-1751521090/solver-4508865-1751521090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751517481-74288 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4508865-1751521090.opb -t 3600 -s 1928932637 --no-s TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987 RANDOM SEED=1928932637 nodeC022 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 : 0xb00002a cpu MHz : 3599.712 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.689 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.729 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3576.094 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.731 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.728 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.903 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.706 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129359132 kB MemAvailable: 129716364 kB Buffers: 2128 kB Cached: 1141236 kB SwapCached: 32 kB Active: 644900 kB Inactive: 598884 kB Active(anon): 114272 kB Inactive(anon): 4176 kB Active(file): 530628 kB Inactive(file): 594708 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 64720 kB Writeback: 48 kB AnonPages: 103556 kB Mapped: 112580 kB Shmem: 18028 kB KReclaimable: 141872 kB Slab: 231740 kB SReclaimable: 141872 kB SUnreclaim: 89868 kB KernelStack: 4092 kB PageTables: 3024 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 426784 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432308 MiB End job on nodeC022 at 2025-07-03 08:38:17