3599.98/3606.71 c Filename:instance-4446518-1721341253.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.98/3606.71 c Use Presolve
3599.98/3606.71 c Parse finsih
3599.98/3606.71 c Start Presolve
3599.98/3606.71 c After Reduce Vars: 16215 Clauses: 16610 Top clause weight: 1 Hard Clauses: 16610
3599.98/3606.71 c Use LS-small
3599.98/3606.71 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 (62402 MiB free)
memory of node 1: 64510 MiB (61886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446518-1721341253/watcher-4446518-1721341253 -o /tmp/evaluation-result-4446518-1721341253/solver-4446518-1721341253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721341265-973818 --watchdog 3760 ./LS-MabP -f HOME/instance-4446518-1721341253.opb -t 3600 -s 1570663663 --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=973869, runsolver pid=973866
[startup+0.101025 s]*
/proc/loadavg: 1.45 1.26 2.05 5/246 973880
/proc/meminfo: memFree=127256996/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=22200 memory=9420 CPUtime=0.1 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 1047 0 0 0 10 0 0 0 20 0 1 0 186282261 22732800 2355 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 5550 2355 1073 2753 0 2203 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22200 KiB
Current children cumulated memory: 9420 KiB
[startup+0.213174 s]*
/proc/loadavg: 1.45 1.26 2.05 5/246 973880
/proc/meminfo: memFree=127248588/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=23240 memory=10576 CPUtime=0.21 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 1433 0 0 0 21 0 0 0 20 0 1 0 186282261 23797760 2644 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 5810 2644 1073 2753 0 2463 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23240 KiB
Current children cumulated memory: 10576 KiB
[startup+0.31253 s]*
/proc/loadavg: 1.45 1.26 2.05 6/246 973880
/proc/meminfo: memFree=127246124/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=24264 memory=11136 CPUtime=0.31 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 1857 0 0 0 31 0 0 0 20 0 1 0 186282261 24846336 2784 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 6066 2784 1073 2753 0 2719 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24264 KiB
Current children cumulated memory: 11136 KiB
[startup+0.700377 s]
/proc/loadavg: 1.45 1.26 2.05 5/246 973880
/proc/meminfo: memFree=127237860/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=42876 memory=29720 CPUtime=0.68 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 7677 0 0 0 66 2 0 0 20 0 1 0 186282261 43905024 7430 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 10719 7430 1105 2753 0 7372 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42876 KiB
Current children cumulated memory: 29720 KiB
[startup+1.50034 s]
/proc/loadavg: 1.45 1.26 2.05 5/246 973880
/proc/meminfo: memFree=127178828/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=42876 memory=29720 CPUtime=1.48 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 7681 0 0 0 146 2 0 0 20 0 1 0 186282261 43905024 7430 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 10719 7430 1105 2753 0 7372 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42876 KiB
Current children cumulated memory: 29720 KiB
[startup+3.11356 s]
/proc/loadavg: 1.45 1.26 2.05 5/246 973880
/proc/meminfo: memFree=127043432/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=48544 CPUtime=3.09 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13448 0 0 0 304 5 0 0 20 0 1 0 186282261 63197184 12136 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12136 1153 2753 0 12082 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 48544 KiB
[startup+6.30029 s]
/proc/loadavg: 1.65 1.30 2.06 5/246 973882
/proc/meminfo: memFree=127014544/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=48544 CPUtime=6.27 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13448 0 0 0 612 15 0 0 20 0 1 0 186282261 63197184 12136 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12136 1153 2753 0 12082 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 48544 KiB
[startup+12.7003 s]
/proc/loadavg: 1.84 1.35 2.07 5/245 973882
/proc/meminfo: memFree=126998488/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=48544 CPUtime=12.66 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13448 0 0 0 1227 39 0 0 20 0 1 0 186282261 63197184 12136 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12136 1153 2753 0 12082 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 48544 KiB
[startup+25.5003 s]
/proc/loadavg: 2.32 1.48 2.10 5/245 973883
/proc/meminfo: memFree=126998568/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=48544 CPUtime=25.44 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13448 0 0 0 2468 76 0 0 20 0 1 0 186282261 63197184 12136 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12136 1153 2753 0 12082 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 48544 KiB
[startup+51.1133 s]
/proc/loadavg: 2.96 1.70 2.16 5/245 973888
/proc/meminfo: memFree=126997788/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=48544 CPUtime=51 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13448 0 0 0 4942 158 0 0 20 0 1 0 186282261 63197184 12136 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12136 1153 2753 0 12082 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 48544 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.07 2.26 5/245 973896
/proc/meminfo: memFree=126996648/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=48544 CPUtime=102.07 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13448 0 0 0 9875 332 0 0 20 0 1 0 186282261 63197184 12136 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12136 1153 2753 0 12082 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 48544 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 2.47 2.39 5/246 973908
/proc/meminfo: memFree=126996004/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=161.93 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13537 0 0 0 15669 524 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+222.3 s]
/proc/loadavg: 4.82 2.97 2.57 5/246 973920
/proc/meminfo: memFree=126995360/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=221.82 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13585 0 0 0 21470 712 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+282.3 s]
/proc/loadavg: 4.45 3.22 2.68 5/248 974315
/proc/meminfo: memFree=126994520/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=281.71 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13617 0 0 0 27278 893 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 281.71 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 3.39 2.78 5/244 974325
/proc/meminfo: memFree=126994928/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=341.6 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13633 0 0 0 33075 1085 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 341.6 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.52 2.86 5/244 974336
/proc/meminfo: memFree=126994592/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=401.48 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13649 0 0 0 38879 1269 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 401.48 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.62 2.94 5/243 974346
/proc/meminfo: memFree=126994376/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=461.38 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 13665 0 0 0 44666 1472 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
################
# More data... #
################
/proc/loadavg: 4.15 4.12 4.07 5/245 975642
/proc/meminfo: memFree=126980508/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3216.29 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14401 0 0 0 311377 10252 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3216.29 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/245 975653
/proc/meminfo: memFree=126980108/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3276.19 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14417 0 0 0 317178 10441 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3276.19 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/242 975663
/proc/meminfo: memFree=126980028/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3336.07 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14433 0 0 0 322974 10633 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3336.07 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/241 975674
/proc/meminfo: memFree=126979708/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3395.96 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14449 0 0 0 328767 10829 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3395.96 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/241 975684
/proc/meminfo: memFree=126979460/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3455.85 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14465 0 0 0 334565 11020 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3455.85 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/241 975694
/proc/meminfo: memFree=126979164/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3515.74 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14481 0 0 0 340366 11208 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3515.74 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/241 975704
/proc/meminfo: memFree=126978808/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3575.63 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14497 0 0 0 346168 11395 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3575.63 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3606.72 s]
# the end of solver process 973869 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3485.29 s, system=114.719 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.11 4.08 5/243 975708
/proc/meminfo: memFree=126978644/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3577.34 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14497 0 0 0 346335 11399 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3577.34 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.12 4.09 5/243 975712
/proc/meminfo: memFree=126978732/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3590.1 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14497 0 0 0 347571 11439 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3590.1 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3603.2 s]
/proc/loadavg: 4.24 4.14 4.09 5/243 975712
/proc/meminfo: memFree=126978676/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3596.49 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14497 0 0 0 348190 11459 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3596.49 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3604.8 s]
/proc/loadavg: 4.24 4.14 4.09 5/243 975712
/proc/meminfo: memFree=126978676/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3598.09 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14497 0 0 0 348345 11464 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3598.09 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3605.6 s]
/proc/loadavg: 4.24 4.14 4.09 5/243 975713
/proc/meminfo: memFree=126978528/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3598.89 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14497 0 0 0 348422 11467 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3598.89 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3606.4 s]
/proc/loadavg: 4.22 4.13 4.09 5/243 975715
/proc/meminfo: memFree=126978572/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3599.69 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14497 0 0 0 348499 11470 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3599.69 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3606.6 s]
/proc/loadavg: 4.22 4.13 4.09 5/243 975715
/proc/meminfo: memFree=126978572/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3599.89 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14497 0 0 0 348518 11471 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3599.89 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
[startup+3606.7 s]
/proc/loadavg: 4.22 4.13 4.09 5/243 975715
/proc/meminfo: memFree=126978572/131655788 swapFree=131071996/131071996
[pid=973869] ppid=973866 vsize=61716 memory=49056 CPUtime=3599.98 cores=1,3
/proc/973869/stat : 973869 (LS-MabP) R 973866 973869 973806 0 -1 4194304 14497 0 0 0 348527 11471 0 0 20 0 1 0 186282261 63197184 12264 134679101440 4194304 15467897 140737162664608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49455104 140737162671129 140737162671238 140737162671238 140737162678254 0
/proc/973869/statm: 15429 12264 1153 2753 0 12082 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 61716 KiB
Current children cumulated memory: 49056 KiB
Child status: 0
Real time (s): 3606.72
CPU time (s): 3600.01
CPU user time (s): 3485.29
CPU system time (s): 114.719
CPU usage (%): 99.8141
Max. virtual memory (cumulated for all children) (KiB): 61716
Max. memory (cumulated for all children) (KiB): 49056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3485.29
system time used= 114.719
maximum resident set size= 49056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14501
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= 18
involuntary context switches= 1163
# summary of solver processes directly reported to runsolver:
# pid: 973869
# total CPU time (s): 3600.01
# total CPU user time (s): 3485.29
# total CPU system time (s): 114.719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7269 second user time and 32.1982 second system time
The end
Begin job on nodeC012 at 2024-07-19 00:21:05
IDJOB=4446518
IDBENCH=158274
IDSOLVER=3049
FILE ID=nodeC012/4446518-1721341253
RUNJOBID= nodeC012-1721341265-973818
SLURM_JOB_ID= 7542730
Free space on /tmp= 723756 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K143.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-4446518-1721341253/watcher-4446518-1721341253 -o /tmp/evaluation-result-4446518-1721341253/solver-4446518-1721341253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721341265-973818 --watchdog 3760 ./LS-MabP -f HOME/instance-4446518-1721341253.opb -t 3600 -s 1570663663 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5b71eb3fc2b19671b5e391982561b6cd
RANDOM SEED=1570663663
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 : 1197.356
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 : 1197.321
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.323
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.583
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 : 1197.381
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 : 1197.507
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.321
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.322
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: 127277516 kB
MemAvailable: 129910212 kB
Buffers: 513304 kB
Cached: 2939000 kB
SwapCached: 0 kB
Active: 1022652 kB
Inactive: 2768532 kB
Active(anon): 1336 kB
Inactive(anon): 375244 kB
Active(file): 1021316 kB
Inactive(file): 2393288 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 73744 kB
Writeback: 8 kB
AnonPages: 339300 kB
Mapped: 110232 kB
Shmem: 37704 kB
KReclaimable: 116248 kB
Slab: 221048 kB
SReclaimable: 116248 kB
SUnreclaim: 104800 kB
KernelStack: 3816 kB
PageTables: 9188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 748980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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= 723704 MiB
End job on nodeC012 at 2024-07-19 01:21:12