3599.97/3610.62 c Filename:instance-4449099-1721373013.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.97/3610.62 c Not use presolve
3599.97/3610.62 c Use LS-small
3599.97/3610.62 s UNKNOWN
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: 64059 MiB (61734 MiB free)
memory of node 1: 64510 MiB (53034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449099-1721373013/watcher-4449099-1721373013 -o /tmp/evaluation-result-4449099-1721373013/solver-4449099-1721373013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721372986-992076 --watchdog 3760 ./LS-Mab -f HOME/instance-4449099-1721373013.opb -t 3600 -s 272798299 --no-s
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=992376, runsolver pid=992373
[startup+0.100227 s]*
/proc/loadavg: 4.09 4.09 4.10 5/242 992377
/proc/meminfo: memFree=117475872/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=116768 memory=20732 CPUtime=0.09 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2521 0 0 0 9 0 0 0 20 0 1 0 189460627 119570432 5183 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 29192 5183 749 2403 0 26302 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 116768 KiB
Current children cumulated memory: 20732 KiB
[startup+0.212656 s]*
/proc/loadavg: 4.09 4.09 4.10 5/242 992377
/proc/meminfo: memFree=117437164/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=123196 memory=27332 CPUtime=0.21 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 4160 0 0 0 20 1 0 0 20 0 1 0 189460627 126152704 6833 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 30799 6833 749 2403 0 27909 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 123196 KiB
Current children cumulated memory: 27332 KiB
[startup+0.312058 s]*
/proc/loadavg: 4.09 4.09 4.10 5/242 992377
/proc/meminfo: memFree=117402108/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=129060 memory=33140 CPUtime=0.31 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 5609 0 0 0 30 1 0 0 20 0 1 0 189460627 132157440 8285 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 32265 8285 749 2403 0 29375 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 129060 KiB
Current children cumulated memory: 33140 KiB
[startup+0.700266 s]
/proc/loadavg: 4.09 4.09 4.10 5/242 992377
/proc/meminfo: memFree=117331264/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=153064 memory=57164 CPUtime=0.68 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 11630 0 0 0 66 2 0 0 20 0 1 0 189460627 156737536 14291 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 38266 14291 749 2403 0 35376 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153064 KiB
Current children cumulated memory: 57164 KiB
[startup+1.50032 s]
/proc/loadavg: 4.09 4.09 4.10 5/242 992377
/proc/meminfo: memFree=117209700/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=322956 memory=237936 CPUtime=1.48 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 57492 0 0 0 137 11 0 0 20 0 1 0 189460627 330706944 59484 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 80739 59484 749 2403 0 77849 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 322956 KiB
Current children cumulated memory: 237936 KiB
[startup+3.11335 s]
/proc/loadavg: 4.17 4.11 4.10 6/242 992377
/proc/meminfo: memFree=116685844/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=773720 memory=688848 CPUtime=3.09 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 170247 0 0 0 279 30 0 0 20 0 1 0 189460627 792289280 172212 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 193430 172212 749 2403 0 190540 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 773720 KiB
Current children cumulated memory: 688848 KiB
[startup+6.3003 s]
/proc/loadavg: 4.17 4.11 4.10 5/238 992396
/proc/meminfo: memFree=123310328/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=1685408 memory=1600960 CPUtime=6.27 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 398251 0 0 0 562 65 0 0 20 0 1 0 189460627 1725857792 400240 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 421352 400240 749 2403 0 418462 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1685408 KiB
Current children cumulated memory: 1600960 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.10 5/244 992428
/proc/meminfo: memFree=120568984/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=3515596 memory=3431528 CPUtime=12.65 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 855933 0 0 0 1132 133 0 0 20 0 1 0 189460627 3599970304 857882 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 878899 857882 749 2403 0 876009 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3515596 KiB
Current children cumulated memory: 3431528 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.10 5/244 992430
/proc/meminfo: memFree=113136512/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=7169296 memory=7086592 CPUtime=25.41 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 1769665 0 0 0 2272 269 0 0 20 0 1 0 189460627 7341359104 1771648 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 1792324 1771648 749 2403 0 1789434 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 7169296 KiB
Current children cumulated memory: 7086592 KiB
[startup+51.1128 s]
/proc/loadavg: 4.15 4.10 4.10 5/244 992480
/proc/meminfo: memFree=111326716/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243712 CPUtime=50.96 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2055058 0 0 0 4773 323 0 0 20 0 1 0 189460627 8496173056 2060928 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060928 780 2403 0 2071371 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243712 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/244 992580
/proc/meminfo: memFree=112404120/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243712 CPUtime=101.98 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2055569 0 0 0 9828 370 0 0 20 0 1 0 189460627 8496173056 2060928 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060928 780 2403 0 2071371 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243712 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/244 992591
/proc/meminfo: memFree=95607916/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=161.78 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2056054 0 0 0 15755 423 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+222.3 s]
/proc/loadavg: 5.09 4.35 4.18 5/244 992646
/proc/meminfo: memFree=111368756/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=221.59 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2057399 0 0 0 21688 471 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+282.3 s]
/proc/loadavg: 4.99 4.49 4.24 5/243 992657
/proc/meminfo: memFree=94681520/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=281.41 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2058626 0 0 0 27617 524 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+342.3 s]
/proc/loadavg: 4.49 4.43 4.23 5/241 992714
/proc/meminfo: memFree=110533308/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=341.23 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2059780 0 0 0 33551 572 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.36 4.22 5/238 992744
/proc/meminfo: memFree=116480156/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=401.05 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2061482 0 0 0 39480 625 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.30 4.20 5/242 992826
/proc/meminfo: memFree=109013764/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=460.86 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2063188 0 0 0 45413 673 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
################
# More data... #
################
Current children cumulated memory: 8243748 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/244 994484
/proc/meminfo: memFree=116533544/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=2913.67 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2178888 0 0 0 289025 2342 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 2913.67 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/244 994495
/proc/meminfo: memFree=116533320/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=2973.5 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2182357 0 0 0 294967 2383 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/243 994518
/proc/meminfo: memFree=116532904/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3033.32 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2185706 0 0 0 300909 2423 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/243 994528
/proc/meminfo: memFree=116532696/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3093.15 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2189340 0 0 0 306853 2462 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3093.15 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.12 4.11 5/243 994540
/proc/meminfo: memFree=116532380/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3152.97 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2192721 0 0 0 312794 2503 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/242 994550
/proc/meminfo: memFree=116532044/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3212.79 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2196247 0 0 0 318738 2541 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/242 994561
/proc/meminfo: memFree=116531672/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3272.62 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2199548 0 0 0 324682 2580 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3272.62 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/241 994572
/proc/meminfo: memFree=116531460/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3332.45 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2202981 0 0 0 330627 2618 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.11 5/241 994582
/proc/meminfo: memFree=116531180/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3392.26 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2206586 0 0 0 336569 2657 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/241 994592
/proc/meminfo: memFree=116530904/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3452.1 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2210142 0 0 0 342514 2696 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/241 994602
/proc/meminfo: memFree=116530564/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3511.92 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2213798 0 0 0 348457 2735 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
[startup+3582.3 s]
/proc/loadavg: 3.77 4.04 4.07 3/227 994675
/proc/meminfo: memFree=116560812/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3571.75 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2217194 0 0 0 354401 2774 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 3.15 3.86 4.01 3/230 994684
/proc/meminfo: memFree=116561032/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3600.07 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2219540 0 0 0 357213 2794 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.79 s]
# the end of solver process 992376 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3572.13 s, system=28.0303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 3.15 3.86 4.01 3/230 994684
/proc/meminfo: memFree=116561032/131655788 swapFree=131071996/131071996
[pid=992376] ppid=992373 vsize=8297044 memory=8243748 CPUtime=3600.07 cores=0,2
/proc/992376/stat : 992376 (LS-Mab) R 992373 992376 992066 0 -1 4194304 2219540 0 0 0 357213 2794 0 0 20 0 1 0 189460627 8496173056 2060937 134679101440 4194304 14036057 140733323339856 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27860992 140733323346972 140733323347079 140733323347079 140733323354095 0
/proc/992376/statm: 2074261 2060937 780 2403 0 2071371 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 8297044 KiB
Current children cumulated memory: 8243748 KiB
Child status: 10
Real time (s): 3610.79
CPU time (s): 3600.16
CPU user time (s): 3572.13
CPU system time (s): 28.0303
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 8297044
Max. memory (cumulated for all children) (KiB): 8243748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.13
system time used= 28.0303
maximum resident set size= 8243824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2219542
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= 133
involuntary context switches= 25177
# summary of solver processes directly reported to runsolver:
# pid: 992376
# total CPU time (s): 3600.16
# total CPU user time (s): 3572.13
# total CPU system time (s): 28.0303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3567 second user time and 33.185 second system time
The end
Begin job on nodeC010 at 2024-07-19 09:10:25
IDJOB=4449099
IDBENCH=160481
IDSOLVER=3050
FILE ID=nodeC010/4449099-1721373013
RUNJOBID= nodeC010-1721372986-992076
SLURM_JOB_ID= 7542815
Free space on /tmp= 723684 MiB
SOLVER NAME= LS-Mab 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm100p-dec.opb.negationfix.opb
COMMAND LINE= ./LS-Mab -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449099-1721373013/watcher-4449099-1721373013 -o /tmp/evaluation-result-4449099-1721373013/solver-4449099-1721373013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721372986-992076 --watchdog 3760 ./LS-Mab -f HOME/instance-4449099-1721373013.opb -t 3600 -s 272798299 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7aedd7c3672972b6263e08c161e73d18
RANDOM SEED=272798299
nodeC010.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 : 1436.153
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.51
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 : 3673.863
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 : 1342.615
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.51
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.242
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 : 3674.729
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.51
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 : 3673.873
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.244
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.51
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.235
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: 117535636 kB
MemAvailable: 122555720 kB
Buffers: 519996 kB
Cached: 5280312 kB
SwapCached: 0 kB
Active: 1060644 kB
Inactive: 12367476 kB
Active(anon): 1448 kB
Inactive(anon): 7664104 kB
Active(file): 1059196 kB
Inactive(file): 4703372 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 88608 kB
Writeback: 4 kB
AnonPages: 7627868 kB
Mapped: 116052 kB
Shmem: 37704 kB
KReclaimable: 195092 kB
Slab: 310260 kB
SReclaimable: 195092 kB
SUnreclaim: 115168 kB
KernelStack: 3888 kB
PageTables: 23828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7927068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC010 at 2024-07-19 10:10:36