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 (61679 MiB free)
memory of node 1: 64465 MiB (63254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522440-1751589980/watcher-4522440-1751589980 -o /tmp/evaluation-result-4522440-1751589980/solver-4522440-1751589980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751589980-80803 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4522440-1751589980.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=80845, runsolver pid=80838
[startup+0.10007 s]*
/proc/loadavg: 1.04 1.19 2.09 6/266 80861
/proc/meminfo: memFree=127903240/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=36968 memory=19460 CPUtime=0.06 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 4004 0 0 0 6 0 0 0 20 0 1 0 74675564 37855232 4865 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 9242 4865 768 2416 0 6344 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 43952 KiB
Current children cumulated memory: 23812 KiB
[startup+0.205958 s]*
/proc/loadavg: 1.04 1.19 2.09 6/266 80862
/proc/meminfo: memFree=127844896/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=36268 memory=18528 CPUtime=0.16 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 4927 0 0 0 16 0 0 0 20 0 1 0 74675564 37138432 4632 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 9067 4632 800 2416 0 6169 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 43252 KiB
Current children cumulated memory: 22880 KiB
[startup+0.305733 s]*
/proc/loadavg: 1.04 1.19 2.09 6/273 80874
/proc/meminfo: memFree=127835060/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=36268 memory=19552 CPUtime=0.25 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 5186 0 0 0 25 0 0 0 20 0 1 0 74675564 37138432 4888 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 9067 4888 800 2416 0 6169 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 43252 KiB
Current children cumulated memory: 23904 KiB
[startup+0.700228 s]
/proc/loadavg: 1.04 1.19 2.09 5/273 80874
/proc/meminfo: memFree=127745784/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=43344 memory=27276 CPUtime=0.64 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 6093 0 0 0 64 0 0 0 20 0 1 0 74675564 44384256 6819 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 10836 6819 800 2416 0 7938 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 50328 KiB
Current children cumulated memory: 31628 KiB
[startup+1.50023 s]
/proc/loadavg: 1.04 1.19 2.09 6/273 80874
/proc/meminfo: memFree=127578688/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=43344 memory=27296 CPUtime=1.44 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 6895 0 0 0 143 1 0 0 20 0 1 0 74675564 44384256 6824 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 10836 6824 800 2416 0 7938 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 50328 KiB
Current children cumulated memory: 31648 KiB
[startup+3.10585 s]
/proc/loadavg: 1.04 1.19 2.09 6/273 80874
/proc/meminfo: memFree=126893244/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=46640 memory=28200 CPUtime=3.05 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 7480 0 0 0 303 2 0 0 20 0 1 0 74675564 47759360 7050 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 11660 7050 800 2416 0 8762 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 53624 KiB
Current children cumulated memory: 32552 KiB
[startup+6.30022 s]
/proc/loadavg: 1.27 1.24 2.10 5/273 80874
/proc/meminfo: memFree=126448656/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=65476 memory=50440 CPUtime=6.23 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 8617 0 0 0 620 3 0 0 20 0 1 0 74675564 67047424 12610 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 16369 12610 800 2416 0 13471 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 72460 KiB
Current children cumulated memory: 54792 KiB
[startup+12.7002 s]
/proc/loadavg: 1.49 1.28 2.11 6/273 80875
/proc/meminfo: memFree=123972320/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=95824 memory=76692 CPUtime=12.61 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 9059 0 0 0 1258 3 0 0 20 0 1 0 74675564 98123776 19173 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 23956 19173 800 2416 0 21058 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 102808 KiB
Current children cumulated memory: 81044 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.43 2.14 6/273 80875
/proc/meminfo: memFree=122739728/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=95824 memory=80788 CPUtime=25.38 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 10649 0 0 0 2530 8 0 0 20 0 1 0 74675564 98123776 20197 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 23956 20197 800 2416 0 21058 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 102808 KiB
Current children cumulated memory: 85140 KiB
[startup+51.1057 s]
/proc/loadavg: 2.77 1.64 2.19 5/274 80928
/proc/meminfo: memFree=121597404/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=145144 memory=120876 CPUtime=50.92 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 15434 0 0 0 5072 20 0 0 20 0 1 0 74675564 148627456 30219 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 36286 30219 800 2416 0 33388 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 125228 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.04 2.30 5/274 80931
/proc/meminfo: memFree=119794884/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
################
# More data... #
################
[pid=80859] ppid=80856 vsize=197516 memory=165312 CPUtime=759.98 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 168110 0 0 0 75679 319 0 0 20 0 1 0 74675564 202256384 41328 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 49379 41328 800 2416 0 46481 0
Current children cumulated CPU time: 759.98 s
Current children cumulated vsize: 204500 KiB
Current children cumulated memory: 169664 KiB
[startup+822.3 s]
/proc/loadavg: 4.11 3.93 3.30 5/274 81015
/proc/meminfo: memFree=122636548/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=197516 memory=159168 CPUtime=819.8 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 177378 0 0 0 81633 347 0 0 20 0 1 0 74675564 202256384 39792 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 49379 39792 800 2416 0 46481 0
Current children cumulated CPU time: 819.8 s
Current children cumulated vsize: 204500 KiB
Current children cumulated memory: 163520 KiB
[startup+882.3 s]
/proc/loadavg: 4.04 3.95 3.34 5/274 81032
/proc/meminfo: memFree=122609980/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=197516 memory=181696 CPUtime=879.61 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 185332 0 0 0 87589 372 0 0 20 0 1 0 74675564 202256384 45424 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 49379 45424 800 2416 0 46481 0
Current children cumulated CPU time: 879.61 s
Current children cumulated vsize: 204500 KiB
Current children cumulated memory: 186048 KiB
[startup+899.77 s]
# the end of solver process 80845 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=893.172 s, system=3.83179 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 4.04 3.95 3.34 5/274 81032
/proc/meminfo: memFree=122609980/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=247604 memory=184948 CPUtime=880.5 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 185634 0 0 0 87678 372 0 0 20 0 1 0 74675564 253546496 46237 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 61901 46237 800 2416 0 59003 0
Current children cumulated CPU time: 880.5 s
Current children cumulated vsize: 254588 KiB
Current children cumulated memory: 189300 KiB
[startup+889.6 s]
/proc/loadavg: 4.11 3.96 3.36 5/274 81032
/proc/meminfo: memFree=122626104/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=197516 memory=167360 CPUtime=886.88 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 186650 0 0 0 88313 375 0 0 20 0 1 0 74675564 202256384 41840 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 49379 41840 800 2416 0 46481 0
Current children cumulated CPU time: 886.88 s
Current children cumulated vsize: 204500 KiB
Current children cumulated memory: 171712 KiB
[startup+896 s]*
/proc/loadavg: 4.10 3.97 3.36 5/274 81032
/proc/meminfo: memFree=122618656/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=197516 memory=179648 CPUtime=893.27 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 187320 0 0 0 88950 377 0 0 20 0 1 0 74675564 202256384 44912 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 49379 44912 800 2416 0 46481 0
Current children cumulated CPU time: 893.27 s
Current children cumulated vsize: 204500 KiB
Current children cumulated memory: 184000 KiB
[startup+897.6 s]
/proc/loadavg: 4.10 3.97 3.36 5/274 81032
/proc/meminfo: memFree=122604668/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=247604 memory=186996 CPUtime=894.85 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 187624 0 0 0 89108 377 0 0 20 0 1 0 74675564 253546496 46749 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 61901 46749 800 2416 0 59003 0
Current children cumulated CPU time: 894.85 s
Current children cumulated vsize: 254588 KiB
Current children cumulated memory: 191348 KiB
[startup+898.4 s]
/proc/loadavg: 4.10 3.97 3.36 5/274 81032
/proc/meminfo: memFree=122627140/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
[pid=80856] ppid=80845 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80856/stat : 80856 (timeout) S 80845 80856 80793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 93950861594624 93950861611137 140731832447872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93950861625904 93950861627992 93950887997440 140731832449432 140731832449570 140731832449570 140731832455143 0
/proc/80856/statm: 665 352 352 5 0 90 0
[pid=80859] ppid=80856 vsize=247604 memory=193140 CPUtime=895.65 cores=0,2
/proc/80859/stat : 80859 (CASHWMaxSAT-Dis) R 80856 80856 80793 0 -1 4194304 187627 0 0 0 89188 377 0 0 20 0 1 0 74675564 253546496 48285 18446744073709551615 4198400 14093885 140721870461344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40947712 140721870465437 140721870465563 140721870465563 140721870471136 0
/proc/80859/statm: 61901 48285 800 2416 0 59003 0
Current children cumulated CPU time: 895.65 s
Current children cumulated vsize: 254588 KiB
Current children cumulated memory: 197492 KiB
[startup+899.2 s]
/proc/loadavg: 4.09 3.97 3.37 5/274 81032
/proc/meminfo: memFree=122634488/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=896.29 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 283 188198 0 0 0 0 89250 379 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 896.29 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+899.6 s]
/proc/loadavg: 4.09 3.97 3.37 5/274 81032
/proc/meminfo: memFree=122634488/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=896.29 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 283 188198 0 0 0 0 89250 379 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 896.29 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+899.7 s]
/proc/loadavg: 4.09 3.97 3.37 5/274 81032
/proc/meminfo: memFree=122634488/131250000 swapFree=33007332/33010684
[pid=80845] ppid=80838 vsize=4324 memory=2944 CPUtime=896.29 cores=0,2
/proc/80845/stat : 80845 (Hybrid-CASHWMax) S 80838 80845 80793 0 -1 4194304 283 188198 0 0 0 0 89250 379 20 0 1 0 74675560 4427776 736 18446744073709551615 94425667497984 94425668392517 140731713150896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94425668631568 94425668679312 94425671233536 140731713153365 140731713153520 140731713153520 140731713159122 0
/proc/80845/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 896.29 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 899.77
CPU time (s): 897.004
CPU user time (s): 893.172
CPU system time (s): 3.83179
CPU usage (%): 99.6926
Max. virtual memory (cumulated for all children) (KiB): 334728
Max. memory (cumulated for all children) (KiB): 245872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 893.172
system time used= 3.83179
maximum resident set size= 253808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 894
involuntary context switches= 1178
# summary of solver processes directly reported to runsolver:
# pid: 80845
# total CPU time (s): 897.004
# total CPU user time (s): 893.172
# total CPU system time (s): 3.83179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.82378 second user time and 4.51225 second system time
The end
Begin job on nodeC019 at 2025-07-04 02:46:20
IDJOB=4522440
IDBENCH=178829
IDSOLVER=3330
FILE ID=nodeC019/4522440-1751589980
RUNJOBID= nodeC019-1751589980-80803
SLURM_JOB_ID= 9598844
Free space on /tmp= 431588 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522440-1751589980/watcher-4522440-1751589980 -o /tmp/evaluation-result-4522440-1751589980/solver-4522440-1751589980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751589980-80803 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4522440-1751589980.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=613380709
nodeC019 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.669
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.37
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.223
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.37
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.388
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.37
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 : 3599.225
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.37
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.081
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.37
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 : 3520.573
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.37
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 : 3599.674
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.37
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.676
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127948964 kB
MemAvailable: 129742600 kB
Buffers: 904 kB
Cached: 2595768 kB
SwapCached: 440 kB
Active: 221512 kB
Inactive: 2449836 kB
Active(anon): 62456 kB
Inactive(anon): 27736 kB
Active(file): 159056 kB
Inactive(file): 2422100 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 87480 kB
Writeback: 0 kB
AnonPages: 77928 kB
Mapped: 103744 kB
Shmem: 15192 kB
KReclaimable: 103440 kB
Slab: 192316 kB
SReclaimable: 103440 kB
SUnreclaim: 88876 kB
KernelStack: 4040 kB
PageTables: 2392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 338020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431424 MiB
End job on nodeC019 at 2025-07-04 03:01:20