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 (51203 MiB free)
memory of node 1: 64473 MiB (54139 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460583-1722064876/watcher-4460583-1722064876 -o /tmp/evaluation-result-4460583-1722064876/solver-4460583-1722064876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722064836-364083 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460583-1722064876 --lp-cut-gomory=0 HOME/instance-4460583-1722064876.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=364295, runsolver pid=364292
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 2.00 0.58 0.26 5/258 364296
/proc/meminfo: memFree=107845796/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=68156 memory=37368 CPUtime=0.09 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 9747 0 0 0 8 1 0 0 20 0 1 0 43015890 69791744 9342 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 17039 9342 1663 992 0 8897 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68156 KiB
Current children cumulated memory: 37368 KiB
[startup+0.205729 s]*
/proc/loadavg: 2.00 0.58 0.26 5/258 364296
/proc/meminfo: memFree=107839332/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=65608 memory=35304 CPUtime=0.19 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 10367 0 0 0 18 1 0 0 20 0 1 0 43015890 67182592 8826 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 16402 8826 1663 992 0 8260 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65608 KiB
Current children cumulated memory: 35304 KiB
[startup+0.305592 s]*
/proc/loadavg: 2.00 0.58 0.26 5/258 364296
/proc/meminfo: memFree=107838520/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=65896 memory=35744 CPUtime=0.3 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 10439 0 0 0 28 2 0 0 20 0 1 0 43015890 67477504 8936 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 16474 8936 1711 992 0 8332 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65896 KiB
Current children cumulated memory: 35744 KiB
[startup+0.700159 s]
/proc/loadavg: 2.00 0.58 0.26 5/258 364296
/proc/meminfo: memFree=107837016/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=66548 memory=36264 CPUtime=0.68 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 10604 0 0 0 66 2 0 0 20 0 1 0 43015890 68145152 9066 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 16637 9066 1711 992 0 8495 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66548 KiB
Current children cumulated memory: 36264 KiB
[startup+1.50016 s]
/proc/loadavg: 2.00 0.58 0.26 7/258 364296
/proc/meminfo: memFree=107828340/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=66548 memory=36264 CPUtime=1.48 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 10604 0 0 0 146 2 0 0 20 0 1 0 43015890 68145152 9066 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 16637 9066 1711 992 0 8495 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66548 KiB
Current children cumulated memory: 36264 KiB
[startup+3.10552 s]
/proc/loadavg: 2.16 0.64 0.28 7/258 364296
/proc/meminfo: memFree=107737352/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=98452 memory=70568 CPUtime=3.08 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 16541 0 0 0 296 12 0 0 20 0 1 0 43015890 100814848 17642 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 24613 17642 1758 992 0 16471 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 98452 KiB
Current children cumulated memory: 70568 KiB
[startup+6.30019 s]
/proc/loadavg: 2.16 0.64 0.28 6/258 364296
/proc/meminfo: memFree=107648360/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=98884 memory=70568 CPUtime=6.27 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 16600 0 0 0 611 16 0 0 20 0 1 0 43015890 101257216 17642 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 24721 17642 1758 992 0 16579 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 98884 KiB
Current children cumulated memory: 70568 KiB
[startup+12.7001 s]
/proc/loadavg: 2.31 0.69 0.30 6/258 364297
/proc/meminfo: memFree=107446268/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=122776 memory=91156 CPUtime=12.66 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 20149 0 0 0 1231 35 0 0 20 0 1 0 43015890 125722624 22789 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 30694 22789 1821 992 0 22552 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 122776 KiB
Current children cumulated memory: 91156 KiB
[startup+25.5002 s]
/proc/loadavg: 2.75 0.87 0.36 6/258 364300
/proc/meminfo: memFree=106953604/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=153780 memory=117472 CPUtime=25.42 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 23621 0 0 0 2490 52 0 0 20 0 1 0 43015890 157470720 29368 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 38445 29368 1853 992 0 30303 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 153780 KiB
Current children cumulated memory: 117472 KiB
[startup+51.1056 s]
/proc/loadavg: 3.23 1.14 0.47 6/258 364304
/proc/meminfo: memFree=106061360/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=213044 memory=173104 CPUtime=50.97 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 31395 0 0 0 5001 96 0 0 20 0 1 0 43015890 218157056 43276 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 53261 43276 1853 992 0 45119 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 213044 KiB
Current children cumulated memory: 173104 KiB
[startup+102.3 s]
/proc/loadavg: 3.79 1.61 0.66 6/255 364400
/proc/meminfo: memFree=105874792/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=229596 memory=192612 CPUtime=102.05 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 35323 0 0 0 10023 182 0 0 20 0 1 0 43015890 235106304 48153 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 57399 48153 1853 992 0 49257 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 229596 KiB
Current children cumulated memory: 192612 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.08 0.89 6/258 364416
/proc/meminfo: memFree=104535112/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=308764 memory=257848 CPUtime=161.9 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 42928 0 0 0 15921 269 0 0 20 0 1 0 43015890 316174336 64462 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 77191 64462 1853 992 0 69049 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 308764 KiB
Current children cumulated memory: 257848 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.43 1.08 6/258 364426
/proc/meminfo: memFree=103619608/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=329280 memory=277356 CPUtime=221.76 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 47837 0 0 0 21799 377 0 0 20 0 1 0 43015890 337182720 69339 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 82320 69339 1853 992 0 74178 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 329280 KiB
Current children cumulated memory: 277356 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.75 1.28 6/259 364822
/proc/meminfo: memFree=102824900/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=415496 memory=319164 CPUtime=281.62 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 49606 0 0 0 27748 414 0 0 20 0 1 0 43015890 425467904 79791 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 103874 79791 1853 992 0 95732 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 415496 KiB
Current children cumulated memory: 319164 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.00 1.46 6/257 364833
/proc/meminfo: memFree=102066172/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=435504 memory=392460 CPUtime=341.48 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 55349 0 0 0 33691 457 0 0 20 0 1 0 43015890 445956096 98115 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 108876 98115 1853 992 0 100734 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 435504 KiB
Current children cumulated memory: 392460 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.20 1.62 7/257 364843
/proc/meminfo: memFree=101062300/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=583472 memory=426392 CPUtime=401.34 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 59933 0 0 0 39604 530 0 0 20 0 1 0 43015890 597475328 106598 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 145868 106598 1853 992 0 137726 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 583472 KiB
Current children cumulated memory: 426392 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 3.39 1.79 6/257 365021
/proc/meminfo: memFree=100219584/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=585440 memory=428164 CPUtime=461.19 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 60430 0 0 0 45515 604 0 0 20 0 1 0 43015890 599490560 107041 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 146360 107041 1853 992 0 138218 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.00 6/258 366135
/proc/meminfo: memFree=72281952/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3093.61 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 164440 0 0 0 306764 2597 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.01 6/257 366147
/proc/meminfo: memFree=71765648/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3153.5 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 164521 0 0 0 312750 2600 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.01 6/258 366158
/proc/meminfo: memFree=71428204/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3213.38 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 164646 0 0 0 318735 2603 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.00 6/257 366169
/proc/meminfo: memFree=71061648/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3273.25 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 164722 0 0 0 324720 2605 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.01 6/257 366181
/proc/meminfo: memFree=70867980/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3333.14 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 164797 0 0 0 330704 2610 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.01 6/257 366191
/proc/meminfo: memFree=70574764/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3393.02 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 164875 0 0 0 336688 2614 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.02 6/256 366201
/proc/meminfo: memFree=69973664/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3452.91 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 164938 0 0 0 342673 2618 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/256 366211
/proc/meminfo: memFree=69596488/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3512.79 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 165050 0 0 0 348658 2621 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.11 4.02 4/247 366266
/proc/meminfo: memFree=80985344/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3572.67 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 165120 0 0 0 354642 2625 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.15 4.11 4.02 5/256 366324
/proc/meminfo: memFree=95519600/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3600.02 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 165179 0 0 0 357375 2627 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.66 s]
# the end of solver process 364295 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.75 s, system=26.2786 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.15 4.11 4.02 5/256 366324
/proc/meminfo: memFree=95487456/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3600.72 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 165179 0 0 0 357445 2627 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3611.2 s]
/proc/loadavg: 4.15 4.11 4.02 5/256 366324
/proc/meminfo: memFree=95461164/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3601.52 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 165179 0 0 0 357525 2627 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3611.6 s]
/proc/loadavg: 4.15 4.11 4.02 5/256 366324
/proc/meminfo: memFree=95461164/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3601.92 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 165179 0 0 0 357565 2627 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
[startup+3611.7 s]
/proc/loadavg: 4.15 4.11 4.02 5/256 366324
/proc/meminfo: memFree=95461164/131524600 swapFree=131063756/131071996
[pid=364295] ppid=364292 vsize=1520140 memory=1283976 CPUtime=3602.02 cores=1,3
/proc/364295/stat : 364295 (roundingsat) R 364292 364295 364071 0 -1 4194304 165179 0 0 0 357575 2627 0 0 20 0 1 0 43015890 1556623360 320994 134679101440 4194304 8254357 140734968730480 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34848768 140734968738655 140734968738917 140734968738917 140734968745929 0
/proc/364295/statm: 380035 320994 1853 992 0 371893 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283976 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.66
CPU time (s): 3602.03
CPU user time (s): 3575.75
CPU system time (s): 26.2786
CPU usage (%): 99.6507
Max. virtual memory (cumulated for all children) (KiB): 1520140
Max. memory (cumulated for all children) (KiB): 1283976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.75
system time used= 26.2786
maximum resident set size= 1283976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25778192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148
involuntary context switches= 3914
# summary of solver processes directly reported to runsolver:
# pid: 364295
# total CPU time (s): 3602.03
# total CPU user time (s): 3575.75
# total CPU system time (s): 26.2786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9049 second user time and 17.0223 second system time
The end
Begin job on nodeC027 at 2024-07-27 09:21:16
IDJOB=4460583
IDBENCH=147859
IDSOLVER=3086
FILE ID=nodeC027/4460583-1722064876
RUNJOBID= nodeC027-1722064836-364083
SLURM_JOB_ID= 8248095
Free space on /tmp= 890060 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.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-4460583-1722064876/watcher-4460583-1722064876 -o /tmp/evaluation-result-4460583-1722064876/solver-4460583-1722064876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722064836-364083 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460583-1722064876 --lp-cut-gomory=0 HOME/instance-4460583-1722064876.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=1994572972
nodeC027.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 : 3671.889
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.74
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 : 3654.584
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.65
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.151
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.74
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 : 3667.873
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.65
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.865
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.74
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 : 3667.642
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.65
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.232
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.74
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 : 3622.450
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.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 107872768 kB
MemAvailable: 129087452 kB
Buffers: 357184 kB
Cached: 21538564 kB
SwapCached: 472 kB
Active: 2684572 kB
Inactive: 20028324 kB
Active(anon): 1704 kB
Inactive(anon): 868980 kB
Active(file): 2682868 kB
Inactive(file): 19159344 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 1210628 kB
Writeback: 20 kB
AnonPages: 816620 kB
Mapped: 127740 kB
Shmem: 53416 kB
KReclaimable: 424588 kB
Slab: 587632 kB
SReclaimable: 424588 kB
SUnreclaim: 163044 kB
KernelStack: 4176 kB
PageTables: 11064 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1271368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 266240 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: 359124 kB
DirectMap2M: 40308736 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC027 at 2024-07-27 10:21:31