31.50/31.66 c Filename:instance-4447056-1721349213.opb, Cutoff_time:3600, memory_limit_gb:500000
31.50/31.66 c Use Presolve
31.50/31.66 c Parse finsih
31.50/31.66 c Start Presolve
31.50/31.66 c After Reduce Vars: 5123 Clauses: 5344 Top clause weight: 1 Hard Clauses: 5344
3599.98/3608.61 c Use LS-small
3599.98/3608.61 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: 64059 MiB (59854 MiB free)
memory of node 1: 64510 MiB (61513 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447056-1721349213/watcher-4447056-1721349213 -o /tmp/evaluation-result-4447056-1721349213/solver-4447056-1721349213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983769 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447056-1721349213.opb -t 3600 -s 839056801
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=987817, runsolver pid=987814
[startup+0.100096 s]*
/proc/loadavg: 4.12 4.15 4.17 5/243 987818
/proc/meminfo: memFree=124270776/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=27480 memory=14172 CPUtime=0.1 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 2557 0 0 0 10 0 0 0 20 0 1 0 187080012 28139520 3543 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 6870 3543 1105 2753 0 3523 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27480 KiB
Current children cumulated memory: 14172 KiB
[startup+0.212795 s]*
/proc/loadavg: 4.12 4.15 4.17 5/243 987818
/proc/meminfo: memFree=124269600/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=27480 memory=14172 CPUtime=0.21 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 2557 0 0 0 21 0 0 0 20 0 1 0 187080012 28139520 3543 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 6870 3543 1105 2753 0 3523 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27480 KiB
Current children cumulated memory: 14172 KiB
[startup+0.312804 s]*
/proc/loadavg: 4.12 4.15 4.17 6/243 987818
/proc/meminfo: memFree=124269460/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=27480 memory=14172 CPUtime=0.31 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 2557 0 0 0 31 0 0 0 20 0 1 0 187080012 28139520 3543 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 6870 3543 1105 2753 0 3523 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27480 KiB
Current children cumulated memory: 14172 KiB
[startup+0.700323 s]
/proc/loadavg: 4.12 4.15 4.17 5/243 987818
/proc/meminfo: memFree=124269320/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=81588 memory=72068 CPUtime=0.69 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 15115 0 0 0 67 2 0 0 20 0 1 0 187080012 83546112 18017 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 20397 18017 2721 2753 0 17050 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 81588 KiB
Current children cumulated memory: 72068 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.15 4.17 5/243 987818
/proc/meminfo: memFree=124211348/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=87108 memory=77580 CPUtime=1.49 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 16498 0 0 0 147 2 0 0 20 0 1 0 187080012 89198592 19395 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 21777 19395 2721 2753 0 18430 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 87108 KiB
Current children cumulated memory: 77580 KiB
[startup+3.11256 s]
/proc/loadavg: 4.12 4.15 4.17 5/243 987818
/proc/meminfo: memFree=124194304/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=87376 memory=78628 CPUtime=3.1 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 16748 0 0 0 308 2 0 0 20 0 1 0 187080012 89473024 19657 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 21844 19657 2721 2753 0 18497 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 87376 KiB
Current children cumulated memory: 78628 KiB
[startup+6.30024 s]
/proc/loadavg: 4.11 4.14 4.17 5/244 987867
/proc/meminfo: memFree=124614660/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=105284 memory=95668 CPUtime=6.27 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 20981 0 0 0 625 2 0 0 20 0 1 0 187080012 107810816 23917 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 26321 23917 2817 2753 0 22974 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105284 KiB
Current children cumulated memory: 95668 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.17 5/244 987867
/proc/meminfo: memFree=124526560/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=109244 memory=99416 CPUtime=12.66 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 21861 0 0 0 1263 3 0 0 20 0 1 0 187080012 111865856 24854 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 27311 24854 2833 2753 0 23964 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 109244 KiB
Current children cumulated memory: 99416 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.16 5/244 987868
/proc/meminfo: memFree=124495152/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=109244 memory=99672 CPUtime=25.42 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 21923 0 0 0 2539 3 0 0 20 0 1 0 187080012 111865856 24918 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 27311 24918 2833 2753 0 23964 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 109244 KiB
Current children cumulated memory: 99672 KiB
[startup+51.1131 s]
/proc/loadavg: 4.18 4.16 4.17 5/244 987874
/proc/meminfo: memFree=124298044/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=176444 memory=164772 CPUtime=50.97 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 37744 0 0 0 5091 6 0 0 20 0 1 0 187080012 180678656 41193 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 44111 41193 2849 2753 0 40764 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 176444 KiB
Current children cumulated memory: 164772 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/244 987882
/proc/meminfo: memFree=124210580/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=176444 memory=166600 CPUtime=101.99 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 38210 0 0 0 10193 6 0 0 20 0 1 0 187080012 180678656 41650 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 44111 41650 2849 2753 0 40764 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 176444 KiB
Current children cumulated memory: 166600 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/242 987894
/proc/meminfo: memFree=124195724/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=176396 memory=167300 CPUtime=161.78 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 41146 0 0 0 16171 7 0 0 20 0 1 0 187080012 180629504 41825 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 44099 41825 2849 2753 0 40752 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 176396 KiB
Current children cumulated memory: 167300 KiB
[startup+222.3 s]
/proc/loadavg: 4.44 4.20 4.18 5/242 987904
/proc/meminfo: memFree=124200136/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=177136 memory=167796 CPUtime=221.58 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 41309 0 0 0 22151 7 0 0 20 0 1 0 187080012 181387264 41949 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 44284 41949 2849 2753 0 40937 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 177136 KiB
Current children cumulated memory: 167796 KiB
[startup+282.3 s]
/proc/loadavg: 4.56 4.30 4.22 5/242 987914
/proc/meminfo: memFree=124170268/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=177136 memory=169152 CPUtime=281.4 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 41319 0 0 0 28133 7 0 0 20 0 1 0 187080012 181387264 42288 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 44284 42288 2849 2753 0 40937 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 177136 KiB
Current children cumulated memory: 169152 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.26 4.21 5/241 987925
/proc/meminfo: memFree=124149760/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=177136 memory=170460 CPUtime=341.24 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 41382 0 0 0 34117 7 0 0 20 0 1 0 187080012 181387264 42615 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 44284 42615 2849 2753 0 40937 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 177136 KiB
Current children cumulated memory: 170460 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.25 4.21 5/241 987935
/proc/meminfo: memFree=124140752/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=177136 memory=171036 CPUtime=401.09 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 41438 0 0 0 40102 7 0 0 20 0 1 0 187080012 181387264 42759 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 44284 42759 2849 2753 0 40937 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 177136 KiB
Current children cumulated memory: 171036 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.24 4.20 5/244 987950
/proc/meminfo: memFree=124138284/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=177136 memory=171036 CPUtime=460.93 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 41501 0 0 0 46086 7 0 0 20 0 1 0 187080012 181387264 42759 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 44284 42759 2849 2753 0 40937 0
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.09 5/242 989453
/proc/meminfo: memFree=123993188/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3154.46 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75035 0 0 0 308818 6628 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 989463
/proc/meminfo: memFree=123993056/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3214.36 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75040 0 0 0 314517 6919 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 989473
/proc/meminfo: memFree=123994220/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3274.25 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75045 0 0 0 320208 7217 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/243 989654
/proc/meminfo: memFree=123993140/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3334.14 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75050 0 0 0 325906 7508 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/243 989664
/proc/meminfo: memFree=123992700/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3394.04 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75055 0 0 0 331603 7801 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3394.04 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/245 989732
/proc/meminfo: memFree=123992664/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3453.93 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75060 0 0 0 337297 8096 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/245 989742
/proc/meminfo: memFree=123992436/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3513.83 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75065 0 0 0 343000 8383 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/245 989753
/proc/meminfo: memFree=123992024/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3573.72 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75070 0 0 0 348701 8671 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3573.72 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3608.62 s]
# the end of solver process 987817 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3511.93 s, system=88.0719 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.09 5/245 989753
/proc/meminfo: memFree=123992024/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3575.43 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75070 0 0 0 348863 8680 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3575.43 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/245 989756
/proc/meminfo: memFree=123991952/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3588.19 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75070 0 0 0 350074 8745 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3588.19 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/243 989756
/proc/meminfo: memFree=123991952/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3594.59 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75070 0 0 0 350680 8779 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3594.59 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3606.4 s]
/proc/loadavg: 4.07 4.11 4.09 3/229 989820
/proc/meminfo: memFree=124439328/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3597.78 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75070 0 0 0 350983 8795 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3597.78 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3608 s]*
/proc/loadavg: 4.07 4.11 4.09 3/229 989820
/proc/meminfo: memFree=124439252/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3599.39 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75070 0 0 0 351135 8804 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3599.39 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3608.4 s]
/proc/loadavg: 4.07 4.11 4.09 3/229 989820
/proc/meminfo: memFree=124439252/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3599.78 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75070 0 0 0 351172 8806 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3599.78 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
[startup+3608.6 s]
/proc/loadavg: 4.07 4.11 4.09 3/229 989820
/proc/meminfo: memFree=124439252/131655788 swapFree=131071996/131071996
[pid=987817] ppid=987814 vsize=211216 memory=205776 CPUtime=3599.98 cores=5,7
/proc/987817/stat : 987817 (LS-MabSP) R 987814 987817 983756 0 -1 4194304 75070 0 0 0 351191 8807 0 0 20 0 1 0 187080012 216285184 51444 134679101440 4194304 15467897 140730132850688 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39251968 140730132857887 140730132857989 140730132857989 140730132865005 0
/proc/987817/statm: 52804 51444 2849 2753 0 49457 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 211216 KiB
Current children cumulated memory: 205776 KiB
Child status: 0
Real time (s): 3608.62
CPU time (s): 3600
CPU user time (s): 3511.93
CPU system time (s): 88.0719
CPU usage (%): 99.7612
Max. virtual memory (cumulated for all children) (KiB): 227372
Max. memory (cumulated for all children) (KiB): 221032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3511.93
system time used= 88.0719
maximum resident set size= 221820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75078
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= 34
involuntary context switches= 1082
# summary of solver processes directly reported to runsolver:
# pid: 987817
# total CPU time (s): 3600
# total CPU user time (s): 3511.93
# total CPU system time (s): 88.0719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2392 second user time and 30.6702 second system time
The end
Begin job on nodeC006 at 2024-07-19 02:33:45
IDJOB=4447056
IDBENCH=158357
IDSOLVER=3047
FILE ID=nodeC006/4447056-1721349213
RUNJOBID= nodeC006-1721342003-983769
SLURM_JOB_ID= 7542736
Free space on /tmp= 723728 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447056-1721349213/watcher-4447056-1721349213 -o /tmp/evaluation-result-4447056-1721349213/solver-4447056-1721349213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983769 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447056-1721349213.opb -t 3600 -s 839056801
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=839056801
nodeC006.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 : 3674.035
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.94
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 : 3656.805
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.26
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.493
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.94
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.410
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.26
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 : 3674.085
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.94
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.989
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.26
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.494
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.94
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.248
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124281524 kB
MemAvailable: 129269204 kB
Buffers: 515268 kB
Cached: 5251000 kB
SwapCached: 0 kB
Active: 994692 kB
Inactive: 5693940 kB
Active(anon): 1468 kB
Inactive(anon): 958592 kB
Active(file): 993224 kB
Inactive(file): 4735348 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 49312 kB
Writeback: 32 kB
AnonPages: 922428 kB
Mapped: 139116 kB
Shmem: 37704 kB
KReclaimable: 198280 kB
Slab: 313128 kB
SReclaimable: 198280 kB
SUnreclaim: 114848 kB
KernelStack: 3888 kB
PageTables: 10944 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1307096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59360 kB
HardwareCorrupted: 0 kB
AnonHugePages: 659456 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: 316232 kB
DirectMap2M: 40482816 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723744 MiB
End job on nodeC006 at 2024-07-19 03:33:54