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: 63931 MiB (60822 MiB free)
memory of node 1: 64510 MiB (61303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455316-1721461885/watcher-4455316-1721461885 -o /tmp/evaluation-result-4455316-1721461885/solver-4455316-1721461885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721458286-1023148 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455316-1721461885.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1025268, runsolver pid=1025265
[startup+0.100312 s]*
/proc/loadavg: 4.10 4.09 4.04 5/252 1025270
/proc/meminfo: memFree=125030196/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=53428 memory=20548 CPUtime=0.09 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 4279 0 0 0 6 3 0 0 20 0 1 0 198349103 54710272 5137 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 13357 5137 1247 922 0 5309 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53428 KiB
Current children cumulated memory: 20548 KiB
[startup+0.205567 s]*
/proc/loadavg: 4.10 4.09 4.04 4/256 1025280
/proc/meminfo: memFree=125131516/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=54644 memory=22396 CPUtime=0.2 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 4750 0 0 0 13 7 0 0 20 0 1 0 198349103 55955456 5599 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 13661 5599 1247 922 0 5613 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54644 KiB
Current children cumulated memory: 22396 KiB
[startup+0.305531 s]*
/proc/loadavg: 4.10 4.09 4.04 7/257 1025294
/proc/meminfo: memFree=125124408/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=59364 memory=25716 CPUtime=0.3 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 5575 0 0 0 20 10 0 0 20 0 1 0 198349103 60788736 6429 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 14841 6429 1247 922 0 6793 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59364 KiB
Current children cumulated memory: 25716 KiB
[startup+0.700195 s]
/proc/loadavg: 4.10 4.09 4.04 6/256 1025294
/proc/meminfo: memFree=125018492/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=155556 memory=124552 CPUtime=0.68 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 25766 0 0 0 53 15 0 0 20 0 1 0 198349103 159289344 31138 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 38889 31138 1663 922 0 30841 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 155556 KiB
Current children cumulated memory: 124552 KiB
[startup+1.50021 s]
/proc/loadavg: 4.09 4.09 4.04 4/252 1025311
/proc/meminfo: memFree=124938952/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=155556 memory=125492 CPUtime=1.48 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 25847 0 0 0 129 19 0 0 20 0 1 0 198349103 159289344 31373 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 38889 31373 1773 922 0 30841 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 155556 KiB
Current children cumulated memory: 125492 KiB
[startup+3.10571 s]
/proc/loadavg: 4.09 4.09 4.04 5/256 1025524
/proc/meminfo: memFree=125433312/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=168116 memory=134300 CPUtime=3.08 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 25989 0 0 0 284 24 0 0 20 0 1 0 198349103 172150784 33575 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 42029 33575 1789 922 0 33981 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 168116 KiB
Current children cumulated memory: 134300 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 4.08 4.03 5/258 1025557
/proc/meminfo: memFree=125246312/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=171540 memory=135828 CPUtime=6.27 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 26435 0 0 0 601 26 0 0 20 0 1 0 198349103 175656960 33957 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 42885 33957 1789 922 0 34837 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 171540 KiB
Current children cumulated memory: 135828 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.03 5/258 1025557
/proc/meminfo: memFree=125116120/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=175204 memory=139768 CPUtime=12.65 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 27344 0 0 0 1237 28 0 0 20 0 1 0 198349103 179408896 34942 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 43801 34942 1789 922 0 35753 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 175204 KiB
Current children cumulated memory: 139768 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.03 5/258 1025653
/proc/meminfo: memFree=125163444/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=175204 memory=140420 CPUtime=25.42 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 27498 0 0 0 2494 48 0 0 20 0 1 0 198349103 179408896 35105 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 43801 35105 1851 922 0 35753 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 175204 KiB
Current children cumulated memory: 140420 KiB
[startup+51.1055 s]
/proc/loadavg: 4.03 4.07 4.03 5/258 1026392
/proc/meminfo: memFree=124394844/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=179016 memory=145528 CPUtime=50.96 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 28683 0 0 0 5039 57 0 0 20 0 1 0 198349103 183312384 36382 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 44754 36382 1971 922 0 36706 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 179016 KiB
Current children cumulated memory: 145528 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.10 4.04 5/258 1026401
/proc/meminfo: memFree=123054916/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=179148 memory=151520 CPUtime=102.02 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 28899 0 0 0 10135 67 0 0 20 0 1 0 198349103 183447552 37880 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 44787 37880 1971 922 0 36739 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 179148 KiB
Current children cumulated memory: 151520 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/257 1026458
/proc/meminfo: memFree=125052664/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=179148 memory=151520 CPUtime=161.86 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 29008 0 0 0 16102 84 0 0 20 0 1 0 198349103 183447552 37880 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 44787 37880 1971 922 0 36739 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 179148 KiB
Current children cumulated memory: 151520 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/257 1026468
/proc/meminfo: memFree=124844212/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=180344 memory=151644 CPUtime=221.68 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 29100 0 0 0 22063 105 0 0 20 0 1 0 198349103 184672256 37911 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 45086 37911 1971 922 0 37038 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 180344 KiB
Current children cumulated memory: 151644 KiB
[startup+282.3 s]
/proc/loadavg: 4.48 4.20 4.08 5/255 1026860
/proc/meminfo: memFree=124758060/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=180344 memory=151644 CPUtime=281.52 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 29149 0 0 0 28036 116 0 0 20 0 1 0 198349103 184672256 37911 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 45086 37911 1971 922 0 37038 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 180344 KiB
Current children cumulated memory: 151644 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 4.19 4.09 5/255 1026870
/proc/meminfo: memFree=124640252/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=180344 memory=151684 CPUtime=341.35 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 29198 0 0 0 34011 124 0 0 20 0 1 0 198349103 184672256 37921 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 45086 37921 1971 922 0 37038 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 180344 KiB
Current children cumulated memory: 151684 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.17 4.09 5/255 1026881
/proc/meminfo: memFree=124523992/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=180344 memory=151684 CPUtime=401.18 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 29247 0 0 0 39984 134 0 0 20 0 1 0 198349103 184672256 37921 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 45086 37921 1971 922 0 37038 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 180344 KiB
Current children cumulated memory: 151684 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/256 1027060
/proc/meminfo: memFree=124489496/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=180508 memory=151696 CPUtime=461.01 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 29317 0 0 0 45956 145 0 0 20 0 1 0 198349103 184840192 37924 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 45127 37924 1971 922 0 37079 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1028249
/proc/meminfo: memFree=123910380/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3034.31 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 46679 0 0 0 302585 846 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1028259
/proc/meminfo: memFree=123852080/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3094.15 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 46747 0 0 0 308560 855 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1028271
/proc/meminfo: memFree=123799348/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3153.98 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 46816 0 0 0 314535 863 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 1028281
/proc/meminfo: memFree=123786488/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3213.82 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 46886 0 0 0 320508 874 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 1028291
/proc/meminfo: memFree=123681468/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3273.63 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 46954 0 0 0 326482 881 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/254 1028302
/proc/meminfo: memFree=123670600/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3333.48 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 47023 0 0 0 332456 892 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/254 1028313
/proc/meminfo: memFree=123661172/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3393.3 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 47092 0 0 0 338429 901 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 1028323
/proc/meminfo: memFree=123620836/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3453.13 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 47162 0 0 0 344401 912 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 1028333
/proc/meminfo: memFree=123614936/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3512.96 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 47230 0 0 0 350374 922 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/256 1028349
/proc/meminfo: memFree=123608616/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3572.79 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 47349 0 0 0 356313 966 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.20 4.13 4.10 5/256 1028353
/proc/meminfo: memFree=123594976/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3600.02 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 47349 0 0 0 359028 974 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.6 s]
# the end of solver process 1025268 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3592.28 s, system=9.74519 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.20 4.13 4.10 5/256 1028353
/proc/meminfo: memFree=123594948/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3600.82 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 47349 0 0 0 359108 974 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3600.82 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3611.2 s]
/proc/loadavg: 4.20 4.13 4.10 5/256 1028353
/proc/meminfo: memFree=123594948/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3601.62 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 47349 0 0 0 359188 974 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
[startup+3611.6 s]
/proc/loadavg: 4.20 4.13 4.10 5/256 1028353
/proc/meminfo: memFree=123594948/131524600 swapFree=131071996/131071996
[pid=1025268] ppid=1025265 vsize=297596 memory=255168 CPUtime=3602.01 cores=1,3
/proc/1025268/stat : 1025268 (roundingsat) R 1025265 1025268 1023136 0 -1 4194304 47349 0 0 0 359227 974 0 0 20 0 1 0 198349103 304738304 63792 134679101440 4194304 7968373 140736761877984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13611008 140736761885628 140736761885792 140736761885792 140736761892809 0
/proc/1025268/statm: 74399 63792 1971 922 0 66351 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 255168 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.6
CPU time (s): 3602.02
CPU user time (s): 3592.28
CPU system time (s): 9.74519
CPU usage (%): 99.7348
Max. virtual memory (cumulated for all children) (KiB): 297596
Max. memory (cumulated for all children) (KiB): 255168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.28
system time used= 9.74519
maximum resident set size= 255168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47349
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= 35
involuntary context switches= 1319
# summary of solver processes directly reported to runsolver:
# pid: 1025268
# total CPU time (s): 3602.02
# total CPU user time (s): 3592.28
# total CPU system time (s): 9.74519
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.231 second user time and 13.3881 second system time
The end
Begin job on nodeC016 at 2024-07-20 09:51:37
IDJOB=4455316
IDBENCH=150654
IDSOLVER=3084
FILE ID=nodeC016/4455316-1721461885
RUNJOBID= nodeC016-1721458286-1023148
SLURM_JOB_ID= 7545701
Free space on /tmp= 890064 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j90opt/normalized-j909_1.std.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455316-1721461885/watcher-4455316-1721461885 -o /tmp/evaluation-result-4455316-1721461885/solver-4455316-1721461885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721458286-1023148 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455316-1721461885.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3d0ac2e079c6211f06f187e0594548d
RANDOM SEED=1481998104
nodeC016.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 : 3670.566
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.70
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 : 3664.319
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 : 7006.63
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 : 3619.638
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.70
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 : 3673.296
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 : 7006.63
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 : 3601.928
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.70
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 : 3670.822
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 : 7006.63
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 : 3606.901
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.70
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.223
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 : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125057204 kB
MemAvailable: 128980180 kB
Buffers: 435472 kB
Cached: 4329016 kB
SwapCached: 0 kB
Active: 720400 kB
Inactive: 5124812 kB
Active(anon): 1560 kB
Inactive(anon): 1125100 kB
Active(file): 718840 kB
Inactive(file): 3999712 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 21580 kB
Writeback: 0 kB
AnonPages: 1075600 kB
Mapped: 113792 kB
Shmem: 45912 kB
KReclaimable: 88140 kB
Slab: 199984 kB
SReclaimable: 88140 kB
SUnreclaim: 111844 kB
KernelStack: 4144 kB
PageTables: 11392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1478892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 815104 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: 207572 kB
DirectMap2M: 13197312 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC016 at 2024-07-20 10:51:49