Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 12 | 1800.01 | 1792.62 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
| MD5SUM | b690996610ff381ef60353517fe5a0e9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1797.53 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 6 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1293 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4389 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.03/0.08 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.03/0.08 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.03/0.09 c no version file found!!! 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 1599470296 0.03/0.09 c Max memory 1607860224 0.03/0.09 c Total memory 1607860224 0.03/0.09 c Number of processors 8 0.07/0.11 --- Begin Solver configuration --- 0.07/0.11 c Stops conflict analysis at the first Unique Implication Point 0.07/0.11 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.07/0.11 c Learn all clauses as in MiniSAT 0.07/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.11 c VSIDS like heuristics from MiniSAT using a heap 0.07/0.11 c No reason simplification 0.07/0.11 c --- End Solver configuration --- 0.07/0.11 c solving HOME/instance-3734816-1338702859.opb 0.07/0.11 c reading problem ... 0.07/0.15 c ... done. Wall clock time 0.04s. 0.07/0.15 c CPU time (experimental) 0.12s. 0.07/0.15 c #vars 146 0.07/0.15 c #constraints 12 0.27/0.22 c SATISFIABLE 0.27/0.22 c OPTIMIZING... 0.27/0.22 c Got one! Elapsed wall clock time (in seconds):0.11 0.27/0.22 o 2667 0.27/0.24 c Got one! Elapsed wall clock time (in seconds):0.127 0.27/0.24 o 2665 0.27/0.25 c Got one! Elapsed wall clock time (in seconds):0.141 0.27/0.25 o 2637 0.27/0.26 c Got one! Elapsed wall clock time (in seconds):0.153 0.27/0.26 o 2399 0.27/0.28 c Got one! Elapsed wall clock time (in seconds):0.165 0.27/0.28 o 2398 0.27/0.29 c Got one! Elapsed wall clock time (in seconds):0.176 0.27/0.29 o 2294 0.48/0.30 c Got one! Elapsed wall clock time (in seconds):0.187 0.48/0.30 o 2288 0.48/0.31 c Got one! Elapsed wall clock time (in seconds):0.196 0.48/0.31 o 2271 0.48/0.32 c Got one! Elapsed wall clock time (in seconds):0.206 0.48/0.32 o 2269 0.48/0.33 c Got one! Elapsed wall clock time (in seconds):0.215 0.48/0.33 o 2123 0.48/0.34 c Got one! Elapsed wall clock time (in seconds):0.227 0.48/0.34 o 2121 0.48/0.35 c Got one! Elapsed wall clock time (in seconds):0.243 0.48/0.35 o 2120 0.48/0.36 c Got one! Elapsed wall clock time (in seconds):0.252 0.48/0.36 o 2068 0.48/0.37 c Got one! Elapsed wall clock time (in seconds):0.261 0.48/0.37 o 2062 0.48/0.38 c Got one! Elapsed wall clock time (in seconds):0.273 0.48/0.38 o 2060 0.48/0.39 c Got one! Elapsed wall clock time (in seconds):0.282 0.48/0.39 o 2059 0.63/0.40 c Got one! Elapsed wall clock time (in seconds):0.295 0.63/0.40 o 2007 0.63/0.42 c Got one! Elapsed wall clock time (in seconds):0.305 0.63/0.42 o 1973 0.63/0.43 c Got one! Elapsed wall clock time (in seconds):0.315 0.63/0.43 o 1931 0.63/0.44 c Got one! Elapsed wall clock time (in seconds):0.328 0.63/0.44 o 1929 0.63/0.45 c Got one! Elapsed wall clock time (in seconds):0.339 0.63/0.45 o 1893 0.63/0.46 c Got one! Elapsed wall clock time (in seconds):0.348 0.63/0.46 o 1888 0.63/0.47 c Got one! Elapsed wall clock time (in seconds):0.357 0.63/0.47 o 1877 0.63/0.48 c Got one! Elapsed wall clock time (in seconds):0.366 0.63/0.48 o 1875 0.63/0.49 c Got one! Elapsed wall clock time (in seconds):0.379 0.63/0.49 o 1861 0.77/0.50 c Got one! Elapsed wall clock time (in seconds):0.39 0.77/0.50 o 1835 0.77/0.51 c Got one! Elapsed wall clock time (in seconds):0.4 0.77/0.51 o 1827 0.77/0.53 c Got one! Elapsed wall clock time (in seconds):0.416 0.77/0.53 o 1818 0.77/0.54 c Got one! Elapsed wall clock time (in seconds):0.429 0.77/0.54 o 1816 0.77/0.55 c Got one! Elapsed wall clock time (in seconds):0.44 0.77/0.55 o 1810 0.77/0.56 c Got one! Elapsed wall clock time (in seconds):0.451 0.77/0.56 o 1808 0.77/0.57 c Got one! Elapsed wall clock time (in seconds):0.462 0.77/0.57 o 1122 0.98/0.60 c Got one! Elapsed wall clock time (in seconds):0.487 0.98/0.60 o 1118 0.98/0.61 c Got one! Elapsed wall clock time (in seconds):0.501 0.98/0.61 o 1110 0.98/0.63 c Got one! Elapsed wall clock time (in seconds):0.518 0.98/0.63 o 1109 0.98/0.65 c Got one! Elapsed wall clock time (in seconds):0.541 0.98/0.65 o 1108 0.98/0.68 c Got one! Elapsed wall clock time (in seconds):0.568 0.98/0.68 o 981 1.17/0.70 c Got one! Elapsed wall clock time (in seconds):0.591 1.17/0.70 o 772 1.17/0.72 c Got one! Elapsed wall clock time (in seconds):0.612 1.17/0.72 o 760 1.17/0.74 c Got one! Elapsed wall clock time (in seconds):0.631 1.17/0.74 o 758 1.17/0.76 c Got one! Elapsed wall clock time (in seconds):0.654 1.17/0.76 o 755 1.17/0.79 c Got one! Elapsed wall clock time (in seconds):0.677 1.17/0.79 o 754 1.30/0.81 c Got one! Elapsed wall clock time (in seconds):0.703 1.30/0.81 o 753 1.30/0.83 c Got one! Elapsed wall clock time (in seconds):0.722 1.30/0.83 o 745 1.30/0.86 c Got one! Elapsed wall clock time (in seconds):0.747 1.30/0.86 o 744 1.30/0.88 c Got one! Elapsed wall clock time (in seconds):0.765 1.30/0.88 o 742 1.30/0.89 c Got one! Elapsed wall clock time (in seconds):0.784 1.30/0.89 o 741 1.41/0.92 c Got one! Elapsed wall clock time (in seconds):0.815 1.41/0.92 o 651 1.41/0.96 c Got one! Elapsed wall clock time (in seconds):0.849 1.41/0.96 o 650 1.41/0.99 c Got one! Elapsed wall clock time (in seconds):0.878 1.41/0.99 o 649 1.54/1.01 c Got one! Elapsed wall clock time (in seconds):0.904 1.54/1.01 o 647 1.54/1.04 c Got one! Elapsed wall clock time (in seconds):0.928 1.54/1.04 o 646 1.54/1.07 c Got one! Elapsed wall clock time (in seconds):0.958 1.54/1.07 o 645 1.54/1.10 c Got one! Elapsed wall clock time (in seconds):0.988 1.54/1.10 o 643 1.70/1.13 c Got one! Elapsed wall clock time (in seconds):1.018 1.70/1.13 o 636 1.70/1.15 c Got one! Elapsed wall clock time (in seconds):1.041 1.70/1.15 o 423 1.70/1.18 c Got one! Elapsed wall clock time (in seconds):1.067 1.70/1.18 o 422 1.82/1.21 c Got one! Elapsed wall clock time (in seconds):1.095 1.82/1.21 o 421 1.82/1.23 c Got one! Elapsed wall clock time (in seconds):1.123 1.82/1.23 o 420 1.82/1.26 c Got one! Elapsed wall clock time (in seconds):1.148 1.82/1.26 o 418 1.82/1.29 c Got one! Elapsed wall clock time (in seconds):1.176 1.82/1.29 o 417 1.92/1.35 c Got one! Elapsed wall clock time (in seconds):1.241 1.92/1.35 o 416 1.92/1.39 c Got one! Elapsed wall clock time (in seconds):1.276 1.92/1.39 o 414 2.04/1.42 c Got one! Elapsed wall clock time (in seconds):1.306 2.04/1.42 o 413 2.04/1.45 c Got one! Elapsed wall clock time (in seconds):1.336 2.04/1.45 o 412 2.04/1.49 c Got one! Elapsed wall clock time (in seconds):1.379 2.04/1.49 o 409 2.15/1.52 c Got one! Elapsed wall clock time (in seconds):1.414 2.15/1.52 o 407 2.15/1.56 c Got one! Elapsed wall clock time (in seconds):1.448 2.15/1.56 o 406 2.15/1.59 c Got one! Elapsed wall clock time (in seconds):1.484 2.15/1.59 o 405 2.26/1.62 c Got one! Elapsed wall clock time (in seconds):1.513 2.26/1.62 o 403 2.26/1.66 c Got one! Elapsed wall clock time (in seconds):1.547 2.26/1.66 o 402 2.37/1.71 c Got one! Elapsed wall clock time (in seconds):1.597 2.37/1.71 o 401 2.48/1.80 c Got one! Elapsed wall clock time (in seconds):1.694 2.48/1.80 o 399 2.48/1.85 c Got one! Elapsed wall clock time (in seconds):1.74 2.48/1.85 o 397 2.48/1.89 c Got one! Elapsed wall clock time (in seconds):1.776 2.48/1.89 o 396 2.59/1.94 c Got one! Elapsed wall clock time (in seconds):1.826 2.59/1.94 o 394 2.59/1.98 c Got one! Elapsed wall clock time (in seconds):1.871 2.59/1.98 o 392 2.69/2.04 c Got one! Elapsed wall clock time (in seconds):1.927 2.69/2.04 o 390 2.81/2.14 c Got one! Elapsed wall clock time (in seconds):2.029 2.81/2.14 o 389 2.81/2.17 c Got one! Elapsed wall clock time (in seconds):2.064 2.81/2.17 o 388 2.91/2.21 c Got one! Elapsed wall clock time (in seconds):2.096 2.91/2.21 o 386 2.91/2.24 c Got one! Elapsed wall clock time (in seconds):2.132 2.91/2.24 o 385 3.00/2.32 c Got one! Elapsed wall clock time (in seconds):2.215 3.00/2.32 o 383 3.00/2.38 c Got one! Elapsed wall clock time (in seconds):2.268 3.00/2.38 o 382 3.10/2.42 c Got one! Elapsed wall clock time (in seconds):2.309 3.10/2.42 o 380 3.10/2.48 c Got one! Elapsed wall clock time (in seconds):2.368 3.10/2.48 o 379 3.20/2.51 c Got one! Elapsed wall clock time (in seconds):2.401 3.20/2.51 o 370 3.20/2.56 c Got one! Elapsed wall clock time (in seconds):2.447 3.20/2.56 o 369 3.30/2.61 c Got one! Elapsed wall clock time (in seconds):2.497 3.30/2.61 o 368 3.30/2.67 c Got one! Elapsed wall clock time (in seconds):2.563 3.30/2.67 o 367 3.40/2.71 c Got one! Elapsed wall clock time (in seconds):2.603 3.40/2.71 o 366 3.40/2.76 c Got one! Elapsed wall clock time (in seconds):2.649 3.40/2.76 o 365 3.50/2.83 c Got one! Elapsed wall clock time (in seconds):2.716 3.50/2.83 o 363 3.50/2.87 c Got one! Elapsed wall clock time (in seconds):2.757 3.50/2.87 o 361 3.61/2.96 c Got one! Elapsed wall clock time (in seconds):2.849 3.61/2.96 o 359 3.61/2.99 c Got one! Elapsed wall clock time (in seconds):2.882 3.61/2.99 o 355 3.71/3.04 c Got one! Elapsed wall clock time (in seconds):2.934 3.71/3.04 o 353 3.71/3.08 c Got one! Elapsed wall clock time (in seconds):2.974 3.71/3.08 o 339 3.85/3.15 c Got one! Elapsed wall clock time (in seconds):3.042 3.85/3.15 o 338 3.85/3.18 c Got one! Elapsed wall clock time (in seconds):3.073 3.85/3.18 o 337 3.96/3.26 c Got one! Elapsed wall clock time (in seconds):3.151 3.96/3.26 o 315 4.06/3.31 c Got one! Elapsed wall clock time (in seconds):3.197 4.06/3.31 o 314 4.25/3.57 c Got one! Elapsed wall clock time (in seconds):3.458 4.25/3.57 o 313 4.36/3.68 c Got one! Elapsed wall clock time (in seconds):3.572 4.36/3.68 o 308 4.47/3.75 c Got one! Elapsed wall clock time (in seconds):3.636 4.47/3.75 o 307 4.61/3.89 c Got one! Elapsed wall clock time (in seconds):3.779 4.61/3.89 o 306 4.73/3.93 c Got one! Elapsed wall clock time (in seconds):3.816 4.73/3.93 o 305 4.73/3.99 c Got one! Elapsed wall clock time (in seconds):3.884 4.73/3.99 o 298 4.83/4.06 c Got one! Elapsed wall clock time (in seconds):3.95 4.83/4.06 o 297 4.93/4.10 c Got one! Elapsed wall clock time (in seconds):3.988 4.93/4.10 o 296 4.93/4.13 c Got one! Elapsed wall clock time (in seconds):4.018 4.93/4.13 o 295 4.93/4.19 c Got one! Elapsed wall clock time (in seconds):4.079 4.93/4.19 o 293 5.03/4.24 c Got one! Elapsed wall clock time (in seconds):4.13 5.03/4.24 o 292 5.03/4.30 c Got one! Elapsed wall clock time (in seconds):4.185 5.03/4.30 o 290 5.24/4.45 c Got one! Elapsed wall clock time (in seconds):4.344 5.24/4.45 o 278 5.33/4.51 c Got one! Elapsed wall clock time (in seconds):4.398 5.33/4.51 o 276 5.33/4.57 c Got one! Elapsed wall clock time (in seconds):4.459 5.33/4.57 o 274 5.43/4.65 c Got one! Elapsed wall clock time (in seconds):4.536 5.43/4.65 o 272 5.53/4.70 c Got one! Elapsed wall clock time (in seconds):4.592 5.53/4.70 o 271 5.63/4.87 c Got one! Elapsed wall clock time (in seconds):4.761 5.63/4.87 o 270 5.73/4.99 c Got one! Elapsed wall clock time (in seconds):4.881 5.73/4.99 o 269 6.03/5.23 c Got one! Elapsed wall clock time (in seconds):5.122 6.03/5.23 o 267 6.03/5.29 c Got one! Elapsed wall clock time (in seconds):5.179 6.03/5.29 o 265 6.13/5.31 c Got one! Elapsed wall clock time (in seconds):5.204 6.13/5.31 o 263 6.38/5.52 c Got one! Elapsed wall clock time (in seconds):5.405 6.38/5.52 o 262 6.47/5.63 c Got one! Elapsed wall clock time (in seconds):5.522 6.47/5.63 o 261 6.47/5.67 c Got one! Elapsed wall clock time (in seconds):5.564 6.47/5.67 o 260 6.57/5.70 c Got one! Elapsed wall clock time (in seconds):5.593 6.57/5.70 o 259 6.57/5.74 c Got one! Elapsed wall clock time (in seconds):5.629 6.57/5.74 o 257 6.77/5.93 c Got one! Elapsed wall clock time (in seconds):5.82 6.77/5.93 o 255 6.87/6.02 c Got one! Elapsed wall clock time (in seconds):5.906 6.87/6.02 o 253 6.87/6.07 c Got one! Elapsed wall clock time (in seconds):5.961 6.87/6.07 o 252 6.97/6.14 c Got one! Elapsed wall clock time (in seconds):6.026 6.97/6.14 o 251 7.07/6.21 c Got one! Elapsed wall clock time (in seconds):6.1 7.07/6.21 o 249 7.17/6.30 c Got one! Elapsed wall clock time (in seconds):6.195 7.17/6.30 o 248 7.17/6.37 c Got one! Elapsed wall clock time (in seconds):6.257 7.17/6.37 o 247 7.27/6.44 c Got one! Elapsed wall clock time (in seconds):6.333 7.27/6.44 o 245 7.48/6.62 c Got one! Elapsed wall clock time (in seconds):6.509 7.48/6.62 o 243 7.58/6.74 c Got one! Elapsed wall clock time (in seconds):6.627 7.58/6.74 o 241 7.77/6.91 c Got one! Elapsed wall clock time (in seconds):6.801 7.77/6.91 o 233 7.77/6.99 c Got one! Elapsed wall clock time (in seconds):6.876 7.77/6.99 o 231 7.87/7.10 c Got one! Elapsed wall clock time (in seconds):6.986 7.87/7.10 o 230 8.33/7.44 c Got one! Elapsed wall clock time (in seconds):7.329 8.33/7.44 o 228 8.43/7.54 c Got one! Elapsed wall clock time (in seconds):7.425 8.43/7.54 o 227 8.54/7.63 c Got one! Elapsed wall clock time (in seconds):7.519 8.54/7.63 o 225 8.54/7.69 c Got one! Elapsed wall clock time (in seconds):7.585 8.54/7.69 o 191 8.73/7.82 c Got one! Elapsed wall clock time (in seconds):7.708 8.73/7.82 o 189 9.03/8.12 c Got one! Elapsed wall clock time (in seconds):8.013 9.03/8.12 o 187 9.13/8.21 c Got one! Elapsed wall clock time (in seconds):8.1 9.13/8.21 o 186 9.23/8.34 c Got one! Elapsed wall clock time (in seconds):8.229 9.23/8.34 o 185 9.33/8.44 c Got one! Elapsed wall clock time (in seconds):8.328 9.33/8.44 o 183 9.63/8.73 c Got one! Elapsed wall clock time (in seconds):8.619 9.63/8.73 o 181 10.03/9.16 c Got one! Elapsed wall clock time (in seconds):9.051 10.03/9.16 o 180 10.19/9.26 c Got one! Elapsed wall clock time (in seconds):9.148 10.19/9.26 o 179 10.48/9.53 c Got one! Elapsed wall clock time (in seconds):9.416 10.48/9.53 o 177 10.68/9.73 c Got one! Elapsed wall clock time (in seconds):9.624 10.68/9.73 o 175 10.79/9.82 c Got one! Elapsed wall clock time (in seconds):9.706 10.79/9.82 o 173 10.99/10.08 c Got one! Elapsed wall clock time (in seconds):9.97 10.99/10.08 o 171 11.09/10.16 c Got one! Elapsed wall clock time (in seconds):10.046 11.09/10.16 o 168 11.19/10.26 c Got one! Elapsed wall clock time (in seconds):10.154 11.19/10.26 o 167 11.29/10.33 c Got one! Elapsed wall clock time (in seconds):10.218 11.29/10.33 o 165 11.49/10.51 c Got one! Elapsed wall clock time (in seconds):10.397 11.49/10.51 o 164 11.58/10.60 c Got one! Elapsed wall clock time (in seconds):10.491 11.58/10.60 o 163 11.58/10.69 c Got one! Elapsed wall clock time (in seconds):10.583 11.58/10.69 o 133 11.89/10.97 c Got one! Elapsed wall clock time (in seconds):10.862 11.89/10.97 o 131 12.36/11.37 c Got one! Elapsed wall clock time (in seconds):11.26 12.36/11.37 o 130 12.76/11.70 c Got one! Elapsed wall clock time (in seconds):11.589 12.76/11.70 o 126 12.76/11.79 c Got one! Elapsed wall clock time (in seconds):11.678 12.76/11.79 o 125 12.96/11.90 c Got one! Elapsed wall clock time (in seconds):11.794 12.96/11.90 o 124 13.26/12.25 c Got one! Elapsed wall clock time (in seconds):12.14 13.26/12.25 o 123 13.46/12.45 c Got one! Elapsed wall clock time (in seconds):12.341 13.46/12.45 o 121 13.76/12.78 c Got one! Elapsed wall clock time (in seconds):12.669 13.76/12.78 o 120 13.86/12.88 c Got one! Elapsed wall clock time (in seconds):12.765 13.86/12.88 o 118 13.96/12.99 c Got one! Elapsed wall clock time (in seconds):12.881 13.96/12.99 o 116 14.55/13.46 c Got one! Elapsed wall clock time (in seconds):13.347 14.55/13.46 o 115 14.95/13.83 c Got one! Elapsed wall clock time (in seconds):13.721 14.95/13.83 o 114 15.15/14.01 c Got one! Elapsed wall clock time (in seconds):13.9 15.15/14.01 o 113 15.84/14.75 c Got one! Elapsed wall clock time (in seconds):14.64 15.84/14.75 o 112 16.04/14.92 c Got one! Elapsed wall clock time (in seconds):14.811 16.04/14.92 o 111 16.14/15.06 c Got one! Elapsed wall clock time (in seconds):14.955 16.14/15.06 o 110 16.45/15.40 c Got one! Elapsed wall clock time (in seconds):15.292 16.45/15.40 o 109 17.14/16.09 c Got one! Elapsed wall clock time (in seconds):15.976 17.14/16.09 o 107 17.51/16.34 c Got one! Elapsed wall clock time (in seconds):16.232 17.51/16.34 o 106 18.11/16.90 c Got one! Elapsed wall clock time (in seconds):16.789 18.11/16.90 o 104 18.31/17.18 c Got one! Elapsed wall clock time (in seconds):17.074 18.31/17.18 o 103 18.71/17.58 c Got one! Elapsed wall clock time (in seconds):17.47 18.71/17.58 o 101 19.97/18.74 c Got one! Elapsed wall clock time (in seconds):18.628 19.97/18.74 o 100 20.26/19.07 c Got one! Elapsed wall clock time (in seconds):18.958 20.26/19.07 o 99 20.56/19.39 c Got one! Elapsed wall clock time (in seconds):19.281 20.56/19.39 o 97 21.07/19.81 c Got one! Elapsed wall clock time (in seconds):19.701 21.07/19.81 o 96 21.46/20.27 c Got one! Elapsed wall clock time (in seconds):20.158 21.46/20.27 o 95 21.86/20.67 c Got one! Elapsed wall clock time (in seconds):20.561 21.86/20.67 o 94 22.06/20.84 c Got one! Elapsed wall clock time (in seconds):20.731 22.06/20.84 o 92 22.56/21.32 c Got one! Elapsed wall clock time (in seconds):21.21 22.56/21.32 o 90 23.31/22.08 c Got one! Elapsed wall clock time (in seconds):21.973 23.31/22.08 o 88 23.51/22.29 c Got one! Elapsed wall clock time (in seconds):22.18 23.51/22.29 o 87 24.21/22.92 c Got one! Elapsed wall clock time (in seconds):22.811 24.21/22.92 o 86 24.61/23.37 c Got one! Elapsed wall clock time (in seconds):23.264 24.61/23.37 o 85 25.21/23.99 c Got one! Elapsed wall clock time (in seconds):23.88 25.21/23.99 o 83 25.91/24.61 c Got one! Elapsed wall clock time (in seconds):24.505 25.91/24.61 o 81 26.31/25.10 c Got one! Elapsed wall clock time (in seconds):24.986 26.31/25.10 o 79 28.95/27.63 c Got one! Elapsed wall clock time (in seconds):27.516 28.95/27.63 o 78 30.27/28.97 c Got one! Elapsed wall clock time (in seconds):28.857 30.27/28.97 o 77 37.71/36.38 c Got one! Elapsed wall clock time (in seconds):36.27 37.71/36.38 o 75 39.54/38.15 c Got one! Elapsed wall clock time (in seconds):38.038 39.54/38.15 o 74 41.64/40.29 c Got one! Elapsed wall clock time (in seconds):40.176 41.64/40.29 o 72 42.44/41.02 c Got one! Elapsed wall clock time (in seconds):40.914 42.44/41.02 o 71 43.54/42.14 c Got one! Elapsed wall clock time (in seconds):42.033 43.54/42.14 o 69 46.25/44.89 c Got one! Elapsed wall clock time (in seconds):44.784 46.25/44.89 o 68 48.70/47.29 c Got one! Elapsed wall clock time (in seconds):47.183 48.70/47.29 o 66 53.13/51.66 c Got one! Elapsed wall clock time (in seconds):51.554 53.13/51.66 o 65 54.63/53.11 c Got one! Elapsed wall clock time (in seconds):53.001 54.63/53.11 o 64 56.93/55.44 c Got one! Elapsed wall clock time (in seconds):55.327 56.93/55.44 o 63 57.33/55.80 c Got one! Elapsed wall clock time (in seconds):55.692 57.33/55.80 o 62 59.95/58.49 c Got one! Elapsed wall clock time (in seconds):58.379 59.95/58.49 o 60 62.45/60.99 c Got one! Elapsed wall clock time (in seconds):60.883 62.45/60.99 o 59 64.15/62.61 c Got one! Elapsed wall clock time (in seconds):62.504 64.15/62.61 o 58 66.59/65.01 c Got one! Elapsed wall clock time (in seconds):64.899 66.59/65.01 o 56 69.99/68.44 c Got one! Elapsed wall clock time (in seconds):68.334 69.99/68.44 o 55 77.35/75.77 c Got one! Elapsed wall clock time (in seconds):75.662 77.35/75.77 o 54 80.58/78.94 c Got one! Elapsed wall clock time (in seconds):78.826 80.58/78.94 o 52 88.31/86.60 c Got one! Elapsed wall clock time (in seconds):86.493 88.31/86.60 o 50 90.11/88.46 c Got one! Elapsed wall clock time (in seconds):88.352 90.11/88.46 o 49 94.73/93.00 c Got one! Elapsed wall clock time (in seconds):92.893 94.73/93.00 o 48 96.93/95.21 c Got one! Elapsed wall clock time (in seconds):95.101 96.93/95.21 o 46 100.15/98.45 c Got one! Elapsed wall clock time (in seconds):98.342 100.15/98.45 o 45 107.79/106.01 c Got one! Elapsed wall clock time (in seconds):105.896 107.79/106.01 o 43 109.89/108.19 c Got one! Elapsed wall clock time (in seconds):108.077 109.89/108.19 o 41 110.79/109.02 c Got one! Elapsed wall clock time (in seconds):108.906 110.79/109.02 o 38 122.68/120.83 c Got one! Elapsed wall clock time (in seconds):120.717 122.68/120.83 o 36 139.26/137.38 c Got one! Elapsed wall clock time (in seconds):137.267 139.26/137.38 o 35 141.66/139.76 c Got one! Elapsed wall clock time (in seconds):139.65 141.66/139.76 o 34 148.95/147.01 c Got one! Elapsed wall clock time (in seconds):146.9 148.95/147.01 o 32 157.89/155.90 c Got one! Elapsed wall clock time (in seconds):155.788 157.89/155.90 o 31 163.49/161.59 c Got one! Elapsed wall clock time (in seconds):161.483 163.49/161.59 o 30 178.37/176.39 c Got one! Elapsed wall clock time (in seconds):176.284 178.37/176.39 o 28 193.82/191.74 c Got one! Elapsed wall clock time (in seconds):191.626 193.82/191.74 o 27 202.49/200.34 c Got one! Elapsed wall clock time (in seconds):200.227 202.49/200.34 o 25 258.61/256.20 c Got one! Elapsed wall clock time (in seconds):256.09 258.61/256.20 o 24 288.18/285.65 c Got one! Elapsed wall clock time (in seconds):285.541 288.18/285.65 o 23 324.03/321.28 c Got one! Elapsed wall clock time (in seconds):321.175 324.03/321.28 o 21 432.88/429.43 c Got one! Elapsed wall clock time (in seconds):429.322 432.88/429.43 o 19 932.56/927.48 c Got one! Elapsed wall clock time (in seconds):927.37 932.56/927.48 o 17 1665.92/1658.90 c Got one! Elapsed wall clock time (in seconds):1658.787 1666.01/1658.90 o 16 1743.47/1736.24 c Got one! Elapsed wall clock time (in seconds):1736.13 1743.47/1736.24 o 14 1766.88/1759.64 c Got one! Elapsed wall clock time (in seconds):1759.526 1766.88/1759.64 o 12 1800.01/1792.61 c starts : 1115 1800.01/1792.61 c conflicts : 1493559 1800.01/1792.61 c decisions : 1623342 1800.01/1792.61 c propagations : 15449499 1800.01/1792.61 c inspects : 11690522434 1800.01/1792.61 c learnt literals : 0 1800.01/1792.61 c learnt binary clauses : 0 1800.01/1792.61 c learnt ternary clauses : 0 1800.01/1792.61 c learnt clauses : 1493559 1800.01/1792.61 c root simplifications : 0 1800.01/1792.61 c removed literals (reason simplification) : 0 1800.01/1792.61 c reason swapping (by a shorter reason) : 0 1800.01/1792.61 c Calls to reduceDB : 0 1800.01/1792.61 c speed (decisions/second) : 49229.476876421526 1800.01/1792.61 c non guided choices 5476 1800.01/1792.61 s SATISFIABLE 1800.01/1792.61 v 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 1800.01/1792.61 c objective function=12 1800.01/1792.61 c Total wall clock time (ms): 1792.502
OK 12
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734816-1338702859/watcher-3734816-1338702859 -o /tmp/evaluation-result-3734816-1338702859/solver-3734816-1338702859 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734816-1338702859.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.01 2.00 3/194 21301 /proc/meminfo: memFree=28117676/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/21301/stat : 21301 (java) D 21299 21301 15565 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 336410793 9515008 182 33554432000 1073741824 1073778376 140735149306544 140735149297576 233220947637 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/21301/statm: 2323 182 140 9 0 71 0 [startup+0.0561909 s] /proc/loadavg: 2.06 2.01 2.00 3/194 21301 /proc/meminfo: memFree=28117676/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=2623916 CPUtime=0.03 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 3940 0 1 0 2 1 0 0 20 0 13 0 336410793 2686889984 5148 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 655979 5148 1703 9 0 646680 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2623916 [startup+0.100289 s] /proc/loadavg: 2.06 2.01 2.00 3/194 21301 /proc/meminfo: memFree=28117676/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=2957856 CPUtime=0.07 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 4394 0 1 0 6 1 0 0 20 0 18 0 336410793 3028844544 6112 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 739464 6112 1951 9 0 729885 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2957856 [startup+0.300252 s] /proc/loadavg: 2.06 2.01 2.00 3/194 21301 /proc/meminfo: memFree=28117676/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 7676 0 1 0 46 2 0 0 20 0 19 0 336410793 3097006080 10780 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 756105 10780 2255 9 0 746526 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 3024420 [startup+0.700275 s] /proc/loadavg: 2.06 2.01 2.00 3/194 21301 /proc/meminfo: memFree=28117676/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=3024420 CPUtime=1.17 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 12539 0 1 0 113 4 0 0 20 0 19 0 336410793 3097006080 32857 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 756105 32857 2266 9 0 746526 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 3024420 [startup+1.50071 s] /proc/loadavg: 2.06 2.01 2.00 3/213 21370 /proc/meminfo: memFree=27920800/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=3024420 CPUtime=2.15 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 13149 0 1 0 207 8 0 0 20 0 19 0 336410793 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 756105 80483 2270 9 0 746526 0 [pid=21301/tid=21303] ppid=21299 vsize=3024420 CPUtime=1.45 cores=1,3,5,7 /proc/21301/task/21303/stat : 21303 (java) R 21299 21301 15565 0 -1 4202560 3177 0 1 0 138 7 0 0 20 0 19 0 336410794 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812706374248 139812544076711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21304] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21304/stat : 21304 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812689799592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21305] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21305/stat : 21305 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812688747048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21306] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21306/stat : 21306 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812687693992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21307] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21307/stat : 21307 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812686641448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21308] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21308/stat : 21308 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812685589416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21309] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21309/stat : 21309 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812684536872 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21310] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21310/stat : 21310 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812683483816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21311] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21311/stat : 21311 (java) S 21299 21301 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812682431272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21312] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21312/stat : 21312 (java) S 21299 21301 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336410796 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812670019944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21313] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21313/stat : 21313 (java) S 21299 21301 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336410797 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812668966264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21314] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21314/stat : 21314 (java) S 21299 21301 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336410797 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812667913096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21315] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21315/stat : 21315 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812666861840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21316] ppid=21299 vsize=3024420 CPUtime=0.27 cores=1,3,5,7 /proc/21301/task/21316/stat : 21316 (java) S 21299 21301 15565 0 -1 4202560 2432 0 0 0 27 0 0 0 20 0 19 0 336410800 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812665809720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21317] ppid=21299 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/21301/task/21317/stat : 21317 (java) S 21299 21301 15565 0 -1 4202560 6212 0 0 0 38 0 0 0 20 0 19 0 336410800 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812664757176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21318] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21318/stat : 21318 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812663704312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21319] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21319/stat : 21319 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3097006080 80483 33554432000 1073741824 1073778376 140733507868224 139812662651976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.15 Current children cumulated vsize (KiB) 3024420 [startup+3.10072 s] /proc/loadavg: 2.06 2.01 2.00 3/213 21398 /proc/meminfo: memFree=27669604/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=3024420 CPUtime=3.85 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 13316 0 1 0 374 11 0 0 20 0 19 0 336410793 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 756105 115836 2287 9 0 746526 0 [pid=21301/tid=21303] ppid=21299 vsize=3024420 CPUtime=3.04 cores=1,3,5,7 /proc/21301/task/21303/stat : 21303 (java) R 21299 21301 15565 0 -1 4202560 3246 0 1 0 295 9 0 0 20 0 19 0 336410794 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812706374248 139812544081221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21304] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21304/stat : 21304 (java) S 21299 21301 15565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812689799592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21305] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21305/stat : 21305 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812688747048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21306] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21306/stat : 21306 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812687693992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21307] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21307/stat : 21307 (java) S 21299 21301 15565 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812686641448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21308] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21308/stat : 21308 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812685589416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21309] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21309/stat : 21309 (java) S 21299 21301 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812684536872 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21310] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21310/stat : 21310 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812683483816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21311] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21311/stat : 21311 (java) S 21299 21301 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336410795 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812682431272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21312] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21312/stat : 21312 (java) S 21299 21301 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336410796 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812670019944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21313] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21313/stat : 21313 (java) S 21299 21301 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336410797 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812668966264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21314] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21314/stat : 21314 (java) S 21299 21301 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336410797 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812667913096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21315] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21315/stat : 21315 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812666861840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21316] ppid=21299 vsize=3024420 CPUtime=0.3 cores=1,3,5,7 /proc/21301/task/21316/stat : 21316 (java) S 21299 21301 15565 0 -1 4202560 2432 0 0 0 30 0 0 0 20 0 19 0 336410800 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812665809720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21317] ppid=21299 vsize=3024420 CPUtime=0.45 cores=1,3,5,7 /proc/21301/task/21317/stat : 21317 (java) S 21299 21301 15565 0 -1 4202560 6216 0 0 0 45 0 0 0 20 0 19 0 336410800 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812664757176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21318] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21318/stat : 21318 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812663704312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21319] ppid=21299 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21319/stat : 21319 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3097006080 115836 33554432000 1073741824 1073778376 140733507868224 139812662651976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 3024420 [startup+6.30076 s] /proc/loadavg: 2.05 2.01 2.00 3/213 21444 /proc/meminfo: memFree=27650984/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=3090984 CPUtime=7.17 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 13509 0 1 0 703 14 0 0 20 0 19 0 336410793 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 772746 119940 2288 9 0 763167 0 [pid=21301/tid=21303] ppid=21299 vsize=3090984 CPUtime=6.2 cores=1,3,5,7 /proc/21301/task/21303/stat : 21303 (java) R 21299 21301 15565 0 -1 4202560 3263 0 1 0 610 10 0 0 20 0 19 0 336410794 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812706372152 139812544090703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21304] ppid=21299 vsize=3090984 CPUtime=0.03 cores=1,3,5,7 /proc/21301/task/21304/stat : 21304 (java) S 21299 21301 15565 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 336410795 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812689799592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21305] ppid=21299 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/21301/task/21305/stat : 21305 (java) S 21299 21301 15565 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 336410795 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812688747048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21306] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21306/stat : 21306 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410795 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812687693992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21307] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21307/stat : 21307 (java) S 21299 21301 15565 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336410795 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812686641448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21308] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21308/stat : 21308 (java) S 21299 21301 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336410795 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812685589416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21309] ppid=21299 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/21301/task/21309/stat : 21309 (java) S 21299 21301 15565 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 336410795 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812684536872 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21310] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21310/stat : 21310 (java) S 21299 21301 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336410795 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812683483816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21311] ppid=21299 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/21301/task/21311/stat : 21311 (java) S 21299 21301 15565 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 336410795 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812682431272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21312] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21312/stat : 21312 (java) S 21299 21301 15565 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336410796 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812670019944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21313] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21313/stat : 21313 (java) S 21299 21301 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336410797 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812668966264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21314] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21314/stat : 21314 (java) S 21299 21301 15565 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 336410797 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812667913096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21315] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21315/stat : 21315 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812666861840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21316] ppid=21299 vsize=3090984 CPUtime=0.31 cores=1,3,5,7 /proc/21301/task/21316/stat : 21316 (java) S 21299 21301 15565 0 -1 4202560 2437 0 0 0 31 0 0 0 20 0 19 0 336410800 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812665809720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21317] ppid=21299 vsize=3090984 CPUtime=0.45 cores=1,3,5,7 /proc/21301/task/21317/stat : 21317 (java) S 21299 21301 15565 0 -1 4202560 6216 0 0 0 45 0 0 0 20 0 19 0 336410800 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812664757176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21318] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21318/stat : 21318 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812663704312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21319] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21319/stat : 21319 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 119940 33554432000 1073741824 1073778376 140733507868224 139812662651976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.17 Current children cumulated vsize (KiB) 3090984 [startup+12.7008 s] /proc/loadavg: 2.05 2.01 2.00 3/213 21489 /proc/meminfo: memFree=27607488/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=3090984 CPUtime=13.76 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 13722 0 1 0 1354 22 0 0 20 0 19 0 336410793 3165167616 129118 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 772746 129118 2288 9 0 763167 0 [pid=21301/tid=21303] ppid=21299 vsize=3090984 CPUtime=12.49 cores=1,3,5,7 ################ # More data... # ################ [pid=21301/tid=21316] ppid=21299 vsize=3090984 CPUtime=0.33 cores=1,3,5,7 /proc/21301/task/21316/stat : 21316 (java) S 21299 21301 15565 0 -1 4202560 2438 0 0 0 33 0 0 0 20 0 19 0 336410800 3165167616 261505 33554432000 1073741824 1073778376 140733507868224 139812665809720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21317] ppid=21299 vsize=3090984 CPUtime=0.45 cores=1,3,5,7 /proc/21301/task/21317/stat : 21317 (java) S 21299 21301 15565 0 -1 4202560 6216 0 0 0 45 0 0 0 20 0 19 0 336410800 3165167616 261505 33554432000 1073741824 1073778376 140733507868224 139812664757176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21318] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21318/stat : 21318 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 261505 33554432000 1073741824 1073778376 140733507868224 139812663704312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21319] ppid=21299 vsize=3090984 CPUtime=0.92 cores=1,3,5,7 /proc/21301/task/21319/stat : 21319 (java) S 21299 21301 15565 0 -1 4202560 95 0 0 0 46 46 0 0 20 0 19 0 336410800 3165167616 261505 33554432000 1073741824 1073778376 140733507868224 139812662651976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21863] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21863/stat : 21863 (java) S 21299 21301 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336576683 3165167616 261505 33554432000 1073741824 1073778376 140733507868224 139812541523496 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1669.41 Current children cumulated vsize (KiB) 3090984 [startup+1722.3 s] /proc/loadavg: 2.11 2.03 2.01 3/213 21864 /proc/meminfo: memFree=27087052/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=3090984 CPUtime=1729.57 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 16068 0 1 0 172849 108 0 0 20 0 19 0 336410793 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 772746 263822 2288 9 0 763167 0 [pid=21301/tid=21303] ppid=21299 vsize=3090984 CPUtime=1715.16 cores=1,3,5,7 /proc/21301/task/21303/stat : 21303 (java) R 21299 21301 15565 0 -1 4202560 3393 0 1 0 171477 39 0 0 20 0 19 0 336410794 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812706372928 139812544108800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21304] ppid=21299 vsize=3090984 CPUtime=1.09 cores=1,3,5,7 /proc/21301/task/21304/stat : 21304 (java) S 21299 21301 15565 0 -1 4202560 343 0 0 0 101 8 0 0 20 0 19 0 336410795 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812689799592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21305] ppid=21299 vsize=3090984 CPUtime=0.98 cores=1,3,5,7 /proc/21301/task/21305/stat : 21305 (java) S 21299 21301 15565 0 -1 4202560 238 0 0 0 93 5 0 0 20 0 19 0 336410795 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812688747048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21306] ppid=21299 vsize=3090984 CPUtime=1 cores=1,3,5,7 /proc/21301/task/21306/stat : 21306 (java) S 21299 21301 15565 0 -1 4202560 286 0 0 0 94 6 0 0 20 0 19 0 336410795 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812687693992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21307] ppid=21299 vsize=3090984 CPUtime=1.05 cores=1,3,5,7 /proc/21301/task/21307/stat : 21307 (java) S 21299 21301 15565 0 -1 4202560 283 0 0 0 100 5 0 0 20 0 19 0 336410795 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812686641448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21308] ppid=21299 vsize=3090984 CPUtime=1.13 cores=1,3,5,7 /proc/21301/task/21308/stat : 21308 (java) S 21299 21301 15565 0 -1 4202560 305 0 0 0 107 6 0 0 20 0 19 0 336410795 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812685589416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21309] ppid=21299 vsize=3090984 CPUtime=1.04 cores=1,3,5,7 /proc/21301/task/21309/stat : 21309 (java) S 21299 21301 15565 0 -1 4202560 200 0 0 0 97 7 0 0 20 0 19 0 336410795 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812684536872 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21310] ppid=21299 vsize=3090984 CPUtime=1.02 cores=1,3,5,7 /proc/21301/task/21310/stat : 21310 (java) S 21299 21301 15565 0 -1 4202560 166 0 0 0 96 6 0 0 20 0 19 0 336410795 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812683483816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21311] ppid=21299 vsize=3090984 CPUtime=1.1 cores=1,3,5,7 /proc/21301/task/21311/stat : 21311 (java) S 21299 21301 15565 0 -1 4202560 246 0 0 0 102 8 0 0 20 0 19 0 336410795 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812682431272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21312] ppid=21299 vsize=3090984 CPUtime=0.06 cores=1,3,5,7 /proc/21301/task/21312/stat : 21312 (java) S 21299 21301 15565 0 -1 4202560 89 0 0 0 4 2 0 0 20 0 19 0 336410796 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812670019944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21313] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21313/stat : 21313 (java) S 21299 21301 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336410797 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812668966264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21314] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21314/stat : 21314 (java) S 21299 21301 15565 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 19 0 336410797 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812667913096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21315] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21315/stat : 21315 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812666861840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21316] ppid=21299 vsize=3090984 CPUtime=0.33 cores=1,3,5,7 /proc/21301/task/21316/stat : 21316 (java) S 21299 21301 15565 0 -1 4202560 2438 0 0 0 33 0 0 0 20 0 19 0 336410800 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812665809720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21317] ppid=21299 vsize=3090984 CPUtime=0.45 cores=1,3,5,7 /proc/21301/task/21317/stat : 21317 (java) S 21299 21301 15565 0 -1 4202560 6216 0 0 0 45 0 0 0 20 0 19 0 336410800 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812664757176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21318] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21318/stat : 21318 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812663704312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21319] ppid=21299 vsize=3090984 CPUtime=0.95 cores=1,3,5,7 /proc/21301/task/21319/stat : 21319 (java) S 21299 21301 15565 0 -1 4202560 99 0 0 0 48 47 0 0 20 0 19 0 336410800 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812662651976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21863] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21863/stat : 21863 (java) S 21299 21301 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336576683 3165167616 263822 33554432000 1073741824 1073778376 140733507868224 139812541523496 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1729.57 Current children cumulated vsize (KiB) 3090984 [startup+1782.3 s] /proc/loadavg: 2.04 2.02 2.00 3/213 21866 /proc/meminfo: memFree=27054404/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=3090984 CPUtime=1789.58 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 16078 0 1 0 178849 109 0 0 20 0 19 0 336410793 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 772746 264627 2288 9 0 763167 0 [pid=21301/tid=21303] ppid=21299 vsize=3090984 CPUtime=1775.01 cores=1,3,5,7 /proc/21301/task/21303/stat : 21303 (java) R 21299 21301 15565 0 -1 4202560 3395 0 1 0 177462 39 0 0 20 0 19 0 336410794 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812706374504 139812544200614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21304] ppid=21299 vsize=3090984 CPUtime=1.09 cores=1,3,5,7 /proc/21301/task/21304/stat : 21304 (java) S 21299 21301 15565 0 -1 4202560 343 0 0 0 101 8 0 0 20 0 19 0 336410795 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812689799592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21305] ppid=21299 vsize=3090984 CPUtime=0.98 cores=1,3,5,7 /proc/21301/task/21305/stat : 21305 (java) S 21299 21301 15565 0 -1 4202560 238 0 0 0 93 5 0 0 20 0 19 0 336410795 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812688747048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21306] ppid=21299 vsize=3090984 CPUtime=1 cores=1,3,5,7 /proc/21301/task/21306/stat : 21306 (java) S 21299 21301 15565 0 -1 4202560 286 0 0 0 94 6 0 0 20 0 19 0 336410795 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812687693992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21307] ppid=21299 vsize=3090984 CPUtime=1.05 cores=1,3,5,7 /proc/21301/task/21307/stat : 21307 (java) S 21299 21301 15565 0 -1 4202560 283 0 0 0 100 5 0 0 20 0 19 0 336410795 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812686641448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21308] ppid=21299 vsize=3090984 CPUtime=1.13 cores=1,3,5,7 /proc/21301/task/21308/stat : 21308 (java) S 21299 21301 15565 0 -1 4202560 305 0 0 0 107 6 0 0 20 0 19 0 336410795 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812685589416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21309] ppid=21299 vsize=3090984 CPUtime=1.04 cores=1,3,5,7 /proc/21301/task/21309/stat : 21309 (java) S 21299 21301 15565 0 -1 4202560 200 0 0 0 97 7 0 0 20 0 19 0 336410795 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812684536872 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21310] ppid=21299 vsize=3090984 CPUtime=1.02 cores=1,3,5,7 /proc/21301/task/21310/stat : 21310 (java) S 21299 21301 15565 0 -1 4202560 166 0 0 0 96 6 0 0 20 0 19 0 336410795 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812683483816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21311] ppid=21299 vsize=3090984 CPUtime=1.1 cores=1,3,5,7 /proc/21301/task/21311/stat : 21311 (java) S 21299 21301 15565 0 -1 4202560 246 0 0 0 102 8 0 0 20 0 19 0 336410795 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812682431272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21312] ppid=21299 vsize=3090984 CPUtime=0.06 cores=1,3,5,7 /proc/21301/task/21312/stat : 21312 (java) S 21299 21301 15565 0 -1 4202560 89 0 0 0 4 2 0 0 20 0 19 0 336410796 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812670019944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21313] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21313/stat : 21313 (java) S 21299 21301 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336410797 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812668966264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21314] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21314/stat : 21314 (java) S 21299 21301 15565 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 19 0 336410797 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812667913096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21315] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21315/stat : 21315 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812666861840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21316] ppid=21299 vsize=3090984 CPUtime=0.33 cores=1,3,5,7 /proc/21301/task/21316/stat : 21316 (java) S 21299 21301 15565 0 -1 4202560 2438 0 0 0 33 0 0 0 20 0 19 0 336410800 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812665809720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21317] ppid=21299 vsize=3090984 CPUtime=0.45 cores=1,3,5,7 /proc/21301/task/21317/stat : 21317 (java) S 21299 21301 15565 0 -1 4202560 6216 0 0 0 45 0 0 0 20 0 19 0 336410800 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812664757176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21318] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21318/stat : 21318 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812663704312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21319] ppid=21299 vsize=3090984 CPUtime=0.99 cores=1,3,5,7 /proc/21301/task/21319/stat : 21319 (java) S 21299 21301 15565 0 -1 4202560 103 0 0 0 50 49 0 0 20 0 19 0 336410800 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812662651976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21866] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21866/stat : 21866 (java) S 21299 21301 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336586757 3165167616 264627 33554432000 1073741824 1073778376 140733507868224 139812541523240 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (KiB) 3090984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.6 s] /proc/loadavg: 2.03 2.02 2.00 3/213 21866 /proc/meminfo: memFree=27044288/32873844 swapFree=7120/7120 [pid=21301] ppid=21299 vsize=3090984 CPUtime=1800.01 cores=1,3,5,7 /proc/21301/stat : 21301 (java) S 21299 21301 15565 0 -1 4202496 16090 0 1 0 179891 110 0 0 20 0 19 0 336410793 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 140733507859360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21301/statm: 772746 267187 2288 9 0 763167 0 [pid=21301/tid=21303] ppid=21299 vsize=3090984 CPUtime=1785.25 cores=1,3,5,7 /proc/21301/task/21303/stat : 21303 (java) R 21299 21301 15565 0 -1 4202560 3396 0 1 0 178485 40 0 0 20 0 19 0 336410794 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812706372968 139812544101028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21304] ppid=21299 vsize=3090984 CPUtime=1.12 cores=1,3,5,7 /proc/21301/task/21304/stat : 21304 (java) S 21299 21301 15565 0 -1 4202560 343 0 0 0 104 8 0 0 20 0 19 0 336410795 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812689799592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21305] ppid=21299 vsize=3090984 CPUtime=0.99 cores=1,3,5,7 /proc/21301/task/21305/stat : 21305 (java) S 21299 21301 15565 0 -1 4202560 240 0 0 0 94 5 0 0 20 0 19 0 336410795 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812688747048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21306] ppid=21299 vsize=3090984 CPUtime=1.01 cores=1,3,5,7 /proc/21301/task/21306/stat : 21306 (java) S 21299 21301 15565 0 -1 4202560 287 0 0 0 95 6 0 0 20 0 19 0 336410795 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812687693992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21307] ppid=21299 vsize=3090984 CPUtime=1.07 cores=1,3,5,7 /proc/21301/task/21307/stat : 21307 (java) S 21299 21301 15565 0 -1 4202560 284 0 0 0 102 5 0 0 20 0 19 0 336410795 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812686641448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21308] ppid=21299 vsize=3090984 CPUtime=1.15 cores=1,3,5,7 /proc/21301/task/21308/stat : 21308 (java) S 21299 21301 15565 0 -1 4202560 305 0 0 0 109 6 0 0 20 0 19 0 336410795 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812685589416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21309] ppid=21299 vsize=3090984 CPUtime=1.05 cores=1,3,5,7 /proc/21301/task/21309/stat : 21309 (java) S 21299 21301 15565 0 -1 4202560 202 0 0 0 98 7 0 0 20 0 19 0 336410795 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812684536872 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21310] ppid=21299 vsize=3090984 CPUtime=1.05 cores=1,3,5,7 /proc/21301/task/21310/stat : 21310 (java) S 21299 21301 15565 0 -1 4202560 168 0 0 0 99 6 0 0 20 0 19 0 336410795 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812683483816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21301/tid=21311] ppid=21299 vsize=3090984 CPUtime=1.12 cores=1,3,5,7 /proc/21301/task/21311/stat : 21311 (java) S 21299 21301 15565 0 -1 4202560 247 0 0 0 104 8 0 0 20 0 19 0 336410795 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812682431272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21312] ppid=21299 vsize=3090984 CPUtime=0.06 cores=1,3,5,7 /proc/21301/task/21312/stat : 21312 (java) S 21299 21301 15565 0 -1 4202560 91 0 0 0 4 2 0 0 20 0 19 0 336410796 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812670019944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21313] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21313/stat : 21313 (java) S 21299 21301 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336410797 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812668966264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21314] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21314/stat : 21314 (java) S 21299 21301 15565 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 19 0 336410797 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812667913096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21315] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21315/stat : 21315 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812666861840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21316] ppid=21299 vsize=3090984 CPUtime=0.33 cores=1,3,5,7 /proc/21301/task/21316/stat : 21316 (java) S 21299 21301 15565 0 -1 4202560 2438 0 0 0 33 0 0 0 20 0 19 0 336410800 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812665809720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21301/tid=21317] ppid=21299 vsize=3090984 CPUtime=0.45 cores=1,3,5,7 /proc/21301/task/21317/stat : 21317 (java) S 21299 21301 15565 0 -1 4202560 6216 0 0 0 45 0 0 0 20 0 19 0 336410800 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812664757176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21318] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21318/stat : 21318 (java) S 21299 21301 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336410800 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812663704312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21301/tid=21319] ppid=21299 vsize=3090984 CPUtime=1 cores=1,3,5,7 /proc/21301/task/21319/stat : 21319 (java) S 21299 21301 15565 0 -1 4202560 103 0 0 0 50 50 0 0 20 0 19 0 336410800 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812662651976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21301/tid=21866] ppid=21299 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/21301/task/21866/stat : 21866 (java) S 21299 21301 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336586757 3165167616 267187 33554432000 1073741824 1073778376 140733507868224 139812541523240 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 3090984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21301 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=348217 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=566761 # CPU time returned by wait4() is 1795.92 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1792.62 CPU time (s): 1800.01 CPU user time (s): 1798.91 CPU system time (s): 1.1 CPU usage (%): 100.412 Max. virtual memory (cumulated for all children) (KiB): 3090984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.35 system time used= 1.56676 maximum resident set size= 1068828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16111 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1568 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41916 involuntary context switches= 26783 runsolver used 6.27205 second user time and 16.7015 second system time The end
Begin job on node142 at 2012-06-03 07:54:19 IDJOB=3734816 IDBENCH=2908 IDSOLVER=2319 FILE ID=node142/3734816-1338702859 RUNJOBID= node142-1338678627-15586 PBS_JOBID= 14636671 Free space on /tmp= 71188 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734816-1338702859/watcher-3734816-1338702859 -o /tmp/evaluation-result-3734816-1338702859/solver-3734816-1338702859 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734816-1338702859.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED=1705515828 node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5391.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28118328 kB Buffers: 253464 kB Cached: 2752988 kB SwapCached: 0 kB Active: 2050552 kB Inactive: 1882928 kB Active(anon): 918024 kB Inactive(anon): 11220 kB Active(file): 1132528 kB Inactive(file): 1871708 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3528 kB Writeback: 0 kB AnonPages: 894756 kB Mapped: 18604 kB Shmem: 200 kB Slab: 674892 kB SReclaimable: 116884 kB SUnreclaim: 558008 kB KernelStack: 1760 kB PageTables: 6168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1826172 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 854016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71184 MiB End job on node142 at 2012-06-03 08:24:14