0.00/0.03 c Filename:instance-4447507-1721360013.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.03 c Not use presolve
3599.99/3607.80 c Use LS-small
3599.99/3607.80 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 (57754 MiB free)
memory of node 1: 64473 MiB (61720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447507-1721360013/watcher-4447507-1721360013 -o /tmp/evaluation-result-4447507-1721360013/solver-4447507-1721360013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996699 --watchdog 3760 ./LS-MabS -f HOME/instance-4447507-1721360013.opb -t 3600 -s 20560014
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=999808, runsolver pid=999805
[startup+0.100655 s]*
/proc/loadavg: 4.15 4.14 4.10 5/246 999809
/proc/meminfo: memFree=122334472/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=25192 memory=16704 CPUtime=0.1 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 1977 0 0 0 10 0 0 0 20 0 1 0 188160123 25796608 4176 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 6298 4176 2461 2403 0 3408 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25192 KiB
Current children cumulated memory: 16704 KiB
[startup+0.213674 s]*
/proc/loadavg: 4.15 4.14 4.10 5/246 999809
/proc/meminfo: memFree=122329544/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=30900 memory=21452 CPUtime=0.21 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 3165 0 0 0 21 0 0 0 20 0 1 0 188160123 31641600 5363 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 7725 5363 2461 2403 0 4835 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30900 KiB
Current children cumulated memory: 21452 KiB
[startup+0.313761 s]*
/proc/loadavg: 4.15 4.14 4.10 5/246 999809
/proc/meminfo: memFree=122327752/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=32236 memory=23300 CPUtime=0.31 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 3637 0 0 0 30 1 0 0 20 0 1 0 188160123 33009664 5825 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 8059 5825 2461 2403 0 5169 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32236 KiB
Current children cumulated memory: 23300 KiB
[startup+0.700252 s]
/proc/loadavg: 4.15 4.14 4.10 5/246 999809
/proc/meminfo: memFree=122325876/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=32500 memory=23828 CPUtime=0.69 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 3796 0 0 0 68 1 0 0 20 0 1 0 188160123 33280000 5957 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 8125 5957 2461 2403 0 5235 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 23828 KiB
[startup+1.50025 s]
/proc/loadavg: 4.15 4.14 4.10 5/246 999809
/proc/meminfo: memFree=122324840/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=34472 memory=25676 CPUtime=1.48 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 4254 0 0 0 147 1 0 0 20 0 1 0 188160123 35299328 6419 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 8618 6419 2461 2403 0 5728 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 25676 KiB
[startup+3.11329 s]
/proc/loadavg: 4.15 4.14 4.10 5/246 999809
/proc/meminfo: memFree=122321144/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=35712 memory=27260 CPUtime=3.09 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 4643 0 0 0 308 1 0 0 20 0 1 0 188160123 36569088 6815 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 8928 6815 2461 2403 0 6038 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35712 KiB
Current children cumulated memory: 27260 KiB
[startup+6.30025 s]
/proc/loadavg: 4.30 4.17 4.11 5/246 999811
/proc/meminfo: memFree=122314752/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=39968 memory=31220 CPUtime=6.27 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 5646 0 0 0 626 1 0 0 20 0 1 0 188160123 40927232 7805 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 9992 7805 2461 2403 0 7102 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 31220 KiB
[startup+12.7003 s]
/proc/loadavg: 4.44 4.20 4.12 5/245 999811
/proc/meminfo: memFree=122303228/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=47096 memory=38508 CPUtime=12.63 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 7645 0 0 0 1262 1 0 0 20 0 1 0 188160123 48226304 9627 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 11774 9627 2461 2403 0 8884 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 47096 KiB
Current children cumulated memory: 38508 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.20 4.12 5/245 999812
/proc/meminfo: memFree=122269088/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=67204 memory=58716 CPUtime=25.38 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 12720 0 0 0 2536 2 0 0 20 0 1 0 188160123 68816896 14679 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 16801 14679 2461 2403 0 13911 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 67204 KiB
Current children cumulated memory: 58716 KiB
[startup+51.1134 s]
/proc/loadavg: 4.30 4.19 4.12 5/245 999818
/proc/meminfo: memFree=122203660/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=104460 memory=95836 CPUtime=50.89 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 21593 0 0 0 5085 4 0 0 20 0 1 0 188160123 106967040 23959 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 26115 23959 2461 2403 0 23225 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 104460 KiB
Current children cumulated memory: 95836 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/245 999826
/proc/meminfo: memFree=122096892/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=171524 memory=154896 CPUtime=101.89 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 36662 0 0 0 10183 6 0 0 20 0 1 0 188160123 175640576 38724 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 42881 38724 2461 2403 0 39991 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 154896 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/242 999837
/proc/meminfo: memFree=121979076/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=230912 memory=213540 CPUtime=161.68 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 51378 0 0 0 16159 9 0 0 20 0 1 0 188160123 236453888 53385 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 57728 53385 2461 2403 0 54838 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 230912 KiB
Current children cumulated memory: 213540 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/242 999847
/proc/meminfo: memFree=121879116/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=282828 memory=264172 CPUtime=221.49 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 63571 0 0 0 22137 12 0 0 20 0 1 0 188160123 289615872 66043 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 70707 66043 2461 2403 0 67817 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 282828 KiB
Current children cumulated memory: 264172 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/241 999857
/proc/meminfo: memFree=121784264/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=332856 memory=309868 CPUtime=281.3 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 74520 0 0 0 28115 15 0 0 20 0 1 0 188160123 340844544 77467 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 83214 77467 2461 2403 0 80324 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 332856 KiB
Current children cumulated memory: 309868 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/242 999869
/proc/meminfo: memFree=121693124/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=374032 memory=351744 CPUtime=341.11 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 84180 0 0 0 34094 17 0 0 20 0 1 0 188160123 383008768 87936 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 93508 87936 2461 2403 0 90618 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 374032 KiB
Current children cumulated memory: 351744 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/242 999879
/proc/meminfo: memFree=121604724/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=416748 memory=389444 CPUtime=400.92 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 92666 0 0 0 40073 19 0 0 20 0 1 0 188160123 426749952 97361 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 104187 97361 2461 2403 0 101297 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 416748 KiB
Current children cumulated memory: 389444 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/244 999893
/proc/meminfo: memFree=121517156/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=445836 memory=423820 CPUtime=460.74 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 100782 0 0 0 46053 21 0 0 20 0 1 0 188160123 456536064 105955 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 111459 105955 2461 2403 0 108569 0
################
# More data... #
################
/proc/loadavg: 4.11 4.18 4.18 5/242 1001464
/proc/meminfo: memFree=121824516/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3155.15 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 285730 29785 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3155.15 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/242 1001474
/proc/meminfo: memFree=121708060/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3215.06 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 290399 31107 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3215.06 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/242 1001484
/proc/meminfo: memFree=121593560/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3274.98 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 295081 32417 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3274.98 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.19 4.18 5/243 1001665
/proc/meminfo: memFree=121483572/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3334.89 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 299765 33724 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3334.89 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.19 4.18 5/243 1001675
/proc/meminfo: memFree=121365804/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3394.8 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 304458 35022 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3394.8 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/244 1001743
/proc/meminfo: memFree=121258344/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3454.71 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 309144 36327 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3454.71 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/245 1001754
/proc/meminfo: memFree=121141628/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3514.62 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 313829 37633 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3514.62 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.17 4.18 5/245 1001765
/proc/meminfo: memFree=121023880/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3574.53 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 318503 38950 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3574.53 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3607.8 s]
# the end of solver process 999808 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3204.97 s, system=395.04 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.17 4.18 5/245 1001765
/proc/meminfo: memFree=121022208/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3576.24 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 318637 38987 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3576.24 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.17 4.18 5/245 1001768
/proc/meminfo: memFree=121765312/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3589.01 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 319637 39264 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3589.01 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3603.2 s]
/proc/loadavg: 4.14 4.16 4.18 5/245 1001768
/proc/meminfo: memFree=121758336/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3595.4 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 320138 39402 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3595.4 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3606.4 s]
/proc/loadavg: 4.13 4.16 4.17 5/245 1001770
/proc/meminfo: memFree=121755488/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3598.6 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 320386 39474 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3598.6 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3607.2 s]
/proc/loadavg: 4.13 4.16 4.17 5/245 1001770
/proc/meminfo: memFree=121754104/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3599.4 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 320448 39492 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3599.4 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3607.6 s]
/proc/loadavg: 4.13 4.16 4.17 5/245 1001770
/proc/meminfo: memFree=121754104/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3599.79 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 320480 39499 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3599.79 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
[startup+3607.8 s]
/proc/loadavg: 4.13 4.16 4.17 5/245 1001770
/proc/meminfo: memFree=121754104/131655788 swapFree=131071996/131071996
[pid=999808] ppid=999805 vsize=423280 memory=416256 CPUtime=3599.99 cores=5,7
/proc/999808/stat : 999808 (LS-MabS) R 999805 999808 996686 0 -1 4194304 199578 0 0 0 320496 39503 0 0 20 0 1 0 188160123 433438720 104064 134679101440 4194304 14036057 140736633941680 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40816640 140736633943074 140736633943174 140736633943174 140736633950190 0
/proc/999808/statm: 105820 104064 2461 2403 0 102930 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 416256 KiB
Child status: 0
Real time (s): 3607.8
CPU time (s): 3600.01
CPU user time (s): 3204.97
CPU system time (s): 395.04
CPU usage (%): 99.784
Max. virtual memory (cumulated for all children) (KiB): 934820
Max. memory (cumulated for all children) (KiB): 894160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3204.97
system time used= 395.04
maximum resident set size= 894160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199584
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= 129
involuntary context switches= 2844
# summary of solver processes directly reported to runsolver:
# pid: 999808
# total CPU time (s): 3600.01
# total CPU user time (s): 3204.97
# total CPU system time (s): 395.04
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7271 second user time and 33.1648 second system time
The end
Begin job on nodeC005 at 2024-07-19 05:33:45
IDJOB=4447507
IDBENCH=159214
IDSOLVER=3048
FILE ID=nodeC005/4447507-1721360013
RUNJOBID= nodeC005-1721354589-996699
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-tseitin-regular-n94-d3-i3-r1.cnf.gz-plain.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-4447507-1721360013/watcher-4447507-1721360013 -o /tmp/evaluation-result-4447507-1721360013/solver-4447507-1721360013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996699 --watchdog 3760 ./LS-MabS -f HOME/instance-4447507-1721360013.opb -t 3600 -s 20560014
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d3332ca740d3ae6dd3f9a6cb3b2999d7
RANDOM SEED=20560014
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 : 3670.416
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 : 3653.560
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.389
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.210
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 : 3661.481
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 : 3491.773
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.339
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.183
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: 122342144 kB
MemAvailable: 127784768 kB
Buffers: 514204 kB
Cached: 5710548 kB
SwapCached: 0 kB
Active: 1079900 kB
Inactive: 7536000 kB
Active(anon): 3440 kB
Inactive(anon): 2433580 kB
Active(file): 1076460 kB
Inactive(file): 5102420 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13124 kB
Writeback: 4 kB
AnonPages: 2390180 kB
Mapped: 137256 kB
Shmem: 45896 kB
KReclaimable: 207888 kB
Slab: 325968 kB
SReclaimable: 207888 kB
SUnreclaim: 118080 kB
KernelStack: 3920 kB
PageTables: 14164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2899656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59648 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1634304 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 06:33:53