3599.98/3607.81 c Filename:instance-4452658-1721457642.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.98/3607.81 c Use Presolve
3599.98/3607.81 c Parse finsih
3599.98/3607.81 c Start Presolve
3599.98/3607.81 c After Reduce Vars: 22680 Clauses: 5671 Top clause weight: 1 Hard Clauses: 5671
3599.98/3607.81 c Use LS-small
3599.98/3607.81 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 (59642 MiB free)
memory of node 1: 64473 MiB (62792 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452658-1721457642/watcher-4452658-1721457642 -o /tmp/evaluation-result-4452658-1721457642/solver-4452658-1721457642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721454046-1067671 --watchdog 3760 ./LS-MabP -f HOME/instance-4452658-1721457642.opb -t 3600 -s 840473563 --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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1069708, runsolver pid=1069705
[startup+0.100558 s]*
/proc/loadavg: 4.03 4.12 4.08 5/258 1069709
/proc/meminfo: memFree=125365928/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=24352 memory=11100 CPUtime=0.09 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 1852 0 0 0 9 0 0 0 20 0 1 0 197926594 24936448 2775 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 6088 2775 1073 2753 0 2741 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24352 KiB
Current children cumulated memory: 11100 KiB
[startup+0.204384 s]*
/proc/loadavg: 4.03 4.12 4.08 5/256 1069709
/proc/meminfo: memFree=125359380/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=37420 memory=24368 CPUtime=0.19 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 5088 0 0 0 19 0 0 0 20 0 1 0 197926594 38318080 6092 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 9355 6092 1105 2753 0 6008 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37420 KiB
Current children cumulated memory: 24368 KiB
[startup+0.305504 s]*
/proc/loadavg: 4.03 4.12 4.08 4/253 1069717
/proc/meminfo: memFree=125360588/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=37420 memory=24368 CPUtime=0.29 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 5088 0 0 0 29 0 0 0 20 0 1 0 197926594 38318080 6092 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 9355 6092 1105 2753 0 6008 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37420 KiB
Current children cumulated memory: 24368 KiB
[startup+0.700155 s]
/proc/loadavg: 4.03 4.12 4.08 5/253 1069745
/proc/meminfo: memFree=125368308/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=37420 memory=24368 CPUtime=0.68 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 5088 0 0 0 68 0 0 0 20 0 1 0 197926594 38318080 6092 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 9355 6092 1105 2753 0 6008 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37420 KiB
Current children cumulated memory: 24368 KiB
[startup+1.50016 s]
/proc/loadavg: 4.03 4.12 4.08 4/255 1069769
/proc/meminfo: memFree=125447792/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=37420 memory=24368 CPUtime=1.48 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 5088 0 0 0 148 0 0 0 20 0 1 0 197926594 38318080 6092 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 9355 6092 1105 2753 0 6008 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37420 KiB
Current children cumulated memory: 24368 KiB
[startup+3.10473 s]
/proc/loadavg: 4.03 4.12 4.08 5/259 1069802
/proc/meminfo: memFree=125431428/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29300 CPUtime=3.09 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6331 0 0 0 291 18 0 0 20 0 1 0 197926594 43319296 7325 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7325 1153 2753 0 7229 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29300 KiB
[startup+6.30014 s]
/proc/loadavg: 4.02 4.12 4.08 5/259 1069804
/proc/meminfo: memFree=125431288/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=6.27 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6333 0 0 0 573 54 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+12.7001 s]
/proc/loadavg: 4.02 4.11 4.08 5/259 1069804
/proc/meminfo: memFree=125431248/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=12.66 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6335 0 0 0 1159 107 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.08 5/259 1069807
/proc/meminfo: memFree=125430992/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=25.43 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6359 0 0 0 2355 188 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+51.1047 s]
/proc/loadavg: 4.06 4.11 4.08 5/259 1069810
/proc/meminfo: memFree=125430568/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=50.98 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6375 0 0 0 4757 341 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.08 5/259 1069864
/proc/meminfo: memFree=125409432/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=102.07 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6399 0 0 0 9546 661 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.09 5/259 1069875
/proc/meminfo: memFree=125408740/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=161.94 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6415 0 0 0 15183 1011 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 1069887
/proc/meminfo: memFree=125408148/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=221.81 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6423 0 0 0 20797 1384 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 1069897
/proc/meminfo: memFree=125407712/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=281.67 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6431 0 0 0 26433 1734 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 1069907
/proc/meminfo: memFree=125407596/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=341.55 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6439 0 0 0 32082 2073 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/254 1069918
/proc/meminfo: memFree=125407316/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=401.41 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6447 0 0 0 37830 2311 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/255 1069929
/proc/meminfo: memFree=125406884/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=461.28 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6455 0 0 0 43476 2652 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
################
# More data... #
################
/proc/loadavg: 4.08 4.10 4.09 5/260 1071598
/proc/meminfo: memFree=125392972/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3155.45 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6815 0 0 0 296436 19109 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3155.45 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/259 1071611
/proc/meminfo: memFree=125392752/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3215.32 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6823 0 0 0 302086 19446 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3215.32 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 1071621
/proc/meminfo: memFree=125392256/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3275.18 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6831 0 0 0 307698 19820 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3275.18 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/255 1071631
/proc/meminfo: memFree=125392128/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3335.05 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6839 0 0 0 313311 20194 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3335.05 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1071642
/proc/meminfo: memFree=125391792/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3394.93 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6847 0 0 0 318925 20568 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3394.93 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/255 1071652
/proc/meminfo: memFree=125391484/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3454.79 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6855 0 0 0 324558 20921 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3454.79 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1071662
/proc/meminfo: memFree=125391216/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3514.67 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6863 0 0 0 330158 21309 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3514.67 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 1071677
/proc/meminfo: memFree=125390952/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3574.54 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6871 0 0 0 335788 21666 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3574.54 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3607.82 s]
# the end of solver process 1069708 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3381.51 s, system=218.499 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.09 5/257 1071678
/proc/meminfo: memFree=125390992/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3576.24 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6871 0 0 0 335954 21670 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3576.24 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1071680
/proc/meminfo: memFree=125390868/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3589.01 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6871 0 0 0 337158 21743 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3589.01 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3603.2 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 1071681
/proc/meminfo: memFree=125390816/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3595.4 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6871 0 0 0 337734 21806 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3595.4 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3606.4 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1071682
/proc/meminfo: memFree=125390760/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3598.59 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6871 0 0 0 338029 21830 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3598.59 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3607.2 s]
/proc/loadavg: 4.14 4.11 4.09 4/251 1071713
/proc/meminfo: memFree=125416220/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3599.39 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6871 0 0 0 338100 21839 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3599.39 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3607.6 s]
/proc/loadavg: 4.14 4.11 4.09 4/251 1071713
/proc/meminfo: memFree=125416220/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3599.79 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6871 0 0 0 338134 21845 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3599.79 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
[startup+3607.8 s]
/proc/loadavg: 4.14 4.11 4.09 4/251 1071713
/proc/meminfo: memFree=125416220/131524600 swapFree=131071216/131071996
[pid=1069708] ppid=1069705 vsize=42304 memory=29560 CPUtime=3599.98 cores=1,3
/proc/1069708/stat : 1069708 (LS-MabP) R 1069705 1069708 1067659 0 -1 4194304 6871 0 0 0 338149 21849 0 0 20 0 1 0 197926594 43319296 7390 134679101440 4194304 15467897 140725882730544 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43327488 140725882733593 140725882733701 140725882733701 140725882740718 0
/proc/1069708/statm: 10576 7390 1153 2753 0 7229 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 29560 KiB
Child status: 0
Real time (s): 3607.82
CPU time (s): 3600.01
CPU user time (s): 3381.51
CPU system time (s): 218.499
CPU usage (%): 99.7836
Max. virtual memory (cumulated for all children) (KiB): 42304
Max. memory (cumulated for all children) (KiB): 29560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3381.51
system time used= 218.499
maximum resident set size= 29560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6874
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= 10
involuntary context switches= 2731
# summary of solver processes directly reported to runsolver:
# pid: 1069708
# total CPU time (s): 3600.01
# total CPU user time (s): 3381.51
# total CPU system time (s): 218.499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10692 second user time and 11.3759 second system time
The end
Begin job on nodeC018 at 2024-07-20 08:40:54
IDJOB=4452658
IDBENCH=165278
IDSOLVER=3049
FILE ID=nodeC018/4452658-1721457642
RUNJOBID= nodeC018-1721454046-1067671
SLURM_JOB_ID= 7545683
Free space on /tmp= 890032 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-3.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452658-1721457642/watcher-4452658-1721457642 -o /tmp/evaluation-result-4452658-1721457642/solver-4452658-1721457642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721454046-1067671 --watchdog 3760 ./LS-MabP -f HOME/instance-4452658-1721457642.opb -t 3600 -s 840473563 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7bfcdc46f967c8c85bd034be31c75732
RANDOM SEED=840473563
nodeC018.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.414
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.52
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 : 3666.473
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.30
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.186
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.52
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 : 3664.902
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.30
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.416
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.52
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 : 3682.657
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.30
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.803
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.52
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 : 3624.228
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125373524 kB
MemAvailable: 129604248 kB
Buffers: 564412 kB
Cached: 4466496 kB
SwapCached: 148 kB
Active: 1134372 kB
Inactive: 4360544 kB
Active(anon): 1552 kB
Inactive(anon): 508220 kB
Active(file): 1132820 kB
Inactive(file): 3852324 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 16844 kB
Writeback: 0 kB
AnonPages: 463840 kB
Mapped: 123164 kB
Shmem: 45784 kB
KReclaimable: 170808 kB
Slab: 275256 kB
SReclaimable: 170808 kB
SUnreclaim: 104448 kB
KernelStack: 4112 kB
PageTables: 10388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 857920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 325632 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: 283348 kB
DirectMap2M: 28850176 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC018 at 2024-07-20 09:41:02