runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (55375 MiB free)
memory of node 1: 64507 MiB (55627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523964-1751605593/watcher-4523964-1751605593 -o /tmp/evaluation-result-4523964-1751605593/solver-4523964-1751605593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86141 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523964-1751605593.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87230, runsolver pid=87227
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 7.66 7.85 7.90 7/265 87231
/proc/meminfo: memFree=113643664/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=73808 memory=39296 CPUtime=0.09 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 8814 0 0 0 9 0 0 0 20 0 1 0 76236990 75579392 9824 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 18452 9824 1184 6655 0 8687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 39296 KiB
[startup+0.205735 s]*
/proc/loadavg: 7.66 7.85 7.90 7/265 87231
/proc/meminfo: memFree=113643664/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=73808 memory=39296 CPUtime=0.19 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 8814 0 0 0 19 0 0 0 20 0 1 0 76236990 75579392 9824 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 18452 9824 1184 6655 0 8687 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 39296 KiB
[startup+0.305528 s]*
/proc/loadavg: 7.66 7.85 7.90 7/265 87231
/proc/meminfo: memFree=113643664/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=73808 memory=39296 CPUtime=0.29 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 8814 0 0 0 29 0 0 0 20 0 1 0 76236990 75579392 9824 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 18452 9824 1184 6655 0 8687 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 39296 KiB
[startup+0.700186 s]
/proc/loadavg: 7.66 7.85 7.90 7/265 87231
/proc/meminfo: memFree=113643664/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=73808 memory=39296 CPUtime=0.68 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 8814 0 0 0 68 0 0 0 20 0 1 0 76236990 75579392 9824 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 18452 9824 1184 6655 0 8687 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 39296 KiB
[startup+1.50017 s]
/proc/loadavg: 7.66 7.85 7.90 7/265 87231
/proc/meminfo: memFree=113643680/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=73808 memory=39296 CPUtime=1.48 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 8814 0 0 0 148 0 0 0 20 0 1 0 76236990 75579392 9824 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 18452 9824 1184 6655 0 8687 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 39296 KiB
[startup+3.10538 s]
/proc/loadavg: 7.52 7.82 7.89 7/265 87231
/proc/meminfo: memFree=113643704/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=73808 memory=39296 CPUtime=3.08 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 8814 0 0 0 308 0 0 0 20 0 1 0 76236990 75579392 9824 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 18452 9824 1184 6655 0 8687 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 39296 KiB
[startup+6.30018 s]
/proc/loadavg: 7.52 7.82 7.89 7/265 87231
/proc/meminfo: memFree=113636144/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=73808 memory=39296 CPUtime=6.26 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 8814 0 0 0 626 0 0 0 20 0 1 0 76236990 75579392 9824 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 18452 9824 1184 6655 0 8687 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 39296 KiB
[startup+12.7002 s]
/proc/loadavg: 7.40 7.79 7.88 8/266 87232
/proc/meminfo: memFree=113412528/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=332648 memory=251400 CPUtime=14.59 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 69929 0 0 0 1448 11 0 0 20 0 2 0 76236990 340631552 62850 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 83162 62850 3520 6655 0 70576 0
[pid=87230/tid=87232] ppid=87227 vsize=332648 memory=-6586625946012455264 CPUtime=1.94 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 13146 0 0 0 192 2 0 0 20 0 2 0 76237997 340631552 62850 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 14.59 s
Current children cumulated vsize: 332648 KiB
Current children cumulated memory: 251400 KiB
[startup+25.5002 s]
/proc/loadavg: 7.31 7.75 7.87 8/266 87232
/proc/meminfo: memFree=113389280/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=344888 memory=297152 CPUtime=39.83 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 157666 0 0 0 3963 20 0 0 20 0 2 0 76236990 353165312 74288 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 86222 74288 3520 6655 0 75164 0
[pid=87230/tid=87232] ppid=87227 vsize=344888 memory=292800 CPUtime=14.44 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 41249 0 0 0 1438 6 0 0 20 0 2 0 76237997 353165312 74288 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 39.83 s
Current children cumulated vsize: 344888 KiB
Current children cumulated memory: 297152 KiB
[startup+51.1056 s]
/proc/loadavg: 7.27 7.70 7.85 8/266 87232
/proc/meminfo: memFree=113335916/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=429036 memory=338476 CPUtime=89.68 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 206721 0 0 0 8943 25 0 0 20 0 2 0 76236990 439332864 84619 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 107259 84619 3520 6655 0 84447 0
[pid=87230/tid=87232] ppid=87227 vsize=429036 memory=2273 CPUtime=39.1 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 58078 0 0 0 3902 8 0 0 20 0 2 0 76237997 439332864 84619 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 89.68 s
Current children cumulated vsize: 429036 KiB
Current children cumulated memory: 338476 KiB
[startup+102.3 s]
/proc/loadavg: 6.89 7.54 7.79 7/268 87240
/proc/meminfo: memFree=113139692/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=440048 memory=352428 CPUtime=189.62 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 257047 0 0 0 18932 30 0 0 20 0 2 0 76236990 450609152 88107 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 110012 88107 3520 6655 0 87211 0
[pid=87230/tid=87232] ppid=87227 vsize=440048 memory=14592 CPUtime=88.04 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 77057 0 0 0 8794 10 0 0 20 0 2 0 76237997 450609152 88107 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 189.62 s
Current children cumulated vsize: 440048 KiB
Current children cumulated memory: 352428 KiB
[startup+162.3 s]
/proc/loadavg: 6.55 7.31 7.69 8/268 87288
/proc/meminfo: memFree=110462988/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=511340 memory=446712 CPUtime=308.72 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 371655 0 0 0 30826 46 0 0 20 0 2 0 76236990 523612160 111678 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 127835 111678 3520 6655 0 115929 0
[pid=87230/tid=87232] ppid=87227 vsize=511340 memory=352428 CPUtime=147.38 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 154248 0 0 0 14716 22 0 0 20 0 2 0 76237997 523612160 111678 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 308.72 s
Current children cumulated vsize: 511340 KiB
Current children cumulated memory: 446712 KiB
[startup+222.3 s]
/proc/loadavg: 6.26 7.08 7.59 7/269 87293
/proc/meminfo: memFree=108526188/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=563692 memory=479748 CPUtime=415.8 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 425285 0 0 0 41529 51 0 0 20 0 2 0 76236990 577220608 119937 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 140923 119937 3520 6655 0 129017 0
[pid=87230/tid=87232] ppid=87227 vsize=563692 memory=352428 CPUtime=194.71 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 173224 0 0 0 19447 24 0 0 20 0 2 0 76237997 577220608 119937 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 415.8 s
Current children cumulated vsize: 563692 KiB
Current children cumulated memory: 479748 KiB
[startup+282.3 s]
/proc/loadavg: 6.10 6.88 7.48 7/269 87296
/proc/meminfo: memFree=108447120/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=563692 memory=479748 CPUtime=534.94 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 466721 0 0 0 53439 55 0 0 20 0 2 0 76236990 577220608 119937 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 140923 119937 3520 6655 0 129017 0
[pid=87230/tid=87232] ppid=87227 vsize=563692 memory=352428 CPUtime=254.05 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 195267 0 0 0 25380 25 0 0 20 0 2 0 76237997 577220608 119937 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 534.94 s
Current children cumulated vsize: 563692 KiB
Current children cumulated memory: 479748 KiB
[startup+342.3 s]
/proc/loadavg: 6.15 6.75 7.40 7/269 87298
/proc/meminfo: memFree=108282016/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=563692 memory=479748 CPUtime=654.1 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 472573 0 0 0 65354 56 0 0 20 0 2 0 76236990 577220608 119937 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 140923 119937 3520 6655 0 129017 0
[pid=87230/tid=87232] ppid=87227 vsize=563692 memory=479748 CPUtime=313.42 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 197415 0 0 0 31316 26 0 0 20 0 2 0 76237997 577220608 119937 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 654.1 s
Current children cumulated vsize: 563692 KiB
Current children cumulated memory: 479748 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/meminfo: memFree=106766416/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=778108 memory=713404 CPUtime=2560.25 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 831963 0 0 0 255890 135 0 0 20 0 2 0 76236990 796782592 178351 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 194527 178351 3520 6655 0 181386 0
[pid=87230/tid=87232] ppid=87227 vsize=778108 memory=700220 CPUtime=1263.08 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 422848 0 0 0 126224 84 0 0 20 0 2 0 76237997 796782592 178351 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 2560.25 s
Current children cumulated vsize: 778108 KiB
Current children cumulated memory: 713404 KiB
[startup+1362.3 s]
/proc/loadavg: 6.14 6.13 6.52 7/267 87348
/proc/meminfo: memFree=106657700/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=870084 memory=754512 CPUtime=2679.38 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 890302 0 0 0 267787 151 0 0 20 0 2 0 76236990 890966016 188628 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 217521 188628 3520 6655 0 192118 0
[pid=87230/tid=87232] ppid=87227 vsize=870084 memory=700220 CPUtime=1322.43 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 462544 0 0 0 132148 95 0 0 20 0 2 0 76237997 890966016 188628 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 2679.38 s
Current children cumulated vsize: 870084 KiB
Current children cumulated memory: 754512 KiB
[startup+1422.3 s]
/proc/loadavg: 6.16 6.14 6.49 7/267 87350
/proc/meminfo: memFree=105828812/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=881392 memory=793324 CPUtime=2798.48 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 963070 0 0 0 279679 169 0 0 20 0 2 0 76236990 902545408 198331 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 220348 198331 3520 6655 0 201443 0
[pid=87230/tid=87232] ppid=87227 vsize=881392 memory=793324 CPUtime=1381.77 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 518036 0 0 0 138065 112 0 0 20 0 2 0 76237997 902545408 198331 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 2798.48 s
Current children cumulated vsize: 881392 KiB
Current children cumulated memory: 793324 KiB
[startup+1482.3 s]
/proc/loadavg: 6.06 6.11 6.46 7/267 87352
/proc/meminfo: memFree=105739416/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=884672 memory=802540 CPUtime=2917.63 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 984759 0 0 0 291590 173 0 0 20 0 2 0 76236990 905904128 200635 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 221168 200635 3520 6655 0 203679 0
[pid=87230/tid=87232] ppid=87227 vsize=884672 memory=796780 CPUtime=1441.13 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 529878 0 0 0 143999 114 0 0 20 0 2 0 76237997 905904128 200635 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 2917.63 s
Current children cumulated vsize: 884672 KiB
Current children cumulated memory: 802540 KiB
[startup+1542.3 s]
/proc/loadavg: 6.14 6.12 6.44 7/267 87354
/proc/meminfo: memFree=105611048/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=886496 memory=818540 CPUtime=3036.76 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 990246 0 0 0 303501 175 0 0 20 0 2 0 76236990 907771904 204635 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 221624 204635 3520 6655 0 207568 0
[pid=87230/tid=87232] ppid=87227 vsize=886496 memory=815212 CPUtime=1500.48 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 534040 0 0 0 149933 115 0 0 20 0 2 0 76237997 907771904 204635 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 3036.76 s
Current children cumulated vsize: 886496 KiB
Current children cumulated memory: 818540 KiB
[startup+1602.3 s]
/proc/loadavg: 6.11 6.11 6.42 7/267 87357
/proc/meminfo: memFree=104953300/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=903924 memory=851820 CPUtime=3155.89 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 999655 0 0 0 315409 180 0 0 20 0 2 0 76236990 925618176 212955 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 225981 212955 3520 6655 0 215970 0
[pid=87230/tid=87232] ppid=87227 vsize=903924 memory=819308 CPUtime=1559.83 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 538771 0 0 0 155865 118 0 0 20 0 2 0 76237997 925618176 212955 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 3155.89 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 851820 KiB
[startup+1662.3 s]
/proc/loadavg: 6.09 6.10 6.39 7/268 87361
/proc/meminfo: memFree=103825428/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=981712 memory=880904 CPUtime=3275.02 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 1051882 0 0 0 327306 196 0 0 20 0 2 0 76236990 1005273088 220226 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 245428 220226 3520 6655 0 223289 0
[pid=87230/tid=87232] ppid=87227 vsize=981712 memory=876936 CPUtime=1619.18 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 588427 0 0 0 161784 134 0 0 20 0 2 0 76237997 1005273088 220226 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 3275.02 s
Current children cumulated vsize: 981712 KiB
Current children cumulated memory: 880904 KiB
[startup+1722.3 s]
/proc/loadavg: 6.25 6.13 6.38 7/269 87368
/proc/meminfo: memFree=102961608/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=994220 memory=913928 CPUtime=3394.17 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 1078922 0 0 0 339215 202 0 0 20 0 2 0 76236990 1018081280 228482 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 248555 228482 3520 6655 0 231497 0
[pid=87230/tid=87232] ppid=87227 vsize=994220 memory=876936 CPUtime=1678.54 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 598923 0 0 0 167717 137 0 0 20 0 2 0 76237997 1018081280 228482 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 994220 KiB
Current children cumulated memory: 913928 KiB
[startup+1782.3 s]
/proc/loadavg: 6.25 6.17 6.38 7/269 87370
/proc/meminfo: memFree=100920968/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=1015332 memory=935048 CPUtime=3513.31 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) R 87227 87230 86128 0 -1 4194304 1111920 0 0 0 351125 206 0 0 20 0 2 0 76236990 1039699968 233762 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 253833 233762 3520 6655 0 236779 0
[pid=87230/tid=87232] ppid=87227 vsize=1015332 memory=14592 CPUtime=1737.9 cores=5,7
/proc/87230/task/87232/stat : 87232 (LSIPExact) R 87227 87230 86128 0 -1 4194368 609692 0 0 0 173652 138 0 0 20 0 2 0 76237997 1039699968 233762 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 1015332 KiB
Current children cumulated memory: 935048 KiB
[startup+1842.3 s]
/proc/loadavg: 5.72 6.04 6.32 6/269 87372
/proc/meminfo: memFree=99834752/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=677548 memory=593836 CPUtime=3548.67 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) S 87227 87230 86128 0 -1 4194304 1172215 0 0 0 354655 212 0 0 20 0 1 0 76236990 693809152 148459 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 169387 148459 3552 6655 0 159618 0
[pid=87371] ppid=87230 vsize=848456 memory=823192 CPUtime=41.98 cores=5,7
/proc/87371/stat : 87371 (Exact) R 87230 87371 87371 0 -1 4194304 105328 0 0 0 4160 38 0 0 20 0 1 0 76417005 868818944 205798 18446744073709551615 4198400 8335837 140729129040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 13815808 140729129048251 140729129048605 140729129048605 140729129054159 0
/proc/87371/statm: 212114 205798 1088 1011 0 210881 0
Current children cumulated CPU time: 3590.65 s
Current children cumulated vsize: 1526004 KiB
Current children cumulated memory: 1417028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1851.7 s]
/proc/loadavg: 5.84 6.05 6.32 6/269 87374
/proc/meminfo: memFree=99700068/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=677548 memory=593836 CPUtime=3548.67 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) S 87227 87230 86128 0 -1 4194304 1172215 0 0 0 354655 212 0 0 20 0 1 0 76236990 693809152 148459 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 169387 148459 3552 6655 0 159618 0
[pid=87371] ppid=87230 vsize=855448 memory=830184 CPUtime=51.35 cores=5,7
/proc/87371/stat : 87371 (Exact) R 87230 87371 87371 0 -1 4194304 106716 0 0 0 5096 39 0 0 20 0 1 0 76417005 875978752 207546 18446744073709551615 4198400 8335837 140729129040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 13815808 140729129048251 140729129048605 140729129048605 140729129054159 0
/proc/87371/statm: 213862 207546 1088 1011 0 212629 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1532996 KiB
Current children cumulated memory: 1424020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1851.86 s]
# the end of solver process 87230 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.55 s, system=2.57546 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1851.8 s]
/proc/loadavg: 5.84 6.05 6.32 6/269 87374
/proc/meminfo: memFree=99700068/131249996 swapFree=33003468/33010684
[pid=87230] ppid=87227 vsize=677548 memory=593836 CPUtime=3548.67 cores=5,7
/proc/87230/stat : 87230 (LSIPExact) S 87227 87230 86128 0 -1 4194304 1172216 134 0 0 354655 212 0 0 20 0 1 0 76236990 693809152 148459 18446744073709551615 94728934629376 94728961885777 140722202107264 0 0 0 16384 0 16386 1 0 0 17 7 0 0 0 0 0 94728970388616 94728970820224 94728987947008 140722202110298 140722202110474 140722202110474 140722202116076 0
/proc/87230/statm: 169387 148459 3552 6655 0 159618 0
Current children cumulated CPU time: 3548.67 s
Current children cumulated vsize: 677548 KiB
Current children cumulated memory: 593836 KiB
Child status: 0
Real time (s): 1851.86
CPU time (s): 3600.13
CPU user time (s): 3597.55
CPU system time (s): 2.57546
CPU usage (%): 194.406
Max. virtual memory (cumulated for all children) (KiB): 1627324
Max. memory (cumulated for all children) (KiB): 1458840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.55
system time used= 2.57546
maximum resident set size= 941960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1286966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 504
involuntary context switches= 40782
# summary of solver processes directly reported to runsolver:
# pid: 87230
# total CPU time (s): 3600.13
# total CPU user time (s): 3597.55
# total CPU system time (s): 2.57546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89313 second user time and 8.65051 second system time
The end
Begin job on nodeC021 at 2025-07-04 07:06:33
IDJOB=4523964
IDBENCH=180463
IDSOLVER=3337
FILE ID=nodeC021/4523964-1751605593
RUNJOBID= nodeC021-1751599645-86141
SLURM_JOB_ID= 9598875
Free space on /tmp= 430744 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523964-1751605593/watcher-4523964-1751605593 -o /tmp/evaluation-result-4523964-1751605593/solver-4523964-1751605593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86141 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523964-1751605593.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=1957070755
nodeC021 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.797
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.779
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.485
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.56
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.258
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.56
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.740
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.775
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.56
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.780
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.56
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 : 3609.332
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113667304 kB
MemAvailable: 120235412 kB
Buffers: 1056 kB
Cached: 7301272 kB
SwapCached: 32 kB
Active: 9941160 kB
Inactive: 6838784 kB
Active(anon): 9450240 kB
Inactive(anon): 40828 kB
Active(file): 490920 kB
Inactive(file): 6797956 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 45972 kB
Writeback: 0 kB
AnonPages: 9474604 kB
Mapped: 140204 kB
Shmem: 13452 kB
KReclaimable: 236544 kB
Slab: 329008 kB
SReclaimable: 236544 kB
SUnreclaim: 92464 kB
KernelStack: 4272 kB
PageTables: 21972 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 10153904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5027840 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430644 MiB
End job on nodeC021 at 2025-07-04 07:37:25