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 (61579 MiB free)
memory of node 1: 64473 MiB (63292 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455539-1721460056/watcher-4455539-1721460056 -o /tmp/evaluation-result-4455539-1721460056/solver-4455539-1721460056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056505 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455539-1721460056.opb
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=1056555, runsolver pid=1056551
[startup+0.100579 s]*
/proc/loadavg: 1.07 1.21 1.76 5/258 1056566
/proc/meminfo: memFree=127822092/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=69060 memory=37972 CPUtime=0.09 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 10176 0 0 0 8 1 0 0 20 0 1 0 198171743 70717440 9493 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 17265 9493 1594 922 0 9217 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69060 KiB
Current children cumulated memory: 37972 KiB
[startup+0.205596 s]*
/proc/loadavg: 1.07 1.21 1.76 5/256 1056566
/proc/meminfo: memFree=127823372/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=65216 memory=35012 CPUtime=0.19 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 10360 0 0 0 17 2 0 0 20 0 1 0 198171743 66781184 8753 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 16304 8753 1594 922 0 8256 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65216 KiB
Current children cumulated memory: 35012 KiB
[startup+0.305579 s]*
/proc/loadavg: 1.07 1.21 1.76 4/253 1056574
/proc/meminfo: memFree=127819048/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=65872 memory=35896 CPUtime=0.29 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 10524 0 0 0 27 2 0 0 20 0 1 0 198171743 67452928 8974 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 16468 8974 1690 922 0 8420 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65872 KiB
Current children cumulated memory: 35896 KiB
[startup+0.700212 s]
/proc/loadavg: 1.07 1.21 1.76 5/253 1056598
/proc/meminfo: memFree=127810800/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=66440 memory=36424 CPUtime=0.67 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 10666 0 0 0 65 2 0 0 20 0 1 0 198171743 68034560 9106 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 16610 9106 1690 922 0 8562 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 66440 KiB
Current children cumulated memory: 36424 KiB
[startup+1.50018 s]
/proc/loadavg: 1.07 1.21 1.76 5/258 1056612
/proc/meminfo: memFree=127780232/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=66440 memory=36424 CPUtime=1.48 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 10677 0 0 0 145 3 0 0 20 0 1 0 198171743 68034560 9106 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 16610 9106 1690 922 0 8562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66440 KiB
Current children cumulated memory: 36424 KiB
[startup+3.10543 s]
/proc/loadavg: 1.07 1.21 1.76 5/258 1056612
/proc/meminfo: memFree=127692524/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=97660 memory=70632 CPUtime=3.08 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 16107 0 0 0 294 14 0 0 20 0 1 0 198171743 100003840 17658 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 24415 17658 1737 922 0 16367 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 97660 KiB
Current children cumulated memory: 70632 KiB
[startup+6.30017 s]
/proc/loadavg: 1.38 1.27 1.78 5/258 1056612
/proc/meminfo: memFree=127674480/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=98092 memory=70896 CPUtime=6.26 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 16165 0 0 0 609 17 0 0 20 0 1 0 198171743 100446208 17724 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 24523 17724 1737 922 0 16475 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 98092 KiB
Current children cumulated memory: 70896 KiB
[startup+12.7001 s]
/proc/loadavg: 1.59 1.32 1.79 5/258 1056614
/proc/meminfo: memFree=127619448/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=121328 memory=90956 CPUtime=12.64 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 19593 0 0 0 1230 34 0 0 20 0 1 0 198171743 124239872 22739 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 30332 22739 1798 922 0 22284 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 121328 KiB
Current children cumulated memory: 90956 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.45 1.83 5/258 1056615
/proc/meminfo: memFree=127552832/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=151552 memory=114592 CPUtime=25.42 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 22924 0 0 0 2493 49 0 0 20 0 1 0 198171743 155189248 28648 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 37888 28648 1814 922 0 29840 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 151552 KiB
Current children cumulated memory: 114592 KiB
[startup+51.1057 s]
/proc/loadavg: 2.85 1.67 1.89 5/258 1056620
/proc/meminfo: memFree=127416336/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=212428 memory=171556 CPUtime=50.96 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 31038 0 0 0 5002 94 0 0 20 0 1 0 198171743 217526272 42889 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 53107 42889 1814 922 0 45059 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 212428 KiB
Current children cumulated memory: 171556 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.03 2.01 5/258 1056629
/proc/meminfo: memFree=127224488/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=292796 memory=266048 CPUtime=102.04 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 51591 0 0 0 10040 164 0 0 20 0 1 0 198171743 299823104 66512 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 73199 66512 1814 922 0 65151 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 292796 KiB
Current children cumulated memory: 266048 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.41 2.14 5/258 1056640
/proc/meminfo: memFree=127058148/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=366080 memory=315020 CPUtime=161.9 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 57597 0 0 0 15974 216 0 0 20 0 1 0 198171743 374865920 78755 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 91520 78755 1814 922 0 83472 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 366080 KiB
Current children cumulated memory: 315020 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.73 2.27 5/258 1056651
/proc/meminfo: memFree=127012732/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=366080 memory=315188 CPUtime=221.8 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 57648 0 0 0 21960 220 0 0 20 0 1 0 198171743 374865920 78797 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 91520 78797 1814 922 0 83472 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 366080 KiB
Current children cumulated memory: 315188 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.98 2.38 5/257 1057044
/proc/meminfo: memFree=126875912/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=390380 memory=356128 CPUtime=281.64 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 63931 0 0 0 27870 294 0 0 20 0 1 0 198171743 399749120 89032 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 97595 89032 1814 922 0 89547 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 390380 KiB
Current children cumulated memory: 356128 KiB
[startup+342.3 s]
/proc/loadavg: 4.03 3.17 2.49 5/256 1057055
/proc/meminfo: memFree=126742708/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=483560 memory=384372 CPUtime=341.51 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 67544 0 0 0 33809 342 0 0 20 0 1 0 198171743 495165440 96093 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 120890 96093 1814 922 0 112842 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 483560 KiB
Current children cumulated memory: 384372 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.35 2.60 5/256 1057066
/proc/meminfo: memFree=126604180/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=498216 memory=471324 CPUtime=401.36 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 71515 0 0 0 39768 368 0 0 20 0 1 0 198171743 510173184 117831 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 124554 117831 1830 922 0 116506 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 498216 KiB
Current children cumulated memory: 471324 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.49 2.69 5/258 1057247
/proc/meminfo: memFree=126542760/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=498216 memory=471552 CPUtime=461.24 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 71544 0 0 0 45743 381 0 0 20 0 1 0 198171743 510173184 117888 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 124554 117888 1830 922 0 116506 0
################
# More data... #
################
Current children cumulated memory: 828172 KiB
[startup+2922.3 s]
/proc/loadavg: 4.24 4.13 4.03 5/254 1058689
/proc/meminfo: memFree=125340492/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828468 CPUtime=2914.62 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 117762 0 0 0 290168 1294 0 0 20 0 1 0 198171743 1033101312 207117 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207117 1830 922 0 244174 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828468 KiB
[startup+2982.3 s]
/proc/loadavg: 4.30 4.18 4.05 5/256 1058704
/proc/meminfo: memFree=125335648/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=2974.47 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 117864 0 0 0 296146 1301 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 2974.47 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.18 4.06 5/256 1058716
/proc/meminfo: memFree=125214340/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3034.31 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 117960 0 0 0 302123 1308 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.06 5/256 1058726
/proc/meminfo: memFree=125206148/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3094.15 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 118029 0 0 0 308100 1315 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.06 5/256 1058737
/proc/meminfo: memFree=125138856/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3154 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 118096 0 0 0 314079 1321 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.07 5/257 1058750
/proc/meminfo: memFree=125098028/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3213.85 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 118151 0 0 0 320057 1328 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/255 1058760
/proc/meminfo: memFree=125090248/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3273.68 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 118249 0 0 0 326034 1334 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.08 5/255 1058770
/proc/meminfo: memFree=125063168/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3333.53 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 118363 0 0 0 332010 1343 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/255 1058783
/proc/meminfo: memFree=125020300/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3393.37 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 118483 0 0 0 337987 1350 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.08 5/255 1058793
/proc/meminfo: memFree=125019264/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3453.22 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 118590 0 0 0 343965 1357 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.08 5/254 1058804
/proc/meminfo: memFree=125014072/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3513.05 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 118875 0 0 0 349936 1369 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.08 5/256 1058818
/proc/meminfo: memFree=124989284/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3572.89 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 119209 0 0 0 355876 1413 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.05 4.11 4.08 5/256 1058870
/proc/meminfo: memFree=125473712/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3600.02 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 119394 0 0 0 358572 1430 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 1056555 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.73 s, system=14.3042 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.05 4.11 4.08 5/256 1058870
/proc/meminfo: memFree=125473712/131524600 swapFree=131071996/131071996
[pid=1056555] ppid=1056551 vsize=1008888 memory=828548 CPUtime=3600.02 cores=5,7
/proc/1056555/stat : 1056555 (roundingsat) R 1056551 1056555 1056492 0 -1 4194304 119394 0 0 0 358572 1430 0 0 20 0 1 0 198171743 1033101312 207137 134679101440 4194304 7968373 140736206831680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 27901952 140736206840764 140736206840928 140736206840928 140736206847945 0
/proc/1056555/statm: 252222 207137 1830 922 0 244174 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1008888 KiB
Current children cumulated memory: 828548 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.03
CPU user time (s): 3585.73
CPU system time (s): 14.3042
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 1008888
Max. memory (cumulated for all children) (KiB): 828548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.73
system time used= 14.3042
maximum resident set size= 828548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119431
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= 39
involuntary context switches= 1730
# summary of solver processes directly reported to runsolver:
# pid: 1056555
# total CPU time (s): 3600.03
# total CPU user time (s): 3585.73
# total CPU system time (s): 14.3042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48205 second user time and 17.1107 second system time
The end
Begin job on nodeC026 at 2024-07-20 09:21:08
IDJOB=4455539
IDBENCH=147859
IDSOLVER=3084
FILE ID=nodeC026/4455539-1721460056
RUNJOBID= nodeC026-1721460068-1056505
SLURM_JOB_ID= 7545710
Free space on /tmp= 890068 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.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-4455539-1721460056/watcher-4455539-1721460056 -o /tmp/evaluation-result-4455539-1721460056/solver-4455539-1721460056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056505 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455539-1721460056.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=670040003
nodeC026.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 : 3570.966
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.74
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 : 3528.311
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.45
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 : 3551.513
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.74
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 : 3631.325
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.45
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 : 3541.007
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.74
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 : 3628.362
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.45
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 : 3590.764
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.74
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 : 3643.663
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.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127865276 kB
MemAvailable: 129703988 kB
Buffers: 596188 kB
Cached: 2072628 kB
SwapCached: 0 kB
Active: 1119036 kB
Inactive: 1894448 kB
Active(anon): 1440 kB
Inactive(anon): 389140 kB
Active(file): 1117596 kB
Inactive(file): 1505308 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28512 kB
Writeback: 0 kB
AnonPages: 341712 kB
Mapped: 107168 kB
Shmem: 45912 kB
KReclaimable: 111264 kB
Slab: 225540 kB
SReclaimable: 111264 kB
SUnreclaim: 114276 kB
KernelStack: 3856 kB
PageTables: 9696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 831244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 283348 kB
DirectMap2M: 33044480 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC026 at 2024-07-20 10:21:18