0.68/0.70 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.68/0.70 c Do: 140730618404200 140730618404208
0.68/0.70 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1.28/1.33 c Starting SCIP solver (with time-limit = 1800s) ...
1795.38/1801.40 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.09/3610.40 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 (62673 MiB free)
memory of node 1: 64473 MiB (63096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439360-1721253931/watcher-4439360-1721253931 -o /tmp/evaluation-result-4439360-1721253931/solver-4439360-1721253931 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721253944-932003 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439360-1721253931.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=932056, runsolver pid=932047
[startup+0.100229 s]*
/proc/loadavg: 1.15 1.14 1.54 6/256 932066
/proc/meminfo: memFree=128715960/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=37268 memory=22348 CPUtime=0.1 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 5019 0 0 0 10 0 0 0 20 0 1 0 177559341 38162432 5587 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 9317 5587 878 2594 0 6210 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37268 KiB
Current children cumulated memory: 22348 KiB
[startup+0.215469 s]*
/proc/loadavg: 1.15 1.14 1.54 5/256 932066
/proc/meminfo: memFree=128637368/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=56608 memory=41192 CPUtime=0.21 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 10049 0 0 0 20 1 0 0 20 0 1 0 177559341 57966592 10298 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 14152 10298 926 2594 0 11045 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56608 KiB
Current children cumulated memory: 41192 KiB
[startup+0.304926 s]*
/proc/loadavg: 1.15 1.14 1.54 5/256 932066
/proc/meminfo: memFree=128513452/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=92480 memory=71404 CPUtime=0.3 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 16385 0 0 0 27 3 0 0 20 0 1 0 177559341 94699520 17851 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 23120 17851 926 2594 0 20013 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 92480 KiB
Current children cumulated memory: 71404 KiB
[startup+0.700186 s]
/proc/loadavg: 1.15 1.14 1.54 5/256 932066
/proc/meminfo: memFree=128316636/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=196656 memory=173396 CPUtime=0.68 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 30481 0 0 0 62 6 0 0 20 0 1 0 177559341 201375744 43349 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 49164 43349 926 2594 0 46057 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 196656 KiB
Current children cumulated memory: 173396 KiB
[startup+1.50024 s]
/proc/loadavg: 1.15 1.14 1.54 6/256 932066
/proc/meminfo: memFree=127397688/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=657808 memory=638912 CPUtime=1.49 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 146632 0 0 0 126 23 0 0 20 0 1 0 177559341 673595392 159728 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 164452 159728 2430 2594 0 161345 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 657808 KiB
Current children cumulated memory: 638912 KiB
[startup+3.10645 s]
/proc/loadavg: 1.38 1.19 1.55 6/256 932068
/proc/meminfo: memFree=124681116/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1096256 memory=1064504 CPUtime=3.08 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 237116 0 0 0 271 37 0 0 20 0 1 0 177559341 1122566144 266126 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 274064 266126 2510 2594 0 270957 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1096256 KiB
Current children cumulated memory: 1064504 KiB
[startup+6.30023 s]
/proc/loadavg: 1.38 1.19 1.55 6/256 932068
/proc/meminfo: memFree=123520668/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1395364 memory=1365412 CPUtime=6.27 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 301675 0 0 0 580 47 0 0 20 0 1 0 177559341 1428852736 341353 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 348841 341353 2526 2594 0 345734 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1395364 KiB
Current children cumulated memory: 1365412 KiB
[startup+12.7002 s]
/proc/loadavg: 1.78 1.29 1.58 6/256 932068
/proc/meminfo: memFree=123385260/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1420544 memory=1391236 CPUtime=12.65 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 303198 0 0 0 1217 48 0 0 20 0 1 0 177559341 1454637056 347809 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 355136 347809 2542 2594 0 352029 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1420544 KiB
Current children cumulated memory: 1391236 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.38 1.60 6/256 932071
/proc/meminfo: memFree=123384796/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1420544 memory=1391236 CPUtime=25.4 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 303229 0 0 0 2492 48 0 0 20 0 1 0 177559341 1454637056 347809 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 355136 347809 2542 2594 0 352029 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1420544 KiB
Current children cumulated memory: 1391236 KiB
[startup+51.1065 s]
/proc/loadavg: 2.90 1.62 1.68 6/256 932074
/proc/meminfo: memFree=123384148/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1420544 memory=1391240 CPUtime=50.93 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 303264 0 0 0 5044 49 0 0 20 0 1 0 177559341 1454637056 347810 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 355136 347810 2542 2594 0 352029 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1420544 KiB
Current children cumulated memory: 1391240 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.04 1.82 6/257 932095
/proc/meminfo: memFree=117613316/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=3419140 memory=3180428 CPUtime=101.95 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 414725 0 0 0 10102 93 0 0 20 0 1 0 177559341 3501199360 795107 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 854785 795107 2638 2594 0 851678 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 3419140 KiB
Current children cumulated memory: 3180428 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.43 1.97 6/258 932333
/proc/meminfo: memFree=117572572/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=3430328 memory=3194924 CPUtime=161.74 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 416540 0 0 0 16077 97 0 0 20 0 1 0 177559341 3512655872 798731 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 857582 798731 2638 2594 0 854475 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 3430328 KiB
Current children cumulated memory: 3194924 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 2.76 2.12 6/258 932343
/proc/meminfo: memFree=117566324/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=3430808 memory=3195428 CPUtime=221.51 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 416913 0 0 0 22051 100 0 0 20 0 1 0 177559341 3513147392 798857 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 857702 798857 2638 2594 0 854595 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 3430808 KiB
Current children cumulated memory: 3195428 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.02 2.25 6/260 932644
/proc/meminfo: memFree=117636104/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=3431152 memory=3195800 CPUtime=281.28 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 417247 0 0 0 28024 104 0 0 20 0 1 0 177559341 3513499648 798950 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 857788 798950 2638 2594 0 854681 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 3431152 KiB
Current children cumulated memory: 3195800 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.22 2.37 6/259 932655
/proc/meminfo: memFree=117632956/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=3431152 memory=3195904 CPUtime=341.06 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 417485 0 0 0 33999 107 0 0 20 0 1 0 177559341 3513499648 798976 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 857788 798976 2638 2594 0 854681 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 3431152 KiB
Current children cumulated memory: 3195904 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.41 2.49 6/259 932665
/proc/meminfo: memFree=117630864/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=3431152 memory=3195932 CPUtime=400.84 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 417723 0 0 0 39973 111 0 0 20 0 1 0 177559341 3513499648 798983 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 857788 798983 2638 2594 0 854681 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 3431152 KiB
Current children cumulated memory: 3195932 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.53 2.59 6/258 932677
/proc/meminfo: memFree=117624652/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=3431152 memory=3195932 CPUtime=460.61 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 417953 0 0 0 45947 114 0 0 20 0 1 0 177559341 3513499648 798983 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 857788 798983 2638 2594 0 854681 0
################
# More data... #
################
Current children cumulated memory: 1023220 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/257 933833
/proc/meminfo: memFree=119787684/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=2853.71 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 438436 0 0 0 285179 192 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 2853.71 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.16 4.08 5/257 933844
/proc/meminfo: memFree=119785280/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=2913.57 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 438834 0 0 0 291165 192 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 2913.57 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.08 6/257 934238
/proc/meminfo: memFree=119685112/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=2973.44 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 438992 0 0 0 297152 192 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 2973.44 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.08 5/256 934248
/proc/meminfo: memFree=119770860/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3033.31 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 439205 0 0 0 303139 192 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3033.31 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/256 934259
/proc/meminfo: memFree=119762564/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3093.18 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 439533 0 0 0 309125 193 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/256 934438
/proc/meminfo: memFree=119752272/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3153.04 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 439703 0 0 0 315111 193 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/256 934449
/proc/meminfo: memFree=119754696/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3212.9 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 439957 0 0 0 321097 193 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/258 934463
/proc/meminfo: memFree=119755152/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3272.76 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 440120 0 0 0 327083 193 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 934488
/proc/meminfo: memFree=119677312/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3332.62 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 440284 0 0 0 333069 193 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/257 934498
/proc/meminfo: memFree=119669548/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3392.48 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 440541 0 0 0 339055 193 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 934509
/proc/meminfo: memFree=119704184/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3452.33 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 440734 0 0 0 345040 193 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3452.33 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 934526
/proc/meminfo: memFree=119750676/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3512.19 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 440975 0 0 0 351026 193 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/259 934536
/proc/meminfo: memFree=119694860/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3572.06 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 441147 0 0 0 357012 194 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.16 4.14 4.09 5/257 934542
/proc/meminfo: memFree=119609664/131524600 swapFree=131071996/131071996
[pid=932056] ppid=932047 vsize=1033980 memory=1023220 CPUtime=3600.09 cores=4,6
/proc/932056/stat : 932056 (CASHWMaxSAT-Dis) R 932047 932056 931992 0 -1 4194304 441264 0 0 0 359815 194 0 0 20 0 1 0 177559341 1058795520 255805 134679101440 4194304 14817773 140730618406608 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36757504 140730618409956 140730618410071 140730618410071 140730618417087 0
/proc/932056/statm: 258495 255805 2702 2594 0 255388 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 1023220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 932056 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.16 s, system=1.94735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.4
CPU time (s): 3600.1
CPU user time (s): 3598.16
CPU system time (s): 1.94735
CPU usage (%): 99.7147
Max. virtual memory (cumulated for all children) (KiB): 3452856
Max. memory (cumulated for all children) (KiB): 3218588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.16
system time used= 1.94735
maximum resident set size= 3218588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441264
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= 40
involuntary context switches= 1338
# summary of solver processes directly reported to runsolver:
# pid: 932056
# total CPU time (s): 3600.1
# total CPU user time (s): 3598.16
# total CPU system time (s): 1.94735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97339 second user time and 17.4474 second system time
The end
Begin job on nodeC026 at 2024-07-18 00:05:44
IDJOB=4439360
IDBENCH=158396
IDSOLVER=3075
FILE ID=nodeC026/4439360-1721253931
RUNJOBID= nodeC026-1721253944-932003
SLURM_JOB_ID= 7509030
Free space on /tmp= 890080 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug4.5.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439360-1721253931/watcher-4439360-1721253931 -o /tmp/evaluation-result-4439360-1721253931/solver-4439360-1721253931 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721253944-932003 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439360-1721253931.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 481101aa5750e702617a44583ed063de
RANDOM SEED=1716662985
nodeC026.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 : 3533.134
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.74
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 : 3628.863
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.45
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 : 3630.477
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.74
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 : 3347.087
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.45
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 : 3645.913
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.74
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 : 3279.008
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.45
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 : 3571.935
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.74
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 : 3648.372
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.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128788740 kB
MemAvailable: 129747676 kB
Buffers: 486052 kB
Cached: 1307696 kB
SwapCached: 0 kB
Active: 954480 kB
Inactive: 1172984 kB
Active(anon): 1444 kB
Inactive(anon): 370332 kB
Active(file): 953036 kB
Inactive(file): 802652 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58908 kB
Writeback: 0 kB
AnonPages: 331392 kB
Mapped: 105380 kB
Shmem: 37720 kB
KReclaimable: 86140 kB
Slab: 194436 kB
SReclaimable: 86140 kB
SUnreclaim: 108296 kB
KernelStack: 3896 kB
PageTables: 10064 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 660976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66880 kB
HardwareCorrupted: 0 kB
AnonHugePages: 210944 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: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC026 at 2024-07-18 01:05:55