2.28/2.36 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
2.28/2.36 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
851.43/853.80 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
851.83/854.29 c Starting SCIP solver (with time-limit = 1800s) ...
2707.71/2715.08 c SCIP timeout with lower and upper bounds: [6, 9223372036854775807]
3600.09/3609.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62631 MiB free)
memory of node 1: 64473 MiB (61598 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440034-1721227155/watcher-4440034-1721227155 -o /tmp/evaluation-result-4440034-1721227155/solver-4440034-1721227155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721218082-906853 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440034-1721227155.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=913167, runsolver pid=913164
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.16 4.14 4.10 5/255 913168
/proc/meminfo: memFree=127192432/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=47812 memory=27596 CPUtime=0.09 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 6362 0 0 0 9 0 0 0 20 0 1 0 174879373 48959488 6899 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 11953 6899 782 2417 0 9055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47812 KiB
Current children cumulated memory: 27596 KiB
[startup+0.205528 s]*
/proc/loadavg: 4.16 4.14 4.10 5/255 913168
/proc/meminfo: memFree=127165888/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=72904 memory=51664 CPUtime=0.2 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 10289 0 0 0 18 2 0 0 20 0 1 0 174879373 74653696 12916 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 18226 12916 782 2417 0 15328 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72904 KiB
Current children cumulated memory: 51664 KiB
[startup+0.305481 s]*
/proc/loadavg: 4.16 4.14 4.10 5/255 913168
/proc/meminfo: memFree=127136976/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=96572 memory=77384 CPUtime=0.3 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 11618 0 0 0 28 2 0 0 20 0 1 0 174879373 98889728 19346 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 24143 19346 782 2417 0 21245 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96572 KiB
Current children cumulated memory: 77384 KiB
[startup+0.700237 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 913168
/proc/meminfo: memFree=127086240/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=148920 memory=124312 CPUtime=0.69 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 22552 0 0 0 64 5 0 0 20 0 1 0 174879373 152494080 31078 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 37230 31078 782 2417 0 34332 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148920 KiB
Current children cumulated memory: 124312 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 913168
/proc/meminfo: memFree=127070940/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=189148 memory=156416 CPUtime=1.48 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 24310 0 0 0 142 6 0 0 20 0 1 0 174879373 193687552 39104 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 47287 39104 782 2417 0 44389 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 189148 KiB
Current children cumulated memory: 156416 KiB
[startup+3.10539 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 913168
/proc/meminfo: memFree=127053576/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=189148 memory=156416 CPUtime=3.09 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 24323 0 0 0 303 6 0 0 20 0 1 0 174879373 193687552 39104 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 47287 39104 782 2417 0 44389 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 189148 KiB
Current children cumulated memory: 156416 KiB
[startup+6.30022 s]
/proc/loadavg: 4.14 4.13 4.10 5/255 913168
/proc/meminfo: memFree=127058724/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=189148 memory=162560 CPUtime=6.27 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 24363 0 0 0 621 6 0 0 20 0 1 0 174879373 193687552 40640 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 47287 40640 782 2417 0 44389 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 189148 KiB
Current children cumulated memory: 162560 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.10 5/255 913170
/proc/meminfo: memFree=127017228/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=200820 memory=177076 CPUtime=12.65 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 25884 0 0 0 1258 7 0 0 20 0 1 0 174879373 205639680 44269 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 50205 44269 814 2417 0 47307 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 200820 KiB
Current children cumulated memory: 177076 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.10 5/255 913171
/proc/meminfo: memFree=127016880/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=200820 memory=177224 CPUtime=25.42 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 25942 0 0 0 2535 7 0 0 20 0 1 0 174879373 205639680 44306 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 50205 44306 814 2417 0 47307 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 200820 KiB
Current children cumulated memory: 177224 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 913180
/proc/meminfo: memFree=127020152/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=200820 memory=177228 CPUtime=50.95 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 26023 0 0 0 5088 7 0 0 20 0 1 0 174879373 205639680 44307 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 50205 44307 814 2417 0 47307 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 200820 KiB
Current children cumulated memory: 177228 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 913189
/proc/meminfo: memFree=127045756/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=200820 memory=169440 CPUtime=101.99 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 29219 0 0 0 10187 12 0 0 20 0 1 0 174879373 205639680 42360 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 50205 42360 814 2417 0 47307 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 200820 KiB
Current children cumulated memory: 169440 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/256 913199
/proc/meminfo: memFree=127002520/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=212604 memory=180328 CPUtime=161.81 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 32822 0 0 0 16165 16 0 0 20 0 1 0 174879373 217706496 45082 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 53151 45082 814 2417 0 50253 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 212604 KiB
Current children cumulated memory: 180328 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.18 4.11 5/256 913255
/proc/meminfo: memFree=127830124/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=261924 memory=225680 CPUtime=221.64 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 36118 0 0 0 22141 23 0 0 20 0 1 0 174879373 268210176 56420 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 65481 56420 814 2417 0 62583 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 261924 KiB
Current children cumulated memory: 225680 KiB
[startup+282.3 s]
/proc/loadavg: 4.43 4.25 4.14 5/256 913268
/proc/meminfo: memFree=127848108/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=231372 memory=207788 CPUtime=281.46 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 39900 0 0 0 28118 28 0 0 20 0 1 0 174879373 236924928 51947 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 57843 51947 814 2417 0 54945 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 231372 KiB
Current children cumulated memory: 207788 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.22 4.14 5/256 913279
/proc/meminfo: memFree=127829248/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=231372 memory=207788 CPUtime=341.29 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 43518 0 0 0 34094 35 0 0 20 0 1 0 174879373 236924928 51947 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 57843 51947 814 2417 0 54945 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 231372 KiB
Current children cumulated memory: 207788 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.20 4.14 5/255 913290
/proc/meminfo: memFree=127797044/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=231372 memory=207788 CPUtime=401.12 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 48128 0 0 0 40070 42 0 0 20 0 1 0 174879373 236924928 51947 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 57843 51947 814 2417 0 54945 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 231372 KiB
Current children cumulated memory: 207788 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.18 4.13 5/255 913301
/proc/meminfo: memFree=127769428/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=231372 memory=207788 CPUtime=460.94 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 50709 0 0 0 46048 46 0 0 20 0 1 0 174879373 236924928 51947 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 57843 51947 814 2417 0 54945 0
################
# More data... #
################
Current children cumulated memory: 1838676 KiB
[startup+2922.3 s]
/proc/loadavg: 3.08 3.11 3.26 4/249 914900
/proc/meminfo: memFree=124543744/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1840640 CPUtime=2914.38 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 424060 0 0 0 291271 167 0 0 20 0 1 0 174879373 1921089536 460160 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 460160 2542 2417 0 466118 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1840640 KiB
[startup+2982.3 s]
/proc/loadavg: 3.18 3.13 3.26 4/249 914910
/proc/meminfo: memFree=124539200/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1840640 CPUtime=2974.2 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 424222 0 0 0 297252 168 0 0 20 0 1 0 174879373 1921089536 460160 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 460160 2542 2417 0 466118 0
Current children cumulated CPU time: 2974.2 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1840640 KiB
[startup+3042.3 s]
/proc/loadavg: 3.11 3.12 3.24 4/252 914979
/proc/meminfo: memFree=124462900/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1840644 CPUtime=3034.03 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 424381 0 0 0 303235 168 0 0 20 0 1 0 174879373 1921089536 460161 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 460161 2542 2417 0 466118 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1840644 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.12 3.24 4/251 914990
/proc/meminfo: memFree=124486796/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1840696 CPUtime=3093.87 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 424522 0 0 0 309218 169 0 0 20 0 1 0 174879373 1921089536 460174 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 460174 2542 2417 0 466118 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1840696 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.12 3.23 4/251 915000
/proc/meminfo: memFree=124460588/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1841172 CPUtime=3153.7 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 424637 0 0 0 315201 169 0 0 20 0 1 0 174879373 1921089536 460293 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 460293 2542 2417 0 466118 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1841172 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.12 3.22 4/251 915010
/proc/meminfo: memFree=124465328/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1841600 CPUtime=3213.53 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 424824 0 0 0 321184 169 0 0 20 0 1 0 174879373 1921089536 460400 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 460400 2542 2417 0 466118 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1841600 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.12 3.21 4/251 915022
/proc/meminfo: memFree=124480412/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1841600 CPUtime=3273.35 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 424925 0 0 0 327166 169 0 0 20 0 1 0 174879373 1921089536 460400 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 460400 2542 2417 0 466118 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1841600 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.11 3.20 4/251 915032
/proc/meminfo: memFree=124452132/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1841600 CPUtime=3333.19 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 425114 0 0 0 333149 170 0 0 20 0 1 0 174879373 1921089536 460400 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 460400 2542 2417 0 466118 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1841600 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.12 3.19 4/247 915042
/proc/meminfo: memFree=124439660/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1842112 CPUtime=3393.03 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 425302 0 0 0 339133 170 0 0 20 0 1 0 174879373 1921089536 460528 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 460528 2542 2417 0 466118 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1842112 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.11 3.18 4/247 915052
/proc/meminfo: memFree=124472896/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1845988 CPUtime=3452.87 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 425476 0 0 0 345117 170 0 0 20 0 1 0 174879373 1921089536 461497 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 461497 2542 2417 0 466118 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1845988 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.10 3.17 4/247 915063
/proc/meminfo: memFree=124463600/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1845996 CPUtime=3512.71 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 425600 0 0 0 351101 170 0 0 20 0 1 0 174879373 1921089536 461499 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 461499 2542 2417 0 466118 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1845996 KiB
[startup+3582.3 s]
/proc/loadavg: 2.71 3.02 3.14 2/233 915134
/proc/meminfo: memFree=127023824/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1849188 CPUtime=3572.56 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 425830 0 0 0 357085 171 0 0 20 0 1 0 174879373 1921089536 462297 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 462297 2542 2417 0 466118 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1849188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 2.12 2.85 3.08 2/233 915139
/proc/meminfo: memFree=127023488/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1849432 CPUtime=3600.09 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 425839 0 0 0 359838 171 0 0 20 0 1 0 174879373 1921089536 462358 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 462358 2542 2417 0 466118 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1849432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 913167 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.39 s, system=1.72858 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 2.12 2.85 3.08 2/233 915139
/proc/meminfo: memFree=127023488/131524600 swapFree=131071996/131071996
[pid=913167] ppid=913164 vsize=1876064 memory=1849432 CPUtime=3600.09 cores=4,6
/proc/913167/stat : 913167 (CASHWMaxSAT-Dis) R 913164 913167 906842 0 -1 4194304 425839 0 0 0 359838 171 0 0 20 0 1 0 174879373 1921089536 462358 134679101440 4194304 14093885 140722943919536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50016256 140722943923172 140722943923287 140722943923287 140722943930303 0
/proc/913167/statm: 469016 462358 2542 2417 0 466118 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1876064 KiB
Current children cumulated memory: 1849432 KiB
Child status: 0
Real time (s): 3609.92
CPU time (s): 3600.12
CPU user time (s): 3598.39
CPU system time (s): 1.72858
CPU usage (%): 99.7285
Max. virtual memory (cumulated for all children) (KiB): 2708332
Max. memory (cumulated for all children) (KiB): 2166400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.39
system time used= 1.72858
maximum resident set size= 2166400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425839
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= 41
involuntary context switches= 1611
# summary of solver processes directly reported to runsolver:
# pid: 913167
# total CPU time (s): 3600.12
# total CPU user time (s): 3598.39
# total CPU system time (s): 1.72858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07905 second user time and 16.3849 second system time
The end
Begin job on nodeC021 at 2024-07-17 16:39:28
IDJOB=4440034
IDBENCH=148772
IDSOLVER=3077
FILE ID=nodeC021/4440034-1721227155
RUNJOBID= nodeC021-1721218082-906853
SLURM_JOB_ID= 7508936
Free space on /tmp= 890040 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440034-1721227155/watcher-4440034-1721227155 -o /tmp/evaluation-result-4440034-1721227155/solver-4440034-1721227155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721218082-906853 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440034-1721227155.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=744344679
nodeC021.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 : 3664.482
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.42
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 : 3694.424
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.23
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.239
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.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.807
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.23
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 : 3659.263
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.42
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 : 3694.611
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.554
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.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.902
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127212516 kB
MemAvailable: 128065456 kB
Buffers: 458452 kB
Cached: 1230264 kB
SwapCached: 0 kB
Active: 873384 kB
Inactive: 2833120 kB
Active(anon): 1560 kB
Inactive(anon): 2053992 kB
Active(file): 871824 kB
Inactive(file): 779128 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13384 kB
Writeback: 0 kB
AnonPages: 2015788 kB
Mapped: 121840 kB
Shmem: 37720 kB
KReclaimable: 83620 kB
Slab: 191212 kB
SReclaimable: 83620 kB
SUnreclaim: 107592 kB
KernelStack: 4108 kB
PageTables: 13160 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2388472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 65792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1536000 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: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC021 at 2024-07-17 17:39:38