0.69/0.72 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.69/0.72 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1.28/1.30 c Starting SCIP solver (with time-limit = 1800s) ...
1794.82/1801.36 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.04/3611.70 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 (62542 MiB free)
memory of node 1: 64510 MiB (60810 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438958-1721249658/watcher-4438958-1721249658 -o /tmp/evaluation-result-4438958-1721249658/solver-4438958-1721249658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721242436-927556 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438958-1721249658.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=931675, runsolver pid=931672
[startup+0.100683 s]*
/proc/loadavg: 4.12 4.12 4.12 5/256 931676
/proc/meminfo: memFree=126258676/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=44000 memory=28980 CPUtime=0.09 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 6648 0 0 0 9 0 0 0 20 0 1 0 177134053 45056000 7245 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 11000 7245 954 2726 0 7748 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44000 KiB
Current children cumulated memory: 28980 KiB
[startup+0.20555 s]*
/proc/loadavg: 4.12 4.12 4.12 5/256 931676
/proc/meminfo: memFree=126219444/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=56740 memory=41864 CPUtime=0.19 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 10444 0 0 0 18 1 0 0 20 0 1 0 177134053 58101760 10466 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 14185 10466 1034 2726 0 10933 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56740 KiB
Current children cumulated memory: 41864 KiB
[startup+0.305337 s]*
/proc/loadavg: 4.12 4.12 4.12 5/256 931676
/proc/meminfo: memFree=126183608/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=86764 memory=70468 CPUtime=0.29 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 17498 0 0 0 27 2 0 0 20 0 1 0 177134053 88846336 17617 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 21691 17617 1066 2726 0 18439 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86764 KiB
Current children cumulated memory: 70468 KiB
[startup+0.70018 s]
/proc/loadavg: 4.12 4.12 4.12 5/256 931676
/proc/meminfo: memFree=126123356/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=211468 memory=189272 CPUtime=0.69 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 34301 0 0 0 62 7 0 0 20 0 1 0 177134053 216543232 47318 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 52867 47318 1066 2726 0 49615 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 211468 KiB
Current children cumulated memory: 189272 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.12 4.12 5/256 931676
/proc/meminfo: memFree=125880040/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=699548 memory=683040 CPUtime=1.48 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 157531 0 0 0 125 23 0 0 20 0 1 0 177134053 716337152 170694 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 174887 170760 2522 2726 0 171635 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 699548 KiB
Current children cumulated memory: 683040 KiB
[startup+3.10547 s]
/proc/loadavg: 4.12 4.12 4.12 5/256 931676
/proc/meminfo: memFree=125133728/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1112688 memory=1087740 CPUtime=3.08 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 246952 0 0 0 273 35 0 0 20 0 1 0 177134053 1139392512 271935 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 278172 271935 2618 2726 0 274920 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1112688 KiB
Current children cumulated memory: 1087740 KiB
[startup+6.30022 s]
/proc/loadavg: 4.11 4.11 4.12 5/258 931708
/proc/meminfo: memFree=124124000/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1391268 memory=1366124 CPUtime=6.27 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 305766 0 0 0 583 44 0 0 20 0 1 0 177134053 1424658432 341531 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 347817 341531 2618 2726 0 344565 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1391268 KiB
Current children cumulated memory: 1366124 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.12 5/258 931709
/proc/meminfo: memFree=123132220/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1445020 memory=1419992 CPUtime=12.65 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 310179 0 0 0 1219 46 0 0 20 0 1 0 177134053 1479700480 354998 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 361255 354998 2650 2726 0 358003 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1445020 KiB
Current children cumulated memory: 1419992 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.12 5/258 931711
/proc/meminfo: memFree=123066220/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1445020 memory=1420180 CPUtime=25.4 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 310211 0 0 0 2493 47 0 0 20 0 1 0 177134053 1479700480 355045 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 361255 355045 2650 2726 0 358003 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1445020 KiB
Current children cumulated memory: 1420180 KiB
[startup+51.1057 s]
/proc/loadavg: 4.17 4.13 4.13 5/258 931717
/proc/meminfo: memFree=121772408/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1445020 memory=1420180 CPUtime=50.92 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 310251 0 0 0 5044 48 0 0 20 0 1 0 177134053 1479700480 355045 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 361255 355045 2650 2726 0 358003 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1445020 KiB
Current children cumulated memory: 1420180 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.13 5/258 932112
/proc/meminfo: memFree=119014864/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=2931156 memory=2792996 CPUtime=101.93 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 420107 0 0 0 10109 84 0 0 20 0 1 0 177134053 3001503744 698249 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 732789 698249 2746 2726 0 729537 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2931156 KiB
Current children cumulated memory: 2792996 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/258 932123
/proc/meminfo: memFree=118958096/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=2943056 memory=2805216 CPUtime=161.71 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 421779 0 0 0 16085 86 0 0 20 0 1 0 177134053 3013689344 701304 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 735764 701304 2746 2726 0 732512 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2943056 KiB
Current children cumulated memory: 2805216 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/260 932305
/proc/meminfo: memFree=118934280/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=2943588 memory=2806020 CPUtime=221.49 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 422027 0 0 0 22062 87 0 0 20 0 1 0 177134053 3014234112 701505 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 735897 701505 2746 2726 0 732645 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 2943588 KiB
Current children cumulated memory: 2806020 KiB
[startup+282.3 s]
/proc/loadavg: 4.46 4.22 4.15 5/260 932315
/proc/meminfo: memFree=118932636/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=2943824 memory=2806272 CPUtime=281.27 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 422239 0 0 0 28037 90 0 0 20 0 1 0 177134053 3014475776 701568 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 735956 701568 2746 2726 0 732704 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 2943824 KiB
Current children cumulated memory: 2806272 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 4.21 4.15 5/260 932327
/proc/meminfo: memFree=118931460/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=2943824 memory=2806300 CPUtime=341.05 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 422373 0 0 0 34012 93 0 0 20 0 1 0 177134053 3014475776 701575 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 735956 701575 2746 2726 0 732704 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 2943824 KiB
Current children cumulated memory: 2806300 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.18 4.15 5/257 932350
/proc/meminfo: memFree=118929712/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=2943824 memory=2806300 CPUtime=400.83 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 422519 0 0 0 39988 95 0 0 20 0 1 0 177134053 3014475776 701575 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 735956 701575 2746 2726 0 732704 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 2943824 KiB
Current children cumulated memory: 2806300 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.15 4.13 5/257 932362
/proc/meminfo: memFree=118928904/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=2943824 memory=2806300 CPUtime=460.62 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 422683 0 0 0 45964 98 0 0 20 0 1 0 177134053 3014475776 701575 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 735956 701575 2746 2726 0 732704 0
################
# More data... #
################
Current children cumulated memory: 1083908 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.18 4.14 5/257 933625
/proc/meminfo: memFree=117793656/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=2912.49 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 435654 0 0 0 291099 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 2912.49 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.18 4.14 5/257 933637
/proc/meminfo: memFree=117929168/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=2972.32 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 436015 0 0 0 297082 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 2972.32 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/257 933647
/proc/meminfo: memFree=117922240/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3032.15 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 436226 0 0 0 303065 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3032.15 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/255 933658
/proc/meminfo: memFree=117905604/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3091.99 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 436402 0 0 0 309049 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3091.99 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/256 933669
/proc/meminfo: memFree=117892344/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3151.83 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 436633 0 0 0 315033 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3151.83 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 933681
/proc/meminfo: memFree=117880948/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3211.67 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 436870 0 0 0 321017 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3211.67 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/256 933691
/proc/meminfo: memFree=118151440/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3271.51 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 437076 0 0 0 327001 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3271.51 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/258 933706
/proc/meminfo: memFree=117572444/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3331.35 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 437330 0 0 0 332985 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3331.35 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/258 933718
/proc/meminfo: memFree=116665124/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3391.2 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 437580 0 0 0 338970 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3391.2 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/260 933732
/proc/meminfo: memFree=117656972/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3451.04 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 437777 0 0 0 344954 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3451.04 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.16 4.12 5/259 933743
/proc/meminfo: memFree=117816320/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3510.88 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 438026 0 0 0 350938 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3510.88 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/259 933754
/proc/meminfo: memFree=117813096/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3570.72 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 438253 0 0 0 356922 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3570.72 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.01 4.11 4.11 4/253 933790
/proc/meminfo: memFree=117736520/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3600.04 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 438375 0 0 0 359854 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.7 s]
# the end of solver process 931675 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.54 s, system=1.50921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.01 4.11 4.11 4/253 933790
/proc/meminfo: memFree=117736520/131524600 swapFree=131071996/131071996
[pid=931675] ppid=931672 vsize=1094160 memory=1083908 CPUtime=3600.04 cores=4,6
/proc/931675/stat : 931675 (CASHWMaxSAT-Dis) R 931672 931675 927545 0 -1 4194304 438375 0 0 0 359854 150 0 0 20 0 1 0 177134053 1120419840 270977 134679101440 4194304 15356333 140725614081792 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23752704 140725614089186 140725614089302 140725614089302 140725614096318 0
/proc/931675/statm: 273540 270977 2810 2726 0 270288 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1094160 KiB
Current children cumulated memory: 1083908 KiB
Child status: 0
Real time (s): 3611.7
CPU time (s): 3600.05
CPU user time (s): 3598.54
CPU system time (s): 1.50921
CPU usage (%): 99.6774
Max. virtual memory (cumulated for all children) (KiB): 2963712
Max. memory (cumulated for all children) (KiB): 2826616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.54
system time used= 1.50921
maximum resident set size= 2826616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438375
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= 66
involuntary context switches= 2884
# summary of solver processes directly reported to runsolver:
# pid: 931675
# total CPU time (s): 3600.05
# total CPU user time (s): 3598.54
# total CPU system time (s): 1.50921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51402 second user time and 16.1371 second system time
The end
Begin job on nodeC031 at 2024-07-17 22:54:31
IDJOB=4438958
IDBENCH=158385
IDSOLVER=3074
FILE ID=nodeC031/4438958-1721249658
RUNJOBID= nodeC031-1721242436-927556
SLURM_JOB_ID= 7508999
Free space on /tmp= 889908 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug5.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-4438958-1721249658/watcher-4438958-1721249658 -o /tmp/evaluation-result-4438958-1721249658/solver-4438958-1721249658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721242436-927556 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438958-1721249658.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 14fbf9ee541b990313b1cac62bdb8872
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 : 3681.378
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 : 3689.798
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 : 3649.867
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 : 3599.787
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 : 3668.180
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 : 3689.811
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 : 3665.420
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 : 3599.993
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: 126319628 kB
MemAvailable: 127374696 kB
Buffers: 441616 kB
Cached: 1446296 kB
SwapCached: 0 kB
Active: 1007160 kB
Inactive: 3583304 kB
Active(anon): 1552 kB
Inactive(anon): 2738696 kB
Active(file): 1005608 kB
Inactive(file): 844608 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 24572 kB
Writeback: 204 kB
AnonPages: 2700308 kB
Mapped: 126648 kB
Shmem: 37720 kB
KReclaimable: 89000 kB
Slab: 196876 kB
SReclaimable: 89000 kB
SUnreclaim: 107876 kB
KernelStack: 4032 kB
PageTables: 14464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3188224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 663552 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= 890036 MiB
End job on nodeC031 at 2024-07-17 23:54:42