0.09/0.12 c Filename:instance-4508866-1751522899.opb, Cutoff_time:3600, memory_limit_gb:500000
0.09/0.12 c Scip time: 1800
0.09/0.12 c Use Presolve
0.09/0.12 c Parse finsih
0.09/0.12 c Start Presolve
0.09/0.12 c After Reduce Vars: 949 Clauses: 2100 Top clause weight: 921 Hard Clauses: 1248
3600.07/3608.60 c Use LS-small
3600.07/3608.60 c Use postsolve
3600.07/3608.60 o -167
3600.07/3608.60 s SATISFIABLE
3600.07/3608.60 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.07/3608.60 c Use postsolve
3600.07/3608.60 c Done 561.49s
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 (62646 MiB free)
memory of node 1: 64507 MiB (63806 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508866-1751522899/watcher-4508866-1751522899 -o /tmp/evaluation-result-4508866-1751522899/solver-4508866-1751522899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751515681-72659 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4508866-1751522899.opb -t 3600 -s 1362934086
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=73441, runsolver pid=73437
[startup+0.100065 s]*
/proc/loadavg: 4.09 4.11 4.09 3/255 73446
/proc/meminfo: memFree=129488892/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=34884 memory=25964 CPUtime=0.09 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 3956 0 0 0 9 0 0 0 20 0 1 0 67969829 35721216 6491 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 8721 6491 2816 2752 0 5374 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34884 KiB
Current children cumulated memory: 25964 KiB
[startup+0.205625 s]*
/proc/loadavg: 4.09 4.11 4.09 3/255 73446
/proc/meminfo: memFree=129469488/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=43784 memory=33628 CPUtime=0.19 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 6823 0 0 0 18 1 0 0 20 0 1 0 67969829 44834816 8407 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 10946 8407 2816 2752 0 7599 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43784 KiB
Current children cumulated memory: 33628 KiB
[startup+0.305527 s]*
/proc/loadavg: 4.09 4.11 4.09 3/257 73448
/proc/meminfo: memFree=129469488/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=43784 memory=33628 CPUtime=0.29 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 6848 0 0 0 28 1 0 0 20 0 1 0 67969829 44834816 8407 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 10946 8407 2816 2752 0 7599 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43784 KiB
Current children cumulated memory: 33628 KiB
[startup+0.700173 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 73467
/proc/meminfo: memFree=129482980/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=50708 memory=41180 CPUtime=0.68 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 8725 0 0 0 67 1 0 0 20 0 1 0 67969829 51924992 10295 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 12677 10295 2816 2752 0 9330 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50708 KiB
Current children cumulated memory: 41180 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 73520
/proc/meminfo: memFree=129424748/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=59552 memory=48092 CPUtime=1.47 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 10449 0 0 0 146 1 0 0 20 0 1 0 67969829 60981248 12023 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 14888 12023 2816 2752 0 11541 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 59552 KiB
Current children cumulated memory: 48092 KiB
[startup+3.10551 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 73520
/proc/meminfo: memFree=129256424/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=64376 memory=51676 CPUtime=3.08 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 11335 0 0 0 306 2 0 0 20 0 1 0 67969829 65921024 12919 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 16094 12919 2816 2752 0 12747 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64376 KiB
Current children cumulated memory: 51676 KiB
[startup+6.30012 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 73520
/proc/meminfo: memFree=129164256/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=64376 memory=51676 CPUtime=6.27 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 11351 0 0 0 625 2 0 0 20 0 1 0 67969829 65921024 12919 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 16094 12919 2816 2752 0 12747 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 64376 KiB
Current children cumulated memory: 51676 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 73520
/proc/meminfo: memFree=128922844/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=64376 memory=51676 CPUtime=12.65 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 11351 0 0 0 1263 2 0 0 20 0 1 0 67969829 65921024 12919 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 16094 12919 2816 2752 0 12747 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 64376 KiB
Current children cumulated memory: 51676 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 73520
/proc/meminfo: memFree=128690272/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=135048 memory=117980 CPUtime=25.41 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 27906 0 0 0 2536 5 0 0 20 0 1 0 67969829 138289152 29495 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 33762 29495 2816 2752 0 30415 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 135048 KiB
Current children cumulated memory: 117980 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 73521
/proc/meminfo: memFree=128397984/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=178868 memory=164572 CPUtime=50.94 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 38961 0 0 0 5088 6 0 0 20 0 1 0 67969829 183160832 41143 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 44717 41143 2816 2752 0 41370 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 178868 KiB
Current children cumulated memory: 164572 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/263 73527
/proc/meminfo: memFree=128088116/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=457764 memory=444136 CPUtime=101.99 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 113503 0 0 0 10181 18 0 0 20 0 1 0 67969829 468750336 111034 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 114441 111034 2816 2752 0 111094 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 457764 KiB
Current children cumulated memory: 444136 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/263 73529
/proc/meminfo: memFree=128078420/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=457764 memory=446824 CPUtime=161.83 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 113753 0 0 0 16165 18 0 0 20 0 1 0 67969829 468750336 111706 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 114441 111706 2816 2752 0 111094 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 457764 KiB
Current children cumulated memory: 446824 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/263 73530
/proc/meminfo: memFree=127666432/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=457764 memory=448488 CPUtime=221.67 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 113878 0 0 0 22149 18 0 0 20 0 1 0 67969829 468750336 112122 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 114441 112122 2816 2752 0 111094 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 457764 KiB
Current children cumulated memory: 448488 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 73532
/proc/meminfo: memFree=127615528/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=463312 memory=453900 CPUtime=281.51 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 115123 0 0 0 28133 18 0 0 20 0 1 0 67969829 474431488 113475 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 115828 113475 2816 2752 0 112481 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 463312 KiB
Current children cumulated memory: 453900 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 73534
/proc/meminfo: memFree=127561192/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=472696 memory=461964 CPUtime=341.35 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 117542 0 0 0 34116 19 0 0 20 0 1 0 67969829 484040704 115491 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 118174 115491 2816 2752 0 114827 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 472696 KiB
Current children cumulated memory: 461964 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 73536
/proc/meminfo: memFree=127533904/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=476560 memory=464208 CPUtime=401.19 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 119269 0 0 0 40100 19 0 0 20 0 1 0 67969829 487997440 116052 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 119140 116052 2816 2752 0 115793 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 476560 KiB
Current children cumulated memory: 464208 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/262 73538
/proc/meminfo: memFree=127513760/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=482420 memory=467152 CPUtime=461.05 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 120373 0 0 0 46085 20 0 0 20 0 1 0 67969829 493998080 116788 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 120605 116788 2816 2752 0 117258 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
Current children cumulated memory: 296052 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 73648
/proc/meminfo: memFree=127043708/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=2855.42 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122732 0 0 0 285522 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 2855.42 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 73650
/proc/meminfo: memFree=127044996/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=2915.29 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122732 0 0 0 291509 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 2915.29 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 73655
/proc/meminfo: memFree=127044220/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=2975.16 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122733 0 0 0 297496 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 2975.16 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 73657
/proc/meminfo: memFree=127044308/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3035.02 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122733 0 0 0 303482 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3035.02 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 73663
/proc/meminfo: memFree=127044376/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3094.89 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122733 0 0 0 309469 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3094.89 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 73676
/proc/meminfo: memFree=127042900/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3154.76 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122734 0 0 0 315456 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3154.76 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 73678
/proc/meminfo: memFree=127045716/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3214.63 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122734 0 0 0 321443 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3214.63 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 73680
/proc/meminfo: memFree=127044716/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3274.49 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122735 0 0 0 327429 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3274.49 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 73682
/proc/meminfo: memFree=127044720/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3334.36 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122735 0 0 0 333416 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3334.36 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 73684
/proc/meminfo: memFree=127045884/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3394.23 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122735 0 0 0 339403 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3394.23 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 73686
/proc/meminfo: memFree=127044676/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3454.1 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122736 0 0 0 345390 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3454.1 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 73688
/proc/meminfo: memFree=127044444/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3513.96 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122736 0 0 0 351376 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3513.96 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 73692
/proc/meminfo: memFree=127044588/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3573.83 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122737 0 0 0 357363 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 73694
/proc/meminfo: memFree=127044484/131250000 swapFree=33010416/33010684
[pid=73441] ppid=73437 vsize=303500 memory=296052 CPUtime=3600.07 cores=5,7
/proc/73441/stat : 73441 (NuPBO-DeepOptS+) R 73437 73441 72646 0 -1 4194304 122737 0 0 0 359987 20 0 0 20 0 1 0 67969829 310784000 74013 18446744073709551615 4198400 15468185 140734627513904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32120832 140734627518870 140734627518980 140734627518980 140734627524582 0
/proc/73441/statm: 75875 74013 2816 2752 0 72528 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 303500 KiB
Current children cumulated memory: 296052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.6 s]
# the end of solver process 73441 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.88 s, system=0.209351 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.6
CPU time (s): 3600.09
CPU user time (s): 3599.88
CPU system time (s): 0.209351
CPU usage (%): 99.7641
Max. virtual memory (cumulated for all children) (KiB): 484780
Max. memory (cumulated for all children) (KiB): 468624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.88
system time used= 0.209351
maximum resident set size= 472720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122765
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= 46
involuntary context switches= 3778
# summary of solver processes directly reported to runsolver:
# pid: 73441
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.88
# total CPU system time (s): 0.209351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13042 second user time and 13.8233 second system time
The end
Begin job on nodeC027 at 2025-07-03 08:08:19
IDJOB=4508866
IDBENCH=158516
IDSOLVER=3343
FILE ID=nodeC027/4508866-1751522899
RUNJOBID= nodeC027-1751515681-72659
SLURM_JOB_ID= 9598626
Free space on /tmp= 431152 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508866-1751522899/watcher-4508866-1751522899 -o /tmp/evaluation-result-4508866-1751522899/solver-4508866-1751522899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751515681-72659 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4508866-1751522899.opb -t 3600 -s 1362934086
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987
RANDOM SEED=1362934086
nodeC027 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 : 2043.117
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.29
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.665
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2296.819
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.29
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 : 3601.290
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2255.123
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.29
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 : 3596.987
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2019.298
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.29
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.671
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129488780 kB
MemAvailable: 129717780 kB
Buffers: 2488 kB
Cached: 1028888 kB
SwapCached: 12 kB
Active: 617408 kB
Inactive: 488368 kB
Active(anon): 89664 kB
Inactive(anon): 2792 kB
Active(file): 527744 kB
Inactive(file): 485576 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32632 kB
Writeback: 0 kB
AnonPages: 77488 kB
Mapped: 103960 kB
Shmem: 18056 kB
KReclaimable: 109436 kB
Slab: 197884 kB
SReclaimable: 109436 kB
SUnreclaim: 88448 kB
KernelStack: 4112 kB
PageTables: 2928 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 339904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431116 MiB
End job on nodeC027 at 2025-07-03 09:08:28