3599.98/3609.41 c Filename:instance-4428844-1721037825.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.98/3609.41 c Not use presolve
3599.98/3609.41 c Use LS-small
3599.98/3609.41 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 (62445 MiB free)
memory of node 1: 64510 MiB (63412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428844-1721037825/watcher-4428844-1721037825 -o /tmp/evaluation-result-4428844-1721037825/solver-4428844-1721037825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721037837-788739 --watchdog 3760 ./LS-MabP -f HOME/instance-4428844-1721037825.opb -t 3600 -s 1692020288 --no-s
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=788768, runsolver pid=788765
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 3.89 4.15 4.15 5/232 788769
/proc/meminfo: memFree=128864600/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=31728 memory=12324 CPUtime=0.1 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 1674 0 0 0 10 0 0 0 20 0 1 0 155939148 32489472 3081 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 7932 3081 1057 2753 0 4585 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31728 KiB
Current children cumulated memory: 12324 KiB
[startup+0.214032 s]*
/proc/loadavg: 3.89 4.15 4.15 5/232 788770
/proc/meminfo: memFree=128820744/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=23420 CPUtime=0.22 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4454 0 0 0 20 2 0 0 20 0 1 0 155939148 38977536 5855 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 5855 1073 2753 0 6169 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 23420 KiB
[startup+0.313736 s]*
/proc/loadavg: 3.89 4.15 4.15 5/238 788780
/proc/meminfo: memFree=128796548/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=23420 CPUtime=0.31 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4457 0 0 0 29 2 0 0 20 0 1 0 155939148 38977536 5855 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 5855 1073 2753 0 6169 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 23420 KiB
[startup+0.700363 s]
/proc/loadavg: 3.90 4.14 4.15 6/234 788780
/proc/meminfo: memFree=128787988/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=23420 CPUtime=0.69 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4459 0 0 0 65 4 0 0 20 0 1 0 155939148 38977536 5855 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 5855 1073 2753 0 6169 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 23420 KiB
[startup+1.50029 s]
/proc/loadavg: 3.90 4.14 4.15 6/246 788802
/proc/meminfo: memFree=128625408/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=23420 CPUtime=1.48 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4459 0 0 0 142 6 0 0 20 0 1 0 155939148 38977536 5855 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 5855 1073 2753 0 6169 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 23420 KiB
[startup+3.11329 s]
/proc/loadavg: 3.90 4.14 4.15 5/246 788802
/proc/meminfo: memFree=127706048/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=23948 CPUtime=3.09 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4555 0 0 0 299 10 0 0 20 0 1 0 155939148 38977536 5987 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 5987 1073 2753 0 6169 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 23948 KiB
[startup+6.3003 s]
/proc/loadavg: 3.91 4.14 4.15 5/246 788802
/proc/meminfo: memFree=125381064/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=23948 CPUtime=6.27 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4555 0 0 0 608 19 0 0 20 0 1 0 155939148 38977536 5987 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 5987 1073 2753 0 6169 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 23948 KiB
[startup+12.7003 s]
/proc/loadavg: 3.92 4.14 4.15 5/246 788804
/proc/meminfo: memFree=125110036/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=23948 CPUtime=12.64 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4555 0 0 0 1230 34 0 0 20 0 1 0 155939148 38977536 5987 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 5987 1073 2753 0 6169 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 23948 KiB
[startup+25.5003 s]
/proc/loadavg: 4.01 4.15 4.15 5/246 788805
/proc/meminfo: memFree=125108428/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=24296 CPUtime=25.4 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4571 0 0 0 2479 61 0 0 20 0 1 0 155939148 38977536 6074 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6074 1073 2753 0 6169 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 24296 KiB
[startup+51.1133 s]
/proc/loadavg: 4.00 4.13 4.15 5/246 788810
/proc/meminfo: memFree=125106664/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=50.94 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4603 0 0 0 4974 120 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.13 4.14 5/246 788819
/proc/meminfo: memFree=125098048/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=101.99 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4627 0 0 0 9963 236 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/243 788830
/proc/meminfo: memFree=125068848/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=161.84 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4643 0 0 0 15805 379 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/243 788840
/proc/meminfo: memFree=125067996/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=221.68 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4659 0 0 0 21654 514 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/242 788850
/proc/meminfo: memFree=125067592/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=281.52 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4667 0 0 0 27507 645 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/242 788861
/proc/meminfo: memFree=125067300/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=341.37 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4675 0 0 0 33357 780 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/245 788876
/proc/meminfo: memFree=125066892/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=401.21 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4683 0 0 0 39205 916 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/245 788886
/proc/meminfo: memFree=125066388/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=461.05 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 4691 0 0 0 45059 1046 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
################
# More data... #
################
/proc/loadavg: 4.13 4.11 4.12 5/244 790375
/proc/meminfo: memFree=124998552/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3213.91 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5051 0 0 0 314399 6992 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/244 790553
/proc/meminfo: memFree=124997732/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3273.74 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5059 0 0 0 320252 7122 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.12 5/244 790564
/proc/meminfo: memFree=124997868/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3333.58 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5067 0 0 0 326095 7263 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.69 4.28 4.17 5/246 790578
/proc/meminfo: memFree=124997496/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3393.43 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5075 0 0 0 331940 7403 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3462.3 s]
/proc/loadavg: 4.40 4.28 4.18 5/244 790599
/proc/meminfo: memFree=124997376/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3453.26 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5083 0 0 0 337785 7541 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.26 4.18 5/244 790611
/proc/meminfo: memFree=124997080/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3513.1 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5091 0 0 0 343638 7672 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/244 790621
/proc/meminfo: memFree=124996752/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3572.94 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5099 0 0 0 349483 7811 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3609.42 s]
# the end of solver process 788768 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3521.26 s, system=78.7437 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.22 4.17 5/244 790621
/proc/meminfo: memFree=124996752/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3574.66 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5107 0 0 0 349650 7816 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3574.66 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.22 4.17 5/244 790622
/proc/meminfo: memFree=124996744/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3587.41 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5107 0 0 0 350898 7843 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3587.41 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3603.2 s]
/proc/loadavg: 4.17 4.23 4.17 5/244 790624
/proc/meminfo: memFree=124996668/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3593.79 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5107 0 0 0 351522 7857 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3593.79 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3606.4 s]
/proc/loadavg: 4.17 4.23 4.17 5/244 790625
/proc/meminfo: memFree=124996660/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3596.98 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5107 0 0 0 351833 7865 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3596.98 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3608 s]*
/proc/loadavg: 4.16 4.22 4.17 5/241 790666
/proc/meminfo: memFree=125174776/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3598.59 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5107 0 0 0 351989 7870 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3598.59 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3608.8 s]
/proc/loadavg: 4.16 4.22 4.17 5/241 790666
/proc/meminfo: memFree=125174776/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3599.38 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5107 0 0 0 352065 7873 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3599.38 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3609.2 s]
/proc/loadavg: 4.16 4.22 4.17 5/240 790700
/proc/meminfo: memFree=128717780/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3599.77 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5107 0 0 0 352104 7873 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
[startup+3609.4 s]
/proc/loadavg: 4.16 4.22 4.17 5/240 790700
/proc/meminfo: memFree=128717780/131655788 swapFree=131071996/131071996
[pid=788768] ppid=788765 vsize=38064 memory=25336 CPUtime=3599.98 cores=0,2
/proc/788768/stat : 788768 (LS-MabP) R 788765 788768 788729 0 -1 4194304 5107 0 0 0 352124 7874 0 0 20 0 1 0 155939148 38977536 6334 134679101440 4194304 15467897 140735373424496 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56205312 140735373427738 140735373427847 140735373427847 140735373434862 0
/proc/788768/statm: 9516 6334 1073 2753 0 6169 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 25336 KiB
Child status: 0
Real time (s): 3609.42
CPU time (s): 3600
CPU user time (s): 3521.26
CPU system time (s): 78.7437
CPU usage (%): 99.7392
Max. virtual memory (cumulated for all children) (KiB): 38064
Max. memory (cumulated for all children) (KiB): 25336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3521.26
system time used= 78.7437
maximum resident set size= 25336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5110
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= 10
involuntary context switches= 25167
# summary of solver processes directly reported to runsolver:
# pid: 788768
# total CPU time (s): 3600
# total CPU user time (s): 3521.26
# total CPU system time (s): 78.7437
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3918 second user time and 33.2178 second system time
The end
Begin job on nodeC007 at 2024-07-15 12:03:57
IDJOB=4428844
IDBENCH=155717
IDSOLVER=3049
FILE ID=nodeC007/4428844-1721037825
RUNJOBID= nodeC007-1721037837-788739
SLURM_JOB_ID= 7505438
Free space on /tmp= 723780 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.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-4428844-1721037825/watcher-4428844-1721037825 -o /tmp/evaluation-result-4428844-1721037825/solver-4428844-1721037825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721037837-788739 --watchdog 3760 ./LS-MabP -f HOME/instance-4428844-1721037825.opb -t 3600 -s 1692020288 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ee8f5ca8a7564b2d122e7dc0e93c6e43
RANDOM SEED=1692020288
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 : 1525.377
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 : 1197.148
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.131
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.131
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 : 1197.132
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 : 1197.132
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.160
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.142
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: 128891116 kB
MemAvailable: 129923768 kB
Buffers: 357900 kB
Cached: 1508936 kB
SwapCached: 0 kB
Active: 567572 kB
Inactive: 1658432 kB
Active(anon): 1352 kB
Inactive(anon): 395852 kB
Active(file): 566220 kB
Inactive(file): 1262580 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 38800 kB
Writeback: 12 kB
AnonPages: 360476 kB
Mapped: 102704 kB
Shmem: 37704 kB
KReclaimable: 87768 kB
Slab: 182664 kB
SReclaimable: 87768 kB
SUnreclaim: 94896 kB
KernelStack: 3784 kB
PageTables: 8948 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 803068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 50016 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: 238408 kB
DirectMap2M: 18540544 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723636 MiB
End job on nodeC007 at 2024-07-15 13:04:07