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 (57019 MiB free)
memory of node 1: 64473 MiB (57801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458293-1721883219/watcher-4458293-1721883219 -o /tmp/evaluation-result-4458293-1721883219/solver-4458293-1721883219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721876006-271771 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4458293-1721883219.opb --time_limit=3600
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=275805, runsolver pid=275802
[startup+0.100348 s]*
/proc/loadavg: 4.14 4.14 4.15 5/256 275806
/proc/meminfo: memFree=117572572/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=0.09 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 958 0 0 0 4 5 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+0.204244 s]*
/proc/loadavg: 4.14 4.14 4.15 5/256 275806
/proc/meminfo: memFree=117572540/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=0.2 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 958 0 0 0 9 11 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+0.304176 s]*
/proc/loadavg: 4.14 4.14 4.15 5/256 275806
/proc/meminfo: memFree=117572408/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=0.29 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 958 0 0 0 13 16 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+0.700147 s]
/proc/loadavg: 4.14 4.14 4.15 5/256 275806
/proc/meminfo: memFree=117572212/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=0.68 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 28 40 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+1.50014 s]
/proc/loadavg: 4.13 4.14 4.15 5/256 275806
/proc/meminfo: memFree=117572224/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=1.48 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 57 91 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3.10448 s]
/proc/loadavg: 4.13 4.14 4.15 5/256 275898
/proc/meminfo: memFree=117575720/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3.09 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 119 190 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+6.30014 s]
/proc/loadavg: 4.20 4.15 4.15 5/256 275992
/proc/meminfo: memFree=117571948/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=6.27 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 245 382 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+12.7001 s]
/proc/loadavg: 4.18 4.15 4.15 5/256 275992
/proc/meminfo: memFree=117571972/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=12.66 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 487 779 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 4.15 4.15 5/257 275996
/proc/meminfo: memFree=117571532/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=25.44 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 980 1564 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+51.1045 s]
/proc/loadavg: 4.16 4.15 4.15 5/257 275999
/proc/meminfo: memFree=117571064/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=51 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 1942 3158 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/257 276009
/proc/meminfo: memFree=117569840/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=102.11 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 3865 6346 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.16 4.15 5/258 276404
/proc/meminfo: memFree=117568872/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=162.02 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 6105 10097 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 162.02 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.14 6/258 276416
/proc/meminfo: memFree=117567716/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=221.92 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 8339 13853 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 221.92 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 276427
/proc/meminfo: memFree=117566920/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=281.82 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 10598 17584 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 281.82 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/259 276607
/proc/meminfo: memFree=117566152/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=341.73 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 12820 21353 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 341.73 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/259 276617
/proc/meminfo: memFree=117565536/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=401.62 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 15060 25102 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 401.62 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/258 276642
/proc/meminfo: memFree=117564516/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=461.53 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 17327 28826 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
################
# More data... #
################
/proc/loadavg: 4.18 4.17 4.15 5/254 277764
/proc/meminfo: memFree=117530244/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3217 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 120347 201353 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3217 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/254 277774
/proc/meminfo: memFree=117529340/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3276.9 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 122570 205120 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3276.9 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/254 277785
/proc/meminfo: memFree=117528664/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3336.8 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 124832 208848 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3336.8 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/254 277795
/proc/meminfo: memFree=117527960/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3396.7 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 127081 212589 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3396.7 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/256 277810
/proc/meminfo: memFree=117527064/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3456.61 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 129364 216297 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3456.61 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/257 277823
/proc/meminfo: memFree=117526220/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3516.51 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 131605 220046 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3516.51 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/257 277834
/proc/meminfo: memFree=117525496/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3576.41 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 133831 223810 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3576.41 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3605.92 s]
# the end of solver process 275805 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1347.1 s, system=2252.9 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.11 5/257 277834
/proc/meminfo: memFree=117525496/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3578.11 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 133894 223917 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3578.11 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.10 4.11 5/257 277837
/proc/meminfo: memFree=117525216/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3590.88 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 134364 224724 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3590.88 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.11 4.12 5/257 277837
/proc/meminfo: memFree=117525236/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3594.09 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 134486 224923 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3594.09 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3603.2 s]
/proc/loadavg: 4.12 4.11 4.11 5/257 277837
/proc/meminfo: memFree=117525244/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3597.27 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 134606 225121 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3597.27 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3604.8 s]
/proc/loadavg: 4.12 4.11 4.11 5/257 277837
/proc/meminfo: memFree=117525228/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3598.87 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 134667 225220 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3598.87 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3605.6 s]
/proc/loadavg: 4.12 4.11 4.11 5/257 277838
/proc/meminfo: memFree=117524796/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3599.67 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 134698 225269 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3599.67 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3605.8 s]
/proc/loadavg: 4.12 4.11 4.11 5/257 277838
/proc/meminfo: memFree=117524796/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3599.87 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 134705 225282 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3599.87 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
[startup+3605.9 s]
/proc/loadavg: 4.12 4.11 4.11 5/257 277838
/proc/meminfo: memFree=117524796/131524600 swapFree=131071728/131071996
[pid=275805] ppid=275802 vsize=18264 memory=6712 CPUtime=3599.97 cores=5,7
/proc/275805/stat : 275805 (DLS-PBO) R 275802 275805 271758 0 -1 4194304 959 0 0 0 134709 225288 0 0 20 0 1 0 24844879 18702336 1678 134679101440 4194304 4311573 140733667316352 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 33865728 140733667324956 140733667325063 140733667325063 140733667332078 0
/proc/275805/statm: 4566 1678 900 29 0 940 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 18264 KiB
Current children cumulated memory: 6712 KiB
Child status: 0
Real time (s): 3605.92
CPU time (s): 3600
CPU user time (s): 1347.1
CPU system time (s): 2252.9
CPU usage (%): 99.8358
Max. virtual memory (cumulated for all children) (KiB): 18264
Max. memory (cumulated for all children) (KiB): 6712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1347.1
system time used= 2252.9
maximum resident set size= 7224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 962
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= 4
involuntary context switches= 909
# summary of solver processes directly reported to runsolver:
# pid: 275805
# total CPU time (s): 3600
# total CPU user time (s): 1347.1
# total CPU system time (s): 2252.9
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45978 second user time and 12.1176 second system time
The end
Begin job on nodeC024 at 2024-07-25 06:53:39
IDJOB=4458293
IDBENCH=177198
IDSOLVER=3053
FILE ID=nodeC024/4458293-1721883219
RUNJOBID= nodeC024-1721876006-271771
SLURM_JOB_ID= 8089249
Free space on /tmp= 890076 MiB
SOLVER NAME= DLS-PBO 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
COMMAND LINE= ./DLS-PBO --benchName=BENCHNAME --time_limit=TIMELIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458293-1721883219/watcher-4458293-1721883219 -o /tmp/evaluation-result-4458293-1721883219/solver-4458293-1721883219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721876006-271771 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4458293-1721883219.opb --time_limit=3600
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 216ba9da6a205e5efe57192784bc5fe9
RANDOM SEED=1980725636
nodeC024.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 : 3653.648
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.87
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 : 3672.438
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.58
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.363
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.87
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 : 3613.953
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.58
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 : 3653.693
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.87
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 : 3657.850
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.58
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 : 3600.126
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.87
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 : 3654.544
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.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117576876 kB
MemAvailable: 129628944 kB
Buffers: 300848 kB
Cached: 12509568 kB
SwapCached: 92 kB
Active: 2707464 kB
Inactive: 10488932 kB
Active(anon): 1556 kB
Inactive(anon): 438456 kB
Active(file): 2705908 kB
Inactive(file): 10050476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 1684 kB
Writeback: 0 kB
AnonPages: 385056 kB
Mapped: 119864 kB
Shmem: 54012 kB
KReclaimable: 271012 kB
Slab: 393804 kB
SReclaimable: 271012 kB
SUnreclaim: 122792 kB
KernelStack: 4144 kB
PageTables: 9816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 810848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 408276 kB
DirectMap2M: 48648192 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC024 at 2024-07-25 07:53:45