Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB09: SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 3 | 1800.05 | 1795.5 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 1789.91 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| 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 | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| 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 | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.08 c version 2.1.1.v20090612 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 1299577560 0.01/0.08 c Max memory 1306394624 0.01/0.08 c Total memory 1306394624 0.01/0.08 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@2d3bad12 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c MiniSAT restarts strategy 0.09/0.11 c Memory based learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3734940-1338753599.opb 0.09/0.11 c reading problem ... 0.09/0.14 c ... done. Wall clock time 0.031s. 0.09/0.14 c #vars 120 0.09/0.14 c #constraints 10 0.09/0.14 c constraints type 0.09/0.14 c org.sat4j.pb.constraints.pb.MaxWatchPb => 10 0.30/0.22 c SATISFIABLE 0.30/0.22 c OPTIMIZING... 0.30/0.22 c Got one! Elapsed wall clock time (in seconds):0.114 0.30/0.22 o 1933 0.30/0.25 c Got one! Elapsed wall clock time (in seconds):0.135 0.30/0.25 o 1931 0.30/0.26 c Got one! Elapsed wall clock time (in seconds):0.149 0.30/0.26 o 1930 0.30/0.27 c Got one! Elapsed wall clock time (in seconds):0.161 0.30/0.27 o 1928 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.175 0.30/0.29 o 1908 0.30/0.30 c Got one! Elapsed wall clock time (in seconds):0.185 0.30/0.30 o 1907 0.53/0.31 c Got one! Elapsed wall clock time (in seconds):0.196 0.53/0.31 o 1905 0.53/0.31 c Got one! Elapsed wall clock time (in seconds):0.205 0.53/0.31 o 1880 0.53/0.32 c Got one! Elapsed wall clock time (in seconds):0.214 0.53/0.32 o 1876 0.53/0.33 c Got one! Elapsed wall clock time (in seconds):0.222 0.53/0.33 o 1847 0.53/0.34 c Got one! Elapsed wall clock time (in seconds):0.231 0.53/0.34 o 1818 0.53/0.35 c Got one! Elapsed wall clock time (in seconds):0.239 0.53/0.35 o 1793 0.53/0.36 c Got one! Elapsed wall clock time (in seconds):0.248 0.53/0.36 o 1616 0.53/0.37 c Got one! Elapsed wall clock time (in seconds):0.257 0.53/0.37 o 1590 0.53/0.38 c Got one! Elapsed wall clock time (in seconds):0.266 0.53/0.38 o 1573 0.53/0.38 c Got one! Elapsed wall clock time (in seconds):0.275 0.53/0.38 o 1567 0.53/0.39 c Got one! Elapsed wall clock time (in seconds):0.285 0.53/0.39 o 1542 0.66/0.40 c Got one! Elapsed wall clock time (in seconds):0.295 0.66/0.40 o 1534 0.66/0.41 c Got one! Elapsed wall clock time (in seconds):0.303 0.66/0.41 o 1524 0.66/0.42 c Got one! Elapsed wall clock time (in seconds):0.312 0.66/0.42 o 1479 0.66/0.43 c Got one! Elapsed wall clock time (in seconds):0.322 0.66/0.43 o 1478 0.66/0.44 c Got one! Elapsed wall clock time (in seconds):0.331 0.66/0.44 o 1454 0.66/0.45 c Got one! Elapsed wall clock time (in seconds):0.339 0.66/0.45 o 1453 0.66/0.46 c Got one! Elapsed wall clock time (in seconds):0.348 0.66/0.46 o 1448 0.66/0.47 c Got one! Elapsed wall clock time (in seconds):0.358 0.66/0.47 o 1296 0.66/0.48 c Got one! Elapsed wall clock time (in seconds):0.369 0.66/0.48 o 1199 0.66/0.49 c Got one! Elapsed wall clock time (in seconds):0.38 0.66/0.49 o 1190 0.84/0.50 c Got one! Elapsed wall clock time (in seconds):0.389 0.84/0.50 o 1188 0.84/0.51 c Got one! Elapsed wall clock time (in seconds):0.404 0.84/0.51 o 1186 0.84/0.52 c Got one! Elapsed wall clock time (in seconds):0.412 0.84/0.52 o 1185 0.84/0.53 c Got one! Elapsed wall clock time (in seconds):0.423 0.84/0.53 o 1180 0.84/0.55 c Got one! Elapsed wall clock time (in seconds):0.441 0.84/0.55 o 675 0.84/0.57 c Got one! Elapsed wall clock time (in seconds):0.459 0.84/0.57 o 649 0.84/0.58 c Got one! Elapsed wall clock time (in seconds):0.47 0.84/0.58 o 647 0.84/0.59 c Got one! Elapsed wall clock time (in seconds):0.478 0.84/0.59 o 645 1.08/0.60 c Got one! Elapsed wall clock time (in seconds):0.489 1.08/0.60 o 643 1.08/0.62 c Got one! Elapsed wall clock time (in seconds):0.505 1.08/0.62 o 527 1.08/0.64 c Got one! Elapsed wall clock time (in seconds):0.527 1.08/0.64 o 525 1.08/0.65 c Got one! Elapsed wall clock time (in seconds):0.543 1.08/0.65 o 524 1.08/0.67 c Got one! Elapsed wall clock time (in seconds):0.558 1.08/0.67 o 523 1.08/0.69 c Got one! Elapsed wall clock time (in seconds):0.575 1.08/0.69 o 369 1.33/0.72 c Got one! Elapsed wall clock time (in seconds):0.611 1.33/0.72 o 366 1.33/0.74 c Got one! Elapsed wall clock time (in seconds):0.633 1.33/0.74 o 364 1.33/0.76 c Got one! Elapsed wall clock time (in seconds):0.647 1.33/0.76 o 363 1.33/0.77 c Got one! Elapsed wall clock time (in seconds):0.663 1.33/0.77 o 329 1.33/0.79 c Got one! Elapsed wall clock time (in seconds):0.676 1.33/0.79 o 325 1.45/0.82 c Got one! Elapsed wall clock time (in seconds):0.707 1.45/0.82 o 320 1.45/0.84 c Got one! Elapsed wall clock time (in seconds):0.733 1.45/0.84 o 319 1.45/0.86 c Got one! Elapsed wall clock time (in seconds):0.748 1.45/0.86 o 318 1.45/0.87 c Got one! Elapsed wall clock time (in seconds):0.76 1.45/0.87 o 316 1.45/0.89 c Got one! Elapsed wall clock time (in seconds):0.776 1.45/0.89 o 314 1.56/0.90 c Got one! Elapsed wall clock time (in seconds):0.789 1.56/0.90 o 313 1.56/0.92 c Got one! Elapsed wall clock time (in seconds):0.807 1.56/0.92 o 311 1.56/0.95 c Got one! Elapsed wall clock time (in seconds):0.844 1.56/0.95 o 309 1.56/0.97 c Got one! Elapsed wall clock time (in seconds):0.863 1.56/0.97 o 307 1.56/0.99 c Got one! Elapsed wall clock time (in seconds):0.882 1.56/0.99 o 306 1.72/1.01 c Got one! Elapsed wall clock time (in seconds):0.902 1.72/1.01 o 305 1.72/1.03 c Got one! Elapsed wall clock time (in seconds):0.917 1.72/1.03 o 304 1.72/1.05 c Got one! Elapsed wall clock time (in seconds):0.939 1.72/1.05 o 303 1.72/1.07 c Got one! Elapsed wall clock time (in seconds):0.959 1.72/1.07 o 301 1.72/1.08 c Got one! Elapsed wall clock time (in seconds):0.971 1.72/1.08 o 300 1.72/1.10 c Got one! Elapsed wall clock time (in seconds):0.987 1.72/1.10 o 298 1.83/1.11 c Got one! Elapsed wall clock time (in seconds):1.003 1.83/1.11 o 296 1.83/1.14 c Got one! Elapsed wall clock time (in seconds):1.026 1.83/1.14 o 294 1.83/1.15 c Got one! Elapsed wall clock time (in seconds):1.037 1.83/1.15 o 293 1.83/1.16 c Got one! Elapsed wall clock time (in seconds):1.051 1.83/1.16 o 291 1.83/1.18 c Got one! Elapsed wall clock time (in seconds):1.074 1.83/1.18 o 286 1.94/1.20 c Got one! Elapsed wall clock time (in seconds):1.092 1.94/1.20 o 284 1.94/1.22 c Got one! Elapsed wall clock time (in seconds):1.109 1.94/1.22 o 283 1.94/1.24 c Got one! Elapsed wall clock time (in seconds):1.13 1.94/1.24 o 258 1.94/1.26 c Got one! Elapsed wall clock time (in seconds):1.152 1.94/1.26 o 257 1.94/1.29 c Got one! Elapsed wall clock time (in seconds):1.177 1.94/1.29 o 231 2.04/1.31 c Got one! Elapsed wall clock time (in seconds):1.201 2.04/1.31 o 229 2.04/1.33 c Got one! Elapsed wall clock time (in seconds):1.225 2.04/1.33 o 228 2.04/1.37 c Got one! Elapsed wall clock time (in seconds):1.256 2.04/1.37 o 226 2.15/1.40 c Got one! Elapsed wall clock time (in seconds):1.292 2.15/1.40 o 225 2.15/1.45 c Got one! Elapsed wall clock time (in seconds):1.342 2.15/1.45 o 224 2.15/1.48 c Got one! Elapsed wall clock time (in seconds):1.373 2.15/1.48 o 223 2.25/1.51 c Got one! Elapsed wall clock time (in seconds):1.402 2.25/1.51 o 222 2.25/1.54 c Got one! Elapsed wall clock time (in seconds):1.427 2.25/1.54 o 219 2.25/1.56 c Got one! Elapsed wall clock time (in seconds):1.447 2.25/1.56 o 217 2.25/1.59 c Got one! Elapsed wall clock time (in seconds):1.483 2.25/1.59 o 216 2.35/1.62 c Got one! Elapsed wall clock time (in seconds):1.505 2.35/1.62 o 215 2.35/1.65 c Got one! Elapsed wall clock time (in seconds):1.539 2.35/1.65 o 214 2.35/1.68 c Got one! Elapsed wall clock time (in seconds):1.566 2.35/1.68 o 212 2.46/1.70 c Got one! Elapsed wall clock time (in seconds):1.59 2.46/1.70 o 210 2.46/1.79 c Got one! Elapsed wall clock time (in seconds):1.68 2.46/1.79 o 208 2.56/1.81 c Got one! Elapsed wall clock time (in seconds):1.699 2.56/1.81 o 207 2.56/1.84 c Got one! Elapsed wall clock time (in seconds):1.732 2.56/1.84 o 205 2.56/1.87 c Got one! Elapsed wall clock time (in seconds):1.761 2.56/1.87 o 204 2.66/1.90 c Got one! Elapsed wall clock time (in seconds):1.793 2.66/1.90 o 203 2.76/2.04 c Got one! Elapsed wall clock time (in seconds):1.933 2.76/2.04 o 202 2.76/2.08 c Got one! Elapsed wall clock time (in seconds):1.967 2.76/2.08 o 200 2.87/2.11 c Got one! Elapsed wall clock time (in seconds):1.997 2.87/2.11 o 199 2.87/2.14 c Got one! Elapsed wall clock time (in seconds):2.034 2.87/2.14 o 197 2.87/2.19 c Got one! Elapsed wall clock time (in seconds):2.078 2.87/2.19 o 196 3.17/2.44 c Got one! Elapsed wall clock time (in seconds):2.327 3.17/2.44 o 195 3.36/2.60 c Got one! Elapsed wall clock time (in seconds):2.49 3.36/2.60 o 194 3.36/2.68 c Got one! Elapsed wall clock time (in seconds):2.565 3.36/2.68 o 192 3.46/2.74 c Got one! Elapsed wall clock time (in seconds):2.627 3.46/2.74 o 185 3.46/2.79 c Got one! Elapsed wall clock time (in seconds):2.681 3.46/2.79 o 183 3.56/2.83 c Got one! Elapsed wall clock time (in seconds):2.715 3.56/2.83 o 181 3.56/2.86 c Got one! Elapsed wall clock time (in seconds):2.755 3.56/2.86 o 180 3.67/2.93 c Got one! Elapsed wall clock time (in seconds):2.816 3.67/2.93 o 179 3.67/2.95 c Got one! Elapsed wall clock time (in seconds):2.839 3.67/2.95 o 177 3.67/2.99 c Got one! Elapsed wall clock time (in seconds):2.876 3.67/2.99 o 175 3.77/3.04 c Got one! Elapsed wall clock time (in seconds):2.928 3.77/3.04 o 174 3.77/3.08 c Got one! Elapsed wall clock time (in seconds):2.973 3.77/3.08 o 172 3.87/3.11 c Got one! Elapsed wall clock time (in seconds):2.998 3.87/3.11 o 171 4.36/3.69 c Got one! Elapsed wall clock time (in seconds):3.576 4.36/3.69 o 170 4.56/3.83 c Got one! Elapsed wall clock time (in seconds):3.715 4.56/3.83 o 168 4.56/3.88 c Got one! Elapsed wall clock time (in seconds):3.773 4.56/3.88 o 164 4.67/3.98 c Got one! Elapsed wall clock time (in seconds):3.871 4.67/3.98 o 163 4.89/4.14 c Got one! Elapsed wall clock time (in seconds):4.03 4.89/4.14 o 162 4.89/4.18 c Got one! Elapsed wall clock time (in seconds):4.072 4.89/4.18 o 160 5.10/4.33 c Got one! Elapsed wall clock time (in seconds):4.22 5.10/4.33 o 159 5.20/4.46 c Got one! Elapsed wall clock time (in seconds):4.349 5.20/4.46 o 157 5.29/4.50 c Got one! Elapsed wall clock time (in seconds):4.392 5.29/4.50 o 155 5.29/4.55 c Got one! Elapsed wall clock time (in seconds):4.444 5.29/4.55 o 154 5.61/4.88 c Got one! Elapsed wall clock time (in seconds):4.769 5.61/4.88 o 153 5.71/4.95 c Got one! Elapsed wall clock time (in seconds):4.841 5.71/4.95 o 144 6.01/5.22 c Got one! Elapsed wall clock time (in seconds):5.109 6.01/5.22 o 142 6.11/5.31 c Got one! Elapsed wall clock time (in seconds):5.204 6.11/5.31 o 141 6.21/5.42 c Got one! Elapsed wall clock time (in seconds):5.305 6.21/5.42 o 137 6.21/5.46 c Got one! Elapsed wall clock time (in seconds):5.352 6.21/5.46 o 133 6.32/5.53 c Got one! Elapsed wall clock time (in seconds):5.422 6.32/5.53 o 132 6.42/5.66 c Got one! Elapsed wall clock time (in seconds):5.546 6.42/5.66 o 131 7.72/6.90 c Got one! Elapsed wall clock time (in seconds):6.788 7.72/6.90 o 129 7.92/7.11 c Got one! Elapsed wall clock time (in seconds):7.0 7.92/7.11 o 128 7.92/7.17 c Got one! Elapsed wall clock time (in seconds):7.064 7.92/7.17 o 127 8.02/7.24 c Got one! Elapsed wall clock time (in seconds):7.127 8.02/7.24 o 125 8.12/7.31 c Got one! Elapsed wall clock time (in seconds):7.202 8.12/7.31 o 123 8.12/7.39 c Got one! Elapsed wall clock time (in seconds):7.28 8.12/7.39 o 121 8.32/7.53 c Got one! Elapsed wall clock time (in seconds):7.42 8.32/7.53 o 120 8.42/7.61 c Got one! Elapsed wall clock time (in seconds):7.499 8.42/7.61 o 118 8.42/7.66 c Got one! Elapsed wall clock time (in seconds):7.552 8.42/7.66 o 116 8.62/7.81 c Got one! Elapsed wall clock time (in seconds):7.695 8.62/7.81 o 114 8.62/7.88 c Got one! Elapsed wall clock time (in seconds):7.773 8.62/7.88 o 113 8.72/7.98 c Got one! Elapsed wall clock time (in seconds):7.868 8.72/7.98 o 110 8.92/8.13 c Got one! Elapsed wall clock time (in seconds):8.02 8.92/8.13 o 109 9.12/8.34 c Got one! Elapsed wall clock time (in seconds):8.228 9.12/8.34 o 107 9.32/8.59 c Got one! Elapsed wall clock time (in seconds):8.484 9.32/8.59 o 105 9.72/8.91 c Got one! Elapsed wall clock time (in seconds):8.801 9.72/8.91 o 104 9.72/8.96 c Got one! Elapsed wall clock time (in seconds):8.851 9.72/8.96 o 103 10.22/9.43 c Got one! Elapsed wall clock time (in seconds):9.321 10.22/9.43 o 102 10.22/9.48 c Got one! Elapsed wall clock time (in seconds):9.368 10.22/9.48 o 100 10.52/9.76 c Got one! Elapsed wall clock time (in seconds):9.646 10.52/9.76 o 99 10.62/9.86 c Got one! Elapsed wall clock time (in seconds):9.751 10.62/9.86 o 96 10.72/9.96 c Got one! Elapsed wall clock time (in seconds):9.845 10.72/9.96 o 95 10.82/10.04 c Got one! Elapsed wall clock time (in seconds):9.932 10.82/10.04 o 94 11.22/10.40 c Got one! Elapsed wall clock time (in seconds):10.289 11.22/10.40 o 92 11.22/10.47 c Got one! Elapsed wall clock time (in seconds):10.363 11.22/10.47 o 91 11.32/10.54 c Got one! Elapsed wall clock time (in seconds):10.434 11.32/10.54 o 90 11.42/10.63 c Got one! Elapsed wall clock time (in seconds):10.522 11.42/10.63 o 89 11.52/10.70 c Got one! Elapsed wall clock time (in seconds):10.594 11.52/10.70 o 88 11.62/10.83 c Got one! Elapsed wall clock time (in seconds):10.719 11.62/10.83 o 86 12.19/11.35 c Got one! Elapsed wall clock time (in seconds):11.239 12.19/11.35 o 85 12.29/11.40 c Got one! Elapsed wall clock time (in seconds):11.287 12.29/11.40 o 77 12.29/11.48 c Got one! Elapsed wall clock time (in seconds):11.372 12.29/11.48 o 76 12.39/11.52 c Got one! Elapsed wall clock time (in seconds):11.414 12.39/11.52 o 74 12.49/11.60 c Got one! Elapsed wall clock time (in seconds):11.492 12.49/11.60 o 73 12.49/11.67 c Got one! Elapsed wall clock time (in seconds):11.56 12.49/11.67 o 71 12.59/11.71 c Got one! Elapsed wall clock time (in seconds):11.597 12.59/11.71 o 69 12.69/11.81 c Got one! Elapsed wall clock time (in seconds):11.703 12.69/11.81 o 67 12.69/11.85 c Got one! Elapsed wall clock time (in seconds):11.74 12.69/11.85 o 64 12.79/11.90 c Got one! Elapsed wall clock time (in seconds):11.787 12.79/11.90 o 62 12.90/12.07 c Got one! Elapsed wall clock time (in seconds):11.961 12.90/12.07 o 60 13.00/12.17 c Got one! Elapsed wall clock time (in seconds):12.063 13.00/12.17 o 59 13.09/12.21 c Got one! Elapsed wall clock time (in seconds):12.102 13.09/12.21 o 58 13.09/12.26 c Got one! Elapsed wall clock time (in seconds):12.15 13.09/12.26 o 57 13.19/12.33 c Got one! Elapsed wall clock time (in seconds):12.224 13.19/12.33 o 56 13.69/12.80 c Got one! Elapsed wall clock time (in seconds):12.69 13.69/12.80 o 54 13.89/13.08 c Got one! Elapsed wall clock time (in seconds):12.968 13.89/13.08 o 53 14.00/13.18 c Got one! Elapsed wall clock time (in seconds):13.074 14.00/13.18 o 51 14.79/13.94 c Got one! Elapsed wall clock time (in seconds):13.826 14.79/13.94 o 49 17.19/16.34 c Got one! Elapsed wall clock time (in seconds):16.232 17.19/16.34 o 48 17.79/16.95 c Got one! Elapsed wall clock time (in seconds):16.837 17.79/16.95 o 47 18.29/17.46 c Got one! Elapsed wall clock time (in seconds):17.352 18.29/17.46 o 45 19.09/18.21 c Got one! Elapsed wall clock time (in seconds):18.1 19.09/18.21 o 43 20.89/20.03 c Got one! Elapsed wall clock time (in seconds):19.917 20.89/20.03 o 41 20.99/20.18 c Got one! Elapsed wall clock time (in seconds):20.075 20.99/20.18 o 40 21.89/21.04 c Got one! Elapsed wall clock time (in seconds):20.927 21.89/21.04 o 38 23.18/22.23 c Got one! Elapsed wall clock time (in seconds):22.122 23.18/22.23 o 37 24.18/23.29 c Got one! Elapsed wall clock time (in seconds):23.182 24.18/23.29 o 35 24.38/23.49 c Got one! Elapsed wall clock time (in seconds):23.375 24.38/23.49 o 33 24.88/23.91 c Got one! Elapsed wall clock time (in seconds):23.805 24.88/23.91 o 31 25.28/24.39 c Got one! Elapsed wall clock time (in seconds):24.276 25.28/24.39 o 30 26.38/25.41 c Got one! Elapsed wall clock time (in seconds):25.303 26.38/25.41 o 28 26.87/25.99 c Got one! Elapsed wall clock time (in seconds):25.875 26.87/25.99 o 26 26.97/26.07 c Got one! Elapsed wall clock time (in seconds):25.961 26.97/26.07 o 24 27.47/26.57 c Got one! Elapsed wall clock time (in seconds):26.457 27.47/26.57 o 23 27.67/26.76 c Got one! Elapsed wall clock time (in seconds):26.647 27.67/26.76 o 21 28.98/28.04 c Got one! Elapsed wall clock time (in seconds):27.932 28.98/28.04 o 19 29.78/28.86 c Got one! Elapsed wall clock time (in seconds):28.747 29.78/28.86 o 17 30.38/29.49 c Got one! Elapsed wall clock time (in seconds):29.375 30.38/29.49 o 15 30.68/29.70 c Got one! Elapsed wall clock time (in seconds):29.593 30.68/29.70 o 14 34.47/33.55 c Got one! Elapsed wall clock time (in seconds):33.445 34.47/33.55 o 13 35.77/34.81 c Got one! Elapsed wall clock time (in seconds):34.7 35.77/34.81 o 12 44.96/43.93 c Got one! Elapsed wall clock time (in seconds):43.815 44.96/43.93 o 10 51.05/50.03 c Got one! Elapsed wall clock time (in seconds):49.916 51.05/50.03 o 8 145.94/144.32 c Got one! Elapsed wall clock time (in seconds):144.206 145.94/144.32 o 7 224.66/222.97 c Got one! Elapsed wall clock time (in seconds):222.858 224.66/222.97 o 6 373.78/371.78 c Got one! Elapsed wall clock time (in seconds):371.666 373.78/371.78 o 5 1496.89/1492.68 c Got one! Elapsed wall clock time (in seconds):1492.574 1496.89/1492.68 o 3 1800.05/1795.41 c starts : 815 1800.05/1795.41 c conflicts : 1856403 1800.05/1795.41 c decisions : 1914315 1800.05/1795.41 c propagations : 14329848 1800.05/1795.41 c inspects : 15598999809 1800.05/1795.41 c learnt literals : 0 1800.05/1795.41 c learnt binary clauses : 0 1800.05/1795.41 c learnt ternary clauses : 0 1800.05/1795.41 c learnt clauses : 1856403 1800.05/1795.41 c ignored clauses : 0 1800.05/1795.41 c root simplifications : 0 1800.05/1795.41 c removed literals (reason simplification) : 19284970 1800.05/1795.41 c reason swapping (by a shorter reason) : 0 1800.05/1795.41 c Calls to reduceDB : 0 1800.05/1795.41 c speed (assignments/second) : 47335.87687916836 1800.05/1795.41 c non guided choices 3673 1800.05/1795.49 c learnt constraints type 1800.05/1795.49 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 1856404 1800.05/1795.49 c constraints type 1800.05/1795.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 11 1800.05/1795.49 s SATISFIABLE 1800.05/1795.49 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 1800.05/1795.49 c objective function=3 1800.05/1795.49 c Total wall clock time (in seconds): 1795.382
OK 3
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-3734940-1338753599/watcher-3734940-1338753599 -o /tmp/evaluation-result-3734940-1338753599/solver-3734940-1338753599 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3734940-1338753599.opb running on 4 cores: 0,2,4,6 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: 1.96 2.00 2.00 2/194 2869 /proc/meminfo: memFree=27035360/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/2869/stat : 2869 (java6) D 2867 2869 959 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341484396 9515008 182 33554432000 1073741824 1073778376 140733732972992 140733732964024 212073266869 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 2323 182 140 9 0 71 0 [startup+0.041968 s] /proc/loadavg: 1.96 2.00 2.00 2/194 2869 /proc/meminfo: memFree=27035360/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2315716 CPUtime=0.01 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 3696 0 1 0 1 0 0 0 20 0 13 0 341484396 2371293184 4393 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 578929 4393 1677 9 0 569630 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2315716 [startup+0.100256 s] /proc/loadavg: 1.96 2.00 2.00 2/194 2869 /proc/meminfo: memFree=27035360/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2648568 CPUtime=0.09 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 4745 0 1 0 8 1 0 0 20 0 18 0 341484396 2712133632 5952 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 662142 5952 2109 9 0 652835 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2648568 [startup+0.300217 s] /proc/loadavg: 1.96 2.00 2.00 2/194 2869 /proc/meminfo: memFree=27035360/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2715132 CPUtime=0.53 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 8009 0 1 0 51 2 0 0 20 0 19 0 341484396 2780295168 9914 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 678783 9914 2230 9 0 669476 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 2715132 [startup+0.70023 s] /proc/loadavg: 1.96 2.00 2.00 2/194 2869 /proc/meminfo: memFree=27035360/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2715132 CPUtime=1.33 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 13894 0 1 0 129 4 0 0 20 0 19 0 341484396 2780295168 23181 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 678783 23181 2242 9 0 669476 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 2715132 [startup+1.50069 s] /proc/loadavg: 1.96 2.00 2.00 4/213 2888 /proc/meminfo: memFree=26914920/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2715132 CPUtime=2.25 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 13996 0 1 0 219 6 0 0 20 0 19 0 341484396 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 678783 45008 2245 9 0 669476 0 [pid=2869/tid=2871] ppid=2867 vsize=2715132 CPUtime=1.46 cores=0,2,4,6 /proc/2869/task/2871/stat : 2871 (java) R 2867 2869 959 0 -1 4202560 2873 0 1 0 143 3 0 0 20 0 19 0 341484397 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170480405160 140170420625120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2872] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2872/stat : 2872 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170346727848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2873] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2873/stat : 2873 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170345675304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2874] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2874/stat : 2874 (java) S 2867 2869 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170344622248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2875] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2875/stat : 2875 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170343569704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2876] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2876/stat : 2876 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170342517672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2877] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2877/stat : 2877 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170341465128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2878] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2878/stat : 2878 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170340412072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2879] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2879/stat : 2879 (java) S 2867 2869 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170339359528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2880] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2880/stat : 2880 (java) S 2867 2869 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341484399 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170327161192 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2881] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2881/stat : 2881 (java) S 2867 2869 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170326107512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2882] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2882/stat : 2882 (java) S 2867 2869 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170325054344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2883] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2883/stat : 2883 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170324003088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2884] ppid=2867 vsize=2715132 CPUtime=0.4 cores=0,2,4,6 /proc/2869/task/2884/stat : 2884 (java) S 2867 2869 959 0 -1 4202560 5866 0 0 0 38 2 0 0 20 0 19 0 341484402 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170322950968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2885] ppid=2867 vsize=2715132 CPUtime=0.35 cores=0,2,4,6 /proc/2869/task/2885/stat : 2885 (java) S 2867 2869 959 0 -1 4202560 4061 0 0 0 35 0 0 0 20 0 19 0 341484402 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170321898424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2886] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2886/stat : 2886 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170320845560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2887] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2887/stat : 2887 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484403 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170319793224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2888] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2888/stat : 2888 (java) S 2867 2869 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341484411 2780295168 45008 33554432000 1073741824 1073778376 140734163514960 140170318738472 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.25 Current children cumulated vsize (KiB) 2715132 [startup+3.1007 s] /proc/loadavg: 1.96 2.00 2.00 4/215 2891 /proc/meminfo: memFree=26804972/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2715132 CPUtime=3.87 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 14060 0 1 0 379 8 0 0 20 0 19 0 341484396 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 678783 77776 2245 9 0 669476 0 [pid=2869/tid=2871] ppid=2867 vsize=2715132 CPUtime=3.06 cores=0,2,4,6 /proc/2869/task/2871/stat : 2871 (java) R 2867 2869 959 0 -1 4202560 2937 0 1 0 301 5 0 0 20 0 19 0 341484397 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170480398768 140170420628648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2872] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2872/stat : 2872 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170346727848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2873] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2873/stat : 2873 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170345675304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2874] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2874/stat : 2874 (java) S 2867 2869 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170344622248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2875] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2875/stat : 2875 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170343569704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2876] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2876/stat : 2876 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170342517672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2877] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2877/stat : 2877 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170341465128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2878] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2878/stat : 2878 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170340412072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2879] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2879/stat : 2879 (java) S 2867 2869 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170339359528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2880] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2880/stat : 2880 (java) S 2867 2869 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341484399 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170327161192 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2881] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2881/stat : 2881 (java) S 2867 2869 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170326107512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2882] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2882/stat : 2882 (java) S 2867 2869 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170325054344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2883] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2883/stat : 2883 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170324003088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2884] ppid=2867 vsize=2715132 CPUtime=0.41 cores=0,2,4,6 /proc/2869/task/2884/stat : 2884 (java) S 2867 2869 959 0 -1 4202560 5866 0 0 0 39 2 0 0 20 0 19 0 341484402 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170322950968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2885] ppid=2867 vsize=2715132 CPUtime=0.35 cores=0,2,4,6 /proc/2869/task/2885/stat : 2885 (java) S 2867 2869 959 0 -1 4202560 4061 0 0 0 35 0 0 0 20 0 19 0 341484402 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170321898424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2886] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2886/stat : 2886 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170320845560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2887] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2887/stat : 2887 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484403 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170319793224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2888] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2888/stat : 2888 (java) S 2867 2869 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341484411 2780295168 77776 33554432000 1073741824 1073778376 140734163514960 140170318738472 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 2715132 [startup+6.30071 s] /proc/loadavg: 1.96 2.00 2.00 3/214 2891 /proc/meminfo: memFree=26656140/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2715132 CPUtime=7.12 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 14138 0 1 0 702 10 0 0 20 0 19 0 341484396 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 678783 96391 2260 9 0 669476 0 [pid=2869/tid=2871] ppid=2867 vsize=2715132 CPUtime=6.24 cores=0,2,4,6 /proc/2869/task/2871/stat : 2871 (java) R 2867 2869 959 0 -1 4202560 2974 0 1 0 619 5 0 0 20 0 19 0 341484397 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170480398768 140170420552768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2872] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2872/stat : 2872 (java) S 2867 2869 959 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170346727848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2873] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2873/stat : 2873 (java) S 2867 2869 959 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170345675304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2874] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2874/stat : 2874 (java) S 2867 2869 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170344622248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2875] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2875/stat : 2875 (java) S 2867 2869 959 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170343569704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2876] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2876/stat : 2876 (java) S 2867 2869 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170342517672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2877] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2877/stat : 2877 (java) S 2867 2869 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170341465128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2878] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2878/stat : 2878 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170340412072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2879] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2879/stat : 2879 (java) S 2867 2869 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341484398 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170339359528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2880] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2880/stat : 2880 (java) S 2867 2869 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341484399 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170327161192 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2881] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2881/stat : 2881 (java) S 2867 2869 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170326107512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2882] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2882/stat : 2882 (java) S 2867 2869 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170325054344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2883] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2883/stat : 2883 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170324003088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2884] ppid=2867 vsize=2715132 CPUtime=0.42 cores=0,2,4,6 /proc/2869/task/2884/stat : 2884 (java) S 2867 2869 959 0 -1 4202560 5867 0 0 0 40 2 0 0 20 0 19 0 341484402 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170322950968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2885] ppid=2867 vsize=2715132 CPUtime=0.37 cores=0,2,4,6 /proc/2869/task/2885/stat : 2885 (java) S 2867 2869 959 0 -1 4202560 4061 0 0 0 37 0 0 0 20 0 19 0 341484402 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170321898424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2886] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2886/stat : 2886 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170320845560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2887] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2887/stat : 2887 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484403 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170319793224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2888] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2888/stat : 2888 (java) S 2867 2869 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341484411 2780295168 96391 33554432000 1073741824 1073778376 140734163514960 140170318738472 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.12 Current children cumulated vsize (KiB) 2715132 [startup+12.7007 s] ################ # More data... # ################ [pid=2869/tid=2884] ppid=2867 vsize=2715132 CPUtime=0.42 cores=0,2,4,6 /proc/2869/task/2884/stat : 2884 (java) S 2867 2869 959 0 -1 4202560 5867 0 0 0 40 2 0 0 20 0 19 0 341484402 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170322950968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2885] ppid=2867 vsize=2715132 CPUtime=0.37 cores=0,2,4,6 /proc/2869/task/2885/stat : 2885 (java) S 2867 2869 959 0 -1 4202560 4062 0 0 0 37 0 0 0 20 0 19 0 341484402 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170321898424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2886] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2886/stat : 2886 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170320845560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2887] ppid=2867 vsize=2715132 CPUtime=0.66 cores=0,2,4,6 /proc/2869/task/2887/stat : 2887 (java) S 2867 2869 959 0 -1 4202560 95 0 0 0 35 31 0 0 20 0 19 0 341484403 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170319793224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2888] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2888/stat : 2888 (java) S 2867 2869 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341484411 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170318738472 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1666.74 Current children cumulated vsize (KiB) 2715132 [startup+1722.3 s] /proc/loadavg: 2.00 2.05 2.01 3/213 3099 /proc/meminfo: memFree=26939720/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2715132 CPUtime=1726.75 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 15811 0 1 0 172610 65 0 0 20 0 19 0 341484396 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 678783 215137 2260 9 0 669476 0 [pid=2869/tid=2871] ppid=2867 vsize=2715132 CPUtime=1716.22 cores=0,2,4,6 /proc/2869/task/2871/stat : 2871 (java) R 2867 2869 959 0 -1 4202560 3008 0 1 0 171587 35 0 0 20 0 19 0 341484397 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170480405952 140170420628644 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2872] ppid=2867 vsize=2715132 CPUtime=0.59 cores=0,2,4,6 /proc/2869/task/2872/stat : 2872 (java) S 2867 2869 959 0 -1 4202560 195 0 0 0 55 4 0 0 20 0 19 0 341484398 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170346727848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2873] ppid=2867 vsize=2715132 CPUtime=0.56 cores=0,2,4,6 /proc/2869/task/2873/stat : 2873 (java) S 2867 2869 959 0 -1 4202560 196 0 0 0 52 4 0 0 20 0 19 0 341484398 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170345675304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2874] ppid=2867 vsize=2715132 CPUtime=0.73 cores=0,2,4,6 /proc/2869/task/2874/stat : 2874 (java) S 2867 2869 959 0 -1 4202560 170 0 0 0 67 6 0 0 20 0 19 0 341484398 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170344622248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2875] ppid=2867 vsize=2715132 CPUtime=0.67 cores=0,2,4,6 /proc/2869/task/2875/stat : 2875 (java) S 2867 2869 959 0 -1 4202560 242 0 0 0 62 5 0 0 20 0 19 0 341484398 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170343569704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2876] ppid=2867 vsize=2715132 CPUtime=0.63 cores=0,2,4,6 /proc/2869/task/2876/stat : 2876 (java) S 2867 2869 959 0 -1 4202560 232 0 0 0 60 3 0 0 20 0 19 0 341484398 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170342517672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2877] ppid=2867 vsize=2715132 CPUtime=0.55 cores=0,2,4,6 /proc/2869/task/2877/stat : 2877 (java) S 2867 2869 959 0 -1 4202560 197 0 0 0 52 3 0 0 20 0 19 0 341484398 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170341465128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2878] ppid=2867 vsize=2715132 CPUtime=0.57 cores=0,2,4,6 /proc/2869/task/2878/stat : 2878 (java) S 2867 2869 959 0 -1 4202560 128 0 0 0 53 4 0 0 20 0 19 0 341484398 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170340412072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2879] ppid=2867 vsize=2715132 CPUtime=0.65 cores=0,2,4,6 /proc/2869/task/2879/stat : 2879 (java) S 2867 2869 959 0 -1 4202560 168 0 0 0 60 5 0 0 20 0 19 0 341484398 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170339359528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2880] ppid=2867 vsize=2715132 CPUtime=0.02 cores=0,2,4,6 /proc/2869/task/2880/stat : 2880 (java) S 2867 2869 959 0 -1 4202560 65 0 0 0 1 1 0 0 20 0 19 0 341484399 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170327161192 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2881] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2881/stat : 2881 (java) S 2867 2869 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170326107512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2882] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2882/stat : 2882 (java) S 2867 2869 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170325054344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2883] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2883/stat : 2883 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170324003088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2884] ppid=2867 vsize=2715132 CPUtime=0.42 cores=0,2,4,6 /proc/2869/task/2884/stat : 2884 (java) S 2867 2869 959 0 -1 4202560 5867 0 0 0 40 2 0 0 20 0 19 0 341484402 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170322950968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2885] ppid=2867 vsize=2715132 CPUtime=0.37 cores=0,2,4,6 /proc/2869/task/2885/stat : 2885 (java) S 2867 2869 959 0 -1 4202560 4062 0 0 0 37 0 0 0 20 0 19 0 341484402 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170321898424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2886] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2886/stat : 2886 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170320845560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2887] ppid=2867 vsize=2715132 CPUtime=0.7 cores=0,2,4,6 /proc/2869/task/2887/stat : 2887 (java) S 2867 2869 959 0 -1 4202560 99 0 0 0 37 33 0 0 20 0 19 0 341484403 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170319793224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2888] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2888/stat : 2888 (java) S 2867 2869 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341484411 2780295168 215137 33554432000 1073741824 1073778376 140734163514960 140170318738472 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1726.75 Current children cumulated vsize (KiB) 2715132 [startup+1782.3 s] /proc/loadavg: 2.05 2.05 2.01 3/213 3099 /proc/meminfo: memFree=26899216/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2715132 CPUtime=1786.94 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 15851 0 1 0 178626 68 0 0 20 0 19 0 341484396 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 678783 223329 2260 9 0 669476 0 [pid=2869/tid=2871] ppid=2867 vsize=2715132 CPUtime=1776.01 cores=0,2,4,6 /proc/2869/task/2871/stat : 2871 (java) R 2867 2869 959 0 -1 4202560 3009 0 1 0 177566 35 0 0 20 0 19 0 341484397 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170480405952 140170420544909 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2872] ppid=2867 vsize=2715132 CPUtime=0.63 cores=0,2,4,6 /proc/2869/task/2872/stat : 2872 (java) S 2867 2869 959 0 -1 4202560 197 0 0 0 58 5 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170346727848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2873] ppid=2867 vsize=2715132 CPUtime=0.57 cores=0,2,4,6 /proc/2869/task/2873/stat : 2873 (java) S 2867 2869 959 0 -1 4202560 198 0 0 0 53 4 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170345675304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2874] ppid=2867 vsize=2715132 CPUtime=0.75 cores=0,2,4,6 /proc/2869/task/2874/stat : 2874 (java) S 2867 2869 959 0 -1 4202560 171 0 0 0 68 7 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170344622248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2875] ppid=2867 vsize=2715132 CPUtime=0.73 cores=0,2,4,6 /proc/2869/task/2875/stat : 2875 (java) S 2867 2869 959 0 -1 4202560 252 0 0 0 68 5 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170343569704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2876] ppid=2867 vsize=2715132 CPUtime=0.64 cores=0,2,4,6 /proc/2869/task/2876/stat : 2876 (java) S 2867 2869 959 0 -1 4202560 238 0 0 0 61 3 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170342517672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2877] ppid=2867 vsize=2715132 CPUtime=0.6 cores=0,2,4,6 /proc/2869/task/2877/stat : 2877 (java) S 2867 2869 959 0 -1 4202560 201 0 0 0 57 3 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170341465128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2878] ppid=2867 vsize=2715132 CPUtime=0.58 cores=0,2,4,6 /proc/2869/task/2878/stat : 2878 (java) S 2867 2869 959 0 -1 4202560 130 0 0 0 54 4 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170340412072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2879] ppid=2867 vsize=2715132 CPUtime=0.68 cores=0,2,4,6 /proc/2869/task/2879/stat : 2879 (java) S 2867 2869 959 0 -1 4202560 174 0 0 0 63 5 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170339359528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2880] ppid=2867 vsize=2715132 CPUtime=0.02 cores=0,2,4,6 /proc/2869/task/2880/stat : 2880 (java) S 2867 2869 959 0 -1 4202560 67 0 0 0 1 1 0 0 20 0 19 0 341484399 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170327161192 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2881] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2881/stat : 2881 (java) S 2867 2869 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170326107512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2882] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2882/stat : 2882 (java) S 2867 2869 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170325054344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2883] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2883/stat : 2883 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170324003088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2884] ppid=2867 vsize=2715132 CPUtime=0.42 cores=0,2,4,6 /proc/2869/task/2884/stat : 2884 (java) S 2867 2869 959 0 -1 4202560 5867 0 0 0 40 2 0 0 20 0 19 0 341484402 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170322950968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2885] ppid=2867 vsize=2715132 CPUtime=0.37 cores=0,2,4,6 /proc/2869/task/2885/stat : 2885 (java) S 2867 2869 959 0 -1 4202560 4062 0 0 0 37 0 0 0 20 0 19 0 341484402 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170321898424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2886] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2886/stat : 2886 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170320845560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2887] ppid=2867 vsize=2715132 CPUtime=0.72 cores=0,2,4,6 /proc/2869/task/2887/stat : 2887 (java) S 2867 2869 959 0 -1 4202560 103 0 0 0 38 34 0 0 20 0 19 0 341484403 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170319793224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2888] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2888/stat : 2888 (java) S 2867 2869 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341484411 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170318738472 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1786.94 Current children cumulated vsize (KiB) 2715132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.4 s] /proc/loadavg: 2.04 2.05 2.01 3/213 3099 /proc/meminfo: memFree=26897044/32873648 swapFree=7388/7388 [pid=2869] ppid=2867 vsize=2715132 CPUtime=1800.05 cores=0,2,4,6 /proc/2869/stat : 2869 (java) S 2867 2869 959 0 -1 4202496 15851 0 1 0 179937 68 0 0 20 0 19 0 341484396 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140734163506096 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2869/statm: 678783 223329 2260 9 0 669476 0 [pid=2869/tid=2871] ppid=2867 vsize=2715132 CPUtime=1789.08 cores=0,2,4,6 /proc/2869/task/2871/stat : 2871 (java) R 2867 2869 959 0 -1 4202560 3009 0 1 0 178872 36 0 0 20 0 19 0 341484397 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170480405952 140170420545011 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2872] ppid=2867 vsize=2715132 CPUtime=0.63 cores=0,2,4,6 /proc/2869/task/2872/stat : 2872 (java) S 2867 2869 959 0 -1 4202560 197 0 0 0 58 5 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170346727848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2873] ppid=2867 vsize=2715132 CPUtime=0.57 cores=0,2,4,6 /proc/2869/task/2873/stat : 2873 (java) S 2867 2869 959 0 -1 4202560 198 0 0 0 53 4 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170345675304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2874] ppid=2867 vsize=2715132 CPUtime=0.75 cores=0,2,4,6 /proc/2869/task/2874/stat : 2874 (java) S 2867 2869 959 0 -1 4202560 171 0 0 0 68 7 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170344622248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2875] ppid=2867 vsize=2715132 CPUtime=0.73 cores=0,2,4,6 /proc/2869/task/2875/stat : 2875 (java) S 2867 2869 959 0 -1 4202560 252 0 0 0 68 5 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170343569704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2876] ppid=2867 vsize=2715132 CPUtime=0.64 cores=0,2,4,6 /proc/2869/task/2876/stat : 2876 (java) S 2867 2869 959 0 -1 4202560 238 0 0 0 61 3 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170342517672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2869/tid=2877] ppid=2867 vsize=2715132 CPUtime=0.6 cores=0,2,4,6 /proc/2869/task/2877/stat : 2877 (java) S 2867 2869 959 0 -1 4202560 201 0 0 0 57 3 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170341465128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2878] ppid=2867 vsize=2715132 CPUtime=0.58 cores=0,2,4,6 /proc/2869/task/2878/stat : 2878 (java) S 2867 2869 959 0 -1 4202560 130 0 0 0 54 4 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170340412072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2879] ppid=2867 vsize=2715132 CPUtime=0.68 cores=0,2,4,6 /proc/2869/task/2879/stat : 2879 (java) S 2867 2869 959 0 -1 4202560 174 0 0 0 63 5 0 0 20 0 19 0 341484398 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170339359528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2880] ppid=2867 vsize=2715132 CPUtime=0.02 cores=0,2,4,6 /proc/2869/task/2880/stat : 2880 (java) S 2867 2869 959 0 -1 4202560 67 0 0 0 1 1 0 0 20 0 19 0 341484399 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170327161192 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2881] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2881/stat : 2881 (java) S 2867 2869 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170326107512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2882] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2882/stat : 2882 (java) S 2867 2869 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341484400 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170325054344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2883] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2883/stat : 2883 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170324003088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2884] ppid=2867 vsize=2715132 CPUtime=0.42 cores=0,2,4,6 /proc/2869/task/2884/stat : 2884 (java) S 2867 2869 959 0 -1 4202560 5867 0 0 0 40 2 0 0 20 0 19 0 341484402 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170322950968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2869/tid=2885] ppid=2867 vsize=2715132 CPUtime=0.37 cores=0,2,4,6 /proc/2869/task/2885/stat : 2885 (java) S 2867 2869 959 0 -1 4202560 4062 0 0 0 37 0 0 0 20 0 19 0 341484402 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170321898424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2886] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2886/stat : 2886 (java) S 2867 2869 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341484402 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170320845560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2869/tid=2887] ppid=2867 vsize=2715132 CPUtime=0.72 cores=0,2,4,6 /proc/2869/task/2887/stat : 2887 (java) S 2867 2869 959 0 -1 4202560 103 0 0 0 38 34 0 0 20 0 19 0 341484403 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170319793224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2869/tid=2888] ppid=2867 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/2869/task/2888/stat : 2888 (java) S 2867 2869 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341484411 2780295168 223329 33554432000 1073741824 1073778376 140734163514960 140170318738472 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2715132 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 2869 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=17115 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=233812 # CPU time returned by wait4() is 1796.25 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.5 CPU time (s): 1800.05 CPU user time (s): 1799.37 CPU system time (s): 0.68 CPU usage (%): 100.253 Max. virtual memory (cumulated for all children) (KiB): 2715132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.02 system time used= 1.23381 maximum resident set size= 893500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15901 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1376 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39011 involuntary context switches= 19358 runsolver used 6.16906 second user time and 14.9037 second system time The end
Begin job on node148 at 2012-06-03 21:59:59 IDJOB=3734940 IDBENCH=2923 IDSOLVER=2322 FILE ID=node148/3734940-1338753599 RUNJOBID= node148-1338737846-977 PBS_JOBID= 14636767 Free space on /tmp= 71332 MiB SOLVER NAME= PB09: SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734940-1338753599/watcher-3734940-1338753599 -o /tmp/evaluation-result-3734940-1338753599/solver-3734940-1338753599 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3734940-1338753599.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=462173352 node148.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 : 2667.284 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 : 5334.56 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 : 2667.284 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.94 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 : 2667.284 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 : 5331.92 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 : 2667.284 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.91 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 : 2667.284 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 : 2667.284 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 : 2667.284 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.90 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 : 2667.284 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27035360 kB Buffers: 602488 kB Cached: 2946924 kB SwapCached: 628 kB Active: 2800824 kB Inactive: 2129988 kB Active(anon): 1370760 kB Inactive(anon): 10660 kB Active(file): 1430064 kB Inactive(file): 2119328 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67107564 kB Dirty: 448 kB Writeback: 0 kB AnonPages: 1385808 kB Mapped: 19064 kB Shmem: 36 kB Slab: 767376 kB SReclaimable: 211504 kB SUnreclaim: 555872 kB KernelStack: 1616 kB PageTables: 6936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1518168 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1359872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71328 MiB End job on node148 at 2012-06-03 22:29:56