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 (53304 MiB free)
memory of node 1: 64473 MiB (2392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457004-1721818771/watcher-4457004-1721818771 -o /tmp/evaluation-result-4457004-1721818771/solver-4457004-1721818771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721817187-239624 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457004-1721818771 --lp-cut-gomory=0 HOME/instance-4457004-1721818771.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=241120, runsolver pid=241117
[startup+0.100091 s]*
/proc/loadavg: 4.45 4.40 3.60 5/268 241121
/proc/meminfo: memFree=57006816/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=61888 memory=30364 CPUtime=0.1 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 4962 0 0 0 6 4 0 0 20 0 1 0 18401046 63373312 7591 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 15472 7591 1350 992 0 7330 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61888 KiB
Current children cumulated memory: 30364 KiB
[startup+0.205728 s]*
/proc/loadavg: 4.45 4.40 3.60 5/268 241121
/proc/meminfo: memFree=56981820/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=63000 memory=31156 CPUtime=0.2 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 5214 0 0 0 13 7 0 0 20 0 1 0 18401046 64512000 7789 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 15750 7789 1350 992 0 7608 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63000 KiB
Current children cumulated memory: 31156 KiB
[startup+0.30566 s]*
/proc/loadavg: 4.45 4.40 3.60 5/268 241121
/proc/meminfo: memFree=56978124/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=66248 memory=33204 CPUtime=0.3 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 5685 0 0 0 21 9 0 0 20 0 1 0 18401046 67837952 8301 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 16562 8301 1350 992 0 8420 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 33204 KiB
[startup+0.700216 s]
/proc/loadavg: 4.45 4.40 3.60 5/268 241121
/proc/meminfo: memFree=56960004/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=112584 memory=82064 CPUtime=0.69 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 18096 0 0 0 51 18 0 0 20 0 1 0 18401046 115286016 20516 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 28146 20516 1652 992 0 20004 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112584 KiB
Current children cumulated memory: 82064 KiB
[startup+1.50022 s]
/proc/loadavg: 4.45 4.40 3.60 5/268 241121
/proc/meminfo: memFree=56806944/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=198980 memory=164268 CPUtime=1.48 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 32231 0 0 0 127 21 0 0 20 0 1 0 18401046 203755520 41067 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 49745 41067 1763 992 0 41603 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 198980 KiB
Current children cumulated memory: 164268 KiB
[startup+3.10598 s]
/proc/loadavg: 4.41 4.39 3.60 5/268 241121
/proc/meminfo: memFree=56703612/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=199488 memory=168336 CPUtime=3.08 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 32734 0 0 0 276 32 0 0 20 0 1 0 18401046 204275712 42084 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 49872 42084 1809 992 0 41730 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 199488 KiB
Current children cumulated memory: 168336 KiB
[startup+6.30021 s]
/proc/loadavg: 4.41 4.39 3.60 7/268 241121
/proc/meminfo: memFree=56684876/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=213176 memory=178556 CPUtime=6.25 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 33786 0 0 0 585 40 0 0 20 0 1 0 18401046 218292224 44639 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 53294 44639 1809 992 0 45152 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 213176 KiB
Current children cumulated memory: 178556 KiB
[startup+12.7002 s]
/proc/loadavg: 4.35 4.38 3.61 5/268 241123
/proc/meminfo: memFree=56647116/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=215452 memory=180804 CPUtime=12.62 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 33877 0 0 0 1220 42 0 0 20 0 1 0 18401046 220622848 45201 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 53863 45201 1809 992 0 45721 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 215452 KiB
Current children cumulated memory: 180804 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.37 3.61 5/268 241124
/proc/meminfo: memFree=56314648/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=218892 memory=184328 CPUtime=25.38 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 34776 0 0 0 2478 60 0 0 20 0 1 0 18401046 224145408 46082 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 54723 46082 1809 992 0 46581 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 218892 KiB
Current children cumulated memory: 184328 KiB
[startup+51.1058 s]
/proc/loadavg: 4.25 4.35 3.63 5/269 241134
/proc/meminfo: memFree=55498896/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=222692 memory=186748 CPUtime=50.88 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 35338 0 0 0 5022 66 0 0 20 0 1 0 18401046 228036608 46687 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 55673 46687 1865 992 0 47531 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 222692 KiB
Current children cumulated memory: 186748 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.31 3.66 5/270 241154
/proc/meminfo: memFree=53755316/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=225144 memory=189488 CPUtime=101.87 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 36086 0 0 0 10102 85 0 0 20 0 1 0 18401046 230547456 47372 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 56286 47372 1865 992 0 48144 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 225144 KiB
Current children cumulated memory: 189488 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.28 3.69 5/270 241165
/proc/meminfo: memFree=50083720/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=225144 memory=189904 CPUtime=161.67 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 36167 0 0 0 16073 94 0 0 20 0 1 0 18401046 230547456 47476 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 56286 47476 1865 992 0 48144 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 225144 KiB
Current children cumulated memory: 189904 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.33 3.75 5/264 241176
/proc/meminfo: memFree=49534384/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=227672 memory=193820 CPUtime=221.46 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 37155 0 0 0 22047 99 0 0 20 0 1 0 18401046 233136128 48455 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 56918 48455 1865 992 0 48776 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 227672 KiB
Current children cumulated memory: 193820 KiB
[startup+282.3 s]
/proc/loadavg: 4.95 4.50 3.85 5/261 241188
/proc/meminfo: memFree=47080108/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=227672 memory=200936 CPUtime=281.27 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 37238 0 0 0 28010 117 0 0 20 0 1 0 18401046 233136128 50234 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 56918 50234 1865 992 0 48776 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 227672 KiB
Current children cumulated memory: 200936 KiB
[startup+342.3 s]
/proc/loadavg: 4.83 4.56 3.91 5/262 241199
/proc/meminfo: memFree=44760568/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=229144 memory=201000 CPUtime=341.08 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 37343 0 0 0 33966 142 0 0 20 0 1 0 18401046 234643456 50250 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 57286 50250 1881 992 0 49144 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 229144 KiB
Current children cumulated memory: 201000 KiB
[startup+402.3 s]
/proc/loadavg: 4.50 4.50 3.93 5/260 241211
/proc/meminfo: memFree=42463144/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=233192 memory=204496 CPUtime=400.89 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 38278 0 0 0 39941 148 0 0 20 0 1 0 18401046 238788608 51124 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 58298 51124 1881 992 0 50156 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 233192 KiB
Current children cumulated memory: 204496 KiB
[startup+462.3 s]
/proc/loadavg: 4.31 4.44 3.95 5/260 241222
/proc/meminfo: memFree=40115676/131524600 swapFree=131071216/131071996
[pid=241120] ppid=241117 vsize=237512 memory=206984 CPUtime=460.7 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 38976 0 0 0 45917 153 0 0 20 0 1 0 18401046 243212288 51746 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 59378 51746 1881 992 0 51236 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/262 242502
/proc/meminfo: memFree=118327848/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273548 CPUtime=3151.21 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 51320 0 1 0 314295 826 0 0 20 0 1 0 18401046 317698048 68387 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68387 1970 992 0 69421 0
Current children cumulated CPU time: 3151.21 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273548 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.18 4.11 5/261 242513
/proc/meminfo: memFree=117994412/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273548 CPUtime=3211 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 51452 0 1 0 320270 830 0 0 20 0 1 0 18401046 317698048 68387 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68387 1970 992 0 69421 0
Current children cumulated CPU time: 3211 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.10 5/260 242524
/proc/meminfo: memFree=117578472/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3270.79 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 51585 0 1 0 326243 836 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3270.79 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.15 4.10 5/262 242918
/proc/meminfo: memFree=117142504/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3330.58 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 51715 0 1 0 332215 843 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3330.58 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.23 4.13 5/259 242930
/proc/meminfo: memFree=116713744/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3390.37 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 51847 0 1 0 338189 848 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3390.37 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.20 4.12 5/259 242940
/proc/meminfo: memFree=116158236/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3450.15 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 51977 0 1 0 344162 853 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3450.15 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/260 242951
/proc/meminfo: memFree=115938860/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3509.94 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 52111 0 1 0 350136 858 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3509.94 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/261 243130
/proc/meminfo: memFree=115756908/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3569.73 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 52245 0 1 0 356110 863 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3569.73 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 4.18 4.18 4.12 5/261 243137
/proc/meminfo: memFree=115564432/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3600.02 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 52311 0 1 0 359135 867 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.7 s]
# the end of solver process 241120 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3593.35 s, system=8.67995 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.18 4.12 5/261 243137
/proc/meminfo: memFree=115564432/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3600.12 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 52311 0 1 0 359145 867 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
[startup+3613.6 s]
/proc/loadavg: 4.16 4.18 4.12 5/261 243137
/proc/meminfo: memFree=115563368/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3600.92 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 52311 0 1 0 359225 867 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3600.92 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
[startup+3614.4 s]
/proc/loadavg: 4.16 4.18 4.12 5/261 243137
/proc/meminfo: memFree=115560748/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3601.71 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 52311 0 1 0 359304 867 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3601.71 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
[startup+3614.6 s]
/proc/loadavg: 4.16 4.18 4.12 5/261 243137
/proc/meminfo: memFree=115560748/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3601.91 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 52311 0 1 0 359324 867 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
[startup+3614.7 s]
/proc/loadavg: 4.16 4.18 4.12 5/261 243137
/proc/meminfo: memFree=115560748/131524600 swapFree=131070704/131071996
[pid=241120] ppid=241117 vsize=310252 memory=273552 CPUtime=3602.01 cores=0,2
/proc/241120/stat : 241120 (roundingsat) R 241117 241120 239614 0 -1 4194304 52311 0 1 0 359334 867 0 0 20 0 1 0 18401046 317698048 68388 134679101440 4194304 8254037 140731149435744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 4 0 0 9037040 9046032 35946496 140731149443932 140731149444194 140731149444194 140731149451209 0
/proc/241120/statm: 77563 68388 1970 992 0 69421 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 273552 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.7
CPU time (s): 3602.03
CPU user time (s): 3593.35
CPU system time (s): 8.67995
CPU usage (%): 99.6494
Max. virtual memory (cumulated for all children) (KiB): 310252
Max. memory (cumulated for all children) (KiB): 273552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.35
system time used= 8.67995
maximum resident set size= 273552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52311
page faults= 1
swaps= 0
block input operations= 4464
block output operations= 4309200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 25330
# summary of solver processes directly reported to runsolver:
# pid: 241120
# total CPU time (s): 3602.03
# total CPU user time (s): 3593.35
# total CPU system time (s): 8.67995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.01974 second user time and 18.8242 second system time
The end
Begin job on nodeC030 at 2024-07-24 12:59:31
IDJOB=4457004
IDBENCH=149087
IDSOLVER=3085
FILE ID=nodeC030/4457004-1721818771
RUNJOBID= nodeC030-1721817187-239624
SLURM_JOB_ID= 7816892
Free space on /tmp= 890044 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j1207_5.std.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-4457004-1721818771/watcher-4457004-1721818771 -o /tmp/evaluation-result-4457004-1721818771/solver-4457004-1721818771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721817187-239624 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457004-1721818771 --lp-cut-gomory=0 HOME/instance-4457004-1721818771.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 58b69e9a96bb9e80c29d595afb46d459
RANDOM SEED=748071501
nodeC030.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 : 3667.799
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.45
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 : 3687.661
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.46
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 : 3657.722
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.45
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.031
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.46
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 : 3675.871
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.45
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 : 3687.677
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.46
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 : 3602.207
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.45
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.988
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 57033192 kB
MemAvailable: 117180720 kB
Buffers: 240684 kB
Cached: 60574516 kB
SwapCached: 36 kB
Active: 2602476 kB
Inactive: 70890768 kB
Active(anon): 1704 kB
Inactive(anon): 12730256 kB
Active(file): 2600772 kB
Inactive(file): 58160512 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 1240656 kB
Writeback: 132 kB
AnonPages: 12674324 kB
Mapped: 128672 kB
Shmem: 53856 kB
KReclaimable: 447652 kB
Slab: 612548 kB
SReclaimable: 447652 kB
SUnreclaim: 164896 kB
KernelStack: 4352 kB
PageTables: 34776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 14185720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 22272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5904384 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: 344788 kB
DirectMap2M: 39274496 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC030 at 2024-07-24 13:59:46