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 (56388 MiB free)
memory of node 1: 64473 MiB (55636 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460744-1722072130/watcher-4460744-1722072130 -o /tmp/evaluation-result-4460744-1722072130/solver-4460744-1722072130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722064836-364613 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460744-1722072130 --lp-cut-gomory=0 HOME/instance-4460744-1722072130.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=369074, runsolver pid=369071
[startup+0.10009 s]*
/proc/loadavg: 4.14 4.13 4.12 5/258 369075
/proc/meminfo: memFree=114684920/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=64232 memory=33300 CPUtime=0.09 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 7705 0 0 0 8 1 0 0 20 0 1 0 43741402 65773568 8325 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 16058 8325 1397 992 0 7916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64232 KiB
Current children cumulated memory: 33300 KiB
[startup+0.205659 s]*
/proc/loadavg: 4.14 4.13 4.12 5/258 369075
/proc/meminfo: memFree=114655708/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=90396 memory=61676 CPUtime=0.19 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 11744 0 0 0 17 2 0 0 20 0 1 0 43741402 92565504 15419 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 22599 15419 1397 992 0 14457 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90396 KiB
Current children cumulated memory: 61676 KiB
[startup+0.305644 s]*
/proc/loadavg: 4.14 4.13 4.12 5/258 369075
/proc/meminfo: memFree=114611216/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=140664 memory=104856 CPUtime=0.29 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 15392 0 0 0 25 4 0 0 20 0 1 0 43741402 144039936 26214 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 35166 26214 1397 992 0 27024 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 140664 KiB
Current children cumulated memory: 104856 KiB
[startup+0.700221 s]
/proc/loadavg: 4.14 4.13 4.12 5/258 369075
/proc/meminfo: memFree=114533228/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=252544 memory=208680 CPUtime=0.68 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 22465 0 0 0 61 7 0 0 20 0 1 0 43741402 258605056 52170 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 63136 52170 1397 992 0 54994 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 252544 KiB
Current children cumulated memory: 208680 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.13 4.12 5/258 369075
/proc/meminfo: memFree=114398432/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=482848 memory=428352 CPUtime=1.48 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 30456 0 0 0 132 16 0 0 20 0 1 0 43741402 494436352 107088 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 120712 107088 1397 992 0 112570 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 482848 KiB
Current children cumulated memory: 428352 KiB
[startup+3.10586 s]
/proc/loadavg: 4.14 4.13 4.12 5/258 369075
/proc/meminfo: memFree=113860060/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=897808 memory=707712 CPUtime=3.09 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 42723 0 0 0 277 32 0 0 20 0 1 0 43741402 919355392 176928 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 224452 176928 1397 992 0 216310 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 897808 KiB
Current children cumulated memory: 707712 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.13 4.12 5/258 369076
/proc/meminfo: memFree=113587484/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=978116 memory=768944 CPUtime=6.27 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 51595 0 0 0 585 42 0 0 20 0 1 0 43741402 1001590784 192236 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 244529 192236 1397 992 0 236387 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 978116 KiB
Current children cumulated memory: 768944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.15 4.12 5/258 369076
/proc/meminfo: memFree=112014656/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=2498680 memory=2203168 CPUtime=12.66 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 124274 0 0 0 1146 120 0 0 20 0 1 0 43741402 2558648320 550792 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 624670 550792 1732 992 0 616528 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2498680 KiB
Current children cumulated memory: 2203168 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.12 5/258 369078
/proc/meminfo: memFree=111631788/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=2771432 memory=2411400 CPUtime=25.43 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 128070 0 0 0 2177 366 0 0 20 0 1 0 43741402 2837946368 602850 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 692858 602850 1764 992 0 684716 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2771432 KiB
Current children cumulated memory: 2411400 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.14 4.12 5/258 369082
/proc/meminfo: memFree=111095320/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=3118616 memory=2625904 CPUtime=50.97 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 129462 0 0 0 4619 478 0 0 20 0 1 0 43741402 3193462784 656476 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 779654 656476 1764 992 0 771512 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3118616 KiB
Current children cumulated memory: 2625904 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/258 369093
/proc/meminfo: memFree=110579608/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=3481856 memory=2904780 CPUtime=102.06 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 132059 0 0 0 9416 790 0 0 20 0 1 0 43741402 3565420544 726195 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 870464 726195 1875 992 0 862322 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 2904780 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/258 369103
/proc/meminfo: memFree=109803612/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=3481856 memory=2939920 CPUtime=161.94 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 133076 0 0 0 14900 1294 0 0 20 0 1 0 43741402 3565420544 734980 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 870464 734980 1875 992 0 862322 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 2939920 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/258 369496
/proc/meminfo: memFree=108693004/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=3481856 memory=3196064 CPUtime=221.8 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 133689 0 0 0 20834 1346 0 0 20 0 1 0 43741402 3565420544 799016 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 870464 799016 1875 992 0 862322 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 3196064 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/258 369790
/proc/meminfo: memFree=107935884/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=3481856 memory=3196064 CPUtime=281.66 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 134435 0 0 0 26723 1443 0 0 20 0 1 0 43741402 3565420544 799016 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 870464 799016 1875 992 0 862322 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 3196064 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/259 370411
/proc/meminfo: memFree=107225728/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=3492096 memory=3208352 CPUtime=341.5 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 135002 0 0 0 32704 1446 0 0 20 0 1 0 43741402 3575906304 802088 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 873024 802088 1875 992 0 864882 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 3492096 KiB
Current children cumulated memory: 3208352 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/261 370591
/proc/meminfo: memFree=106285244/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=3492096 memory=3208352 CPUtime=401.33 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 135341 0 0 0 38685 1448 0 0 20 0 1 0 43741402 3575906304 802088 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 873024 802088 1875 992 0 864882 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 3492096 KiB
Current children cumulated memory: 3208352 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 370601
/proc/meminfo: memFree=106127636/131524600 swapFree=131065548/131071996
[pid=369074] ppid=369071 vsize=3492096 memory=3210400 CPUtime=461.18 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 136039 0 0 0 44666 1452 0 0 20 0 1 0 43741402 3575906304 802600 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 873024 802600 1875 992 0 864882 0
################
# More data... #
################
/proc/369074/statm: 1427021 1252208 1875 992 0 1418879 0
Current children cumulated CPU time: 2973.86 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5008832 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/257 371756
/proc/meminfo: memFree=87352436/131524600 swapFree=131062720/131071996
[pid=369074] ppid=369071 vsize=5708084 memory=5008832 CPUtime=3033.68 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 323117 0 0 0 300703 2665 0 0 20 0 1 0 43741402 5845078016 1252208 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1427021 1252208 1875 992 0 1418879 0
Current children cumulated CPU time: 3033.68 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5008832 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/258 371768
/proc/meminfo: memFree=87134736/131524600 swapFree=131062720/131071996
[pid=369074] ppid=369071 vsize=5708084 memory=5008832 CPUtime=3093.51 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 323733 0 0 0 306684 2667 0 0 20 0 1 0 43741402 5845078016 1252208 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1427021 1252208 1875 992 0 1418879 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5008832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/258 371779
/proc/meminfo: memFree=86884120/131524600 swapFree=131061952/131071996
[pid=369074] ppid=369071 vsize=5708084 memory=5008832 CPUtime=3153.33 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 324192 0 0 0 312664 2669 0 0 20 0 1 0 43741402 5845078016 1252208 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1427021 1252208 1875 992 0 1418879 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5008832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/258 371789
/proc/meminfo: memFree=86704680/131524600 swapFree=131061952/131071996
[pid=369074] ppid=369071 vsize=5708084 memory=5008832 CPUtime=3213.13 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 324916 0 0 0 318642 2671 0 0 20 0 1 0 43741402 5845078016 1252208 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1427021 1252208 1875 992 0 1418879 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5008832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/255 371800
/proc/meminfo: memFree=86412784/131524600 swapFree=131061952/131071996
[pid=369074] ppid=369071 vsize=5708084 memory=5008832 CPUtime=3272.96 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 325667 0 0 0 324618 2678 0 0 20 0 1 0 43741402 5845078016 1252208 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1427021 1252208 1875 992 0 1418879 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5008832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/255 371810
/proc/meminfo: memFree=86025664/131524600 swapFree=131061952/131071996
[pid=369074] ppid=369071 vsize=5708084 memory=5008832 CPUtime=3332.79 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 327042 0 0 0 330586 2693 0 0 20 0 1 0 43741402 5845078016 1252208 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1427021 1252208 1875 992 0 1418879 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5008832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 371821
/proc/meminfo: memFree=85644736/131524600 swapFree=131061696/131071996
[pid=369074] ppid=369071 vsize=5708084 memory=5008832 CPUtime=3392.62 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 327489 0 0 0 336555 2707 0 0 20 0 1 0 43741402 5845078016 1252208 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1427021 1252208 1875 992 0 1418879 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5008832 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 371832
/proc/meminfo: memFree=85219228/131524600 swapFree=131061696/131071996
[pid=369074] ppid=369071 vsize=5708084 memory=5008832 CPUtime=3452.45 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 328270 0 0 0 342508 2737 0 0 20 0 1 0 43741402 5845078016 1252208 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1427021 1252208 1875 992 0 1418879 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5008832 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/257 371844
/proc/meminfo: memFree=84725796/131524600 swapFree=131061696/131071996
[pid=369074] ppid=369071 vsize=5713112 memory=5015332 CPUtime=3512.27 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 330950 0 0 0 348470 2757 0 0 20 0 1 0 43741402 5850226688 1253833 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1428278 1253833 1875 992 0 1420136 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 5713112 KiB
Current children cumulated memory: 5015332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/259 371859
/proc/meminfo: memFree=84276416/131524600 swapFree=131061696/131071996
[pid=369074] ppid=369071 vsize=5717080 memory=5049304 CPUtime=3572.11 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 340469 0 0 0 354437 2774 0 0 20 0 1 0 43741402 5854289920 1262326 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1429270 1262326 1875 992 0 1421128 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 5717080 KiB
Current children cumulated memory: 5049304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 371864
/proc/meminfo: memFree=83956580/131524600 swapFree=131061696/131071996
[pid=369074] ppid=369071 vsize=5736956 memory=5212464 CPUtime=3600.02 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 381967 0 0 0 357210 2792 0 0 20 0 1 0 43741402 5874642944 1303116 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1434239 1303116 1875 992 0 1426097 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5736956 KiB
Current children cumulated memory: 5212464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.02 s]
# the end of solver process 369074 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.6 s, system=28.0199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 371864
/proc/meminfo: memFree=83956580/131524600 swapFree=131061696/131071996
[pid=369074] ppid=369071 vsize=5736956 memory=5212848 CPUtime=3600.04 cores=4,6
/proc/369074/stat : 369074 (roundingsat) D 369071 369074 364597 0 -1 4194304 381976 0 0 0 357212 2792 0 0 20 0 1 0 43741402 5874642944 1303212 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 6 0 0 12 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1434239 1303212 1909 992 0 1426097 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 5736956 KiB
Current children cumulated memory: 5212848 KiB
[startup+3610.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 371864
/proc/meminfo: memFree=83956580/131524600 swapFree=131061696/131071996
[pid=369074] ppid=369071 vsize=5114888 memory=4616664 CPUtime=3600.4 cores=4,6
/proc/369074/stat : 369074 (roundingsat) R 369071 369074 364597 0 -1 4194304 382992 0 0 0 357247 2793 0 0 20 0 1 0 43741402 5237645312 1154166 134679101440 4194304 8254357 140720681809568 0 0 0 0 0 25182210 0 0 0 17 6 0 0 20 0 0 9037040 9046032 28626944 140720681816927 140720681817189 140720681817189 140720681824201 0
/proc/369074/statm: 1278722 1154166 1987 992 0 1270580 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 5114888 KiB
Current children cumulated memory: 4616664 KiB
[startup+3611 s]*
/proc/loadavg: 4.10 4.12 4.09 4/257 371864
/proc/meminfo: memFree=101012444/131524600 swapFree=131061696/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): 3611.02
CPU time (s): 3600.62
CPU user time (s): 3572.6
CPU system time (s): 28.0199
CPU usage (%): 99.7121
Max. virtual memory (cumulated for all children) (KiB): 5736956
Max. memory (cumulated for all children) (KiB): 5212848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.6
system time used= 28.0199
maximum resident set size= 5212848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9231792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 671
involuntary context switches= 5225
# summary of solver processes directly reported to runsolver:
# pid: 369074
# total CPU time (s): 3600.62
# total CPU user time (s): 3572.6
# total CPU system time (s): 28.0199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17589 second user time and 16.9499 second system time
The end
Begin job on nodeC018 at 2024-07-27 11:22:11
IDJOB=4460744
IDBENCH=160493
IDSOLVER=3086
FILE ID=nodeC018/4460744-1722072130
RUNJOBID= nodeC018-1722064836-364613
SLURM_JOB_ID= 8248088
Free space on /tmp= 889892 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm90p-dec.opb.negationfix.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-4460744-1722072130/watcher-4460744-1722072130 -o /tmp/evaluation-result-4460744-1722072130/solver-4460744-1722072130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722064836-364613 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460744-1722072130 --lp-cut-gomory=0 HOME/instance-4460744-1722072130.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f94999381e02cae36541ecafb635807a
RANDOM SEED=1199031812
nodeC018.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.353
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.43
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 : 3697.049
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.33
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 : 3617.463
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.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.383
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.33
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 : 3600.847
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.43
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 : 3697.045
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.33
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.037
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.43
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 : 3599.163
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 114713504 kB
MemAvailable: 127436652 kB
Buffers: 368532 kB
Cached: 13147976 kB
SwapCached: 2592 kB
Active: 2409348 kB
Inactive: 13718176 kB
Active(anon): 1960 kB
Inactive(anon): 2663112 kB
Active(file): 2407388 kB
Inactive(file): 11055064 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131065548 kB
Dirty: 293912 kB
Writeback: 0 kB
AnonPages: 2607760 kB
Mapped: 111864 kB
Shmem: 53680 kB
KReclaimable: 201036 kB
Slab: 325320 kB
SReclaimable: 201036 kB
SUnreclaim: 124284 kB
KernelStack: 4144 kB
PageTables: 14780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3301240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17408 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1067008 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: 375508 kB
DirectMap2M: 43438080 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889884 MiB
End job on nodeC018 at 2024-07-27 12:22:22