3599.90/3607.89 c Filename:instance-4443968-1721316909.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.90/3607.89 c Use Presolve
3599.90/3607.89 c Parse finsih
3599.90/3607.89 c Start Presolve
3599.90/3607.89 c After Reduce Vars: 3750 Clauses: 468375 Top clause weight: 1 Hard Clauses: 468375
3599.90/3607.89 c Use LS-small
3599.90/3607.89 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: 63968 MiB (61126 MiB free)
memory of node 1: 64473 MiB (62883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443968-1721316909/watcher-4443968-1721316909 -o /tmp/evaluation-result-4443968-1721316909/solver-4443968-1721316909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721316745-967398 --watchdog 3760 ./LS-MabP -f HOME/instance-4443968-1721316909.opb -t 3600 -s 183134397 --no-s
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=968639, runsolver pid=968636
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 3.82 2.75 2.85 5/255 968654
/proc/meminfo: memFree=126958752/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=43984 memory=31176 CPUtime=0.1 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 2749 0 0 0 10 0 0 0 20 0 1 0 183861737 45039616 7794 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 10996 7794 1073 2753 0 7649 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43984 KiB
Current children cumulated memory: 31176 KiB
[startup+0.205529 s]*
/proc/loadavg: 3.82 2.75 2.85 5/254 968656
/proc/meminfo: memFree=126956060/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=46032 memory=33532 CPUtime=0.2 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 3301 0 0 0 20 0 0 0 20 0 1 0 183861737 47136768 8383 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 11508 8383 1073 2753 0 8161 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46032 KiB
Current children cumulated memory: 33532 KiB
[startup+0.305406 s]*
/proc/loadavg: 3.92 2.79 2.86 5/254 968656
/proc/meminfo: memFree=126951996/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=50128 memory=37372 CPUtime=0.3 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 3742 0 0 0 30 0 0 0 20 0 1 0 183861737 51331072 9343 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 12532 9343 1073 2753 0 9185 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50128 KiB
Current children cumulated memory: 37372 KiB
[startup+0.700224 s]
/proc/loadavg: 3.92 2.79 2.86 5/254 968656
/proc/meminfo: memFree=126947160/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=58320 memory=43520 CPUtime=0.69 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 4262 0 0 0 68 1 0 0 20 0 1 0 183861737 59719680 10880 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 14580 10880 1073 2753 0 11233 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58320 KiB
Current children cumulated memory: 43520 KiB
[startup+1.50023 s]
/proc/loadavg: 3.92 2.79 2.86 5/254 968656
/proc/meminfo: memFree=126938772/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=74704 memory=59908 CPUtime=1.49 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 4791 0 0 0 148 1 0 0 20 0 1 0 183861737 76496896 14977 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 18676 14977 1073 2753 0 15329 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74704 KiB
Current children cumulated memory: 59908 KiB
[startup+3.10545 s]
/proc/loadavg: 3.92 2.79 2.86 5/254 968656
/proc/meminfo: memFree=126899776/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=176768 memory=157664 CPUtime=3.09 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 6817 0 0 0 304 5 0 0 20 0 1 0 183861737 181010432 39416 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 44192 39416 1073 2753 0 40845 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 176768 KiB
Current children cumulated memory: 157664 KiB
[startup+6.30023 s]
/proc/loadavg: 3.92 2.81 2.87 5/254 968656
/proc/meminfo: memFree=126656408/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=350708 memory=332056 CPUtime=6.28 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 16041 0 0 0 617 11 0 0 20 0 1 0 183861737 359124992 83014 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 87677 83014 1153 2753 0 84330 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 350708 KiB
Current children cumulated memory: 332056 KiB
[startup+12.7002 s]
/proc/loadavg: 3.93 2.83 2.88 5/256 968689
/proc/meminfo: memFree=126661584/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=350708 memory=332064 CPUtime=12.66 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 16149 0 0 0 1255 11 0 0 20 0 1 0 183861737 359124992 83016 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 87677 83016 1153 2753 0 84330 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 350708 KiB
Current children cumulated memory: 332064 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 2.88 2.89 5/256 968691
/proc/meminfo: memFree=126590248/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=402920 CPUtime=25.43 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 51099 0 0 0 2521 22 0 0 20 0 1 0 183861737 457732096 100730 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 100730 1153 2753 0 108404 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 402920 KiB
[startup+51.1055 s]
/proc/loadavg: 4.01 2.99 2.93 5/256 968741
/proc/meminfo: memFree=128041556/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=402920 CPUtime=50.99 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 51127 0 0 0 5062 37 0 0 20 0 1 0 183861737 457732096 100730 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 100730 1153 2753 0 108404 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 402920 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 3.16 3.00 5/256 968749
/proc/meminfo: memFree=128022536/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=402920 CPUtime=102.07 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 51174 0 0 0 10141 66 0 0 20 0 1 0 183861737 457732096 100730 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 100730 1153 2753 0 108404 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 402920 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.35 3.07 5/255 968760
/proc/meminfo: memFree=128021632/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=402920 CPUtime=161.95 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 51195 0 0 0 16088 107 0 0 20 0 1 0 183861737 457732096 100730 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 100730 1153 2753 0 108404 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 402920 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.47 3.13 5/255 968817
/proc/meminfo: memFree=127498256/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=221.81 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 51240 0 0 0 22035 146 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.60 3.20 5/256 968874
/proc/meminfo: memFree=128119928/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=281.68 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 51328 0 0 0 27988 180 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.69 3.26 5/258 968889
/proc/meminfo: memFree=128118616/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=341.56 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 51415 0 0 0 33943 213 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 341.56 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.76 3.31 5/258 968899
/proc/meminfo: memFree=128117728/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=401.43 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 51501 0 0 0 39895 248 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 401.43 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.84 3.37 5/258 968910
/proc/meminfo: memFree=128116920/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=461.29 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 51587 0 0 0 45850 279 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
################
# More data... #
################
Current children cumulated memory: 424384 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 969986
/proc/meminfo: memFree=128116964/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=2915.9 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55113 0 0 0 290091 1499 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 2915.9 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 969997
/proc/meminfo: memFree=128115940/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=2975.77 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55199 0 0 0 296045 1532 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 2975.77 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 970393
/proc/meminfo: memFree=128215120/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3035.63 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55285 0 0 0 302000 1563 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3035.63 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 970403
/proc/meminfo: memFree=128214744/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3095.5 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55371 0 0 0 307959 1591 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3095.5 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 970414
/proc/meminfo: memFree=128213908/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3155.37 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55457 0 0 0 313919 1618 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3155.37 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/257 970594
/proc/meminfo: memFree=128212892/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3215.24 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55543 0 0 0 319875 1649 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3215.24 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/259 970662
/proc/meminfo: memFree=128211824/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3275.11 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55629 0 0 0 325832 1679 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3275.11 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/259 970674
/proc/meminfo: memFree=128211412/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3334.98 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55715 0 0 0 331789 1709 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3334.98 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 970684
/proc/meminfo: memFree=128210564/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3394.85 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55801 0 0 0 337748 1737 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3394.85 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 970695
/proc/meminfo: memFree=128210192/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3454.71 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55887 0 0 0 343705 1766 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3454.71 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 970705
/proc/meminfo: memFree=128209244/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3514.58 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 55973 0 0 0 349663 1795 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3514.58 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 970717
/proc/meminfo: memFree=128208728/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3574.45 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 56059 0 0 0 355621 1824 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3574.45 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.9 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 970720
/proc/meminfo: memFree=128208112/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3600 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 56105 0 0 0 358163 1837 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.91 s]
# the end of solver process 968639 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3581.64 s, system=18.3759 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.9 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 970720
/proc/meminfo: memFree=128208112/131524600 swapFree=131071996/131071996
[pid=968639] ppid=968636 vsize=447004 memory=424384 CPUtime=3600 cores=4,6
/proc/968639/stat : 968639 (LS-MabP) R 968636 968639 967387 0 -1 4194304 56105 0 0 0 358163 1837 0 0 20 0 1 0 183861737 457732096 106096 134679101440 4194304 15467897 140727834225968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26423296 140727834231834 140727834231942 140727834231942 140727834238958 0
/proc/968639/statm: 111751 106096 1153 2753 0 108404 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 424384 KiB
Child status: 10
Real time (s): 3607.91
CPU time (s): 3600.01
CPU user time (s): 3581.64
CPU system time (s): 18.3759
CPU usage (%): 99.7812
Max. virtual memory (cumulated for all children) (KiB): 447004
Max. memory (cumulated for all children) (KiB): 424384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.64
system time used= 18.3759
maximum resident set size= 424384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56134
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= 52
involuntary context switches= 925
# summary of solver processes directly reported to runsolver:
# pid: 968639
# total CPU time (s): 3600.01
# total CPU user time (s): 3581.64
# total CPU system time (s): 18.3759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8047 second user time and 16.4299 second system time
The end
Begin job on nodeC035 at 2024-07-18 17:35:21
IDJOB=4443968
IDBENCH=147892
IDSOLVER=3049
FILE ID=nodeC035/4443968-1721316909
RUNJOBID= nodeC035-1721316745-967398
SLURM_JOB_ID= 7542657
Free space on /tmp= 889828 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.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-4443968-1721316909/watcher-4443968-1721316909 -o /tmp/evaluation-result-4443968-1721316909/solver-4443968-1721316909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721316745-967398 --watchdog 3760 ./LS-MabP -f HOME/instance-4443968-1721316909.opb -t 3600 -s 183134397 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=183134397
nodeC035.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 : 0xb00002a
cpu MHz : 3669.817
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.65
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 : 0xb00002a
cpu MHz : 3684.870
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.79
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 : 0xb00002a
cpu MHz : 3600.055
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.65
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 : 0xb00002a
cpu MHz : 3604.351
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.79
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 : 0xb00002a
cpu MHz : 3656.496
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.65
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 : 0xb00002a
cpu MHz : 3686.053
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.79
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 : 0xb00002a
cpu MHz : 3670.905
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.65
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 : 0xb00002a
cpu MHz : 3600.553
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126985756 kB
MemAvailable: 128203988 kB
Buffers: 471304 kB
Cached: 1577624 kB
SwapCached: 0 kB
Active: 1093996 kB
Inactive: 2823804 kB
Active(anon): 1552 kB
Inactive(anon): 1904720 kB
Active(file): 1092444 kB
Inactive(file): 919084 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53628 kB
Writeback: 0 kB
AnonPages: 1868724 kB
Mapped: 115564 kB
Shmem: 37724 kB
KReclaimable: 93052 kB
Slab: 203200 kB
SReclaimable: 93052 kB
SUnreclaim: 110148 kB
KernelStack: 4176 kB
PageTables: 12488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2212260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1654784 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889980 MiB
End job on nodeC035 at 2024-07-18 18:35:29