runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63142 MiB free)
memory of node 1: 64473 MiB (59029 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462781-1722344619/watcher-4462781-1722344619 -o /tmp/evaluation-result-4462781-1722344619/solver-4462781-1722344619 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6896 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462781-1722344619 --lp-cut-gomory=0 HOME/instance-4462781-1722344619.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=9677, runsolver pid=9674
[startup+0.100095 s]*
/proc/loadavg: 4.68 4.31 4.13 5/261 9678
/proc/meminfo: memFree=125049628/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=101212 memory=55208 CPUtime=0.09 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 8847 0 0 0 8 1 0 0 20 0 1 0 1066263 103641088 13802 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 25303 13802 1317 992 0 17161 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 101212 KiB
Current children cumulated memory: 55208 KiB
[startup+0.205809 s]*
/proc/loadavg: 4.68 4.31 4.13 5/261 9678
/proc/meminfo: memFree=124964760/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=187228 memory=129876 CPUtime=0.19 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 11155 0 0 0 16 3 0 0 20 0 1 0 1066263 191721472 32469 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 46807 32469 1317 992 0 38665 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 187228 KiB
Current children cumulated memory: 129876 KiB
[startup+0.305807 s]*
/proc/loadavg: 4.68 4.31 4.13 5/261 9678
/proc/meminfo: memFree=124972264/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=151144 memory=115180 CPUtime=0.3 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 11476 0 0 0 24 6 0 0 20 0 1 0 1066263 154771456 28795 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 37786 28795 1349 992 0 29644 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 151144 KiB
Current children cumulated memory: 115180 KiB
[startup+0.700205 s]
/proc/loadavg: 4.68 4.31 4.13 5/261 9678
/proc/meminfo: memFree=124953388/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=158284 memory=119168 CPUtime=0.68 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 12429 0 0 0 56 12 0 0 20 0 1 0 1066263 162082816 29792 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 39571 29792 1349 992 0 31429 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 158284 KiB
Current children cumulated memory: 119168 KiB
[startup+1.50023 s]
/proc/loadavg: 4.68 4.31 4.13 5/261 9678
/proc/meminfo: memFree=124913964/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=165464 memory=130508 CPUtime=1.48 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 13244 0 0 0 116 32 0 0 20 0 1 0 1066263 169435136 32627 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 41366 32627 1349 992 0 33224 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 165464 KiB
Current children cumulated memory: 130508 KiB
[startup+3.10567 s]
/proc/loadavg: 4.68 4.31 4.13 5/261 9678
/proc/meminfo: memFree=124055756/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=650208 memory=573632 CPUtime=3.08 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 64891 0 0 0 257 51 0 0 20 0 1 0 1066263 665812992 143408 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 162552 143408 1763 992 0 154410 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 650208 KiB
Current children cumulated memory: 573632 KiB
[startup+6.30022 s]
/proc/loadavg: 4.63 4.30 4.13 5/261 9678
/proc/meminfo: memFree=123866388/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=666372 memory=589248 CPUtime=6.26 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 65735 0 0 0 575 51 0 0 20 0 1 0 1066263 682364928 147312 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 166593 147312 1763 992 0 158451 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 666372 KiB
Current children cumulated memory: 589248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.66 4.31 4.13 5/261 9680
/proc/meminfo: memFree=123565912/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=670388 memory=593068 CPUtime=12.64 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 66244 0 0 0 1212 52 0 0 20 0 1 0 1066263 686477312 148267 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 167597 148267 1763 992 0 159455 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 670388 KiB
Current children cumulated memory: 593068 KiB
[startup+25.5002 s]
/proc/loadavg: 4.58 4.31 4.13 5/261 9681
/proc/meminfo: memFree=122994736/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=698724 memory=620808 CPUtime=25.4 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 70265 0 0 0 2486 54 0 0 20 0 1 0 1066263 715493376 155202 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 174681 155202 1763 992 0 166539 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 698724 KiB
Current children cumulated memory: 620808 KiB
[startup+51.1056 s]
/proc/loadavg: 4.65 4.35 4.15 5/261 9688
/proc/meminfo: memFree=121646704/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=908584 memory=794932 CPUtime=50.88 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 87834 0 0 0 4920 168 0 0 20 0 1 0 1066263 930390016 198733 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 227146 198733 1809 992 0 219004 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 908584 KiB
Current children cumulated memory: 794932 KiB
[startup+102.3 s]
/proc/loadavg: 4.47 4.36 4.17 5/259 9699
/proc/meminfo: memFree=121128656/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=1055436 memory=901472 CPUtime=101.82 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 93129 0 0 0 9905 277 0 0 20 0 1 0 1066263 1080766464 225368 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 263859 225368 1809 992 0 255717 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 1055436 KiB
Current children cumulated memory: 901472 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.34 4.17 5/259 9709
/proc/meminfo: memFree=119713848/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=1153336 memory=967484 CPUtime=161.6 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 95021 0 0 0 15283 877 0 0 20 0 1 0 1066263 1181016064 241871 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 288334 241871 1866 992 0 280192 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 1153336 KiB
Current children cumulated memory: 967484 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.29 4.17 5/259 9721
/proc/meminfo: memFree=118465944/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=1159728 memory=974184 CPUtime=221.32 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 95291 0 0 0 21245 887 0 0 20 0 1 0 1066263 1187561472 243546 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 289932 243546 1866 992 0 281790 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 1159728 KiB
Current children cumulated memory: 974184 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.27 4.17 5/259 9732
/proc/meminfo: memFree=118043724/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=1245368 memory=1042444 CPUtime=281.1 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 98218 0 0 0 27198 912 0 0 20 0 1 0 1066263 1275256832 260611 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 311342 260611 1866 992 0 303200 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 1245368 KiB
Current children cumulated memory: 1042444 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.23 4.16 5/259 9742
/proc/meminfo: memFree=116621244/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=1941800 memory=1519580 CPUtime=340.9 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 99608 0 0 0 33039 1051 0 0 20 0 1 0 1066263 1988403200 379895 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 485450 379895 1866 992 0 477308 0
Current children cumulated CPU time: 340.9 s
Current children cumulated vsize: 1941800 KiB
Current children cumulated memory: 1519580 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.20 4.15 5/262 9757
/proc/meminfo: memFree=115571232/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=2509328 memory=2027484 CPUtime=400.71 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 100661 0 0 0 39008 1063 0 0 20 0 1 0 1066263 2569551872 506871 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 627332 506871 1866 992 0 619190 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 2509328 KiB
Current children cumulated memory: 2027484 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.19 4.15 5/261 9769
/proc/meminfo: memFree=114138232/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=3431564 memory=2606672 CPUtime=460.52 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 101405 0 0 0 44974 1078 0 0 20 0 1 0 1066263 3513921536 651668 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 857891 651668 1866 992 0 849749 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.20 4.24 4.17 5/261 10926
/proc/meminfo: memFree=69928168/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4201088 CPUtime=3031.35 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 172449 0 0 0 301352 1783 0 0 20 0 1 0 1066263 5380042752 1050272 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1050272 1866 992 0 1305345 0
Current children cumulated CPU time: 3031.35 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4201088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.21 4.16 5/262 11319
/proc/meminfo: memFree=69674316/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4203500 CPUtime=3091.17 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 173100 0 0 0 307331 1786 0 0 20 0 1 0 1066263 5380042752 1050875 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1050875 1866 992 0 1305345 0
Current children cumulated CPU time: 3091.17 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4203500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.18 4.16 5/260 11329
/proc/meminfo: memFree=69420688/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207224 CPUtime=3150.98 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 173856 0 0 0 313309 1789 0 0 20 0 1 0 1066263 5380042752 1051806 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051806 1866 992 0 1305345 0
Current children cumulated CPU time: 3150.98 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.21 4.17 5/260 11340
/proc/meminfo: memFree=69061484/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3210.78 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 174353 0 0 0 319284 1794 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3210.78 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.16 5/260 11519
/proc/meminfo: memFree=68865880/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3270.6 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 174875 0 0 0 325263 1797 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3270.6 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.16 5/260 11529
/proc/meminfo: memFree=68657328/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3330.42 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 175481 0 0 0 331242 1800 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3330.42 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/260 11544
/proc/meminfo: memFree=68498088/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3390.24 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 176087 0 0 0 337221 1803 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3390.24 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.15 6/261 11847
/proc/meminfo: memFree=115332328/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3450.05 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 176590 0 0 0 343199 1806 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3450.05 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.19 4.17 6/261 11857
/proc/meminfo: memFree=114869168/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3509.85 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 177208 0 0 0 349174 1811 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3509.85 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
[startup+3582.3 s]
/proc/loadavg: 4.64 4.33 4.22 5/260 11867
/proc/meminfo: memFree=113649900/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3569.68 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 177778 0 0 0 355155 1813 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3569.68 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.45 4.32 4.22 5/260 11872
/proc/meminfo: memFree=113539060/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3600.09 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 178044 0 0 0 358195 1814 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.82 s]
# the end of solver process 9677 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3583.95 s, system=18.1724 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.45 4.32 4.22 5/260 11872
/proc/meminfo: memFree=113535000/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3600.89 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 178044 0 0 0 358275 1814 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3600.89 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
[startup+3614.4 s]
/proc/loadavg: 4.45 4.32 4.22 5/260 11872
/proc/meminfo: memFree=113530592/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3601.7 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 178044 0 0 0 358355 1815 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3601.7 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
[startup+3614.8 s]
/proc/loadavg: 4.45 4.32 4.22 5/260 11872
/proc/meminfo: memFree=113530592/131524600 swapFree=131071996/131071996
[pid=9677] ppid=9674 vsize=5253948 memory=4207228 CPUtime=3602.09 cores=0,2
/proc/9677/stat : 9677 (roundingsat) R 9674 9677 6885 0 -1 4194304 178044 0 0 0 358394 1815 0 0 20 0 1 0 1066263 5380042752 1051807 134679101440 4194304 8255733 140733190250128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34029568 140733190255454 140733190255716 140733190255716 140733190262729 0
/proc/9677/statm: 1313487 1051807 1866 992 0 1305345 0
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 5253948 KiB
Current children cumulated memory: 4207228 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.82
CPU time (s): 3602.12
CPU user time (s): 3583.95
CPU system time (s): 18.1724
CPU usage (%): 99.6487
Max. virtual memory (cumulated for all children) (KiB): 5253948
Max. memory (cumulated for all children) (KiB): 4207228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.95
system time used= 18.1724
maximum resident set size= 4207228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178044
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5504400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 25209
# summary of solver processes directly reported to runsolver:
# pid: 9677
# total CPU time (s): 3602.12
# total CPU user time (s): 3583.95
# total CPU system time (s): 18.1724
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98206 second user time and 18.1123 second system time
The end
Begin job on nodeC034 at 2024-07-30 15:03:40
IDJOB=4462781
IDBENCH=157943
IDSOLVER=3089
FILE ID=nodeC034/4462781-1722344619
RUNJOBID= nodeC034-1722340763-6896
SLURM_JOB_ID= 8249007
Free space on /tmp= 890032 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.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-4462781-1722344619/watcher-4462781-1722344619 -o /tmp/evaluation-result-4462781-1722344619/solver-4462781-1722344619 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6896 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462781-1722344619 --lp-cut-gomory=0 HOME/instance-4462781-1722344619.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f42bed8b206e9691e6e5fc670f14b50f
RANDOM SEED=798195530
nodeC034.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 : 3670.966
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
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 : 3689.277
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.49
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 : 3646.173
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.51
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 : 3600.091
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.49
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 : 3670.476
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.51
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 : 3689.263
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.49
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 : 3651.366
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.51
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 : 3600.118
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125105516 kB
MemAvailable: 128114348 kB
Buffers: 47816 kB
Cached: 3794868 kB
SwapCached: 0 kB
Active: 159260 kB
Inactive: 5780740 kB
Active(anon): 1540 kB
Inactive(anon): 2117160 kB
Active(file): 157720 kB
Inactive(file): 3663580 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 152944 kB
Writeback: 0 kB
AnonPages: 2095100 kB
Mapped: 98100 kB
Shmem: 21336 kB
KReclaimable: 54712 kB
Slab: 137508 kB
SReclaimable: 54712 kB
SUnreclaim: 82796 kB
KernelStack: 4192 kB
PageTables: 13236 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2687300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 382976 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC034 at 2024-07-30 16:03:54