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 (59357 MiB free)
memory of node 1: 64473 MiB (62433 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454093-1721842052/watcher-4454093-1721842052 -o /tmp/evaluation-result-4454093-1721842052/solver-4454093-1721842052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721842052-254757 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4454093-1721842052 --seed=922160582 HOME/instance-4454093-1721842052.opb
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=254787, runsolver pid=254780
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.38 1.55 2.57 1/259 254819
/proc/meminfo: memFree=124702840/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=25224 memory=2472 CPUtime=0 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) D 254780 254787 254746 0 -1 1077936128 126 0 0 0 0 0 0 0 20 0 1 0 20729136 25829376 618 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 6306 618 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2472 KiB
[startup+0.205518 s]*
/proc/loadavg: 1.38 1.55 2.57 1/259 254819
/proc/meminfo: memFree=124702516/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=25224 memory=2472 CPUtime=0 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) D 254780 254787 254746 0 -1 1077936128 126 0 0 0 0 0 0 0 20 0 1 0 20729136 25829376 618 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 6306 618 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2472 KiB
[startup+0.304597 s]*
/proc/loadavg: 1.38 1.55 2.57 1/259 254819
/proc/meminfo: memFree=124701900/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=25224 memory=2472 CPUtime=0 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) D 254780 254787 254746 0 -1 1077936128 126 0 0 0 0 0 0 0 20 0 1 0 20729136 25829376 618 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 6306 618 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2472 KiB
[startup+0.700248 s]
/proc/loadavg: 1.38 1.55 2.57 1/259 254819
/proc/meminfo: memFree=124701068/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=25224 memory=2472 CPUtime=0 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) D 254780 254787 254746 0 -1 1077936128 126 0 0 0 0 0 0 0 20 0 1 0 20729136 25829376 618 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 6306 618 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2472 KiB
[startup+1.50017 s]
/proc/loadavg: 1.38 1.55 2.57 2/259 254819
/proc/meminfo: memFree=124698976/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=31200 memory=13720 CPUtime=0.49 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 1800 0 0 0 49 0 0 0 20 0 1 0 20729136 31948800 3430 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 7800 3430 850 747 0 6863 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 31200 KiB
Current children cumulated memory: 13720 KiB
[startup+3.10556 s]
/proc/loadavg: 1.38 1.55 2.57 5/259 254819
/proc/meminfo: memFree=124601556/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=34064 memory=16360 CPUtime=2.09 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 2488 0 0 0 207 2 0 0 20 0 1 0 20729136 34881536 4090 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 8516 4090 850 747 0 7579 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 34064 KiB
Current children cumulated memory: 16360 KiB
heavy processes:
[startup+6.30019 s]
/proc/loadavg: 1.59 1.59 2.58 5/259 254821
/proc/meminfo: memFree=124514932/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=37456 memory=21816 CPUtime=5.27 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 3338 0 0 0 524 3 0 0 20 0 1 0 20729136 38354944 5454 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 9364 5454 850 747 0 8427 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 37456 KiB
Current children cumulated memory: 21816 KiB
[startup+12.7002 s]
/proc/loadavg: 1.79 1.63 2.58 5/259 254821
/proc/meminfo: memFree=124365416/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=40408 memory=24696 CPUtime=11.65 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 4082 0 0 0 1158 7 0 0 20 0 1 0 20729136 41377792 6174 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 10102 6174 850 747 0 9165 0
Current children cumulated CPU time: 11.65 s
Current children cumulated vsize: 40408 KiB
Current children cumulated memory: 24696 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.71 2.60 5/259 254822
/proc/meminfo: memFree=124104236/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=45096 memory=31204 CPUtime=24.41 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 5216 0 0 0 2426 15 0 0 20 0 1 0 20729136 46178304 7801 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 11274 7801 850 747 0 10337 0
Current children cumulated CPU time: 24.41 s
Current children cumulated vsize: 45096 KiB
Current children cumulated memory: 31204 KiB
[startup+51.1056 s]
/proc/loadavg: 2.92 1.95 2.65 5/259 254827
/proc/meminfo: memFree=123529968/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=51344 memory=37516 CPUtime=49.88 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 6778 0 0 0 4962 26 0 0 20 0 1 0 20729136 52576256 9379 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 12836 9379 850 747 0 11899 0
Current children cumulated CPU time: 49.88 s
Current children cumulated vsize: 51344 KiB
Current children cumulated memory: 37516 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 2.28 2.73 5/262 255006
/proc/meminfo: memFree=122478412/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=61268 memory=48876 CPUtime=99.82 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 9047 0 0 0 9931 51 0 0 20 0 1 0 20729136 62738432 12219 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 115 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 15317 12219 850 747 0 14380 0
Current children cumulated CPU time: 99.82 s
Current children cumulated vsize: 61268 KiB
Current children cumulated memory: 48876 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 2.64 2.83 5/262 255074
/proc/meminfo: memFree=121318384/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=67792 memory=55340 CPUtime=158.81 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 10697 0 0 0 15803 78 0 0 20 0 1 0 20729136 69419008 13835 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 196 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 16948 13835 850 747 0 16011 0
Current children cumulated CPU time: 158.81 s
Current children cumulated vsize: 67792 KiB
Current children cumulated memory: 55340 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 2.94 2.92 5/256 255111
/proc/meminfo: memFree=120157112/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=73692 memory=60812 CPUtime=217.56 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 12088 0 0 0 21650 106 0 0 20 0 1 0 20729136 75460608 15203 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 300 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 18423 15203 850 747 0 17486 0
Current children cumulated CPU time: 217.56 s
Current children cumulated vsize: 73692 KiB
Current children cumulated memory: 60812 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.15 2.99 5/262 255142
/proc/meminfo: memFree=119571724/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=86688 memory=72088 CPUtime=275.81 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 14930 0 0 0 27447 134 0 0 20 0 1 0 20729136 88768512 18022 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 459 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 21672 18022 850 747 0 20735 0
Current children cumulated CPU time: 275.81 s
Current children cumulated vsize: 86688 KiB
Current children cumulated memory: 72088 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.34 3.07 5/262 255153
/proc/meminfo: memFree=118308680/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=90676 memory=75716 CPUtime=334.59 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 15807 0 0 0 33290 169 0 0 20 0 1 0 20729136 92852224 18929 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 561 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 22669 18929 850 747 0 21732 0
Current children cumulated CPU time: 334.59 s
Current children cumulated vsize: 90676 KiB
Current children cumulated memory: 75716 KiB
[startup+402.3 s]
/proc/loadavg: 4.41 3.55 3.16 5/260 255165
/proc/meminfo: memFree=117165220/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=95348 memory=80128 CPUtime=392.72 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 16916 0 0 0 39074 198 0 0 20 0 1 0 20729136 97636352 20032 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 730 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 23837 20032 850 747 0 22900 0
Current children cumulated CPU time: 392.72 s
Current children cumulated vsize: 95348 KiB
Current children cumulated memory: 80128 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 3.67 3.23 4/258 255175
/proc/meminfo: memFree=116094128/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=96852 memory=81380 CPUtime=446.72 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 17271 0 0 0 44449 223 0 0 20 0 1 0 20729136 99176448 20345 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1312 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
################
# More data... #
################
Current children cumulated memory: 149736 KiB
[startup+2982.3 s]
/proc/loadavg: 3.09 3.19 3.54 4/252 256241
/proc/meminfo: memFree=78244252/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=160580 memory=150784 CPUtime=2940.18 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 33994 0 0 0 292784 1234 0 0 20 0 1 0 20729136 164433920 37696 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3172 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 40145 37696 850 747 0 39208 0
Current children cumulated CPU time: 2940.18 s
Current children cumulated vsize: 160580 KiB
Current children cumulated memory: 150784 KiB
[startup+3042.3 s]
/proc/loadavg: 3.07 3.17 3.51 4/252 256252
/proc/meminfo: memFree=77380608/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=160580 memory=151068 CPUtime=2998.59 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 34079 0 0 0 298605 1254 0 0 20 0 1 0 20729136 164433920 37767 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3314 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 40145 37767 850 747 0 39208 0
Current children cumulated CPU time: 2998.59 s
Current children cumulated vsize: 160580 KiB
Current children cumulated memory: 151068 KiB
[startup+3102.3 s]
/proc/loadavg: 3.11 3.16 3.49 4/252 256263
/proc/meminfo: memFree=76567968/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=160580 memory=151068 CPUtime=3057.53 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 34146 0 0 0 304480 1273 0 0 20 0 1 0 20729136 164433920 37767 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3400 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 40145 37767 850 747 0 39208 0
Current children cumulated CPU time: 3057.53 s
Current children cumulated vsize: 160580 KiB
Current children cumulated memory: 151068 KiB
[startup+3162.3 s]
/proc/loadavg: 3.08 3.15 3.46 4/254 256277
/proc/meminfo: memFree=75778336/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=162632 memory=152872 CPUtime=3116.63 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 34674 0 0 0 310374 1289 0 0 20 0 1 0 20729136 166535168 38218 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3474 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 40658 38218 850 747 0 39721 0
Current children cumulated CPU time: 3116.63 s
Current children cumulated vsize: 162632 KiB
Current children cumulated memory: 152872 KiB
[startup+3222.3 s]
/proc/loadavg: 3.32 3.21 3.46 4/254 256288
/proc/meminfo: memFree=74961312/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=163144 memory=153292 CPUtime=3175.85 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 34855 0 0 0 316277 1308 0 0 20 0 1 0 20729136 167059456 38323 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3534 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 40786 38323 850 747 0 39849 0
Current children cumulated CPU time: 3175.85 s
Current children cumulated vsize: 163144 KiB
Current children cumulated memory: 153292 KiB
[startup+3282.3 s]
/proc/loadavg: 3.17 3.18 3.43 4/254 256300
/proc/meminfo: memFree=74078056/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=163784 memory=153916 CPUtime=3234.38 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 35081 0 0 0 322110 1328 0 0 20 0 1 0 20729136 167714816 38479 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3663 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 40946 38479 850 747 0 40009 0
Current children cumulated CPU time: 3234.38 s
Current children cumulated vsize: 163784 KiB
Current children cumulated memory: 153916 KiB
[startup+3342.3 s]
/proc/loadavg: 3.18 3.18 3.42 4/254 256311
/proc/meminfo: memFree=73246612/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=164488 memory=154596 CPUtime=3292.86 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 35298 0 0 0 327939 1347 0 0 20 0 1 0 20729136 168435712 38649 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3799 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 41122 38649 850 747 0 40185 0
Current children cumulated CPU time: 3292.86 s
Current children cumulated vsize: 164488 KiB
Current children cumulated memory: 154596 KiB
[startup+3402.3 s]
/proc/loadavg: 3.13 3.16 3.39 4/254 256321
/proc/meminfo: memFree=72392864/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=164744 memory=155356 CPUtime=3351.75 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 35436 0 0 0 333809 1366 0 0 20 0 1 0 20729136 168697856 38839 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3893 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 41186 38839 850 747 0 40249 0
Current children cumulated CPU time: 3351.75 s
Current children cumulated vsize: 164744 KiB
Current children cumulated memory: 155356 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.14 3.37 4/254 256713
/proc/meminfo: memFree=71521388/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=165448 memory=155948 CPUtime=3410.83 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 35683 0 0 0 339697 1386 0 0 20 0 1 0 20729136 169418752 38987 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3969 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 41362 38987 850 747 0 40425 0
Current children cumulated CPU time: 3410.83 s
Current children cumulated vsize: 165448 KiB
Current children cumulated memory: 155948 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.15 3.35 4/252 256723
/proc/meminfo: memFree=70780064/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=165448 memory=156124 CPUtime=3470 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 35769 0 0 0 345595 1405 0 0 20 0 1 0 20729136 169418752 39031 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4035 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 41362 39031 850 747 0 40425 0
Current children cumulated CPU time: 3470 s
Current children cumulated vsize: 165448 KiB
Current children cumulated memory: 156124 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.13 3.34 4/253 256735
/proc/meminfo: memFree=69994220/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=165448 memory=156124 CPUtime=3529.21 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 35839 0 0 0 351498 1423 0 0 20 0 1 0 20729136 169418752 39031 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4096 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 41362 39031 850 747 0 40425 0
Current children cumulated CPU time: 3529.21 s
Current children cumulated vsize: 165448 KiB
Current children cumulated memory: 156124 KiB
[startup+3642.3 s]
/proc/loadavg: 3.08 3.12 3.32 4/253 256746
/proc/meminfo: memFree=69229256/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=166536 memory=156952 CPUtime=3586.84 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 36135 0 0 0 357239 1445 0 0 20 0 1 0 20729136 170532864 39238 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4316 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 41634 39238 850 747 0 40697 0
Current children cumulated CPU time: 3586.84 s
Current children cumulated vsize: 166536 KiB
Current children cumulated memory: 156952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3655.5 s]
/proc/loadavg: 3.14 3.13 3.32 4/255 256918
/proc/meminfo: memFree=69064804/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=166728 memory=157216 CPUtime=3600.01 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 36199 0 0 0 358551 1450 0 0 20 0 1 0 20729136 170729472 39304 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4316 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 41682 39304 850 747 0 40745 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 166728 KiB
Current children cumulated memory: 157216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3655.57 s]
# the end of solver process 254787 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.52 s, system=14.512 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3655.5 s]
/proc/loadavg: 3.14 3.13 3.32 4/255 256918
/proc/meminfo: memFree=69064804/131524600 swapFree=131056796/131071996
[pid=254787] ppid=254780 vsize=166728 memory=157216 CPUtime=3600.01 cores=4,6
/proc/254787/stat : 254787 (Exact_veripb2_n) R 254780 254787 254746 0 -1 4194304 36199 0 0 0 358551 1450 0 0 20 0 1 0 20729136 170729472 39304 134679101440 4194304 7250417 140728332405776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4316 0 0 7950792 8015128 44453888 140728332407607 140728332407895 140728332407895 140728332414910 0
/proc/254787/statm: 41682 39304 850 747 0 40745 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 166728 KiB
Current children cumulated memory: 157216 KiB
Child status: 0
Real time (s): 3655.57
CPU time (s): 3600.03
CPU user time (s): 3585.52
CPU system time (s): 14.512
CPU usage (%): 98.4808
Max. virtual memory (cumulated for all children) (KiB): 166728
Max. memory (cumulated for all children) (KiB): 157216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.52
system time used= 14.512
maximum resident set size= 157216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33584416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 888
involuntary context switches= 5943
# summary of solver processes directly reported to runsolver:
# pid: 254787
# total CPU time (s): 3600.03
# total CPU user time (s): 3585.52
# total CPU system time (s): 14.512
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57564 second user time and 16.7846 second system time
The end
Begin job on nodeC030 at 2024-07-24 19:27:32
IDJOB=4454093
IDBENCH=176041
IDSOLVER=3080
FILE ID=nodeC030/4454093-1721842052
RUNJOBID= nodeC030-1721842052-254757
SLURM_JOB_ID= 7891572
Free space on /tmp= 890080 MiB
SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454093-1721842052/watcher-4454093-1721842052 -o /tmp/evaluation-result-4454093-1721842052/solver-4454093-1721842052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721842052-254757 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4454093-1721842052 --seed=922160582 HOME/instance-4454093-1721842052.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ad731be7af81a11cebcddac40b738f1a
RANDOM SEED=922160582
nodeC030.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 : 3165.707
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.45
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 : 2826.473
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.46
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 : 3564.077
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.45
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 : 3292.704
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.46
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 : 3598.919
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.45
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 : 3254.420
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.46
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 : 3618.988
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.45
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 : 2877.348
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124720076 kB
MemAvailable: 129671932 kB
Buffers: 258852 kB
Cached: 5481980 kB
SwapCached: 284 kB
Active: 2538296 kB
Inactive: 3580028 kB
Active(anon): 2172 kB
Inactive(anon): 428704 kB
Active(file): 2536124 kB
Inactive(file): 3151324 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056796 kB
Dirty: 4556 kB
Writeback: 4 kB
AnonPages: 374312 kB
Mapped: 109132 kB
Shmem: 53048 kB
KReclaimable: 208464 kB
Slab: 330896 kB
SReclaimable: 208464 kB
SUnreclaim: 122432 kB
KernelStack: 3856 kB
PageTables: 9496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 787000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 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: 344788 kB
DirectMap2M: 39274496 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC030 at 2024-07-24 20:28:27