999.68/1002.76 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
999.68/1002.76 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
999.77/1002.84 c Starting SCIP solver (with time-limit = 1800s) ...
2794.37/2803.16 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.03/3612.10 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: 63708 MiB (61646 MiB free)
memory of node 1: 64465 MiB (63421 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490585-1751379876/watcher-4490585-1751379876 -o /tmp/evaluation-result-4490585-1751379876/solver-4490585-1751379876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751372645-54003 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4490585-1751379876.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=54896, runsolver pid=54893
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.44 4.21 4.12 5/264 54897
/proc/meminfo: memFree=128044612/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=38992 memory=24128 CPUtime=0.09 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 6541 0 0 0 9 0 0 0 20 0 1 0 53667036 39927808 6032 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 9748 6032 960 2593 0 6641 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38992 KiB
Current children cumulated memory: 24128 KiB
[startup+0.205588 s]*
/proc/loadavg: 4.44 4.21 4.12 5/264 54897
/proc/meminfo: memFree=128044612/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=44120 memory=26176 CPUtime=0.2 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 7048 0 0 0 20 0 0 0 20 0 1 0 53667036 45178880 6544 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 11030 6544 960 2593 0 7923 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44120 KiB
Current children cumulated memory: 26176 KiB
[startup+0.305541 s]*
/proc/loadavg: 4.44 4.21 4.12 5/264 54897
/proc/meminfo: memFree=128044612/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=44120 memory=28608 CPUtime=0.29 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 7649 0 0 0 29 0 0 0 20 0 1 0 53667036 45178880 7152 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 11030 7152 960 2593 0 7923 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44120 KiB
Current children cumulated memory: 28608 KiB
[startup+0.700188 s]
/proc/loadavg: 4.44 4.21 4.12 5/264 54897
/proc/meminfo: memFree=128044676/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=44244 memory=28820 CPUtime=0.69 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 9565 0 0 0 68 1 0 0 20 0 1 0 53667036 45305856 7205 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 11061 7205 960 2593 0 7954 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44244 KiB
Current children cumulated memory: 28820 KiB
[startup+1.50016 s]
/proc/loadavg: 4.44 4.21 4.12 5/264 54897
/proc/meminfo: memFree=128025020/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=69984 memory=55028 CPUtime=1.49 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 15372 0 0 0 147 2 0 0 20 0 1 0 53667036 71663616 13757 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 17496 13757 992 2593 0 14389 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 69984 KiB
Current children cumulated memory: 55028 KiB
[startup+3.10531 s]
/proc/loadavg: 4.40 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128507680/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=71604 memory=57140 CPUtime=3.08 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 16844 0 0 0 306 2 0 0 20 0 1 0 53667036 73322496 14285 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 17901 14285 992 2593 0 14794 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 71604 KiB
Current children cumulated memory: 57140 KiB
[startup+6.30014 s]
/proc/loadavg: 4.40 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128499880/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=72096 memory=57652 CPUtime=6.27 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 16971 0 0 0 625 2 0 0 20 0 1 0 53667036 73826304 14413 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 18024 14413 992 2593 0 14917 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72096 KiB
Current children cumulated memory: 57652 KiB
[startup+12.7001 s]
/proc/loadavg: 4.37 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128587852/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=73312 memory=58932 CPUtime=12.65 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 17301 0 0 0 1263 2 0 0 20 0 1 0 53667036 75071488 14733 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 18328 14733 992 2593 0 15221 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73312 KiB
Current children cumulated memory: 58932 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.19 4.12 5/264 54942
/proc/meminfo: memFree=128584340/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=76312 memory=62004 CPUtime=25.41 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 18056 0 0 0 2539 2 0 0 20 0 1 0 53667036 78143488 15501 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 19078 15501 992 2593 0 15971 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 76312 KiB
Current children cumulated memory: 62004 KiB
[startup+51.1054 s]
/proc/loadavg: 4.19 4.17 4.11 5/263 54943
/proc/meminfo: memFree=128584136/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=78088 memory=63668 CPUtime=50.94 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 18503 0 0 0 5092 2 0 0 20 0 1 0 53667036 79962112 15917 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 19522 15917 992 2593 0 16415 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 78088 KiB
Current children cumulated memory: 63668 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/263 54945
/proc/meminfo: memFree=128571364/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=87752 memory=73388 CPUtime=101.99 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 22541 0 0 0 10195 4 0 0 20 0 1 0 53667036 89858048 18347 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 21938 18347 992 2593 0 18831 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 87752 KiB
Current children cumulated memory: 73388 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/263 54947
/proc/meminfo: memFree=128763340/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=90664 memory=76332 CPUtime=161.81 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 23276 0 0 0 16177 4 0 0 20 0 1 0 53667036 92839936 19083 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 22666 19083 992 2593 0 19559 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 90664 KiB
Current children cumulated memory: 76332 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 54952
/proc/meminfo: memFree=128739476/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=96844 memory=82476 CPUtime=221.62 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 23806 0 0 0 22158 4 0 0 20 0 1 0 53667036 99168256 20619 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 24211 20619 992 2593 0 21104 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 96844 KiB
Current children cumulated memory: 82476 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/265 54960
/proc/meminfo: memFree=128730640/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=115920 memory=101548 CPUtime=281.43 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 25007 0 0 0 28139 4 0 0 20 0 1 0 53667036 118702080 25387 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 28980 25387 992 2593 0 25873 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 115920 KiB
Current children cumulated memory: 101548 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 54963
/proc/meminfo: memFree=128703400/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=97608 memory=83432 CPUtime=341.25 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 29454 0 0 0 34118 7 0 0 20 0 1 0 53667036 99950592 20858 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 24402 20858 992 2593 0 21295 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 97608 KiB
Current children cumulated memory: 83432 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 54967
/proc/meminfo: memFree=128711832/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=101676 memory=87372 CPUtime=401.07 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 32129 0 0 0 40098 9 0 0 20 0 1 0 53667036 104116224 21843 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 25419 21843 992 2593 0 22312 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 101676 KiB
Current children cumulated memory: 87372 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 54969
/proc/meminfo: memFree=128694608/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=135240 memory=120876 CPUtime=460.89 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 34041 0 0 0 46079 10 0 0 20 0 1 0 53667036 138485760 30219 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 33810 30219 992 2593 0 30703 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 809524 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 55195
/proc/meminfo: memFree=127015272/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=809524 CPUtime=2913.08 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 182581 0 0 0 291264 44 0 0 20 0 1 0 53667036 895959040 202381 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 202381 2976 2593 0 215633 0
Current children cumulated CPU time: 2913.08 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 809524 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 55197
/proc/meminfo: memFree=127003772/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=809524 CPUtime=2972.83 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 182582 0 0 0 297239 44 0 0 20 0 1 0 53667036 895959040 202381 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 202381 2976 2593 0 215633 0
Current children cumulated CPU time: 2972.83 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 809524 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 55200
/proc/meminfo: memFree=126983744/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=809524 CPUtime=3032.58 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 182615 0 0 0 303213 45 0 0 20 0 1 0 53667036 895959040 202381 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 202381 2976 2593 0 215633 0
Current children cumulated CPU time: 3032.58 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 809524 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 55202
/proc/meminfo: memFree=126937420/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=809524 CPUtime=3092.32 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 182646 0 0 0 309187 45 0 0 20 0 1 0 53667036 895959040 202381 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 202381 2976 2593 0 215633 0
Current children cumulated CPU time: 3092.32 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 809524 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 55204
/proc/meminfo: memFree=126910856/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=809524 CPUtime=3152.08 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 182676 0 0 0 315163 45 0 0 20 0 1 0 53667036 895959040 202381 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 202381 2976 2593 0 215633 0
Current children cumulated CPU time: 3152.08 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 809524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 55209
/proc/meminfo: memFree=126903988/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=811188 CPUtime=3211.83 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 183081 0 0 0 321138 45 0 0 20 0 1 0 53667036 895959040 202797 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 202797 2976 2593 0 215633 0
Current children cumulated CPU time: 3211.83 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 811188 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 55216
/proc/meminfo: memFree=126799584/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=812596 CPUtime=3271.58 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 183456 0 0 0 327113 45 0 0 20 0 1 0 53667036 895959040 203149 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 203149 2976 2593 0 215633 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 812596 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/265 55218
/proc/meminfo: memFree=126797536/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=812596 CPUtime=3331.33 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 183457 0 0 0 333088 45 0 0 20 0 1 0 53667036 895959040 203149 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 203149 2976 2593 0 215633 0
Current children cumulated CPU time: 3331.33 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 812596 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 55220
/proc/meminfo: memFree=126810128/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=812596 CPUtime=3391.08 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 183488 0 0 0 339063 45 0 0 20 0 1 0 53667036 895959040 203149 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 203149 2976 2593 0 215633 0
Current children cumulated CPU time: 3391.08 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 812596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 55222
/proc/meminfo: memFree=126770728/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=812596 CPUtime=3450.84 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 183530 0 0 0 345039 45 0 0 20 0 1 0 53667036 895959040 203149 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 203149 2976 2593 0 215633 0
Current children cumulated CPU time: 3450.84 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 812596 KiB
[startup+3522.3 s]
/proc/loadavg: 3.90 4.04 4.08 4/259 55255
/proc/meminfo: memFree=127990864/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=812596 CPUtime=3510.59 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 183543 0 0 0 351014 45 0 0 20 0 1 0 53667036 895959040 203149 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 203149 2976 2593 0 215633 0
Current children cumulated CPU time: 3510.59 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 812596 KiB
[startup+3582.3 s]
/proc/loadavg: 3.37 3.87 4.01 4/259 55257
/proc/meminfo: memFree=127992080/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=812596 CPUtime=3570.35 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 183589 0 0 0 356990 45 0 0 20 0 1 0 53667036 895959040 203149 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 203149 2976 2593 0 215633 0
Current children cumulated CPU time: 3570.35 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 812596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 3.28 3.80 3.98 4/259 55258
/proc/meminfo: memFree=127992844/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=812596 CPUtime=3600.03 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 183617 0 0 0 359958 45 0 0 20 0 1 0 53667036 895959040 203149 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 203149 2976 2593 0 215633 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 812596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 54896 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.59 s, system=0.470359 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 3.28 3.80 3.98 4/259 55258
/proc/meminfo: memFree=127992844/131250000 swapFree=33009904/33010684
[pid=54896] ppid=54893 vsize=874960 memory=812596 CPUtime=3600.03 cores=5,7
/proc/54896/stat : 54896 (CASHWMaxSAT-Dis) R 54893 54896 53990 0 -1 4194304 183617 0 0 0 359958 45 0 0 20 0 1 0 53667036 895959040 203149 18446744073709551615 4198400 14817773 140721079661456 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 26001408 140721079667050 140721079667165 140721079667165 140721079672767 0
/proc/54896/statm: 218740 203149 2976 2593 0 215633 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 874960 KiB
Current children cumulated memory: 812596 KiB
Child status: 0
Real time (s): 3612.12
CPU time (s): 3600.06
CPU user time (s): 3599.59
CPU system time (s): 0.470359
CPU usage (%): 99.6662
Max. virtual memory (cumulated for all children) (KiB): 939920
Max. memory (cumulated for all children) (KiB): 850780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.470359
maximum resident set size= 850780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183617
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= 46
involuntary context switches= 3146
# summary of solver processes directly reported to runsolver:
# pid: 54896
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.59
# total CPU system time (s): 0.470359
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45412 second user time and 15.8445 second system time
The end
Begin job on nodeC033 at 2025-07-01 16:24:36
IDJOB=4490585
IDBENCH=147597
IDSOLVER=3322
FILE ID=nodeC033/4490585-1751379876
RUNJOBID= nodeC033-1751372645-54003
SLURM_JOB_ID= 9598203
Free space on /tmp= 432436 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490585-1751379876/watcher-4490585-1751379876 -o /tmp/evaluation-result-4490585-1751379876/solver-4490585-1751379876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751372645-54003 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4490585-1751379876.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5da80f5858be2a333e7d6bf1625fcb5c
RANDOM SEED=761502988
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.284
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.052
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3606.943
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.068
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.303
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3625.436
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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.081
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128069032 kB
MemAvailable: 127791920 kB
Buffers: 2128 kB
Cached: 520724 kB
SwapCached: 68 kB
Active: 2238144 kB
Inactive: 282108 kB
Active(anon): 1990940 kB
Inactive(anon): 24488 kB
Active(file): 247204 kB
Inactive(file): 257620 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13812 kB
Writeback: 48 kB
AnonPages: 2000140 kB
Mapped: 137332 kB
Shmem: 18028 kB
KReclaimable: 114604 kB
Slab: 203992 kB
SReclaimable: 114604 kB
SUnreclaim: 89388 kB
KernelStack: 4256 kB
PageTables: 6960 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2509456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1792000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432436 MiB
End job on nodeC033 at 2025-07-01 17:24:49