133.39/133.81 c Filename:instance-4446396-1721342820.opb, Cutoff_time:3600, memory_limit_gb:500000
133.39/133.81 c Use Presolve
133.39/133.81 c Parse finsih
133.39/133.81 c Start Presolve
133.39/133.81 c After Reduce Vars: 7351 Clauses: 156112 Top clause weight: 1 Hard Clauses: 156112
3599.96/3608.24 c Use LS-small
3599.96/3608.24 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 (60723 MiB free)
memory of node 1: 64510 MiB (59919 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446396-1721342820/watcher-4446396-1721342820 -o /tmp/evaluation-result-4446396-1721342820/solver-4446396-1721342820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971416 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446396-1721342820.opb -t 3600 -s 816247724
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
Start 4.18.0-301.1.el8.x86_64
Start 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=973895, runsolver pid=973892
[startup+0.100101 s]*
/proc/loadavg: 4.08 4.11 4.09 4/241 973902
/proc/meminfo: memFree=123525016/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=29060 memory=16028 CPUtime=0.06 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 2039 0 0 0 6 0 0 0 20 0 1 0 186438609 29757440 4007 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 7265 4007 1073 2753 0 3918 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 16028 KiB
[startup+0.212934 s]*
/proc/loadavg: 4.08 4.11 4.09 5/240 973914
/proc/meminfo: memFree=123523988/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=31108 memory=17800 CPUtime=0.17 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 2492 0 0 0 17 0 0 0 20 0 1 0 186438609 31854592 4450 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 7777 4450 1073 2753 0 4430 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 31108 KiB
Current children cumulated memory: 17800 KiB
[startup+0.312743 s]*
/proc/loadavg: 4.08 4.11 4.09 6/240 973923
/proc/meminfo: memFree=123538968/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=35336 memory=19336 CPUtime=0.27 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 2835 0 0 0 27 0 0 0 20 0 1 0 186438609 36184064 4834 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 8834 4834 1073 2753 0 5487 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 35336 KiB
Current children cumulated memory: 19336 KiB
[startup+0.700284 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 973928
/proc/meminfo: memFree=123514692/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=43660 memory=25608 CPUtime=0.65 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 3391 0 0 0 64 1 0 0 20 0 1 0 186438609 44707840 6402 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 10915 6402 1073 2753 0 7568 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 43660 KiB
Current children cumulated memory: 25608 KiB
[startup+1.50035 s]
/proc/loadavg: 4.08 4.11 4.09 5/238 973970
/proc/meminfo: memFree=125028624/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=149856 memory=125744 CPUtime=1.45 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 11686 0 0 0 141 4 0 0 20 0 1 0 186438609 153452544 31436 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 37464 31436 1105 2753 0 34117 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 149856 KiB
Current children cumulated memory: 125744 KiB
[startup+3.11277 s]
/proc/loadavg: 4.08 4.10 4.09 5/244 974028
/proc/meminfo: memFree=126859592/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=149856 memory=125744 CPUtime=3.05 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 11711 0 0 0 301 4 0 0 20 0 1 0 186438609 153452544 31436 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 37464 31436 1105 2753 0 34117 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 149856 KiB
Current children cumulated memory: 125744 KiB
[startup+6.30034 s]
/proc/loadavg: 4.08 4.10 4.09 5/244 974028
/proc/meminfo: memFree=126549792/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=149856 memory=125744 CPUtime=6.23 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 11729 0 0 0 619 4 0 0 20 0 1 0 186438609 153452544 31436 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 37464 31436 1105 2753 0 34117 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 149856 KiB
Current children cumulated memory: 125744 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.13 4.10 5/244 974028
/proc/meminfo: memFree=125420148/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=543836 memory=516632 CPUtime=12.62 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 105450 0 0 0 1244 18 0 0 20 0 1 0 186438609 556888064 129158 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 135959 129158 2721 2753 0 132612 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 543836 KiB
Current children cumulated memory: 516632 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.13 4.10 5/244 974031
/proc/meminfo: memFree=124989568/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=982808 memory=920332 CPUtime=25.39 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 157611 0 0 0 2507 32 0 0 20 0 1 0 186438609 1006395392 230083 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 245702 230083 2849 2753 0 242355 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 982808 KiB
Current children cumulated memory: 920332 KiB
[startup+51.1129 s]
/proc/loadavg: 4.18 4.13 4.10 5/244 974034
/proc/meminfo: memFree=124884820/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=1044048 memory=947580 CPUtime=50.92 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 163349 0 0 0 5059 33 0 0 20 0 1 0 186438609 1069105152 236895 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 261012 236895 2849 2753 0 257665 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1044048 KiB
Current children cumulated memory: 947580 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 974043
/proc/meminfo: memFree=124777004/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=1129864 memory=963564 CPUtime=101.98 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 165334 0 0 0 10164 34 0 0 20 0 1 0 186438609 1156980736 240891 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 282466 240891 2849 2753 0 279119 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1129864 KiB
Current children cumulated memory: 963564 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/243 974054
/proc/meminfo: memFree=124639868/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=1319160 memory=1088644 CPUtime=161.8 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 219765 0 0 0 16137 43 0 0 20 0 1 0 186438609 1350819840 272161 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 329790 272161 2849 2753 0 326443 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1319160 KiB
Current children cumulated memory: 1088644 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/245 974068
/proc/meminfo: memFree=124552340/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=1431128 memory=1089764 CPUtime=221.63 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 220233 0 0 0 22120 43 0 0 20 0 1 0 186438609 1465475072 272441 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 357782 272441 2849 2753 0 354435 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1431128 KiB
Current children cumulated memory: 1089764 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/245 974078
/proc/meminfo: memFree=124317248/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=1531488 memory=1192300 CPUtime=281.47 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 273382 0 0 0 28096 51 0 0 20 0 1 0 186438609 1568243712 298075 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 382872 298075 2849 2753 0 379525 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1531488 KiB
Current children cumulated memory: 1192300 KiB
[startup+342.3 s]
/proc/loadavg: 4.62 4.26 4.14 5/244 974089
/proc/meminfo: memFree=124218272/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=1531488 memory=1199084 CPUtime=341.31 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 273478 0 0 0 34080 51 0 0 20 0 1 0 186438609 1568243712 299771 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 382872 299771 2849 2753 0 379525 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 1531488 KiB
Current children cumulated memory: 1199084 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.28 4.16 5/244 974099
/proc/meminfo: memFree=124017332/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=1531488 memory=1205684 CPUtime=401.17 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 273573 0 0 0 40066 51 0 0 20 0 1 0 186438609 1568243712 301421 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 382872 301421 2849 2753 0 379525 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1531488 KiB
Current children cumulated memory: 1205684 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.24 4.15 5/244 974110
/proc/meminfo: memFree=124003648/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=1531488 memory=1206400 CPUtime=461 cores=5,7
################
# More data... #
################
/proc/loadavg: 4.07 4.10 4.13 5/242 975770
/proc/meminfo: memFree=123449636/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3154.89 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 356948 0 0 0 314388 1101 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3154.89 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/245 975785
/proc/meminfo: memFree=123446244/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3214.77 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357028 0 0 0 320326 1151 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3214.77 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/245 975795
/proc/meminfo: memFree=123437388/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3274.66 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357148 0 0 0 326268 1198 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3274.66 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/245 975806
/proc/meminfo: memFree=123437048/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3334.55 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357228 0 0 0 332209 1246 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3334.55 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/245 975816
/proc/meminfo: memFree=123434564/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3394.43 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357308 0 0 0 338148 1295 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3394.43 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.11 5/245 975827
/proc/meminfo: memFree=123432536/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3454.32 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357428 0 0 0 344091 1341 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3454.32 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/242 975838
/proc/meminfo: memFree=123426340/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3514.21 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357508 0 0 0 350037 1384 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3514.21 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/242 975848
/proc/meminfo: memFree=123412900/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3574.1 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357588 0 0 0 355985 1425 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3608.25 s]
# the end of solver process 973895 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.56 s, system=14.4595 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.10 5/242 975850
/proc/meminfo: memFree=123412844/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3575.81 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357588 0 0 0 356154 1427 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3575.81 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.10 5/242 975851
/proc/meminfo: memFree=123409012/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3588.57 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357628 0 0 0 357422 1435 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3588.57 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3603.2 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975853
/proc/meminfo: memFree=123409108/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3594.97 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357628 0 0 0 358056 1441 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3594.97 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3606.4 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975853
/proc/meminfo: memFree=123408240/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3598.16 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357628 0 0 0 358373 1443 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3598.16 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3607.2 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975853
/proc/meminfo: memFree=123408240/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3598.96 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357628 0 0 0 358452 1444 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3598.96 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3608 s]*
/proc/loadavg: 4.06 4.09 4.10 5/242 975854
/proc/meminfo: memFree=123408156/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3599.76 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357628 0 0 0 358532 1444 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
[startup+3608.2 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975854
/proc/meminfo: memFree=123408156/131655788 swapFree=131071996/131071996
[pid=973895] ppid=973892 vsize=3170300 memory=1591172 CPUtime=3599.96 cores=5,7
/proc/973895/stat : 973895 (LS-MabSP) R 973892 973895 971403 0 -1 4194304 357628 0 0 0 358551 1445 0 0 20 0 1 0 186438609 3246387200 397793 134679101440 4194304 15467897 140737165696288 0 0 0 0 0 17410 0 0 0 17 5 0 0 4 0 0 17807032 17896208 36421632 140737165702175 140737165702277 140737165702277 140737165709293 0
/proc/973895/statm: 792575 397793 2849 2753 0 789228 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 3170300 KiB
Current children cumulated memory: 1591172 KiB
Child status: 0
Real time (s): 3608.25
CPU time (s): 3600.02
CPU user time (s): 3585.56
CPU system time (s): 14.4595
CPU usage (%): 99.7717
Max. virtual memory (cumulated for all children) (KiB): 3337776
Max. memory (cumulated for all children) (KiB): 1716788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.56
system time used= 14.4595
maximum resident set size= 1716788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357795
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= 42
involuntary context switches= 1322
# summary of solver processes directly reported to runsolver:
# pid: 973895
# total CPU time (s): 3600.02
# total CPU user time (s): 3585.56
# total CPU system time (s): 14.4595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3566 second user time and 36.6842 second system time
The end
Begin job on nodeC007 at 2024-07-19 00:47:12
IDJOB=4446396
IDBENCH=155589
IDSOLVER=3047
FILE ID=nodeC007/4446396-1721342820
RUNJOBID= nodeC007-1721339222-971416
SLURM_JOB_ID= 7542716
Free space on /tmp= 723700 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-21.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-4446396-1721342820/watcher-4446396-1721342820 -o /tmp/evaluation-result-4446396-1721342820/solver-4446396-1721342820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971416 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446396-1721342820.opb -t 3600 -s 816247724
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= abfa2b7f448cb4339f1b1eeb1bae5b59
RANDOM SEED=816247724
nodeC007.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 : 3668.441
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.25
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 : 3662.282
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.30
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.226
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.25
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.256
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.30
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 : 3659.267
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.25
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.666
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.30
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.151
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.25
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.130
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123538576 kB
MemAvailable: 126345600 kB
Buffers: 511168 kB
Cached: 3126564 kB
SwapCached: 0 kB
Active: 1097840 kB
Inactive: 6449864 kB
Active(anon): 1460 kB
Inactive(anon): 3946192 kB
Active(file): 1096380 kB
Inactive(file): 2503672 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 12008 kB
Writeback: 6508 kB
AnonPages: 3909988 kB
Mapped: 129180 kB
Shmem: 37704 kB
KReclaimable: 94004 kB
Slab: 195560 kB
SReclaimable: 94004 kB
SUnreclaim: 101556 kB
KernelStack: 3824 kB
PageTables: 16240 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4888932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58560 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3088384 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723704 MiB
End job on nodeC007 at 2024-07-19 01:47:20