0.59/0.69 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.59/0.69 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1.29/1.33 c Starting SCIP solver (with time-limit = 1800s) ...
1802.56/1808.88 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.03/3610.90 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: 63931 MiB (49178 MiB free)
memory of node 1: 64510 MiB (62660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438966-1721249648/watcher-4438966-1721249648 -o /tmp/evaluation-result-4438966-1721249648/solver-4438966-1721249648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721242436-927557 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438966-1721249648.opb -total-t=3600 -no-par -v0
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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=931627, runsolver pid=931624
[startup+0.100652 s]*
/proc/loadavg: 4.14 4.12 4.13 5/256 931628
/proc/meminfo: memFree=114471264/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=43324 memory=27520 CPUtime=0.09 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 7296 0 0 0 8 1 0 0 20 0 1 0 177133124 44363776 6880 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 10831 6880 954 2726 0 7579 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43324 KiB
Current children cumulated memory: 27520 KiB
[startup+0.20594 s]*
/proc/loadavg: 4.14 4.12 4.13 5/256 931628
/proc/meminfo: memFree=114460596/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=54420 memory=38980 CPUtime=0.19 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 10692 0 0 0 18 1 0 0 20 0 1 0 177133124 55726080 9745 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 13605 9745 1034 2726 0 10353 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54420 KiB
Current children cumulated memory: 38980 KiB
[startup+0.306648 s]*
/proc/loadavg: 4.14 4.12 4.13 5/256 931628
/proc/meminfo: memFree=114439508/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=77608 memory=60640 CPUtime=0.3 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 16905 0 0 0 28 2 0 0 20 0 1 0 177133124 79470592 15160 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 19402 15160 1066 2726 0 16150 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77608 KiB
Current children cumulated memory: 60640 KiB
[startup+0.700242 s]
/proc/loadavg: 4.14 4.12 4.13 5/256 931628
/proc/meminfo: memFree=114383180/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=191036 memory=167008 CPUtime=0.68 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 35633 0 0 0 62 6 0 0 20 0 1 0 177133124 195620864 41686 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 47759 41752 2362 2726 0 44507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 191036 KiB
Current children cumulated memory: 167008 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.12 4.13 5/256 931628
/proc/meminfo: memFree=114170828/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=644752 memory=619620 CPUtime=1.48 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 143025 0 0 0 128 20 0 0 20 0 1 0 177133124 660226048 154839 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 161188 154905 2522 2726 0 157936 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 644752 KiB
Current children cumulated memory: 619620 KiB
[startup+3.10569 s]
/proc/loadavg: 4.13 4.12 4.13 5/256 931628
/proc/meminfo: memFree=113500860/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1041248 memory=1005664 CPUtime=3.09 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 226242 0 0 0 275 34 0 0 20 0 1 0 177133124 1066237952 251416 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 260312 251416 2618 2726 0 257060 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1041248 KiB
Current children cumulated memory: 1005664 KiB
[startup+6.30023 s]
/proc/loadavg: 4.13 4.12 4.13 5/254 931642
/proc/meminfo: memFree=126817772/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1291832 memory=1257084 CPUtime=6.27 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 285419 0 0 0 584 43 0 0 20 0 1 0 177133124 1322835968 314271 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 322958 314271 2618 2726 0 319706 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1291832 KiB
Current children cumulated memory: 1257084 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.12 5/256 931676
/proc/meminfo: memFree=125151664/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1341808 memory=1305836 CPUtime=12.65 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 289134 0 0 0 1221 44 0 0 20 0 1 0 177133124 1374011392 326459 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 335452 326459 2650 2726 0 332200 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1341808 KiB
Current children cumulated memory: 1305836 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.12 5/258 931709
/proc/meminfo: memFree=123091292/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1341808 memory=1305984 CPUtime=25.41 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 289164 0 0 0 2496 45 0 0 20 0 1 0 177133124 1374011392 326496 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 335452 326496 2650 2726 0 332200 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1341808 KiB
Current children cumulated memory: 1305984 KiB
[startup+51.1057 s]
/proc/loadavg: 4.21 4.13 4.13 5/258 931715
/proc/meminfo: memFree=122559404/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=2108308 memory=1908288 CPUtime=50.93 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 297793 0 0 0 5034 59 0 0 20 0 1 0 177133124 2158907392 477072 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 527077 477072 2650 2726 0 523825 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2108308 KiB
Current children cumulated memory: 1908288 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.14 4.13 5/258 932111
/proc/meminfo: memFree=119033692/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=2828020 memory=2619052 CPUtime=101.96 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 400706 0 0 0 10110 86 0 0 20 0 1 0 177133124 2895892480 654763 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 707005 654763 2746 2726 0 703753 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2828020 KiB
Current children cumulated memory: 2619052 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/258 932122
/proc/meminfo: memFree=118971208/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=2834452 memory=2626028 CPUtime=161.72 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 402028 0 0 0 16083 89 0 0 20 0 1 0 177133124 2902478848 656507 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 708613 656507 2746 2726 0 705361 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 2834452 KiB
Current children cumulated memory: 2626028 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.12 5/258 932133
/proc/meminfo: memFree=118934912/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=2847704 memory=2639312 CPUtime=221.48 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 403426 0 0 0 22057 91 0 0 20 0 1 0 177133124 2916048896 659828 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 711926 659828 2746 2726 0 708674 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 2847704 KiB
Current children cumulated memory: 2639312 KiB
[startup+282.3 s]
/proc/loadavg: 4.46 4.21 4.15 5/260 932314
/proc/meminfo: memFree=118932884/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=2847704 memory=2639320 CPUtime=281.24 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 403519 0 0 0 28031 93 0 0 20 0 1 0 177133124 2916048896 659830 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 711926 659830 2746 2726 0 708674 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 2847704 KiB
Current children cumulated memory: 2639320 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.20 4.15 5/260 932324
/proc/meminfo: memFree=118931780/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=2847856 memory=2639548 CPUtime=341 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 403701 0 0 0 34005 95 0 0 20 0 1 0 177133124 2916204544 659887 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 711964 659887 2746 2726 0 708712 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 2847856 KiB
Current children cumulated memory: 2639548 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.19 4.15 5/259 932349
/proc/meminfo: memFree=118929956/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=2847856 memory=2639552 CPUtime=400.75 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 403816 0 0 0 39979 96 0 0 20 0 1 0 177133124 2916204544 659888 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 711964 659888 2746 2726 0 708712 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 2847856 KiB
Current children cumulated memory: 2639552 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.15 4.14 5/257 932361
/proc/meminfo: memFree=118929116/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=2848060 memory=2639684 CPUtime=460.51 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 403975 0 0 0 45953 98 0 0 20 0 1 0 177133124 2916413440 659921 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 712015 659921 2746 2726 0 708763 0
################
# More data... #
################
Current children cumulated memory: 1096632 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/257 933622
/proc/meminfo: memFree=117969976/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=2913.17 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 441694 0 0 0 291178 139 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 2913.17 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.18 4.14 5/257 933633
/proc/meminfo: memFree=117938728/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=2973.02 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 441906 0 0 0 297163 139 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 2973.02 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/257 933644
/proc/meminfo: memFree=117924088/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3032.86 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 442052 0 0 0 303147 139 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3032.86 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/255 933655
/proc/meminfo: memFree=117912436/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3092.7 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 442233 0 0 0 309131 139 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3092.7 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/255 933665
/proc/meminfo: memFree=117893304/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3152.55 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 442448 0 0 0 315116 139 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/256 933678
/proc/meminfo: memFree=117881696/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3212.41 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 442601 0 0 0 321101 140 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/256 933689
/proc/meminfo: memFree=117872244/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3272.26 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 442783 0 0 0 327086 140 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/256 933699
/proc/meminfo: memFree=117863968/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3332.11 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 442999 0 0 0 333071 140 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3332.11 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/258 933715
/proc/meminfo: memFree=117845136/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3391.96 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 443131 0 0 0 339056 140 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.12 5/258 933725
/proc/meminfo: memFree=117832276/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3451.8 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 443339 0 0 0 345040 140 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3451.8 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.12 5/259 933740
/proc/meminfo: memFree=117816816/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3511.65 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 443562 0 0 0 351025 140 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/259 933750
/proc/meminfo: memFree=117813668/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3571.5 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 443722 0 0 0 357010 140 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.10 4.14 4.11 5/259 933757
/proc/meminfo: memFree=117812956/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3600.03 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 443797 0 0 0 359863 140 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 931627 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.63 s, system=1.40466 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.10 4.14 4.11 5/259 933757
/proc/meminfo: memFree=117812956/131524600 swapFree=131071996/131071996
[pid=931627] ppid=931624 vsize=1111968 memory=1096632 CPUtime=3600.03 cores=1,3
/proc/931627/stat : 931627 (CASHWMaxSAT-Dis) R 931624 931627 927545 0 -1 4194304 443797 0 0 0 359863 140 0 0 20 0 1 0 177133124 1138655232 274158 134679101440 4194304 15356333 140727944474960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 48611328 140727944483810 140727944483926 140727944483926 140727944490942 0
/proc/931627/statm: 277992 274158 2826 2726 0 274740 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1111968 KiB
Current children cumulated memory: 1096632 KiB
Child status: 0
Real time (s): 3610.9
CPU time (s): 3600.04
CPU user time (s): 3598.63
CPU system time (s): 1.40466
CPU usage (%): 99.6991
Max. virtual memory (cumulated for all children) (KiB): 3078152
Max. memory (cumulated for all children) (KiB): 2796784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.40466
maximum resident set size= 2796784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443797
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= 29
involuntary context switches= 1463
# summary of solver processes directly reported to runsolver:
# pid: 931627
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.63
# total CPU system time (s): 1.40466
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18295 second user time and 16.7841 second system time
The end
Begin job on nodeC031 at 2024-07-17 22:54:21
IDJOB=4438966
IDBENCH=158384
IDSOLVER=3074
FILE ID=nodeC031/4438966-1721249648
RUNJOBID= nodeC031-1721242436-927557
SLURM_JOB_ID= 7508999
Free space on /tmp= 889812 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep6.5.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438966-1721249648/watcher-4438966-1721249648 -o /tmp/evaluation-result-4438966-1721249648/solver-4438966-1721249648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721242436-927557 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438966-1721249648.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb1eb546b1769ca27e4515a55d388d8e
RANDOM SEED=729522348
nodeC031.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 : 3602.816
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.55
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 : 3668.378
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3599.993
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.55
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 : 3665.589
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3600.170
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.55
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 : 3668.689
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3602.819
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.55
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.237
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 114522868 kB
MemAvailable: 115676712 kB
Buffers: 441596 kB
Cached: 1543836 kB
SwapCached: 0 kB
Active: 1105644 kB
Inactive: 15256040 kB
Active(anon): 1544 kB
Inactive(anon): 14412424 kB
Active(file): 1104100 kB
Inactive(file): 843616 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65892 kB
Writeback: 12 kB
AnonPages: 14370104 kB
Mapped: 114784 kB
Shmem: 37720 kB
KReclaimable: 91552 kB
Slab: 199636 kB
SReclaimable: 91552 kB
SUnreclaim: 108084 kB
KernelStack: 4096 kB
PageTables: 37472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 16322160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6496256 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: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC031 at 2024-07-17 23:54:32