3599.99/3607.41 c Filename:instance-4447417-1721357326.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.99/3607.41 c Not use presolve
3599.99/3607.41 c Use LS-small
3599.99/3607.41 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: 64096 MiB (59673 MiB free)
memory of node 1: 64473 MiB (60834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447417-1721357326/watcher-4447417-1721357326 -o /tmp/evaluation-result-4447417-1721357326/solver-4447417-1721357326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996698 --watchdog 3760 ./LS-MabS -f HOME/instance-4447417-1721357326.opb -t 3600 -s 237572176
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=998001, runsolver pid=997998
[startup+0.100097 s]*
/proc/loadavg: 4.15 4.12 4.12 5/242 998002
/proc/meminfo: memFree=123397548/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=0.1 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 8 2 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+0.213507 s]*
/proc/loadavg: 4.15 4.12 4.12 5/242 998002
/proc/meminfo: memFree=123397380/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=0.22 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 16 6 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+0.313279 s]*
/proc/loadavg: 4.15 4.12 4.12 5/242 998002
/proc/meminfo: memFree=123397240/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=0.32 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 23 9 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+0.700292 s]
/proc/loadavg: 4.15 4.12 4.12 6/242 998002
/proc/meminfo: memFree=123397100/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=0.69 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 50 19 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+1.50031 s]
/proc/loadavg: 4.15 4.12 4.12 6/242 998002
/proc/meminfo: memFree=123395792/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=1.49 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 109 40 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3.11311 s]
/proc/loadavg: 4.14 4.11 4.12 5/242 998003
/proc/meminfo: memFree=123393032/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3.1 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 230 80 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+6.30029 s]
/proc/loadavg: 4.14 4.11 4.12 5/242 998003
/proc/meminfo: memFree=123392500/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=6.28 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 464 164 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 4.12 5/241 998003
/proc/meminfo: memFree=123388836/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=12.67 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 935 332 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.12 4.12 5/241 998008
/proc/meminfo: memFree=123375620/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=25.44 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 1867 677 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+51.113 s]
/proc/loadavg: 4.11 4.11 4.12 5/241 998011
/proc/meminfo: memFree=123350924/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=51.02 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 3742 1360 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/243 998024
/proc/meminfo: memFree=123303172/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=102.11 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 7479 2732 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/243 998034
/proc/meminfo: memFree=123246580/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=162 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 11845 4355 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 162 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/243 998045
/proc/meminfo: memFree=123191840/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=221.9 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 16214 5976 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 221.9 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.13 4.11 5/243 998055
/proc/meminfo: memFree=123140576/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=281.79 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 20588 7591 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 281.79 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/243 998066
/proc/meminfo: memFree=123082460/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=341.68 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 24973 9195 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 341.68 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.14 4.11 6/245 998273
/proc/meminfo: memFree=123028156/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=401.58 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 29344 10814 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 401.58 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+462.3 s]
/proc/loadavg: 4.42 4.20 4.13 5/244 998473
/proc/meminfo: memFree=122974340/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=461.47 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 789 0 0 0 33721 12426 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
################
# More data... #
################
/proc/loadavg: 4.08 4.13 4.10 5/244 999895
/proc/meminfo: memFree=121496404/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3155.94 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 230587 85007 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3155.94 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/244 999906
/proc/meminfo: memFree=121405164/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3215.79 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 234956 86623 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3215.79 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/244 999916
/proc/meminfo: memFree=121332456/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3275.64 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 239316 88248 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3275.64 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/243 999927
/proc/meminfo: memFree=122250028/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3335.49 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 243691 89858 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3335.49 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/243 999937
/proc/meminfo: memFree=122223464/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3395.36 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 248043 91493 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3395.36 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.34 4.16 4.11 5/241 999948
/proc/meminfo: memFree=122203536/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3455.22 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 252396 93126 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3455.22 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.73 4.31 4.16 5/241 999958
/proc/meminfo: memFree=122182124/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3515.08 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 256758 94750 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3515.08 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.32 4.27 4.16 5/241 999968
/proc/meminfo: memFree=122155156/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3574.94 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 261129 96365 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3574.94 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3607.41 s]
# the end of solver process 998001 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2629.63 s, system=970.379 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.29 4.26 4.16 5/241 999969
/proc/meminfo: memFree=122154988/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3576.65 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 261253 96412 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3576.65 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3596.8 s]
/proc/loadavg: 4.41 4.29 4.17 5/241 999972
/proc/meminfo: memFree=122150480/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3589.41 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 262189 96752 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3589.41 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3603.2 s]
/proc/loadavg: 4.50 4.31 4.18 5/241 999973
/proc/meminfo: memFree=122148296/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3595.79 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 262655 96924 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3595.79 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3604.8 s]
/proc/loadavg: 4.50 4.31 4.18 6/241 999973
/proc/meminfo: memFree=122148156/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3597.39 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 262770 96969 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3597.39 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3606.4 s]
/proc/loadavg: 4.50 4.31 4.18 5/241 999973
/proc/meminfo: memFree=122147624/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3598.99 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 262887 97012 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3598.99 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3607.2 s]
/proc/loadavg: 4.50 4.31 4.18 5/241 999973
/proc/meminfo: memFree=122147568/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3599.78 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 262947 97031 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3599.78 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
[startup+3607.4 s]
/proc/loadavg: 4.50 4.31 4.18 5/241 999973
/proc/meminfo: memFree=122147568/131655788 swapFree=131071996/131071996
[pid=998001] ppid=997998 vsize=20512 memory=11932 CPUtime=3599.99 cores=1,3
/proc/998001/stat : 998001 (LS-MabS) R 997998 998001 996686 0 -1 4194304 793 0 0 0 262962 97037 0 0 20 0 1 0 187891379 21004288 2983 134679101440 4194304 14036057 140725891768384 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 54640640 140725891777569 140725891777670 140725891777670 140725891784686 0
/proc/998001/statm: 5128 2983 2413 2403 0 2238 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 11932 KiB
Child status: 0
Real time (s): 3607.41
CPU time (s): 3600.01
CPU user time (s): 2629.63
CPU system time (s): 970.379
CPU usage (%): 99.7947
Max. virtual memory (cumulated for all children) (KiB): 20512
Max. memory (cumulated for all children) (KiB): 11932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2629.63
system time used= 970.379
maximum resident set size= 12264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 794
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= 915
# summary of solver processes directly reported to runsolver:
# pid: 998001
# total CPU time (s): 3600.01
# total CPU user time (s): 2629.63
# total CPU system time (s): 970.379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0497 second user time and 29.649 second system time
The end
Begin job on nodeC005 at 2024-07-19 04:48:58
IDJOB=4447417
IDBENCH=158864
IDSOLVER=3048
FILE ID=nodeC005/4447417-1721357326
RUNJOBID= nodeC005-1721354589-996698
SLURM_JOB_ID= 7542776
Free space on /tmp= 723744 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-18-1.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447417-1721357326/watcher-4447417-1721357326 -o /tmp/evaluation-result-4447417-1721357326/solver-4447417-1721357326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996698 --watchdog 3760 ./LS-MabS -f HOME/instance-4447417-1721357326.opb -t 3600 -s 237572176
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d19b2a81a4db5f6417b5f351cc6a02b9
RANDOM SEED=237572176
nodeC005.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 : 0xb00001f
cpu MHz : 3677.399
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 3491.786
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.325
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.177
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 3677.442
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 3658.465
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.530
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.261
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123400684 kB
MemAvailable: 128829432 kB
Buffers: 512532 kB
Cached: 5698364 kB
SwapCached: 0 kB
Active: 1078420 kB
Inactive: 6481316 kB
Active(anon): 3440 kB
Inactive(anon): 1391288 kB
Active(file): 1074980 kB
Inactive(file): 5090028 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13100 kB
Writeback: 4 kB
AnonPages: 1348232 kB
Mapped: 137336 kB
Shmem: 45896 kB
KReclaimable: 207876 kB
Slab: 325844 kB
SReclaimable: 207876 kB
SUnreclaim: 117968 kB
KernelStack: 3888 kB
PageTables: 11992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1790672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 808960 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC005 at 2024-07-19 05:49:05