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 (60451 MiB free)
memory of node 1: 64473 MiB (62240 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459172-1721884920/watcher-4459172-1721884920 -o /tmp/evaluation-result-4459172-1721884920/solver-4459172-1721884920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721875749-271078 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4459172-1721884920.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=276338, runsolver pid=276335
[startup+0.100879 s]*
/proc/loadavg: 4.10 4.15 4.13 5/258 276339
/proc/meminfo: memFree=125434168/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=224716 memory=205476 CPUtime=0.1 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 6135 0 0 0 6 4 0 0 20 0 1 0 25014907 230109184 51369 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 56179 51369 922 2726 0 52927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 224716 KiB
Current children cumulated memory: 205476 KiB
[startup+0.205475 s]*
/proc/loadavg: 4.10 4.15 4.13 5/258 276339
/proc/meminfo: memFree=125419916/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=235204 memory=220032 CPUtime=0.2 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 9214 0 0 0 16 4 0 0 20 0 1 0 25014907 240848896 55008 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 58801 55008 922 2726 0 55549 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 235204 KiB
Current children cumulated memory: 220032 KiB
[startup+0.305459 s]*
/proc/loadavg: 4.10 4.15 4.13 5/258 276339
/proc/meminfo: memFree=125407840/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=251572 memory=231528 CPUtime=0.3 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 11635 0 0 0 25 5 0 0 20 0 1 0 25014907 257609728 57882 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 62893 57882 922 2726 0 59641 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 251572 KiB
Current children cumulated memory: 231528 KiB
[startup+0.700203 s]
/proc/loadavg: 4.10 4.15 4.13 5/258 276339
/proc/meminfo: memFree=125384552/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=296584 memory=276664 CPUtime=0.69 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 18787 0 0 0 62 7 0 0 20 0 1 0 25014907 303702016 69166 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 74146 69166 922 2726 0 70894 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 296584 KiB
Current children cumulated memory: 276664 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.15 4.12 5/258 276339
/proc/meminfo: memFree=125327296/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=386080 memory=365688 CPUtime=1.48 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 31885 0 0 0 138 10 0 0 20 0 1 0 25014907 395345920 91422 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 96520 91422 922 2726 0 93268 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 386080 KiB
Current children cumulated memory: 365688 KiB
[startup+3.10566 s]
/proc/loadavg: 4.09 4.15 4.12 5/258 276339
/proc/meminfo: memFree=125106716/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=565204 memory=542412 CPUtime=3.09 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 57180 0 0 0 291 18 0 0 20 0 1 0 25014907 578768896 135603 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 141301 135603 922 2726 0 138049 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 565204 KiB
Current children cumulated memory: 542412 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.14 4.12 5/259 276340
/proc/meminfo: memFree=124283784/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=1952700 memory=1869016 CPUtime=6.27 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 102910 0 0 0 578 49 0 0 20 0 1 0 25014907 1999564800 467254 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 488175 467254 922 2726 0 484923 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1952700 KiB
Current children cumulated memory: 1869016 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.16 4.13 5/259 276342
/proc/meminfo: memFree=122984280/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=2813228 memory=2726668 CPUtime=12.66 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 168863 0 0 0 1157 109 0 0 20 0 1 0 25014907 2880745472 681667 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 703307 681667 1034 2726 0 700055 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2813228 KiB
Current children cumulated memory: 2726668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.15 4.13 5/259 276343
/proc/meminfo: memFree=121545144/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=4278608 memory=4096320 CPUtime=25.42 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 472884 0 0 0 2382 160 0 0 20 0 1 0 25014907 4381294592 1024080 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1069652 1024080 1066 2726 0 1066400 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4278608 KiB
Current children cumulated memory: 4096320 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.15 4.13 5/259 276349
/proc/meminfo: memFree=119492240/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=6524304 memory=6208844 CPUtime=50.94 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 648647 0 0 0 4862 232 0 0 20 0 1 0 25014907 6680887296 1552211 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1631076 1552211 1066 2726 0 1627824 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 6524304 KiB
Current children cumulated memory: 6208844 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/259 276358
/proc/meminfo: memFree=118035820/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=8123216 memory=7587196 CPUtime=101.98 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 835700 0 0 0 9810 388 0 0 20 0 1 0 25014907 8318173184 1896799 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 2030804 1896799 1146 2726 0 2027552 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 8123216 KiB
Current children cumulated memory: 7587196 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/259 276368
/proc/meminfo: memFree=117799268/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=8358636 memory=7822616 CPUtime=161.8 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 852389 0 0 0 15641 539 0 0 20 0 1 0 25014907 8559243264 1955654 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 2089659 1955654 1146 2726 0 2086407 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 8358636 KiB
Current children cumulated memory: 7822616 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.15 4.12 5/261 276762
/proc/meminfo: memFree=118424180/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7733420 memory=7197456 CPUtime=221.61 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 867623 0 0 0 21473 688 0 0 20 0 1 0 25014907 7919022080 1799364 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1933355 1799364 1146 2726 0 1930103 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 7733420 KiB
Current children cumulated memory: 7197456 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/258 276772
/proc/meminfo: memFree=118421888/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7734844 memory=7198880 CPUtime=281.43 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 880542 0 0 0 27322 821 0 0 20 0 1 0 25014907 7920480256 1799720 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1933711 1799720 1146 2726 0 1930459 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 7734844 KiB
Current children cumulated memory: 7198880 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 4.22 4.14 5/257 276783
/proc/meminfo: memFree=117781488/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=8367604 memory=7831832 CPUtime=341.24 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 893584 0 0 0 33172 952 0 0 20 0 1 0 25014907 8568426496 1957958 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 2091901 1957958 1146 2726 0 2088649 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 8367604 KiB
Current children cumulated memory: 7831832 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 4.22 4.15 5/257 276793
/proc/meminfo: memFree=118407120/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7736188 memory=7200608 CPUtime=401.06 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 905597 0 0 0 39037 1069 0 0 20 0 1 0 25014907 7921856512 1800152 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1934047 1800152 1146 2726 0 1930795 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 7736188 KiB
Current children cumulated memory: 7200608 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/259 276973
/proc/meminfo: memFree=117761232/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=8371532 memory=7835768 CPUtime=460.87 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 916832 0 0 0 44898 1189 0 0 20 0 1 0 25014907 8572448768 1958942 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 2092883 1958942 1146 2726 0 2089631 0
################
# More data... #
################
Current children cumulated memory: 7595016 KiB
[startup+2862.3 s]
/proc/loadavg: 1.06 1.13 1.91 2/234 278129
/proc/meminfo: memFree=121284976/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7784044 memory=7252560 CPUtime=2853.97 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1231808 0 0 0 281089 4308 0 0 20 0 1 0 25014907 7970861056 1813140 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1946011 1813140 1146 2726 0 1942759 0
Current children cumulated CPU time: 2853.97 s
Current children cumulated vsize: 7784044 KiB
Current children cumulated memory: 7252560 KiB
[startup+2922.3 s]
/proc/loadavg: 1.06 1.12 1.86 2/236 278144
/proc/meminfo: memFree=121288812/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7779856 memory=7248372 CPUtime=2913.81 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1238853 0 0 0 287011 4370 0 0 20 0 1 0 25014907 7966572544 1812093 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1944964 1812093 1146 2726 0 1941712 0
Current children cumulated CPU time: 2913.81 s
Current children cumulated vsize: 7779856 KiB
Current children cumulated memory: 7248372 KiB
[startup+2982.3 s]
/proc/loadavg: 1.13 1.13 1.81 2/236 278154
/proc/meminfo: memFree=121278836/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7789564 memory=7258080 CPUtime=2973.65 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1244913 0 0 0 292937 4428 0 0 20 0 1 0 25014907 7976513536 1814520 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1947391 1814520 1146 2726 0 1944139 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 7789564 KiB
Current children cumulated memory: 7258080 KiB
[startup+3042.3 s]
/proc/loadavg: 1.10 1.12 1.77 2/236 278166
/proc/meminfo: memFree=121278012/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7790152 memory=7258668 CPUtime=3033.49 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1251653 0 0 0 298859 4490 0 0 20 0 1 0 25014907 7977115648 1814667 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1947538 1814667 1146 2726 0 1944286 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 7790152 KiB
Current children cumulated memory: 7258668 KiB
[startup+3102.3 s]
/proc/loadavg: 1.12 1.11 1.72 2/236 278177
/proc/meminfo: memFree=121208184/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7858996 memory=7328076 CPUtime=3093.34 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1256944 0 0 0 304801 4533 0 0 20 0 1 0 25014907 8047611904 1832019 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1964749 1832019 1146 2726 0 1961497 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 7858996 KiB
Current children cumulated memory: 7328076 KiB
[startup+3162.3 s]
/proc/loadavg: 1.10 1.10 1.68 2/237 278191
/proc/meminfo: memFree=121275852/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7790996 memory=7260076 CPUtime=3153.2 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1263348 0 0 0 310735 4585 0 0 20 0 1 0 25014907 7977979904 1815019 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1947749 1815019 1146 2726 0 1944497 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 7790996 KiB
Current children cumulated memory: 7260076 KiB
[startup+3222.3 s]
/proc/loadavg: 1.08 1.10 1.64 2/236 278203
/proc/meminfo: memFree=121277020/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7789368 memory=7258448 CPUtime=3213.05 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1273958 0 0 0 316627 4678 0 0 20 0 1 0 25014907 7976312832 1814612 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1947342 1814612 1146 2726 0 1944090 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 7789368 KiB
Current children cumulated memory: 7258448 KiB
[startup+3282.3 s]
/proc/loadavg: 1.07 1.09 1.60 2/236 278213
/proc/meminfo: memFree=121273960/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7792140 memory=7261220 CPUtime=3272.91 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1280247 0 0 0 322555 4736 0 0 20 0 1 0 25014907 7979151360 1815305 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1948035 1815305 1146 2726 0 1944783 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 7792140 KiB
Current children cumulated memory: 7261220 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.09 1.57 2/236 278223
/proc/meminfo: memFree=121268972/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7796576 memory=7265988 CPUtime=3332.77 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1288340 0 0 0 328478 4799 0 0 20 0 1 0 25014907 7983693824 1816497 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1949144 1816497 1146 2726 0 1945892 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 7796576 KiB
Current children cumulated memory: 7265988 KiB
[startup+3402.3 s]
/proc/loadavg: 1.07 1.08 1.53 2/236 278234
/proc/meminfo: memFree=121272292/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7792768 memory=7262360 CPUtime=3392.62 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1295861 0 0 0 334390 4872 0 0 20 0 1 0 25014907 7979794432 1815590 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1948192 1815590 1146 2726 0 1944940 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 7792768 KiB
Current children cumulated memory: 7262360 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.10 1.51 2/236 278244
/proc/meminfo: memFree=121273612/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7791036 memory=7260628 CPUtime=3452.49 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1301586 0 0 0 340331 4918 0 0 20 0 1 0 25014907 7978020864 1815157 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1947759 1815157 1146 2726 0 1944507 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 7791036 KiB
Current children cumulated memory: 7260628 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.09 1.48 2/236 278259
/proc/meminfo: memFree=121271692/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7792680 memory=7262272 CPUtime=3512.34 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1309103 0 0 0 346246 4988 0 0 20 0 1 0 25014907 7979704320 1815568 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1948170 1815568 1146 2726 0 1944918 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 7792680 KiB
Current children cumulated memory: 7262272 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.10 1.46 2/236 278269
/proc/meminfo: memFree=121269768/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7794256 memory=7263848 CPUtime=3572.2 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1316007 0 0 0 352184 5036 0 0 20 0 1 0 25014907 7981318144 1815962 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1948564 1815962 1146 2726 0 1945312 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 7794256 KiB
Current children cumulated memory: 7263848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 1.09 1.09 1.44 2/236 278276
/proc/meminfo: memFree=121268636/131524600 swapFree=131056028/131071996
[pid=276338] ppid=276335 vsize=7795300 memory=7264892 CPUtime=3600.03 cores=5,7
/proc/276338/stat : 276338 (CASHWMaxSAT-Dis) R 276335 276338 271065 0 -1 4194304 1318529 0 0 0 354941 5062 0 0 20 0 1 0 25014907 7982387200 1816223 134679101440 4194304 15356333 140735035138560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 42979328 140735035147235 140735035147351 140735035147351 140735035154366 0
/proc/276338/statm: 1948825 1816223 1146 2726 0 1945573 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7795300 KiB
Current children cumulated memory: 7264892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.25 s]
# the end of solver process 276338 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3549.42 s, system=50.675 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.25
CPU time (s): 3600.09
CPU user time (s): 3549.42
CPU system time (s): 50.675
CPU usage (%): 99.7187
Max. virtual memory (cumulated for all children) (KiB): 8984192
Max. memory (cumulated for all children) (KiB): 8452592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.42
system time used= 50.675
maximum resident set size= 8452592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1318529
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= 349
involuntary context switches= 2952
# summary of solver processes directly reported to runsolver:
# pid: 276338
# total CPU time (s): 3600.09
# total CPU user time (s): 3549.42
# total CPU system time (s): 50.675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5154 second user time and 15.3962 second system time
The end
Begin job on nodeC015 at 2024-07-25 07:22:00
IDJOB=4459172
IDBENCH=178533
IDSOLVER=3074
FILE ID=nodeC015/4459172-1721884920
RUNJOBID= nodeC015-1721875749-271078
SLURM_JOB_ID= 8089221
Free space on /tmp= 889944 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_50.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-4459172-1721884920/watcher-4459172-1721884920 -o /tmp/evaluation-result-4459172-1721884920/solver-4459172-1721884920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721875749-271078 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4459172-1721884920.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3762504243d867ee0a80bf59380bdaf6
RANDOM SEED=572689465
nodeC015.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 : 3676.412
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.37
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 : 3688.513
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.17
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.838
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.37
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 : 3601.445
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.17
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 : 3676.411
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.37
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 : 3690.243
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.17
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.775
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.37
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 : 3658.316
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.17
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125636876 kB
MemAvailable: 126750676 kB
Buffers: 294432 kB
Cached: 1485152 kB
SwapCached: 312 kB
Active: 1174044 kB
Inactive: 3785232 kB
Active(anon): 4476 kB
Inactive(anon): 3227780 kB
Active(file): 1169568 kB
Inactive(file): 557452 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 97664 kB
Writeback: 0 kB
AnonPages: 3178860 kB
Mapped: 127740 kB
Shmem: 52524 kB
KReclaimable: 448188 kB
Slab: 571312 kB
SReclaimable: 448188 kB
SUnreclaim: 123124 kB
KernelStack: 4144 kB
PageTables: 15756 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3794312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 641024 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: 367316 kB
DirectMap2M: 43446272 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889988 MiB
End job on nodeC015 at 2024-07-25 08:22:11