runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59895 MiB free)
memory of node 1: 64510 MiB (54707 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457309-1721836369/watcher-4457309-1721836369 -o /tmp/evaluation-result-4457309-1721836369/solver-4457309-1721836369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191598 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457309-1721836369 --lp-cut-gomory=0 HOME/instance-4457309-1721836369.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=195415, runsolver pid=195412
[startup+0.100086 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 195416
/proc/meminfo: memFree=117323992/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=63932 memory=34692 CPUtime=0.09 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 7776 0 0 0 8 1 0 0 20 0 1 0 20165472 65466368 8673 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 15983 8673 1360 992 0 7841 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63932 KiB
Current children cumulated memory: 34692 KiB
[startup+0.205797 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 195416
/proc/meminfo: memFree=117296808/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=118724 memory=71016 CPUtime=0.2 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 12286 0 0 0 17 3 0 0 20 0 1 0 20165472 121573376 17754 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 29681 17754 1360 992 0 21539 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 118724 KiB
Current children cumulated memory: 71016 KiB
[startup+0.3058 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 195416
/proc/meminfo: memFree=117254740/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=140228 memory=106648 CPUtime=0.3 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 15090 0 0 0 26 4 0 0 20 0 1 0 20165472 143593472 26662 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 35057 26662 1360 992 0 26915 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 140228 KiB
Current children cumulated memory: 106648 KiB
[startup+0.700211 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 195416
/proc/meminfo: memFree=117173884/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=249360 memory=189992 CPUtime=0.68 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 21652 0 0 0 60 8 0 0 20 0 1 0 20165472 255344640 47498 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 62340 47498 1360 992 0 54198 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 249360 KiB
Current children cumulated memory: 189992 KiB
[startup+1.50021 s]
/proc/loadavg: 4.06 4.10 4.09 5/260 195416
/proc/meminfo: memFree=117112916/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=262292 memory=199716 CPUtime=1.48 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 23071 0 0 0 136 12 0 0 20 0 1 0 20165472 268587008 49929 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 65573 49929 1360 992 0 57431 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 262292 KiB
Current children cumulated memory: 199716 KiB
[startup+3.10566 s]
/proc/loadavg: 4.06 4.10 4.09 5/260 195416
/proc/meminfo: memFree=116658520/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=701292 memory=621120 CPUtime=3.09 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 64146 0 0 0 279 30 0 0 20 0 1 0 20165472 718123008 155280 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 175323 155280 1711 992 0 167181 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 701292 KiB
Current children cumulated memory: 621120 KiB
[startup+6.3002 s]
/proc/loadavg: 4.06 4.10 4.09 5/260 195418
/proc/meminfo: memFree=116578872/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=762896 memory=677656 CPUtime=6.27 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 67557 0 0 0 523 104 0 0 20 0 1 0 20165472 781205504 169414 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 190724 169414 1759 992 0 182582 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 762896 KiB
Current children cumulated memory: 677656 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.10 4.09 5/260 195418
/proc/meminfo: memFree=116454160/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=843804 memory=745544 CPUtime=12.66 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 68765 0 0 0 1118 148 0 0 20 0 1 0 20165472 864055296 186386 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 210951 186386 1759 992 0 202809 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 843804 KiB
Current children cumulated memory: 745544 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.09 4.09 5/260 195421
/proc/meminfo: memFree=116229244/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=925192 memory=849152 CPUtime=25.43 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 70910 0 0 0 2290 253 0 0 20 0 1 0 20165472 947396608 212288 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 231298 212288 1759 992 0 223156 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 925192 KiB
Current children cumulated memory: 849152 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 195426
/proc/meminfo: memFree=116121092/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=930312 memory=857396 CPUtime=50.99 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 72000 0 0 0 4844 255 0 0 20 0 1 0 20165472 952639488 214349 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 232578 214349 1759 992 0 224436 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 930312 KiB
Current children cumulated memory: 857396 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 195436
/proc/meminfo: memFree=115476640/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=1161384 memory=1031484 CPUtime=102.07 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 94059 0 0 0 9629 578 0 0 20 0 1 0 20165472 1189257216 257871 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 290346 257871 1821 992 0 282204 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 1161384 KiB
Current children cumulated memory: 1031484 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/261 195446
/proc/meminfo: memFree=114738588/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=1431048 memory=1154208 CPUtime=161.93 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 99963 0 0 0 15591 602 0 0 20 0 1 0 20165472 1465393152 288552 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 357762 288552 1853 992 0 349620 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 1431048 KiB
Current children cumulated memory: 1154208 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 195843
/proc/meminfo: memFree=113344340/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=1780296 memory=1571924 CPUtime=221.8 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 100936 0 0 0 21533 647 0 0 20 0 1 0 20165472 1823023104 392981 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 445074 392981 1853 992 0 436932 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 1780296 KiB
Current children cumulated memory: 1571924 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 195854
/proc/meminfo: memFree=111952284/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=2424600 memory=2087756 CPUtime=281.69 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 108054 0 0 0 27454 715 0 0 20 0 1 0 20165472 2482790400 521939 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 606150 521939 1853 992 0 598008 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 2424600 KiB
Current children cumulated memory: 2087756 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 195864
/proc/meminfo: memFree=110695532/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=2555888 memory=2425536 CPUtime=341.56 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 119635 0 0 0 33381 775 0 0 20 0 1 0 20165472 2617229312 606384 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 638972 606384 1853 992 0 630830 0
Current children cumulated CPU time: 341.56 s
Current children cumulated vsize: 2555888 KiB
Current children cumulated memory: 2425536 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 196043
/proc/meminfo: memFree=109877932/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=2730352 memory=2602256 CPUtime=401.44 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 161140 0 0 0 39345 799 0 0 20 0 1 0 20165472 2795880448 650564 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 682588 650564 1853 992 0 674446 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 2730352 KiB
Current children cumulated memory: 2602256 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 196053
/proc/meminfo: memFree=109055096/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=3032072 memory=2905292 CPUtime=461.31 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 231532 0 0 0 45284 847 0 0 20 0 1 0 20165472 3104841728 726323 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 758018 726323 1853 992 0 749876 0
################
# More data... #
################
Current children cumulated memory: 12949196 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/260 197840
/proc/meminfo: memFree=97428688/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15812960 memory=12991304 CPUtime=2976.04 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1205017 0 0 0 293927 3677 0 0 20 0 1 0 20165472 16192471040 3247826 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3953240 3247826 1853 992 0 3945098 0
Current children cumulated CPU time: 2976.04 s
Current children cumulated vsize: 15812960 KiB
Current children cumulated memory: 12991304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/259 197850
/proc/meminfo: memFree=97034492/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15897648 memory=13087184 CPUtime=3035.91 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1227124 0 0 0 299884 3707 0 0 20 0 1 0 20165472 16279191552 3271796 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3974412 3271796 1853 992 0 3966270 0
Current children cumulated CPU time: 3035.91 s
Current children cumulated vsize: 15897648 KiB
Current children cumulated memory: 13087184 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/260 197954
/proc/meminfo: memFree=97874576/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15910676 memory=13106220 CPUtime=3095.77 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1233657 0 0 0 305763 3814 0 0 20 0 1 0 20165472 16292532224 3276555 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3977669 3276555 1853 992 0 3969527 0
Current children cumulated CPU time: 3095.77 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13106220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/260 197965
/proc/meminfo: memFree=97423996/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15910676 memory=13107416 CPUtime=3155.64 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1238211 0 0 0 311737 3827 0 0 20 0 1 0 20165472 16292532224 3276854 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3977669 3276854 1853 992 0 3969527 0
Current children cumulated CPU time: 3155.64 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13107416 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/258 197975
/proc/meminfo: memFree=97045404/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15910676 memory=13108444 CPUtime=3215.52 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1242599 0 0 0 317629 3923 0 0 20 0 1 0 20165472 16292532224 3277111 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3977669 3277111 1853 992 0 3969527 0
Current children cumulated CPU time: 3215.52 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13108444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/257 198030
/proc/meminfo: memFree=96907612/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15910676 memory=13108444 CPUtime=3275.39 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1247180 0 0 0 323550 3989 0 0 20 0 1 0 20165472 16292532224 3277111 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3977669 3277111 1853 992 0 3969527 0
Current children cumulated CPU time: 3275.39 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13108444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/257 198041
/proc/meminfo: memFree=96648812/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15910676 memory=13108444 CPUtime=3335.25 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1251597 0 0 0 329484 4041 0 0 20 0 1 0 20165472 16292532224 3277111 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3977669 3277111 1853 992 0 3969527 0
Current children cumulated CPU time: 3335.25 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13108444 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 198052
/proc/meminfo: memFree=96130320/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15916796 memory=13118660 CPUtime=3395.12 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1257322 0 0 0 335410 4102 0 0 20 0 1 0 20165472 16298799104 3279665 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3979199 3279665 1853 992 0 3971057 0
Current children cumulated CPU time: 3395.12 s
Current children cumulated vsize: 15916796 KiB
Current children cumulated memory: 13118660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.19 4.12 5/258 198063
/proc/meminfo: memFree=95672228/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15916796 memory=13118660 CPUtime=3455 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1261886 0 0 0 341320 4180 0 0 20 0 1 0 20165472 16298799104 3279665 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3979199 3279665 1853 992 0 3971057 0
Current children cumulated CPU time: 3455 s
Current children cumulated vsize: 15916796 KiB
Current children cumulated memory: 13118660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/261 198081
/proc/meminfo: memFree=95190600/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15923436 memory=13141684 CPUtime=3514.88 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1267727 0 0 0 347200 4288 0 0 20 0 1 0 20165472 16305598464 3285421 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3980859 3285421 1853 992 0 3972717 0
Current children cumulated CPU time: 3514.88 s
Current children cumulated vsize: 15923436 KiB
Current children cumulated memory: 13141684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/261 198091
/proc/meminfo: memFree=94633232/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15923436 memory=13141684 CPUtime=3574.76 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1272846 0 0 0 353166 4310 0 0 20 0 1 0 20165472 16305598464 3285421 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3980859 3285421 1853 992 0 3972717 0
Current children cumulated CPU time: 3574.76 s
Current children cumulated vsize: 15923436 KiB
Current children cumulated memory: 13141684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.6 s]
/proc/loadavg: 4.22 4.17 4.12 5/261 198096
/proc/meminfo: memFree=94420832/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15931348 memory=13149636 CPUtime=3600 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1276137 0 0 0 355671 4329 0 0 20 0 1 0 20165472 16313700352 3287409 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3982837 3287409 1853 992 0 3974695 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 15931348 KiB
Current children cumulated memory: 13149636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.99 s]
# the end of solver process 195415 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.84 s, system=43.3937 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.8 s]
/proc/loadavg: 4.22 4.17 4.12 5/261 198096
/proc/meminfo: memFree=94420832/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15817904 memory=13036584 CPUtime=3600.03 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1276189 0 0 0 355672 4331 0 0 20 0 1 0 20165472 16197533696 3259146 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 6 0 0 24 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3954476 3259146 1951 992 0 3946334 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 15817904 KiB
Current children cumulated memory: 13036584 KiB
[startup+3607.9 s]
/proc/loadavg: 4.22 4.17 4.12 5/261 198096
/proc/meminfo: memFree=94420832/131524600 swapFree=131056028/131071996
[pid=195415] ppid=195412 vsize=15817904 memory=13036584 CPUtime=3600.13 cores=4,6
/proc/195415/stat : 195415 (roundingsat) R 195412 195415 191587 0 -1 4194304 1276321 0 0 0 355682 4331 0 0 20 0 1 0 20165472 16197533696 3259146 134679101440 4194304 8254037 140731431669120 0 0 0 0 0 25182210 0 0 0 17 6 0 0 24 0 0 9037040 9046032 26189824 140731431674716 140731431674978 140731431674978 140731431681993 0
/proc/195415/statm: 3954476 3259146 1951 992 0 3946334 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 15817904 KiB
Current children cumulated memory: 13036584 KiB
Child status: 0
Real time (s): 3607.99
CPU time (s): 3600.23
CPU user time (s): 3556.84
CPU system time (s): 43.3937
CPU usage (%): 99.7849
Max. virtual memory (cumulated for all children) (KiB): 15931348
Max. memory (cumulated for all children) (KiB): 13149636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.84
system time used= 43.3937
maximum resident set size= 13150028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1276352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29008856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2069
involuntary context switches= 4603
# summary of solver processes directly reported to runsolver:
# pid: 195415
# total CPU time (s): 3600.23
# total CPU user time (s): 3556.84
# total CPU system time (s): 43.3937
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93744 second user time and 16.8692 second system time
The end
Begin job on nodeC016 at 2024-07-24 17:52:49
IDJOB=4457309
IDBENCH=160484
IDSOLVER=3085
FILE ID=nodeC016/4457309-1721836369
RUNJOBID= nodeC016-1721830563-191598
SLURM_JOB_ID= 7891513
Free space on /tmp= 890028 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457309-1721836369/watcher-4457309-1721836369 -o /tmp/evaluation-result-4457309-1721836369/solver-4457309-1721836369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191598 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457309-1721836369 --lp-cut-gomory=0 HOME/instance-4457309-1721836369.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=1456034837
nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.904
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.34
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 : 3684.276
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.385
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.34
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 : 3599.754
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.68
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 : 3671.879
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.34
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 : 3684.278
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.68
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 : 3637.657
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.34
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 : 3599.706
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117353764 kB
MemAvailable: 129230616 kB
Buffers: 255980 kB
Cached: 12299636 kB
SwapCached: 256 kB
Active: 2251140 kB
Inactive: 11017472 kB
Active(anon): 2448 kB
Inactive(anon): 762756 kB
Active(file): 2248692 kB
Inactive(file): 10254716 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 85236 kB
Writeback: 28 kB
AnonPages: 708936 kB
Mapped: 109844 kB
Shmem: 52400 kB
KReclaimable: 426184 kB
Slab: 547620 kB
SReclaimable: 426184 kB
SUnreclaim: 121436 kB
KernelStack: 4188 kB
PageTables: 10888 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1118572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 571392 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: 373460 kB
DirectMap2M: 42391552 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC016 at 2024-07-24 18:52:57