Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | SAT (TO) | 2 | 3600.11 | 3610.11 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=11.opb |
| MD5SUM | 9b5c30834c5e817deb28aeb7d8484ce1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 403 |
| Total number of constraints | 13065 |
| Number of constraints which are clauses | 13052 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 14 |
| Number of terms in the objective function | 13 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 13 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 15 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.06 o 13 0.00/0.06 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.07 c Starting SCIP solver (with time-limit = 1800s) ... 1794.81/1800.07 c SCIP timeout with lower and upper bounds: [0, 2] 1794.81/1800.07 o 2 3600.09/3610.10 3600.09/3610.10 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x105 -x118 -x131 -x144 -x157 -x170 -x183 -x196 -x209 -x222 x235 -x248 -x93 x106 -x119 -x132 -x145 -x158 -x171 -x184 -x197 -x210 -x223 -x236 -x249 -x94 -x107 -x120 -x133 x146 -x159 -x172 -x185 -x198 -x211 -x224 -x237 -x250 -x95 -x108 x121 -x134 -x147 -x160 -x173 -x186 -x199 -x212 -x225 -x238 -x251 -x96 -x109 -x122 x135 -x148 -x161 -x174 -x187 -x200 -x213 -x226 -x239 -x252 -x97 -x110 -x123 -x136 -x149 -x162 -x175 -x188 x201 -x214 -x227 -x240 -x253 -x98 -x111 -x124 -x137 -x150 -x163 -x176 -x189 -x202 -x215 x228 -x241 -x254 -x99 -x112 -x125 -x138 -x151 -x164 -x177 -x190 -x203 x216 -x229 -x242 -x255 -x100 -x113 -x126 -x139 -x152 -x165 x178 -x191 -x204 -x217 -x230 -x243 -x256 -x101 -x114 -x127 -x140 -x153 -x166 -x179 x192 -x205 -x218 -x231 -x244 -x257 -x102 -x115 -x128 -x141 -x154 -x167 -x180 -x193 -x206 -x219 -x232 -x245 -x258 -x103 -x116 -x129 -x142 -x155 -x168 -x181 -x194 -x207 -x220 -x233 -x246 -x259 -x104 -x117 -x130 -x143 -x156 -x169 -x182 -x195 -x208 -x221 -x234 -x247 x260 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 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 3600.09/3610.10 s SATISFIABLE
OK 2
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 (62878 MiB free)
memory of node 1: 64473 MiB (61714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449844-1721403111/watcher-4449844-1721403111 -o /tmp/evaluation-result-4449844-1721403111/solver-4449844-1721403111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721403125-1013053 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449844-1721403111.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1013105, runsolver pid=1013097
[startup+0.100884 s]*
/proc/loadavg: 1.14 1.12 1.09 8/262 1013116
/proc/meminfo: memFree=127496540/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=50552 memory=41312 CPUtime=0.09 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 8033 0 0 0 8 1 0 0 20 0 1 0 192474681 51765248 10328 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 12638 10328 2526 2594 0 9531 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50552 KiB
Current children cumulated memory: 41312 KiB
[startup+0.20537 s]*
/proc/loadavg: 1.14 1.12 1.09 5/262 1013116
/proc/meminfo: memFree=127447764/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=97492 memory=74208 CPUtime=0.2 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 14356 0 0 0 18 2 0 0 20 0 1 0 192474681 99831808 18552 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 24373 18552 2558 2594 0 21266 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97492 KiB
Current children cumulated memory: 74208 KiB
[startup+0.305966 s]*
/proc/loadavg: 1.14 1.12 1.09 6/262 1013116
/proc/meminfo: memFree=127389304/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=127132 memory=109296 CPUtime=0.3 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 21673 0 0 0 27 3 0 0 20 0 1 0 192474681 130183168 27324 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 31783 27324 2654 2594 0 28676 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 127132 KiB
Current children cumulated memory: 109296 KiB
[startup+0.700219 s]
/proc/loadavg: 1.14 1.12 1.09 7/262 1013116
/proc/meminfo: memFree=127296328/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=133548 memory=112588 CPUtime=0.68 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 22807 0 0 0 65 3 0 0 20 0 1 0 192474681 136753152 28147 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 33387 28147 2670 2594 0 30280 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133548 KiB
Current children cumulated memory: 112588 KiB
[startup+1.50019 s]
/proc/loadavg: 1.14 1.12 1.09 6/262 1013116
/proc/meminfo: memFree=127219000/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=138560 memory=114964 CPUtime=1.48 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 23424 0 0 0 145 3 0 0 20 0 1 0 192474681 141885440 28741 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 34640 28741 2670 2594 0 31533 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 138560 KiB
Current children cumulated memory: 114964 KiB
[startup+3.10637 s]
/proc/loadavg: 1.14 1.12 1.09 6/262 1013116
/proc/meminfo: memFree=127026648/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=177492 memory=144464 CPUtime=3.08 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 30900 0 0 0 304 4 0 0 20 0 1 0 192474681 181751808 36116 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 44373 36116 2670 2594 0 41266 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 177492 KiB
Current children cumulated memory: 144464 KiB
[startup+6.30017 s]
/proc/loadavg: 1.37 1.16 1.11 6/262 1013118
/proc/meminfo: memFree=127014556/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=177728 memory=144752 CPUtime=6.27 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 30986 0 0 0 623 4 0 0 20 0 1 0 192474681 181993472 36188 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 44432 36188 2670 2594 0 41325 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 177728 KiB
Current children cumulated memory: 144752 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.21 1.12 6/262 1013118
/proc/meminfo: memFree=126958792/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=202580 memory=167704 CPUtime=12.65 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 38692 0 0 0 1260 5 0 0 20 0 1 0 192474681 207441920 41926 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 50645 41926 2670 2594 0 47538 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 202580 KiB
Current children cumulated memory: 167704 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.35 1.17 6/262 1013119
/proc/meminfo: memFree=126854944/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=226156 memory=185736 CPUtime=25.42 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 45731 0 0 0 2535 7 0 0 20 0 1 0 192474681 231583744 46434 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 56539 46434 2670 2594 0 53432 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 226156 KiB
Current children cumulated memory: 185736 KiB
[startup+51.1064 s]
/proc/loadavg: 2.83 1.58 1.25 6/260 1013124
/proc/meminfo: memFree=126737248/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=257652 memory=210236 CPUtime=50.94 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 51818 0 0 0 5084 10 0 0 20 0 1 0 192474681 263835648 52559 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 64413 52559 2670 2594 0 61306 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 257652 KiB
Current children cumulated memory: 210236 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.97 1.40 6/260 1013133
/proc/meminfo: memFree=126587076/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=305148 memory=255852 CPUtime=102 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 61697 0 0 0 10184 16 0 0 20 0 1 0 192474681 312471552 63963 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 76287 63963 2670 2594 0 73180 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 305148 KiB
Current children cumulated memory: 255852 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.36 1.57 6/259 1013145
/proc/meminfo: memFree=126406256/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=344040 memory=287052 CPUtime=161.83 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 69038 0 0 0 16166 17 0 0 20 0 1 0 192474681 352296960 71763 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 86010 71763 2670 2594 0 82903 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 344040 KiB
Current children cumulated memory: 287052 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.69 1.74 6/259 1013247
/proc/meminfo: memFree=126363472/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=376984 memory=328568 CPUtime=221.65 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 78438 0 0 0 22146 19 0 0 20 0 1 0 192474681 386031616 82142 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 94246 82142 2670 2594 0 91139 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 376984 KiB
Current children cumulated memory: 328568 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.94 1.89 6/256 1013257
/proc/meminfo: memFree=126267832/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=406420 memory=375200 CPUtime=281.44 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 82217 0 0 0 28124 20 0 0 20 0 1 0 192474681 416174080 93800 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 101605 93800 2670 2594 0 98498 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 406420 KiB
Current children cumulated memory: 375200 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.16 2.03 6/254 1013270
/proc/meminfo: memFree=126048180/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=463004 memory=434776 CPUtime=341.25 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 91629 0 0 0 34103 22 0 0 20 0 1 0 192474681 474116096 108694 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 115751 108694 2670 2594 0 112644 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 463004 KiB
Current children cumulated memory: 434776 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.33 2.16 6/254 1013280
/proc/meminfo: memFree=125914060/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=501204 memory=481612 CPUtime=401.09 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 101544 0 0 0 40085 24 0 0 20 0 1 0 192474681 513232896 120403 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 125301 120403 2670 2594 0 122194 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 501204 KiB
Current children cumulated memory: 481612 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.47 2.28 6/254 1013290
/proc/meminfo: memFree=125806288/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=533292 memory=512432 CPUtime=460.93 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 104330 0 0 0 46068 25 0 0 20 0 1 0 192474681 546091008 128108 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 133323 128108 2670 2594 0 130216 0
################
# More data... #
################
Current children cumulated memory: 429592 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.13 4.02 5/254 1014446
/proc/meminfo: memFree=126525156/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=2914.06 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 195901 0 0 0 291354 52 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.02 5/258 1014464
/proc/meminfo: memFree=126501552/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=2973.92 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 196020 0 0 0 297340 52 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 2973.92 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/258 1014474
/proc/meminfo: memFree=126503836/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=3033.77 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 196110 0 0 0 303325 52 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/258 1014484
/proc/meminfo: memFree=126486004/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=3093.63 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 196216 0 0 0 309311 52 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/258 1014496
/proc/meminfo: memFree=126479028/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=3153.48 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 196308 0 0 0 315296 52 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/258 1014506
/proc/meminfo: memFree=126486612/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=3213.34 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 197191 0 0 0 321281 53 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/257 1014900
/proc/meminfo: memFree=126420276/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=474536 memory=467724 CPUtime=3273.19 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 198636 0 0 0 327264 55 0 0 20 0 1 0 192474681 485924864 116931 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 118634 116931 2718 2594 0 115527 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 474536 KiB
Current children cumulated memory: 467724 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/257 1014911
/proc/meminfo: memFree=126466824/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=3333.04 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 199143 0 0 0 333248 56 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.03 5/257 1014967
/proc/meminfo: memFree=126905244/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=3392.89 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 199274 0 0 0 339233 56 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/259 1015147
/proc/meminfo: memFree=126898704/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=3452.72 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 199373 0 0 0 345216 56 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/259 1015157
/proc/meminfo: memFree=126866068/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=474724 memory=467912 CPUtime=3512.55 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 200689 0 0 0 351196 59 0 0 20 0 1 0 192474681 486117376 116978 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 118681 116978 2718 2594 0 115574 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 474724 KiB
Current children cumulated memory: 467912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/259 1015226
/proc/meminfo: memFree=126904572/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=436404 memory=429592 CPUtime=3572.37 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 202335 0 0 0 357176 61 0 0 20 0 1 0 192474681 446877696 107398 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 109101 107398 2718 2594 0 105994 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 436404 KiB
Current children cumulated memory: 429592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.14 4.12 4.04 5/259 1015230
/proc/meminfo: memFree=126837264/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=473096 memory=466284 CPUtime=3600.09 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 202884 0 0 0 359947 62 0 0 20 0 1 0 192474681 484450304 116571 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 118274 116571 2718 2594 0 115167 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 473096 KiB
Current children cumulated memory: 466284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 1013105 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.48 s, system=0.628969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.14 4.12 4.04 5/259 1015230
/proc/meminfo: memFree=126837264/131524600 swapFree=131071996/131071996
[pid=1013105] ppid=1013097 vsize=473096 memory=466284 CPUtime=3600.09 cores=1,3
/proc/1013105/stat : 1013105 (CASHWMaxSAT-Dis) R 1013097 1013105 1011044 0 -1 4194304 202884 0 0 0 359947 62 0 0 20 0 1 0 192474681 484450304 116571 134679101440 4194304 14817773 140721017808688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47489024 140721017816035 140721017816150 140721017816150 140721017823167 0
/proc/1013105/statm: 118274 116571 2718 2594 0 115167 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 473096 KiB
Current children cumulated memory: 466284 KiB
Child status: 10
Real time (s): 3610.11
CPU time (s): 3600.11
CPU user time (s): 3599.48
CPU system time (s): 0.628969
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 1395820
Max. memory (cumulated for all children) (KiB): 1338516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.48
system time used= 0.628969
maximum resident set size= 1338516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202885
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= 80
involuntary context switches= 1978
# summary of solver processes directly reported to runsolver:
# pid: 1013105
# total CPU time (s): 3600.11
# total CPU user time (s): 3599.48
# total CPU system time (s): 0.628969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38376 second user time and 17.9537 second system time
The end
Begin job on nodeC020 at 2024-07-19 17:32:05 IDJOB=4449844 IDBENCH=176148 IDSOLVER=3075 FILE ID=nodeC020/4449844-1721403111 RUNJOBID= nodeC020-1721403125-1013053 SLURM_JOB_ID= 7545442 Free space on /tmp= 890084 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=11.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-4449844-1721403111/watcher-4449844-1721403111 -o /tmp/evaluation-result-4449844-1721403111/solver-4449844-1721403111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721403125-1013053 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449844-1721403111.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1 RANDOM SEED=1887123091 nodeC020.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 : 3584.661 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 : 7000.05 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 : 3640.555 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.84 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 : 3562.926 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 : 7000.05 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 : 3213.134 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.84 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 : 3414.876 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 : 7000.05 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 : 3291.090 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.84 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 : 3568.374 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 : 7000.05 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 : 3630.950 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.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127585164 kB MemAvailable: 129692292 kB Buffers: 529148 kB Cached: 2404796 kB SwapCached: 0 kB Active: 904788 kB Inactive: 2385220 kB Active(anon): 1496 kB Inactive(anon): 400556 kB Active(file): 903292 kB Inactive(file): 1984664 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 56916 kB Writeback: 0 kB AnonPages: 355420 kB Mapped: 106264 kB Shmem: 45912 kB KReclaimable: 117992 kB Slab: 233224 kB SReclaimable: 117992 kB SUnreclaim: 115232 kB KernelStack: 3968 kB PageTables: 9724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 789356 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 69312 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 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: 211668 kB DirectMap2M: 22630400 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890028 MiB End job on nodeC020 at 2024-07-19 18:32:15