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 (62190 MiB free)
memory of node 1: 64473 MiB (63145 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455848-1721468747/watcher-4455848-1721468747 -o /tmp/evaluation-result-4455848-1721468747/solver-4455848-1721468747 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052105 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455848-1721468747.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1057686, runsolver pid=1057683
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.13 4.10 4.12 5/243 1057687
/proc/meminfo: memFree=128340304/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=39960 memory=9884 CPUtime=0.1 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 1094 0 0 0 10 0 0 0 20 0 1 0 199031781 40919040 2471 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 9990 2471 1710 922 0 1942 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39960 KiB
Current children cumulated memory: 9884 KiB
[startup+0.212847 s]*
/proc/loadavg: 4.12 4.10 4.12 5/243 1057687
/proc/meminfo: memFree=128339100/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=40804 memory=11136 CPUtime=0.21 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 1311 0 0 0 21 0 0 0 20 0 1 0 199031781 41783296 2784 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 10201 2784 1838 922 0 2153 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40804 KiB
Current children cumulated memory: 11136 KiB
[startup+0.312806 s]*
/proc/loadavg: 4.12 4.10 4.12 5/243 1057687
/proc/meminfo: memFree=128338988/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=40944 memory=11400 CPUtime=0.32 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 1356 0 0 0 31 1 0 0 20 0 1 0 199031781 41926656 2850 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 10236 2850 1838 922 0 2188 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40944 KiB
Current children cumulated memory: 11400 KiB
[startup+0.700317 s]
/proc/loadavg: 4.12 4.10 4.12 5/243 1057687
/proc/meminfo: memFree=128336500/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=41160 memory=13708 CPUtime=0.69 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 1427 0 0 0 67 2 0 0 20 0 1 0 199031781 42147840 3427 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 10290 3427 1838 922 0 2242 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41160 KiB
Current children cumulated memory: 13708 KiB
[startup+1.5003 s]
/proc/loadavg: 4.12 4.10 4.12 5/243 1057687
/proc/meminfo: memFree=128336276/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=41316 memory=13972 CPUtime=1.48 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 1479 0 0 0 144 4 0 0 20 0 1 0 199031781 42307584 3493 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 10329 3493 1838 922 0 2281 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41316 KiB
Current children cumulated memory: 13972 KiB
[startup+3.11255 s]
/proc/loadavg: 4.12 4.10 4.12 5/243 1057687
/proc/meminfo: memFree=128333724/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=43536 memory=16836 CPUtime=3.09 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 2092 0 0 0 302 7 0 0 20 0 1 0 199031781 44580864 4209 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 10884 4209 1971 922 0 2836 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43536 KiB
Current children cumulated memory: 16836 KiB
[startup+6.30025 s]
/proc/loadavg: 4.11 4.10 4.12 5/243 1057687
/proc/meminfo: memFree=128334232/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=47792 memory=20348 CPUtime=6.27 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 2975 0 0 0 615 12 0 0 20 0 1 0 199031781 48939008 5087 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 11948 5087 1987 922 0 3900 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47792 KiB
Current children cumulated memory: 20348 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.12 5/243 1057688
/proc/meminfo: memFree=128330224/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=50896 memory=24832 CPUtime=12.66 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 4406 0 0 0 1245 21 0 0 20 0 1 0 199031781 52117504 6208 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 12724 6208 1987 922 0 4676 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50896 KiB
Current children cumulated memory: 24832 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.11 5/241 1057690
/proc/meminfo: memFree=128315264/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=61576 memory=35444 CPUtime=25.42 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 6569 0 0 0 2514 28 0 0 20 0 1 0 199031781 63053824 8861 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 15394 8861 1987 922 0 7346 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 61576 KiB
Current children cumulated memory: 35444 KiB
[startup+51.1126 s]
/proc/loadavg: 4.18 4.12 4.12 5/241 1057694
/proc/meminfo: memFree=128299788/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=78272 memory=49984 CPUtime=50.97 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 9453 0 0 0 5059 38 0 0 20 0 1 0 199031781 80150528 12496 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 19568 12496 1987 922 0 11520 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 78272 KiB
Current children cumulated memory: 49984 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/241 1057703
/proc/meminfo: memFree=128280376/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=98228 memory=67264 CPUtime=102.02 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 12189 0 0 0 10157 45 0 0 20 0 1 0 199031781 100585472 16816 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 24557 16816 1987 922 0 16509 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 98228 KiB
Current children cumulated memory: 67264 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/241 1057713
/proc/meminfo: memFree=128265624/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=126632 memory=81352 CPUtime=161.87 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 14703 0 0 0 16134 53 0 0 20 0 1 0 199031781 129671168 20338 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 31658 20338 1987 922 0 23610 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 126632 KiB
Current children cumulated memory: 81352 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.13 4.12 5/241 1057724
/proc/meminfo: memFree=128249044/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=131732 memory=87648 CPUtime=221.72 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 15847 0 0 0 22111 61 0 0 20 0 1 0 199031781 134893568 21912 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 32933 21912 1987 922 0 24885 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 131732 KiB
Current children cumulated memory: 87648 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/241 1057734
/proc/meminfo: memFree=128235228/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=131088 memory=87196 CPUtime=281.56 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 15935 0 0 0 28086 70 0 0 20 0 1 0 199031781 134234112 21799 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 32772 21799 1987 922 0 24724 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 131088 KiB
Current children cumulated memory: 87196 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 1057748
/proc/meminfo: memFree=128231028/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=131088 memory=87196 CPUtime=341.41 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 15954 0 0 0 34066 75 0 0 20 0 1 0 199031781 134234112 21799 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 32772 21799 1987 922 0 24724 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 131088 KiB
Current children cumulated memory: 87196 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/243 1057759
/proc/meminfo: memFree=128229528/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=132736 memory=88476 CPUtime=401.25 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 16324 0 0 0 40046 79 0 0 20 0 1 0 199031781 135921664 22119 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 33184 22119 1987 922 0 25136 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 132736 KiB
Current children cumulated memory: 88476 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/243 1057769
/proc/meminfo: memFree=128226580/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=136060 memory=91352 CPUtime=461.1 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 17029 0 0 0 46027 83 0 0 20 0 1 0 199031781 139325440 22838 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 34015 22838 1987 922 0 25967 0
################
# More data... #
################
Current children cumulated memory: 221976 KiB
[startup+2922.3 s]
/proc/loadavg: 1.08 1.11 1.63 2/223 1059482
/proc/meminfo: memFree=129121056/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=295268 memory=225468 CPUtime=2915.54 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 33450 0 0 0 291354 200 0 0 20 0 1 0 199031781 302354432 56367 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 73817 56367 1987 922 0 65769 0
Current children cumulated CPU time: 2915.54 s
Current children cumulated vsize: 295268 KiB
Current children cumulated memory: 225468 KiB
[startup+2982.3 s]
/proc/loadavg: 1.12 1.12 1.60 2/223 1059493
/proc/meminfo: memFree=129118824/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=298168 memory=227512 CPUtime=2975.42 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 34142 0 0 0 297339 203 0 0 20 0 1 0 199031781 305324032 56878 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 74542 56878 1987 922 0 66494 0
Current children cumulated CPU time: 2975.42 s
Current children cumulated vsize: 298168 KiB
Current children cumulated memory: 227512 KiB
[startup+3042.3 s]
/proc/loadavg: 1.09 1.11 1.57 2/221 1059504
/proc/meminfo: memFree=129112872/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=299448 memory=232988 CPUtime=3035.29 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 34353 0 0 0 303325 204 0 0 20 0 1 0 199031781 306634752 58247 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 74862 58247 1987 922 0 66814 0
Current children cumulated CPU time: 3035.29 s
Current children cumulated vsize: 299448 KiB
Current children cumulated memory: 232988 KiB
[startup+3102.3 s]
/proc/loadavg: 1.14 1.12 1.54 2/220 1059514
/proc/meminfo: memFree=129106548/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=299704 memory=239144 CPUtime=3095.15 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 34518 0 0 0 309310 205 0 0 20 0 1 0 199031781 306896896 59786 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 74926 59786 1987 922 0 66878 0
Current children cumulated CPU time: 3095.15 s
Current children cumulated vsize: 299704 KiB
Current children cumulated memory: 239144 KiB
[startup+3162.3 s]
/proc/loadavg: 1.11 1.11 1.51 2/220 1059524
/proc/meminfo: memFree=129105244/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=301752 memory=240112 CPUtime=3155.03 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 34774 0 0 0 315296 207 0 0 20 0 1 0 199031781 308994048 60028 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 75438 60028 1987 922 0 67390 0
Current children cumulated CPU time: 3155.03 s
Current children cumulated vsize: 301752 KiB
Current children cumulated memory: 240112 KiB
[startup+3222.3 s]
/proc/loadavg: 1.18 1.12 1.49 2/220 1059535
/proc/meminfo: memFree=129102368/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=302776 memory=242764 CPUtime=3214.91 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 35045 0 0 0 321283 208 0 0 20 0 1 0 199031781 310042624 60691 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 75694 60691 1987 922 0 67646 0
Current children cumulated CPU time: 3214.91 s
Current children cumulated vsize: 302776 KiB
Current children cumulated memory: 242764 KiB
[startup+3282.3 s]
/proc/loadavg: 1.13 1.11 1.46 2/220 1059545
/proc/meminfo: memFree=129100872/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=305080 memory=244084 CPUtime=3274.78 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 35343 0 0 0 327269 209 0 0 20 0 1 0 199031781 312401920 61021 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 76270 61021 1987 922 0 68222 0
Current children cumulated CPU time: 3274.78 s
Current children cumulated vsize: 305080 KiB
Current children cumulated memory: 244084 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.11 1.43 2/222 1059559
/proc/meminfo: memFree=129096684/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=308408 memory=247784 CPUtime=3334.65 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 35909 0 0 0 333254 211 0 0 20 0 1 0 199031781 315809792 61946 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 77102 61946 1987 922 0 69054 0
Current children cumulated CPU time: 3334.65 s
Current children cumulated vsize: 308408 KiB
Current children cumulated memory: 247784 KiB
[startup+3402.3 s]
/proc/loadavg: 1.07 1.10 1.41 2/222 1059570
/proc/meminfo: memFree=129093216/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=310456 memory=251152 CPUtime=3394.52 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 36204 0 0 0 339240 212 0 0 20 0 1 0 199031781 317906944 62788 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 77614 62788 1987 922 0 69566 0
Current children cumulated CPU time: 3394.52 s
Current children cumulated vsize: 310456 KiB
Current children cumulated memory: 251152 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.09 1.39 2/222 1059580
/proc/meminfo: memFree=129086528/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=312504 memory=257800 CPUtime=3454.4 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 36598 0 0 0 345226 214 0 0 20 0 1 0 199031781 320004096 64450 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 78126 64450 1987 922 0 70078 0
Current children cumulated CPU time: 3454.4 s
Current children cumulated vsize: 312504 KiB
Current children cumulated memory: 257800 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.09 1.36 2/222 1059590
/proc/meminfo: memFree=129082524/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=315192 memory=261164 CPUtime=3514.26 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 36957 0 0 0 351211 215 0 0 20 0 1 0 199031781 322756608 65291 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 78798 65291 1987 922 0 70750 0
Current children cumulated CPU time: 3514.26 s
Current children cumulated vsize: 315192 KiB
Current children cumulated memory: 261164 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.10 1.35 2/222 1059601
/proc/meminfo: memFree=129081376/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=316728 memory=261996 CPUtime=3574.14 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 37284 0 0 0 357197 217 0 0 20 0 1 0 199031781 324329472 65499 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 79182 65499 1987 922 0 71134 0
Current children cumulated CPU time: 3574.14 s
Current children cumulated vsize: 316728 KiB
Current children cumulated memory: 261996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.3 s]
/proc/loadavg: 1.08 1.09 1.34 2/220 1059605
/proc/meminfo: memFree=129079244/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=316728 memory=264044 CPUtime=3600.08 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 37285 0 0 0 359789 219 0 0 20 0 1 0 199031781 324329472 66011 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 79182 66011 1987 922 0 71134 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 316728 KiB
Current children cumulated memory: 264044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.34 s]
# the end of solver process 1057686 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.93 s, system=2.19459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.3 s]
/proc/loadavg: 1.08 1.09 1.34 2/220 1059605
/proc/meminfo: memFree=129079244/131655788 swapFree=131070704/131071996
[pid=1057686] ppid=1057683 vsize=316728 memory=264044 CPUtime=3600.08 cores=5,7
/proc/1057686/stat : 1057686 (roundingsat) R 1057683 1057686 1052092 0 -1 4194304 37285 0 0 0 359789 219 0 0 20 0 1 0 199031781 324329472 66011 134679101440 4194304 7968373 140727057698448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38490112 140727057699772 140727057699936 140727057699936 140727057706953 0
/proc/1057686/statm: 79182 66011 1987 922 0 71134 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 316728 KiB
Current children cumulated memory: 264044 KiB
Child status: 0
Real time (s): 3608.34
CPU time (s): 3600.13
CPU user time (s): 3597.93
CPU system time (s): 2.19459
CPU usage (%): 99.7725
Max. virtual memory (cumulated for all children) (KiB): 316728
Max. memory (cumulated for all children) (KiB): 264044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.93
system time used= 2.19459
maximum resident set size= 264044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83
involuntary context switches= 3465
# summary of solver processes directly reported to runsolver:
# pid: 1057686
# total CPU time (s): 3600.13
# total CPU user time (s): 3597.93
# total CPU system time (s): 2.19459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7499 second user time and 33.4499 second system time
The end
Begin job on nodeC011 at 2024-07-20 11:45:59
IDJOB=4455848
IDBENCH=175925
IDSOLVER=3084
FILE ID=nodeC011/4455848-1721468747
RUNJOBID= nodeC011-1721459249-1052105
SLURM_JOB_ID= 7545706
Free space on /tmp= 723756 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq10/normalized-15array_ineq10.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455848-1721468747/watcher-4455848-1721468747 -o /tmp/evaluation-result-4455848-1721468747/solver-4455848-1721468747 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052105 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455848-1721468747.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 80d0bb689427e6d4d718d000fcfdf3ab
RANDOM SEED=1903678609
nodeC011.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 : 3619.387
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.20
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 : 3652.172
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.145
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.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.184
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3537.543
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.20
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 : 1895.461
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.309
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.20
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.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128344368 kB
MemAvailable: 129009248 kB
Buffers: 583292 kB
Cached: 928708 kB
SwapCached: 132 kB
Active: 1135720 kB
Inactive: 1682480 kB
Active(anon): 1444 kB
Inactive(anon): 1350384 kB
Active(file): 1134276 kB
Inactive(file): 332096 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 5332 kB
Writeback: 0 kB
AnonPages: 1303900 kB
Mapped: 116376 kB
Shmem: 45592 kB
KReclaimable: 77416 kB
Slab: 160940 kB
SReclaimable: 77416 kB
SUnreclaim: 83524 kB
KernelStack: 3936 kB
PageTables: 11996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1885764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 456704 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC011 at 2024-07-20 12:46:07