3599.94/3605.85 c Filename:instance-4441719-1721297342.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.94/3605.85 c Not use presolve
3599.94/3605.85 c Use LS-small
3599.94/3605.85 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 (62684 MiB free)
memory of node 1: 64473 MiB (62834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441719-1721297342/watcher-4441719-1721297342 -o /tmp/evaluation-result-4441719-1721297342/solver-4441719-1721297342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721293747-952256 --watchdog 3760 ./LS-Mab -f HOME/instance-4441719-1721297342.opb -t 3600 -s 1640776198 --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
Current StackSize limit: 8192 KiB
solver pid=954245, runsolver pid=954242
[startup+0.100861 s]*
/proc/loadavg: 4.31 4.16 4.05 5/254 954246
/proc/meminfo: memFree=128514932/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=59800 memory=19684 CPUtime=0.09 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 4275 0 0 0 9 0 0 0 20 0 1 0 181905044 61235200 4921 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 14950 4921 749 2403 0 12060 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59800 KiB
Current children cumulated memory: 19684 KiB
[startup+0.20546 s]*
/proc/loadavg: 4.31 4.16 4.05 5/254 954246
/proc/meminfo: memFree=128491052/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=47600 CPUtime=0.2 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 11290 0 0 0 19 1 0 0 20 0 1 0 181905044 82132992 11900 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 11900 764 2403 0 17162 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 47600 KiB
[startup+0.305468 s]*
/proc/loadavg: 4.31 4.16 4.05 5/254 954246
/proc/meminfo: memFree=128477488/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=57164 CPUtime=0.29 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 13694 0 0 0 28 1 0 0 20 0 1 0 181905044 82132992 14291 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 14291 780 2403 0 17162 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 57164 KiB
[startup+0.700209 s]
/proc/loadavg: 4.31 4.16 4.05 5/254 954246
/proc/meminfo: memFree=128475640/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=58220 CPUtime=0.68 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 13974 0 0 0 64 4 0 0 20 0 1 0 181905044 82132992 14555 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 14555 780 2403 0 17162 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 58220 KiB
[startup+1.50017 s]
/proc/loadavg: 4.31 4.16 4.05 5/254 954246
/proc/meminfo: memFree=128475276/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=58484 CPUtime=1.48 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 13995 0 0 0 140 8 0 0 20 0 1 0 181905044 82132992 14621 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 14621 780 2403 0 17162 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 58484 KiB
[startup+3.10525 s]
/proc/loadavg: 4.31 4.16 4.05 5/254 954338
/proc/meminfo: memFree=128672112/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=58484 CPUtime=3.09 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 13997 0 0 0 294 15 0 0 20 0 1 0 181905044 82132992 14621 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 14621 780 2403 0 17162 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 58484 KiB
[startup+6.30014 s]
/proc/loadavg: 4.28 4.15 4.05 5/254 954338
/proc/meminfo: memFree=128670744/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=58484 CPUtime=6.27 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 13999 0 0 0 605 22 0 0 20 0 1 0 181905044 82132992 14621 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 14621 780 2403 0 17162 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 58484 KiB
[startup+12.7001 s]
/proc/loadavg: 4.26 4.15 4.05 5/254 954339
/proc/meminfo: memFree=128670124/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=58484 CPUtime=12.66 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14001 0 0 0 1233 33 0 0 20 0 1 0 181905044 82132992 14621 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 14621 780 2403 0 17162 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 58484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.16 4.05 5/254 954341
/proc/meminfo: memFree=128670068/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=60044 CPUtime=25.43 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14034 0 0 0 2489 54 0 0 20 0 1 0 181905044 82132992 15011 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 15011 780 2403 0 17162 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 60044 KiB
[startup+51.1048 s]
/proc/loadavg: 4.18 4.14 4.05 5/254 954346
/proc/meminfo: memFree=128661964/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65708 CPUtime=50.99 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14345 0 0 0 5022 77 0 0 20 0 1 0 181905044 82132992 16427 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16427 780 2403 0 17162 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65708 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/256 954360
/proc/meminfo: memFree=128659292/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=102.09 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14426 0 0 0 10079 130 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.06 5/257 954372
/proc/meminfo: memFree=128658384/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=161.99 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14480 0 0 0 15988 211 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.06 5/257 954384
/proc/meminfo: memFree=128656944/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=221.9 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14507 0 0 0 21939 251 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 221.9 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/257 954395
/proc/meminfo: memFree=128656684/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=281.8 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14534 0 0 0 27834 346 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 281.8 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/257 954406
/proc/meminfo: memFree=128655912/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=341.7 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14561 0 0 0 33755 415 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 341.7 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/255 954416
/proc/meminfo: memFree=128655132/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=401.6 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14588 0 0 0 39704 456 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 401.6 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/254 954427
/proc/meminfo: memFree=128654416/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=461.5 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 14615 0 0 0 45640 510 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
################
# More data... #
################
/proc/loadavg: 4.23 4.18 4.12 5/258 956110
/proc/meminfo: memFree=128621180/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3157.15 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 15830 0 0 0 313145 2570 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3157.15 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/258 956122
/proc/meminfo: memFree=128620636/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3217.05 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 15857 0 0 0 319085 2620 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3217.05 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/256 956133
/proc/meminfo: memFree=128619836/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3276.95 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 15884 0 0 0 325029 2666 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3276.95 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/256 956144
/proc/meminfo: memFree=128619232/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3336.85 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 15911 0 0 0 330966 2719 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3336.85 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/255 956154
/proc/meminfo: memFree=128618444/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3396.76 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 15938 0 0 0 336893 2783 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3396.76 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/255 956165
/proc/meminfo: memFree=128617444/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3456.66 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 15965 0 0 0 342829 2837 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3456.66 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/255 956176
/proc/meminfo: memFree=128616652/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3516.56 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 15992 0 0 0 348774 2882 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3516.56 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.32 4.20 4.12 5/255 956188
/proc/meminfo: memFree=128616084/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3576.47 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 16019 0 0 0 354736 2911 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3576.47 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3605.87 s]
# the end of solver process 954245 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.72 s, system=29.2916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.32 4.20 4.12 5/255 956188
/proc/meminfo: memFree=128616112/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3578.17 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 16019 0 0 0 354904 2913 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3578.17 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3596.8 s]
/proc/loadavg: 4.33 4.20 4.13 5/255 956189
/proc/meminfo: memFree=128615972/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3590.95 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 16019 0 0 0 356173 2922 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3590.95 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3600 s]*
/proc/loadavg: 4.30 4.20 4.12 5/255 956191
/proc/meminfo: memFree=128615820/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3594.14 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 16019 0 0 0 356490 2924 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3594.14 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3603.2 s]
/proc/loadavg: 4.30 4.20 4.12 5/255 956191
/proc/meminfo: memFree=128615820/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3597.34 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 16019 0 0 0 356808 2926 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3597.34 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3604.8 s]
/proc/loadavg: 4.30 4.20 4.12 5/255 956191
/proc/meminfo: memFree=128615820/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3598.93 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 16019 0 0 0 356966 2927 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3598.93 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3605.6 s]
/proc/loadavg: 4.28 4.20 4.12 5/255 956192
/proc/meminfo: memFree=128615336/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3599.73 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 16019 0 0 0 357045 2928 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3599.73 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
[startup+3605.8 s]
/proc/loadavg: 4.28 4.20 4.12 5/255 956192
/proc/meminfo: memFree=128615336/131524600 swapFree=131071996/131071996
[pid=954245] ppid=954242 vsize=80208 memory=65716 CPUtime=3599.94 cores=4,6
/proc/954245/stat : 954245 (LS-Mab) R 954242 954245 952245 0 -1 4194304 16019 0 0 0 357065 2929 0 0 20 0 1 0 181905044 82132992 16429 134679101440 4194304 14036057 140722893177632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32309248 140722893181979 140722893182087 140722893182087 140722893189103 0
/proc/954245/statm: 20052 16429 780 2403 0 17162 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 80208 KiB
Current children cumulated memory: 65716 KiB
Child status: 0
Real time (s): 3605.87
CPU time (s): 3600.01
CPU user time (s): 3570.72
CPU system time (s): 29.2916
CPU usage (%): 99.8375
Max. virtual memory (cumulated for all children) (KiB): 80208
Max. memory (cumulated for all children) (KiB): 65716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.72
system time used= 29.2916
maximum resident set size= 65716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16023
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= 26
involuntary context switches= 928
# summary of solver processes directly reported to runsolver:
# pid: 954245
# total CPU time (s): 3600.01
# total CPU user time (s): 3570.72
# total CPU system time (s): 29.2916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07522 second user time and 12.0917 second system time
The end
Begin job on nodeC035 at 2024-07-18 12:09:14
IDJOB=4441719
IDBENCH=147745
IDSOLVER=3050
FILE ID=nodeC035/4441719-1721297342
RUNJOBID= nodeC035-1721293747-952256
SLURM_JOB_ID= 7542590
Free space on /tmp= 890008 MiB
SOLVER NAME= LS-Mab 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.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-4441719-1721297342/watcher-4441719-1721297342 -o /tmp/evaluation-result-4441719-1721297342/solver-4441719-1721297342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721293747-952256 --watchdog 3760 ./LS-Mab -f HOME/instance-4441719-1721297342.opb -t 3600 -s 1640776198 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 028f5bd5fcfe993f30262959408a2b50
RANDOM SEED=1640776198
nodeC035.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 : 3657.830
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.65
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 : 3673.023
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.886
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.65
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.856
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.79
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 : 3654.578
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.65
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 : 3673.055
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.79
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 : 3660.951
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.65
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 : 3641.665
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128532080 kB
MemAvailable: 129495824 kB
Buffers: 461992 kB
Cached: 1335792 kB
SwapCached: 0 kB
Active: 915684 kB
Inactive: 1464820 kB
Active(anon): 1552 kB
Inactive(anon): 618884 kB
Active(file): 914132 kB
Inactive(file): 845936 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 31704 kB
Writeback: 40 kB
AnonPages: 582780 kB
Mapped: 115648 kB
Shmem: 37724 kB
KReclaimable: 87000 kB
Slab: 197188 kB
SReclaimable: 87000 kB
SUnreclaim: 110188 kB
KernelStack: 4080 kB
PageTables: 10228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 977468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 641024 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC035 at 2024-07-18 13:09:20