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 (56344 MiB free)
memory of node 1: 64510 MiB (58975 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460521-1722065568/watcher-4460521-1722065568 -o /tmp/evaluation-result-4460521-1722065568/solver-4460521-1722065568 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307175 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460521-1722065568 --lp-cut-gomory=0 HOME/instance-4460521-1722065568.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=309228, runsolver pid=309225
Current StackSize limit: 8192 KiB
[startup+0.100644 s]*
/proc/loadavg: 4.16 3.83 2.35 5/260 309229
/proc/meminfo: memFree=118082044/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=39380 memory=10188 CPUtime=0.09 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 842 0 0 0 7 2 0 0 20 0 1 0 43087132 40325120 2547 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 9845 2547 1370 992 0 1703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39380 KiB
Current children cumulated memory: 10188 KiB
[startup+0.205311 s]*
/proc/loadavg: 4.16 3.83 2.35 5/260 309229
/proc/meminfo: memFree=118076184/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=40688 memory=11756 CPUtime=0.19 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 1338 0 0 0 15 4 0 0 20 0 1 0 43087132 41664512 2939 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 10172 2939 1370 992 0 2030 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40688 KiB
Current children cumulated memory: 11756 KiB
[startup+0.305797 s]*
/proc/loadavg: 4.16 3.83 2.35 5/260 309229
/proc/meminfo: memFree=118078332/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=43408 memory=13420 CPUtime=0.3 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 1772 0 0 0 23 7 0 0 20 0 1 0 43087132 44449792 3355 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 10852 3355 1370 992 0 2710 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 13420 KiB
[startup+0.700159 s]
/proc/loadavg: 4.16 3.83 2.35 5/260 309229
/proc/meminfo: memFree=118072804/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=52696 memory=24564 CPUtime=0.68 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 4160 0 0 0 52 16 0 0 20 0 1 0 43087132 53960704 6141 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 13174 6141 1370 992 0 5032 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52696 KiB
Current children cumulated memory: 24564 KiB
[startup+1.50018 s]
/proc/loadavg: 4.16 3.83 2.35 5/260 309229
/proc/meminfo: memFree=118059940/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=111912 memory=77952 CPUtime=1.48 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 15440 0 0 0 114 34 0 0 20 0 1 0 43087132 114597888 19488 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 27978 19488 1671 992 0 19836 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111912 KiB
Current children cumulated memory: 77952 KiB
[startup+3.10575 s]
/proc/loadavg: 4.16 3.83 2.35 5/260 309229
/proc/meminfo: memFree=117792676/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=322460 memory=288216 CPUtime=3.08 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 53580 0 0 0 264 44 0 0 20 0 1 0 43087132 330199040 72054 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 80615 72054 1671 992 0 72473 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 288216 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 3.83 2.36 5/260 309229
/proc/meminfo: memFree=117772412/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=322460 memory=288408 CPUtime=6.27 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 53656 0 0 0 582 45 0 0 20 0 1 0 43087132 330199040 72102 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 80615 72102 1719 992 0 72473 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 288408 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 3.84 2.37 5/260 309231
/proc/meminfo: memFree=117728380/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=322460 memory=288408 CPUtime=12.65 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 53770 0 0 0 1220 45 0 0 20 0 1 0 43087132 330199040 72102 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 80615 72102 1719 992 0 72473 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 288408 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 3.86 2.40 5/260 309232
/proc/meminfo: memFree=117655096/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=322460 memory=290584 CPUtime=25.42 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 53856 0 0 0 2495 47 0 0 20 0 1 0 43087132 330199040 72646 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 80615 72646 1751 992 0 72473 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 290584 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 3.87 2.45 5/260 309238
/proc/meminfo: memFree=117473520/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=322460 memory=290656 CPUtime=50.96 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 53970 0 0 0 5046 50 0 0 20 0 1 0 43087132 330199040 72664 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 80615 72664 1766 992 0 72473 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 322460 KiB
Current children cumulated memory: 290656 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.91 2.54 5/260 309247
/proc/meminfo: memFree=117082988/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=371320 memory=339272 CPUtime=102.03 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 57616 0 0 0 10148 55 0 0 20 0 1 0 43087132 380231680 84818 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 92830 84818 1766 992 0 84688 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 371320 KiB
Current children cumulated memory: 339272 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.96 2.64 5/258 309257
/proc/meminfo: memFree=116755232/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=382024 memory=350188 CPUtime=161.88 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 60367 0 0 0 16131 57 0 0 20 0 1 0 43087132 391192576 87547 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 95506 87547 1766 992 0 87364 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 382024 KiB
Current children cumulated memory: 350188 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.00 2.74 5/257 309267
/proc/meminfo: memFree=116052656/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=382024 memory=350220 CPUtime=221.72 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 60440 0 0 0 22111 61 0 0 20 0 1 0 43087132 391192576 87555 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 95506 87555 1766 992 0 87364 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 382024 KiB
Current children cumulated memory: 350220 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.01 2.83 5/257 309278
/proc/meminfo: memFree=115737904/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=390336 memory=360924 CPUtime=281.56 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 71657 0 0 0 28085 71 0 0 20 0 1 0 43087132 399704064 90231 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 97584 90231 1843 992 0 89442 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 390336 KiB
Current children cumulated memory: 360924 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.04 2.91 5/257 309289
/proc/meminfo: memFree=115469368/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=390336 memory=360924 CPUtime=341.41 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 71738 0 0 0 34067 74 0 0 20 0 1 0 43087132 399704064 90231 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 97584 90231 1843 992 0 89442 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 390336 KiB
Current children cumulated memory: 360924 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.05 2.99 5/257 309299
/proc/meminfo: memFree=115168624/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=390336 memory=361284 CPUtime=401.27 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 71891 0 0 0 40050 77 0 0 20 0 1 0 43087132 399704064 90321 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 97584 90321 1843 992 0 89442 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 390336 KiB
Current children cumulated memory: 361284 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.07 3.07 5/259 309315
/proc/meminfo: memFree=114908344/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=390336 memory=361284 CPUtime=461.13 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 72064 0 0 0 46034 79 0 0 20 0 1 0 43087132 399704064 90321 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 97584 90321 1843 992 0 89442 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.09 5/260 310601
/proc/meminfo: memFree=116300244/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=520880 CPUtime=3035.31 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 133095 0 0 0 303263 268 0 0 20 0 1 0 43087132 636153856 130220 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 130220 1843 992 0 147169 0
Current children cumulated CPU time: 3035.31 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 520880 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/260 310611
/proc/meminfo: memFree=112240032/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=524596 CPUtime=3095.17 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 133183 0 0 0 309246 271 0 0 20 0 1 0 43087132 636153856 131149 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131149 1843 992 0 147169 0
Current children cumulated CPU time: 3095.17 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 524596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.16 4.09 5/265 311008
/proc/meminfo: memFree=107764328/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3155.03 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 133285 0 0 0 315230 273 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3155.03 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.17 4.10 5/264 311019
/proc/meminfo: memFree=104200272/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3214.9 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 133417 0 0 0 321214 276 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3214.9 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/266 311033
/proc/meminfo: memFree=102345296/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3274.76 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 133545 0 0 0 327197 279 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3274.76 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/266 311211
/proc/meminfo: memFree=94306884/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3334.62 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 133676 0 0 0 333180 282 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3334.62 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/268 311224
/proc/meminfo: memFree=85058716/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3394.49 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 133799 0 0 0 339165 284 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3394.49 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/263 311319
/proc/meminfo: memFree=83481036/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3454.33 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 133926 0 0 0 345144 289 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3454.33 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 311330
/proc/meminfo: memFree=82325264/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3514.19 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 134044 0 0 0 351126 293 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3514.19 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/261 311340
/proc/meminfo: memFree=79842540/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3574.05 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 134174 0 0 0 357110 295 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3574.05 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.4 s]
/proc/loadavg: 4.19 4.15 4.10 5/261 311343
/proc/meminfo: memFree=78996984/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3600.09 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 134227 0 0 0 359713 296 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 309228 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.13 s, system=2.96459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.19 4.15 4.10 5/261 311343
/proc/meminfo: memFree=78936748/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3601.29 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 134227 0 0 0 359833 296 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3601.29 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
[startup+3610 s]*
/proc/loadavg: 4.19 4.15 4.10 5/261 311344
/proc/meminfo: memFree=78903768/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3601.69 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 134227 0 0 0 359873 296 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
[startup+3610.4 s]
/proc/loadavg: 4.19 4.15 4.10 5/261 311344
/proc/meminfo: memFree=78903768/131524600 swapFree=131054992/131071996
[pid=309228] ppid=309225 vsize=621244 memory=527072 CPUtime=3602.09 cores=4,6
/proc/309228/stat : 309228 (roundingsat) R 309225 309228 307164 0 -1 4194304 134227 0 0 0 359913 296 0 0 20 0 1 0 43087132 636153856 131768 134679101440 4194304 8254357 140728776655664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12234752 140728776659803 140728776660065 140728776660065 140728776667081 0
/proc/309228/statm: 155311 131768 1843 992 0 147169 0
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 527072 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.4
CPU time (s): 3602.1
CPU user time (s): 3599.13
CPU system time (s): 2.96459
CPU usage (%): 99.77
Max. virtual memory (cumulated for all children) (KiB): 621244
Max. memory (cumulated for all children) (KiB): 527072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.13
system time used= 2.96459
maximum resident set size= 527072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134227
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= 20
involuntary context switches= 1219
# summary of solver processes directly reported to runsolver:
# pid: 309228
# total CPU time (s): 3602.1
# total CPU user time (s): 3599.13
# total CPU system time (s): 2.96459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32582 second user time and 16.0622 second system time
The end
Begin job on nodeC035 at 2024-07-27 09:32:49
IDJOB=4460521
IDBENCH=147892
IDSOLVER=3086
FILE ID=nodeC035/4460521-1722065568
RUNJOBID= nodeC035-1722064836-307175
SLURM_JOB_ID= 8248103
Free space on /tmp= 890032 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-4460521-1722065568/watcher-4460521-1722065568 -o /tmp/evaluation-result-4460521-1722065568/solver-4460521-1722065568 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307175 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460521-1722065568 --lp-cut-gomory=0 HOME/instance-4460521-1722065568.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=1819779496
nodeC035.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 : 3670.844
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.54
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 : 3692.248
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 : 7006.93
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 : 3599.934
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.54
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.047
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 : 7006.93
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 : 3641.355
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.54
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 : 3692.249
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 : 7006.93
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 : 3672.750
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.54
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.912
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 : 7006.93
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118087108 kB
MemAvailable: 128109316 kB
Buffers: 371780 kB
Cached: 10447432 kB
SwapCached: 296 kB
Active: 2356600 kB
Inactive: 10407100 kB
Active(anon): 2012 kB
Inactive(anon): 1995368 kB
Active(file): 2354588 kB
Inactive(file): 8411732 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131054992 kB
Dirty: 130264 kB
Writeback: 0 kB
AnonPages: 1942964 kB
Mapped: 113388 kB
Shmem: 53220 kB
KReclaimable: 191068 kB
Slab: 316780 kB
SReclaimable: 191068 kB
SUnreclaim: 125712 kB
KernelStack: 4240 kB
PageTables: 13136 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2612768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1200128 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: 414420 kB
DirectMap2M: 48642048 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 889816 MiB
End job on nodeC035 at 2024-07-27 10:32:59