3599.92/3606.87 c Filename:instance-4450496-1721413956.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.92/3606.87 c Use Presolve
3599.92/3606.87 c Parse finsih
3599.92/3606.87 c Start Presolve
3599.92/3606.87 c After Reduce Vars: 8576 Clauses: 2145 Top clause weight: 1 Hard Clauses: 2145
3599.92/3606.87 c Use LS-small
3599.92/3606.87 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62299 MiB free)
memory of node 1: 64473 MiB (62118 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450496-1721413956/watcher-4450496-1721413956 -o /tmp/evaluation-result-4450496-1721413956/solver-4450496-1721413956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721410359-1024943 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450496-1721413956.opb -t 3600 -s 1822106232
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1026978, runsolver pid=1026975
[startup+0.100082 s]*
/proc/loadavg: 4.11 4.11 4.09 6/259 1026979
/proc/meminfo: memFree=127381664/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=25520 memory=12808 CPUtime=0.09 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 2140 0 0 0 9 0 0 0 20 0 1 0 193559448 26132480 3202 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 6380 3202 1105 2753 0 3033 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25520 KiB
Current children cumulated memory: 12808 KiB
[startup+0.204652 s]*
/proc/loadavg: 4.11 4.11 4.09 5/259 1026979
/proc/meminfo: memFree=127381636/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=25520 memory=12808 CPUtime=0.2 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 2141 0 0 0 20 0 0 0 20 0 1 0 193559448 26132480 3202 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 6380 3202 1105 2753 0 3033 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 25520 KiB
Current children cumulated memory: 12808 KiB
[startup+0.304542 s]*
/proc/loadavg: 4.11 4.11 4.09 5/259 1026979
/proc/meminfo: memFree=127380640/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=25520 memory=12808 CPUtime=0.3 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 2141 0 0 0 30 0 0 0 20 0 1 0 193559448 26132480 3202 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 6380 3202 1105 2753 0 3033 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 25520 KiB
Current children cumulated memory: 12808 KiB
[startup+0.700188 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 1026979
/proc/meminfo: memFree=127324024/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=80524 CPUtime=0.69 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17945 0 0 0 65 4 0 0 20 0 1 0 193559448 91975680 20131 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20131 2817 2753 0 19108 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80524 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.11 4.09 4/256 1026993
/proc/meminfo: memFree=127506568/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=80524 CPUtime=1.49 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17946 0 0 0 131 18 0 0 20 0 1 0 193559448 91975680 20131 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20131 2817 2753 0 19108 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80524 KiB
[startup+3.10565 s]
/proc/loadavg: 4.18 4.13 4.09 5/259 1027025
/proc/meminfo: memFree=127310940/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=80524 CPUtime=3.09 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17946 0 0 0 269 40 0 0 20 0 1 0 193559448 91975680 20131 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20131 2817 2753 0 19108 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80524 KiB
[startup+6.30015 s]
/proc/loadavg: 4.18 4.13 4.09 5/259 1027025
/proc/meminfo: memFree=127200876/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=80524 CPUtime=6.28 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17946 0 0 0 544 84 0 0 20 0 1 0 193559448 91975680 20131 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20131 2817 2753 0 19108 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80524 KiB
[startup+12.7001 s]
/proc/loadavg: 4.25 4.14 4.10 5/259 1027027
/proc/meminfo: memFree=127199036/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=80524 CPUtime=12.67 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17946 0 0 0 1097 170 0 0 20 0 1 0 193559448 91975680 20131 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20131 2817 2753 0 19108 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80524 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 1027028
/proc/meminfo: memFree=127183912/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=80524 CPUtime=25.43 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17946 0 0 0 2196 347 0 0 20 0 1 0 193559448 91975680 20131 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20131 2817 2753 0 19108 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80524 KiB
[startup+51.1047 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1027034
/proc/meminfo: memFree=127166836/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=80524 CPUtime=50.96 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17946 0 0 0 4388 708 0 0 20 0 1 0 193559448 91975680 20131 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20131 2817 2753 0 19108 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80524 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1027044
/proc/meminfo: memFree=127160972/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=80524 CPUtime=102.03 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17946 0 0 0 8769 1434 0 0 20 0 1 0 193559448 91975680 20131 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20131 2817 2753 0 19108 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80524 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1027054
/proc/meminfo: memFree=127155500/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=80524 CPUtime=161.88 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17954 0 0 0 13903 2285 0 0 20 0 1 0 193559448 91975680 20131 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20131 2817 2753 0 19108 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80524 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 1027064
/proc/meminfo: memFree=127142000/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=83988 CPUtime=221.76 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17975 0 0 0 19045 3131 0 0 20 0 1 0 193559448 91975680 20997 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20997 2817 2753 0 19108 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 83988 KiB
[startup+282.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/254 1027075
/proc/meminfo: memFree=127129024/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=83988 CPUtime=281.65 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17981 0 0 0 24185 3980 0 0 20 0 1 0 193559448 91975680 20997 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20997 2817 2753 0 19108 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 83988 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/254 1027086
/proc/meminfo: memFree=127124048/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=83988 CPUtime=341.54 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17984 0 0 0 29294 4860 0 0 20 0 1 0 193559448 91975680 20997 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20997 2817 2753 0 19108 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 83988 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/254 1027096
/proc/meminfo: memFree=127097060/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=83988 CPUtime=401.43 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17987 0 0 0 34433 5710 0 0 20 0 1 0 193559448 91975680 20997 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20997 2817 2753 0 19108 0
Current children cumulated CPU time: 401.43 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 83988 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1027110
/proc/meminfo: memFree=127069420/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=83988 CPUtime=461.32 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 17990 0 0 0 39556 6576 0 0 20 0 1 0 193559448 91975680 20997 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 20997 2817 2753 0 19108 0
################
# More data... #
################
/proc/loadavg: 4.08 4.10 4.09 5/257 1028562
/proc/meminfo: memFree=127097156/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3156.26 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18125 0 0 0 270597 45029 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3156.26 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.36 4.16 4.11 5/256 1028572
/proc/meminfo: memFree=127096692/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3216.15 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18128 0 0 0 275735 45880 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3216.15 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.18 4.12 5/256 1028582
/proc/meminfo: memFree=127095948/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3276.03 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18131 0 0 0 280877 46726 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3276.03 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 1028764
/proc/meminfo: memFree=127094892/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3335.92 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18134 0 0 0 286008 47584 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3335.92 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 1028774
/proc/meminfo: memFree=127094192/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3395.81 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18137 0 0 0 291130 48451 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3395.81 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/261 1028845
/proc/meminfo: memFree=127093044/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3455.7 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18140 0 0 0 296279 49291 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3455.7 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/260 1028857
/proc/meminfo: memFree=127092628/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3515.59 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18143 0 0 0 301398 50161 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3515.59 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/261 1028868
/proc/meminfo: memFree=127091932/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3575.47 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18146 0 0 0 306530 51017 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3575.47 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3606.88 s]
# the end of solver process 1026978 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3086.35 s, system=513.661 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.14 4.10 5/261 1028868
/proc/meminfo: memFree=127091932/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3577.17 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18146 0 0 0 306671 51046 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3577.17 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.14 4.10 5/261 1028870
/proc/meminfo: memFree=127091780/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3589.94 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18146 0 0 0 307773 51221 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3589.94 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.13 4.10 5/261 1028871
/proc/meminfo: memFree=127091676/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3596.34 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18149 0 0 0 308322 51312 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3596.34 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3604.8 s]
/proc/loadavg: 4.07 4.13 4.10 6/262 1028872
/proc/meminfo: memFree=127091328/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3597.93 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18149 0 0 0 308453 51340 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3597.93 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3605.6 s]
/proc/loadavg: 4.07 4.13 4.10 5/261 1028872
/proc/meminfo: memFree=127091580/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3598.73 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18149 0 0 0 308523 51350 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3598.73 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3606.4 s]
/proc/loadavg: 4.07 4.13 4.10 4/259 1028872
/proc/meminfo: memFree=127336368/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3599.52 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18149 0 0 0 308593 51359 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3599.52 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
[startup+3606.8 s]
/proc/loadavg: 4.07 4.13 4.10 4/259 1028872
/proc/meminfo: memFree=127336368/131524600 swapFree=131071996/131071996
[pid=1026978] ppid=1026975 vsize=89820 memory=84024 CPUtime=3599.92 cores=1,3
/proc/1026978/stat : 1026978 (LS-MabSP) R 1026975 1026978 1024931 0 -1 4194304 18149 0 0 0 308628 51364 0 0 20 0 1 0 193559448 91975680 21006 134679101440 4194304 15467897 140728908673104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51150848 140728908678173 140728908678276 140728908678276 140728908685293 0
/proc/1026978/statm: 22455 21006 2817 2753 0 19108 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 84024 KiB
Child status: 0
Real time (s): 3606.88
CPU time (s): 3600.01
CPU user time (s): 3086.35
CPU system time (s): 513.661
CPU usage (%): 99.8096
Max. virtual memory (cumulated for all children) (KiB): 89820
Max. memory (cumulated for all children) (KiB): 84024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3086.35
system time used= 513.661
maximum resident set size= 84024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18152
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= 4
involuntary context switches= 2750
# summary of solver processes directly reported to runsolver:
# pid: 1026978
# total CPU time (s): 3600.01
# total CPU user time (s): 3086.35
# total CPU system time (s): 513.661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22054 second user time and 11.5597 second system time
The end
Begin job on nodeC021 at 2024-07-19 20:32:48
IDJOB=4450496
IDBENCH=160462
IDSOLVER=3047
FILE ID=nodeC021/4450496-1721413956
RUNJOBID= nodeC021-1721410359-1024943
SLURM_JOB_ID= 7545463
Free space on /tmp= 890036 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/normalized-sumineqArity4pyramidP0064.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450496-1721413956/watcher-4450496-1721413956 -o /tmp/evaluation-result-4450496-1721413956/solver-4450496-1721413956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721410359-1024943 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450496-1721413956.opb -t 3600 -s 1822106232
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd92d9e5756ed22f81c522492be205b4
RANDOM SEED=1822106232
nodeC021.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 : 3669.339
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.42
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.554
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.23
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.309
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.42
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 : 3661.025
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.23
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 : 3669.293
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.42
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 : 3667.018
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.23
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 : 3599.938
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.42
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.216
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127405828 kB
MemAvailable: 129469296 kB
Buffers: 538048 kB
Cached: 2352996 kB
SwapCached: 0 kB
Active: 1060004 kB
Inactive: 2408432 kB
Active(anon): 1560 kB
Inactive(anon): 621448 kB
Active(file): 1058444 kB
Inactive(file): 1786984 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 49436 kB
Writeback: 52 kB
AnonPages: 573960 kB
Mapped: 134032 kB
Shmem: 45912 kB
KReclaimable: 115728 kB
Slab: 231032 kB
SReclaimable: 115728 kB
SUnreclaim: 115304 kB
KernelStack: 4140 kB
PageTables: 9872 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1024352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71648 kB
HardwareCorrupted: 0 kB
AnonHugePages: 514048 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: 260820 kB
DirectMap2M: 25726976 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC021 at 2024-07-19 21:32:55