0.00/0.00 c Filename:instance-4449641-1722827521.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.00 c After Reduce Vars: 55 Clauses: 250 Top clause weight: 6 Hard Clauses: 245
1.78/1.85 c Use LS-small
1.78/1.85 c Use postsolve
1.78/1.85 o 2
3557.99/3563.20 s SATISFIABLE
3557.99/3563.20 c Use postsolve
3557.99/3563.20 v x11 -x12 -x13 -x14 x15 -x16 -x21 -x26 -x31 -x36 -x17 -x22 x27 -x32 -x37 -x18 -x23 -x28 x33 -x38 -x19 -x24 -x29 -x34 x39 -x20 -x25 -x30 -x35 -x40 x1 x2 -x3 -x4 -x5 x6 x7 x8 x9 x10 -x41 x42 -x43 x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55
3557.99/3563.20 c Done 1.84s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62928 MiB free)
memory of node 1: 64510 MiB (63628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449641-1722827521/watcher-4449641-1722827521 -o /tmp/evaluation-result-4449641-1722827521/solver-4449641-1722827521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722827502-270395 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4449641-1722827521.opb -t 3558 -s 369299062
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
solver pid=270505, runsolver pid=270502
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 3.99 4.08 4.08 5/258 270506
/proc/meminfo: memFree=129586452/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=27132 memory=20428 CPUtime=0.1 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 1983 0 0 0 10 0 0 0 20 0 1 0 49352636 27783168 5107 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 6783 5107 2849 2753 0 3436 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27132 KiB
Current children cumulated memory: 20428 KiB
[startup+0.205555 s]*
/proc/loadavg: 3.99 4.08 4.08 5/258 270506
/proc/meminfo: memFree=129583092/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=29852 memory=22540 CPUtime=0.2 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 2547 0 0 0 20 0 0 0 20 0 1 0 49352636 30568448 5635 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 7463 5635 2849 2753 0 4116 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29852 KiB
Current children cumulated memory: 22540 KiB
[startup+0.304945 s]*
/proc/loadavg: 3.99 4.08 4.08 5/258 270506
/proc/meminfo: memFree=129582756/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=30000 memory=22804 CPUtime=0.3 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 2603 0 0 0 30 0 0 0 20 0 1 0 49352636 30720000 5701 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 7500 5701 2849 2753 0 4153 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30000 KiB
Current children cumulated memory: 22804 KiB
[startup+0.700151 s]
/proc/loadavg: 3.99 4.08 4.08 5/258 270506
/proc/meminfo: memFree=129582004/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=31024 memory=23860 CPUtime=0.69 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 2900 0 0 0 69 0 0 0 20 0 1 0 49352636 31768576 5965 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 7756 5965 2849 2753 0 4409 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31024 KiB
Current children cumulated memory: 23860 KiB
[startup+1.50015 s]
/proc/loadavg: 3.99 4.08 4.08 5/258 270506
/proc/meminfo: memFree=129580296/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33796 memory=26128 CPUtime=1.48 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3605 0 0 0 148 0 0 0 20 0 1 0 49352636 34607104 6532 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8449 6532 2849 2753 0 5102 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33796 KiB
Current children cumulated memory: 26128 KiB
[startup+3.10496 s]
/proc/loadavg: 3.99 4.08 4.08 5/258 270508
/proc/meminfo: memFree=129577276/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27000 CPUtime=3.09 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 292 17 0 0 20 0 1 0 49352636 34000896 6750 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6750 2849 2753 0 4954 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27000 KiB
[startup+6.30013 s]
/proc/loadavg: 3.99 4.08 4.08 5/258 270508
/proc/meminfo: memFree=129577280/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27000 CPUtime=6.28 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 568 60 0 0 20 0 1 0 49352636 34000896 6750 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6750 2849 2753 0 4954 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27000 KiB
[startup+12.7001 s]
/proc/loadavg: 3.99 4.08 4.08 5/258 270508
/proc/meminfo: memFree=129576852/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=12.67 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 1127 140 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.09 4.08 5/258 270511
/proc/meminfo: memFree=129576448/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=25.44 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 2238 306 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+51.1047 s]
/proc/loadavg: 4.04 4.08 4.08 5/258 270514
/proc/meminfo: memFree=129576196/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=51.01 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 4439 662 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/258 270522
/proc/meminfo: memFree=129575664/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=102.13 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 8847 1366 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/257 270533
/proc/meminfo: memFree=129575008/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=162.04 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 14024 2180 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/255 270543
/proc/meminfo: memFree=129574788/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=221.96 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 19216 2980 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 221.96 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 270553
/proc/meminfo: memFree=129574324/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=281.87 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 24407 3780 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 281.87 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 270564
/proc/meminfo: memFree=129573996/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=341.78 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 29594 4584 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 341.78 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 270575
/proc/meminfo: memFree=129573684/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=401.7 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 34768 5402 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 401.7 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 270585
/proc/meminfo: memFree=129573400/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=461.61 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 39941 6220 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
################
# More data... #
################
/proc/loadavg: 4.15 4.12 4.11 5/256 272255
/proc/meminfo: memFree=129557660/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3157.67 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 272740 43027 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3157.67 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/254 272265
/proc/meminfo: memFree=129557288/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3217.59 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 277913 43846 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3217.59 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/255 272276
/proc/meminfo: memFree=129556988/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3277.5 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 283089 44661 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3277.5 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/255 272287
/proc/meminfo: memFree=129556820/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3337.41 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 288252 45489 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3337.41 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 272298
/proc/meminfo: memFree=129556424/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3397.33 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 293439 46294 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3397.33 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.34 4.19 4.12 5/255 272308
/proc/meminfo: memFree=129556088/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3457.24 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 298613 47111 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3457.24 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/258 272323
/proc/meminfo: memFree=129555708/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3517.15 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 303784 47931 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3517.15 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3563.21 s]
# the end of solver process 270505 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3073.02 s, system=484.988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 272324
/proc/meminfo: memFree=129555680/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3527.65 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 304686 48079 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3527.65 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3545.6 s]
/proc/loadavg: 4.20 4.17 4.11 5/253 272383
/proc/meminfo: memFree=129530792/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3540.43 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 305786 48257 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3540.43 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3552 s]*
/proc/loadavg: 4.18 4.17 4.11 5/258 272467
/proc/meminfo: memFree=129498564/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3546.81 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 306339 48342 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3546.81 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3558.4 s]
/proc/loadavg: 4.17 4.17 4.11 5/258 272469
/proc/meminfo: memFree=129473608/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3553.2 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 306887 48433 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3553.2 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3561.6 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 272469
/proc/meminfo: memFree=129467352/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3556.4 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 307162 48478 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3556.4 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3562.4 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 272469
/proc/meminfo: memFree=129465916/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3557.19 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 307230 48489 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3557.19 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3562.8 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 272469
/proc/meminfo: memFree=129465916/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3557.59 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 307266 48493 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3557.59 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
[startup+3563.2 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 272470
/proc/meminfo: memFree=129464672/131524600 swapFree=131071996/131071996
[pid=270505] ppid=270502 vsize=33204 memory=27408 CPUtime=3557.99 cores=1,3
/proc/270505/stat : 270505 (LS-MabSP) R 270502 270505 270383 0 -1 4194304 3789 0 0 0 307301 48498 0 0 20 0 1 0 49352636 34000896 6852 134679101440 4194304 15467897 140726215408592 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55668736 140726215414815 140726215414917 140726215414917 140726215421933 0
/proc/270505/statm: 8301 6852 2849 2753 0 4954 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 27408 KiB
Child status: 0
Real time (s): 3563.21
CPU time (s): 3558.01
CPU user time (s): 3073.02
CPU system time (s): 484.988
CPU usage (%): 99.854
Max. virtual memory (cumulated for all children) (KiB): 34400
Max. memory (cumulated for all children) (KiB): 27408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3073.02
system time used= 484.988
maximum resident set size= 27412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3797
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= 909
# summary of solver processes directly reported to runsolver:
# pid: 270505
# total CPU time (s): 3558.01
# total CPU user time (s): 3073.02
# total CPU system time (s): 484.988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12875 second user time and 11.5146 second system time
The end
Begin job on nodeC027 at 2024-08-05 05:12:01
IDJOB=4449641
IDBENCH=176093
IDSOLVER=3047
FILE ID=nodeC027/4449641-1722827521
RUNJOBID= nodeC027-1722827502-270395
SLURM_JOB_ID= 8258621
Free space on /tmp= 890036 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=5-t=3.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449641-1722827521/watcher-4449641-1722827521 -o /tmp/evaluation-result-4449641-1722827521/solver-4449641-1722827521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722827502-270395 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4449641-1722827521.opb -t 3558 -s 369299062
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= af182886c4a31b426d74b92a023d1d3a
RANDOM SEED=369299062
nodeC027.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 : 3675.229
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.88
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 : 3662.012
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.31
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 : 3600.235
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.88
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 : 3668.551
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.31
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 : 3675.306
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.88
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.716
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.31
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.452
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.88
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.319
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129595020 kB
MemAvailable: 129822656 kB
Buffers: 311364 kB
Cached: 755132 kB
SwapCached: 0 kB
Active: 550488 kB
Inactive: 867856 kB
Active(anon): 1572 kB
Inactive(anon): 379796 kB
Active(file): 548916 kB
Inactive(file): 488060 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65368 kB
Writeback: 0 kB
AnonPages: 350524 kB
Mapped: 125472 kB
Shmem: 29528 kB
KReclaimable: 60616 kB
Slab: 151136 kB
SReclaimable: 60616 kB
SUnreclaim: 90520 kB
KernelStack: 4176 kB
PageTables: 9588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 821280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 24544 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 250580 kB
DirectMap2M: 19445760 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC027 at 2024-08-05 06:11:25