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 (58712 MiB free)
memory of node 1: 64473 MiB (59764 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460911-1722072241/watcher-4460911-1722072241 -o /tmp/evaluation-result-4460911-1722072241/solver-4460911-1722072241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369843 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460911-1722072241 --lp-cut-gomory=0 HOME/instance-4460911-1722072241.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
Current StackSize limit: 8192 KiB
solver pid=374531, runsolver pid=374528
[startup+0.100549 s]*
/proc/loadavg: 4.23 4.21 4.14 5/268 374532
/proc/meminfo: memFree=121301608/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=52980 memory=22712 CPUtime=0.1 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 5386 0 0 0 8 2 0 0 20 0 1 0 43746992 54251520 5678 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 13245 5678 1663 992 0 5103 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52980 KiB
Current children cumulated memory: 22712 KiB
[startup+0.205722 s]*
/proc/loadavg: 4.23 4.21 4.14 5/268 374532
/proc/meminfo: memFree=121298920/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=54504 memory=24388 CPUtime=0.2 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 5709 0 0 0 17 3 0 0 20 0 1 0 43746992 55812096 6097 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 13626 6097 1759 992 0 5484 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54504 KiB
Current children cumulated memory: 24388 KiB
[startup+0.305667 s]*
/proc/loadavg: 4.23 4.21 4.14 5/268 374532
/proc/meminfo: memFree=121291188/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=57068 memory=27180 CPUtime=0.29 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 6340 0 0 0 26 3 0 0 20 0 1 0 43746992 58437632 6795 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 14267 6795 1870 992 0 6125 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57068 KiB
Current children cumulated memory: 27180 KiB
[startup+0.700213 s]
/proc/loadavg: 4.23 4.21 4.14 5/268 374532
/proc/meminfo: memFree=121284128/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=57976 memory=30812 CPUtime=0.69 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 6728 0 0 0 65 4 0 0 20 0 1 0 43746992 59367424 7703 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 14494 7703 1870 992 0 6352 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57976 KiB
Current children cumulated memory: 30812 KiB
[startup+1.50021 s]
/proc/loadavg: 4.23 4.21 4.14 5/268 374532
/proc/meminfo: memFree=121272764/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=61056 memory=33976 CPUtime=1.48 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 7521 0 0 0 144 4 0 0 20 0 1 0 43746992 62521344 8494 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 15264 8494 1870 992 0 7122 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61056 KiB
Current children cumulated memory: 33976 KiB
[startup+3.10573 s]
/proc/loadavg: 4.21 4.20 4.14 5/268 374532
/proc/meminfo: memFree=121191284/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=68640 memory=41312 CPUtime=3.09 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 8838 0 0 0 303 6 0 0 20 0 1 0 43746992 70287360 10328 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 17160 10328 1870 992 0 9018 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68640 KiB
Current children cumulated memory: 41312 KiB
[startup+6.30021 s]
/proc/loadavg: 4.21 4.20 4.14 5/268 374533
/proc/meminfo: memFree=121020528/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=117736 memory=84360 CPUtime=6.27 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 16564 0 0 0 618 9 0 0 20 0 1 0 43746992 120561664 21090 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 29434 21090 1870 992 0 21292 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117736 KiB
Current children cumulated memory: 84360 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.20 4.13 5/269 374534
/proc/meminfo: memFree=120815028/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=141888 memory=102196 CPUtime=12.65 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 18454 0 0 0 1248 17 0 0 20 0 1 0 43746992 145293312 25549 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 35472 25549 1870 992 0 27330 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 141888 KiB
Current children cumulated memory: 102196 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.20 4.14 5/269 374536
/proc/meminfo: memFree=120331452/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=147424 memory=109500 CPUtime=25.43 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 19774 0 0 0 2517 26 0 0 20 0 1 0 43746992 150962176 27375 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 36856 27375 1870 992 0 28714 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 147424 KiB
Current children cumulated memory: 109500 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.19 4.13 5/269 374541
/proc/meminfo: memFree=119207680/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=149420 memory=110460 CPUtime=50.98 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 20052 0 0 0 5062 36 0 0 20 0 1 0 43746992 153006080 27615 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 37355 27615 1870 992 0 29213 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 149420 KiB
Current children cumulated memory: 110460 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/271 374934
/proc/meminfo: memFree=117643180/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=213272 memory=156192 CPUtime=102.05 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 28927 0 0 0 10143 62 0 0 20 0 1 0 43746992 218390528 39048 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 53318 39048 1870 992 0 45176 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 213272 KiB
Current children cumulated memory: 156192 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/270 374991
/proc/meminfo: memFree=117920080/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=221216 memory=166024 CPUtime=161.92 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 30872 0 0 0 16103 89 0 0 20 0 1 0 43746992 226525184 41506 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 55304 41506 1870 992 0 47162 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 221216 KiB
Current children cumulated memory: 166024 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/273 375005
/proc/meminfo: memFree=116535256/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=223160 memory=167608 CPUtime=221.79 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 31327 0 0 0 22059 120 0 0 20 0 1 0 43746992 228515840 41902 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 55790 41902 1870 992 0 47648 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 167608 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/273 375015
/proc/meminfo: memFree=114734400/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=223160 memory=167872 CPUtime=281.65 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 31356 0 0 0 28015 150 0 0 20 0 1 0 43746992 228515840 41968 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 55790 41968 1870 992 0 47648 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 167872 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/272 375193
/proc/meminfo: memFree=113279908/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=223160 memory=167872 CPUtime=341.53 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 31381 0 0 0 33983 170 0 0 20 0 1 0 43746992 228515840 41968 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 55790 41968 1870 992 0 47648 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 167872 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/273 375262
/proc/meminfo: memFree=111908796/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=223160 memory=167872 CPUtime=401.38 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 31381 0 0 0 39951 187 0 0 20 0 1 0 43746992 228515840 41968 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 55790 41968 1870 992 0 47648 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 167872 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/272 375272
/proc/meminfo: memFree=110259252/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=223160 memory=167872 CPUtime=461.25 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 31386 0 0 0 45918 207 0 0 20 0 1 0 43746992 228515840 41968 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 55790 41968 1870 992 0 47648 0
################
# More data... #
################
Current children cumulated memory: 259116 KiB
[startup+1182.3 s]
/proc/loadavg: 4.22 4.21 4.13 5/271 375414
/proc/meminfo: memFree=93603808/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=324368 memory=259116 CPUtime=1179.54 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 43595 0 0 0 117430 524 0 0 20 0 1 0 43746992 332152832 64779 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 81092 64779 1870 992 0 72950 0
Current children cumulated CPU time: 1179.54 s
Current children cumulated vsize: 324368 KiB
Current children cumulated memory: 259116 KiB
[startup+1242.3 s]
/proc/loadavg: 4.19 4.20 4.13 5/273 375428
/proc/meminfo: memFree=91944520/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=428204 memory=318948 CPUtime=1239.39 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 50451 0 0 0 123381 558 0 0 20 0 1 0 43746992 438480896 79737 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 107051 79737 1870 992 0 98909 0
Current children cumulated CPU time: 1239.39 s
Current children cumulated vsize: 428204 KiB
Current children cumulated memory: 318948 KiB
[startup+1302.3 s]
/proc/loadavg: 4.11 4.18 4.13 7/272 375438
/proc/meminfo: memFree=90535144/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=428204 memory=318948 CPUtime=1299.26 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 50461 0 0 0 129343 583 0 0 20 0 1 0 43746992 438480896 79737 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 107051 79737 1870 992 0 98909 0
Current children cumulated CPU time: 1299.26 s
Current children cumulated vsize: 428204 KiB
Current children cumulated memory: 318948 KiB
[startup+1362.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/272 375448
/proc/meminfo: memFree=88809448/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=428540 memory=319212 CPUtime=1359.12 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 50544 0 0 0 135306 606 0 0 20 0 1 0 43746992 438824960 79803 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 107135 79803 1870 992 0 98993 0
Current children cumulated CPU time: 1359.12 s
Current children cumulated vsize: 428540 KiB
Current children cumulated memory: 319212 KiB
[startup+1422.3 s]
/proc/loadavg: 4.53 4.27 4.16 5/272 375459
/proc/meminfo: memFree=87128544/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=431084 memory=321840 CPUtime=1418.97 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 51184 0 0 0 141264 633 0 0 20 0 1 0 43746992 441430016 80460 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 107771 80460 1870 992 0 99629 0
Current children cumulated CPU time: 1418.97 s
Current children cumulated vsize: 431084 KiB
Current children cumulated memory: 321840 KiB
[startup+1482.3 s]
/proc/loadavg: 4.40 4.28 4.17 5/272 375469
/proc/meminfo: memFree=85765280/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=431084 memory=321840 CPUtime=1478.83 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 51184 0 0 0 147220 663 0 0 20 0 1 0 43746992 441430016 80460 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 107771 80460 1870 992 0 99629 0
Current children cumulated CPU time: 1478.83 s
Current children cumulated vsize: 431084 KiB
Current children cumulated memory: 321840 KiB
[startup+1542.3 s]
/proc/loadavg: 4.28 4.26 4.17 5/270 375480
/proc/meminfo: memFree=84031800/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=433944 memory=341052 CPUtime=1538.68 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 51923 0 0 0 153165 703 0 0 20 0 1 0 43746992 444358656 85263 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 108486 85263 1870 992 0 100344 0
Current children cumulated CPU time: 1538.68 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 341052 KiB
[startup+1602.3 s]
/proc/loadavg: 4.34 4.30 4.19 5/272 375498
/proc/meminfo: memFree=82263708/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=433944 memory=341052 CPUtime=1598.54 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 51926 0 0 0 159113 741 0 0 20 0 1 0 43746992 444358656 85263 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 108486 85263 1870 992 0 100344 0
Current children cumulated CPU time: 1598.54 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 341052 KiB
[startup+1629.81 s]
# the end of solver process 374531 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1617.88 s, system=7.68688 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1612.8 s]
/proc/loadavg: 4.37 4.30 4.20 5/272 375499
/proc/meminfo: memFree=81924312/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=433944 memory=341296 CPUtime=1609.01 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 51937 0 0 0 160154 747 0 0 20 0 1 0 43746992 444358656 85324 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 108486 85324 1870 992 0 100344 0
Current children cumulated CPU time: 1609.01 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 341296 KiB
[startup+1619.2 s]
/proc/loadavg: 4.31 4.29 4.19 5/272 375501
/proc/meminfo: memFree=81682728/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=442716 memory=351404 CPUtime=1615.4 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 53498 0 0 0 160788 752 0 0 20 0 1 0 43746992 453341184 87851 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 110679 87851 1870 992 0 102537 0
Current children cumulated CPU time: 1615.4 s
Current children cumulated vsize: 442716 KiB
Current children cumulated memory: 351404 KiB
[startup+1625.6 s]
/proc/loadavg: 4.28 4.29 4.19 5/272 375501
/proc/meminfo: memFree=81448988/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=467588 memory=378128 CPUtime=1621.77 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 58611 0 0 0 161421 756 0 0 20 0 1 0 43746992 478810112 94532 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 116897 94532 1870 992 0 108755 0
Current children cumulated CPU time: 1621.77 s
Current children cumulated vsize: 467588 KiB
Current children cumulated memory: 378128 KiB
[startup+1627.2 s]
/proc/loadavg: 4.28 4.29 4.19 5/272 375502
/proc/meminfo: memFree=81376964/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=468960 memory=381492 CPUtime=1623.37 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 58982 0 0 0 161580 757 0 0 20 0 1 0 43746992 480215040 95373 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 117240 95373 1870 992 0 109098 0
Current children cumulated CPU time: 1623.37 s
Current children cumulated vsize: 468960 KiB
Current children cumulated memory: 381492 KiB
[startup+1628.8 s]
/proc/loadavg: 4.26 4.28 4.19 5/272 375502
/proc/meminfo: memFree=81352268/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=469428 memory=382020 CPUtime=1624.97 cores=1,3
/proc/374531/stat : 374531 (roundingsat) R 374528 374531 369827 0 -1 4194304 59097 0 0 0 161738 759 0 0 20 0 1 0 43746992 480694272 95505 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 117357 95505 1870 992 0 109215 0
Current children cumulated CPU time: 1624.97 s
Current children cumulated vsize: 469428 KiB
Current children cumulated memory: 382020 KiB
[startup+1629.6 s]
/proc/loadavg: 4.26 4.28 4.19 5/272 375502
/proc/meminfo: memFree=81336508/131524600 swapFree=131056028/131071996
[pid=374531] ppid=374528 vsize=470592 memory=382812 CPUtime=1625.52 cores=1,3
/proc/374531/stat : 374531 (roundingsat) D 374528 374531 369827 0 -1 4194304 59312 0 0 0 161787 765 0 0 20 0 1 0 43746992 481886208 95703 134679101440 4194304 8254357 140730602390688 0 0 0 0 0 25182210 0 0 0 17 1 0 0 44 0 0 9037040 9046032 16936960 140730602394459 140730602394721 140730602394721 140730602401737 0
/proc/374531/statm: 117648 95703 1870 992 0 109506 0
Current children cumulated CPU time: 1625.52 s
Current children cumulated vsize: 470592 KiB
Current children cumulated memory: 382812 KiB
[startup+1629.8 s]*
/proc/loadavg: 4.26 4.28 4.19 5/273 375503
/proc/meminfo: memFree=81642480/131524600 swapFree=131056028/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1629.81
CPU time (s): 1625.57
CPU user time (s): 1617.88
CPU system time (s): 7.68688
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 470592
Max. memory (cumulated for all children) (KiB): 382812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1617.88
system time used= 7.68688
maximum resident set size= 382812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24331208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7922
involuntary context switches= 2202
# summary of solver processes directly reported to runsolver:
# pid: 374531
# total CPU time (s): 1625.57
# total CPU user time (s): 1617.88
# total CPU system time (s): 7.68688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.71666 second user time and 8.14663 second system time
The end
Begin job on nodeC015 at 2024-07-27 11:24:01
IDJOB=4460911
IDBENCH=164182
IDSOLVER=3086
FILE ID=nodeC015/4460911-1722072241
RUNJOBID= nodeC015-1722064836-369843
SLURM_JOB_ID= 8248085
Free space on /tmp= 890032 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-tanglegram6.0.u.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460911-1722072241/watcher-4460911-1722072241 -o /tmp/evaluation-result-4460911-1722072241/solver-4460911-1722072241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369843 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460911-1722072241 --lp-cut-gomory=0 HOME/instance-4460911-1722072241.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4833b4bfdaca602656a4e797e1582c4
RANDOM SEED=40065274
nodeC015.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 : 3668.864
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.37
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 : 3663.415
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.17
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 : 3599.966
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.37
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 : 3662.163
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.17
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 : 3668.861
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.37
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 : 3670.122
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.17
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.014
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.37
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 : 3620.815
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.17
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121323772 kB
MemAvailable: 125733356 kB
Buffers: 381732 kB
Cached: 4694456 kB
SwapCached: 280 kB
Active: 1319340 kB
Inactive: 7937384 kB
Active(anon): 4540 kB
Inactive(anon): 4228156 kB
Active(file): 1314800 kB
Inactive(file): 3709228 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 386092 kB
Writeback: 0 kB
AnonPages: 4179248 kB
Mapped: 105772 kB
Shmem: 52460 kB
KReclaimable: 446964 kB
Slab: 583912 kB
SReclaimable: 446964 kB
SUnreclaim: 136948 kB
KernelStack: 4284 kB
PageTables: 18132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5016152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1738752 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: 367316 kB
DirectMap2M: 43446272 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC015 at 2024-07-27 11:51:11