0.00/0.00 c Filename:instance-4428555-1722776714.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Use Presolve
0.00/0.00 c Parse finsih
0.00/0.00 c Start Presolve
0.00/0.01 c After Reduce Vars: 100 Clauses: 250 Top clause weight: 101 Hard Clauses: 150
0.00/0.01 c Use LS-small
0.00/0.03 c Use postsolve
0.00/0.03 o 50
3557.95/3564.44 s SATISFIABLE
3557.95/3564.44 c Use postsolve
3557.95/3564.44 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 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100
3557.95/3564.44 c Done 0.02s
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: 64096 MiB (63326 MiB free)
memory of node 1: 64473 MiB (62204 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428555-1722776714/watcher-4428555-1722776714 -o /tmp/evaluation-result-4428555-1722776714/solver-4428555-1722776714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722769581-241399 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428555-1722776714.opb -t 3558 -s 1168624502 --no-s
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=245432, runsolver pid=245429
[startup+0.100404 s]*
/proc/loadavg: 4.10 4.11 4.09 5/244 245433
/proc/meminfo: memFree=128540756/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=0.1 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 8 2 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+0.212803 s]*
/proc/loadavg: 4.10 4.11 4.09 5/244 245433
/proc/meminfo: memFree=128540364/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=0.21 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 17 4 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+0.312221 s]*
/proc/loadavg: 4.10 4.11 4.09 5/244 245433
/proc/meminfo: memFree=128539988/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=0.31 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 25 6 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+0.70025 s]
/proc/loadavg: 4.10 4.11 4.09 5/244 245433
/proc/meminfo: memFree=128539988/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=0.68 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 54 14 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+1.50025 s]
/proc/loadavg: 4.09 4.11 4.09 5/238 245466
/proc/meminfo: memFree=128598148/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=1.48 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 117 31 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3.11172 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 245479
/proc/meminfo: memFree=128576228/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3.09 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 245 64 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 245527
/proc/meminfo: memFree=128574992/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=6.28 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 500 128 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/244 245527
/proc/meminfo: memFree=128574960/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=12.67 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 998 269 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 245531
/proc/meminfo: memFree=128574172/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=25.44 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 1984 560 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+51.1116 s]
/proc/loadavg: 4.16 4.12 4.09 5/242 245534
/proc/meminfo: memFree=128573512/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=51 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 3983 1117 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/242 245543
/proc/meminfo: memFree=128572504/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=102.1 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 7983 2227 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/242 245554
/proc/meminfo: memFree=128571572/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=161.99 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 12686 3513 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/242 245564
/proc/meminfo: memFree=128571004/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=221.88 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 17386 4802 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 221.88 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/241 245575
/proc/meminfo: memFree=128570352/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=281.78 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 22106 6072 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 281.78 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/243 245589
/proc/meminfo: memFree=128569296/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=341.66 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 26808 7358 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 341.66 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/243 245600
/proc/meminfo: memFree=128568596/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=401.56 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 31507 8649 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 401.56 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/243 245611
/proc/meminfo: memFree=128567812/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=461.45 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 36207 9938 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
################
# More data... #
################
/proc/loadavg: 4.13 4.14 4.15 5/243 247104
/proc/meminfo: memFree=128533492/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3156.57 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 247855 67802 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3156.57 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/245 247284
/proc/meminfo: memFree=128532200/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3216.47 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 252541 69106 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3216.47 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/245 247296
/proc/meminfo: memFree=128531812/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3276.36 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 257256 70380 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3276.36 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.15 4.15 5/243 247308
/proc/meminfo: memFree=128530968/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3336.24 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 261961 71663 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3336.24 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/243 247329
/proc/meminfo: memFree=128530472/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3396.13 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 266662 72951 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3396.13 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/243 247341
/proc/meminfo: memFree=128529784/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3456.03 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 271354 74249 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3456.03 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/243 247351
/proc/meminfo: memFree=128529060/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3515.92 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 276055 75537 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3515.92 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3564.45 s]
# the end of solver process 245432 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2793.52 s, system=764.481 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.09 4.13 4.14 5/241 247353
/proc/meminfo: memFree=128529004/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3526.41 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 276883 75758 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3526.41 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3545.6 s]
/proc/loadavg: 4.15 4.14 4.14 5/241 247356
/proc/meminfo: memFree=128528780/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3539.18 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 277883 76035 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3539.18 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3552 s]*
/proc/loadavg: 4.13 4.13 4.14 5/241 247357
/proc/meminfo: memFree=128528752/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3545.58 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 278390 76168 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3545.58 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3558.4 s]
/proc/loadavg: 4.12 4.13 4.14 5/241 247358
/proc/meminfo: memFree=128528696/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3551.95 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 278884 76311 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3551.95 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3561.6 s]
/proc/loadavg: 4.12 4.13 4.14 5/241 247358
/proc/meminfo: memFree=128528696/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3555.15 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 279132 76383 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3555.15 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3563.2 s]
/proc/loadavg: 4.11 4.13 4.14 6/241 247358
/proc/meminfo: memFree=128528696/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3556.75 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 279254 76421 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3556.75 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3564 s]*
/proc/loadavg: 4.11 4.13 4.14 4/234 247389
/proc/meminfo: memFree=128550276/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3557.56 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 279317 76439 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3557.56 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
[startup+3564.4 s]
/proc/loadavg: 4.11 4.13 4.14 4/234 247389
/proc/meminfo: memFree=128550276/131655788 swapFree=131071728/131071996
[pid=245432] ppid=245429 vsize=19256 memory=6960 CPUtime=3557.95 cores=1,3
/proc/245432/stat : 245432 (LS-MabP) R 245429 245432 241387 0 -1 4194304 279 0 0 0 279348 76447 0 0 20 0 1 0 44041745 19718144 1740 134679101440 4194304 15467897 140722085092320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 52363264 140722085098521 140722085098630 140722085098630 140722085105646 0
/proc/245432/statm: 4814 1740 1105 2753 0 1467 0
Current children cumulated CPU time: 3557.95 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6960 KiB
Child status: 0
Real time (s): 3564.45
CPU time (s): 3558
CPU user time (s): 2793.52
CPU system time (s): 764.481
CPU usage (%): 99.8192
Max. virtual memory (cumulated for all children) (KiB): 19256
Max. memory (cumulated for all children) (KiB): 6960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2793.52
system time used= 764.481
maximum resident set size= 7404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282
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= 1196
# summary of solver processes directly reported to runsolver:
# pid: 245432
# total CPU time (s): 3558
# total CPU user time (s): 2793.52
# total CPU system time (s): 764.481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1093 second user time and 30.0973 second system time
The end
Begin job on nodeC011 at 2024-08-04 15:05:14
IDJOB=4428555
IDBENCH=147103
IDSOLVER=3049
FILE ID=nodeC011/4428555-1722776714
RUNJOBID= nodeC011-1722769581-241399
SLURM_JOB_ID= 8257549
Free space on /tmp= 723736 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t 3558 -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428555-1722776714/watcher-4428555-1722776714 -o /tmp/evaluation-result-4428555-1722776714/solver-4428555-1722776714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722769581-241399 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428555-1722776714.opb -t 3558 -s 1168624502 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 71f78dfcd32656ea84aafce585de402a
RANDOM SEED=1168624502
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.354
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.648
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.286
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.142
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.640
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3656.623
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.149
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.220
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128543796 kB
MemAvailable: 129932552 kB
Buffers: 292336 kB
Cached: 1943224 kB
SwapCached: 12 kB
Active: 494364 kB
Inactive: 2153244 kB
Active(anon): 1896 kB
Inactive(anon): 447812 kB
Active(file): 492468 kB
Inactive(file): 1705432 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 32788 kB
Writeback: 36 kB
AnonPages: 411732 kB
Mapped: 115912 kB
Shmem: 37660 kB
KReclaimable: 62108 kB
Slab: 145464 kB
SReclaimable: 62108 kB
SUnreclaim: 83356 kB
KernelStack: 4000 kB
PageTables: 10120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 843528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 360448 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: 277320 kB
DirectMap2M: 22695936 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723736 MiB
End job on nodeC011 at 2024-08-04 16:04:39