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: 63931 MiB (59794 MiB free)
memory of node 1: 64510 MiB (63523 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438566-1722984566/watcher-4438566-1722984566 -o /tmp/evaluation-result-4438566-1722984566/solver-4438566-1722984566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722984566-354858 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438566-1722984566.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=355021, runsolver pid=355018
[startup+0.100462 s]*
/proc/loadavg: 1.25 1.88 2.32 5/266 355038
/proc/meminfo: memFree=126227448/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=35408 memory=26752 CPUtime=0.08 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 4525 0 0 0 8 0 0 0 20 0 1 0 65054938 36257792 6688 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 8852 6688 2398 2417 0 5954 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54000 KiB
Current children cumulated memory: 30360 KiB
[startup+0.205671 s]*
/proc/loadavg: 1.25 1.88 2.32 5/266 355038
/proc/meminfo: memFree=126174752/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=42440 memory=33732 CPUtime=0.2 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 6217 0 0 0 19 1 0 0 20 0 1 0 65054938 43458560 8433 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 10610 8433 2510 2417 0 7712 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61032 KiB
Current children cumulated memory: 37340 KiB
[startup+0.30563 s]*
/proc/loadavg: 1.25 1.88 2.32 5/266 355038
/proc/meminfo: memFree=126152604/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=45424 memory=36416 CPUtime=0.29 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 6814 0 0 0 28 1 0 0 20 0 1 0 65054938 46514176 9104 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 11356 9104 2526 2417 0 8458 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64016 KiB
Current children cumulated memory: 40024 KiB
[startup+0.700266 s]
/proc/loadavg: 1.25 1.88 2.32 5/266 355038
/proc/meminfo: memFree=126102508/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=53760 memory=43280 CPUtime=0.68 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 8531 0 0 0 67 1 0 0 20 0 1 0 65054938 55050240 10820 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 13440 10820 2526 2417 0 10542 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72352 KiB
Current children cumulated memory: 46888 KiB
[startup+1.50028 s]
/proc/loadavg: 1.47 1.92 2.33 5/266 355038
/proc/meminfo: memFree=126012524/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=65108 memory=50936 CPUtime=1.48 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 10453 0 0 0 147 1 0 0 20 0 1 0 65054938 66670592 12734 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 16277 12734 2526 2417 0 13379 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 83700 KiB
Current children cumulated memory: 54544 KiB
[startup+3.10533 s]
/proc/loadavg: 1.47 1.92 2.33 5/266 355038
/proc/meminfo: memFree=125951808/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=74096 memory=58584 CPUtime=3.07 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 12420 0 0 0 306 1 0 0 20 0 1 0 65054938 75874304 14646 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 18524 14646 2526 2417 0 15626 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 92688 KiB
Current children cumulated memory: 62192 KiB
[startup+6.30021 s]
/proc/loadavg: 1.67 1.95 2.34 5/259 355126
/proc/meminfo: memFree=125984524/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=74096 memory=58584 CPUtime=6.26 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 12421 0 0 0 625 1 0 0 20 0 1 0 65054938 75874304 14646 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 18524 14646 2526 2417 0 15626 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92688 KiB
Current children cumulated memory: 62192 KiB
[startup+12.7002 s]
/proc/loadavg: 1.86 1.99 2.35 5/266 355142
/proc/meminfo: memFree=125158612/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=91088 memory=75532 CPUtime=12.64 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 16603 0 0 0 1262 2 0 0 20 0 1 0 65054938 93274112 18883 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 22772 18883 2542 2417 0 19874 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 109680 KiB
Current children cumulated memory: 79140 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 2.05 2.37 5/266 355145
/proc/meminfo: memFree=125094944/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=112836 memory=90804 CPUtime=25.39 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 20510 0 0 0 2537 2 0 0 20 0 1 0 65054938 115544064 22701 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 28209 22701 2542 2417 0 25311 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 131428 KiB
Current children cumulated memory: 94412 KiB
[startup+51.1056 s]
/proc/loadavg: 3.04 2.27 2.43 5/269 355204
/proc/meminfo: memFree=124684024/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 674 595 264 0 134 0
[pid=355025] ppid=355021 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/355025/stat : 355025 (timeout) S 355021 355025 354848 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65054938 8867840 228 134679101440 94324244725760 94324244760776 140726275631632 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94324246858192 94324246860324 94324251713536 140726275634188 140726275634333 140726275634333 140726275641319 0
/proc/355025/statm: 2165 228 204 9 0 87 0
[pid=355028] ppid=355025 vsize=158108 memory=131644 CPUtime=50.9 cores=0,2
/proc/355028/stat : 355028 (CASHWMaxSAT-Dis) R 355025 355025 354848 0 -1 4194304 27431 0 0 0 5087 3 0 0 20 0 1 0 65054938 161902592 32911 134679101440 4194304 14093885 140729721340480 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26513408 140729721349138 140729721349270 140729721349270 140729721356256 0
/proc/355028/statm: 39527 32911 2542 2417 0 36629 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 176700 KiB
Current children cumulated memory: 135252 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.56 2.52 5/269 355214
/proc/meminfo: memFree=124581396/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65054938 10170368 674 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
################
# More data... #
################
/proc/356090/statm: 23017 17920 764 737 0 22105 0
Current children cumulated CPU time: 3390.32 s
Current children cumulated vsize: 110660 KiB
Current children cumulated memory: 75460 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.11 5/262 357007
/proc/meminfo: memFree=116459068/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2752 CPUtime=1791.56 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 271 110946 0 0 0 0 179131 25 20 0 1 0 65054938 10170368 688 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 688 595 264 0 134 0
[pid=356089] ppid=355021 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/356089/stat : 356089 (timeout) S 355021 356089 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65234739 8867840 257 134679101440 94173331980288 94173332015304 140721028775360 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94173334112720 94173334114852 94173339140096 140721028781044 140721028781213 140721028781213 140721028788199 0
/proc/356089/statm: 2165 257 232 9 0 87 0
[pid=356090] ppid=356089 vsize=92068 memory=71680 CPUtime=1658.55 cores=0,2
/proc/356090/stat : 356090 (Exact) R 356089 356089 354848 0 -1 4194304 10818 0 0 0 165852 3 0 0 20 0 1 0 65234739 94277632 17920 134679101440 4194304 7210733 140726022230592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 25075712 140726022239248 140726022239398 140726022239398 140726022246384 0
/proc/356090/statm: 23017 17920 764 737 0 22105 0
Current children cumulated CPU time: 3450.11 s
Current children cumulated vsize: 110660 KiB
Current children cumulated memory: 75460 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.15 4.09 5/262 357019
/proc/meminfo: memFree=116436812/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2752 CPUtime=1791.56 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 271 110946 0 0 0 0 179131 25 20 0 1 0 65054938 10170368 688 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 688 595 264 0 134 0
[pid=356089] ppid=355021 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/356089/stat : 356089 (timeout) S 355021 356089 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65234739 8867840 257 134679101440 94173331980288 94173332015304 140721028775360 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94173334112720 94173334114852 94173339140096 140721028781044 140721028781213 140721028781213 140721028788199 0
/proc/356089/statm: 2165 257 232 9 0 87 0
[pid=356090] ppid=356089 vsize=92068 memory=71772 CPUtime=1718.34 cores=0,2
/proc/356090/stat : 356090 (Exact) R 356089 356089 354848 0 -1 4194304 10853 0 0 0 171831 3 0 0 20 0 1 0 65234739 94277632 17943 134679101440 4194304 7210733 140726022230592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 25075712 140726022239248 140726022239398 140726022239398 140726022246384 0
/proc/356090/statm: 23017 17943 764 737 0 22105 0
Current children cumulated CPU time: 3509.9 s
Current children cumulated vsize: 110660 KiB
Current children cumulated memory: 75552 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/262 357029
/proc/meminfo: memFree=116409536/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2752 CPUtime=1791.56 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 271 110946 0 0 0 0 179131 25 20 0 1 0 65054938 10170368 688 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 688 595 264 0 134 0
[pid=356089] ppid=355021 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/356089/stat : 356089 (timeout) S 355021 356089 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65234739 8867840 257 134679101440 94173331980288 94173332015304 140721028775360 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94173334112720 94173334114852 94173339140096 140721028781044 140721028781213 140721028781213 140721028788199 0
/proc/356089/statm: 2165 257 232 9 0 87 0
[pid=356090] ppid=356089 vsize=93836 memory=73244 CPUtime=1778.11 cores=0,2
/proc/356090/stat : 356090 (Exact) R 356089 356089 354848 0 -1 4194304 11251 0 0 0 177808 3 0 0 20 0 1 0 65234739 96088064 18311 134679101440 4194304 7210733 140726022230592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 25075712 140726022239248 140726022239398 140726022239398 140726022246384 0
/proc/356090/statm: 23459 18311 764 737 0 22547 0
Current children cumulated CPU time: 3569.67 s
Current children cumulated vsize: 112428 KiB
Current children cumulated memory: 77024 KiB
[startup+3596.04 s]
# the end of solver process 355021 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.08 s, system=0.300664 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.10 5/262 357030
/proc/meminfo: memFree=116407372/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2752 CPUtime=1791.56 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 271 110946 0 0 0 0 179131 25 20 0 1 0 65054938 10170368 688 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 688 595 264 0 134 0
[pid=356089] ppid=355021 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/356089/stat : 356089 (timeout) S 355021 356089 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65234739 8867840 257 134679101440 94173331980288 94173332015304 140721028775360 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94173334112720 94173334114852 94173339140096 140721028781044 140721028781213 140721028781213 140721028788199 0
/proc/356089/statm: 2165 257 232 9 0 87 0
[pid=356090] ppid=356089 vsize=93836 memory=73244 CPUtime=1779.81 cores=0,2
/proc/356090/stat : 356090 (Exact) R 356089 356089 354848 0 -1 4194304 11251 0 0 0 177978 3 0 0 20 0 1 0 65234739 96088064 18311 134679101440 4194304 7210733 140726022230592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 25075712 140726022239248 140726022239398 140726022239398 140726022246384 0
/proc/356090/statm: 23459 18311 764 737 0 22547 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 112428 KiB
Current children cumulated memory: 77024 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.15 4.09 5/262 357031
/proc/meminfo: memFree=116407492/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2752 CPUtime=1791.56 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 271 110946 0 0 0 0 179131 25 20 0 1 0 65054938 10170368 688 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 688 595 264 0 134 0
[pid=356089] ppid=355021 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/356089/stat : 356089 (timeout) S 355021 356089 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65234739 8867840 257 134679101440 94173331980288 94173332015304 140721028775360 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94173334112720 94173334114852 94173339140096 140721028781044 140721028781213 140721028781213 140721028788199 0
/proc/356089/statm: 2165 257 232 9 0 87 0
[pid=356090] ppid=356089 vsize=93836 memory=73244 CPUtime=1786.19 cores=0,2
/proc/356090/stat : 356090 (Exact) R 356089 356089 354848 0 -1 4194304 11251 0 0 0 178616 3 0 0 20 0 1 0 65234739 96088064 18311 134679101440 4194304 7210733 140726022230592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 25075712 140726022239248 140726022239398 140726022239398 140726022246384 0
/proc/356090/statm: 23459 18311 764 737 0 22547 0
Current children cumulated CPU time: 3577.75 s
Current children cumulated vsize: 112428 KiB
Current children cumulated memory: 77024 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.14 4.09 5/262 357031
/proc/meminfo: memFree=116405408/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2752 CPUtime=1791.56 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 271 110946 0 0 0 0 179131 25 20 0 1 0 65054938 10170368 688 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 688 595 264 0 134 0
[pid=356089] ppid=355021 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/356089/stat : 356089 (timeout) S 355021 356089 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65234739 8867840 257 134679101440 94173331980288 94173332015304 140721028775360 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94173334112720 94173334114852 94173339140096 140721028781044 140721028781213 140721028781213 140721028788199 0
/proc/356089/statm: 2165 257 232 9 0 87 0
[pid=356090] ppid=356089 vsize=93836 memory=73244 CPUtime=1789.37 cores=0,2
/proc/356090/stat : 356090 (Exact) R 356089 356089 354848 0 -1 4194304 11251 0 0 0 178934 3 0 0 20 0 1 0 65234739 96088064 18311 134679101440 4194304 7210733 140726022230592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 25075712 140726022239248 140726022239398 140726022239398 140726022246384 0
/proc/356090/statm: 23459 18311 764 737 0 22547 0
Current children cumulated CPU time: 3580.93 s
Current children cumulated vsize: 112428 KiB
Current children cumulated memory: 77024 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.14 4.09 5/262 357033
/proc/meminfo: memFree=116405032/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2752 CPUtime=1791.56 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 271 110946 0 0 0 0 179131 25 20 0 1 0 65054938 10170368 688 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 688 595 264 0 134 0
[pid=356089] ppid=355021 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/356089/stat : 356089 (timeout) S 355021 356089 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65234739 8867840 257 134679101440 94173331980288 94173332015304 140721028775360 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94173334112720 94173334114852 94173339140096 140721028781044 140721028781213 140721028781213 140721028788199 0
/proc/356089/statm: 2165 257 232 9 0 87 0
[pid=356090] ppid=356089 vsize=93836 memory=73244 CPUtime=1790.97 cores=0,2
/proc/356090/stat : 356090 (Exact) R 356089 356089 354848 0 -1 4194304 11251 0 0 0 179094 3 0 0 20 0 1 0 65234739 96088064 18311 134679101440 4194304 7210733 140726022230592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 25075712 140726022239248 140726022239398 140726022239398 140726022246384 0
/proc/356090/statm: 23459 18311 764 737 0 22547 0
Current children cumulated CPU time: 3582.53 s
Current children cumulated vsize: 112428 KiB
Current children cumulated memory: 77024 KiB
[startup+3595.6 s]
/proc/loadavg: 4.11 4.14 4.09 5/262 357033
/proc/meminfo: memFree=116405032/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2752 CPUtime=1791.56 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 271 110946 0 0 0 0 179131 25 20 0 1 0 65054938 10170368 688 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 688 595 264 0 134 0
[pid=356089] ppid=355021 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/356089/stat : 356089 (timeout) S 355021 356089 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65234739 8867840 257 134679101440 94173331980288 94173332015304 140721028775360 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94173334112720 94173334114852 94173339140096 140721028781044 140721028781213 140721028781213 140721028788199 0
/proc/356089/statm: 2165 257 232 9 0 87 0
[pid=356090] ppid=356089 vsize=93836 memory=73244 CPUtime=1791.37 cores=0,2
/proc/356090/stat : 356090 (Exact) R 356089 356089 354848 0 -1 4194304 11251 0 0 0 179134 3 0 0 20 0 1 0 65234739 96088064 18311 134679101440 4194304 7210733 140726022230592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 25075712 140726022239248 140726022239398 140726022239398 140726022246384 0
/proc/356090/statm: 23459 18311 764 737 0 22547 0
Current children cumulated CPU time: 3582.93 s
Current children cumulated vsize: 112428 KiB
Current children cumulated memory: 77024 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.14 4.09 5/262 357033
/proc/meminfo: memFree=116405068/131524600 swapFree=131070704/131071996
[pid=355021] ppid=355018 vsize=9932 memory=2752 CPUtime=1791.56 cores=0,2
/proc/355021/stat : 355021 (Hybrid-CASHWMax) S 355018 355021 354848 0 -1 4194304 271 110946 0 0 0 0 179131 25 20 0 1 0 65054938 10170368 688 134679101440 94576786632704 94576787712024 140727255580016 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94576789810480 94576789857668 94576801079296 140727255581648 140727255581806 140727255581806 140727255588821 0
/proc/355021/statm: 2483 688 595 264 0 134 0
[pid=356089] ppid=355021 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/356089/stat : 356089 (timeout) S 355021 356089 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65234739 8867840 257 134679101440 94173331980288 94173332015304 140721028775360 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94173334112720 94173334114852 94173339140096 140721028781044 140721028781213 140721028781213 140721028788199 0
/proc/356089/statm: 2165 257 232 9 0 87 0
[pid=356090] ppid=356089 vsize=93836 memory=73244 CPUtime=1791.77 cores=0,2
/proc/356090/stat : 356090 (Exact) R 356089 356089 354848 0 -1 4194304 11251 0 0 0 179174 3 0 0 20 0 1 0 65234739 96088064 18311 134679101440 4194304 7210733 140726022230592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 25075712 140726022239248 140726022239398 140726022239398 140726022246384 0
/proc/356090/statm: 23459 18311 764 737 0 22547 0
Current children cumulated CPU time: 3583.33 s
Current children cumulated vsize: 112428 KiB
Current children cumulated memory: 77024 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3583.38
CPU user time (s): 3583.08
CPU system time (s): 0.300664
CPU usage (%): 99.6482
Max. virtual memory (cumulated for all children) (KiB): 875704
Max. memory (cumulated for all children) (KiB): 794440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.08
system time used= 0.300664
maximum resident set size= 790840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144
involuntary context switches= 24578
# summary of solver processes directly reported to runsolver:
# pid: 355021
# total CPU time (s): 3583.38
# total CPU user time (s): 3583.08
# total CPU system time (s): 0.300664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09888 second user time and 17.6577 second system time
The end
Begin job on nodeC021 at 2024-08-07 00:49:26
IDJOB=4438566
IDBENCH=158491
IDSOLVER=3073
FILE ID=nodeC021/4438566-1722984566
RUNJOBID= nodeC021-1722984566-354858
SLURM_JOB_ID= 8259110
Free space on /tmp= 890040 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438566-1722984566/watcher-4438566-1722984566 -o /tmp/evaluation-result-4438566-1722984566/solver-4438566-1722984566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722984566-354858 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438566-1722984566.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=2141478828
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3660.206
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3676.232
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3660.243
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3600.111
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3669.545
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3660.528
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3603.396
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3655.176
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126281288 kB
MemAvailable: 129613824 kB
Buffers: 355556 kB
Cached: 3819500 kB
SwapCached: 152 kB
Active: 625152 kB
Inactive: 4088016 kB
Active(anon): 1792 kB
Inactive(anon): 573892 kB
Active(file): 623360 kB
Inactive(file): 3514124 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 78684 kB
Writeback: 0 kB
AnonPages: 535848 kB
Mapped: 111528 kB
Shmem: 37592 kB
KReclaimable: 69396 kB
Slab: 162304 kB
SReclaimable: 69396 kB
SUnreclaim: 92908 kB
KernelStack: 4128 kB
PageTables: 9488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 780996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 28608 kB
HardwareCorrupted: 0 kB
AnonHugePages: 258048 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 293588 kB
DirectMap2M: 18354176 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC021 at 2024-08-07 01:49:23