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 (59360 MiB free)
memory of node 1: 64473 MiB (60280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460085-1722064836/watcher-4460085-1722064836 -o /tmp/evaluation-result-4460085-1722064836/solver-4460085-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317339 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460085-1722064836 --lp-cut-gomory=0 HOME/instance-4460085-1722064836.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=317400, runsolver pid=317397
[startup+0.100871 s]*
/proc/loadavg: 0.07 0.09 0.09 5/256 317401
/proc/meminfo: memFree=122492040/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=50752 memory=17992 CPUtime=0.09 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 3701 0 0 0 6 3 0 0 20 0 1 0 43011495 51970048 4498 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 12688 4498 1365 992 0 4546 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50752 KiB
Current children cumulated memory: 17992 KiB
[startup+0.205189 s]*
/proc/loadavg: 0.07 0.09 0.09 5/256 317401
/proc/meminfo: memFree=122443156/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=51780 memory=19048 CPUtime=0.2 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 4002 0 0 0 14 6 0 0 20 0 1 0 43011495 53022720 4762 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 12945 4762 1365 992 0 4803 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51780 KiB
Current children cumulated memory: 19048 KiB
[startup+0.305042 s]*
/proc/loadavg: 0.07 0.09 0.09 5/256 317401
/proc/meminfo: memFree=122430932/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=55828 memory=24204 CPUtime=0.3 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 4763 0 0 0 21 9 0 0 20 0 1 0 43011495 57167872 6051 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 13957 6051 1365 992 0 5815 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55828 KiB
Current children cumulated memory: 24204 KiB
[startup+0.700224 s]
/proc/loadavg: 0.07 0.09 0.09 5/256 317401
/proc/meminfo: memFree=122368588/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=65980 memory=33540 CPUtime=0.68 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 6605 0 0 0 49 19 0 0 20 0 1 0 43011495 67563520 8385 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 16495 8385 1365 992 0 8353 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65980 KiB
Current children cumulated memory: 33540 KiB
[startup+1.50023 s]
/proc/loadavg: 0.07 0.09 0.09 5/256 317401
/proc/meminfo: memFree=122023556/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=217840 memory=180760 CPUtime=1.49 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 37995 0 0 0 119 30 0 0 20 0 1 0 43011495 223068160 45190 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 54460 45190 1780 992 0 46318 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 217840 KiB
Current children cumulated memory: 180760 KiB
[startup+3.10561 s]
/proc/loadavg: 0.46 0.17 0.11 5/256 317403
/proc/meminfo: memFree=121822748/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=215232 memory=176656 CPUtime=3.09 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 39157 0 0 0 273 36 0 0 20 0 1 0 43011495 220397568 44164 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 53808 44164 1812 992 0 45666 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 215232 KiB
Current children cumulated memory: 176656 KiB
[startup+6.30021 s]
/proc/loadavg: 0.46 0.17 0.11 5/258 317405
/proc/meminfo: memFree=121593464/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=220044 memory=181360 CPUtime=6.27 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 40385 0 0 0 574 53 0 0 20 0 1 0 43011495 225325056 45340 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 55011 45340 1812 992 0 46869 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 220044 KiB
Current children cumulated memory: 181360 KiB
[startup+12.7002 s]
/proc/loadavg: 1.01 0.30 0.16 5/258 317406
/proc/meminfo: memFree=121278964/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=227284 memory=196644 CPUtime=12.66 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 42630 0 0 0 1195 71 0 0 20 0 1 0 43011495 232738816 49161 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 56821 49161 1875 992 0 48679 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 227284 KiB
Current children cumulated memory: 196644 KiB
[startup+25.5002 s]
/proc/loadavg: 1.47 0.42 0.20 5/258 317408
/proc/meminfo: memFree=120351632/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=296064 memory=261088 CPUtime=25.43 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 52249 0 0 0 2448 95 0 0 20 0 1 0 43011495 303169536 65272 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 74016 65272 1875 992 0 65874 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 296064 KiB
Current children cumulated memory: 261088 KiB
[startup+51.1059 s]
/proc/loadavg: 2.48 0.74 0.31 5/259 317412
/proc/meminfo: memFree=119435960/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=306260 memory=273024 CPUtime=50.97 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 54745 0 0 0 4993 104 0 0 20 0 1 0 43011495 313610240 68256 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 76565 68256 1875 992 0 68423 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 306260 KiB
Current children cumulated memory: 273024 KiB
[startup+102.3 s]
/proc/loadavg: 3.39 1.29 0.53 5/259 317516
/proc/meminfo: memFree=118751608/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=306260 memory=273660 CPUtime=102.04 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 54933 0 0 0 10087 117 0 0 20 0 1 0 43011495 313610240 68415 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 76565 68415 1875 992 0 68423 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 306260 KiB
Current children cumulated memory: 273660 KiB
[startup+162.3 s]
/proc/loadavg: 3.82 1.80 0.75 5/259 317526
/proc/meminfo: memFree=117095848/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=309016 memory=277928 CPUtime=161.9 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 55571 0 0 0 16032 158 0 0 20 0 1 0 43011495 316432384 69482 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 77254 69482 1875 992 0 69112 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 309016 KiB
Current children cumulated memory: 277928 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 2.26 0.98 5/259 317537
/proc/meminfo: memFree=115100060/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=544908 memory=469192 CPUtime=221.77 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 82778 0 0 0 21927 250 0 0 20 0 1 0 43011495 557985792 117298 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 136227 117298 1891 992 0 128085 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 544908 KiB
Current children cumulated memory: 469192 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.60 1.18 5/261 317931
/proc/meminfo: memFree=113524876/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=735920 memory=638976 CPUtime=281.62 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 106839 0 0 0 27869 293 0 0 20 0 1 0 43011495 753582080 159744 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 183980 159744 1891 992 0 175838 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 735920 KiB
Current children cumulated memory: 638976 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 2.89 1.37 5/257 317942
/proc/meminfo: memFree=112754140/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=737844 memory=641052 CPUtime=341.47 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 107372 0 0 0 33847 300 0 0 20 0 1 0 43011495 755552256 160263 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 184461 160263 1891 992 0 176319 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 737844 KiB
Current children cumulated memory: 641052 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.11 1.54 5/257 317953
/proc/meminfo: memFree=111687032/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=738964 memory=642016 CPUtime=401.32 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 107659 0 0 0 39826 306 0 0 20 0 1 0 43011495 756699136 160504 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 184741 160504 1891 992 0 176599 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 738964 KiB
Current children cumulated memory: 642016 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.30 1.71 5/259 318133
/proc/meminfo: memFree=110650392/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=741356 memory=643436 CPUtime=461.19 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 108055 0 0 0 45776 343 0 0 20 0 1 0 43011495 759148544 160859 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 185339 160859 1907 992 0 177197 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.21 4.15 4.03 5/257 320198
/proc/meminfo: memFree=86089000/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1049236 memory=965228 CPUtime=3094.09 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 155242 0 0 0 307808 1601 0 0 20 0 1 0 43011495 1074417664 241307 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 262309 241307 1907 992 0 254167 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 1049236 KiB
Current children cumulated memory: 965228 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.02 5/257 320209
/proc/meminfo: memFree=85274588/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1052140 memory=966112 CPUtime=3153.93 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 156044 0 0 0 313753 1640 0 0 20 0 1 0 43011495 1077391360 241528 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 263035 241528 1907 992 0 254893 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 1052140 KiB
Current children cumulated memory: 966112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.02 5/257 320220
/proc/meminfo: memFree=84324360/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1052140 memory=970208 CPUtime=3213.76 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 156504 0 0 0 319695 1681 0 0 20 0 1 0 43011495 1077391360 242552 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 263035 242552 1907 992 0 254893 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 1052140 KiB
Current children cumulated memory: 970208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/257 320231
/proc/meminfo: memFree=83423776/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1082552 CPUtime=3273.58 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 157369 0 0 0 325646 1712 0 0 20 0 1 0 43011495 1297473536 270638 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 270638 1907 992 0 308624 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1082552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/257 320243
/proc/meminfo: memFree=82407156/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1117384 CPUtime=3333.4 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 157579 0 0 0 331538 1802 0 0 20 0 1 0 43011495 1297473536 279346 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 279346 1907 992 0 308624 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1117384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/257 320255
/proc/meminfo: memFree=81472752/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1117384 CPUtime=3393.22 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 157939 0 0 0 337414 1908 0 0 20 0 1 0 43011495 1297473536 279346 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 279346 1907 992 0 308624 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1117384 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.03 5/257 320266
/proc/meminfo: memFree=80872212/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1119992 CPUtime=3453.05 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 158367 0 0 0 343359 1946 0 0 20 0 1 0 43011495 1297473536 279998 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 279998 1907 992 0 308624 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1119992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/259 320278
/proc/meminfo: memFree=80492540/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1120368 CPUtime=3512.87 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 158681 0 0 0 349335 1952 0 0 20 0 1 0 43011495 1297473536 280092 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 280092 1907 992 0 308624 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1120368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/262 320294
/proc/meminfo: memFree=80084252/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1120376 CPUtime=3572.69 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 158913 0 0 0 355312 1957 0 0 20 0 1 0 43011495 1297473536 280094 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 280094 1907 992 0 308624 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1120376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.09 4.11 4.04 5/261 320298
/proc/meminfo: memFree=79893716/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1120376 CPUtime=3600.01 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 159017 0 0 0 358042 1959 0 0 20 0 1 0 43011495 1297473536 280094 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 280094 1907 992 0 308624 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1120376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3616.51 s]
# the end of solver process 317400 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3582.41 s, system=19.6078 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.09 4.11 4.04 5/261 320298
/proc/meminfo: memFree=79888284/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1120376 CPUtime=3600.7 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 159017 0 0 0 358111 1959 0 0 20 0 1 0 43011495 1297473536 280094 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 280094 1907 992 0 308624 0
Current children cumulated CPU time: 3600.7 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1120376 KiB
[startup+3611.2 s]
/proc/loadavg: 4.09 4.11 4.04 5/261 320298
/proc/meminfo: memFree=79877228/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1120376 CPUtime=3601.5 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 159017 0 0 0 358191 1959 0 0 20 0 1 0 43011495 1297473536 280094 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 280094 1907 992 0 308624 0
Current children cumulated CPU time: 3601.5 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1120376 KiB
[startup+3611.6 s]
/proc/loadavg: 4.09 4.11 4.04 5/261 320298
/proc/meminfo: memFree=79877228/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1120376 CPUtime=3601.9 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 159017 0 0 0 358231 1959 0 0 20 0 1 0 43011495 1297473536 280094 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 280094 1907 992 0 308624 0
Current children cumulated CPU time: 3601.9 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1120376 KiB
[startup+3611.7 s]
/proc/loadavg: 4.09 4.11 4.04 5/261 320298
/proc/meminfo: memFree=79877228/131524600 swapFree=131060368/131071996
[pid=317400] ppid=317397 vsize=1267064 memory=1120376 CPUtime=3602 cores=5,7
/proc/317400/stat : 317400 (roundingsat) R 317397 317400 317326 0 -1 4194304 159017 0 0 0 358241 1959 0 0 20 0 1 0 43011495 1297473536 280094 134679101440 4194304 8254357 140735644019472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32985088 140735644021599 140735644021861 140735644021861 140735644028873 0
/proc/317400/statm: 316766 280094 1907 992 0 308624 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 1267064 KiB
Current children cumulated memory: 1120376 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.51
CPU time (s): 3602.02
CPU user time (s): 3582.41
CPU system time (s): 19.6078
CPU usage (%): 99.5994
Max. virtual memory (cumulated for all children) (KiB): 1267064
Max. memory (cumulated for all children) (KiB): 1120376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.41
system time used= 19.6078
maximum resident set size= 1120376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159017
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18450928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69
involuntary context switches= 3361
# summary of solver processes directly reported to runsolver:
# pid: 317400
# total CPU time (s): 3602.02
# total CPU user time (s): 3582.41
# total CPU system time (s): 19.6078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56436 second user time and 16.8085 second system time
The end
Begin job on nodeC014 at 2024-07-27 09:20:36
IDJOB=4460085
IDBENCH=144784
IDSOLVER=3086
FILE ID=nodeC014/4460085-1722064836
RUNJOBID= nodeC014-1722064836-317339
SLURM_JOB_ID= 8248084
Free space on /tmp= 890000 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.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-4460085-1722064836/watcher-4460085-1722064836 -o /tmp/evaluation-result-4460085-1722064836/solver-4460085-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317339 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460085-1722064836 --lp-cut-gomory=0 HOME/instance-4460085-1722064836.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 76d4374776c44997889e9fdaf7321aa0
RANDOM SEED=425005107
nodeC014.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 : 3635.199
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.45
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 : 3639.348
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.48
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 : 3605.038
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.45
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 : 3664.611
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.48
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 : 3639.826
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.45
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 : 3664.847
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.48
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 : 3630.629
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.45
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 : 3646.942
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122519840 kB
MemAvailable: 129755892 kB
Buffers: 364792 kB
Cached: 7664512 kB
SwapCached: 140 kB
Active: 805616 kB
Inactive: 7525468 kB
Active(anon): 2116 kB
Inactive(anon): 353060 kB
Active(file): 803500 kB
Inactive(file): 7172408 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131060368 kB
Dirty: 44632 kB
Writeback: 0 kB
AnonPages: 299200 kB
Mapped: 98040 kB
Shmem: 52988 kB
KReclaimable: 200592 kB
Slab: 324776 kB
SReclaimable: 200592 kB
SUnreclaim: 124184 kB
KernelStack: 4080 kB
PageTables: 9328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 622716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 15328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 159744 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: 393940 kB
DirectMap2M: 46565376 kB
DirectMap1G: 89128960 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC014 at 2024-07-27 10:20:52