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: 64096 MiB (49148 MiB free)
memory of node 1: 64473 MiB (54771 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458553-1721890587/watcher-4458553-1721890587 -o /tmp/evaluation-result-4458553-1721890587/solver-4458553-1721890587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721886882-210612 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458553-1721890587 --seed=834372024 HOME/instance-4458553-1721890587.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=213085, runsolver pid=213082
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.18 4.22 4.19 5/238 213086
/proc/meminfo: memFree=107524912/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=30192 memory=8584 CPUtime=0.09 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 1576 0 0 0 9 0 0 0 20 0 1 0 25047952 30916608 2146 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 7548 2146 834 747 0 6611 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30192 KiB
Current children cumulated memory: 8584 KiB
[startup+0.208051 s]*
/proc/loadavg: 4.18 4.22 4.19 6/238 213086
/proc/meminfo: memFree=109016792/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=31328 memory=9700 CPUtime=0.2 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 1834 0 0 0 20 0 0 0 20 0 1 0 25047952 32079872 2425 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 7832 2425 850 747 0 6895 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31328 KiB
Current children cumulated memory: 9700 KiB
[startup+0.308178 s]*
/proc/loadavg: 4.18 4.22 4.19 5/238 213086
/proc/meminfo: memFree=110554516/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=31856 memory=10492 CPUtime=0.3 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 2059 0 0 0 29 1 0 0 20 0 1 0 25047952 32620544 2623 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 7964 2623 850 747 0 7027 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31856 KiB
Current children cumulated memory: 10492 KiB
[startup+0.70035 s]
/proc/loadavg: 4.18 4.22 4.19 5/238 213086
/proc/meminfo: memFree=113648732/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=32952 memory=13592 CPUtime=0.68 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 2310 0 0 0 67 1 0 0 20 0 1 0 25047952 33742848 3398 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 8238 3398 850 747 0 7301 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32952 KiB
Current children cumulated memory: 13592 KiB
[startup+1.50035 s]
/proc/loadavg: 4.17 4.21 4.19 4/238 213091
/proc/meminfo: memFree=122618600/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=35744 memory=22368 CPUtime=1.48 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 3012 0 0 0 146 2 0 0 20 0 1 0 25047952 36601856 5592 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 8936 5592 850 747 0 7999 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35744 KiB
Current children cumulated memory: 22368 KiB
[startup+3.11285 s]
/proc/loadavg: 4.17 4.21 4.19 5/250 213126
/proc/meminfo: memFree=126316672/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=50408 memory=42128 CPUtime=3.09 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 4092 0 0 0 306 3 0 0 20 0 1 0 25047952 51617792 10532 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 12602 10532 850 747 0 11665 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50408 KiB
Current children cumulated memory: 42128 KiB
[startup+6.30032 s]
/proc/loadavg: 4.16 4.21 4.19 5/250 213126
/proc/meminfo: memFree=126074900/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=100080 memory=91928 CPUtime=6.27 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 10772 0 0 0 620 7 0 0 20 0 1 0 25047952 102481920 22982 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 25020 22982 850 747 0 24083 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 100080 KiB
Current children cumulated memory: 91928 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.20 4.18 4/250 213128
/proc/meminfo: memFree=125626852/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=150328 memory=111168 CPUtime=12.65 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 13574 0 0 0 1255 10 0 0 20 0 1 0 25047952 153935872 27792 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 37582 27792 850 747 0 36645 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 150328 KiB
Current children cumulated memory: 111168 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.20 4.18 5/250 213129
/proc/meminfo: memFree=124920880/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=151944 memory=139540 CPUtime=25.42 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 14061 0 0 0 2526 16 0 0 20 0 1 0 25047952 155590656 34885 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 37986 34885 850 747 0 37049 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 151944 KiB
Current children cumulated memory: 139540 KiB
[startup+51.1129 s]
/proc/loadavg: 4.22 4.21 4.19 5/250 213135
/proc/meminfo: memFree=124307804/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=228072 memory=167528 CPUtime=50.85 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 16542 0 0 0 5056 29 0 0 20 0 1 0 25047952 233545728 41882 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 57018 41882 850 747 0 56081 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 228072 KiB
Current children cumulated memory: 167528 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.21 4.18 5/256 213318
/proc/meminfo: memFree=122538164/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=258696 memory=205948 CPUtime=101.6 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 23071 0 0 0 10109 51 0 0 20 0 1 0 25047952 264904704 51487 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 38 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 64674 51487 850 747 0 63737 0
Current children cumulated CPU time: 101.6 s
Current children cumulated vsize: 258696 KiB
Current children cumulated memory: 205948 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.18 3/253 213328
/proc/meminfo: memFree=120526440/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=270732 memory=215020 CPUtime=160.74 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 25534 0 0 0 15999 75 0 0 20 0 1 0 25047952 277229568 53755 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 107 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 67683 53755 850 747 0 66746 0
Current children cumulated CPU time: 160.74 s
Current children cumulated vsize: 270732 KiB
Current children cumulated memory: 215020 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/254 213341
/proc/meminfo: memFree=119254512/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=288864 memory=230376 CPUtime=220.3 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 29424 0 0 0 21926 104 0 0 20 0 1 0 25047952 295796736 57594 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 134 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 72216 57594 850 747 0 71279 0
Current children cumulated CPU time: 220.3 s
Current children cumulated vsize: 288864 KiB
Current children cumulated memory: 230376 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/256 213365
/proc/meminfo: memFree=117453160/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=299208 memory=247668 CPUtime=279.58 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 31742 0 0 0 27819 139 0 0 20 0 1 0 25047952 306388992 61917 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 3 0 0 168 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 74802 61917 850 747 0 73865 0
Current children cumulated CPU time: 279.58 s
Current children cumulated vsize: 299208 KiB
Current children cumulated memory: 247668 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/255 213377
/proc/meminfo: memFree=115584200/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=341856 memory=302940 CPUtime=338.86 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) D 213082 213085 210600 0 -1 4194304 38998 0 0 0 33714 172 0 0 20 0 1 0 25047952 350060544 75735 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 188 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 85464 75735 850 747 0 84527 0
Current children cumulated CPU time: 338.86 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 302940 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.13 4.16 5/253 213388
/proc/meminfo: memFree=113846532/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=471608 memory=323928 CPUtime=398.25 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 42354 0 0 0 39620 205 0 0 20 0 1 0 25047952 482926592 80982 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 3 0 0 227 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 117902 80982 850 747 0 116965 0
Current children cumulated CPU time: 398.25 s
Current children cumulated vsize: 471608 KiB
Current children cumulated memory: 323928 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.15 4.16 5/253 213399
/proc/meminfo: memFree=112450924/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=496060 memory=343132 CPUtime=456.18 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 47207 0 0 0 45374 244 0 0 20 0 1 0 25047952 507965440 85783 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 415 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 124015 85783 850 747 0 123078 0
################
# More data... #
################
Current children cumulated memory: 582920 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.29 4.27 5/251 214514
/proc/meminfo: memFree=52485788/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=670236 memory=583960 CPUtime=2863.77 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 87411 0 0 0 284769 1608 0 0 20 0 1 0 25047952 686321664 145990 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 16808 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 167559 145990 850 747 0 166622 0
Current children cumulated CPU time: 2863.77 s
Current children cumulated vsize: 670236 KiB
Current children cumulated memory: 583960 KiB
[startup+3102.3 s]
/proc/loadavg: 4.39 4.32 4.28 5/251 214524
/proc/meminfo: memFree=51068148/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=670236 memory=583960 CPUtime=2923.27 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 87642 0 0 0 290689 1638 0 0 20 0 1 0 25047952 686321664 145990 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 16841 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 167559 145990 850 747 0 166622 0
Current children cumulated CPU time: 2923.27 s
Current children cumulated vsize: 670236 KiB
Current children cumulated memory: 583960 KiB
[startup+3162.3 s]
/proc/loadavg: 4.41 4.34 4.29 5/252 214537
/proc/meminfo: memFree=49152744/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=672412 memory=585900 CPUtime=2982.49 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 88405 0 0 0 296573 1676 0 0 20 0 1 0 25047952 688549888 146475 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 16904 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 168103 146475 850 747 0 167166 0
Current children cumulated CPU time: 2982.49 s
Current children cumulated vsize: 672412 KiB
Current children cumulated memory: 585900 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.31 4.28 5/255 214552
/proc/meminfo: memFree=47898344/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=672412 memory=586048 CPUtime=3041.65 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 88634 0 0 0 302468 1697 0 0 20 0 1 0 25047952 688549888 146512 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 16971 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 168103 146512 850 747 0 167166 0
Current children cumulated CPU time: 3041.65 s
Current children cumulated vsize: 672412 KiB
Current children cumulated memory: 586048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.26 4.26 5/254 214563
/proc/meminfo: memFree=46679008/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=676892 memory=601304 CPUtime=3100.91 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 89634 0 0 0 308367 1724 0 0 20 0 1 0 25047952 693137408 150326 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17031 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 169223 150326 850 747 0 168286 0
Current children cumulated CPU time: 3100.91 s
Current children cumulated vsize: 676892 KiB
Current children cumulated memory: 601304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.44 4.31 4.28 5/253 214575
/proc/meminfo: memFree=45145248/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=677916 memory=602328 CPUtime=3160.03 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 90124 0 0 0 314249 1754 0 0 20 0 1 0 25047952 694185984 150582 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17104 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 169479 150582 850 747 0 168542 0
Current children cumulated CPU time: 3160.03 s
Current children cumulated vsize: 677916 KiB
Current children cumulated memory: 602328 KiB
[startup+3402.3 s]
/proc/loadavg: 4.62 4.40 4.31 5/253 214587
/proc/meminfo: memFree=43401516/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=681884 memory=605072 CPUtime=3219.25 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 91028 0 0 0 320139 1786 0 0 20 0 1 0 25047952 698249216 151268 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17166 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 170471 151268 850 747 0 169534 0
Current children cumulated CPU time: 3219.25 s
Current children cumulated vsize: 681884 KiB
Current children cumulated memory: 605072 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.33 4.29 5/255 214601
/proc/meminfo: memFree=42511524/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=682396 memory=606752 CPUtime=3278.7 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 91720 0 0 0 326058 1812 0 0 20 0 1 0 25047952 698773504 151688 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17205 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 170599 151688 850 747 0 169662 0
Current children cumulated CPU time: 3278.7 s
Current children cumulated vsize: 682396 KiB
Current children cumulated memory: 606752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.30 4.28 5/256 214994
/proc/meminfo: memFree=41033128/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=692768 memory=616992 CPUtime=3338.13 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 94555 0 0 0 331964 1849 0 0 20 0 1 0 25047952 709394432 154248 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17247 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 173192 154248 850 747 0 172255 0
Current children cumulated CPU time: 3338.13 s
Current children cumulated vsize: 692768 KiB
Current children cumulated memory: 616992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.29 4.27 5/255 215006
/proc/meminfo: memFree=39508292/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=693024 memory=617444 CPUtime=3397.39 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 94848 0 0 0 337855 1884 0 0 20 0 1 0 25047952 709656576 154361 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17305 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 173256 154361 850 747 0 172319 0
Current children cumulated CPU time: 3397.39 s
Current children cumulated vsize: 693024 KiB
Current children cumulated memory: 617444 KiB
[startup+3642.3 s]
/proc/loadavg: 4.14 4.25 4.26 5/255 215016
/proc/meminfo: memFree=38474888/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=695712 memory=619256 CPUtime=3456.75 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 95512 0 0 0 343765 1910 0 0 20 0 1 0 25047952 712409088 154814 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17352 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 173928 154814 850 747 0 172991 0
Current children cumulated CPU time: 3456.75 s
Current children cumulated vsize: 695712 KiB
Current children cumulated memory: 619256 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]
/proc/loadavg: 4.21 4.24 4.26 6/258 215246
/proc/meminfo: memFree=47502484/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=695712 memory=626680 CPUtime=3514.2 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 95748 0 0 0 349493 1927 0 0 20 0 1 0 25047952 712409088 156670 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17363 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 173928 156670 850 747 0 172991 0
Current children cumulated CPU time: 3514.2 s
Current children cumulated vsize: 695712 KiB
Current children cumulated memory: 626680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.22 s]
# the end of solver process 213085 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3495.02 s, system=19.3083 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.1 s]*
/proc/loadavg: 4.21 4.24 4.26 4/258 215246
/proc/meminfo: memFree=48027412/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=53252 memory=48828 CPUtime=3514.29 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) D 213082 213085 210600 0 -1 4194304 95748 0 0 0 349501 1928 0 0 20 0 1 0 25047952 54530048 12207 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17366 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 13313 12207 850 747 0 12376 0
Current children cumulated CPU time: 3514.29 s
Current children cumulated vsize: 53252 KiB
Current children cumulated memory: 48828 KiB
[startup+3700.21 s]
/proc/loadavg: 4.21 4.24 4.26 4/258 215246
/proc/meminfo: memFree=48027412/131655788 swapFree=131056320/131071996
[pid=213085] ppid=213082 vsize=53252 memory=48828 CPUtime=3514.31 cores=1,3
/proc/213085/stat : 213085 (Exact_veripb2_n) R 213082 213085 210600 0 -1 4194304 95748 0 0 0 349501 1930 0 0 20 0 1 0 25047952 54530048 12207 134679101440 4194304 7250417 140721359369600 0 0 0 0 0 8404994 0 0 0 17 3 0 0 17376 0 0 7950792 8015128 25448448 140721359377207 140721359377495 140721359377495 140721359384510 0
/proc/213085/statm: 13313 12207 850 747 0 12376 0
Current children cumulated CPU time: 3514.31 s
Current children cumulated vsize: 53252 KiB
Current children cumulated memory: 48828 KiB
Child status: 10
Real time (s): 3700.22
CPU time (s): 3514.33
CPU user time (s): 3495.02
CPU system time (s): 19.3083
CPU usage (%): 94.9762
Max. virtual memory (cumulated for all children) (KiB): 695712
Max. memory (cumulated for all children) (KiB): 626680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3495.02
system time used= 19.3083
maximum resident set size= 626680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56997968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4011
involuntary context switches= 9460
# summary of solver processes directly reported to runsolver:
# pid: 213085
# total CPU time (s): 3514.33
# total CPU user time (s): 3495.02
# total CPU system time (s): 19.3083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7719 second user time and 31.6127 second system time
The end
Begin job on nodeC006 at 2024-07-25 08:56:27
IDJOB=4458553
IDBENCH=177666
IDSOLVER=3080
FILE ID=nodeC006/4458553-1721890587
RUNJOBID= nodeC006-1721886882-210612
SLURM_JOB_ID= 8089290
Free space on /tmp= 723768 MiB
SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r11_c22_a6.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458553-1721890587/watcher-4458553-1721890587 -o /tmp/evaluation-result-4458553-1721890587/solver-4458553-1721890587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721886882-210612 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458553-1721890587 --seed=834372024 HOME/instance-4458553-1721890587.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 90c2dd46734c5803b8a1aa4418b353c6
RANDOM SEED=834372024
nodeC006.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 : 1197.096
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.06
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.102
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.40
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.408
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.06
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 : 2394.227
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.40
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 : 3657.217
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.06
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 : 1795.985
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.40
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.121
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.06
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.096
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.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 106072900 kB
MemAvailable: 129755844 kB
Buffers: 312552 kB
Cached: 23931628 kB
SwapCached: 244 kB
Active: 2008000 kB
Inactive: 22602604 kB
Active(anon): 1696 kB
Inactive(anon): 410696 kB
Active(file): 2006304 kB
Inactive(file): 22191908 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056320 kB
Dirty: 61828 kB
Writeback: 0 kB
AnonPages: 366952 kB
Mapped: 95924 kB
Shmem: 45244 kB
KReclaimable: 545992 kB
Slab: 659148 kB
SReclaimable: 545992 kB
SUnreclaim: 113156 kB
KernelStack: 3856 kB
PageTables: 9668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 878180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 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: 420680 kB
DirectMap2M: 57155584 kB
DirectMap1G: 78643200 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC006 at 2024-07-25 09:58:07