3599.97/3607.32 c Filename:instance-4446219-1721336398.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.97/3607.32 c Not use presolve
3599.97/3607.32 c Use LS-small
3599.97/3607.32 s UNKNOWN
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 (61848 MiB free)
memory of node 1: 64473 MiB (62844 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446219-1721336398/watcher-4446219-1721336398 -o /tmp/evaluation-result-4446219-1721336398/solver-4446219-1721336398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721329197-1015425 --watchdog 3760 ./LS-Mab -f HOME/instance-4446219-1721336398.opb -t 3600 -s 801626262 --no-s
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1019489, runsolver pid=1019486
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.05 4.08 4.09 5/260 1019490
/proc/meminfo: memFree=127657752/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=66052 memory=20476 CPUtime=0.09 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 4522 0 0 0 9 0 0 0 20 0 1 0 185807930 67637248 5119 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 16513 5119 749 2403 0 13623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66052 KiB
Current children cumulated memory: 20476 KiB
[startup+0.205574 s]*
/proc/loadavg: 4.05 4.08 4.09 5/260 1019490
/proc/meminfo: memFree=127634736/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=76612 memory=32356 CPUtime=0.2 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 7477 0 0 0 20 0 0 0 20 0 1 0 185807930 78450688 8089 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 19153 8089 749 2403 0 16263 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76612 KiB
Current children cumulated memory: 32356 KiB
[startup+0.305495 s]*
/proc/loadavg: 4.05 4.08 4.09 5/260 1019490
/proc/meminfo: memFree=127595956/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=101896 memory=60044 CPUtime=0.3 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 14389 0 0 0 28 2 0 0 20 0 1 0 185807930 104341504 15011 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25474 15011 749 2403 0 22584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101896 KiB
Current children cumulated memory: 60044 KiB
[startup+0.700196 s]
/proc/loadavg: 4.05 4.08 4.09 4/257 1019504
/proc/meminfo: memFree=127590572/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78640 CPUtime=0.69 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19046 0 0 0 66 3 0 0 20 0 1 0 185807930 104476672 19660 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19660 780 2403 0 22617 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78640 KiB
[startup+1.50023 s]
/proc/loadavg: 4.05 4.08 4.09 5/254 1019526
/proc/meminfo: memFree=127440044/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78640 CPUtime=1.48 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19046 0 0 0 145 3 0 0 20 0 1 0 185807930 104476672 19660 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19660 780 2403 0 22617 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78640 KiB
[startup+3.10543 s]
/proc/loadavg: 4.04 4.08 4.08 5/259 1019538
/proc/meminfo: memFree=127071564/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78640 CPUtime=3.09 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19046 0 0 0 304 5 0 0 20 0 1 0 185807930 104476672 19660 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19660 780 2403 0 22617 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78640 KiB
[startup+6.30021 s]
/proc/loadavg: 4.04 4.08 4.08 5/259 1019584
/proc/meminfo: memFree=126912632/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78640 CPUtime=6.27 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19046 0 0 0 620 7 0 0 20 0 1 0 185807930 104476672 19660 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19660 780 2403 0 22617 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78640 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.08 5/259 1019584
/proc/meminfo: memFree=126242508/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78640 CPUtime=12.66 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19046 0 0 0 1254 12 0 0 20 0 1 0 185807930 104476672 19660 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19660 780 2403 0 22617 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78640 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/259 1019587
/proc/meminfo: memFree=124499940/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78640 CPUtime=25.43 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19046 0 0 0 2522 21 0 0 20 0 1 0 185807930 104476672 19660 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19660 780 2403 0 22617 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78640 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 1019602
/proc/meminfo: memFree=124498832/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78640 CPUtime=50.97 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19046 0 0 0 5063 34 0 0 20 0 1 0 185807930 104476672 19660 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19660 780 2403 0 22617 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78640 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 1019610
/proc/meminfo: memFree=124498192/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78640 CPUtime=102.03 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19046 0 0 0 10134 69 0 0 20 0 1 0 185807930 104476672 19660 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19660 780 2403 0 22617 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78640 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 1019621
/proc/meminfo: memFree=124497712/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78892 CPUtime=161.88 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19558 0 0 0 16081 107 0 0 20 0 1 0 185807930 104476672 19723 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19723 780 2403 0 22617 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78892 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/257 1019633
/proc/meminfo: memFree=124496312/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78892 CPUtime=221.74 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19558 0 0 0 22034 140 0 0 20 0 1 0 185807930 104476672 19723 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19723 780 2403 0 22617 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78892 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1019644
/proc/meminfo: memFree=124495708/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78892 CPUtime=281.59 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19558 0 0 0 27979 180 0 0 20 0 1 0 185807930 104476672 19723 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19723 780 2403 0 22617 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78892 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 1019654
/proc/meminfo: memFree=124489552/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78892 CPUtime=341.44 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19558 0 0 0 33923 221 0 0 20 0 1 0 185807930 104476672 19723 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19723 780 2403 0 22617 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78892 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/255 1019664
/proc/meminfo: memFree=124478024/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78892 CPUtime=401.29 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19558 0 0 0 39870 259 0 0 20 0 1 0 185807930 104476672 19723 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19723 780 2403 0 22617 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 78892 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/256 1019677
/proc/meminfo: memFree=124473004/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=78892 CPUtime=461.15 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 19580 0 0 0 45816 299 0 0 20 0 1 0 185807930 104476672 19723 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 19723 780 2403 0 22617 0
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.11 5/257 1020813
/proc/meminfo: memFree=124472896/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3215.72 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21261 0 0 0 319382 2190 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3215.72 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/258 1020825
/proc/meminfo: memFree=124472228/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3275.6 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21295 0 0 0 325332 2228 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3275.6 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/258 1021218
/proc/meminfo: memFree=124471424/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3335.49 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21329 0 0 0 331284 2265 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3335.49 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 1021228
/proc/meminfo: memFree=124470452/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3395.37 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21363 0 0 0 337232 2305 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3395.37 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 1021239
/proc/meminfo: memFree=124469840/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3455.26 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21397 0 0 0 343178 2348 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3455.26 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 1021420
/proc/meminfo: memFree=124468900/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3515.14 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21431 0 0 0 349124 2390 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3515.14 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 1021430
/proc/meminfo: memFree=124468436/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3575.02 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21465 0 0 0 355076 2426 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3575.02 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3607.33 s]
# the end of solver process 1019489 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.54 s, system=24.4753 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.09 5/259 1021432
/proc/meminfo: memFree=124468424/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3576.72 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21465 0 0 0 355244 2428 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3576.72 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/260 1021438
/proc/meminfo: memFree=124468324/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3589.49 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21465 0 0 0 356511 2438 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3589.49 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3603.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 1021440
/proc/meminfo: memFree=124467848/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3595.88 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21465 0 0 0 357145 2443 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3595.88 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3604.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 1021440
/proc/meminfo: memFree=124467932/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3597.47 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21465 0 0 0 357302 2445 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3597.47 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 1021440
/proc/meminfo: memFree=124467876/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3599.07 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21465 0 0 0 357461 2446 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3599.07 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3606.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 1021440
/proc/meminfo: memFree=124467876/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3599.48 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21465 0 0 0 357501 2447 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3599.48 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3607.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 1021441
/proc/meminfo: memFree=124467796/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3599.87 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21465 0 0 0 357540 2447 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3599.87 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
[startup+3607.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 1021441
/proc/meminfo: memFree=124467796/131524600 swapFree=131071996/131071996
[pid=1019489] ppid=1019486 vsize=102028 memory=86976 CPUtime=3599.97 cores=4,6
/proc/1019489/stat : 1019489 (LS-Mab) R 1019486 1019489 1015414 0 -1 4194304 21465 0 0 0 357550 2447 0 0 20 0 1 0 185807930 104476672 21744 134679101440 4194304 14036057 140733425649696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 25550848 140733425652763 140733425652870 140733425652870 140733425659887 0
/proc/1019489/statm: 25507 21744 780 2403 0 22617 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 102028 KiB
Current children cumulated memory: 86976 KiB
Child status: 0
Real time (s): 3607.33
CPU time (s): 3600.01
CPU user time (s): 3575.54
CPU system time (s): 24.4753
CPU usage (%): 99.7971
Max. virtual memory (cumulated for all children) (KiB): 102028
Max. memory (cumulated for all children) (KiB): 86976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.54
system time used= 24.4753
maximum resident set size= 86976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21471
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= 31
involuntary context switches= 917
# summary of solver processes directly reported to runsolver:
# pid: 1019489
# total CPU time (s): 3600.01
# total CPU user time (s): 3575.54
# total CPU system time (s): 24.4753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73253 second user time and 16.4815 second system time
The end
Begin job on nodeC030 at 2024-07-18 23:00:11
IDJOB=4446219
IDBENCH=155538
IDSOLVER=3050
FILE ID=nodeC030/4446219-1721336398
RUNJOBID= nodeC030-1721329197-1015425
SLURM_JOB_ID= 7542694
Free space on /tmp= 889932 MiB
SOLVER NAME= LS-Mab 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-35.opb
COMMAND LINE= ./LS-Mab -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446219-1721336398/watcher-4446219-1721336398 -o /tmp/evaluation-result-4446219-1721336398/solver-4446219-1721336398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721329197-1015425 --watchdog 3760 ./LS-Mab -f HOME/instance-4446219-1721336398.opb -t 3600 -s 801626262 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ea9fbf307f3e38c641aeca63dc0ee32c
RANDOM SEED=801626262
nodeC030.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 : 3663.042
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.28
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 : 3685.854
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.11
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.123
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.28
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.950
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.11
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 : 3651.171
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.28
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 : 3685.866
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.11
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 : 3663.727
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.840
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127688164 kB
MemAvailable: 128979392 kB
Buffers: 487672 kB
Cached: 1632444 kB
SwapCached: 0 kB
Active: 1208780 kB
Inactive: 1998324 kB
Active(anon): 1548 kB
Inactive(anon): 1123484 kB
Active(file): 1207232 kB
Inactive(file): 874840 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 78524 kB
Writeback: 0 kB
AnonPages: 1086924 kB
Mapped: 115480 kB
Shmem: 37720 kB
KReclaimable: 97960 kB
Slab: 211020 kB
SReclaimable: 97960 kB
SUnreclaim: 113060 kB
KernelStack: 4172 kB
PageTables: 11268 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1646968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 835584 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889624 MiB
End job on nodeC030 at 2024-07-19 00:00:19