VeriPB
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK
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: 63931 MiB (63367 MiB free)
memory of node 1: 64510 MiB (63363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463000-1722340768/watcher-4463000-1722340768 -o /tmp/evaluation-result-4463000-1722340768/solver-4463000-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6636 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463000-1722340768 --lp-cut-gomory=0 HOME/instance-4463000-1722340768.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
Current StackSize limit: 8192 KiB
solver pid=6794, runsolver pid=6791
[startup+0.100092 s]*
/proc/loadavg: 0.37 0.15 0.11 5/259 6795
/proc/meminfo: memFree=129757820/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=45696 memory=15112 CPUtime=0.09 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 3013 0 0 0 7 2 0 0 20 0 1 0 674746 46792704 3778 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 11424 3778 1352 992 0 3282 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 15112 KiB
[startup+0.205647 s]*
/proc/loadavg: 0.37 0.15 0.11 5/259 6795
/proc/meminfo: memFree=129749848/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=50172 memory=20528 CPUtime=0.2 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 4263 0 0 0 16 4 0 0 20 0 1 0 674746 51376128 5132 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 12543 5132 1352 992 0 4401 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50172 KiB
Current children cumulated memory: 20528 KiB
[startup+0.30578 s]*
/proc/loadavg: 0.37 0.15 0.11 5/259 6795
/proc/meminfo: memFree=129741532/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=58204 memory=24684 CPUtime=0.3 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 5942 0 0 0 23 7 0 0 20 0 1 0 674746 59600896 6171 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 14551 6171 1352 992 0 6409 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58204 KiB
Current children cumulated memory: 24684 KiB
[startup+0.700214 s]
/proc/loadavg: 0.37 0.15 0.11 5/259 6795
/proc/meminfo: memFree=129722228/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=81472 memory=47900 CPUtime=0.69 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 9880 0 0 0 52 17 0 0 20 0 1 0 674746 83427328 11975 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 20368 11975 1352 992 0 12226 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 81472 KiB
Current children cumulated memory: 47900 KiB
[startup+1.50021 s]
/proc/loadavg: 0.37 0.15 0.11 5/259 6795
/proc/meminfo: memFree=129665288/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=162192 memory=126108 CPUtime=1.48 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 24280 0 0 0 114 34 0 0 20 0 1 0 674746 166084608 31527 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 40548 31527 1639 992 0 32406 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 162192 KiB
Current children cumulated memory: 126108 KiB
[startup+3.10566 s]
/proc/loadavg: 0.37 0.15 0.11 5/259 6795
/proc/meminfo: memFree=129272424/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=405316 memory=368340 CPUtime=3.09 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 58169 0 0 0 265 44 0 0 20 0 1 0 674746 415043584 92085 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 101329 92085 1703 992 0 93187 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 405316 KiB
Current children cumulated memory: 368340 KiB
[startup+6.30021 s]
/proc/loadavg: 0.66 0.21 0.13 5/259 6795
/proc/meminfo: memFree=129150820/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=417628 memory=373080 CPUtime=6.28 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 58341 0 0 0 581 47 0 0 20 0 1 0 674746 427651072 93270 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 104407 93270 1749 992 0 96265 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 417628 KiB
Current children cumulated memory: 373080 KiB
[startup+12.7002 s]
/proc/loadavg: 0.93 0.27 0.15 5/259 6796
/proc/meminfo: memFree=128902068/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=423048 memory=380060 CPUtime=12.66 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 59149 0 0 0 1216 50 0 0 20 0 1 0 674746 433201152 95015 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 105762 95015 1749 992 0 97620 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 423048 KiB
Current children cumulated memory: 380060 KiB
[startup+25.5002 s]
/proc/loadavg: 1.61 0.46 0.21 5/260 6799
/proc/meminfo: memFree=128551160/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=441052 memory=400892 CPUtime=25.43 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 62915 0 0 0 2484 59 0 0 20 0 1 0 674746 451637248 100223 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 110263 100223 1797 992 0 102121 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 441052 KiB
Current children cumulated memory: 400892 KiB
[startup+51.1057 s]
/proc/loadavg: 2.49 0.76 0.32 5/260 6803
/proc/meminfo: memFree=128072976/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=450092 memory=410388 CPUtime=50.97 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 65421 0 0 0 5029 68 0 0 20 0 1 0 674746 460894208 102597 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 112523 102597 1797 992 0 104381 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 450092 KiB
Current children cumulated memory: 410388 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.28 0.52 5/261 6827
/proc/meminfo: memFree=126594540/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=458108 memory=420576 CPUtime=102.04 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 67021 0 0 0 10131 73 0 0 20 0 1 0 674746 469102592 105144 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 114527 105144 1797 992 0 106385 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 458108 KiB
Current children cumulated memory: 420576 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.82 0.76 5/261 6837
/proc/meminfo: memFree=125327652/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=459140 memory=421348 CPUtime=161.9 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 67282 0 0 0 16094 96 0 0 20 0 1 0 674746 470159360 105337 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 114785 105337 1797 992 0 106643 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 459140 KiB
Current children cumulated memory: 421348 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.25 0.97 5/261 6848
/proc/meminfo: memFree=124564128/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=459140 memory=421348 CPUtime=221.75 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 67336 0 0 0 22075 100 0 0 20 0 1 0 674746 470159360 105337 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 114785 105337 1797 992 0 106643 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 459140 KiB
Current children cumulated memory: 421348 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 2.60 1.18 5/259 6859
/proc/meminfo: memFree=123515308/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=459140 memory=421368 CPUtime=281.6 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 67402 0 0 0 28053 107 0 0 20 0 1 0 674746 470159360 105342 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 114785 105342 1797 992 0 106643 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 459140 KiB
Current children cumulated memory: 421368 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.88 1.36 5/260 6870
/proc/meminfo: memFree=122987740/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=461500 memory=428692 CPUtime=341.44 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 67761 0 0 0 34018 126 0 0 20 0 1 0 674746 472576000 107173 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 115375 107173 1797 992 0 107233 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 461500 KiB
Current children cumulated memory: 428692 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.10 1.53 5/258 6882
/proc/meminfo: memFree=122537088/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=461500 memory=428768 CPUtime=401.3 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 67830 0 0 0 39985 145 0 0 20 0 1 0 674746 472576000 107192 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 115375 107192 1797 992 0 107233 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 461500 KiB
Current children cumulated memory: 428768 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.28 1.70 5/258 6892
/proc/meminfo: memFree=121894420/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=461500 memory=428828 CPUtime=461.12 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 67886 0 0 0 45953 159 0 0 20 0 1 0 674746 472576000 107207 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 115375 107207 1797 992 0 107233 0
################
# More data... #
################
/proc/loadavg: 4.10 4.11 3.65 5/262 7773
/proc/meminfo: memFree=111204552/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=1897.56 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 78612 0 0 0 189303 453 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 1897.56 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+1962.3 s]
/proc/loadavg: 4.08 4.10 3.68 5/262 7784
/proc/meminfo: memFree=110603732/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=1957.38 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 78767 0 0 0 195271 467 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 1957.38 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2022.3 s]
/proc/loadavg: 4.31 4.15 3.73 5/260 7794
/proc/meminfo: memFree=110375972/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2017.22 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 78904 0 0 0 201250 472 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2017.22 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2082.3 s]
/proc/loadavg: 4.16 4.13 3.75 5/259 7805
/proc/meminfo: memFree=110164208/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2077.06 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79042 0 0 0 207230 476 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2077.06 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2142.3 s]
/proc/loadavg: 4.39 4.19 3.80 6/259 7815
/proc/meminfo: memFree=109785596/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2136.89 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79267 0 0 0 213197 492 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2136.89 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2202.3 s]
/proc/loadavg: 4.34 4.22 3.84 5/259 7826
/proc/meminfo: memFree=109501460/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2196.73 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79491 0 0 0 219165 508 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2196.73 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2262.3 s]
/proc/loadavg: 4.18 4.20 3.85 5/258 7836
/proc/meminfo: memFree=109163236/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2256.57 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79646 0 0 0 225137 520 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2256.57 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2322.3 s]
/proc/loadavg: 4.17 4.19 3.87 5/259 7849
/proc/meminfo: memFree=108529848/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2316.4 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79788 0 0 0 231117 523 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2316.4 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2382.3 s]
/proc/loadavg: 4.16 4.18 3.90 5/260 7861
/proc/meminfo: memFree=107930496/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2376.23 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79930 0 0 0 237096 527 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2376.23 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2394.86 s]
# the end of solver process 6794 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2383.44 s, system=5.31591 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2387.2 s]
/proc/loadavg: 4.15 4.18 3.90 5/260 7861
/proc/meminfo: memFree=107897092/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2381.13 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79931 0 0 0 237585 528 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2381.13 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2390.4 s]
/proc/loadavg: 4.14 4.18 3.90 5/260 7862
/proc/meminfo: memFree=107892120/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2384.31 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79931 0 0 0 237903 528 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2384.31 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2392 s]*
/proc/loadavg: 4.14 4.18 3.90 5/260 7862
/proc/meminfo: memFree=107880856/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2385.91 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79992 0 0 0 238062 529 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2385.91 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2393.6 s]
/proc/loadavg: 4.14 4.18 3.90 5/260 7862
/proc/meminfo: memFree=107874372/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2387.5 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79992 0 0 0 238220 530 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2387.5 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2394.4 s]
/proc/loadavg: 4.14 4.18 3.90 5/260 7862
/proc/meminfo: memFree=107868108/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2388.3 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79992 0 0 0 238300 530 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2388.3 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
[startup+2394.8 s]
/proc/loadavg: 4.14 4.18 3.90 5/260 7862
/proc/meminfo: memFree=107868108/131524600 swapFree=131071996/131071996
[pid=6794] ppid=6791 vsize=643672 memory=590596 CPUtime=2388.7 cores=4,6
/proc/6794/stat : 6794 (roundingsat) R 6791 6794 6624 0 -1 4194304 79992 0 0 0 238339 531 0 0 20 0 1 0 674746 659120128 147649 134679101440 4194304 8255733 140727011969488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38916096 140727011976030 140727011976292 140727011976292 140727011983305 0
/proc/6794/statm: 160918 147649 1797 992 0 152776 0
Current children cumulated CPU time: 2388.7 s
Current children cumulated vsize: 643672 KiB
Current children cumulated memory: 590596 KiB
Child status: 0
Real time (s): 2394.86
CPU time (s): 2388.76
CPU user time (s): 2383.44
CPU system time (s): 5.31591
CPU usage (%): 99.7452
Max. virtual memory (cumulated for all children) (KiB): 643672
Max. memory (cumulated for all children) (KiB): 590596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2383.44
system time used= 5.31591
maximum resident set size= 590596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 156
involuntary context switches= 1429
# summary of solver processes directly reported to runsolver:
# pid: 6794
# total CPU time (s): 2388.76
# total CPU user time (s): 2383.44
# total CPU system time (s): 5.31591
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46309 second user time and 11.4483 second system time
The end
Begin job on nodeC020 at 2024-07-30 13:59:28
IDJOB=4463000
IDBENCH=147705
IDSOLVER=3089
FILE ID=nodeC020/4463000-1722340768
RUNJOBID= nodeC020-1722340763-6636
SLURM_JOB_ID= 8248993
Free space on /tmp= 890048 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.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-4463000-1722340768/watcher-4463000-1722340768 -o /tmp/evaluation-result-4463000-1722340768/solver-4463000-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6636 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463000-1722340768 --lp-cut-gomory=0 HOME/instance-4463000-1722340768.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 911cf7319fa5fa56cdd8e7a94536c536
RANDOM SEED=1429832398
nodeC020.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.410
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 : 7000.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.813
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 : 7007.00
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 : 3608.287
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 : 7000.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.951
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 : 7007.00
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 : 3671.138
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 : 7000.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.879
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 : 7007.00
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 : 3649.193
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 : 7000.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.425
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129773800 kB
MemAvailable: 129697440 kB
Buffers: 44768 kB
Cached: 716396 kB
SwapCached: 0 kB
Active: 139680 kB
Inactive: 1139372 kB
Active(anon): 1616 kB
Inactive(anon): 537368 kB
Active(file): 138064 kB
Inactive(file): 602004 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 385916 kB
Writeback: 68 kB
AnonPages: 515680 kB
Mapped: 98244 kB
Shmem: 21336 kB
KReclaimable: 46440 kB
Slab: 133688 kB
SReclaimable: 46440 kB
SUnreclaim: 87248 kB
KernelStack: 4184 kB
PageTables: 10148 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 849856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 193236 kB
DirectMap2M: 10065920 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC020 at 2024-07-30 14:39:23