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 (62602 MiB free)
memory of node 1: 64510 MiB (62394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455390-1721462909/watcher-4455390-1721462909 -o /tmp/evaluation-result-4455390-1721462909/solver-4455390-1721462909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045845 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455390-1721462909.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1047922, runsolver pid=1047919
[startup+0.100353 s]*
/proc/loadavg: 4.15 4.16 4.15 5/243 1047923
/proc/meminfo: memFree=127929392/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=114404 memory=63308 CPUtime=0.1 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 8803 0 0 0 6 4 0 0 20 0 1 0 198450487 117149696 15827 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 28601 15827 1216 922 0 20553 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114404 KiB
Current children cumulated memory: 63308 KiB
[startup+0.213162 s]*
/proc/loadavg: 4.15 4.16 4.15 5/243 1047923
/proc/meminfo: memFree=127941216/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=104904 memory=58232 CPUtime=0.21 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 8975 0 0 0 16 5 0 0 20 0 1 0 198450487 107421696 14558 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 26226 14558 1280 922 0 18178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104904 KiB
Current children cumulated memory: 58232 KiB
[startup+0.312787 s]*
/proc/loadavg: 4.15 4.16 4.15 5/243 1047923
/proc/meminfo: memFree=127935188/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=106764 memory=62124 CPUtime=0.31 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 9442 0 0 0 22 9 0 0 20 0 1 0 198450487 109326336 15531 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 26691 15531 1280 922 0 18643 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 106764 KiB
Current children cumulated memory: 62124 KiB
[startup+0.700288 s]
/proc/loadavg: 4.15 4.16 4.15 5/243 1047923
/proc/meminfo: memFree=127925916/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=118260 memory=71680 CPUtime=0.68 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 11339 0 0 0 48 20 0 0 20 0 1 0 198450487 121098240 17920 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 29565 17920 1280 922 0 21517 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118260 KiB
Current children cumulated memory: 71680 KiB
[startup+1.50032 s]
/proc/loadavg: 4.15 4.16 4.15 5/243 1047923
/proc/meminfo: memFree=127872100/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=150008 memory=102184 CPUtime=1.48 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 14882 0 0 0 103 45 0 0 20 0 1 0 198450487 153608192 25546 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 37502 25546 1280 922 0 29454 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 150008 KiB
Current children cumulated memory: 102184 KiB
[startup+3.11273 s]
/proc/loadavg: 4.13 4.15 4.14 5/243 1047923
/proc/meminfo: memFree=127405980/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=566384 memory=502408 CPUtime=3.09 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 70814 0 0 0 245 64 0 0 20 0 1 0 198450487 579977216 125602 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 141596 125602 1678 922 0 133548 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 566384 KiB
Current children cumulated memory: 502408 KiB
[startup+6.30031 s]
/proc/loadavg: 4.13 4.15 4.14 5/243 1047923
/proc/meminfo: memFree=127293364/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=566384 memory=509936 CPUtime=6.26 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 71081 0 0 0 549 77 0 0 20 0 1 0 198450487 579977216 127484 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 141596 127484 1788 922 0 133548 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 566384 KiB
Current children cumulated memory: 509936 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.15 4.14 5/243 1047925
/proc/meminfo: memFree=127083752/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=640700 memory=558368 CPUtime=12.65 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 74091 0 0 0 1178 87 0 0 20 0 1 0 198450487 656076800 139592 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 160175 139592 1788 922 0 152127 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 640700 KiB
Current children cumulated memory: 558368 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.16 4.15 5/243 1047926
/proc/meminfo: memFree=126784020/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=651376 memory=575664 CPUtime=25.4 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 76018 0 0 0 2447 93 0 0 20 0 1 0 198450487 667009024 143916 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 162844 143916 1788 922 0 154796 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 651376 KiB
Current children cumulated memory: 575664 KiB
[startup+51.1129 s]
/proc/loadavg: 4.17 4.16 4.15 5/243 1047932
/proc/meminfo: memFree=125136268/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=1367772 memory=1306948 CPUtime=50.94 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 192482 0 0 0 4951 143 0 0 20 0 1 0 198450487 1400598528 326737 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 341943 326737 1842 922 0 333895 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1367772 KiB
Current children cumulated memory: 1306948 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/242 1047940
/proc/meminfo: memFree=122646284/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=2593604 memory=2406560 CPUtime=101.97 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 358229 0 0 0 9975 222 0 0 20 0 1 0 198450487 2655850496 601640 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 648401 601640 1842 922 0 640353 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2593604 KiB
Current children cumulated memory: 2406560 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/245 1047957
/proc/meminfo: memFree=120008904/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=4068180 memory=3724816 CPUtime=161.78 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 554067 0 0 0 15854 324 0 0 20 0 1 0 198450487 4165816320 931204 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 1017045 931204 1858 922 0 1008997 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 4068180 KiB
Current children cumulated memory: 3724816 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/245 1047967
/proc/meminfo: memFree=119043104/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=4167864 memory=3992240 CPUtime=221.59 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 574122 0 0 0 21801 358 0 0 20 0 1 0 198450487 4267892736 998060 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 1041966 998060 1858 922 0 1033918 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 4167864 KiB
Current children cumulated memory: 3992240 KiB
[startup+282.3 s]
/proc/loadavg: 4.43 4.22 4.17 5/245 1047978
/proc/meminfo: memFree=117587776/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=6158004 memory=5252900 CPUtime=281.4 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 769405 0 0 0 27697 443 0 0 20 0 1 0 198450487 6305796096 1313225 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 1539501 1313225 1858 922 0 1531453 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 6158004 KiB
Current children cumulated memory: 5252900 KiB
[startup+342.3 s]
/proc/loadavg: 4.82 4.39 4.23 5/244 1047989
/proc/meminfo: memFree=116325604/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=6737092 memory=6357328 CPUtime=341.21 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 910067 0 0 0 33604 517 0 0 20 0 1 0 198450487 6898782208 1589332 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 1684273 1589332 1858 922 0 1676225 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 6737092 KiB
Current children cumulated memory: 6357328 KiB
[startup+402.3 s]
/proc/loadavg: 4.36 4.33 4.22 5/244 1047999
/proc/meminfo: memFree=115898116/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=8292112 memory=6524628 CPUtime=401.01 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 925475 0 0 0 39557 544 0 0 20 0 1 0 198450487 8491122688 1631157 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 2073028 1631157 1858 922 0 2064980 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 8292112 KiB
Current children cumulated memory: 6524628 KiB
[startup+462.3 s]
/proc/loadavg: 4.32 4.32 4.22 5/242 1048012
/proc/meminfo: memFree=115236416/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=8292112 memory=6524800 CPUtime=460.82 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 926128 0 0 0 45502 580 0 0 20 0 1 0 198450487 8491122688 1631200 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 2073028 1631200 1858 922 0 2064980 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/243 1049648
/proc/meminfo: memFree=103900236/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=11460052 memory=10297360 CPUtime=3092.49 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1533610 0 0 0 306716 2533 0 0 20 0 1 0 198450487 11735093248 2574340 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 2865013 2574340 1858 922 0 2856965 0
Current children cumulated CPU time: 3092.49 s
Current children cumulated vsize: 11460052 KiB
Current children cumulated memory: 10297360 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/243 1049672
/proc/meminfo: memFree=103899836/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=11460052 memory=10297368 CPUtime=3152.3 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1535957 0 0 0 312673 2557 0 0 20 0 1 0 198450487 11735093248 2574342 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 2865013 2574342 1858 922 0 2856965 0
Current children cumulated CPU time: 3152.3 s
Current children cumulated vsize: 11460052 KiB
Current children cumulated memory: 10297368 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/243 1049682
/proc/meminfo: memFree=103897404/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=11460052 memory=10297372 CPUtime=3212.11 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1538223 0 0 0 318634 2577 0 0 20 0 1 0 198450487 11735093248 2574343 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 2865013 2574343 1858 922 0 2856965 0
Current children cumulated CPU time: 3212.11 s
Current children cumulated vsize: 11460052 KiB
Current children cumulated memory: 10297372 KiB
[startup+3282.3 s]
/proc/loadavg: 4.77 4.29 4.16 5/243 1049693
/proc/meminfo: memFree=103896196/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=11460052 memory=10297376 CPUtime=3271.92 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1540358 0 0 0 324587 2605 0 0 20 0 1 0 198450487 11735093248 2574344 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 2865013 2574344 1858 922 0 2856965 0
Current children cumulated CPU time: 3271.92 s
Current children cumulated vsize: 11460052 KiB
Current children cumulated memory: 10297376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.28 4.16 5/243 1049704
/proc/meminfo: memFree=103894584/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=11460052 memory=10297396 CPUtime=3331.73 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1543076 0 0 0 330548 2625 0 0 20 0 1 0 198450487 11735093248 2574349 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 2865013 2574349 1858 922 0 2856965 0
Current children cumulated CPU time: 3331.73 s
Current children cumulated vsize: 11460052 KiB
Current children cumulated memory: 10297396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.36 4.29 4.17 5/243 1049714
/proc/meminfo: memFree=103495044/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=14198824 memory=10692160 CPUtime=3391.54 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1607773 0 0 0 336490 2664 0 0 20 0 1 0 198450487 14539595776 2673040 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 3549706 2673040 1858 922 0 3541658 0
Current children cumulated CPU time: 3391.54 s
Current children cumulated vsize: 14198824 KiB
Current children cumulated memory: 10692160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.74 4.42 4.23 5/242 1049727
/proc/meminfo: memFree=103028756/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=14429176 memory=11126848 CPUtime=3451.35 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1666775 0 0 0 342433 2702 0 0 20 0 1 0 198450487 14775476224 2781712 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 3607294 2781712 1858 922 0 3599246 0
Current children cumulated CPU time: 3451.35 s
Current children cumulated vsize: 14429176 KiB
Current children cumulated memory: 11126848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.37 4.22 5/242 1049737
/proc/meminfo: memFree=102985748/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=14476004 memory=11161388 CPUtime=3511.17 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1673593 0 0 0 348363 2754 0 0 20 0 1 0 198450487 14823428096 2790347 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 3619001 2790347 1858 922 0 3610953 0
Current children cumulated CPU time: 3511.17 s
Current children cumulated vsize: 14476004 KiB
Current children cumulated memory: 11161388 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.32 4.21 5/242 1049747
/proc/meminfo: memFree=102727452/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=14476004 memory=11161392 CPUtime=3570.98 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1674320 0 0 0 354285 2813 0 0 20 0 1 0 198450487 14823428096 2790348 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 3619001 2790348 1858 922 0 3610953 0
Current children cumulated CPU time: 3570.98 s
Current children cumulated vsize: 14476004 KiB
Current children cumulated memory: 11161392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.19 4.30 4.21 5/242 1049890
/proc/meminfo: memFree=117619140/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=14479048 memory=11163928 CPUtime=3600.08 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1674867 0 0 0 357173 2835 0 0 20 0 1 0 198450487 14826545152 2790982 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 3619762 2790982 1858 922 0 3611714 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 14479048 KiB
Current children cumulated memory: 11163928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.76 s]
# the end of solver process 1047922 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.73 s, system=28.6132 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.19 4.30 4.21 5/242 1049890
/proc/meminfo: memFree=117618228/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=14479048 memory=11165916 CPUtime=3601.38 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1674905 0 0 0 357303 2835 0 0 20 0 1 0 198450487 14826545152 2791479 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 3619762 2791479 1858 922 0 3611714 0
Current children cumulated CPU time: 3601.38 s
Current children cumulated vsize: 14479048 KiB
Current children cumulated memory: 11165916 KiB
[startup+3613.2 s]
/proc/loadavg: 4.18 4.30 4.21 5/242 1049890
/proc/meminfo: memFree=117611208/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=14479048 memory=11165916 CPUtime=3601.78 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1674905 0 0 0 357343 2835 0 0 20 0 1 0 198450487 14826545152 2791479 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 3619762 2791479 1858 922 0 3611714 0
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 14479048 KiB
Current children cumulated memory: 11165916 KiB
[startup+3613.4 s]
/proc/loadavg: 4.18 4.30 4.21 5/242 1049890
/proc/meminfo: memFree=117611208/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=14479048 memory=11165916 CPUtime=3601.98 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1674905 0 0 0 357363 2835 0 0 20 0 1 0 198450487 14826545152 2791479 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 3619762 2791479 1858 922 0 3611714 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 14479048 KiB
Current children cumulated memory: 11165916 KiB
[startup+3613.5 s]
/proc/loadavg: 4.18 4.30 4.21 5/242 1049890
/proc/meminfo: memFree=117611208/131655788 swapFree=131071996/131071996
[pid=1047922] ppid=1047919 vsize=14479048 memory=11165916 CPUtime=3602.08 cores=0,2
/proc/1047922/stat : 1047922 (roundingsat) R 1047919 1047922 1045835 0 -1 4194304 1674905 0 0 0 357373 2835 0 0 20 0 1 0 198450487 14826545152 2791479 134679101440 4194304 7968373 140737385828432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 28798976 140737385833404 140737385833568 140737385833568 140737385840585 0
/proc/1047922/statm: 3619762 2791479 1858 922 0 3611714 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 14479048 KiB
Current children cumulated memory: 11165916 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.76
CPU time (s): 3602.35
CPU user time (s): 3573.73
CPU system time (s): 28.6132
CPU usage (%): 99.6841
Max. virtual memory (cumulated for all children) (KiB): 14479048
Max. memory (cumulated for all children) (KiB): 11165916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.73
system time used= 28.6132
maximum resident set size= 11165976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1674905
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= 6
involuntary context switches= 24671
# summary of solver processes directly reported to runsolver:
# pid: 1047922
# total CPU time (s): 3602.35
# total CPU user time (s): 3573.73
# total CPU system time (s): 28.6132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5364 second user time and 34.2049 second system time
The end
Begin job on nodeC009 at 2024-07-20 10:08:41
IDJOB=4455390
IDBENCH=155653
IDSOLVER=3084
FILE ID=nodeC009/4455390-1721462909
RUNJOBID= nodeC009-1721459303-1045845
SLURM_JOB_ID= 7545707
Free space on /tmp= 723700 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_3_mh.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-4455390-1721462909/watcher-4455390-1721462909 -o /tmp/evaluation-result-4455390-1721462909/solver-4455390-1721462909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045845 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455390-1721462909.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9ac2461cadb9f34c01e229706adee951
RANDOM SEED=716142563
nodeC009.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 : 3492.173
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 : 6984.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 : 0xb00001f
cpu MHz : 3648.069
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.27
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.345
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 : 6984.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 : 0xb00001f
cpu MHz : 1197.478
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.27
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 : 3650.413
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 : 6984.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 : 0xb00001f
cpu MHz : 3658.383
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.27
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.512
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 : 6984.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 : 0xb00001f
cpu MHz : 1197.464
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127999064 kB
MemAvailable: 129043956 kB
Buffers: 602052 kB
Cached: 1286844 kB
SwapCached: 0 kB
Active: 1190948 kB
Inactive: 1906784 kB
Active(anon): 1452 kB
Inactive(anon): 1253268 kB
Active(file): 1189496 kB
Inactive(file): 653516 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 78544 kB
Writeback: 0 kB
AnonPages: 1208836 kB
Mapped: 116644 kB
Shmem: 45892 kB
KReclaimable: 83824 kB
Slab: 185156 kB
SReclaimable: 83824 kB
SUnreclaim: 101332 kB
KernelStack: 3920 kB
PageTables: 11948 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1609616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 536576 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC009 at 2024-07-20 11:08:55