0.00/0.00 c Filename:instance-4428129-1722773150.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
0.59/0.63 c Use LS-small
0.59/0.63 o 1120
3557.92/3563.37 s SATISFIABLE
3557.92/3563.37 v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89
3557.92/3563.37 c Done 0.62s
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 (61480 MiB free)
memory of node 1: 64473 MiB (63508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428129-1722773150/watcher-4428129-1722773150 -o /tmp/evaluation-result-4428129-1722773150/solver-4428129-1722773150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722769581-237339 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428129-1722773150.opb -t 3558 -s 895189054
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=239367, runsolver pid=239361
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 4.14 4.10 4.03 3/245 239372
/proc/meminfo: memFree=128004232/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=26580 memory=17044 CPUtime=0.09 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 2075 0 0 0 9 0 0 0 20 0 1 0 43703200 27217920 4261 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 6645 4261 2461 2403 0 3755 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26580 KiB
Current children cumulated memory: 17044 KiB
[startup+0.204506 s]*
/proc/loadavg: 4.14 4.10 4.03 4/245 239375
/proc/meminfo: memFree=127989360/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=28308 memory=18892 CPUtime=0.19 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 2490 0 0 0 19 0 0 0 20 0 1 0 43703200 28987392 4723 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 7077 4723 2461 2403 0 4187 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28308 KiB
Current children cumulated memory: 18892 KiB
[startup+0.304344 s]*
/proc/loadavg: 4.14 4.10 4.03 4/251 239385
/proc/meminfo: memFree=127977724/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=29576 memory=19948 CPUtime=0.29 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 2804 0 0 0 29 0 0 0 20 0 1 0 43703200 30285824 4987 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 7394 4987 2461 2403 0 4504 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29576 KiB
Current children cumulated memory: 19948 KiB
[startup+0.700148 s]
/proc/loadavg: 4.13 4.10 4.02 4/251 239385
/proc/meminfo: memFree=127965564/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24152 CPUtime=0.69 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 68 1 0 0 20 0 1 0 43703200 33292288 6038 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6038 2476 2403 0 5238 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24152 KiB
[startup+1.50015 s]
/proc/loadavg: 4.13 4.10 4.02 4/251 239385
/proc/meminfo: memFree=127959640/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24152 CPUtime=1.48 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 139 9 0 0 20 0 1 0 43703200 33292288 6038 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6038 2476 2403 0 5238 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24152 KiB
[startup+3.1051 s]
/proc/loadavg: 4.13 4.10 4.02 5/256 239425
/proc/meminfo: memFree=127913260/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24172 CPUtime=3.09 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 285 24 0 0 20 0 1 0 43703200 33292288 6043 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6043 2476 2403 0 5238 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24172 KiB
[startup+6.30013 s]
/proc/loadavg: 4.12 4.10 4.02 5/256 239425
/proc/meminfo: memFree=127828344/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24172 CPUtime=6.28 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 574 54 0 0 20 0 1 0 43703200 33292288 6043 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6043 2476 2403 0 5238 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24172 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.10 4.02 5/256 239427
/proc/meminfo: memFree=127790596/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=12.67 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 1157 110 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.02 5/256 239428
/proc/meminfo: memFree=127766200/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=25.45 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 2312 233 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+51.1049 s]
/proc/loadavg: 4.12 4.10 4.03 5/254 239432
/proc/meminfo: memFree=127736884/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=51.01 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 4598 503 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/254 239442
/proc/meminfo: memFree=127637904/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=102.12 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 9180 1032 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.03 5/254 239453
/proc/meminfo: memFree=127569944/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=162.03 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 14560 1643 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 162.03 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/254 239463
/proc/meminfo: memFree=127469476/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=221.93 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 19949 2244 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 221.93 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/254 239473
/proc/meminfo: memFree=127399792/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=281.84 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 25343 2841 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 281.84 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.04 5/256 239488
/proc/meminfo: memFree=127324616/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=341.75 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 30732 3443 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 341.75 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/256 239498
/proc/meminfo: memFree=127260424/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=401.65 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 36123 4042 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 401.65 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/256 239509
/proc/meminfo: memFree=127194052/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=461.56 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 41513 4643 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
################
# More data... #
################
/proc/loadavg: 4.33 4.21 4.14 5/258 241179
/proc/meminfo: memFree=126415544/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3217.42 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 289074 32668 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3217.42 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/258 241190
/proc/meminfo: memFree=126414996/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3277.33 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 294466 33267 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3277.33 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/257 241215
/proc/meminfo: memFree=126414508/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3337.25 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 299844 33881 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3337.25 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/257 241225
/proc/meminfo: memFree=126413804/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3397.15 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 305229 34486 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3397.15 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/257 241236
/proc/meminfo: memFree=126413292/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3457.07 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 310610 35097 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3457.07 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/255 241249
/proc/meminfo: memFree=126412668/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3516.98 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 315986 35712 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3516.98 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3563.37 s]
# the end of solver process 239367 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3196.62 s, system=361.385 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.14 4.16 4.12 5/255 241250
/proc/meminfo: memFree=126412552/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3527.47 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 316929 35818 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3527.47 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3545.6 s]
/proc/loadavg: 4.20 4.17 4.13 5/255 241252
/proc/meminfo: memFree=126412404/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3540.24 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 318071 35953 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3540.24 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3552 s]*
/proc/loadavg: 4.17 4.16 4.12 5/255 241255
/proc/meminfo: memFree=126412264/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3546.64 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 318644 36020 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3546.64 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3558.4 s]
/proc/loadavg: 4.16 4.16 4.12 5/255 241255
/proc/meminfo: memFree=126412260/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3553.03 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 319219 36084 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3553.03 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3561.6 s]
/proc/loadavg: 4.16 4.16 4.12 5/255 241255
/proc/meminfo: memFree=126412256/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3556.23 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 319503 36120 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3556.23 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3562.4 s]
/proc/loadavg: 4.14 4.16 4.12 5/255 241256
/proc/meminfo: memFree=126412188/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3557.02 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 319575 36127 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3557.02 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3562.8 s]
/proc/loadavg: 4.14 4.16 4.12 5/255 241256
/proc/meminfo: memFree=126412188/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3557.43 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 319611 36132 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3557.43 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3563.2 s]
/proc/loadavg: 4.14 4.16 4.12 5/255 241256
/proc/meminfo: memFree=126412156/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3557.82 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 319647 36135 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3557.82 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
[startup+3563.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/255 241256
/proc/meminfo: memFree=126412156/131524600 swapFree=131071996/131071996
[pid=239367] ppid=239361 vsize=32512 memory=24588 CPUtime=3557.92 cores=5,7
/proc/239367/stat : 239367 (LS-MabS) R 239361 239367 237326 0 -1 4194304 3779 0 0 0 319655 36137 0 0 20 0 1 0 43703200 33292288 6147 134679101440 4194304 14036057 140727724009200 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 50786304 140727724016673 140727724016774 140727724016774 140727724023790 0
/proc/239367/statm: 8128 6147 2476 2403 0 5238 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 24588 KiB
Child status: 0
Real time (s): 3563.37
CPU time (s): 3558
CPU user time (s): 3196.62
CPU system time (s): 361.385
CPU usage (%): 99.8493
Max. virtual memory (cumulated for all children) (KiB): 32512
Max. memory (cumulated for all children) (KiB): 24588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3196.62
system time used= 361.385
maximum resident set size= 24664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3783
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= 2
involuntary context switches= 893
# summary of solver processes directly reported to runsolver:
# pid: 239367
# total CPU time (s): 3558
# total CPU user time (s): 3196.62
# total CPU system time (s): 361.385
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19359 second user time and 11.6513 second system time
The end
Begin job on nodeC015 at 2024-08-04 14:05:50
IDJOB=4428129
IDBENCH=146908
IDSOLVER=3048
FILE ID=nodeC015/4428129-1722773150
RUNJOBID= nodeC015-1722769581-237339
SLURM_JOB_ID= 8257536
Free space on /tmp= 890028 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428129-1722773150/watcher-4428129-1722773150 -o /tmp/evaluation-result-4428129-1722773150/solver-4428129-1722773150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722769581-237339 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428129-1722773150.opb -t 3558 -s 895189054
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 90387c500b0d1bb6d5365cb6c47f1935
RANDOM SEED=895189054
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 : 3531.860
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.37
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 : 3669.799
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.03
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 : 3505.899
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.37
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 : 3682.983
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.03
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 : 3610.480
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.37
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 : 3665.063
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.03
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 : 3562.030
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.37
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 : 3666.708
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127988924 kB
MemAvailable: 129789620 kB
Buffers: 294020 kB
Cached: 2345380 kB
SwapCached: 0 kB
Active: 714196 kB
Inactive: 2309196 kB
Active(anon): 1540 kB
Inactive(anon): 414072 kB
Active(file): 712656 kB
Inactive(file): 1895124 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 26804 kB
Writeback: 12 kB
AnonPages: 383800 kB
Mapped: 107136 kB
Shmem: 31576 kB
KReclaimable: 65480 kB
Slab: 153160 kB
SReclaimable: 65480 kB
SUnreclaim: 87680 kB
KernelStack: 4068 kB
PageTables: 9700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 744536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 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: 254676 kB
DirectMap2M: 26781696 kB
DirectMap1G: 109051904 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC015 at 2024-08-04 15:05:13