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 (61470 MiB free)
memory of node 1: 64473 MiB (58537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460902-1722072355/watcher-4460902-1722072355 -o /tmp/evaluation-result-4460902-1722072355/solver-4460902-1722072355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316999 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460902-1722072355 --lp-cut-gomory=0 HOME/instance-4460902-1722072355.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=322446, runsolver pid=322443
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.06 4.09 4.09 5/262 322447
/proc/meminfo: memFree=122873924/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=49956 memory=18868 CPUtime=0.1 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 4842 0 0 0 7 3 0 0 20 0 1 0 43765252 51154944 4717 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 12489 4717 1365 992 0 4347 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49956 KiB
Current children cumulated memory: 18868 KiB
[startup+0.205718 s]*
/proc/loadavg: 4.06 4.09 4.09 5/262 322447
/proc/meminfo: memFree=122872356/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=50960 memory=20188 CPUtime=0.2 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 5173 0 0 0 14 6 0 0 20 0 1 0 43765252 52183040 5047 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 12740 5047 1365 992 0 4598 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 20188 KiB
[startup+0.305577 s]*
/proc/loadavg: 4.06 4.09 4.09 5/262 322447
/proc/meminfo: memFree=122869436/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=54732 memory=22612 CPUtime=0.3 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 5775 0 0 0 22 8 0 0 20 0 1 0 43765252 56045568 5653 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 13683 5653 1365 992 0 5541 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54732 KiB
Current children cumulated memory: 22612 KiB
[startup+0.700242 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 322447
/proc/meminfo: memFree=122800100/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=133732 memory=103880 CPUtime=0.69 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 23974 0 0 0 56 13 0 0 20 0 1 0 43765252 136941568 25970 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 33433 25970 1667 992 0 25291 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133732 KiB
Current children cumulated memory: 103880 KiB
[startup+1.50022 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 322447
/proc/meminfo: memFree=122782132/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=138152 memory=108408 CPUtime=1.48 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 24470 0 0 0 134 14 0 0 20 0 1 0 43765252 141467648 27102 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 34538 27102 1846 992 0 26396 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 138152 KiB
Current children cumulated memory: 108408 KiB
[startup+3.10587 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 322448
/proc/meminfo: memFree=122748336/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=155620 memory=120516 CPUtime=3.09 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 26481 0 0 0 292 17 0 0 20 0 1 0 43765252 159354880 30129 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 38905 30129 1846 992 0 30763 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 155620 KiB
Current children cumulated memory: 120516 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 322448
/proc/meminfo: memFree=122689872/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=187988 memory=154524 CPUtime=6.28 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 32410 0 0 0 606 22 0 0 20 0 1 0 43765252 192499712 38631 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 46997 38631 1846 992 0 38855 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 187988 KiB
Current children cumulated memory: 154524 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 322448
/proc/meminfo: memFree=122638616/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=208728 memory=161864 CPUtime=12.66 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 33756 0 0 0 1239 27 0 0 20 0 1 0 43765252 213737472 40466 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 52182 40466 1846 992 0 44040 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 208728 KiB
Current children cumulated memory: 161864 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 322452
/proc/meminfo: memFree=122558352/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=232964 memory=193720 CPUtime=25.41 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 39714 0 0 0 2507 34 0 0 20 0 1 0 43765252 238555136 48430 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 58241 48430 1846 992 0 50099 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 232964 KiB
Current children cumulated memory: 193720 KiB
[startup+51.1059 s]
/proc/loadavg: 4.22 4.12 4.10 5/262 322455
/proc/meminfo: memFree=122158212/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=261016 memory=229816 CPUtime=50.94 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 45146 0 0 0 5048 46 0 0 20 0 1 0 43765252 267280384 57454 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 65254 57454 1846 992 0 57112 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 261016 KiB
Current children cumulated memory: 229816 KiB
[startup+102.3 s]
/proc/loadavg: 4.51 4.20 4.12 5/260 322464
/proc/meminfo: memFree=121580536/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=299436 memory=238900 CPUtime=102 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 47457 0 0 0 10133 67 0 0 20 0 1 0 43765252 306622464 59725 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 74859 59725 1846 992 0 66717 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 299436 KiB
Current children cumulated memory: 238900 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.17 4.12 5/261 322643
/proc/meminfo: memFree=121251060/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=330776 memory=283488 CPUtime=161.83 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 55607 0 0 0 16084 99 0 0 20 0 1 0 43765252 338714624 70872 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 82694 70872 1846 992 0 74552 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 330776 KiB
Current children cumulated memory: 283488 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/261 322653
/proc/meminfo: memFree=120926212/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=356196 memory=319220 CPUtime=221.67 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 61495 0 0 0 22032 135 0 0 20 0 1 0 43765252 364744704 79805 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 89049 79805 1846 992 0 80907 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 356196 KiB
Current children cumulated memory: 319220 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 4.23 4.14 5/261 322720
/proc/meminfo: memFree=120742392/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=370124 memory=337564 CPUtime=281.49 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 65071 0 0 0 27992 157 0 0 20 0 1 0 43765252 379006976 84391 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 92531 84391 1846 992 0 84389 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 370124 KiB
Current children cumulated memory: 337564 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.20 4.13 5/259 322731
/proc/meminfo: memFree=120494988/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=435208 memory=360688 CPUtime=341.32 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 68852 0 0 0 33945 187 0 0 20 0 1 0 43765252 445652992 90172 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 108802 90172 1846 992 0 100660 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 435208 KiB
Current children cumulated memory: 360688 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/259 322741
/proc/meminfo: memFree=120230428/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=443096 memory=369332 CPUtime=401.15 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 70974 0 0 0 39904 211 0 0 20 0 1 0 43765252 453730304 92333 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 110774 92333 1846 992 0 102632 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 443096 KiB
Current children cumulated memory: 369332 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/258 322752
/proc/meminfo: memFree=120032460/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=455036 memory=388524 CPUtime=460.99 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 73742 0 0 0 45858 241 0 0 20 0 1 0 43765252 465956864 97131 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 113759 97131 1846 992 0 105617 0
################
# More data... #
################
/proc/loadavg: 4.11 4.14 4.13 5/257 323431
/proc/meminfo: memFree=112251640/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=662688 memory=571488 CPUtime=1837.12 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 103553 0 0 0 182972 740 0 0 20 0 1 0 43765252 678592512 142872 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 165672 142872 1846 992 0 157530 0
Current children cumulated CPU time: 1837.12 s
Current children cumulated vsize: 662688 KiB
Current children cumulated memory: 571488 KiB
[startup+1902.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/258 323444
/proc/meminfo: memFree=112061632/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=662688 memory=571488 CPUtime=1896.94 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 103828 0 0 0 188938 756 0 0 20 0 1 0 43765252 678592512 142872 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 165672 142872 1846 992 0 157530 0
Current children cumulated CPU time: 1896.94 s
Current children cumulated vsize: 662688 KiB
Current children cumulated memory: 571488 KiB
[startup+1962.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/259 323623
/proc/meminfo: memFree=111957364/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=574212 CPUtime=1956.76 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 104540 0 0 0 194905 771 0 0 20 0 1 0 43765252 681709568 143553 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 143553 1846 992 0 158291 0
Current children cumulated CPU time: 1956.76 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 574212 KiB
[startup+2022.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/259 323633
/proc/meminfo: memFree=111780020/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=574260 CPUtime=2016.59 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 104853 0 0 0 200872 787 0 0 20 0 1 0 43765252 681709568 143565 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 143565 1846 992 0 158291 0
Current children cumulated CPU time: 2016.59 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 574260 KiB
[startup+2082.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/261 323648
/proc/meminfo: memFree=111597500/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=574260 CPUtime=2076.45 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105125 0 0 0 206842 803 0 0 20 0 1 0 43765252 681709568 143565 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 143565 1846 992 0 158291 0
Current children cumulated CPU time: 2076.45 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 574260 KiB
[startup+2142.3 s]
/proc/loadavg: 4.29 4.18 4.14 5/261 323670
/proc/meminfo: memFree=111391868/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2136.3 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105382 0 0 0 212811 819 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2136.3 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
[startup+2185.32 s]
# the end of solver process 322446 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2170.84 s, system=8.32802 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2150.4 s]
/proc/loadavg: 4.26 4.18 4.14 5/261 323672
/proc/meminfo: memFree=111371488/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2144.38 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105382 0 0 0 213617 821 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2144.38 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
[startup+2163.2 s]
/proc/loadavg: 4.28 4.19 4.14 5/261 323676
/proc/meminfo: memFree=111328084/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2157.14 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105496 0 0 0 214889 825 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2157.14 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
[startup+2176 s]*
/proc/loadavg: 4.30 4.19 4.14 5/261 323678
/proc/meminfo: memFree=111283532/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2169.92 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105522 0 0 0 216163 829 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2169.92 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
[startup+2179.2 s]
/proc/loadavg: 4.30 4.19 4.14 6/261 323678
/proc/meminfo: memFree=111270716/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2173.1 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105524 0 0 0 216481 829 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2173.1 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
[startup+2182.4 s]
/proc/loadavg: 4.27 4.19 4.14 6/261 323678
/proc/meminfo: memFree=111267628/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2176.29 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105524 0 0 0 216799 830 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2176.29 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
[startup+2184 s]*
/proc/loadavg: 4.27 4.19 4.14 5/261 323680
/proc/meminfo: memFree=111262096/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2177.9 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105524 0 0 0 216959 831 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2177.9 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
[startup+2184.8 s]
/proc/loadavg: 4.27 4.19 4.14 5/261 323680
/proc/meminfo: memFree=111262096/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2178.69 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105525 0 0 0 217038 831 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2178.69 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
[startup+2185.2 s]
/proc/loadavg: 4.27 4.19 4.14 5/261 323680
/proc/meminfo: memFree=111257672/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2179.08 cores=1,3
/proc/322446/stat : 322446 (roundingsat) R 322443 322446 316987 0 -1 4194304 105525 0 0 0 217077 831 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2179.08 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
[startup+2185.3 s]
/proc/loadavg: 4.27 4.19 4.14 5/261 323680
/proc/meminfo: memFree=111257672/131524600 swapFree=131055836/131071996
[pid=322446] ppid=322443 vsize=665732 memory=576308 CPUtime=2179.14 cores=1,3
/proc/322446/stat : 322446 (roundingsat) D 322443 322446 316987 0 -1 4194304 105525 0 0 0 217082 832 0 0 20 0 1 0 43765252 681709568 144077 134679101440 4194304 8254357 140724419924128 0 0 0 0 0 25182210 0 0 0 17 1 0 0 7 0 0 9037040 9046032 35373056 140724419928923 140724419929185 140724419929185 140724419936201 0
/proc/322446/statm: 166433 144077 1846 992 0 158291 0
Current children cumulated CPU time: 2179.14 s
Current children cumulated vsize: 665732 KiB
Current children cumulated memory: 576308 KiB
Child status: 0
Real time (s): 2185.32
CPU time (s): 2179.16
CPU user time (s): 2170.84
CPU system time (s): 8.32802
CPU usage (%): 99.7185
Max. virtual memory (cumulated for all children) (KiB): 665732
Max. memory (cumulated for all children) (KiB): 576308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2170.84
system time used= 8.32802
maximum resident set size= 576308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105533
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8055592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1412
involuntary context switches= 2946
# summary of solver processes directly reported to runsolver:
# pid: 322446
# total CPU time (s): 2179.16
# total CPU user time (s): 2170.84
# total CPU system time (s): 8.32802
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.4315 second user time and 10.4626 second system time
The end
Begin job on nodeC033 at 2024-07-27 11:25:56
IDJOB=4460902
IDBENCH=164450
IDSOLVER=3086
FILE ID=nodeC033/4460902-1722072355
RUNJOBID= nodeC033-1722064836-316999
SLURM_JOB_ID= 8248101
Free space on /tmp= 889964 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-506428.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-4460902-1722072355/watcher-4460902-1722072355 -o /tmp/evaluation-result-4460902-1722072355/solver-4460902-1722072355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316999 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460902-1722072355 --lp-cut-gomory=0 HOME/instance-4460902-1722072355.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= be38a350659e0c4d627f3ed91afb1797
RANDOM SEED=525794953
nodeC033.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 : 3675.143
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.99
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 : 3662.252
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.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.293
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.99
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 : 3670.283
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.76
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 : 3675.156
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.128
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.76
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 : 3600.212
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.99
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 : 3626.771
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.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122887956 kB
MemAvailable: 127371564 kB
Buffers: 378032 kB
Cached: 4910848 kB
SwapCached: 300 kB
Active: 2703920 kB
Inactive: 5277140 kB
Active(anon): 2240 kB
Inactive(anon): 2743060 kB
Active(file): 2701680 kB
Inactive(file): 2534080 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 54492 kB
Writeback: 0 kB
AnonPages: 2689104 kB
Mapped: 119676 kB
Shmem: 53064 kB
KReclaimable: 175340 kB
Slab: 295572 kB
SReclaimable: 175340 kB
SUnreclaim: 120232 kB
KernelStack: 4208 kB
PageTables: 14904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3245860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2004992 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: 391892 kB
DirectMap2M: 39227392 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC033 at 2024-07-27 12:02:21