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: 64059 MiB (62800 MiB free)
memory of node 1: 64510 MiB (61659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455477-1721460647/watcher-4455477-1721460647 -o /tmp/evaluation-result-4455477-1721460647/solver-4455477-1721460647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046574 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455477-1721460647.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1046625, runsolver pid=1046622
[startup+0.100605 s]*
/proc/loadavg: 3.61 4.07 4.20 5/241 1046626
/proc/meminfo: memFree=127432948/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=38392 memory=8392 CPUtime=0.1 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 539 0 0 0 7 3 0 0 20 0 1 0 198221155 39313408 2098 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 9598 2098 1246 922 0 1550 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38392 KiB
Current children cumulated memory: 8392 KiB
[startup+0.212649 s]*
/proc/loadavg: 3.61 4.07 4.20 5/241 1046626
/proc/meminfo: memFree=127426196/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=39180 memory=9232 CPUtime=0.21 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 744 0 0 0 16 5 0 0 20 0 1 0 198221155 40120320 2308 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 9795 2308 1246 922 0 1747 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39180 KiB
Current children cumulated memory: 9232 KiB
[startup+0.312078 s]*
/proc/loadavg: 3.61 4.07 4.20 5/241 1046626
/proc/meminfo: memFree=127418268/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=40228 memory=12312 CPUtime=0.31 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 1052 0 0 0 24 7 0 0 20 0 1 0 198221155 41193472 3078 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 10057 3078 1246 922 0 2009 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40228 KiB
Current children cumulated memory: 12312 KiB
[startup+0.700258 s]
/proc/loadavg: 3.61 4.07 4.20 5/241 1046626
/proc/meminfo: memFree=127402532/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=49596 memory=20620 CPUtime=0.68 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 2779 0 0 0 52 16 0 0 20 0 1 0 198221155 50786304 5155 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 12399 5155 1246 922 0 4351 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49596 KiB
Current children cumulated memory: 20620 KiB
[startup+1.5003 s]
/proc/loadavg: 3.61 4.07 4.20 5/245 1046637
/proc/meminfo: memFree=127269956/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=76604 memory=40728 CPUtime=1.48 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 6002 0 0 0 110 38 0 0 20 0 1 0 198221155 78442496 10182 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 19151 10182 1246 922 0 11103 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76604 KiB
Current children cumulated memory: 40728 KiB
[startup+3.11322 s]
/proc/loadavg: 3.61 4.07 4.20 5/245 1046637
/proc/meminfo: memFree=126978736/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=322068 memory=287260 CPUtime=3.09 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 50874 0 0 0 255 54 0 0 20 0 1 0 198221155 329797632 71815 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 80517 71815 1580 922 0 72469 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 322068 KiB
Current children cumulated memory: 287260 KiB
[startup+6.30032 s]
/proc/loadavg: 3.64 4.07 4.20 5/245 1046639
/proc/meminfo: memFree=126539844/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=322068 memory=287260 CPUtime=6.26 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 50912 0 0 0 572 54 0 0 20 0 1 0 198221155 329797632 71815 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 80517 71815 1580 922 0 72469 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 322068 KiB
Current children cumulated memory: 287260 KiB
[startup+12.7003 s]
/proc/loadavg: 3.67 4.06 4.19 5/245 1046639
/proc/meminfo: memFree=126532312/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=322068 memory=287644 CPUtime=12.64 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 50988 0 0 0 1209 55 0 0 20 0 1 0 198221155 329797632 71911 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 80517 71911 1676 922 0 72469 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 322068 KiB
Current children cumulated memory: 287644 KiB
[startup+25.5004 s]
/proc/loadavg: 3.74 4.06 4.19 5/243 1046656
/proc/meminfo: memFree=126980136/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=322068 memory=289924 CPUtime=25.38 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 51076 0 0 0 2481 57 0 0 20 0 1 0 198221155 329797632 72481 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 80517 72481 1723 922 0 72469 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 322068 KiB
Current children cumulated memory: 289924 KiB
[startup+51.1131 s]
/proc/loadavg: 3.96 4.09 4.19 5/244 1046829
/proc/meminfo: memFree=127007780/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=322068 memory=289924 CPUtime=50.9 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 51228 0 0 0 5031 59 0 0 20 0 1 0 198221155 329797632 72481 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 80517 72481 1723 922 0 72469 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 322068 KiB
Current children cumulated memory: 289924 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.18 5/245 1046838
/proc/meminfo: memFree=126941916/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=364192 memory=332168 CPUtime=101.92 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 52721 0 0 0 10131 61 0 0 20 0 1 0 198221155 372932608 83042 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 91048 83042 1723 922 0 83000 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 364192 KiB
Current children cumulated memory: 332168 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.18 5/245 1046848
/proc/meminfo: memFree=126904968/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=380840 memory=348996 CPUtime=161.72 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 57034 0 0 0 16108 64 0 0 20 0 1 0 198221155 389980160 87249 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 95210 87249 1723 922 0 87162 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 380840 KiB
Current children cumulated memory: 348996 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.18 5/244 1046859
/proc/meminfo: memFree=126884476/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=381632 memory=349848 CPUtime=221.52 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 57343 0 0 0 22086 66 0 0 20 0 1 0 198221155 390791168 87462 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 95408 87462 1723 922 0 87360 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 381632 KiB
Current children cumulated memory: 349848 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.17 5/244 1046870
/proc/meminfo: memFree=126853080/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=389944 memory=362468 CPUtime=281.33 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 68593 0 0 0 28060 73 0 0 20 0 1 0 198221155 399302656 90617 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 97486 90617 1781 922 0 89438 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 389944 KiB
Current children cumulated memory: 362468 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.17 5/242 1046880
/proc/meminfo: memFree=126842772/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=389944 memory=362492 CPUtime=341.1 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 68682 0 0 0 34035 75 0 0 20 0 1 0 198221155 399302656 90623 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 97486 90623 1781 922 0 89438 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 389944 KiB
Current children cumulated memory: 362492 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.11 4.17 5/242 1046891
/proc/meminfo: memFree=126835472/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=389944 memory=362492 CPUtime=400.87 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 68770 0 0 0 40010 77 0 0 20 0 1 0 198221155 399302656 90623 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 97486 90623 1781 922 0 89438 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 389944 KiB
Current children cumulated memory: 362492 KiB
[startup+462.3 s]
/proc/loadavg: 4.45 4.20 4.20 5/241 1046901
/proc/meminfo: memFree=126826100/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=389944 memory=362492 CPUtime=460.64 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 68864 0 0 0 45986 78 0 0 20 0 1 0 198221155 399302656 90623 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 97486 90623 1781 922 0 89438 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/244 1047941
/proc/meminfo: memFree=126571292/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3032.13 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 128553 0 0 0 302963 250 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3032.13 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/244 1047952
/proc/meminfo: memFree=126572504/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3091.94 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 128657 0 0 0 308942 252 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3091.94 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/244 1047962
/proc/meminfo: memFree=126570720/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3151.75 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 128811 0 0 0 314921 254 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3151.75 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/244 1047972
/proc/meminfo: memFree=126569984/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3211.55 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 128945 0 0 0 320900 255 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3211.55 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/244 1047983
/proc/meminfo: memFree=126552832/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3271.36 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129065 0 0 0 326878 258 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3271.36 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.14 5/242 1048376
/proc/meminfo: memFree=126552000/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3331.16 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129216 0 0 0 332857 259 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3331.16 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/241 1048386
/proc/meminfo: memFree=126551732/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3390.97 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129339 0 0 0 338836 261 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3390.97 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/241 1048397
/proc/meminfo: memFree=126549096/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3450.77 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129482 0 0 0 344815 262 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3450.77 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.15 4.14 5/243 1048578
/proc/meminfo: memFree=126547456/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3510.58 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129619 0 0 0 350794 264 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3510.58 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.14 6/244 1048591
/proc/meminfo: memFree=126460320/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3570.38 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129742 0 0 0 356773 265 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3570.38 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545656/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3600 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129768 0 0 0 359734 266 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.02 s]
# the end of solver process 1046625 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.34 s, system=2.66628 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545656/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3600.79 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129768 0 0 0 359813 266 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3600.79 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3613.6 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545692/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3601.58 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129768 0 0 0 359892 266 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3601.58 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
[startup+3614 s]*
/proc/loadavg: 4.18 4.15 4.14 5/243 1048702
/proc/meminfo: memFree=126795956/131655788 swapFree=131071996/131071996
[pid=1046625] ppid=1046622 vsize=622088 memory=529012 CPUtime=3601.99 cores=0,2
/proc/1046625/stat : 1046625 (roundingsat) R 1046622 1046625 1046564 0 -1 4194304 129768 0 0 0 359933 266 0 0 20 0 1 0 198221155 637018112 132253 134679101440 4194304 7968373 140721611769392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14524416 140721611772860 140721611773024 140721611773024 140721611780041 0
/proc/1046625/statm: 155522 132253 1797 922 0 147474 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 622088 KiB
Current children cumulated memory: 529012 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.02
CPU time (s): 3602.01
CPU user time (s): 3599.34
CPU system time (s): 2.66628
CPU usage (%): 99.6677
Max. virtual memory (cumulated for all children) (KiB): 622088
Max. memory (cumulated for all children) (KiB): 529012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.34
system time used= 2.66628
maximum resident set size= 529012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 24666
# summary of solver processes directly reported to runsolver:
# pid: 1046625
# total CPU time (s): 3602.01
# total CPU user time (s): 3599.34
# total CPU system time (s): 2.66628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5133 second user time and 36.7124 second system time
The end
Begin job on nodeC008 at 2024-07-20 09:30:59
IDJOB=4455477
IDBENCH=147892
IDSOLVER=3084
FILE ID=nodeC008/4455477-1721460647
RUNJOBID= nodeC008-1721460659-1046574
SLURM_JOB_ID= 7545711
Free space on /tmp= 723720 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455477-1721460647/watcher-4455477-1721460647 -o /tmp/evaluation-result-4455477-1721460647/solver-4455477-1721460647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046574 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455477-1721460647.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=1313913781
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.965
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.257
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.244
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.244
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.302
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.329
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.244
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.242
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127450856 kB
MemAvailable: 129906828 kB
Buffers: 595912 kB
Cached: 2685304 kB
SwapCached: 0 kB
Active: 1124448 kB
Inactive: 2481336 kB
Active(anon): 1380 kB
Inactive(anon): 369076 kB
Active(file): 1123068 kB
Inactive(file): 2112260 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57176 kB
Writeback: 16 kB
AnonPages: 324964 kB
Mapped: 108480 kB
Shmem: 45896 kB
KReclaimable: 121352 kB
Slab: 227504 kB
SReclaimable: 121352 kB
SUnreclaim: 106152 kB
KernelStack: 3868 kB
PageTables: 9600 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 693828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 190464 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: 203592 kB
DirectMap2M: 24866816 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC008 at 2024-07-20 10:31:14