3599.99/3607.31 c Filename:instance-4446728-1721348468.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.99/3607.31 c Use Presolve
3599.99/3607.31 c Parse finsih
3599.99/3607.31 c Start Presolve
3599.99/3607.31 c After Reduce Vars: 20501 Clauses: 20968 Top clause weight: 1 Hard Clauses: 20968
3599.99/3607.31 c Use LS-small
3599.99/3607.31 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 (62322 MiB free)
memory of node 1: 64510 MiB (61821 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446728-1721348468/watcher-4446728-1721348468 -o /tmp/evaluation-result-4446728-1721348468/solver-4446728-1721348468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721341265-973818 --watchdog 3760 ./LS-MabP -f HOME/instance-4446728-1721348468.opb -t 3600 -s 1150015453 --no-s
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=977867, runsolver pid=977864
[startup+0.10009 s]*
/proc/loadavg: 4.10 4.14 4.14 5/244 977868
/proc/meminfo: memFree=127117748/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=22776 memory=10132 CPUtime=0.1 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 1220 0 0 0 10 0 0 0 20 0 1 0 187003770 23322624 2533 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 5694 2533 1073 2753 0 2347 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22776 KiB
Current children cumulated memory: 10132 KiB
[startup+0.212734 s]*
/proc/loadavg: 4.10 4.14 4.14 5/244 977870
/proc/meminfo: memFree=127115568/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=24972 memory=11924 CPUtime=0.21 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 2028 0 0 0 21 0 0 0 20 0 1 0 187003770 25571328 2981 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 6243 2981 1073 2753 0 2896 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24972 KiB
Current children cumulated memory: 11924 KiB
[startup+0.31217 s]*
/proc/loadavg: 4.10 4.14 4.14 6/244 977870
/proc/meminfo: memFree=127114352/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=27020 memory=12944 CPUtime=0.31 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 2256 0 0 0 31 0 0 0 20 0 1 0 187003770 27668480 3236 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 6755 3236 1073 2753 0 3408 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27020 KiB
Current children cumulated memory: 12944 KiB
[startup+0.700307 s]
/proc/loadavg: 4.10 4.14 4.14 5/244 977870
/proc/meminfo: memFree=127113296/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=51836 memory=35528 CPUtime=0.68 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 5960 0 0 0 67 1 0 0 20 0 1 0 187003770 53080064 8882 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 12959 8882 1105 2753 0 9612 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51836 KiB
Current children cumulated memory: 35528 KiB
[startup+1.5003 s]
/proc/loadavg: 4.10 4.14 4.14 5/244 977870
/proc/meminfo: memFree=127091948/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=51836 memory=35528 CPUtime=1.48 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 5963 0 0 0 147 1 0 0 20 0 1 0 187003770 53080064 8882 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 12959 8882 1105 2753 0 9612 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51836 KiB
Current children cumulated memory: 35528 KiB
[startup+3.11234 s]
/proc/loadavg: 4.09 4.14 4.14 5/244 977870
/proc/meminfo: memFree=127069180/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=51836 memory=35528 CPUtime=3.09 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 5967 0 0 0 308 1 0 0 20 0 1 0 187003770 53080064 8882 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 12959 8882 1105 2753 0 9612 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51836 KiB
Current children cumulated memory: 35528 KiB
[startup+6.30027 s]
/proc/loadavg: 4.09 4.14 4.14 5/244 977916
/proc/meminfo: memFree=127079116/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62876 CPUtime=6.28 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12717 0 0 0 615 13 0 0 20 0 1 0 187003770 80654336 15719 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15719 1153 2753 0 16344 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62876 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.15 4.14 5/244 977917
/proc/meminfo: memFree=127019140/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62876 CPUtime=12.66 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12723 0 0 0 1236 30 0 0 20 0 1 0 187003770 80654336 15719 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15719 1153 2753 0 16344 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62876 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.16 4.15 5/244 977919
/proc/meminfo: memFree=127019024/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62876 CPUtime=25.44 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12729 0 0 0 2481 63 0 0 20 0 1 0 187003770 80654336 15719 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15719 1153 2753 0 16344 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62876 KiB
[startup+51.1124 s]
/proc/loadavg: 4.13 4.15 4.14 5/244 977923
/proc/meminfo: memFree=127018580/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62876 CPUtime=51.01 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12738 0 0 0 4965 136 0 0 20 0 1 0 187003770 80654336 15719 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15719 1153 2753 0 16344 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62876 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/244 977932
/proc/meminfo: memFree=127017272/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=102.09 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12759 0 0 0 9920 289 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/243 977942
/proc/meminfo: memFree=127016992/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=161.98 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12814 0 0 0 15747 451 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/243 977954
/proc/meminfo: memFree=127016416/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=221.87 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12837 0 0 0 21567 620 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/243 978348
/proc/meminfo: memFree=127015684/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=281.77 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12860 0 0 0 27389 788 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 281.77 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.11 4.13 5/243 978358
/proc/meminfo: memFree=127015884/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=341.66 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12883 0 0 0 33196 970 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 341.66 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 4.17 4.14 5/243 978369
/proc/meminfo: memFree=127015528/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=401.55 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12906 0 0 0 39018 1137 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 401.55 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.18 4.15 5/243 978547
/proc/meminfo: memFree=127014736/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=461.45 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 12929 0 0 0 44835 1310 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
################
# More data... #
################
/proc/loadavg: 4.09 4.12 4.11 5/246 979720
/proc/meminfo: memFree=126997444/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3215.85 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 13987 0 0 0 312463 9122 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3215.85 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/243 979730
/proc/meminfo: memFree=126997052/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3275.72 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14010 0 0 0 318281 9291 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3275.72 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/243 979740
/proc/meminfo: memFree=126996776/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3335.58 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14033 0 0 0 324106 9452 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3335.58 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/243 979751
/proc/meminfo: memFree=126996524/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3395.44 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14056 0 0 0 329924 9620 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3395.44 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/242 979761
/proc/meminfo: memFree=126996300/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3455.32 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14079 0 0 0 335741 9791 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3455.32 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/242 979771
/proc/meminfo: memFree=126995980/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3515.18 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14102 0 0 0 341562 9956 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3515.18 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.83 4.34 4.18 5/244 979786
/proc/meminfo: memFree=126995668/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3575.05 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14125 0 0 0 347383 10122 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3575.05 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3607.31 s]
# the end of solver process 977867 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3498.04 s, system=101.97 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.83 4.34 4.18 5/244 979786
/proc/meminfo: memFree=126995692/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3576.75 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14125 0 0 0 347548 10127 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3576.75 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3596.8 s]
/proc/loadavg: 4.70 4.33 4.18 5/244 979787
/proc/meminfo: memFree=126995664/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3589.51 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14125 0 0 0 348787 10164 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3589.51 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3603.2 s]
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995588/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3595.9 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14125 0 0 0 349406 10184 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3595.9 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3604.8 s]
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995624/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3597.49 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14125 0 0 0 349560 10189 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3597.49 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3606.4 s]
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995624/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3599.1 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14125 0 0 0 349716 10194 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3599.1 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3606.8 s]
/proc/loadavg: 4.59 4.32 4.17 5/244 979789
/proc/meminfo: memFree=126995624/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3599.49 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14125 0 0 0 349754 10195 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3599.49 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3607.2 s]
/proc/loadavg: 4.46 4.30 4.17 4/237 979820
/proc/meminfo: memFree=127066096/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3599.89 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14125 0 0 0 349793 10196 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3599.89 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
[startup+3607.3 s]
/proc/loadavg: 4.46 4.30 4.17 4/237 979820
/proc/meminfo: memFree=127066096/131655788 swapFree=131071996/131071996
[pid=977867] ppid=977864 vsize=78764 memory=62944 CPUtime=3599.99 cores=1,3
/proc/977867/stat : 977867 (LS-MabP) R 977864 977867 973806 0 -1 4194304 14125 0 0 0 349803 10196 0 0 20 0 1 0 187003770 80654336 15736 134679101440 4194304 15467897 140732904191568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31358976 140732904195097 140732904195206 140732904195206 140732904202222 0
/proc/977867/statm: 19691 15736 1153 2753 0 16344 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 62944 KiB
Child status: 0
Real time (s): 3607.31
CPU time (s): 3600.01
CPU user time (s): 3498.04
CPU system time (s): 101.97
CPU usage (%): 99.7976
Max. virtual memory (cumulated for all children) (KiB): 78764
Max. memory (cumulated for all children) (KiB): 62944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3498.04
system time used= 101.97
maximum resident set size= 62944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14129
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= 22
involuntary context switches= 1163
# summary of solver processes directly reported to runsolver:
# pid: 977867
# total CPU time (s): 3600.01
# total CPU user time (s): 3498.04
# total CPU system time (s): 101.97
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9508 second user time and 32.1924 second system time
The end
Begin job on nodeC012 at 2024-07-19 02:21:21
IDJOB=4446728
IDBENCH=158301
IDSOLVER=3049
FILE ID=nodeC012/4446728-1721348468
RUNJOBID= nodeC012-1721341265-973818
SLURM_JOB_ID= 7542730
Free space on /tmp= 723724 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K179.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446728-1721348468/watcher-4446728-1721348468 -o /tmp/evaluation-result-4446728-1721348468/solver-4446728-1721348468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721341265-973818 --watchdog 3760 ./LS-MabP -f HOME/instance-4446728-1721348468.opb -t 3600 -s 1150015453 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed
RANDOM SEED=1150015453
nodeC012.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.481
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 : 6984.37
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 : 3492.200
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.32
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.509
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 : 6984.37
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.323
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.32
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 : 2793.749
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 : 6984.37
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 : 3659.474
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.32
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.332
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 : 6984.37
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.351
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127124272 kB
MemAvailable: 129789520 kB
Buffers: 515420 kB
Cached: 2969000 kB
SwapCached: 0 kB
Active: 1029180 kB
Inactive: 2915896 kB
Active(anon): 1440 kB
Inactive(anon): 496588 kB
Active(file): 1027740 kB
Inactive(file): 2419308 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 35148 kB
Writeback: 0 kB
AnonPages: 460380 kB
Mapped: 120036 kB
Shmem: 37704 kB
KReclaimable: 116460 kB
Slab: 220992 kB
SReclaimable: 116460 kB
SUnreclaim: 104532 kB
KernelStack: 4032 kB
PageTables: 10600 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 784032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 342016 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: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC012 at 2024-07-19 03:21:28