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: 63931 MiB (61531 MiB free)
memory of node 1: 64510 MiB (59993 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456890-1721817188/watcher-4456890-1721817188 -o /tmp/evaluation-result-4456890-1721817188/solver-4456890-1721817188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721817188-191710 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456890-1721817188 --lp-cut-gomory=0 HOME/instance-4456890-1721817188.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=191763, runsolver pid=191760
Current StackSize limit: 8192 KiB
[startup+0.100489 s]*
/proc/loadavg: 0.11 0.10 0.16 5/254 191764
/proc/meminfo: memFree=124417116/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=39380 memory=10960 CPUtime=0.09 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 1029 0 0 0 7 2 0 0 20 0 1 0 18242411 40325120 2740 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 9845 2740 1366 992 0 1703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39380 KiB
Current children cumulated memory: 10960 KiB
[startup+0.205135 s]*
/proc/loadavg: 0.11 0.10 0.16 5/252 191764
/proc/meminfo: memFree=124411576/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=40688 memory=12096 CPUtime=0.2 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 1400 0 0 0 16 4 0 0 20 0 1 0 18242411 41664512 3024 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 10172 3024 1366 992 0 2030 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40688 KiB
Current children cumulated memory: 12096 KiB
[startup+0.304683 s]*
/proc/loadavg: 0.11 0.10 0.16 5/258 191775
/proc/meminfo: memFree=124350868/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=43408 memory=15192 CPUtime=0.3 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 1672 0 0 0 24 6 0 0 20 0 1 0 18242411 44449792 3798 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 10852 3798 1366 992 0 2710 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 15192 KiB
[startup+0.700192 s]
/proc/loadavg: 0.11 0.10 0.16 5/258 191775
/proc/meminfo: memFree=124281780/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=52696 memory=24020 CPUtime=0.69 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 3552 0 0 0 55 14 0 0 20 0 1 0 18242411 53960704 6005 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 13174 6005 1366 992 0 5032 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52696 KiB
Current children cumulated memory: 24020 KiB
[startup+1.50022 s]
/proc/loadavg: 0.11 0.10 0.16 5/258 191775
/proc/meminfo: memFree=124259280/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=97624 memory=64480 CPUtime=1.49 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 11029 0 0 0 116 33 0 0 20 0 1 0 18242411 99966976 16120 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 24406 16120 1669 992 0 16264 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 97624 KiB
Current children cumulated memory: 64480 KiB
[startup+3.10568 s]
/proc/loadavg: 0.43 0.16 0.18 5/258 191775
/proc/meminfo: memFree=123796512/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=322460 memory=288976 CPUtime=3.09 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 51735 0 0 0 264 45 0 0 20 0 1 0 18242411 330199040 72244 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 80615 72244 1669 992 0 72473 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 288976 KiB
[startup+6.30023 s]
/proc/loadavg: 0.43 0.16 0.18 5/258 191775
/proc/meminfo: memFree=123555000/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=322460 memory=288976 CPUtime=6.27 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 51773 0 0 0 582 45 0 0 20 0 1 0 18242411 330199040 72244 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 80615 72244 1669 992 0 72473 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 288976 KiB
[startup+12.7002 s]
/proc/loadavg: 0.71 0.23 0.20 5/258 191777
/proc/meminfo: memFree=123543376/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=322460 memory=289168 CPUtime=12.64 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 51849 0 0 0 1219 45 0 0 20 0 1 0 18242411 330199040 72292 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 80615 72292 1717 992 0 72473 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 289168 KiB
[startup+25.5002 s]
/proc/loadavg: 1.44 0.41 0.26 5/256 191793
/proc/meminfo: memFree=124001976/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=322460 memory=289368 CPUtime=25.4 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 51934 0 0 0 2492 48 0 0 20 0 1 0 18242411 330199040 72342 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 80615 72342 1764 992 0 72473 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 289368 KiB
[startup+51.1057 s]
/proc/loadavg: 2.45 0.73 0.38 5/258 191829
/proc/meminfo: memFree=123592392/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=322460 memory=289368 CPUtime=50.94 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 52048 0 0 0 5043 51 0 0 20 0 1 0 18242411 330199040 72342 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 80615 72342 1764 992 0 72473 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 289368 KiB
[startup+102.3 s]
/proc/loadavg: 3.38 1.26 0.57 5/260 191886
/proc/meminfo: memFree=123793328/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=364584 memory=331252 CPUtime=101.98 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 53460 0 0 0 10144 54 0 0 20 0 1 0 18242411 373334016 82813 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 91146 82813 1764 992 0 83004 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 364584 KiB
Current children cumulated memory: 331252 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.79 0.80 5/259 191897
/proc/meminfo: memFree=123636304/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=381232 memory=348108 CPUtime=161.79 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 57698 0 0 0 16121 58 0 0 20 0 1 0 18242411 390381568 87027 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 95308 87027 1764 992 0 87166 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 381232 KiB
Current children cumulated memory: 348108 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.21 1.01 5/259 191908
/proc/meminfo: memFree=123513976/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=382024 memory=348964 CPUtime=221.59 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 58490 0 0 0 22097 62 0 0 20 0 1 0 18242411 391192576 87241 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 95506 87241 1764 992 0 87364 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 382024 KiB
Current children cumulated memory: 348964 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.55 1.20 5/259 191918
/proc/meminfo: memFree=123375660/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=390336 memory=361672 CPUtime=281.42 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 69773 0 0 0 28073 69 0 0 20 0 1 0 18242411 399704064 90418 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 97584 90418 1838 992 0 89442 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 390336 KiB
Current children cumulated memory: 361672 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 2.83 1.39 5/258 191929
/proc/meminfo: memFree=123276552/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=390336 memory=362032 CPUtime=341.26 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 69935 0 0 0 34055 71 0 0 20 0 1 0 18242411 399704064 90508 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 97584 90508 1838 992 0 89442 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 390336 KiB
Current children cumulated memory: 362032 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.06 1.56 5/257 191941
/proc/meminfo: memFree=123175852/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=390336 memory=362032 CPUtime=401.12 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 70032 0 0 0 40038 74 0 0 20 0 1 0 18242411 399704064 90508 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 97584 90508 1838 992 0 89442 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 390336 KiB
Current children cumulated memory: 362032 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.27 1.73 5/259 191956
/proc/meminfo: memFree=123059584/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=390336 memory=362032 CPUtime=460.96 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 70147 0 0 0 46021 75 0 0 20 0 1 0 18242411 399704064 90508 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 97584 90508 1838 992 0 89442 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.38 4.28 4.10 5/258 193502
/proc/meminfo: memFree=120973412/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3154.19 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 131882 0 0 0 315170 249 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3222.3 s]
/proc/loadavg: 4.59 4.34 4.13 5/258 193514
/proc/meminfo: memFree=120857296/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3214.04 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132015 0 0 0 321153 251 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3282.3 s]
/proc/loadavg: 4.36 4.32 4.13 5/259 193526
/proc/meminfo: memFree=120741984/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3273.89 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132147 0 0 0 327135 254 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.27 4.13 5/261 193706
/proc/meminfo: memFree=120624816/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3333.74 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132273 0 0 0 333119 255 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.23 4.12 5/261 193717
/proc/meminfo: memFree=120520416/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3393.59 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132387 0 0 0 339102 257 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.20 4.12 5/264 193787
/proc/meminfo: memFree=120412392/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3453.43 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132539 0 0 0 345085 258 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.12 5/264 193797
/proc/meminfo: memFree=120305228/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3513.28 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132660 0 0 0 351068 260 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.11 5/264 193810
/proc/meminfo: memFree=120195176/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3573.13 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132770 0 0 0 357051 262 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.07 4.16 4.10 5/262 193814
/proc/meminfo: memFree=120145860/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3600.06 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132787 0 0 0 359743 263 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.3 s]
# the end of solver process 191763 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.43 s, system=2.64374 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.07 4.16 4.10 5/262 193814
/proc/meminfo: memFree=120145860/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3600.36 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132789 0 0 0 359773 263 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3610.4 s]
/proc/loadavg: 4.07 4.16 4.10 5/262 193814
/proc/meminfo: memFree=120145580/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3601.16 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132789 0 0 0 359853 263 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3601.16 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3610.8 s]
/proc/loadavg: 4.07 4.16 4.10 5/262 193814
/proc/meminfo: memFree=120145580/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3601.55 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132789 0 0 0 359892 263 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3611.2 s]
/proc/loadavg: 4.07 4.16 4.10 4/256 193841
/proc/meminfo: memFree=120256156/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3601.96 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132789 0 0 0 359932 264 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
[startup+3611.3 s]
/proc/loadavg: 4.07 4.16 4.10 4/256 193841
/proc/meminfo: memFree=120256156/131524600 swapFree=131071472/131071996
[pid=191763] ppid=191760 vsize=621244 memory=528588 CPUtime=3602.06 cores=4,6
/proc/191763/stat : 191763 (roundingsat) R 191760 191763 191699 0 -1 4194304 132789 0 0 0 359942 264 0 0 20 0 1 0 18242411 636153856 132147 134679101440 4194304 8254037 140721360730544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27062272 140721360733020 140721360733282 140721360733282 140721360740297 0
/proc/191763/statm: 155311 132147 1838 992 0 147169 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 528588 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.3
CPU time (s): 3602.07
CPU user time (s): 3599.43
CPU system time (s): 2.64374
CPU usage (%): 99.7443
Max. virtual memory (cumulated for all children) (KiB): 621244
Max. memory (cumulated for all children) (KiB): 528588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.43
system time used= 2.64375
maximum resident set size= 528588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 4902
# summary of solver processes directly reported to runsolver:
# pid: 191763
# total CPU time (s): 3602.07
# total CPU user time (s): 3599.43
# total CPU system time (s): 2.64374
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.65404 second user time and 18.4332 second system time
The end
Begin job on nodeC032 at 2024-07-24 12:33:08
IDJOB=4456890
IDBENCH=147892
IDSOLVER=3085
FILE ID=nodeC032/4456890-1721817188
RUNJOBID= nodeC032-1721817188-191710
SLURM_JOB_ID= 7816896
Free space on /tmp= 890028 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456890-1721817188/watcher-4456890-1721817188 -o /tmp/evaluation-result-4456890-1721817188/solver-4456890-1721817188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721817188-191710 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456890-1721817188 --lp-cut-gomory=0 HOME/instance-4456890-1721817188.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=383216620
nodeC032.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 : 3654.752
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.31
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 : 3673.072
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.79
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 : 3615.803
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.31
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.135
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.79
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 : 3659.179
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.31
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 : 3675.212
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.79
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 : 3650.062
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.31
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 : 3638.991
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124448708 kB
MemAvailable: 129609088 kB
Buffers: 235076 kB
Cached: 5677288 kB
SwapCached: 132 kB
Active: 2590060 kB
Inactive: 3719228 kB
Active(anon): 1436 kB
Inactive(anon): 449416 kB
Active(file): 2588624 kB
Inactive(file): 3269812 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 65708 kB
Writeback: 0 kB
AnonPages: 396560 kB
Mapped: 122108 kB
Shmem: 53856 kB
KReclaimable: 283180 kB
Slab: 405136 kB
SReclaimable: 283180 kB
SUnreclaim: 121956 kB
KernelStack: 4144 kB
PageTables: 9848 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 692688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23392 kB
HardwareCorrupted: 0 kB
AnonHugePages: 260096 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: 363220 kB
DirectMap2M: 42401792 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC032 at 2024-07-24 13:33:19