1795.82/1800.41 c Filename:instance-4452747-1721455749.opb, Cutoff_time:3600, memory_limit_gb:500000
1795.82/1800.41 c Not use presolve
3599.99/3607.71 c Use LS-small
3599.99/3607.71 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 (61542 MiB free)
memory of node 1: 64510 MiB (60089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452747-1721455749/watcher-4452747-1721455749 -o /tmp/evaluation-result-4452747-1721455749/solver-4452747-1721455749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721455760-1039208 --watchdog 3760 ./LS-MabS -f HOME/instance-4452747-1721455749.opb -t 3600 -s 1660432785
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1039268, runsolver pid=1039265
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 1.96 3.53 3.99 5/241 1039269
/proc/meminfo: memFree=124491860/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=30120 memory=11804 CPUtime=0.11 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 2381 0 0 0 10 1 0 0 20 0 1 0 197734084 30842880 2951 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 7530 2951 749 2403 0 4640 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 30120 KiB
Current children cumulated memory: 11804 KiB
[startup+0.213672 s]*
/proc/loadavg: 1.96 3.53 3.99 5/241 1039269
/proc/meminfo: memFree=124413840/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=63964 memory=49928 CPUtime=0.21 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 10704 0 0 0 18 3 0 0 20 0 1 0 197734084 65499136 12482 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 15991 12482 2045 2403 0 13101 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63964 KiB
Current children cumulated memory: 49928 KiB
[startup+0.313602 s]*
/proc/loadavg: 1.96 3.53 3.99 5/241 1039269
/proc/meminfo: memFree=124338696/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=96936 memory=84108 CPUtime=0.31 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 19089 0 0 0 25 6 0 0 20 0 1 0 197734084 99262464 21027 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 24234 21027 2221 2403 0 21344 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 96936 KiB
Current children cumulated memory: 84108 KiB
[startup+0.700386 s]
/proc/loadavg: 1.96 3.53 3.99 5/241 1039269
/proc/meminfo: memFree=124221864/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=172188 memory=154836 CPUtime=0.68 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 36690 0 0 0 57 11 0 0 20 0 1 0 197734084 176320512 38709 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 43047 38709 2285 2403 0 40157 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 172188 KiB
Current children cumulated memory: 154836 KiB
[startup+1.50038 s]
/proc/loadavg: 1.96 3.53 3.99 5/241 1039271
/proc/meminfo: memFree=124066184/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=225808 memory=206324 CPUtime=1.48 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 51611 0 0 0 133 15 0 0 20 0 1 0 197734084 231227392 51581 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 56452 51581 2413 2403 0 53562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 225808 KiB
Current children cumulated memory: 206324 KiB
[startup+3.11302 s]
/proc/loadavg: 1.96 3.53 3.99 5/241 1039271
/proc/meminfo: memFree=123909032/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=244352 memory=223056 CPUtime=3.09 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 55757 0 0 0 293 16 0 0 20 0 1 0 197734084 250216448 55764 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61088 55764 2445 2403 0 58198 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 244352 KiB
Current children cumulated memory: 223056 KiB
[startup+6.30027 s]
/proc/loadavg: 2.12 3.54 3.99 5/242 1039272
/proc/meminfo: memFree=123906972/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=244352 memory=223056 CPUtime=6.27 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 55768 0 0 0 610 17 0 0 20 0 1 0 197734084 250216448 55764 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61088 55764 2445 2403 0 58198 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 244352 KiB
Current children cumulated memory: 223056 KiB
[startup+12.7002 s]
/proc/loadavg: 2.27 3.55 3.99 5/242 1039273
/proc/meminfo: memFree=123906888/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=244352 memory=223056 CPUtime=12.65 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 55769 0 0 0 1248 17 0 0 20 0 1 0 197734084 250216448 55764 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61088 55764 2445 2403 0 58198 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 244352 KiB
Current children cumulated memory: 223056 KiB
[startup+25.5003 s]
/proc/loadavg: 2.72 3.59 4.00 5/242 1039275
/proc/meminfo: memFree=123905108/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=244352 memory=223056 CPUtime=25.42 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 55798 0 0 0 2524 18 0 0 20 0 1 0 197734084 250216448 55764 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61088 55764 2445 2403 0 58198 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 244352 KiB
Current children cumulated memory: 223056 KiB
[startup+51.1119 s]
/proc/loadavg: 3.16 3.62 4.00 5/242 1039279
/proc/meminfo: memFree=123901624/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=244352 memory=223056 CPUtime=50.96 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 55799 0 0 0 5075 21 0 0 20 0 1 0 197734084 250216448 55764 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61088 55764 2445 2403 0 58198 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 244352 KiB
Current children cumulated memory: 223056 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 3.70 4.00 5/244 1039292
/proc/meminfo: memFree=123897648/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=244352 memory=223056 CPUtime=102.01 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 55806 0 0 0 10175 26 0 0 20 0 1 0 197734084 250216448 55764 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61088 55764 2445 2403 0 58198 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 244352 KiB
Current children cumulated memory: 223056 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.80 4.01 5/244 1039302
/proc/meminfo: memFree=123892920/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=245280 memory=225120 CPUtime=161.83 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 56211 0 0 0 16154 29 0 0 20 0 1 0 197734084 251166720 56280 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61320 56280 2701 2403 0 58430 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 245280 KiB
Current children cumulated memory: 225120 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.84 4.01 5/244 1039313
/proc/meminfo: memFree=123882440/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=245508 memory=225376 CPUtime=221.67 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 56281 0 0 0 22137 30 0 0 20 0 1 0 197734084 251400192 56344 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61377 56344 2701 2403 0 58487 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 245508 KiB
Current children cumulated memory: 225376 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.92 4.02 5/244 1039323
/proc/meminfo: memFree=123871760/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=245508 memory=225376 CPUtime=281.5 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 56290 0 0 0 28119 31 0 0 20 0 1 0 197734084 251400192 56344 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61377 56344 2701 2403 0 58487 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 245508 KiB
Current children cumulated memory: 225376 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.95 4.02 5/243 1039335
/proc/meminfo: memFree=123867252/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=246252 memory=230256 CPUtime=341.32 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 56458 0 0 0 34100 32 0 0 20 0 1 0 197734084 252162048 57564 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61563 57564 2701 2403 0 58673 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 246252 KiB
Current children cumulated memory: 230256 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.97 4.02 5/241 1039346
/proc/meminfo: memFree=123862120/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=246252 memory=234380 CPUtime=401.17 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 56513 0 0 0 40085 32 0 0 20 0 1 0 197734084 252162048 58595 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61563 58595 2701 2403 0 58673 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 246252 KiB
Current children cumulated memory: 234380 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.00 4.02 5/241 1039356
/proc/meminfo: memFree=123857668/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=246252 memory=237148 CPUtime=461.02 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 56556 0 0 0 46070 32 0 0 20 0 1 0 197734084 252162048 59287 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 61563 59287 2701 2403 0 58673 0
################
# More data... #
################
/proc/loadavg: 4.12 4.15 4.18 5/243 1041029
/proc/meminfo: memFree=124160484/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3215.26 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57823 0 0 0 315300 6226 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3215.26 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/242 1041039
/proc/meminfo: memFree=124159956/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3275.15 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57830 0 0 0 321006 6509 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3275.15 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/242 1041050
/proc/meminfo: memFree=124159816/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3335.05 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57837 0 0 0 326708 6797 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3335.05 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/241 1041061
/proc/meminfo: memFree=124159608/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3394.94 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57844 0 0 0 332488 7006 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3394.94 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/241 1041071
/proc/meminfo: memFree=124159320/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3454.83 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57851 0 0 0 338192 7291 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3454.83 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.15 4.17 5/241 1041081
/proc/meminfo: memFree=124158992/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3514.73 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57858 0 0 0 344003 7470 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3514.73 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/241 1041091
/proc/meminfo: memFree=124158768/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3574.63 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57865 0 0 0 349540 7923 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3574.63 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3607.71 s]
# the end of solver process 1039268 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3519.51 s, system=80.5001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.14 4.17 5/241 1041091
/proc/meminfo: memFree=124158732/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3576.34 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57865 0 0 0 349671 7963 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3576.34 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.15 4.17 5/241 1041095
/proc/meminfo: memFree=124158772/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3589.11 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57865 0 0 0 350889 8022 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3589.11 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3603.2 s]
/proc/loadavg: 4.15 4.14 4.17 5/241 1041096
/proc/meminfo: memFree=124158744/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3595.5 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57865 0 0 0 351509 8041 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3595.5 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3604.8 s]
/proc/loadavg: 4.15 4.14 4.17 5/241 1041096
/proc/meminfo: memFree=124158744/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3597.09 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57865 0 0 0 351666 8043 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3597.09 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3606.4 s]
/proc/loadavg: 4.14 4.14 4.17 5/241 1041097
/proc/meminfo: memFree=124158604/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3598.69 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57865 0 0 0 351823 8046 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3598.69 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3607.2 s]
/proc/loadavg: 4.14 4.14 4.17 6/241 1041143
/proc/meminfo: memFree=124232632/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3599.49 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57865 0 0 0 351901 8048 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3599.49 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3607.6 s]
/proc/loadavg: 4.14 4.14 4.17 6/241 1041143
/proc/meminfo: memFree=124232632/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3599.89 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57865 0 0 0 351940 8049 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3599.89 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
[startup+3607.7 s]
/proc/loadavg: 4.14 4.14 4.17 6/241 1041143
/proc/meminfo: memFree=124232632/131655788 swapFree=131071996/131071996
[pid=1039268] ppid=1039265 vsize=109748 memory=103796 CPUtime=3599.99 cores=1,3
/proc/1039268/stat : 1039268 (LS-MabS) R 1039265 1039268 1039196 0 -1 4194304 57865 0 0 0 351950 8049 0 0 20 0 1 0 197734084 112381952 25949 134679101440 4194304 14036057 140731023203952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 33038336 140731023205407 140731023205509 140731023205509 140731023212526 0
/proc/1039268/statm: 27437 25949 2732 2403 0 24547 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 103796 KiB
Child status: 0
Real time (s): 3607.71
CPU time (s): 3600.01
CPU user time (s): 3519.51
CPU system time (s): 80.5001
CPU usage (%): 99.7865
Max. virtual memory (cumulated for all children) (KiB): 247140
Max. memory (cumulated for all children) (KiB): 238292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3519.51
system time used= 80.5001
maximum resident set size= 238296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57873
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= 21
involuntary context switches= 1083
# summary of solver processes directly reported to runsolver:
# pid: 1039268
# total CPU time (s): 3600.01
# total CPU user time (s): 3519.51
# total CPU system time (s): 80.5001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3793 second user time and 29.2834 second system time
The end
Begin job on nodeC010 at 2024-07-20 08:09:20
IDJOB=4452747
IDBENCH=165316
IDSOLVER=3048
FILE ID=nodeC010/4452747-1721455749
RUNJOBID= nodeC010-1721455760-1039208
SLURM_JOB_ID= 7545687
Free space on /tmp= 723740 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.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-4452747-1721455749/watcher-4452747-1721455749 -o /tmp/evaluation-result-4452747-1721455749/solver-4452747-1721455749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721455760-1039208 --watchdog 3760 ./LS-MabS -f HOME/instance-4452747-1721455749.opb -t 3600 -s 1660432785
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3c218acab88c9e5abe907b008036492
RANDOM SEED=1660432785
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.211
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.361
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.173
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.172
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.207
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.253
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.173
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: 124571828 kB
MemAvailable: 129841040 kB
Buffers: 544500 kB
Cached: 5511544 kB
SwapCached: 0 kB
Active: 1073232 kB
Inactive: 5325832 kB
Active(anon): 1364 kB
Inactive(anon): 387556 kB
Active(file): 1071868 kB
Inactive(file): 4938276 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 55084 kB
Writeback: 0 kB
AnonPages: 343172 kB
Mapped: 110500 kB
Shmem: 45896 kB
KReclaimable: 198200 kB
Slab: 313928 kB
SReclaimable: 198200 kB
SUnreclaim: 115728 kB
KernelStack: 3776 kB
PageTables: 10244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 855092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62080 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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= 723728 MiB
End job on nodeC010 at 2024-07-20 09:09:28