0.00/0.01 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.01 c Do: 140729827590872 140729827590880
0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.02 c Starting SCIP solver (with time-limit = 1800s) ...
1793.54/1800.02 c SCIP timeout with lower and upper bounds: [0, 1]
1793.54/1800.02 o 1
1794.12/1800.62 c Do: 140729827590872 140729827590880
3600.01/3611.11
3600.01/3611.11 v x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x1 -x2 -x3 x4 -x5 x6 x7 x8 -x9 x10 -x11 -x12 -x13 -x14 x15 -x16 x17 x18 -x19 x20 x21 -x22 -x23 x24 x25 x26 x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 -x36 -x37 x38 -x39 x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 x50 -x51 x52 -x53 x54 -x55 -x56 x57 x58 x59 -x60 x61 -x62 -x63 x64 -x65 -x66 x67 x68 x69 -x70 -x71 x72 -x73 x74 -x75 x76 -x77 x78 x79 x80 -x81 x82 -x83 x84 x85 x86 -x87 x88 x89 x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 x99 x100 -x101 x102 -x103 x104 -x105 x106 -x107 x108 x109 -x110 x111 x112 -x113 -x114 x115 -x116 x117 -x118 x119 x120 -x121 -x122 -x123 x124 x125 x126 -x127 -x128 x129 -x130 -x131 x132 -x133 -x134 x135 x136 -x137 x138 -x139 x140 x141 -x142 -x143 x144 -x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153
3600.01/3611.11 s SATISFIABLE
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: 64059 MiB (61338 MiB free)
memory of node 1: 64510 MiB (60584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457886-1721877735/watcher-4457886-1721877735 -o /tmp/evaluation-result-4457886-1721877735/solver-4457886-1721877735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721877735-214046 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4457886-1721877735.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=214100, runsolver pid=214094
[startup+0.100446 s]*
/proc/loadavg: 2.87 3.07 3.15 6/252 214114
/proc/meminfo: memFree=124802856/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=34040 memory=24432 CPUtime=0.1 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 3839 0 0 0 9 1 0 0 20 0 1 0 23763276 34856960 6108 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 8510 6108 2542 2594 0 5403 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34040 KiB
Current children cumulated memory: 24432 KiB
[startup+0.216032 s]*
/proc/loadavg: 2.87 3.07 3.15 6/252 214114
/proc/meminfo: memFree=124725852/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=40844 memory=30856 CPUtime=0.21 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 5864 0 0 0 20 1 0 0 20 0 1 0 23763276 41824256 7714 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 10211 7714 2638 2594 0 7104 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40844 KiB
Current children cumulated memory: 30856 KiB
[startup+0.315621 s]*
/proc/loadavg: 2.87 3.07 3.15 6/252 214114
/proc/meminfo: memFree=124665976/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=40844 memory=30856 CPUtime=0.31 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 5864 0 0 0 30 1 0 0 20 0 1 0 23763276 41824256 7714 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 10211 7714 2638 2594 0 7104 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40844 KiB
Current children cumulated memory: 30856 KiB
[startup+0.700385 s]
/proc/loadavg: 2.87 3.07 3.15 5/252 214116
/proc/meminfo: memFree=124588548/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=49288 memory=38880 CPUtime=0.68 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 7889 0 0 0 66 2 0 0 20 0 1 0 23763276 50470912 9720 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 12322 9720 2654 2594 0 9215 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49288 KiB
Current children cumulated memory: 38880 KiB
[startup+1.50039 s]
/proc/loadavg: 2.87 3.07 3.15 5/252 214116
/proc/meminfo: memFree=124472308/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=55392 memory=44528 CPUtime=1.48 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 9405 0 0 0 145 3 0 0 20 0 1 0 23763276 56721408 11132 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 13848 11132 2654 2594 0 10741 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55392 KiB
Current children cumulated memory: 44528 KiB
[startup+3.11463 s]
/proc/loadavg: 2.87 3.07 3.15 5/252 214116
/proc/meminfo: memFree=124127148/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=73836 memory=62188 CPUtime=3.09 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 14168 0 0 0 305 4 0 0 20 0 1 0 23763276 75608064 15547 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 18459 15547 2654 2594 0 15352 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73836 KiB
Current children cumulated memory: 62188 KiB
[startup+6.30033 s]
/proc/loadavg: 2.96 3.08 3.16 5/252 214116
/proc/meminfo: memFree=124110248/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=82960 memory=71160 CPUtime=6.26 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 16437 0 0 0 622 4 0 0 20 0 1 0 23763276 84951040 17790 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 20740 17790 2654 2594 0 17633 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 82960 KiB
Current children cumulated memory: 71160 KiB
[startup+12.7003 s]
/proc/loadavg: 3.05 3.10 3.16 5/252 214117
/proc/meminfo: memFree=124092728/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=101364 memory=90056 CPUtime=12.63 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 21331 0 0 0 1259 4 0 0 20 0 1 0 23763276 103796736 22514 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 25341 22514 2654 2594 0 22234 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 101364 KiB
Current children cumulated memory: 90056 KiB
[startup+25.5004 s]
/proc/loadavg: 3.26 3.14 3.18 5/252 214119
/proc/meminfo: memFree=123758104/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=112788 memory=101048 CPUtime=25.39 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 23898 0 0 0 2534 5 0 0 20 0 1 0 23763276 115494912 25262 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 28197 25262 2654 2594 0 25090 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 112788 KiB
Current children cumulated memory: 101048 KiB
[startup+51.1139 s]
/proc/loadavg: 3.58 3.23 3.21 5/252 214124
/proc/meminfo: memFree=123760764/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=131944 memory=120848 CPUtime=50.9 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 28307 0 0 0 5084 6 0 0 20 0 1 0 23763276 135110656 30212 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 32986 30212 2654 2594 0 29879 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 131944 KiB
Current children cumulated memory: 120848 KiB
[startup+102.3 s]
/proc/loadavg: 3.89 3.37 3.26 5/252 214133
/proc/meminfo: memFree=123635892/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=177520 memory=166056 CPUtime=101.9 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 41817 0 0 0 10182 8 0 0 20 0 1 0 23763276 181780480 41514 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 44380 41514 2654 2594 0 41273 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 177520 KiB
Current children cumulated memory: 166056 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.50 3.31 5/252 214144
/proc/meminfo: memFree=123525672/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=218120 memory=207992 CPUtime=161.7 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 58353 0 0 0 16159 11 0 0 20 0 1 0 23763276 223354880 51998 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 54530 51998 2654 2594 0 51423 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 218120 KiB
Current children cumulated memory: 207992 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.62 3.37 5/252 214538
/proc/meminfo: memFree=123411724/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=256360 memory=243368 CPUtime=221.5 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 71392 0 0 0 22137 13 0 0 20 0 1 0 23763276 262512640 60842 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 64090 60842 2654 2594 0 60983 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 256360 KiB
Current children cumulated memory: 243368 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 3.75 3.43 5/252 214548
/proc/meminfo: memFree=123238744/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=282772 memory=272204 CPUtime=281.29 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 82380 0 0 0 28114 15 0 0 20 0 1 0 23763276 289558528 68051 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 70693 68051 2654 2594 0 67586 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 282772 KiB
Current children cumulated memory: 272204 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.81 3.47 5/244 214560
/proc/meminfo: memFree=123110700/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=317548 memory=304988 CPUtime=341.06 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 90967 0 0 0 34090 16 0 0 20 0 1 0 23763276 325169152 76247 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 79387 76247 2654 2594 0 76280 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 317548 KiB
Current children cumulated memory: 304988 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.88 3.52 5/246 214740
/proc/meminfo: memFree=122961336/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=347844 memory=336944 CPUtime=400.85 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 98950 0 0 0 40067 18 0 0 20 0 1 0 23763276 356192256 84236 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 86961 84236 2654 2594 0 83854 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 347844 KiB
Current children cumulated memory: 336944 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.91 3.55 5/246 214750
/proc/meminfo: memFree=122728392/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=383676 memory=368944 CPUtime=460.62 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 108090 0 0 0 46043 19 0 0 20 0 1 0 23763276 392884224 92236 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 95919 92236 2654 2594 0 92812 0
################
# More data... #
################
Current children cumulated memory: 635808 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/245 215818
/proc/meminfo: memFree=121337784/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=2913.11 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 231157 0 0 0 291257 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 2913.11 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/245 215830
/proc/meminfo: memFree=121320864/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=2972.95 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 231259 0 0 0 297241 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 2972.95 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/245 215840
/proc/meminfo: memFree=121329524/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3032.78 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 231336 0 0 0 303224 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3032.78 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/245 215850
/proc/meminfo: memFree=121345448/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3092.62 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 231426 0 0 0 309208 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3092.62 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/243 215861
/proc/meminfo: memFree=121449740/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3152.45 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 231527 0 0 0 315191 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3152.45 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/242 215871
/proc/meminfo: memFree=121458832/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3212.29 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 231631 0 0 0 321175 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/243 215882
/proc/meminfo: memFree=121432984/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3272.12 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 231720 0 0 0 327158 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3342.3 s]
/proc/loadavg: 4.34 4.17 4.13 5/243 215892
/proc/meminfo: memFree=121482560/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3331.96 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 231810 0 0 0 333142 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3402.3 s]
/proc/loadavg: 4.53 4.26 4.17 5/243 215903
/proc/meminfo: memFree=121480176/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3391.79 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 231914 0 0 0 339125 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3462.3 s]
/proc/loadavg: 4.59 4.33 4.20 5/243 215913
/proc/meminfo: memFree=121343840/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3451.62 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 232015 0 0 0 345108 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.27 4.18 5/246 215928
/proc/meminfo: memFree=121479408/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3511.45 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 232118 0 0 0 351091 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.25 4.18 5/245 215940
/proc/meminfo: memFree=121479200/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3571.28 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 232232 0 0 0 357074 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.11 4.22 4.17 6/240 215999
/proc/meminfo: memFree=123857284/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3600.01 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 232248 0 0 0 359947 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 214100 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.48 s, system=0.55188 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.11 4.22 4.17 6/240 215999
/proc/meminfo: memFree=123857284/131655788 swapFree=131057052/131071996
[pid=214100] ppid=214094 vsize=642696 memory=635808 CPUtime=3600.01 cores=5,7
/proc/214100/stat : 214100 (CASHWMaxSAT-Dis) R 214094 214100 214033 0 -1 4194304 232248 0 0 0 359947 54 0 0 20 0 1 0 23763276 658120704 158952 134679101440 4194304 14817773 140729827593280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25591808 140729827599333 140729827599448 140729827599448 140729827606463 0
/proc/214100/statm: 160674 158952 2718 2594 0 157567 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 642696 KiB
Current children cumulated memory: 635808 KiB
Child status: 10
Real time (s): 3611.12
CPU time (s): 3600.03
CPU user time (s): 3599.48
CPU system time (s): 0.55188
CPU usage (%): 99.6929
Max. virtual memory (cumulated for all children) (KiB): 774792
Max. memory (cumulated for all children) (KiB): 756784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.48
system time used= 0.55188
maximum resident set size= 756784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232248
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= 83
involuntary context switches= 2659
# summary of solver processes directly reported to runsolver:
# pid: 214100
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.48
# total CPU system time (s): 0.55188
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8207 second user time and 35.6011 second system time
The end
Begin job on nodeC012 at 2024-07-25 05:22:15
IDJOB=4457886
IDBENCH=177049
IDSOLVER=3075
FILE ID=nodeC012/4457886-1721877735
RUNJOBID= nodeC012-1721877735-214046
SLURM_JOB_ID= 8089276
Free space on /tmp= 723776 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457886-1721877735/watcher-4457886-1721877735 -o /tmp/evaluation-result-4457886-1721877735/solver-4457886-1721877735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721877735-214046 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4457886-1721877735.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 203a71e4765d41abd7101b66eed46923
RANDOM SEED=1070173020
nodeC012.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 : 0xb00001f
cpu MHz : 1197.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.47
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 : 0xb00001f
cpu MHz : 1197.168
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.47
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 : 0xb00001f
cpu MHz : 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.170
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.47
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 : 0xb00001f
cpu MHz : 1197.166
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.175
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.47
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 : 0xb00001f
cpu MHz : 1197.168
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124850648 kB
MemAvailable: 129914276 kB
Buffers: 302832 kB
Cached: 5546568 kB
SwapCached: 188 kB
Active: 2584320 kB
Inactive: 3578620 kB
Active(anon): 3876 kB
Inactive(anon): 362748 kB
Active(file): 2580444 kB
Inactive(file): 3215872 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131057052 kB
Dirty: 55260 kB
Writeback: 12 kB
AnonPages: 310508 kB
Mapped: 115504 kB
Shmem: 53076 kB
KReclaimable: 214688 kB
Slab: 326056 kB
SReclaimable: 214688 kB
SUnreclaim: 111368 kB
KernelStack: 3476 kB
PageTables: 9140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 642976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 15136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 190464 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: 402248 kB
DirectMap2M: 55076864 kB
DirectMap1G: 80740352 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC012 at 2024-07-25 06:22:27