12.14/12.23 c Filename:instance-4441627-1721293913.opb, Cutoff_time:3600, memory_limit_gb:500000
12.14/12.23 c Not use presolve
3599.92/3607.77 c Use LS-small
3599.92/3607.77 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 (61747 MiB free)
memory of node 1: 64510 MiB (60243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441627-1721293913/watcher-4441627-1721293913 -o /tmp/evaluation-result-4441627-1721293913/solver-4441627-1721293913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945302 --watchdog 3760 ./LS-MabS -f HOME/instance-4441627-1721293913.opb -t 3600 -s 1146942971
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=945351, runsolver pid=945348
[startup+0.100952 s]*
/proc/loadavg: 3.49 3.98 4.10 6/243 945357
/proc/meminfo: memFree=124893812/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=48704 memory=11500 CPUtime=0.1 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 2268 0 0 0 10 0 0 0 20 0 1 0 181550580 49872896 2875 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 12176 2875 749 2403 0 9286 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48704 KiB
Current children cumulated memory: 11500 KiB
[startup+0.213982 s]*
/proc/loadavg: 3.49 3.98 4.10 7/249 945363
/proc/meminfo: memFree=124832860/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=52268 memory=15724 CPUtime=0.22 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 3337 0 0 0 21 1 0 0 20 0 1 0 181550580 53522432 3931 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 13067 3931 749 2403 0 10177 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 52268 KiB
Current children cumulated memory: 15724 KiB
[startup+0.314403 s]*
/proc/loadavg: 3.49 3.98 4.10 6/249 945363
/proc/meminfo: memFree=124792816/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=55568 memory=19684 CPUtime=0.31 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 4288 0 0 0 30 1 0 0 20 0 1 0 181550580 56901632 4921 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 13892 4921 749 2403 0 11002 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55568 KiB
Current children cumulated memory: 19684 KiB
[startup+0.700398 s]
/proc/loadavg: 3.49 3.98 4.10 5/249 945363
/proc/meminfo: memFree=124689844/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=168008 memory=138944 CPUtime=0.68 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 33267 0 0 0 58 10 0 0 20 0 1 0 181550580 172040192 34736 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 42002 34736 2221 2403 0 39112 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 168008 KiB
Current children cumulated memory: 138944 KiB
[startup+1.50038 s]
/proc/loadavg: 3.49 3.98 4.10 5/249 945363
/proc/meminfo: memFree=124401800/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=320560 memory=283916 CPUtime=1.48 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 69462 0 0 0 127 21 0 0 20 0 1 0 181550580 328253440 70979 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 80140 70979 2301 2403 0 77250 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 320560 KiB
Current children cumulated memory: 283916 KiB
[startup+3.11334 s]
/proc/loadavg: 3.61 4.00 4.10 5/249 945363
/proc/meminfo: memFree=123689992/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=409408 memory=375508 CPUtime=3.08 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 92993 0 0 0 283 25 0 0 20 0 1 0 181550580 419233792 93877 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 102352 93877 2349 2403 0 99462 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 409408 KiB
Current children cumulated memory: 375508 KiB
[startup+6.30033 s]
/proc/loadavg: 3.61 4.00 4.10 5/249 945365
/proc/meminfo: memFree=123630764/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=429092 memory=394292 CPUtime=6.26 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 97297 0 0 0 600 26 0 0 20 0 1 0 181550580 439390208 98573 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 107273 98573 2349 2403 0 104383 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 429092 KiB
Current children cumulated memory: 394292 KiB
[startup+12.7003 s]
/proc/loadavg: 3.64 4.00 4.10 5/249 945365
/proc/meminfo: memFree=123013164/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=783004 memory=736624 CPUtime=12.64 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 183309 0 0 0 1223 41 0 0 20 0 1 0 181550580 801796096 184156 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 195751 184156 2461 2403 0 192861 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 783004 KiB
Current children cumulated memory: 736624 KiB
[startup+25.5003 s]
/proc/loadavg: 3.72 4.00 4.10 5/249 945412
/proc/meminfo: memFree=123958552/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=783004 memory=738124 CPUtime=25.41 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 183916 0 0 0 2499 42 0 0 20 0 1 0 181550580 801796096 184531 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 195751 184531 2461 2403 0 192861 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 783004 KiB
Current children cumulated memory: 738124 KiB
[startup+51.1131 s]
/proc/loadavg: 3.90 4.02 4.10 5/249 945417
/proc/meminfo: memFree=123955860/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=783004 memory=738448 CPUtime=50.94 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 184380 0 0 0 5051 43 0 0 20 0 1 0 181550580 801796096 184612 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 195751 184612 2461 2403 0 192861 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 783004 KiB
Current children cumulated memory: 738448 KiB
[startup+102.3 s]
/proc/loadavg: 3.96 4.01 4.09 5/249 945425
/proc/meminfo: memFree=123786396/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=783004 memory=741376 CPUtime=101.98 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 185169 0 0 0 10154 44 0 0 20 0 1 0 181550580 801796096 185344 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 195751 185344 2477 2403 0 192861 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 783004 KiB
Current children cumulated memory: 741376 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 4.02 4.09 5/250 945441
/proc/meminfo: memFree=123698872/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=783004 memory=742660 CPUtime=161.82 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 185500 0 0 0 16137 45 0 0 20 0 1 0 181550580 801796096 185665 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 195751 185665 2477 2403 0 192861 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 783004 KiB
Current children cumulated memory: 742660 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.05 4.09 5/247 945451
/proc/meminfo: memFree=123693492/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=783004 memory=743176 CPUtime=221.66 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 185627 0 0 0 22120 46 0 0 20 0 1 0 181550580 801796096 185794 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 195751 185794 2477 2403 0 192861 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 783004 KiB
Current children cumulated memory: 743176 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.05 4.09 5/244 945461
/proc/meminfo: memFree=123689664/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=783004 memory=743176 CPUtime=281.49 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 185633 0 0 0 28103 46 0 0 20 0 1 0 181550580 801796096 185794 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 195751 185794 2477 2403 0 192861 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 783004 KiB
Current children cumulated memory: 743176 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.06 4.09 5/243 945472
/proc/meminfo: memFree=123668480/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=787984 memory=743176 CPUtime=341.31 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 185657 0 0 0 34084 47 0 0 20 0 1 0 181550580 806895616 185794 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 196996 185794 2477 2403 0 194106 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 787984 KiB
Current children cumulated memory: 743176 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.07 4.09 5/243 945482
/proc/meminfo: memFree=123647820/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=799744 memory=745732 CPUtime=401.12 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 186271 0 0 0 40064 48 0 0 20 0 1 0 181550580 818937856 186433 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 199936 186433 2477 2403 0 197046 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 799744 KiB
Current children cumulated memory: 745732 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.07 4.09 5/241 945492
/proc/meminfo: memFree=123532524/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=807768 memory=745732 CPUtime=460.94 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 186318 0 0 0 46045 49 0 0 20 0 1 0 181550580 827154432 186433 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 201942 186433 2477 2403 0 199052 0
################
# More data... #
################
/proc/loadavg: 4.06 4.08 4.09 5/241 947173
/proc/meminfo: memFree=123208728/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3215.14 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239143 0 0 0 320207 1307 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3215.14 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/241 947184
/proc/meminfo: memFree=123208212/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3275.04 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239185 0 0 0 326157 1347 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3275.04 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 947194
/proc/meminfo: memFree=123207904/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3334.94 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239227 0 0 0 332113 1381 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3334.94 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3402.3 s]
/proc/loadavg: 4.61 4.22 4.13 5/241 947204
/proc/meminfo: memFree=123207848/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3394.85 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239269 0 0 0 338068 1417 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3394.85 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3462.3 s]
/proc/loadavg: 4.51 4.27 4.16 5/241 947216
/proc/meminfo: memFree=123207568/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3454.75 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239311 0 0 0 344009 1466 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3454.75 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3522.3 s]
/proc/loadavg: 4.78 4.40 4.21 5/243 947230
/proc/meminfo: memFree=123207176/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3514.65 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239353 0 0 0 349967 1498 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3514.65 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3582.3 s]
/proc/loadavg: 4.61 4.41 4.22 5/243 947241
/proc/meminfo: memFree=123206792/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3574.55 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239395 0 0 0 355908 1547 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3574.55 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3607.79 s]
# the end of solver process 945351 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.33 s, system=15.6846 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.64 4.42 4.23 5/243 947241
/proc/meminfo: memFree=123206796/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3576.26 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239395 0 0 0 356078 1548 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3576.26 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3596.8 s]
/proc/loadavg: 4.70 4.44 4.24 5/243 947244
/proc/meminfo: memFree=123206740/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3589.03 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239405 0 0 0 357341 1562 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3589.03 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3603.2 s]
/proc/loadavg: 4.74 4.45 4.24 5/243 947244
/proc/meminfo: memFree=123206740/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3595.42 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239405 0 0 0 357976 1566 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3595.42 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3604.8 s]
/proc/loadavg: 4.74 4.45 4.24 5/243 947244
/proc/meminfo: memFree=123206740/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3597.02 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239405 0 0 0 358135 1567 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3597.02 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3606.4 s]
/proc/loadavg: 4.74 4.45 4.24 5/243 947245
/proc/meminfo: memFree=123206628/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3598.61 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239416 0 0 0 358294 1567 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3598.61 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3607.2 s]
/proc/loadavg: 4.74 4.45 4.24 5/243 947245
/proc/meminfo: memFree=123206632/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3599.41 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239416 0 0 0 358374 1567 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3599.41 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3607.6 s]
/proc/loadavg: 4.74 4.45 4.24 5/243 947245
/proc/meminfo: memFree=123206632/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3599.82 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239416 0 0 0 358414 1568 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3599.82 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
[startup+3607.7 s]
/proc/loadavg: 4.74 4.45 4.24 5/243 947245
/proc/meminfo: memFree=123206632/131655788 swapFree=131071996/131071996
[pid=945351] ppid=945348 vsize=887288 memory=863228 CPUtime=3599.92 cores=5,7
/proc/945351/stat : 945351 (LS-MabS) R 945348 945351 945289 0 -1 4194304 239416 0 0 0 358424 1568 0 0 20 0 1 0 181550580 908582912 215807 134679101440 4194304 14036057 140729365783904 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 40615936 140729365791776 140729365791878 140729365791878 140729365798894 0
/proc/945351/statm: 221822 215807 2508 2403 0 218932 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 887288 KiB
Current children cumulated memory: 863228 KiB
Child status: 0
Real time (s): 3607.79
CPU time (s): 3600.01
CPU user time (s): 3584.33
CPU system time (s): 15.6846
CPU usage (%): 99.7844
Max. virtual memory (cumulated for all children) (KiB): 994468
Max. memory (cumulated for all children) (KiB): 969864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.33
system time used= 15.6846
maximum resident set size= 969864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239423
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= 37
involuntary context switches= 1255
# summary of solver processes directly reported to runsolver:
# pid: 945351
# total CPU time (s): 3600.01
# total CPU user time (s): 3584.33
# total CPU system time (s): 15.6846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.062 second user time and 30.9627 second system time
The end
Begin job on nodeC010 at 2024-07-18 11:12:05
IDJOB=4441627
IDBENCH=147734
IDSOLVER=3048
FILE ID=nodeC010/4441627-1721293913
RUNJOBID= nodeC010-1721293924-945302
SLURM_JOB_ID= 7542609
Free space on /tmp= 723748 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441627-1721293913/watcher-4441627-1721293913 -o /tmp/evaluation-result-4441627-1721293913/solver-4441627-1721293913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945302 --watchdog 3760 ./LS-MabS -f HOME/instance-4441627-1721293913.opb -t 3600 -s 1146942971
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c8aab35d42bad0d90391f6d533654bf0
RANDOM SEED=1146942971
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 : 1197.173
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 : 1197.176
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.372
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.182
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 : 1197.193
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 : 1197.415
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.173
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.172
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: 124948184 kB
MemAvailable: 129844908 kB
Buffers: 490176 kB
Cached: 5187112 kB
SwapCached: 0 kB
Active: 995880 kB
Inactive: 5033792 kB
Active(anon): 1328 kB
Inactive(anon): 389076 kB
Active(file): 994552 kB
Inactive(file): 4644716 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 52192 kB
Writeback: 0 kB
AnonPages: 353156 kB
Mapped: 117396 kB
Shmem: 37704 kB
KReclaimable: 194976 kB
Slab: 310776 kB
SReclaimable: 194976 kB
SUnreclaim: 115800 kB
KernelStack: 3796 kB
PageTables: 9420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 673376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 225280 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-18 12:12:13