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 (59692 MiB free)
memory of node 1: 64510 MiB (60344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451328-1721426843/watcher-4451328-1721426843 -o /tmp/evaluation-result-4451328-1721426843/solver-4451328-1721426843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721421209-1054972 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4451328-1721426843.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
solver pid=1058401, runsolver pid=1058398
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.11 4.13 4.10 5/258 1058402
/proc/meminfo: memFree=122915524/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=20556 memory=6768 CPUtime=0.1 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 858 0 0 0 10 0 0 0 20 0 1 0 194849618 21049344 1692 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 5139 1692 1146 2726 0 1887 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20556 KiB
Current children cumulated memory: 6768 KiB
[startup+0.205523 s]*
/proc/loadavg: 4.11 4.13 4.10 5/258 1058402
/proc/meminfo: memFree=122914864/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=20812 memory=7096 CPUtime=0.2 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 1136 0 0 0 20 0 0 0 20 0 1 0 194849618 21311488 1774 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 5203 1774 1146 2726 0 1951 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20812 KiB
Current children cumulated memory: 7096 KiB
[startup+0.30567 s]*
/proc/loadavg: 4.11 4.13 4.10 5/258 1058402
/proc/meminfo: memFree=122914192/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=21516 memory=7720 CPUtime=0.3 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 1523 0 0 0 30 0 0 0 20 0 1 0 194849618 22032384 1930 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 5379 1930 1146 2726 0 2127 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21516 KiB
Current children cumulated memory: 7720 KiB
[startup+0.700214 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 1058402
/proc/meminfo: memFree=122913844/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=22180 memory=8464 CPUtime=0.69 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 2444 0 0 0 69 0 0 0 20 0 1 0 194849618 22712320 2116 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 5545 2116 1146 2726 0 2293 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22180 KiB
Current children cumulated memory: 8464 KiB
[startup+1.50022 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 1058402
/proc/meminfo: memFree=122915236/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=23232 memory=9304 CPUtime=1.48 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 4011 0 0 0 148 0 0 0 20 0 1 0 194849618 23789568 2326 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 5808 2326 1146 2726 0 2556 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 23232 KiB
Current children cumulated memory: 9304 KiB
[startup+3.10557 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 1058403
/proc/meminfo: memFree=122911920/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=25792 memory=12068 CPUtime=3.09 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 6722 0 0 0 308 1 0 0 20 0 1 0 194849618 26411008 3017 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 6448 3017 1146 2726 0 3196 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 25792 KiB
Current children cumulated memory: 12068 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 1058403
/proc/meminfo: memFree=122909716/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=30772 memory=16688 CPUtime=6.27 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 12456 0 0 0 625 2 0 0 20 0 1 0 194849618 31510528 4172 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 7693 4172 1146 2726 0 4441 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 30772 KiB
Current children cumulated memory: 16688 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.14 4.10 5/258 1058405
/proc/meminfo: memFree=122904524/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=32988 memory=19076 CPUtime=12.66 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 17887 0 0 0 1263 3 0 0 20 0 1 0 194849618 33779712 4769 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 8247 4769 1146 2726 0 4995 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32988 KiB
Current children cumulated memory: 19076 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 1058406
/proc/meminfo: memFree=122900388/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=35864 memory=22020 CPUtime=25.42 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 23580 0 0 0 2538 4 0 0 20 0 1 0 194849618 36724736 5505 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 8966 5505 1146 2726 0 5714 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 35864 KiB
Current children cumulated memory: 22020 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 4.12 4.10 5/259 1058634
/proc/meminfo: memFree=122902204/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=45020 memory=30804 CPUtime=50.96 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 30718 0 0 0 5090 6 0 0 20 0 1 0 194849618 46100480 7701 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 11255 7701 1146 2726 0 8003 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 45020 KiB
Current children cumulated memory: 30804 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/259 1058645
/proc/meminfo: memFree=122886924/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=55712 memory=41684 CPUtime=102.02 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 43148 0 0 0 10192 10 0 0 20 0 1 0 194849618 57049088 10421 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 13928 10421 1146 2726 0 10676 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 55712 KiB
Current children cumulated memory: 41684 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/265 1058939
/proc/meminfo: memFree=122888584/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=46376 memory=32724 CPUtime=161.86 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 46051 0 0 0 16175 11 0 0 20 0 1 0 194849618 47489024 8181 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 11594 8181 1146 2726 0 8342 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 46376 KiB
Current children cumulated memory: 32724 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 1059003
/proc/meminfo: memFree=123182596/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=57512 memory=42672 CPUtime=221.7 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 66102 0 0 0 22151 19 0 0 20 0 1 0 194849618 58892288 10668 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 14378 10668 1146 2726 0 11126 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 42672 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 1059014
/proc/meminfo: memFree=123143584/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=71076 memory=56460 CPUtime=281.53 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 80999 0 0 0 28130 23 0 0 20 0 1 0 194849618 72781824 14115 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 17769 14115 1146 2726 0 14517 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 71076 KiB
Current children cumulated memory: 56460 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 1059025
/proc/meminfo: memFree=123141168/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=67008 memory=49420 CPUtime=341.35 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 104134 0 0 0 34103 32 0 0 20 0 1 0 194849618 68616192 12355 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 16752 12355 1146 2726 0 13500 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 67008 KiB
Current children cumulated memory: 49420 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 1059036
/proc/meminfo: memFree=123108532/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=79252 memory=64744 CPUtime=401.17 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 120263 0 0 0 40080 37 0 0 20 0 1 0 194849618 81154048 16186 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 19813 16186 1146 2726 0 16561 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 79252 KiB
Current children cumulated memory: 64744 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 1059047
/proc/meminfo: memFree=123068436/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=80928 memory=63996 CPUtime=460.99 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 133818 0 0 0 46056 43 0 0 20 0 1 0 194849618 82870272 15999 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 20232 15999 1146 2726 0 16980 0
################
# More data... #
################
Current children cumulated memory: 129568 KiB
[startup+2922.3 s]
/proc/loadavg: 4.31 4.21 4.13 5/257 1060729
/proc/meminfo: memFree=122978124/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=142408 memory=117384 CPUtime=2914.23 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 447285 0 0 0 291267 156 0 0 20 0 1 0 194849618 145825792 29346 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 35602 29346 1146 2726 0 32350 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 142408 KiB
Current children cumulated memory: 117384 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.19 4.12 5/258 1060743
/proc/meminfo: memFree=123008516/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=104944 memory=91364 CPUtime=2974.07 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 452553 0 0 0 297249 158 0 0 20 0 1 0 194849618 107462656 22841 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 26236 22841 1146 2726 0 22984 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 104944 KiB
Current children cumulated memory: 91364 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/260 1060924
/proc/meminfo: memFree=122950464/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=141408 memory=120036 CPUtime=3033.92 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 459917 0 0 0 303232 160 0 0 20 0 1 0 194849618 144801792 30009 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 35352 30009 1146 2726 0 32100 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 141408 KiB
Current children cumulated memory: 120036 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/260 1060935
/proc/meminfo: memFree=122957160/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=133192 memory=111336 CPUtime=3093.76 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 468891 0 0 0 309212 164 0 0 20 0 1 0 194849618 136388608 27834 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 33298 27834 1146 2726 0 30046 0
Current children cumulated CPU time: 3093.76 s
Current children cumulated vsize: 133192 KiB
Current children cumulated memory: 111336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/260 1060947
/proc/meminfo: memFree=122978504/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=137428 memory=120444 CPUtime=3153.61 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 473514 0 0 0 315195 166 0 0 20 0 1 0 194849618 140726272 30111 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 34357 30111 1146 2726 0 31105 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 137428 KiB
Current children cumulated memory: 120444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/259 1060971
/proc/meminfo: memFree=122955780/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=144484 memory=120632 CPUtime=3213.45 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 482615 0 0 0 321177 168 0 0 20 0 1 0 194849618 147951616 30158 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 36121 30158 1146 2726 0 32869 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 144484 KiB
Current children cumulated memory: 120632 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/259 1060983
/proc/meminfo: memFree=122915208/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=146132 memory=130756 CPUtime=3273.29 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 486094 0 0 0 327160 169 0 0 20 0 1 0 194849618 149639168 32689 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 36533 32689 1146 2726 0 33281 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 146132 KiB
Current children cumulated memory: 130756 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/259 1060995
/proc/meminfo: memFree=122885100/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=146952 memory=132636 CPUtime=3333.14 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 487331 0 0 0 333144 170 0 0 20 0 1 0 194849618 150478848 33159 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 36738 33159 1146 2726 0 33486 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 146952 KiB
Current children cumulated memory: 132636 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/257 1061052
/proc/meminfo: memFree=123013432/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=148068 memory=133524 CPUtime=3392.99 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 488594 0 0 0 339128 171 0 0 20 0 1 0 194849618 151621632 33381 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 37017 33381 1146 2726 0 33765 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 148068 KiB
Current children cumulated memory: 133524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/256 1061062
/proc/meminfo: memFree=123013224/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=150316 memory=123060 CPUtime=3452.84 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 495192 0 0 0 345110 174 0 0 20 0 1 0 194849618 153923584 30765 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 37579 30765 1146 2726 0 34327 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 150316 KiB
Current children cumulated memory: 123060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 1061072
/proc/meminfo: memFree=123032164/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=153492 memory=136648 CPUtime=3512.68 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 498970 0 0 0 351093 175 0 0 20 0 1 0 194849618 157175808 34162 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 38373 34162 1146 2726 0 35121 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 136648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 1061083
/proc/meminfo: memFree=123052448/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=146200 memory=132100 CPUtime=3572.52 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 502623 0 0 0 357076 176 0 0 20 0 1 0 194849618 149708800 33025 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 36550 33025 1146 2726 0 33298 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 146200 KiB
Current children cumulated memory: 132100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 1061088
/proc/meminfo: memFree=123011516/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=115340 memory=101760 CPUtime=3600.05 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 503088 0 0 0 359828 177 0 0 20 0 1 0 194849618 118108160 25440 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 28835 25440 1146 2726 0 25583 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 115340 KiB
Current children cumulated memory: 101760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 1058401 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.29 s, system=1.77834 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 1061088
/proc/meminfo: memFree=123011516/131524600 swapFree=131071996/131071996
[pid=1058401] ppid=1058398 vsize=115340 memory=101760 CPUtime=3600.05 cores=4,6
/proc/1058401/stat : 1058401 (CASHWMaxSAT-Dis) R 1058398 1058401 1054961 0 -1 4194304 503088 0 0 0 359828 177 0 0 20 0 1 0 194849618 118108160 25440 134679101440 4194304 15356333 140736769672112 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29204480 140736769676257 140736769676373 140736769676373 140736769683390 0
/proc/1058401/statm: 28835 25440 1146 2726 0 25583 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 115340 KiB
Current children cumulated memory: 101760 KiB
Child status: 0
Real time (s): 3609.9
CPU time (s): 3600.06
CPU user time (s): 3598.29
CPU system time (s): 1.77834
CPU usage (%): 99.7275
Max. virtual memory (cumulated for all children) (KiB): 185212
Max. memory (cumulated for all children) (KiB): 162408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.29
system time used= 1.77834
maximum resident set size= 164940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503088
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= 71
involuntary context switches= 3409
# summary of solver processes directly reported to runsolver:
# pid: 1058401
# total CPU time (s): 3600.06
# total CPU user time (s): 3598.29
# total CPU system time (s): 1.77834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58116 second user time and 16.6696 second system time
The end
Begin job on nodeC025 at 2024-07-20 00:07:35
IDJOB=4451328
IDBENCH=162392
IDSOLVER=3074
FILE ID=nodeC025/4451328-1721426843
RUNJOBID= nodeC025-1721421209-1054972
SLURM_JOB_ID= 7545497
Free space on /tmp= 889988 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v080-n1.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-4451328-1721426843/watcher-4451328-1721426843 -o /tmp/evaluation-result-4451328-1721426843/solver-4451328-1721426843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721421209-1054972 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4451328-1721426843.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 139bb5ccb101e0ad3f28f227f0d5b150
RANDOM SEED=241959904
nodeC025.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 : 3658.620
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.72
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 : 3684.140
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 : 7007.09
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 : 3600.540
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.72
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 : 3600.039
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 : 7007.09
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 : 3647.848
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.72
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 : 3684.135
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 : 7007.09
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 : 3664.916
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.026
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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122918568 kB
MemAvailable: 129064552 kB
Buffers: 556668 kB
Cached: 6359140 kB
SwapCached: 0 kB
Active: 1134068 kB
Inactive: 6689792 kB
Active(anon): 1552 kB
Inactive(anon): 952404 kB
Active(file): 1132516 kB
Inactive(file): 5737388 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14392 kB
Writeback: 0 kB
AnonPages: 904416 kB
Mapped: 120820 kB
Shmem: 45912 kB
KReclaimable: 231452 kB
Slab: 360408 kB
SReclaimable: 231452 kB
SUnreclaim: 128956 kB
KernelStack: 4156 kB
PageTables: 11132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1403504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 784384 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC025 at 2024-07-20 01:07:45