0.00/0.08 c Filename:instance-4449987-1721406724.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.08 c Not use presolve
3599.96/3609.33 c Use LS-small
3599.96/3609.33 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: 63968 MiB (62866 MiB free)
memory of node 1: 64473 MiB (63309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449987-1721406724/watcher-4449987-1721406724 -o /tmp/evaluation-result-4449987-1721406724/solver-4449987-1721406724 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721406737-1010690 --watchdog 3760 ./LS-MabS -f HOME/instance-4449987-1721406724.opb -t 3600 -s 1519585420
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=1010746, runsolver pid=1010737
[startup+0.100722 s]*
/proc/loadavg: 1.15 1.10 1.15 6/258 1010751
/proc/meminfo: memFree=129125764/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=42568 memory=32016 CPUtime=0.09 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 5852 0 0 0 9 0 0 0 20 0 1 0 192839465 43589632 8004 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 10642 8004 2461 2403 0 7752 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42568 KiB
Current children cumulated memory: 32016 KiB
[startup+0.205968 s]*
/proc/loadavg: 1.15 1.10 1.15 7/258 1010751
/proc/meminfo: memFree=129100436/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=38688 memory=29464 CPUtime=0.19 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 5969 0 0 0 19 0 0 0 20 0 1 0 192839465 39616512 7366 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 9672 7366 2461 2403 0 6782 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38688 KiB
Current children cumulated memory: 29464 KiB
[startup+0.306237 s]*
/proc/loadavg: 1.15 1.10 1.15 6/258 1010751
/proc/meminfo: memFree=129098888/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=39148 memory=29984 CPUtime=0.29 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 6081 0 0 0 29 0 0 0 20 0 1 0 192839465 40087552 7496 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 9787 7496 2461 2403 0 6897 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39148 KiB
Current children cumulated memory: 29984 KiB
[startup+0.700223 s]
/proc/loadavg: 1.15 1.10 1.15 6/258 1010751
/proc/meminfo: memFree=129092588/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=55160 memory=44792 CPUtime=0.69 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 10063 0 0 0 68 1 0 0 20 0 1 0 192839465 56483840 11198 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 13790 11198 2461 2403 0 10900 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55160 KiB
Current children cumulated memory: 44792 KiB
[startup+1.50022 s]
/proc/loadavg: 1.37 1.15 1.16 6/258 1010751
/proc/meminfo: memFree=129042100/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=56324 memory=46104 CPUtime=1.48 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 10382 0 0 0 147 1 0 0 20 0 1 0 192839465 57675776 11526 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 14081 11526 2461 2403 0 11191 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56324 KiB
Current children cumulated memory: 46104 KiB
[startup+3.10588 s]
/proc/loadavg: 1.37 1.15 1.16 6/258 1010751
/proc/meminfo: memFree=129030008/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=59404 memory=48472 CPUtime=3.08 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 10996 0 0 0 307 1 0 0 20 0 1 0 192839465 60829696 12118 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 14851 12118 2461 2403 0 11961 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59404 KiB
Current children cumulated memory: 48472 KiB
[startup+6.3002 s]
/proc/loadavg: 1.59 1.20 1.18 6/258 1010753
/proc/meminfo: memFree=128968232/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=61768 memory=51112 CPUtime=6.26 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 11658 0 0 0 625 1 0 0 20 0 1 0 192839465 63250432 12778 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 15442 12778 2461 2403 0 12552 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 61768 KiB
Current children cumulated memory: 51112 KiB
[startup+12.7002 s]
/proc/loadavg: 1.78 1.24 1.19 6/258 1010753
/proc/meminfo: memFree=128936072/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=65992 memory=55840 CPUtime=12.64 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 13098 0 0 0 1263 1 0 0 20 0 1 0 192839465 67575808 13960 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 16498 13960 2461 2403 0 13608 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 65992 KiB
Current children cumulated memory: 55840 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.33 1.22 6/258 1010754
/proc/meminfo: memFree=128887660/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=84544 memory=74644 CPUtime=25.39 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 18245 0 0 0 2537 2 0 0 20 0 1 0 192839465 86573056 18661 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 21136 18661 2461 2403 0 18246 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 84544 KiB
Current children cumulated memory: 74644 KiB
[startup+51.1058 s]
/proc/loadavg: 2.86 1.59 1.31 6/258 1010760
/proc/meminfo: memFree=128832556/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=123472 memory=112000 CPUtime=50.91 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 27647 0 0 0 5087 4 0 0 20 0 1 0 192839465 126435328 28000 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 30868 28000 2461 2403 0 27978 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 123472 KiB
Current children cumulated memory: 112000 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.98 1.46 6/256 1010768
/proc/meminfo: memFree=128702424/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=191408 memory=179288 CPUtime=101.92 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 45108 0 0 0 10185 7 0 0 20 0 1 0 192839465 196001792 44822 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 47852 44822 2461 2403 0 44962 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 191408 KiB
Current children cumulated memory: 179288 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.36 1.63 6/256 1010779
/proc/meminfo: memFree=128536860/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=272792 memory=260368 CPUtime=161.7 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 66094 0 0 0 16159 11 0 0 20 0 1 0 192839465 279339008 65092 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 68198 65092 2461 2403 0 65308 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 272792 KiB
Current children cumulated memory: 260368 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 2.76 1.81 6/255 1010790
/proc/meminfo: memFree=128440596/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=355448 memory=342820 CPUtime=221.46 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 86968 0 0 0 22132 14 0 0 20 0 1 0 192839465 363978752 85705 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 88862 85705 2461 2403 0 85972 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 355448 KiB
Current children cumulated memory: 342820 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 3.03 1.97 6/255 1010800
/proc/meminfo: memFree=128351860/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=442704 memory=428320 CPUtime=281.24 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 108376 0 0 0 28106 18 0 0 20 0 1 0 192839465 453328896 107080 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 110676 107080 2461 2403 0 107786 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 442704 KiB
Current children cumulated memory: 428320 KiB
[startup+342.3 s]
/proc/loadavg: 4.72 3.43 2.17 6/255 1010811
/proc/meminfo: memFree=128255644/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=513680 memory=503156 CPUtime=341.01 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 127410 0 0 0 34080 21 0 0 20 0 1 0 192839465 526008320 125789 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 128420 125789 2461 2403 0 125530 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 513680 KiB
Current children cumulated memory: 503156 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 3.55 2.30 6/255 1010821
/proc/meminfo: memFree=128170412/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=596704 memory=585744 CPUtime=400.78 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 149190 0 0 0 40054 24 0 0 20 0 1 0 192839465 611024896 146436 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 149176 146436 2461 2403 0 146286 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 596704 KiB
Current children cumulated memory: 585744 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.65 2.41 6/255 1010831
/proc/meminfo: memFree=128083032/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=677828 memory=666128 CPUtime=460.57 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 170692 0 0 0 46029 28 0 0 20 0 1 0 192839465 694095872 166532 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 169457 166532 2461 2403 0 166567 0
################
# More data... #
################
/proc/loadavg: 4.15 4.12 4.03 6/257 1012291
/proc/meminfo: memFree=127228216/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3213.58 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619827 0 0 0 295770 25588 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.03 6/257 1012302
/proc/meminfo: memFree=127227824/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3273.48 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619830 0 0 0 300691 26657 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.03 6/257 1012313
/proc/meminfo: memFree=127227684/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3333.38 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619833 0 0 0 305611 27727 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.03 6/256 1012491
/proc/meminfo: memFree=127227196/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3393.29 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619836 0 0 0 310522 28807 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/256 1012501
/proc/meminfo: memFree=127226940/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3453.19 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619839 0 0 0 315432 29887 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.03 6/257 1012571
/proc/meminfo: memFree=127226580/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3513.1 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619842 0 0 0 320349 30961 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.03 6/258 1012582
/proc/meminfo: memFree=127226412/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3573 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619845 0 0 0 325260 32040 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3609.33 s]
# the end of solver process 1010746 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3274.82 s, system=325.189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.08 4.03 6/258 1012582
/proc/meminfo: memFree=127226464/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3574.71 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619845 0 0 0 325401 32070 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3574.71 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.08 4.03 6/258 1012585
/proc/meminfo: memFree=127226348/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3587.48 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619846 0 0 0 326453 32295 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3603.2 s]
/proc/loadavg: 4.06 4.08 4.03 6/258 1012585
/proc/meminfo: memFree=127226340/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3593.87 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619846 0 0 0 326976 32411 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3593.87 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3606.4 s]
/proc/loadavg: 4.06 4.08 4.03 5/251 1012619
/proc/meminfo: memFree=127475452/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3597.07 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619847 0 0 0 327237 32470 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3597.07 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3608 s]*
/proc/loadavg: 4.05 4.08 4.03 5/251 1012619
/proc/meminfo: memFree=127476140/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3598.67 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619847 0 0 0 327371 32496 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3598.67 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3608.8 s]
/proc/loadavg: 4.05 4.08 4.03 5/251 1012619
/proc/meminfo: memFree=127476140/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3599.46 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619847 0 0 0 327437 32509 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3599.46 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3609.2 s]
/proc/loadavg: 4.05 4.08 4.03 2/237 1012681
/proc/meminfo: memFree=127812804/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3599.87 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619847 0 0 0 327471 32516 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3599.87 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
[startup+3609.3 s]
/proc/loadavg: 4.05 4.08 4.03 2/237 1012681
/proc/meminfo: memFree=127812804/131524600 swapFree=131071996/131071996
[pid=1010746] ppid=1010737 vsize=1438420 memory=1431544 CPUtime=3599.96 cores=1,3
/proc/1010746/stat : 1010746 (LS-MabS) R 1010737 1010746 1006701 0 -1 4194304 619847 0 0 0 327479 32517 0 0 20 0 1 0 192839465 1472942080 357886 134679101440 4194304 14036057 140735293269440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 31911936 140735293273119 140735293273221 140735293273221 140735293280238 0
/proc/1010746/statm: 359605 357886 2492 2403 0 356715 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 1438420 KiB
Current children cumulated memory: 1431544 KiB
Child status: 0
Real time (s): 3609.33
CPU time (s): 3600.01
CPU user time (s): 3274.82
CPU system time (s): 325.189
CPU usage (%): 99.7416
Max. virtual memory (cumulated for all children) (KiB): 2361972
Max. memory (cumulated for all children) (KiB): 2344624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3274.82
system time used= 325.189
maximum resident set size= 2344880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 619852
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= 189
involuntary context switches= 2884
# summary of solver processes directly reported to runsolver:
# pid: 1010746
# total CPU time (s): 3600.01
# total CPU user time (s): 3274.82
# total CPU system time (s): 325.189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22723 second user time and 15.2241 second system time
The end
Begin job on nodeC028 at 2024-07-19 18:32:17
IDJOB=4449987
IDBENCH=160356
IDSOLVER=3048
FILE ID=nodeC028/4449987-1721406724
RUNJOBID= nodeC028-1721406737-1010690
SLURM_JOB_ID= 7545451
Free space on /tmp= 890056 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x80split.cnf-plain.pb.metafix.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-4449987-1721406724/watcher-4449987-1721406724 -o /tmp/evaluation-result-4449987-1721406724/solver-4449987-1721406724 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721406737-1010690 --watchdog 3760 ./LS-MabS -f HOME/instance-4449987-1721406724.opb -t 3600 -s 1519585420
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4bfcc12bbb5b471fba8851c094b6b9f6
RANDOM SEED=1519585420
nodeC028.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 : 3600.598
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.56
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 : 3670.331
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 : 7005.59
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 : 3660.209
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.56
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 : 3600.094
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 : 7005.59
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 : 3665.381
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.56
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 : 3670.314
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 : 7005.59
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 : 3641.366
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.56
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 : 3600.313
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 : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129216116 kB
MemAvailable: 129737940 kB
Buffers: 522924 kB
Cached: 848292 kB
SwapCached: 0 kB
Active: 1023228 kB
Inactive: 688340 kB
Active(anon): 1472 kB
Inactive(anon): 384820 kB
Active(file): 1021756 kB
Inactive(file): 303520 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 51936 kB
Writeback: 0 kB
AnonPages: 337628 kB
Mapped: 107216 kB
Shmem: 45912 kB
KReclaimable: 72744 kB
Slab: 180436 kB
SReclaimable: 72744 kB
SUnreclaim: 107692 kB
KernelStack: 4000 kB
PageTables: 9736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 738920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 366592 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC028 at 2024-07-19 19:32:26