3599.96/3612.73 c Filename:instance-4446367-1721342065.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.96/3612.73 c Not use presolve
3599.96/3612.73 c Use LS-small
3599.96/3612.73 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: 63931 MiB (62574 MiB free)
memory of node 1: 64510 MiB (62910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446367-1721342065/watcher-4446367-1721342065 -o /tmp/evaluation-result-4446367-1721342065/solver-4446367-1721342065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721342078-999992 --watchdog 3760 ./LS-MabS -f HOME/instance-4446367-1721342065.opb -t 3600 -s 1563093586
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=1000054, runsolver pid=1000051
[startup+0.100826 s]*
/proc/loadavg: 1.23 1.90 2.66 5/258 1000055
/proc/meminfo: memFree=128356972/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=189344 memory=40260 CPUtime=0.1 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 5334 0 0 0 9 1 0 0 20 0 1 0 186374815 193888256 10065 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 47336 10065 749 2403 0 44446 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 189344 KiB
Current children cumulated memory: 40260 KiB
[startup+0.205704 s]*
/proc/loadavg: 1.23 1.90 2.66 5/258 1000055
/proc/meminfo: memFree=128173232/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=199904 memory=52864 CPUtime=0.2 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 7997 0 0 0 19 1 0 0 20 0 1 0 186374815 204701696 13216 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 49976 13216 749 2403 0 47086 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 199904 KiB
Current children cumulated memory: 52864 KiB
[startup+0.305739 s]*
/proc/loadavg: 1.23 1.90 2.66 5/258 1000055
/proc/meminfo: memFree=127976164/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=209804 memory=62896 CPUtime=0.3 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 10494 0 0 0 29 1 0 0 20 0 1 0 186374815 214839296 15724 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 52451 15724 749 2403 0 49561 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 209804 KiB
Current children cumulated memory: 62896 KiB
[startup+0.700223 s]
/proc/loadavg: 1.23 1.90 2.66 5/258 1000055
/proc/meminfo: memFree=127621080/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=248356 memory=105528 CPUtime=0.68 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 20140 0 0 0 65 3 0 0 20 0 1 0 186374815 254316544 26382 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 62089 26382 749 2403 0 59199 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 248356 KiB
Current children cumulated memory: 105528 KiB
[startup+1.50023 s]
/proc/loadavg: 1.23 1.90 2.66 5/258 1000057
/proc/meminfo: memFree=127288884/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=316588 CPUtime=1.49 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 59626 0 0 0 138 11 0 0 20 0 1 0 186374815 387657728 79147 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 79147 764 2403 0 91753 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 316588 KiB
[startup+3.10564 s]
/proc/loadavg: 1.23 1.90 2.66 5/258 1000057
/proc/meminfo: memFree=126811596/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324432 CPUtime=3.08 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 60594 0 0 0 297 11 0 0 20 0 1 0 186374815 387657728 81108 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81108 780 2403 0 91753 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324432 KiB
[startup+6.30021 s]
/proc/loadavg: 1.45 1.94 2.67 5/258 1000057
/proc/meminfo: memFree=126243704/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=6.27 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 60619 0 0 0 615 12 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.97 2.68 5/258 1000058
/proc/meminfo: memFree=125530384/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=12.64 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 60669 0 0 0 1250 14 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+25.5002 s]
/proc/loadavg: 2.25 2.09 2.70 5/258 1000060
/proc/meminfo: memFree=125341384/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=25.39 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 60719 0 0 0 2522 17 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+51.1055 s]
/proc/loadavg: 2.85 2.24 2.74 5/256 1000064
/proc/meminfo: memFree=125258240/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=50.91 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 60794 0 0 0 5067 24 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.53 2.81 5/256 1000074
/proc/meminfo: memFree=125213576/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=101.92 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 60844 0 0 0 10156 36 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.84 2.91 5/255 1000084
/proc/meminfo: memFree=124822052/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=161.69 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 60894 0 0 0 16121 48 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.07 2.98 5/255 1000095
/proc/meminfo: memFree=124727356/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=221.45 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 60944 0 0 0 22086 59 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.28 3.06 5/255 1000106
/proc/meminfo: memFree=124440464/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=281.23 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 60994 0 0 0 28050 73 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.43 3.13 5/256 1000119
/proc/meminfo: memFree=124382524/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=341 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 61044 0 0 0 34014 86 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.55 3.19 5/256 1000130
/proc/meminfo: memFree=124369616/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=400.78 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 61094 0 0 0 39980 98 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.66 3.25 5/257 1000143
/proc/meminfo: memFree=124365440/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=460.55 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 61144 0 0 0 45946 109 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
################
# More data... #
################
/proc/loadavg: 4.09 4.12 4.09 5/258 1001795
/proc/meminfo: memFree=124753220/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3270.65 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63494 0 0 0 326413 652 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3270.65 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 1001864
/proc/meminfo: memFree=124751648/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3330.45 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63544 0 0 0 332382 663 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3330.45 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/261 1001877
/proc/meminfo: memFree=124739172/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3390.25 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63594 0 0 0 338350 675 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3390.25 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/260 1001887
/proc/meminfo: memFree=124737896/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3450.06 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63644 0 0 0 344317 689 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3450.06 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 1001898
/proc/meminfo: memFree=124733096/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3509.86 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63694 0 0 0 350284 702 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3509.86 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1001909
/proc/meminfo: memFree=124725608/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3569.66 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63744 0 0 0 356251 715 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3569.66 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3612.79 s]
# the end of solver process 1000054 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.81 s, system=7.24963 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/258 1001909
/proc/meminfo: memFree=124725612/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3571.36 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63744 0 0 0 356421 715 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3596.8 s]
/proc/loadavg: 4.23 4.14 4.10 5/258 1001911
/proc/meminfo: memFree=124722280/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3584.12 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63744 0 0 0 357693 719 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3603.2 s]
/proc/loadavg: 4.21 4.13 4.10 5/258 1001912
/proc/meminfo: memFree=124720464/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3590.49 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63744 0 0 0 358329 720 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3590.49 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3609.6 s]
/proc/loadavg: 4.19 4.13 4.10 4/255 1001927
/proc/meminfo: memFree=125709992/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3596.87 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63749 0 0 0 358965 722 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3596.87 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3611.2 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 1002053
/proc/meminfo: memFree=127712948/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3598.47 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63749 0 0 0 359124 723 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3598.47 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3612 s]*
/proc/loadavg: 4.17 4.13 4.10 5/258 1002053
/proc/meminfo: memFree=127663700/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3599.27 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63765 0 0 0 359204 723 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3599.27 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3612.4 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 1002053
/proc/meminfo: memFree=127663700/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3599.66 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63765 0 0 0 359243 723 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3599.66 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3612.6 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 1002053
/proc/meminfo: memFree=127663700/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3599.86 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63765 0 0 0 359263 723 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3599.86 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
[startup+3612.7 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 1002053
/proc/meminfo: memFree=127663700/131524600 swapFree=131071996/131071996
[pid=1000054] ppid=1000051 vsize=378572 memory=324584 CPUtime=3599.96 cores=0,2
/proc/1000054/stat : 1000054 (LS-MabS) R 1000051 1000054 999982 0 -1 4194304 63765 0 0 0 359273 723 0 0 20 0 1 0 186374815 387657728 81146 134679101440 4194304 14036057 140721866065808 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 49922048 140721866073120 140721866073222 140721866073222 140721866080238 0
/proc/1000054/statm: 94643 81146 780 2403 0 91753 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 378572 KiB
Current children cumulated memory: 324584 KiB
Child status: 0
Real time (s): 3612.79
CPU time (s): 3600.06
CPU user time (s): 3592.81
CPU system time (s): 7.24963
CPU usage (%): 99.6477
Max. virtual memory (cumulated for all children) (KiB): 378572
Max. memory (cumulated for all children) (KiB): 324584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.81
system time used= 7.24963
maximum resident set size= 324584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63767
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= 7
involuntary context switches= 25198
# summary of solver processes directly reported to runsolver:
# pid: 1000054
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.81
# total CPU system time (s): 7.24963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95289 second user time and 16.6852 second system time
The end
Begin job on nodeC031 at 2024-07-19 00:34:38
IDJOB=4446367
IDBENCH=155570
IDSOLVER=3048
FILE ID=nodeC031/4446367-1721342065
RUNJOBID= nodeC031-1721342078-999992
SLURM_JOB_ID= 7542737
Free space on /tmp= 889988 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-139.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-4446367-1721342065/watcher-4446367-1721342065 -o /tmp/evaluation-result-4446367-1721342065/solver-4446367-1721342065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721342078-999992 --watchdog 3760 ./LS-MabS -f HOME/instance-4446367-1721342065.opb -t 3600 -s 1563093586
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b1a9bb408d678f4e4f75286e8bd2bbb9
RANDOM SEED=1563093586
nodeC031.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 : 3673.672
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.55
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 : 3621.976
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.11
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 : 3666.926
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.55
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 : 3681.298
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.11
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 : 3675.062
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.55
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 : 3681.580
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.11
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 : 3638.295
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.55
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 : 3609.694
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128503816 kB
MemAvailable: 129630088 kB
Buffers: 489156 kB
Cached: 1468796 kB
SwapCached: 0 kB
Active: 978844 kB
Inactive: 1423024 kB
Active(anon): 1472 kB
Inactive(anon): 479832 kB
Active(file): 977372 kB
Inactive(file): 943192 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 111676 kB
Writeback: 0 kB
AnonPages: 441988 kB
Mapped: 114936 kB
Shmem: 37720 kB
KReclaimable: 90708 kB
Slab: 202336 kB
SReclaimable: 90708 kB
SUnreclaim: 111628 kB
KernelStack: 4240 kB
PageTables: 10456 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 806056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC031 at 2024-07-19 01:34:51