0.00/0.00 c Filename:instance-4428189-1722776720.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
0.00/0.00 c Use LS-small
0.00/0.00 o 2
3557.93/3564.86 s SATISFIABLE
3557.93/3564.86 v x1 x2 -x3 -x4
3557.93/3564.86 c Done 0s
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: 63968 MiB (62555 MiB free)
memory of node 1: 64473 MiB (62636 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428189-1722776720/watcher-4428189-1722776720 -o /tmp/evaluation-result-4428189-1722776720/solver-4428189-1722776720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722769582-239137 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428189-1722776720.opb -t 3558 -s 741050824
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=243260, runsolver pid=243257
[startup+0.100946 s]*
/proc/loadavg: 4.08 4.10 4.10 5/258 243261
/proc/meminfo: memFree=128195608/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=0.09 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 6 3 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+0.20422 s]*
/proc/loadavg: 4.08 4.10 4.10 5/258 243261
/proc/meminfo: memFree=128195172/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=0.2 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 14 6 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+0.304569 s]*
/proc/loadavg: 4.08 4.10 4.10 5/258 243261
/proc/meminfo: memFree=128195032/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=0.29 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 20 9 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+0.700139 s]
/proc/loadavg: 4.08 4.10 4.10 5/258 243261
/proc/meminfo: memFree=128194892/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=0.69 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 47 22 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+1.50011 s]
/proc/loadavg: 4.08 4.10 4.10 5/258 243261
/proc/meminfo: memFree=128194936/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=1.48 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 101 47 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3.10484 s]
/proc/loadavg: 4.08 4.10 4.10 5/258 243261
/proc/meminfo: memFree=128194928/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3.09 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 210 99 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+6.30013 s]
/proc/loadavg: 4.15 4.12 4.10 5/258 243261
/proc/meminfo: memFree=128194924/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=6.27 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 427 200 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.12 4.10 5/258 243263
/proc/meminfo: memFree=128193188/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=12.66 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 848 418 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.11 4.10 5/256 243264
/proc/meminfo: memFree=128160728/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=25.43 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 1685 858 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+51.1047 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 243269
/proc/meminfo: memFree=128117508/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=50.99 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 3377 1722 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 243277
/proc/meminfo: memFree=128169028/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=102.09 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 6752 3457 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 243289
/proc/meminfo: memFree=128168600/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=161.98 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 10694 5504 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 243299
/proc/meminfo: memFree=128168004/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=221.86 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 14667 7519 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 221.86 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 243309
/proc/meminfo: memFree=128167624/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=281.75 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 18621 9554 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 281.75 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 243325
/proc/meminfo: memFree=128167084/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=341.63 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 22561 11602 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 341.63 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 243336
/proc/meminfo: memFree=128166744/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=401.51 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 26529 13622 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 401.51 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 243347
/proc/meminfo: memFree=128166420/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=461.4 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 30462 15678 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
################
# More data... #
################
/proc/loadavg: 4.30 4.21 4.14 5/257 244844
/proc/meminfo: memFree=128151212/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3156.2 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 208070 107550 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3156.2 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/258 245023
/proc/meminfo: memFree=128150396/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3216.09 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 212024 109585 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3216.09 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.19 4.14 5/258 245034
/proc/meminfo: memFree=128150400/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3275.97 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 215966 111631 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3275.97 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.15 4.13 5/258 245058
/proc/meminfo: memFree=128149616/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3335.86 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 219926 113660 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3335.86 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/258 245069
/proc/meminfo: memFree=128149668/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3395.73 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 223868 115705 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3395.73 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/258 245079
/proc/meminfo: memFree=128149396/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3455.63 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 227814 117749 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3455.63 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/257 245089
/proc/meminfo: memFree=128149092/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3515.51 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 231776 119775 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3515.51 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3564.86 s]
# the end of solver process 243260 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2345.79 s, system=1212.21 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.07 4.12 4.12 5/256 245091
/proc/meminfo: memFree=128149028/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3525.99 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 232465 120134 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3525.99 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3545.6 s]
/proc/loadavg: 4.06 4.12 4.12 5/256 245094
/proc/meminfo: memFree=128148868/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3538.76 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 233305 120571 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3538.76 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3558.4 s]
/proc/loadavg: 4.05 4.11 4.11 5/256 245097
/proc/meminfo: memFree=128148868/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3551.54 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 234152 121002 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3551.54 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3561.6 s]
/proc/loadavg: 3.80 4.06 4.10 2/235 245190
/proc/meminfo: memFree=128345032/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3554.73 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 234358 121115 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3554.73 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3563.2 s]
/proc/loadavg: 3.80 4.06 4.10 2/235 245190
/proc/meminfo: memFree=128345060/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3556.33 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 234467 121166 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3556.33 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3564 s]*
/proc/loadavg: 3.80 4.06 4.10 2/235 245190
/proc/meminfo: memFree=128345060/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3557.13 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 234520 121193 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3557.13 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3564.4 s]
/proc/loadavg: 3.80 4.06 4.10 2/235 245190
/proc/meminfo: memFree=128345060/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3557.53 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 234548 121205 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3557.53 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
[startup+3564.8 s]
/proc/loadavg: 3.80 4.06 4.10 2/235 245190
/proc/meminfo: memFree=128345060/131524600 swapFree=131071728/131071996
[pid=243260] ppid=243257 vsize=18604 memory=11372 CPUtime=3557.93 cores=0,2
/proc/243260/stat : 243260 (LS-MabS) R 243257 243260 239127 0 -1 4194304 623 0 0 0 234574 121219 0 0 20 0 1 0 44271002 19050496 2843 134679101440 4194304 14036057 140720453253840 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 23232512 140720453256225 140720453256326 140720453256326 140720453263342 0
/proc/243260/statm: 4651 2843 2428 2403 0 1761 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 18604 KiB
Current children cumulated memory: 11372 KiB
Child status: 0
Real time (s): 3564.87
CPU time (s): 3558
CPU user time (s): 2345.79
CPU system time (s): 1212.21
CPU usage (%): 99.8073
Max. virtual memory (cumulated for all children) (KiB): 18604
Max. memory (cumulated for all children) (KiB): 11372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2345.79
system time used= 1212.21
maximum resident set size= 11448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 24867
# summary of solver processes directly reported to runsolver:
# pid: 243260
# total CPU time (s): 3558
# total CPU user time (s): 2345.79
# total CPU system time (s): 1212.21
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89668 second user time and 11.4582 second system time
The end
Begin job on nodeC024 at 2024-08-04 15:05:20
IDJOB=4428189
IDBENCH=147224
IDSOLVER=3048
FILE ID=nodeC024/4428189-1722776720
RUNJOBID= nodeC024-1722769582-239137
SLURM_JOB_ID= 8257555
Free space on /tmp= 890044 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g2x2.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428189-1722776720/watcher-4428189-1722776720 -o /tmp/evaluation-result-4428189-1722776720/solver-4428189-1722776720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722769582-239137 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428189-1722776720.opb -t 3558 -s 741050824
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 59eaff1ea8cf69dd9cd9f9e18d55914a
RANDOM SEED=741050824
nodeC024.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 : 3666.819
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.90
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 : 3682.249
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 : 7005.73
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 : 3650.981
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.90
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.499
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 : 7005.73
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 : 3660.650
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.90
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 : 3682.368
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 : 7005.73
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 : 3607.577
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.121
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 : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128197708 kB
MemAvailable: 129706812 kB
Buffers: 286220 kB
Cached: 2059732 kB
SwapCached: 36 kB
Active: 484576 kB
Inactive: 2333228 kB
Active(anon): 1576 kB
Inactive(anon): 499480 kB
Active(file): 483000 kB
Inactive(file): 1833748 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 52624 kB
Writeback: 0 kB
AnonPages: 469784 kB
Mapped: 126400 kB
Shmem: 29484 kB
KReclaimable: 64360 kB
Slab: 152864 kB
SReclaimable: 64360 kB
SUnreclaim: 88504 kB
KernelStack: 4192 kB
PageTables: 10232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 887428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 22240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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: 269012 kB
DirectMap2M: 14184448 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC024 at 2024-08-04 16:04:45