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: 64096 MiB (59135 MiB free)
memory of node 1: 64473 MiB (58380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457391-1721840031/watcher-4457391-1721840031 -o /tmp/evaluation-result-4457391-1721840031/solver-4457391-1721840031 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721831555-179666 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457391-1721840031 --lp-cut-gomory=0 HOME/instance-4457391-1721840031.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=184387, runsolver pid=184384
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.10 4.19 4.18 5/246 184388
/proc/meminfo: memFree=120332076/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=41056 memory=9228 CPUtime=0.09 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 1485 0 0 0 8 1 0 0 20 0 1 0 19992328 42041344 2307 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 10264 2307 1378 992 0 2122 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41056 KiB
Current children cumulated memory: 9228 KiB
[startup+0.208988 s]*
/proc/loadavg: 4.10 4.19 4.18 5/246 184388
/proc/meminfo: memFree=120321332/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=55196 memory=24772 CPUtime=0.2 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 4868 0 0 0 17 3 0 0 20 0 1 0 19992328 56520704 6193 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 13799 6193 1665 992 0 5657 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55196 KiB
Current children cumulated memory: 24772 KiB
[startup+0.309099 s]*
/proc/loadavg: 4.10 4.19 4.18 5/246 184388
/proc/meminfo: memFree=120318872/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=53636 memory=22720 CPUtime=0.31 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 4929 0 0 0 27 4 0 0 20 0 1 0 19992328 54923264 5680 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 13409 5680 1665 992 0 5267 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 22720 KiB
[startup+0.700321 s]
/proc/loadavg: 4.10 4.19 4.18 7/246 184388
/proc/meminfo: memFree=120316384/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=57068 memory=27072 CPUtime=0.69 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 5835 0 0 0 62 7 0 0 20 0 1 0 19992328 58437632 6768 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 14267 6768 1841 992 0 6125 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57068 KiB
Current children cumulated memory: 27072 KiB
[startup+1.5003 s]
/proc/loadavg: 4.10 4.19 4.18 5/246 184388
/proc/meminfo: memFree=120307984/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=58776 memory=31756 CPUtime=1.48 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 6462 0 0 0 141 7 0 0 20 0 1 0 19992328 60186624 7939 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 14694 7939 1841 992 0 6552 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58776 KiB
Current children cumulated memory: 31756 KiB
[startup+3.11313 s]
/proc/loadavg: 4.09 4.18 4.18 5/246 184388
/proc/meminfo: memFree=120287628/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=63252 memory=35448 CPUtime=3.09 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 7407 0 0 0 301 8 0 0 20 0 1 0 19992328 64770048 8862 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 15813 8862 1841 992 0 7671 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63252 KiB
Current children cumulated memory: 35448 KiB
[startup+6.30025 s]
/proc/loadavg: 4.09 4.18 4.18 5/246 184389
/proc/meminfo: memFree=120209628/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=117416 memory=82196 CPUtime=6.28 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 16000 0 0 0 615 13 0 0 20 0 1 0 19992328 120233984 20549 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 29354 20549 1841 992 0 21212 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 117416 KiB
Current children cumulated memory: 82196 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.18 4.18 5/246 184389
/proc/meminfo: memFree=120121740/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=141748 memory=98056 CPUtime=12.66 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 17962 0 0 0 1249 17 0 0 20 0 1 0 19992328 145149952 24514 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 35437 24514 1857 992 0 27295 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 141748 KiB
Current children cumulated memory: 98056 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.17 4.18 5/246 184392
/proc/meminfo: memFree=119965052/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=147424 memory=109712 CPUtime=25.43 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 19307 0 0 0 2518 25 0 0 20 0 1 0 19992328 150962176 27428 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 36856 27428 1857 992 0 28714 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 147424 KiB
Current children cumulated memory: 109712 KiB
[startup+51.1133 s]
/proc/loadavg: 4.10 4.17 4.18 5/248 184398
/proc/meminfo: memFree=119720540/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=149420 memory=110680 CPUtime=51 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 19586 0 0 0 5065 35 0 0 20 0 1 0 19992328 153006080 27670 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 37355 27670 1857 992 0 29213 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 149420 KiB
Current children cumulated memory: 110680 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/249 184792
/proc/meminfo: memFree=119187636/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=213272 memory=156140 CPUtime=102.07 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 28420 0 0 0 10145 62 0 0 20 0 1 0 19992328 218390528 39035 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 53318 39035 1857 992 0 45176 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 213272 KiB
Current children cumulated memory: 156140 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/250 184803
/proc/meminfo: memFree=118669168/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=221216 memory=165972 CPUtime=161.92 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 30406 0 0 0 16105 87 0 0 20 0 1 0 19992328 226525184 41493 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 55304 41493 1857 992 0 47162 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 221216 KiB
Current children cumulated memory: 165972 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/250 184813
/proc/meminfo: memFree=118069500/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=223160 memory=167820 CPUtime=221.77 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 30861 0 0 0 22060 117 0 0 20 0 1 0 19992328 228515840 41955 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 55790 41955 1857 992 0 47648 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 167820 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.17 6/250 184992
/proc/meminfo: memFree=117427260/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=223160 memory=168084 CPUtime=281.62 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 30890 0 0 0 28019 143 0 0 20 0 1 0 19992328 228515840 42021 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 55790 42021 1857 992 0 47648 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 168084 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/250 185002
/proc/meminfo: memFree=117037236/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=223160 memory=168560 CPUtime=341.47 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 30919 0 0 0 33986 161 0 0 20 0 1 0 19992328 228515840 42140 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 55790 42140 1857 992 0 47648 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 168560 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/252 185109
/proc/meminfo: memFree=120351992/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=223160 memory=170604 CPUtime=401.33 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 31027 0 0 0 39956 177 0 0 20 0 1 0 19992328 228515840 42651 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 55790 42651 1857 992 0 47648 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 170604 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.15 4.17 5/249 185132
/proc/meminfo: memFree=118998212/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=223160 memory=174700 CPUtime=461.21 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 31121 0 0 0 45926 195 0 0 20 0 1 0 19992328 228515840 43675 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 55790 43675 1857 992 0 47648 0
################
# More data... #
################
/proc/loadavg: 4.10 4.12 4.15 5/247 185458
/proc/meminfo: memFree=110408604/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=428204 memory=324136 CPUtime=1179.79 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 50052 0 0 0 117451 528 0 0 20 0 1 0 19992328 438480896 81034 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 107051 81034 1857 992 0 98909 0
Current children cumulated CPU time: 1179.79 s
Current children cumulated vsize: 428204 KiB
Current children cumulated memory: 324136 KiB
[startup+1242.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/248 185471
/proc/meminfo: memFree=109684076/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=428368 memory=324164 CPUtime=1239.65 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 50149 0 0 0 123410 555 0 0 20 0 1 0 19992328 438648832 81041 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 107092 81041 1857 992 0 98950 0
Current children cumulated CPU time: 1239.65 s
Current children cumulated vsize: 428368 KiB
Current children cumulated memory: 324164 KiB
[startup+1302.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/254 185487
/proc/meminfo: memFree=109053552/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=430044 memory=325896 CPUtime=1299.52 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 50660 0 0 0 129372 580 0 0 20 0 1 0 19992328 440365056 81474 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 107511 81474 1857 992 0 99369 0
Current children cumulated CPU time: 1299.52 s
Current children cumulated vsize: 430044 KiB
Current children cumulated memory: 325896 KiB
[startup+1362.3 s]
/proc/loadavg: 4.21 4.13 4.15 5/254 185498
/proc/meminfo: memFree=108331060/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=431084 memory=326972 CPUtime=1359.38 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 51062 0 0 0 135327 611 0 0 20 0 1 0 19992328 441430016 81743 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 107771 81743 1857 992 0 99629 0
Current children cumulated CPU time: 1359.38 s
Current children cumulated vsize: 431084 KiB
Current children cumulated memory: 326972 KiB
[startup+1422.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/255 185510
/proc/meminfo: memFree=107463156/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=432200 memory=340356 CPUtime=1419.25 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 51507 0 0 0 141274 651 0 0 20 0 1 0 19992328 442572800 85089 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 108050 85089 1857 992 0 99908 0
Current children cumulated CPU time: 1419.25 s
Current children cumulated vsize: 432200 KiB
Current children cumulated memory: 340356 KiB
[startup+1482.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/255 185520
/proc/meminfo: memFree=106768368/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=433944 memory=346016 CPUtime=1479.11 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 51968 0 0 0 147227 684 0 0 20 0 1 0 19992328 444358656 86504 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 108486 86504 1857 992 0 100344 0
Current children cumulated CPU time: 1479.11 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 346016 KiB
[startup+1528.75 s]
# the end of solver process 184387 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1517.93 s, system=7.32551 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 4.10 4.11 4.14 5/255 185522
/proc/meminfo: memFree=106733316/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=433944 memory=346016 CPUtime=1481.6 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 51968 0 0 0 147474 686 0 0 20 0 1 0 19992328 444358656 86504 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 108486 86504 1857 992 0 100344 0
Current children cumulated CPU time: 1481.6 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 346016 KiB
[startup+1510.4 s]
/proc/loadavg: 4.18 4.13 4.14 5/255 185526
/proc/meminfo: memFree=106305772/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=433944 memory=346016 CPUtime=1507.15 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 51976 0 0 0 150006 709 0 0 20 0 1 0 19992328 444358656 86504 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 108486 86504 1857 992 0 100344 0
Current children cumulated CPU time: 1507.15 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 346016 KiB
[startup+1516.8 s]
/proc/loadavg: 4.16 4.13 4.14 5/255 185527
/proc/meminfo: memFree=106218400/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=441684 memory=353004 CPUtime=1513.53 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 53247 0 0 0 150640 713 0 0 20 0 1 0 19992328 452284416 88251 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 110421 88251 1857 992 0 102279 0
Current children cumulated CPU time: 1513.53 s
Current children cumulated vsize: 441684 KiB
Current children cumulated memory: 353004 KiB
[startup+1523.2 s]
/proc/loadavg: 4.14 4.13 4.14 5/255 185527
/proc/meminfo: memFree=106080400/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=464520 memory=377880 CPUtime=1519.92 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 57904 0 0 0 151272 720 0 0 20 0 1 0 19992328 475668480 94470 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 116130 94470 1857 992 0 107988 0
Current children cumulated CPU time: 1519.92 s
Current children cumulated vsize: 464520 KiB
Current children cumulated memory: 377880 KiB
[startup+1526.4 s]
/proc/loadavg: 4.14 4.13 4.14 5/255 185529
/proc/meminfo: memFree=106020708/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=468960 memory=386192 CPUtime=1523.11 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 59011 0 0 0 151589 722 0 0 20 0 1 0 19992328 480215040 96548 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 117240 96548 1857 992 0 109098 0
Current children cumulated CPU time: 1523.11 s
Current children cumulated vsize: 468960 KiB
Current children cumulated memory: 386192 KiB
[startup+1528 s]*
/proc/loadavg: 4.13 4.12 4.14 5/255 185529
/proc/meminfo: memFree=105992356/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=470064 memory=386720 CPUtime=1524.71 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 59142 0 0 0 151748 723 0 0 20 0 1 0 19992328 481345536 96680 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 117516 96680 1857 992 0 109374 0
Current children cumulated CPU time: 1524.71 s
Current children cumulated vsize: 470064 KiB
Current children cumulated memory: 386720 KiB
[startup+1528.4 s]
/proc/loadavg: 4.13 4.12 4.14 5/255 185529
/proc/meminfo: memFree=105992356/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=470592 memory=387504 CPUtime=1525.1 cores=4,6
/proc/184387/stat : 184387 (roundingsat) R 184384 184387 179655 0 -1 4194304 59330 0 0 0 151786 724 0 0 20 0 1 0 19992328 481886208 96876 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 117648 96876 1857 992 0 109506 0
Current children cumulated CPU time: 1525.1 s
Current children cumulated vsize: 470592 KiB
Current children cumulated memory: 387504 KiB
[startup+1528.6 s]
/proc/loadavg: 4.13 4.12 4.14 5/255 185529
/proc/meminfo: memFree=105992356/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=470592 memory=387504 CPUtime=1525.2 cores=4,6
/proc/184387/stat : 184387 (roundingsat) D 184384 184387 179655 0 -1 4194304 59343 0 0 0 151792 728 0 0 20 0 1 0 19992328 481886208 96876 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 10 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 117648 96876 1857 992 0 109506 0
Current children cumulated CPU time: 1525.2 s
Current children cumulated vsize: 470592 KiB
Current children cumulated memory: 387504 KiB
[startup+1528.7 s]
/proc/loadavg: 4.13 4.12 4.14 5/255 185529
/proc/meminfo: memFree=105992356/131655788 swapFree=131056320/131071996
[pid=184387] ppid=184384 vsize=470592 memory=387504 CPUtime=1525.21 cores=4,6
/proc/184387/stat : 184387 (roundingsat) D 184384 184387 179655 0 -1 4194304 59343 0 0 0 151792 729 0 0 20 0 1 0 19992328 481886208 96876 134679101440 4194304 8254037 140724525120048 0 0 0 0 0 25182210 0 0 0 17 4 0 0 19 0 0 9037040 9046032 13357056 140724525126492 140724525126754 140724525126754 140724525133769 0
/proc/184387/statm: 117648 96876 1857 992 0 109506 0
Current children cumulated CPU time: 1525.21 s
Current children cumulated vsize: 470592 KiB
Current children cumulated memory: 387504 KiB
Child status: 0
Real time (s): 1528.75
CPU time (s): 1525.25
CPU user time (s): 1517.93
CPU system time (s): 7.32551
CPU usage (%): 99.7715
Max. virtual memory (cumulated for all children) (KiB): 470592
Max. memory (cumulated for all children) (KiB): 387504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1517.93
system time used= 7.32551
maximum resident set size= 387504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24331208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15223
involuntary context switches= 2136
# summary of solver processes directly reported to runsolver:
# pid: 184387
# total CPU time (s): 1525.25
# total CPU user time (s): 1517.93
# total CPU system time (s): 7.32551
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19704 second user time and 15.8786 second system time
The end
Begin job on nodeC006 at 2024-07-24 18:53:51
IDJOB=4457391
IDBENCH=164182
IDSOLVER=3085
FILE ID=nodeC006/4457391-1721840031
RUNJOBID= nodeC006-1721831555-179666
SLURM_JOB_ID= 7891518
Free space on /tmp= 723752 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-tanglegram6.0.u.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-4457391-1721840031/watcher-4457391-1721840031 -o /tmp/evaluation-result-4457391-1721840031/solver-4457391-1721840031 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721831555-179666 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457391-1721840031 --lp-cut-gomory=0 HOME/instance-4457391-1721840031.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4833b4bfdaca602656a4e797e1582c4
RANDOM SEED=247306042
nodeC006.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 : 3654.872
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
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 : 3625.810
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.40
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.234
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
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.222
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.40
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 : 1197.105
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
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 : 3655.434
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.40
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 : 1895.404
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
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.185
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.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120336728 kB
MemAvailable: 129279776 kB
Buffers: 275140 kB
Cached: 9267516 kB
SwapCached: 244 kB
Active: 1953444 kB
Inactive: 8433576 kB
Active(anon): 1736 kB
Inactive(anon): 887936 kB
Active(file): 1951708 kB
Inactive(file): 7545640 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056320 kB
Dirty: 15192 kB
Writeback: 0 kB
AnonPages: 844284 kB
Mapped: 101280 kB
Shmem: 45244 kB
KReclaimable: 507608 kB
Slab: 617744 kB
SReclaimable: 507608 kB
SUnreclaim: 110136 kB
KernelStack: 3936 kB
PageTables: 11060 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1272484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16576 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: 420680 kB
DirectMap2M: 57155584 kB
DirectMap1G: 78643200 kB
Free space on /tmp at the end= 723748 MiB
End job on nodeC006 at 2024-07-24 19:19:20