7.66/7.77 c Filename:instance-4442707-1721306466.opb, Cutoff_time:3600, memory_limit_gb:500000
7.66/7.77 c Not use presolve
3599.99/3608.20 c Use LS-small
3599.99/3608.20 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 (62174 MiB free)
memory of node 1: 64510 MiB (63389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442707-1721306466/watcher-4442707-1721306466 -o /tmp/evaluation-result-4442707-1721306466/solver-4442707-1721306466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721306478-958171 --watchdog 3760 ./LS-MabS -f HOME/instance-4442707-1721306466.opb -t 3600 -s 586688215
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
Current StackSize limit: 8192 KiB
solver pid=958231, runsolver pid=958228
[startup+0.100212 s]*
/proc/loadavg: 1.14 1.37 2.14 5/257 958232
/proc/meminfo: memFree=128532132/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=103452 memory=27664 CPUtime=0.09 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 4773 0 0 0 9 0 0 0 20 0 1 0 182806787 105934848 6916 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 25863 6916 749 2403 0 22973 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103452 KiB
Current children cumulated memory: 27664 KiB
[startup+0.205605 s]*
/proc/loadavg: 1.14 1.37 2.14 5/257 958232
/proc/meminfo: memFree=128508380/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=113748 memory=39016 CPUtime=0.19 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 7587 0 0 0 18 1 0 0 20 0 1 0 182806787 116477952 9754 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 28437 9754 749 2403 0 25547 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 113748 KiB
Current children cumulated memory: 39016 KiB
[startup+0.305256 s]*
/proc/loadavg: 1.14 1.37 2.14 5/257 958232
/proc/meminfo: memFree=128497080/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=123384 memory=49840 CPUtime=0.3 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 10334 0 0 0 28 2 0 0 20 0 1 0 182806787 126345216 12460 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 30846 12460 749 2403 0 27956 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 123384 KiB
Current children cumulated memory: 49840 KiB
[startup+0.700242 s]
/proc/loadavg: 1.14 1.37 2.14 5/257 958232
/proc/meminfo: memFree=128406088/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=330904 memory=265820 CPUtime=0.68 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 62531 0 0 0 60 8 0 0 20 0 1 0 182806787 338845696 66455 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 82726 66455 2077 2403 0 79836 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 330904 KiB
Current children cumulated memory: 265820 KiB
[startup+1.50023 s]
/proc/loadavg: 1.14 1.37 2.14 5/257 958232
/proc/meminfo: memFree=128092360/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=659456 memory=593568 CPUtime=1.49 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 144250 0 0 0 128 21 0 0 20 0 1 0 182806787 675282944 148392 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 164864 148392 2285 2403 0 161974 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 659456 KiB
Current children cumulated memory: 593568 KiB
[startup+3.10576 s]
/proc/loadavg: 1.37 1.41 2.15 5/257 958232
/proc/meminfo: memFree=127797864/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=819504 memory=752984 CPUtime=3.08 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 183102 0 0 0 282 26 0 0 20 0 1 0 182806787 839172096 188246 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 204876 188246 2317 2403 0 201986 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 819504 KiB
Current children cumulated memory: 752984 KiB
[startup+6.30024 s]
/proc/loadavg: 1.37 1.41 2.15 5/257 958234
/proc/meminfo: memFree=127797224/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=842208 memory=776056 CPUtime=6.27 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 188883 0 0 0 599 28 0 0 20 0 1 0 182806787 862420992 193948 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 210552 194014 2365 2403 0 207662 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 842208 KiB
Current children cumulated memory: 776056 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.46 2.16 5/257 958234
/proc/meminfo: memFree=127194148/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1429876 memory=1353852 CPUtime=12.65 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 337098 0 0 0 1211 54 0 0 20 0 1 0 182806787 1464193024 338463 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 357469 338463 2461 2403 0 354579 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1429876 KiB
Current children cumulated memory: 1353852 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.58 2.19 5/257 958235
/proc/meminfo: memFree=127225364/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1504596 memory=1320608 CPUtime=25.42 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 339573 0 0 0 2486 56 0 0 20 0 1 0 182806787 1540706304 330152 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 376149 330152 2461 2403 0 373259 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1504596 KiB
Current children cumulated memory: 1320608 KiB
[startup+51.1052 s]
/proc/loadavg: 2.83 1.79 2.24 5/257 958240
/proc/meminfo: memFree=127208988/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1595652 memory=1329948 CPUtime=50.95 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 340743 0 0 0 5038 57 0 0 20 0 1 0 182806787 1633947648 332487 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 398913 332487 2461 2403 0 396023 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1595652 KiB
Current children cumulated memory: 1329948 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 2.14 2.34 5/257 958249
/proc/meminfo: memFree=126902408/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=2044220 memory=1633452 CPUtime=102.01 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 442118 0 0 0 10126 75 0 0 20 0 1 0 182806787 2093281280 408363 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 511055 408363 2461 2403 0 508165 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2044220 KiB
Current children cumulated memory: 1633452 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.49 2.45 5/257 958260
/proc/meminfo: memFree=126897564/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=2047424 memory=1637412 CPUtime=161.84 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 443139 0 0 0 16108 76 0 0 20 0 1 0 182806787 2096562176 409353 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 511856 409353 2461 2403 0 508966 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2047424 KiB
Current children cumulated memory: 1637412 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.80 2.56 5/257 958271
/proc/meminfo: memFree=126729940/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=2251336 memory=1803660 CPUtime=221.66 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 490648 0 0 0 22083 83 0 0 20 0 1 0 182806787 2305368064 450915 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 562834 450915 2461 2403 0 559944 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2251336 KiB
Current children cumulated memory: 1803660 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.05 2.66 5/255 958281
/proc/meminfo: memFree=126727764/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=2251336 memory=1804928 CPUtime=281.48 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 490813 0 0 0 28064 84 0 0 20 0 1 0 182806787 2305368064 451232 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 562834 451232 2461 2403 0 559944 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2251336 KiB
Current children cumulated memory: 1804928 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.24 2.75 5/254 958291
/proc/meminfo: memFree=126727224/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=2251336 memory=1804932 CPUtime=341.29 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 491007 0 0 0 34044 85 0 0 20 0 1 0 182806787 2305368064 451233 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 562834 451233 2461 2403 0 559944 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 2251336 KiB
Current children cumulated memory: 1804932 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.41 2.84 5/255 958303
/proc/meminfo: memFree=126726316/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=2251336 memory=1804940 CPUtime=401.11 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 491224 0 0 0 40026 85 0 0 20 0 1 0 182806787 2305368064 451235 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 562834 451235 2461 2403 0 559944 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 2251336 KiB
Current children cumulated memory: 1804940 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.54 2.93 5/255 958314
/proc/meminfo: memFree=126724384/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=2251336 memory=1805984 CPUtime=460.94 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 491560 0 0 0 46008 86 0 0 20 0 1 0 182806787 2305368064 451496 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 562834 451496 2461 2403 0 559944 0
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.05 5/258 959993
/proc/meminfo: memFree=126881740/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3154.9 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 560739 0 0 0 313945 1545 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3154.9 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/258 960004
/proc/meminfo: memFree=126880980/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3214.78 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 560926 0 0 0 319870 1608 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3214.78 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/255 960014
/proc/meminfo: memFree=126880456/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3274.67 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 561110 0 0 0 325797 1670 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/254 960024
/proc/meminfo: memFree=126879744/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3334.57 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 561297 0 0 0 331722 1735 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3334.57 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/254 960035
/proc/meminfo: memFree=126879120/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3394.46 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 561481 0 0 0 337645 1801 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3394.46 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/255 960046
/proc/meminfo: memFree=126878304/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3454.36 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 561668 0 0 0 343572 1864 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3454.36 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/255 960056
/proc/meminfo: memFree=126877648/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3514.25 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 561852 0 0 0 349500 1925 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3514.25 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/257 960071
/proc/meminfo: memFree=126876720/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3574.14 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 562039 0 0 0 355427 1987 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3574.14 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3608.22 s]
# the end of solver process 958231 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.84 s, system=20.1788 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.09 4.06 5/257 960071
/proc/meminfo: memFree=126876740/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3575.84 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 562039 0 0 0 355595 1989 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3575.84 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.09 4.06 5/257 960074
/proc/meminfo: memFree=126876148/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3588.62 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 562092 0 0 0 356858 2004 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3588.62 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3603.2 s]
/proc/loadavg: 4.05 4.09 4.06 5/257 960074
/proc/meminfo: memFree=126876172/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3594.99 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 562117 0 0 0 357489 2010 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3594.99 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.10 4.06 4/255 960077
/proc/meminfo: memFree=126893492/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3598.19 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 562117 0 0 0 357804 2015 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3598.19 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3607.2 s]
/proc/loadavg: 4.12 4.10 4.06 6/257 960123
/proc/meminfo: memFree=126669952/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3598.99 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 562117 0 0 0 357883 2016 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3598.99 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3608 s]*
/proc/loadavg: 4.12 4.10 4.06 4/255 960123
/proc/meminfo: memFree=126424316/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3599.8 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 562117 0 0 0 357963 2017 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3599.8 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
[startup+3608.2 s]
/proc/loadavg: 4.12 4.10 4.06 4/255 960123
/proc/meminfo: memFree=126424316/131524600 swapFree=131071996/131071996
[pid=958231] ppid=958228 vsize=1723964 memory=1717092 CPUtime=3599.99 cores=1,3
/proc/958231/stat : 958231 (LS-MabS) R 958228 958231 958159 0 -1 4194304 562117 0 0 0 357982 2017 0 0 20 0 1 0 182806787 1765339136 429273 134679101440 4194304 14036057 140720566228816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 50839552 140720566236193 140720566236294 140720566236294 140720566243310 0
/proc/958231/statm: 430991 429273 2492 2403 0 428101 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 1723964 KiB
Current children cumulated memory: 1717092 KiB
Child status: 0
Real time (s): 3608.22
CPU time (s): 3600.02
CPU user time (s): 3579.84
CPU system time (s): 20.1788
CPU usage (%): 99.7727
Max. virtual memory (cumulated for all children) (KiB): 2489512
Max. memory (cumulated for all children) (KiB): 2104152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.84
system time used= 20.1788
maximum resident set size= 2104152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562127
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= 65
involuntary context switches= 1100
# summary of solver processes directly reported to runsolver:
# pid: 958231
# total CPU time (s): 3600.02
# total CPU user time (s): 3579.84
# total CPU system time (s): 20.1788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.867 second user time and 16.0402 second system time
The end
Begin job on nodeC015 at 2024-07-18 14:41:18
IDJOB=4442707
IDBENCH=147844
IDSOLVER=3048
FILE ID=nodeC015/4442707-1721306466
RUNJOBID= nodeC015-1721306478-958171
SLURM_JOB_ID= 7542644
Free space on /tmp= 890036 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-95-90.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-4442707-1721306466/watcher-4442707-1721306466 -o /tmp/evaluation-result-4442707-1721306466/solver-4442707-1721306466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721306478-958171 --watchdog 3760 ./LS-MabS -f HOME/instance-4442707-1721306466.opb -t 3600 -s 586688215
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6537247428469e6459e4298d22ed7785
RANDOM SEED=586688215
nodeC015.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 : 3662.356
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.61
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 : 3666.546
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.25
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 : 3633.789
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.61
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 : 3666.360
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.25
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 : 3650.646
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.61
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 : 3668.007
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.25
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 : 3665.400
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.61
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 : 3635.218
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128580704 kB
MemAvailable: 129635684 kB
Buffers: 484728 kB
Cached: 1398192 kB
SwapCached: 0 kB
Active: 1582344 kB
Inactive: 728508 kB
Active(anon): 1460 kB
Inactive(anon): 464508 kB
Active(file): 1580884 kB
Inactive(file): 264000 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 62320 kB
Writeback: 0 kB
AnonPages: 426744 kB
Mapped: 134356 kB
Shmem: 37720 kB
KReclaimable: 99488 kB
Slab: 212444 kB
SReclaimable: 99488 kB
SUnreclaim: 112956 kB
KernelStack: 4144 kB
PageTables: 10572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 845332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 262144 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: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC015 at 2024-07-18 15:41:26