0.49/0.58 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.49/0.58 c Do: 140731510598232 140731510598240
0.49/0.58 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1.09/1.13 c Starting SCIP solver (with time-limit = 1800s) ...
1796.07/1801.14 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.01/3610.20 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 (60949 MiB free)
memory of node 1: 64473 MiB (62363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439369-1721251895/watcher-4439369-1721251895 -o /tmp/evaluation-result-4439369-1721251895/solver-4439369-1721251895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721251845-969114 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439369-1721251895.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=969367, runsolver pid=969364
[startup+0.100766 s]*
/proc/loadavg: 3.30 1.82 1.99 5/263 969368
/proc/meminfo: memFree=126249032/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=36112 memory=21256 CPUtime=0.09 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 4773 0 0 0 9 0 0 0 20 0 1 0 177357603 36978688 5314 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 9028 5314 878 2594 0 5921 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 21256 KiB
[startup+0.205938 s]*
/proc/loadavg: 3.30 1.82 1.99 5/263 969368
/proc/meminfo: memFree=126226996/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=53172 memory=38420 CPUtime=0.2 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 9199 0 0 0 19 1 0 0 20 0 1 0 177357603 54448128 9605 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 13293 9605 926 2594 0 10186 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53172 KiB
Current children cumulated memory: 38420 KiB
[startup+0.305694 s]*
/proc/loadavg: 3.30 1.82 1.99 5/263 969368
/proc/meminfo: memFree=126184968/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=92464 memory=73092 CPUtime=0.3 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 16235 0 0 0 27 3 0 0 20 0 1 0 177357603 94683136 18273 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 23116 18273 926 2594 0 20009 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 92464 KiB
Current children cumulated memory: 73092 KiB
[startup+0.700213 s]
/proc/loadavg: 3.30 1.82 1.99 5/263 969368
/proc/meminfo: memFree=126078188/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=256388 memory=233916 CPUtime=0.68 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 50412 0 0 0 60 8 0 0 20 0 1 0 177357603 262541312 58413 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 64097 58413 2286 2594 0 60990 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 256388 KiB
Current children cumulated memory: 233916 KiB
[startup+1.50021 s]
/proc/loadavg: 3.30 1.82 1.99 5/263 969368
/proc/meminfo: memFree=125730476/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=754484 memory=732208 CPUtime=1.48 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 169805 0 0 0 123 25 0 0 20 0 1 0 177357603 772591616 183052 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 188621 183052 2430 2594 0 185514 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 754484 KiB
Current children cumulated memory: 732208 KiB
[startup+3.10557 s]
/proc/loadavg: 3.30 1.82 1.99 5/263 969368
/proc/meminfo: memFree=125019652/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1131584 memory=1097904 CPUtime=3.08 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 249941 0 0 0 271 37 0 0 20 0 1 0 177357603 1158742016 274476 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 282896 274476 2510 2594 0 279789 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1131584 KiB
Current children cumulated memory: 1097904 KiB
[startup+6.30021 s]
/proc/loadavg: 3.35 1.86 2.00 5/263 969369
/proc/meminfo: memFree=124824432/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1279164 memory=1246988 CPUtime=6.26 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 284041 0 0 0 583 43 0 0 20 0 1 0 177357603 1309863936 311747 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 319791 311747 2526 2594 0 316684 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1279164 KiB
Current children cumulated memory: 1246988 KiB
[startup+12.7002 s]
/proc/loadavg: 3.41 1.89 2.01 5/263 969369
/proc/meminfo: memFree=124398180/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1304348 memory=1273700 CPUtime=12.65 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 285813 0 0 0 1220 45 0 0 20 0 1 0 177357603 1335652352 318425 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 326087 318425 2526 2594 0 322980 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1304348 KiB
Current children cumulated memory: 1273700 KiB
[startup+25.5002 s]
/proc/loadavg: 3.62 2.01 2.05 5/263 969371
/proc/meminfo: memFree=124274384/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1304348 memory=1273700 CPUtime=25.41 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 285838 0 0 0 2495 46 0 0 20 0 1 0 177357603 1335652352 318425 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 326087 318425 2526 2594 0 322980 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1304348 KiB
Current children cumulated memory: 1273700 KiB
[startup+51.1058 s]
/proc/loadavg: 3.82 2.19 2.11 5/264 969379
/proc/meminfo: memFree=123818832/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1913280 memory=1720524 CPUtime=50.95 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 291303 0 0 0 5038 57 0 0 20 0 1 0 177357603 1959198720 430131 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 478320 430131 2542 2594 0 475213 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1913280 KiB
Current children cumulated memory: 1720524 KiB
[startup+102.3 s]
/proc/loadavg: 3.99 2.49 2.21 5/262 969389
/proc/meminfo: memFree=122784300/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=2775088 memory=2572080 CPUtime=101.99 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 394418 0 0 0 10118 81 0 0 20 0 1 0 177357603 2841690112 643020 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 693772 643020 2638 2594 0 690665 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2775088 KiB
Current children cumulated memory: 2572080 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 2.78 2.33 5/261 969400
/proc/meminfo: memFree=122617296/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=2797780 memory=2591072 CPUtime=161.8 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 396735 0 0 0 16095 85 0 0 20 0 1 0 177357603 2864926720 647768 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 699445 647768 2638 2594 0 696338 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2797780 KiB
Current children cumulated memory: 2591072 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.03 2.45 5/262 969411
/proc/meminfo: memFree=122444196/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=2797780 memory=2591280 CPUtime=221.63 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 396937 0 0 0 22074 89 0 0 20 0 1 0 177357603 2864926720 647820 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 699445 647820 2638 2594 0 696338 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2797780 KiB
Current children cumulated memory: 2591280 KiB
[startup+282.3 s]
/proc/loadavg: 4.44 3.32 2.59 5/257 969422
/proc/meminfo: memFree=122347640/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=2797780 memory=2591300 CPUtime=281.46 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 397073 0 0 0 28055 91 0 0 20 0 1 0 177357603 2864926720 647825 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 699445 647825 2638 2594 0 696338 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 2797780 KiB
Current children cumulated memory: 2591300 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 3.46 2.68 5/257 969432
/proc/meminfo: memFree=122220348/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=2797780 memory=2591312 CPUtime=341.29 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 397223 0 0 0 34034 95 0 0 20 0 1 0 177357603 2864926720 647828 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 699445 647828 2638 2594 0 696338 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 2797780 KiB
Current children cumulated memory: 2591312 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 3.61 2.78 5/256 969442
/proc/meminfo: memFree=122074108/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=2797780 memory=2591316 CPUtime=401.13 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 397376 0 0 0 40014 99 0 0 20 0 1 0 177357603 2864926720 647829 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 699445 647829 2638 2594 0 696338 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 2797780 KiB
Current children cumulated memory: 2591316 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.69 2.87 5/255 969453
/proc/meminfo: memFree=122053280/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=2797780 memory=2591404 CPUtime=460.95 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 397602 0 0 0 45992 103 0 0 20 0 1 0 177357603 2864926720 647851 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 699445 647851 2638 2594 0 696338 0
################
# More data... #
################
Current children cumulated memory: 1155932 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/255 971048
/proc/meminfo: memFree=120108992/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=2854.26 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434740 0 0 0 285228 198 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 2854.26 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/259 971064
/proc/meminfo: memFree=120086488/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=2914.09 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434755 0 0 0 291210 199 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/259 971075
/proc/meminfo: memFree=120065216/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=2973.92 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434773 0 0 0 297192 200 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 2973.92 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/259 971085
/proc/meminfo: memFree=120021724/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3033.74 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434785 0 0 0 303174 200 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3102.3 s]
/proc/loadavg: 4.37 4.15 4.04 5/259 971096
/proc/meminfo: memFree=120007012/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3093.57 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434800 0 0 0 309156 201 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3162.3 s]
/proc/loadavg: 4.30 4.18 4.06 5/259 971108
/proc/meminfo: memFree=119981204/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3153.39 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434818 0 0 0 315137 202 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3153.39 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.06 5/258 971502
/proc/meminfo: memFree=119945120/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3213.22 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434830 0 0 0 321119 203 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.06 5/257 971512
/proc/meminfo: memFree=119904432/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3273.05 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434845 0 0 0 327101 204 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.22 4.09 5/257 971523
/proc/meminfo: memFree=119886888/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3332.87 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434863 0 0 0 333082 205 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.19 4.09 5/259 971704
/proc/meminfo: memFree=119729176/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3392.7 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434875 0 0 0 339064 206 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/259 971715
/proc/meminfo: memFree=119677908/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3452.53 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434890 0 0 0 345046 207 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/260 971783
/proc/meminfo: memFree=119534528/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3512.36 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434908 0 0 0 351028 208 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/258 971948
/proc/meminfo: memFree=124646736/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1155932 CPUtime=3572.19 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434920 0 0 0 357011 208 0 0 20 0 1 0 177357603 1201586176 288983 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 288983 2718 2594 0 290249 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1155932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.08 4.14 4.09 5/260 971984
/proc/meminfo: memFree=119677080/131524600 swapFree=131071996/131071996
[pid=969367] ppid=969364 vsize=1173424 memory=1156136 CPUtime=3600.01 cores=5,7
/proc/969367/stat : 969367 (CASHWMaxSAT-Dis) R 969364 969367 969101 0 -1 4194304 434937 0 0 0 359792 209 0 0 20 0 1 0 177357603 1201586176 289034 134679101440 4194304 14817773 140731510600640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50003968 140731510604772 140731510604887 140731510604887 140731510611903 0
/proc/969367/statm: 293356 289034 2718 2594 0 290249 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1173424 KiB
Current children cumulated memory: 1156136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.24 s]
# the end of solver process 969367 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.92 s, system=2.13427 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.24
CPU time (s): 3600.06
CPU user time (s): 3597.92
CPU system time (s): 2.13427
CPU usage (%): 99.7179
Max. virtual memory (cumulated for all children) (KiB): 3073700
Max. memory (cumulated for all children) (KiB): 2755696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.92
system time used= 2.13427
maximum resident set size= 2755696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434937
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= 19
involuntary context switches= 1384
# summary of solver processes directly reported to runsolver:
# pid: 969367
# total CPU time (s): 3600.06
# total CPU user time (s): 3597.92
# total CPU system time (s): 2.13427
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74603 second user time and 16.1517 second system time
The end
Begin job on nodeC030 at 2024-07-17 23:31:48
IDJOB=4439369
IDBENCH=158384
IDSOLVER=3075
FILE ID=nodeC030/4439369-1721251895
RUNJOBID= nodeC030-1721251845-969114
SLURM_JOB_ID= 7509022
Free space on /tmp= 889980 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep6.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-4439369-1721251895/watcher-4439369-1721251895 -o /tmp/evaluation-result-4439369-1721251895/solver-4439369-1721251895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721251845-969114 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439369-1721251895.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb1eb546b1769ca27e4515a55d388d8e
RANDOM SEED=1395525546
nodeC030.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 : 3672.635
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.28
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 : 3683.212
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.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.794
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.28
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 : 3695.322
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.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 : 3672.647
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.28
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 : 3665.627
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.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 : 3599.810
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.28
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 : 3664.278
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126272724 kB
MemAvailable: 127339156 kB
Buffers: 446152 kB
Cached: 1451276 kB
SwapCached: 0 kB
Active: 1131696 kB
Inactive: 3500612 kB
Active(anon): 1540 kB
Inactive(anon): 2771056 kB
Active(file): 1130156 kB
Inactive(file): 729556 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 55316 kB
Writeback: 0 kB
AnonPages: 2734492 kB
Mapped: 136432 kB
Shmem: 37720 kB
KReclaimable: 93084 kB
Slab: 201496 kB
SReclaimable: 93084 kB
SUnreclaim: 108412 kB
KernelStack: 4192 kB
PageTables: 14728 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3052564 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 448512 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC030 at 2024-07-18 00:31:58