0.00/0.06 c Filename:instance-4484118-1751287216.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.06 c Scip time: 1800
0.00/0.06 c Use Presolve
0.00/0.06 c Parse finsih
0.00/0.06 c Start Presolve
0.00/0.06 c After Reduce Vars: 899 Clauses: 1402 Top clause weight: 33616 Hard Clauses: 655
3600.00/3608.90 c Use LS-small
3600.00/3608.90 c Use postsolve
3600.00/3608.90 o 2642
3600.00/3608.90 s SATISFIABLE
3600.00/3608.90 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.00/3608.90 c Use postsolve
3600.00/3608.90 c Done 0.05s
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: 63708 MiB (62943 MiB free)
memory of node 1: 64465 MiB (63898 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484118-1751287216/watcher-4484118-1751287216 -o /tmp/evaluation-result-4484118-1751287216/solver-4484118-1751287216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751279994-36557 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4484118-1751287216.opb -t 3600 -s 973604247
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=37239, runsolver pid=37232
[startup+0.100059 s]*
/proc/loadavg: 4.04 4.09 4.09 2/254 37244
/proc/meminfo: memFree=129879744/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18800 CPUtime=0.09 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 9 0 0 0 20 0 1 0 44344090 27312128 4700 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4700 2816 2752 0 3321 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18800 KiB
[startup+0.205468 s]*
/proc/loadavg: 4.04 4.09 4.09 3/257 37258
/proc/meminfo: memFree=129879320/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18800 CPUtime=0.19 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 19 0 0 0 20 0 1 0 44344090 27312128 4700 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4700 2816 2752 0 3321 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18800 KiB
[startup+0.305444 s]*
/proc/loadavg: 4.04 4.09 4.09 3/255 37266
/proc/meminfo: memFree=129911440/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18800 CPUtime=0.29 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 29 0 0 0 20 0 1 0 44344090 27312128 4700 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4700 2816 2752 0 3321 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18800 KiB
[startup+0.700172 s]
/proc/loadavg: 4.04 4.09 4.09 2/256 37291
/proc/meminfo: memFree=129919400/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18800 CPUtime=0.68 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 67 1 0 0 20 0 1 0 44344090 27312128 4700 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4700 2816 2752 0 3321 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18800 KiB
[startup+1.5002 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 37320
/proc/meminfo: memFree=129836808/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18800 CPUtime=1.48 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 147 1 0 0 20 0 1 0 44344090 27312128 4700 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4700 2816 2752 0 3321 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18800 KiB
[startup+3.10487 s]
/proc/loadavg: 4.04 4.09 4.08 5/266 37345
/proc/meminfo: memFree=129726204/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18800 CPUtime=3.08 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 307 1 0 0 20 0 1 0 44344090 27312128 4700 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4700 2816 2752 0 3321 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18800 KiB
[startup+6.3001 s]
/proc/loadavg: 4.04 4.09 4.08 5/266 37345
/proc/meminfo: memFree=129715016/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18800 CPUtime=6.26 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 625 1 0 0 20 0 1 0 44344090 27312128 4700 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4700 2816 2752 0 3321 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18800 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 37345
/proc/meminfo: memFree=129723696/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18800 CPUtime=12.65 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 1264 1 0 0 20 0 1 0 44344090 27312128 4700 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4700 2816 2752 0 3321 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18800 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 37347
/proc/meminfo: memFree=129720348/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=25.42 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 2541 1 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+51.1049 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 37347
/proc/meminfo: memFree=129712668/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=50.96 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 5095 1 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 37349
/proc/meminfo: memFree=129674692/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=102.03 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 10202 1 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 37351
/proc/meminfo: memFree=129651712/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=161.88 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 16187 1 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 37353
/proc/meminfo: memFree=129663064/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=221.73 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 22172 1 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 37355
/proc/meminfo: memFree=129671064/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=281.58 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 28157 1 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 37357
/proc/meminfo: memFree=129690320/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=341.43 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 34142 1 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 37366
/proc/meminfo: memFree=129692056/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=401.29 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 40128 1 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 37368
/proc/meminfo: memFree=129694108/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=461.14 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2863 0 0 0 46113 1 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
Current children cumulated memory: 18928 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 37498
/proc/meminfo: memFree=129706636/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=2915.09 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 291507 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 2915.09 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 37500
/proc/meminfo: memFree=129707404/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=2974.94 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 297492 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 37502
/proc/meminfo: memFree=129706052/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3034.79 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 303477 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3034.79 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 37504
/proc/meminfo: memFree=129706188/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3094.65 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 309463 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3094.65 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 37506
/proc/meminfo: memFree=129707260/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3154.5 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 315448 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3154.5 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 37509
/proc/meminfo: memFree=129706400/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3214.35 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 321433 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3214.35 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 37511
/proc/meminfo: memFree=129706288/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3274.2 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 327418 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.09 6/263 37513
/proc/meminfo: memFree=129706384/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3334.06 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 333404 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 37522
/proc/meminfo: memFree=129706584/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3393.91 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 339389 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/264 37523
/proc/meminfo: memFree=129706456/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3453.76 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 345374 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3453.76 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 37525
/proc/meminfo: memFree=129706308/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3513.62 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 351360 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 37528
/proc/meminfo: memFree=129706108/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3573.47 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 357345 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.33 4.16 4.11 4/261 37544
/proc/meminfo: memFree=129711268/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3600 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 359998 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 37239 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.99 s, system=0.02938 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.33 4.16 4.11 4/261 37544
/proc/meminfo: memFree=129711268/131250000 swapFree=33010684/33010684
[pid=37239] ppid=37232 vsize=26672 memory=18928 CPUtime=3600 cores=4,6
/proc/37239/stat : 37239 (NuPBO-DeepOptS+) R 37232 37239 36546 0 -1 4194304 2869 0 0 0 359998 2 0 0 20 0 1 0 44344090 27312128 4732 18446744073709551615 4198400 15468185 140721222972640 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27353088 140721222977943 140721222978052 140721222978052 140721222983654 0
/proc/37239/statm: 6668 4732 2816 2752 0 3321 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 18928 KiB
Child status: 10
Real time (s): 3608.9
CPU time (s): 3600.02
CPU user time (s): 3599.99
CPU system time (s): 0.02938
CPU usage (%): 99.7538
Max. virtual memory (cumulated for all children) (KiB): 26672
Max. memory (cumulated for all children) (KiB): 18928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.99
system time used= 0.02938
maximum resident set size= 21632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2880
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= 2721
# summary of solver processes directly reported to runsolver:
# pid: 37239
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.99
# total CPU system time (s): 0.02938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8358 second user time and 10.9746 second system time
The end
Begin job on nodeC028 at 2025-06-30 14:40:16
IDJOB=4484118
IDBENCH=146650
IDSOLVER=3343
FILE ID=nodeC028/4484118-1751287216
RUNJOBID= nodeC028-1751279994-36557
SLURM_JOB_ID= 9594222
Free space on /tmp= 433008 MiB
SOLVER NAME= NuPBO-DeepOptS+ 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-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484118-1751287216/watcher-4484118-1751287216 -o /tmp/evaluation-result-4484118-1751287216/solver-4484118-1751287216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751279994-36557 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4484118-1751287216.opb -t 3600 -s 973604247
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=973604247
nodeC028 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 : 3600.468
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 : 7000.16
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 : 3600.066
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 : 7000.16
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 : 3600.181
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 : 7000.16
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 : 3585.990
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 : 7000.16
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.824
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 : 7000.16
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 : 3700.000
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 : 7000.16
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.453
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 : 7000.16
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 : 3600.095
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129879144 kB
MemAvailable: 129717224 kB
Buffers: 3280 kB
Cached: 646560 kB
SwapCached: 0 kB
Active: 331884 kB
Inactive: 390116 kB
Active(anon): 90228 kB
Inactive(anon): 0 kB
Active(file): 241656 kB
Inactive(file): 390116 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17020 kB
Writeback: 0 kB
AnonPages: 75360 kB
Mapped: 103572 kB
Shmem: 18068 kB
KReclaimable: 91096 kB
Slab: 175004 kB
SReclaimable: 91096 kB
SUnreclaim: 83908 kB
KernelStack: 4176 kB
PageTables: 3016 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 370844 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3712 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC028 at 2025-06-30 15:40:25