0.00/0.00 c Filename:instance-4445107-1721323311.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1797.30/1802.96 c Use LS-small
1797.30/1802.96 s SATISFIABLE
1797.30/1802.96 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
1797.30/1802.96 c Done 1797.36s
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 (62577 MiB free)
memory of node 1: 64473 MiB (62154 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445107-1721323311/watcher-4445107-1721323311 -o /tmp/evaluation-result-4445107-1721323311/solver-4445107-1721323311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721319697-968106 --watchdog 3760 ./LS-MabS -f HOME/instance-4445107-1721323311.opb -t 3600 -s 350740461
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=970478, runsolver pid=970475
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.22 4.12 4.06 5/257 970479
/proc/meminfo: memFree=127718308/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=23552 memory=14260 CPUtime=0.1 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 1448 0 0 0 10 0 0 0 20 0 1 0 184496107 24117248 3565 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 5888 3565 2461 2403 0 2998 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23552 KiB
Current children cumulated memory: 14260 KiB
[startup+0.205774 s]*
/proc/loadavg: 4.22 4.12 4.06 5/257 970479
/proc/meminfo: memFree=127718140/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=23552 memory=14524 CPUtime=0.2 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 1484 0 0 0 20 0 0 0 20 0 1 0 184496107 24117248 3631 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 5888 3631 2461 2403 0 2998 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 23552 KiB
Current children cumulated memory: 14524 KiB
[startup+0.305101 s]*
/proc/loadavg: 4.22 4.12 4.06 5/257 970479
/proc/meminfo: memFree=127717020/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=24348 memory=15052 CPUtime=0.3 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 1674 0 0 0 30 0 0 0 20 0 1 0 184496107 24932352 3763 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 6087 3763 2461 2403 0 3197 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24348 KiB
Current children cumulated memory: 15052 KiB
[startup+0.700149 s]
/proc/loadavg: 4.22 4.12 4.06 5/257 970479
/proc/meminfo: memFree=127716880/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=25172 memory=15780 CPUtime=0.69 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 1904 0 0 0 69 0 0 0 20 0 1 0 184496107 25776128 3945 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 6293 3945 2461 2403 0 3403 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 25172 KiB
Current children cumulated memory: 15780 KiB
[startup+1.50016 s]
/proc/loadavg: 4.22 4.12 4.06 5/257 970479
/proc/meminfo: memFree=127716208/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=25172 memory=15780 CPUtime=1.49 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 1904 0 0 0 149 0 0 0 20 0 1 0 184496107 25776128 3945 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 6293 3945 2461 2403 0 3403 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 25172 KiB
Current children cumulated memory: 15780 KiB
[startup+3.10471 s]
/proc/loadavg: 4.20 4.12 4.06 5/257 970480
/proc/meminfo: memFree=127715396/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=25172 memory=16044 CPUtime=3.08 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 1963 0 0 0 308 0 0 0 20 0 1 0 184496107 25776128 4011 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 6293 4011 2461 2403 0 3403 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 25172 KiB
Current children cumulated memory: 16044 KiB
[startup+6.30014 s]
/proc/loadavg: 4.20 4.12 4.06 5/257 970480
/proc/meminfo: memFree=127713200/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=26332 memory=17892 CPUtime=6.27 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 2492 0 0 0 627 0 0 0 20 0 1 0 184496107 26963968 4473 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 6583 4473 2461 2403 0 3693 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 26332 KiB
Current children cumulated memory: 17892 KiB
[startup+12.7001 s]
/proc/loadavg: 4.18 4.12 4.06 5/257 970482
/proc/meminfo: memFree=127706480/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=33356 memory=25044 CPUtime=12.64 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 4249 0 0 0 1264 0 0 0 20 0 1 0 184496107 34156544 6261 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 8339 6261 2461 2403 0 5449 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 33356 KiB
Current children cumulated memory: 25044 KiB
[startup+25.5002 s]
/proc/loadavg: 4.30 4.14 4.07 5/257 970483
/proc/meminfo: memFree=127695164/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=44176 memory=34700 CPUtime=25.4 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 7157 0 0 0 2539 1 0 0 20 0 1 0 184496107 45236224 8675 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 11044 8675 2461 2403 0 8154 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 34700 KiB
[startup+51.1056 s]
/proc/loadavg: 4.20 4.13 4.06 5/257 970486
/proc/meminfo: memFree=127668108/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=72384 memory=60064 CPUtime=50.92 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 13573 0 0 0 5090 2 0 0 20 0 1 0 184496107 74121216 15016 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 18096 15016 2461 2403 0 15206 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 72384 KiB
Current children cumulated memory: 60064 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/257 970498
/proc/meminfo: memFree=127629608/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=108096 memory=97740 CPUtime=101.92 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 22513 0 0 0 10189 3 0 0 20 0 1 0 184496107 110690304 24435 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 27024 24435 2461 2403 0 24134 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 108096 KiB
Current children cumulated memory: 97740 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/256 970511
/proc/meminfo: memFree=127590988/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=151064 memory=135692 CPUtime=161.73 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 32071 0 0 0 16168 5 0 0 20 0 1 0 184496107 154689536 33923 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 37766 33923 2461 2403 0 34876 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 151064 KiB
Current children cumulated memory: 135692 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/256 970904
/proc/meminfo: memFree=127544580/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=197996 memory=181452 CPUtime=221.53 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 43632 0 0 0 22146 7 0 0 20 0 1 0 184496107 202747904 45363 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 49499 45363 2461 2403 0 46609 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 197996 KiB
Current children cumulated memory: 181452 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/256 970914
/proc/meminfo: memFree=127505952/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=235216 memory=219000 CPUtime=281.33 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 53047 0 0 0 28124 9 0 0 20 0 1 0 184496107 240861184 54750 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 58804 54750 2461 2403 0 55914 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 235216 KiB
Current children cumulated memory: 219000 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.13 4.08 5/257 970927
/proc/meminfo: memFree=127460732/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=282084 memory=264440 CPUtime=341.14 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 64430 0 0 0 34102 12 0 0 20 0 1 0 184496107 288854016 66110 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 70521 66110 2461 2403 0 67631 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 282084 KiB
Current children cumulated memory: 264440 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/259 971107
/proc/meminfo: memFree=127427316/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=314416 memory=296692 CPUtime=400.93 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 71631 0 0 0 40080 13 0 0 20 0 1 0 184496107 321961984 74173 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 78604 74173 2461 2403 0 75714 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 314416 KiB
Current children cumulated memory: 296692 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/259 971117
/proc/meminfo: memFree=127397924/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=349876 memory=323436 CPUtime=460.74 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 78322 0 0 0 46059 15 0 0 20 0 1 0 184496107 358273024 80859 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 87469 80859 2461 2403 0 84579 0
################
# More data... #
################
/proc/loadavg: 4.10 4.13 4.10 5/256 971615
/proc/meminfo: memFree=126941176/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=800556 memory=773116 CPUtime=1357.98 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 184243 0 0 0 135763 35 0 0 20 0 1 0 184496107 819769344 193279 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 200139 193279 2461 2403 0 197249 0
Current children cumulated CPU time: 1357.98 s
Current children cumulated vsize: 800556 KiB
Current children cumulated memory: 773116 KiB
[startup+1422.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/254 971626
/proc/meminfo: memFree=126924848/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=814980 memory=788716 CPUtime=1417.8 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 188461 0 0 0 141744 36 0 0 20 0 1 0 184496107 834539520 197179 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 203745 197179 2461 2403 0 200855 0
Current children cumulated CPU time: 1417.8 s
Current children cumulated vsize: 814980 KiB
Current children cumulated memory: 788716 KiB
[startup+1482.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/254 971636
/proc/meminfo: memFree=126903992/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=832764 memory=809352 CPUtime=1477.63 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 193270 0 0 0 147725 38 0 0 20 0 1 0 184496107 852750336 202338 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 208191 202338 2461 2403 0 205301 0
Current children cumulated CPU time: 1477.63 s
Current children cumulated vsize: 832764 KiB
Current children cumulated memory: 809352 KiB
[startup+1542.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/254 971647
/proc/meminfo: memFree=126874732/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=856568 memory=838200 CPUtime=1537.45 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 199862 0 0 0 153706 39 0 0 20 0 1 0 184496107 877125632 209550 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 214142 209550 2461 2403 0 211252 0
Current children cumulated CPU time: 1537.45 s
Current children cumulated vsize: 856568 KiB
Current children cumulated memory: 838200 KiB
[startup+1602.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 971657
/proc/meminfo: memFree=126851992/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=887332 memory=860492 CPUtime=1597.27 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 205738 0 0 0 159687 40 0 0 20 0 1 0 184496107 908627968 215123 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 221833 215123 2461 2403 0 218943 0
Current children cumulated CPU time: 1597.27 s
Current children cumulated vsize: 887332 KiB
Current children cumulated memory: 860492 KiB
[startup+1662.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/254 971667
/proc/meminfo: memFree=126824188/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=914804 memory=887984 CPUtime=1657.11 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 212827 0 0 0 165669 42 0 0 20 0 1 0 184496107 936759296 221996 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 228701 221996 2461 2403 0 225811 0
Current children cumulated CPU time: 1657.11 s
Current children cumulated vsize: 914804 KiB
Current children cumulated memory: 887984 KiB
[startup+1722.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/256 971681
/proc/meminfo: memFree=126798744/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=934780 memory=913712 CPUtime=1716.94 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 218040 0 0 0 171651 43 0 0 20 0 1 0 184496107 957214720 228428 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 233695 228428 2461 2403 0 230805 0
Current children cumulated CPU time: 1716.94 s
Current children cumulated vsize: 934780 KiB
Current children cumulated memory: 913712 KiB
[startup+1782.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 971693
/proc/meminfo: memFree=126784888/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=946312 memory=926260 CPUtime=1776.75 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 221371 0 0 0 177631 44 0 0 20 0 1 0 184496107 969023488 231565 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 236578 231565 2461 2403 0 233688 0
Current children cumulated CPU time: 1776.75 s
Current children cumulated vsize: 946312 KiB
Current children cumulated memory: 926260 KiB
[startup+1802.97 s]
# the end of solver process 970478 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1796.76 s, system=0.608758 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.10 4.12 4.09 5/256 971694
/proc/meminfo: memFree=126782392/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=948104 memory=928144 CPUtime=1786.43 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 221924 0 0 0 178599 44 0 0 20 0 1 0 184496107 970858496 232036 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 237026 232036 2461 2403 0 234136 0
Current children cumulated CPU time: 1786.43 s
Current children cumulated vsize: 948104 KiB
Current children cumulated memory: 928144 KiB
[startup+1798.4 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 971694
/proc/meminfo: memFree=126780428/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=950344 memory=930252 CPUtime=1792.81 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 222469 0 0 0 179237 44 0 0 20 0 1 0 184496107 973152256 232563 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 237586 232563 2461 2403 0 234696 0
Current children cumulated CPU time: 1792.81 s
Current children cumulated vsize: 950344 KiB
Current children cumulated memory: 930252 KiB
[startup+1800 s]*
/proc/loadavg: 4.24 4.15 4.10 5/256 971694
/proc/meminfo: memFree=126780036/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=950344 memory=930252 CPUtime=1794.41 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 222471 0 0 0 179397 44 0 0 20 0 1 0 184496107 973152256 232563 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 237586 232563 2461 2403 0 234696 0
Current children cumulated CPU time: 1794.41 s
Current children cumulated vsize: 950344 KiB
Current children cumulated memory: 930252 KiB
[startup+1801.6 s]
/proc/loadavg: 4.24 4.15 4.10 5/256 971694
/proc/meminfo: memFree=126860988/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=413320 memory=406428 CPUtime=1796 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 222563 0 0 0 179552 48 0 0 20 0 1 0 184496107 423239680 101607 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 103330 101607 2461 2403 0 100440 0
Current children cumulated CPU time: 1796 s
Current children cumulated vsize: 413320 KiB
Current children cumulated memory: 406428 KiB
[startup+1802.4 s]
/proc/loadavg: 4.24 4.15 4.10 5/256 971696
/proc/meminfo: memFree=127306160/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=413320 memory=406428 CPUtime=1796.79 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 222563 0 0 0 179624 55 0 0 20 0 1 0 184496107 423239680 101607 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 103330 101607 2461 2403 0 100440 0
Current children cumulated CPU time: 1796.79 s
Current children cumulated vsize: 413320 KiB
Current children cumulated memory: 406428 KiB
[startup+1802.8 s]
/proc/loadavg: 4.24 4.15 4.10 5/256 971696
/proc/meminfo: memFree=127306160/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=413320 memory=406428 CPUtime=1797.19 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 222563 0 0 0 179661 58 0 0 20 0 1 0 184496107 423239680 101607 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 103330 101607 2461 2403 0 100440 0
Current children cumulated CPU time: 1797.19 s
Current children cumulated vsize: 413320 KiB
Current children cumulated memory: 406428 KiB
[startup+1802.9 s]
/proc/loadavg: 4.24 4.15 4.10 5/256 971696
/proc/meminfo: memFree=127306160/131524600 swapFree=131070704/131071996
[pid=970478] ppid=970475 vsize=413320 memory=406428 CPUtime=1797.3 cores=5,7
/proc/970478/stat : 970478 (LS-MabS) R 970475 970478 968093 0 -1 4194304 222563 0 0 0 179670 60 0 0 20 0 1 0 184496107 423239680 101607 134679101440 4194304 14036057 140721028585280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 24756224 140721028588577 140721028588678 140721028588678 140721028595694 0
/proc/970478/statm: 103330 101607 2461 2403 0 100440 0
Current children cumulated CPU time: 1797.3 s
Current children cumulated vsize: 413320 KiB
Current children cumulated memory: 406428 KiB
Child status: 0
Real time (s): 1802.97
CPU time (s): 1797.37
CPU user time (s): 1796.76
CPU system time (s): 0.608758
CPU usage (%): 99.6896
Max. virtual memory (cumulated for all children) (KiB): 950344
Max. memory (cumulated for all children) (KiB): 930444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 0.608758
maximum resident set size= 930444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222564
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= 132
involuntary context switches= 2366
# summary of solver processes directly reported to runsolver:
# pid: 970478
# total CPU time (s): 1797.37
# total CPU user time (s): 1796.76
# total CPU system time (s): 0.608758
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.57821 second user time and 7.68941 second system time
The end
Begin job on nodeC023 at 2024-07-18 19:22:04
IDJOB=4445107
IDBENCH=148100
IDSOLVER=3048
FILE ID=nodeC023/4445107-1721323311
RUNJOBID= nodeC023-1721319697-968106
SLURM_JOB_ID= 7542681
Free space on /tmp= 890044 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.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-4445107-1721323311/watcher-4445107-1721323311 -o /tmp/evaluation-result-4445107-1721323311/solver-4445107-1721323311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721319697-968106 --watchdog 3760 ./LS-MabS -f HOME/instance-4445107-1721323311.opb -t 3600 -s 350740461
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=350740461
nodeC023.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 : 3668.688
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 : 3667.147
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.48
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 : 3599.894
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 : 3608.490
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.48
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 : 3668.801
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 : 3665.474
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.48
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 : 3600.049
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 : 3666.598
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127726304 kB
MemAvailable: 129675200 kB
Buffers: 512084 kB
Cached: 2265796 kB
SwapCached: 80 kB
Active: 1081696 kB
Inactive: 2151128 kB
Active(anon): 1588 kB
Inactive(anon): 490892 kB
Active(file): 1080108 kB
Inactive(file): 1660236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 52272 kB
Writeback: 12 kB
AnonPages: 454664 kB
Mapped: 135052 kB
Shmem: 37536 kB
KReclaimable: 96752 kB
Slab: 189676 kB
SReclaimable: 96752 kB
SUnreclaim: 92924 kB
KernelStack: 4124 kB
PageTables: 10068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 736212 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC023 at 2024-07-18 19:52:07