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: 64059 MiB (62867 MiB free)
memory of node 1: 64510 MiB (61408 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455328-1721462044/watcher-4455328-1721462044 -o /tmp/evaluation-result-4455328-1721462044/solver-4455328-1721462044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047957 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455328-1721462044.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
Current StackSize limit: 8192 KiB
solver pid=1051231, runsolver pid=1051228
[startup+0.100534 s]*
/proc/loadavg: 4.11 4.15 4.15 5/243 1051232
/proc/meminfo: memFree=127254060/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=40572 memory=11068 CPUtime=0.09 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 1738 0 0 0 9 0 0 0 20 0 1 0 198362484 41545728 2767 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 10143 2767 1263 922 0 2095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 11068 KiB
[startup+0.212971 s]*
/proc/loadavg: 4.11 4.15 4.15 5/243 1051232
/proc/meminfo: memFree=127251616/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=40572 memory=11068 CPUtime=0.21 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 1738 0 0 0 20 1 0 0 20 0 1 0 198362484 41545728 2767 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 10143 2767 1263 922 0 2095 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 11068 KiB
[startup+0.312843 s]*
/proc/loadavg: 4.11 4.15 4.15 6/243 1051232
/proc/meminfo: memFree=127250468/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=40572 memory=12648 CPUtime=0.3 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 2095 0 0 0 29 1 0 0 20 0 1 0 198362484 41545728 3162 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 10143 3162 1263 922 0 2095 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 12648 KiB
[startup+0.700272 s]
/proc/loadavg: 4.11 4.15 4.15 5/243 1051232
/proc/meminfo: memFree=127246952/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=47712 memory=19468 CPUtime=0.69 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 3328 0 0 0 66 3 0 0 20 0 1 0 198362484 48857088 4867 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 11928 4867 1263 922 0 3880 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 19468 KiB
[startup+1.50031 s]
/proc/loadavg: 4.11 4.15 4.15 5/243 1051232
/proc/meminfo: memFree=127236184/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=97700 memory=63964 CPUtime=1.48 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 12540 0 0 0 140 8 0 0 20 0 1 0 198362484 100044800 15991 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 24425 15991 1581 922 0 16377 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 97700 KiB
Current children cumulated memory: 63964 KiB
[startup+3.11302 s]
/proc/loadavg: 4.10 4.14 4.15 5/243 1051232
/proc/meminfo: memFree=126890640/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=405552 memory=372100 CPUtime=3.09 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 46358 0 0 0 277 32 0 0 20 0 1 0 198362484 415285248 93025 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 101388 93025 1660 922 0 93340 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 405552 KiB
Current children cumulated memory: 372100 KiB
[startup+6.30031 s]
/proc/loadavg: 4.10 4.14 4.15 5/243 1051232
/proc/meminfo: memFree=126890660/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=405552 memory=372484 CPUtime=6.27 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 46450 0 0 0 594 33 0 0 20 0 1 0 198362484 415285248 93121 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 101388 93121 1756 922 0 93340 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 405552 KiB
Current children cumulated memory: 372484 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.16 4.15 5/243 1051234
/proc/meminfo: memFree=126888496/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=405552 memory=378628 CPUtime=12.66 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 46585 0 0 0 1196 70 0 0 20 0 1 0 198362484 415285248 94657 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 101388 94657 1756 922 0 93340 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 405552 KiB
Current children cumulated memory: 378628 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.15 4.15 5/243 1051236
/proc/meminfo: memFree=126769920/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=522120 memory=493296 CPUtime=25.43 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 56186 0 0 0 2231 312 0 0 20 0 1 0 198362484 534650880 123324 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 130530 123324 1856 922 0 122482 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 522120 KiB
Current children cumulated memory: 493296 KiB
[startup+51.1131 s]
/proc/loadavg: 4.09 4.14 4.14 5/243 1051242
/proc/meminfo: memFree=126664072/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=630632 memory=596592 CPUtime=50.98 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 62847 0 0 0 4781 317 0 0 20 0 1 0 198362484 645767168 149148 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 157658 149148 1856 922 0 149610 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 630632 KiB
Current children cumulated memory: 596592 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/242 1051638
/proc/meminfo: memFree=126636820/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=754372 memory=723712 CPUtime=102.05 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 66326 0 0 0 9884 321 0 0 20 0 1 0 198362484 772476928 180928 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 188593 180928 1856 922 0 180545 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 754372 KiB
Current children cumulated memory: 723712 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/242 1051648
/proc/meminfo: memFree=126551892/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=888364 memory=803328 CPUtime=161.92 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 73714 0 0 0 15861 331 0 0 20 0 1 0 198362484 909684736 200832 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 222091 200832 1856 922 0 214043 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 888364 KiB
Current children cumulated memory: 803328 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.14 5/243 1051660
/proc/meminfo: memFree=126496232/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=904276 memory=843984 CPUtime=221.79 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 75820 0 0 0 21843 336 0 0 20 0 1 0 198362484 925978624 210996 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 226069 210996 1856 922 0 218021 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 904276 KiB
Current children cumulated memory: 843984 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/246 1051841
/proc/meminfo: memFree=126416688/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=999420 memory=894284 CPUtime=281.65 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 76851 0 0 0 27824 341 0 0 20 0 1 0 198362484 1023406080 223571 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 249855 223571 1856 922 0 241807 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 999420 KiB
Current children cumulated memory: 894284 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.12 4.13 6/246 1051899
/proc/meminfo: memFree=126360360/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=1088992 memory=978772 CPUtime=341.52 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 80124 0 0 0 33804 348 0 0 20 0 1 0 198362484 1115127808 244693 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 272248 244693 1856 922 0 264200 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 1088992 KiB
Current children cumulated memory: 978772 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.13 6/248 1051913
/proc/meminfo: memFree=126323216/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=1103908 memory=1008864 CPUtime=401.38 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 82175 0 0 0 39787 351 0 0 20 0 1 0 198362484 1130401792 252216 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 275977 252216 1856 922 0 267929 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 1103908 KiB
Current children cumulated memory: 1008864 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.13 6/247 1051935
/proc/meminfo: memFree=126305048/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=1103628 memory=1026576 CPUtime=461.24 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 85891 0 0 0 45765 359 0 0 20 0 1 0 198362484 1130115072 256644 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 275907 256644 1856 922 0 267859 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.18 7/244 1053121
/proc/meminfo: memFree=123354348/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2258156 memory=1907732 CPUtime=3035.33 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 177445 0 0 0 303059 474 0 0 20 0 1 0 198362484 2312351744 476933 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 564539 476933 1856 922 0 556491 0
Current children cumulated CPU time: 3035.33 s
Current children cumulated vsize: 2258156 KiB
Current children cumulated memory: 1907732 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.18 7/244 1053134
/proc/meminfo: memFree=123305504/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2294172 memory=1955928 CPUtime=3095.19 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 181020 0 0 0 309034 485 0 0 20 0 1 0 198362484 2349232128 488982 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 573543 488982 1856 922 0 565495 0
Current children cumulated CPU time: 3095.19 s
Current children cumulated vsize: 2294172 KiB
Current children cumulated memory: 1955928 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.14 4.17 7/241 1053144
/proc/meminfo: memFree=123277036/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2307084 memory=1982380 CPUtime=3155.04 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 183764 0 0 0 315018 486 0 0 20 0 1 0 198362484 2362454016 495595 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 576771 495595 1856 922 0 568723 0
Current children cumulated CPU time: 3155.04 s
Current children cumulated vsize: 2307084 KiB
Current children cumulated memory: 1982380 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.16 7/241 1053155
/proc/meminfo: memFree=123275096/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2307084 memory=1982384 CPUtime=3214.92 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 184124 0 0 0 321005 487 0 0 20 0 1 0 198362484 2362454016 495596 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 576771 495596 1856 922 0 568723 0
Current children cumulated CPU time: 3214.92 s
Current children cumulated vsize: 2307084 KiB
Current children cumulated memory: 1982384 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.16 7/241 1053165
/proc/meminfo: memFree=123272868/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2307084 memory=1982384 CPUtime=3274.77 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 184338 0 0 0 326990 487 0 0 20 0 1 0 198362484 2362454016 495596 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 576771 495596 1856 922 0 568723 0
Current children cumulated CPU time: 3274.77 s
Current children cumulated vsize: 2307084 KiB
Current children cumulated memory: 1982384 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.16 7/241 1053177
/proc/meminfo: memFree=123248484/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2325540 memory=2005980 CPUtime=3334.61 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 187830 0 0 0 332964 497 0 0 20 0 1 0 198362484 2381352960 501495 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 581385 501495 1856 922 0 573337 0
Current children cumulated CPU time: 3334.61 s
Current children cumulated vsize: 2325540 KiB
Current children cumulated memory: 2005980 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.10 4.15 7/243 1053192
/proc/meminfo: memFree=123244512/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2328348 memory=2009040 CPUtime=3394.47 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 188957 0 0 0 338950 497 0 0 20 0 1 0 198362484 2384228352 502260 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 582087 502260 1856 922 0 574039 0
Current children cumulated CPU time: 3394.47 s
Current children cumulated vsize: 2328348 KiB
Current children cumulated memory: 2009040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.12 4.15 7/243 1053202
/proc/meminfo: memFree=123243804/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2328348 memory=2009040 CPUtime=3454.34 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 189332 0 0 0 344936 498 0 0 20 0 1 0 198362484 2384228352 502260 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 582087 502260 1856 922 0 574039 0
Current children cumulated CPU time: 3454.34 s
Current children cumulated vsize: 2328348 KiB
Current children cumulated memory: 2009040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.15 7/243 1053214
/proc/meminfo: memFree=123222180/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2347328 memory=2028020 CPUtime=3514.19 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 191576 0 0 0 350911 508 0 0 20 0 1 0 198362484 2403663872 507005 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 586832 507005 1856 922 0 578784 0
Current children cumulated CPU time: 3514.19 s
Current children cumulated vsize: 2347328 KiB
Current children cumulated memory: 2028020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.15 7/243 1053224
/proc/meminfo: memFree=123166624/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2371992 memory=2082904 CPUtime=3574.04 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 197060 0 0 0 356894 510 0 0 20 0 1 0 198362484 2428919808 520726 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 592998 520726 1856 922 0 584950 0
Current children cumulated CPU time: 3574.04 s
Current children cumulated vsize: 2371992 KiB
Current children cumulated memory: 2082904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.4 s]
/proc/loadavg: 4.07 4.11 4.14 7/243 1053229
/proc/meminfo: memFree=123165224/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2371992 memory=2083064 CPUtime=3600.08 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 197255 0 0 0 359498 510 0 0 20 0 1 0 198362484 2428919808 520766 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 592998 520766 1856 922 0 584950 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2371992 KiB
Current children cumulated memory: 2083064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.41 s]
# the end of solver process 1051231 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3596.99 s, system=5.11769 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.07 4.11 4.14 7/243 1053230
/proc/meminfo: memFree=123165144/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2371992 memory=2083064 CPUtime=3601.28 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 197255 0 0 0 359618 510 0 0 20 0 1 0 198362484 2428919808 520766 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 592998 520766 1856 922 0 584950 0
Current children cumulated CPU time: 3601.28 s
Current children cumulated vsize: 2371992 KiB
Current children cumulated memory: 2083064 KiB
[startup+3610 s]*
/proc/loadavg: 4.07 4.11 4.14 7/243 1053230
/proc/meminfo: memFree=123165104/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2371992 memory=2083064 CPUtime=3601.69 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 197255 0 0 0 359659 510 0 0 20 0 1 0 198362484 2428919808 520766 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 592998 520766 1856 922 0 584950 0
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 2371992 KiB
Current children cumulated memory: 2083064 KiB
[startup+3610.4 s]
/proc/loadavg: 4.07 4.11 4.14 7/243 1053230
/proc/meminfo: memFree=123165104/131655788 swapFree=131071996/131071996
[pid=1051231] ppid=1051228 vsize=2371992 memory=2083064 CPUtime=3602.08 cores=4,6
/proc/1051231/stat : 1051231 (roundingsat) R 1051228 1051231 1047946 0 -1 4194304 197256 0 0 0 359698 510 0 0 20 0 1 0 198362484 2428919808 520766 134679101440 4194304 7968373 140736381393552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 39174144 140736381399996 140736381400160 140736381400160 140736381407177 0
/proc/1051231/statm: 592998 520766 1856 922 0 584950 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 2371992 KiB
Current children cumulated memory: 2083064 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.41
CPU time (s): 3602.1
CPU user time (s): 3596.99
CPU system time (s): 5.11769
CPU usage (%): 99.7699
Max. virtual memory (cumulated for all children) (KiB): 2467004
Max. memory (cumulated for all children) (KiB): 2083064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.99
system time used= 5.11769
maximum resident set size= 2083064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197256
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= 64
involuntary context switches= 1865
# summary of solver processes directly reported to runsolver:
# pid: 1051231
# total CPU time (s): 3602.1
# total CPU user time (s): 3596.99
# total CPU system time (s): 5.11769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0878 second user time and 36.9078 second system time
The end
Begin job on nodeC002 at 2024-07-20 09:54:17
IDJOB=4455328
IDBENCH=155399
IDSOLVER=3084
FILE ID=nodeC002/4455328-1721462044
RUNJOBID= nodeC002-1721458043-1047957
SLURM_JOB_ID= 7545699
Free space on /tmp= 723712 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.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-4455328-1721462044/watcher-4455328-1721462044 -o /tmp/evaluation-result-4455328-1721462044/solver-4455328-1721462044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047957 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455328-1721462044.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=378744492
nodeC002.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 : 0xb00001f
cpu MHz : 3676.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 3664.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.311
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 1197.268
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 3491.693
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 3663.416
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 1197.182
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127258528 kB
MemAvailable: 129596940 kB
Buffers: 580884 kB
Cached: 2582756 kB
SwapCached: 0 kB
Active: 1063404 kB
Inactive: 2728772 kB
Active(anon): 2692 kB
Inactive(anon): 671788 kB
Active(file): 1060712 kB
Inactive(file): 2056984 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53768 kB
Writeback: 0 kB
AnonPages: 628324 kB
Mapped: 116780 kB
Shmem: 45896 kB
KReclaimable: 121496 kB
Slab: 228940 kB
SReclaimable: 121496 kB
SUnreclaim: 107444 kB
KernelStack: 3920 kB
PageTables: 10692 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1012728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 473088 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: 252744 kB
DirectMap2M: 34254848 kB
DirectMap1G: 101711872 kB
Free space on /tmp at the end= 723704 MiB
End job on nodeC002 at 2024-07-20 10:54:27