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) | 4 | 1800.42 | 1791.63 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb |
| MD5SUM | 455599f2e36aed56b051b7169c43fa6c |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 305.689 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | YES |
| 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 | 1162 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3997 |
| 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.04/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.04/0.07 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.04/0.07 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.04/0.08 c no version file found!!! 0.04/0.08 c sun.arch.data.model 64 0.04/0.08 c java.version 1.6.0_24 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.08 c os.arch amd64 0.04/0.08 c Free memory 1599470296 0.04/0.08 c Max memory 1607860224 0.04/0.08 c Total memory 1607860224 0.04/0.08 c Number of processors 8 0.08/0.10 --- Begin Solver configuration --- 0.08/0.10 c Stops conflict analysis at the first Unique Implication Point 0.08/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.08/0.10 c Learn all clauses as in MiniSAT 0.08/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.10 c No reason simplification 0.08/0.10 c --- End Solver configuration --- 0.08/0.10 c solving HOME/instance-3734739-1338702539.opb 0.08/0.10 c reading problem ... 0.08/0.13 c ... done. Wall clock time 0.031s. 0.08/0.13 c CPU time (experimental) 0.1s. 0.08/0.13 c #vars 120 0.08/0.13 c #constraints 10 0.08/0.19 c SATISFIABLE 0.08/0.19 c OPTIMIZING... 0.08/0.19 c Got one! Elapsed wall clock time (in seconds):0.09 0.08/0.19 o 2077 0.31/0.22 c Got one! Elapsed wall clock time (in seconds):0.117 0.31/0.22 o 1868 0.31/0.23 c Got one! Elapsed wall clock time (in seconds):0.129 0.31/0.23 o 1862 0.31/0.24 c Got one! Elapsed wall clock time (in seconds):0.141 0.31/0.24 o 1861 0.31/0.25 c Got one! Elapsed wall clock time (in seconds):0.151 0.31/0.25 o 1859 0.31/0.26 c Got one! Elapsed wall clock time (in seconds):0.159 0.31/0.26 o 1799 0.31/0.27 c Got one! Elapsed wall clock time (in seconds):0.166 0.31/0.27 o 1784 0.31/0.28 c Got one! Elapsed wall clock time (in seconds):0.176 0.31/0.28 o 1686 0.31/0.28 c Got one! Elapsed wall clock time (in seconds):0.184 0.31/0.28 o 1685 0.31/0.29 c Got one! Elapsed wall clock time (in seconds):0.191 0.31/0.29 o 1620 0.51/0.30 c Got one! Elapsed wall clock time (in seconds):0.199 0.51/0.30 o 1493 0.51/0.31 c Got one! Elapsed wall clock time (in seconds):0.207 0.51/0.31 o 1492 0.51/0.31 c Got one! Elapsed wall clock time (in seconds):0.213 0.51/0.31 o 1490 0.51/0.32 c Got one! Elapsed wall clock time (in seconds):0.221 0.51/0.32 o 1489 0.51/0.33 c Got one! Elapsed wall clock time (in seconds):0.232 0.51/0.33 o 1487 0.51/0.34 c Got one! Elapsed wall clock time (in seconds):0.238 0.51/0.34 o 1484 0.51/0.35 c Got one! Elapsed wall clock time (in seconds):0.246 0.51/0.35 o 1461 0.51/0.35 c Got one! Elapsed wall clock time (in seconds):0.253 0.51/0.35 o 1458 0.51/0.36 c Got one! Elapsed wall clock time (in seconds):0.264 0.51/0.36 o 1440 0.51/0.37 c Got one! Elapsed wall clock time (in seconds):0.272 0.51/0.37 o 1435 0.51/0.38 c Got one! Elapsed wall clock time (in seconds):0.282 0.51/0.38 o 1430 0.51/0.39 c Got one! Elapsed wall clock time (in seconds):0.291 0.51/0.39 o 1400 0.62/0.40 c Got one! Elapsed wall clock time (in seconds):0.299 0.62/0.40 o 1387 0.62/0.41 c Got one! Elapsed wall clock time (in seconds):0.307 0.62/0.41 o 1373 0.62/0.42 c Got one! Elapsed wall clock time (in seconds):0.316 0.62/0.42 o 1349 0.62/0.42 c Got one! Elapsed wall clock time (in seconds):0.324 0.62/0.42 o 1340 0.62/0.43 c Got one! Elapsed wall clock time (in seconds):0.332 0.62/0.43 o 1329 0.62/0.44 c Got one! Elapsed wall clock time (in seconds):0.342 0.62/0.44 o 1324 0.62/0.45 c Got one! Elapsed wall clock time (in seconds):0.354 0.62/0.45 o 1323 0.62/0.46 c Got one! Elapsed wall clock time (in seconds):0.363 0.62/0.46 o 1284 0.62/0.48 c Got one! Elapsed wall clock time (in seconds):0.377 0.62/0.48 o 1283 0.62/0.49 c Got one! Elapsed wall clock time (in seconds):0.393 0.62/0.49 o 1282 0.76/0.50 c Got one! Elapsed wall clock time (in seconds):0.404 0.76/0.50 o 1280 0.76/0.51 c Got one! Elapsed wall clock time (in seconds):0.415 0.76/0.51 o 1279 0.76/0.53 c Got one! Elapsed wall clock time (in seconds):0.428 0.76/0.53 o 1278 0.76/0.53 c Got one! Elapsed wall clock time (in seconds):0.435 0.76/0.53 o 1277 0.76/0.54 c Got one! Elapsed wall clock time (in seconds):0.444 0.76/0.54 o 1275 0.76/0.55 c Got one! Elapsed wall clock time (in seconds):0.455 0.76/0.55 o 1142 0.76/0.57 c Got one! Elapsed wall clock time (in seconds):0.473 0.76/0.57 o 979 0.76/0.59 c Got one! Elapsed wall clock time (in seconds):0.489 0.76/0.59 o 835 0.94/0.60 c Got one! Elapsed wall clock time (in seconds):0.504 0.94/0.60 o 829 0.94/0.61 c Got one! Elapsed wall clock time (in seconds):0.515 0.94/0.61 o 828 0.94/0.63 c Got one! Elapsed wall clock time (in seconds):0.529 0.94/0.63 o 827 0.94/0.64 c Got one! Elapsed wall clock time (in seconds):0.543 0.94/0.64 o 821 0.94/0.66 c Got one! Elapsed wall clock time (in seconds):0.563 0.94/0.66 o 811 0.94/0.68 c Got one! Elapsed wall clock time (in seconds):0.576 0.94/0.68 o 807 0.94/0.69 c Got one! Elapsed wall clock time (in seconds):0.593 0.94/0.69 o 805 1.14/0.71 c Got one! Elapsed wall clock time (in seconds):0.613 1.14/0.71 o 804 1.14/0.73 c Got one! Elapsed wall clock time (in seconds):0.634 1.14/0.73 o 800 1.14/0.75 c Got one! Elapsed wall clock time (in seconds):0.655 1.14/0.75 o 799 1.14/0.78 c Got one! Elapsed wall clock time (in seconds):0.676 1.14/0.78 o 798 1.14/0.79 c Got one! Elapsed wall clock time (in seconds):0.695 1.14/0.79 o 558 1.28/0.81 c Got one! Elapsed wall clock time (in seconds):0.713 1.28/0.81 o 557 1.28/0.83 c Got one! Elapsed wall clock time (in seconds):0.733 1.28/0.83 o 555 1.28/0.85 c Got one! Elapsed wall clock time (in seconds):0.751 1.28/0.85 o 554 1.28/0.88 c Got one! Elapsed wall clock time (in seconds):0.778 1.28/0.88 o 552 1.39/0.90 c Got one! Elapsed wall clock time (in seconds):0.803 1.39/0.90 o 548 1.39/0.92 c Got one! Elapsed wall clock time (in seconds):0.819 1.39/0.92 o 529 1.39/0.94 c Got one! Elapsed wall clock time (in seconds):0.839 1.39/0.94 o 528 1.39/0.96 c Got one! Elapsed wall clock time (in seconds):0.863 1.39/0.96 o 526 1.39/0.98 c Got one! Elapsed wall clock time (in seconds):0.884 1.39/0.98 o 523 1.55/1.01 c Got one! Elapsed wall clock time (in seconds):0.911 1.55/1.01 o 521 1.55/1.04 c Got one! Elapsed wall clock time (in seconds):0.941 1.55/1.04 o 519 1.55/1.07 c Got one! Elapsed wall clock time (in seconds):0.967 1.55/1.07 o 517 1.55/1.08 c Got one! Elapsed wall clock time (in seconds):0.982 1.55/1.08 o 515 1.71/1.11 c Got one! Elapsed wall clock time (in seconds):1.009 1.71/1.11 o 513 1.71/1.13 c Got one! Elapsed wall clock time (in seconds):1.033 1.71/1.13 o 511 1.71/1.16 c Got one! Elapsed wall clock time (in seconds):1.06 1.71/1.16 o 507 1.71/1.19 c Got one! Elapsed wall clock time (in seconds):1.087 1.71/1.19 o 505 1.80/1.21 c Got one! Elapsed wall clock time (in seconds):1.11 1.80/1.21 o 503 1.80/1.23 c Got one! Elapsed wall clock time (in seconds):1.132 1.80/1.23 o 500 1.80/1.26 c Got one! Elapsed wall clock time (in seconds):1.16 1.80/1.26 o 499 1.80/1.29 c Got one! Elapsed wall clock time (in seconds):1.191 1.80/1.29 o 497 1.91/1.32 c Got one! Elapsed wall clock time (in seconds):1.221 1.91/1.32 o 496 1.91/1.36 c Got one! Elapsed wall clock time (in seconds):1.264 1.91/1.36 o 495 2.03/1.40 c Got one! Elapsed wall clock time (in seconds):1.297 2.03/1.40 o 491 2.03/1.42 c Got one! Elapsed wall clock time (in seconds):1.324 2.03/1.42 o 490 2.03/1.46 c Got one! Elapsed wall clock time (in seconds):1.356 2.03/1.46 o 488 2.03/1.49 c Got one! Elapsed wall clock time (in seconds):1.39 2.03/1.49 o 487 2.14/1.52 c Got one! Elapsed wall clock time (in seconds):1.417 2.14/1.52 o 468 2.14/1.54 c Got one! Elapsed wall clock time (in seconds):1.444 2.14/1.54 o 467 2.14/1.57 c Got one! Elapsed wall clock time (in seconds):1.466 2.14/1.57 o 463 2.24/1.63 c Got one! Elapsed wall clock time (in seconds):1.528 2.24/1.63 o 461 2.24/1.65 c Got one! Elapsed wall clock time (in seconds):1.548 2.24/1.65 o 458 2.24/1.66 c Got one! Elapsed wall clock time (in seconds):1.564 2.24/1.66 o 456 2.24/1.69 c Got one! Elapsed wall clock time (in seconds):1.59 2.24/1.69 o 293 2.36/1.71 c Got one! Elapsed wall clock time (in seconds):1.611 2.36/1.71 o 286 2.36/1.79 c Got one! Elapsed wall clock time (in seconds):1.694 2.36/1.79 o 284 2.46/1.81 c Got one! Elapsed wall clock time (in seconds):1.709 2.46/1.81 o 282 2.56/1.90 c Got one! Elapsed wall clock time (in seconds):1.797 2.56/1.90 o 278 2.56/1.95 c Got one! Elapsed wall clock time (in seconds):1.852 2.56/1.95 o 277 2.67/2.07 c Got one! Elapsed wall clock time (in seconds):1.971 2.67/2.07 o 275 2.67/2.09 c Got one! Elapsed wall clock time (in seconds):1.994 2.67/2.09 o 274 2.97/2.30 c Got one! Elapsed wall clock time (in seconds):2.203 2.97/2.30 o 272 2.97/2.37 c Got one! Elapsed wall clock time (in seconds):2.269 2.97/2.37 o 271 3.07/2.41 c Got one! Elapsed wall clock time (in seconds):2.315 3.07/2.41 o 269 3.07/2.45 c Got one! Elapsed wall clock time (in seconds):2.348 3.07/2.45 o 268 3.07/2.48 c Got one! Elapsed wall clock time (in seconds):2.38 3.07/2.48 o 262 3.17/2.53 c Got one! Elapsed wall clock time (in seconds):2.427 3.17/2.53 o 260 3.37/2.70 c Got one! Elapsed wall clock time (in seconds):2.604 3.37/2.70 o 259 3.37/2.76 c Got one! Elapsed wall clock time (in seconds):2.663 3.37/2.76 o 258 3.47/2.83 c Got one! Elapsed wall clock time (in seconds):2.729 3.47/2.83 o 257 3.47/2.86 c Got one! Elapsed wall clock time (in seconds):2.764 3.47/2.86 o 252 3.57/2.91 c Got one! Elapsed wall clock time (in seconds):2.813 3.57/2.91 o 251 3.57/2.95 c Got one! Elapsed wall clock time (in seconds):2.85 3.57/2.95 o 250 3.57/2.99 c Got one! Elapsed wall clock time (in seconds):2.893 3.57/2.99 o 249 3.88/3.22 c Got one! Elapsed wall clock time (in seconds):3.118 3.88/3.22 o 248 3.88/3.26 c Got one! Elapsed wall clock time (in seconds):3.157 3.88/3.26 o 247 3.88/3.28 c Got one! Elapsed wall clock time (in seconds):3.179 3.88/3.28 o 246 3.98/3.32 c Got one! Elapsed wall clock time (in seconds):3.223 3.98/3.32 o 244 3.98/3.36 c Got one! Elapsed wall clock time (in seconds):3.259 3.98/3.36 o 242 4.11/3.46 c Got one! Elapsed wall clock time (in seconds):3.362 4.11/3.46 o 241 4.21/3.50 c Got one! Elapsed wall clock time (in seconds):3.405 4.21/3.50 o 228 4.21/3.55 c Got one! Elapsed wall clock time (in seconds):3.452 4.21/3.55 o 227 4.31/3.60 c Got one! Elapsed wall clock time (in seconds):3.505 4.31/3.60 o 223 4.31/3.65 c Got one! Elapsed wall clock time (in seconds):3.546 4.31/3.65 o 222 4.31/3.67 c Got one! Elapsed wall clock time (in seconds):3.568 4.31/3.67 o 221 4.41/3.72 c Got one! Elapsed wall clock time (in seconds):3.62 4.41/3.72 o 219 4.41/3.77 c Got one! Elapsed wall clock time (in seconds):3.675 4.41/3.77 o 218 4.54/3.82 c Got one! Elapsed wall clock time (in seconds):3.721 4.54/3.82 o 216 4.54/3.88 c Got one! Elapsed wall clock time (in seconds):3.779 4.54/3.88 o 214 4.65/3.97 c Got one! Elapsed wall clock time (in seconds):3.869 4.65/3.97 o 212 4.75/4.01 c Got one! Elapsed wall clock time (in seconds):3.915 4.75/4.01 o 210 4.75/4.09 c Got one! Elapsed wall clock time (in seconds):3.995 4.75/4.09 o 205 4.85/4.16 c Got one! Elapsed wall clock time (in seconds):4.057 4.85/4.16 o 203 4.95/4.26 c Got one! Elapsed wall clock time (in seconds):4.161 4.95/4.26 o 201 5.06/4.33 c Got one! Elapsed wall clock time (in seconds):4.229 5.06/4.33 o 199 5.06/4.38 c Got one! Elapsed wall clock time (in seconds):4.28 5.06/4.38 o 197 5.16/4.42 c Got one! Elapsed wall clock time (in seconds):4.325 5.16/4.42 o 196 5.16/4.47 c Got one! Elapsed wall clock time (in seconds):4.365 5.16/4.47 o 195 5.25/4.53 c Got one! Elapsed wall clock time (in seconds):4.426 5.25/4.53 o 193 5.25/4.57 c Got one! Elapsed wall clock time (in seconds):4.471 5.25/4.57 o 189 5.35/4.61 c Got one! Elapsed wall clock time (in seconds):4.515 5.35/4.61 o 187 5.35/4.66 c Got one! Elapsed wall clock time (in seconds):4.561 5.35/4.66 o 186 5.75/5.02 c Got one! Elapsed wall clock time (in seconds):4.919 5.75/5.02 o 184 5.85/5.11 c Got one! Elapsed wall clock time (in seconds):5.015 5.85/5.11 o 182 5.85/5.18 c Got one! Elapsed wall clock time (in seconds):5.077 5.85/5.18 o 181 6.38/5.66 c Got one! Elapsed wall clock time (in seconds):5.558 6.38/5.66 o 180 6.48/5.75 c Got one! Elapsed wall clock time (in seconds):5.649 6.48/5.75 o 178 6.58/5.83 c Got one! Elapsed wall clock time (in seconds):5.73 6.58/5.83 o 177 6.58/5.88 c Got one! Elapsed wall clock time (in seconds):5.779 6.58/5.88 o 176 6.68/5.93 c Got one! Elapsed wall clock time (in seconds):5.832 6.68/5.93 o 174 6.68/5.98 c Got one! Elapsed wall clock time (in seconds):5.882 6.68/5.98 o 173 6.78/6.06 c Got one! Elapsed wall clock time (in seconds):5.956 6.78/6.06 o 170 6.88/6.18 c Got one! Elapsed wall clock time (in seconds):6.082 6.88/6.18 o 168 6.98/6.21 c Got one! Elapsed wall clock time (in seconds):6.115 6.98/6.21 o 167 6.98/6.29 c Got one! Elapsed wall clock time (in seconds):6.194 6.98/6.29 o 160 7.18/6.46 c Got one! Elapsed wall clock time (in seconds):6.358 7.18/6.46 o 159 7.28/6.50 c Got one! Elapsed wall clock time (in seconds):6.403 7.28/6.50 o 157 7.28/6.55 c Got one! Elapsed wall clock time (in seconds):6.446 7.28/6.55 o 155 7.38/6.61 c Got one! Elapsed wall clock time (in seconds):6.513 7.38/6.61 o 153 7.48/6.77 c Got one! Elapsed wall clock time (in seconds):6.671 7.48/6.77 o 151 7.58/6.84 c Got one! Elapsed wall clock time (in seconds):6.738 7.58/6.84 o 149 7.81/7.01 c Got one! Elapsed wall clock time (in seconds):6.909 7.81/7.01 o 148 7.81/7.05 c Got one! Elapsed wall clock time (in seconds):6.955 7.81/7.05 o 146 7.91/7.12 c Got one! Elapsed wall clock time (in seconds):7.02 7.91/7.12 o 145 7.91/7.16 c Got one! Elapsed wall clock time (in seconds):7.056 7.91/7.16 o 144 8.01/7.23 c Got one! Elapsed wall clock time (in seconds):7.135 8.01/7.23 o 142 8.01/7.28 c Got one! Elapsed wall clock time (in seconds):7.183 8.01/7.28 o 141 8.11/7.39 c Got one! Elapsed wall clock time (in seconds):7.294 8.11/7.39 o 136 9.44/8.63 c Got one! Elapsed wall clock time (in seconds):8.528 9.44/8.63 o 134 9.44/8.70 c Got one! Elapsed wall clock time (in seconds):8.599 9.44/8.70 o 133 9.54/8.79 c Got one! Elapsed wall clock time (in seconds):8.688 9.54/8.79 o 131 9.64/8.89 c Got one! Elapsed wall clock time (in seconds):8.79 9.64/8.89 o 130 9.74/8.93 c Got one! Elapsed wall clock time (in seconds):8.829 9.74/8.93 o 128 9.84/9.00 c Got one! Elapsed wall clock time (in seconds):8.898 9.84/9.00 o 126 9.84/9.06 c Got one! Elapsed wall clock time (in seconds):8.961 9.84/9.06 o 124 9.94/9.16 c Got one! Elapsed wall clock time (in seconds):9.061 9.94/9.16 o 123 10.04/9.25 c Got one! Elapsed wall clock time (in seconds):9.152 10.04/9.25 o 121 10.24/9.43 c Got one! Elapsed wall clock time (in seconds):9.334 10.24/9.43 o 120 10.54/9.74 c Got one! Elapsed wall clock time (in seconds):9.644 10.54/9.74 o 118 10.64/9.83 c Got one! Elapsed wall clock time (in seconds):9.729 10.64/9.83 o 116 10.84/10.07 c Got one! Elapsed wall clock time (in seconds):9.975 10.84/10.07 o 114 10.94/10.14 c Got one! Elapsed wall clock time (in seconds):10.037 10.94/10.14 o 112 11.03/10.22 c Got one! Elapsed wall clock time (in seconds):10.122 11.03/10.22 o 110 11.13/10.30 c Got one! Elapsed wall clock time (in seconds):10.201 11.13/10.30 o 108 11.13/10.39 c Got one! Elapsed wall clock time (in seconds):10.286 11.13/10.39 o 106 11.40/10.51 c Got one! Elapsed wall clock time (in seconds):10.41 11.40/10.51 o 104 11.50/10.60 c Got one! Elapsed wall clock time (in seconds):10.501 11.50/10.60 o 103 11.81/10.90 c Got one! Elapsed wall clock time (in seconds):10.804 11.81/10.90 o 101 11.91/11.00 c Got one! Elapsed wall clock time (in seconds):10.905 11.91/11.00 o 100 12.00/11.10 c Got one! Elapsed wall clock time (in seconds):11.005 12.00/11.10 o 99 12.30/11.41 c Got one! Elapsed wall clock time (in seconds):11.307 12.30/11.41 o 98 12.60/11.76 c Got one! Elapsed wall clock time (in seconds):11.664 12.60/11.76 o 96 12.70/11.87 c Got one! Elapsed wall clock time (in seconds):11.766 12.70/11.87 o 94 12.80/11.96 c Got one! Elapsed wall clock time (in seconds):11.864 12.80/11.96 o 93 12.91/12.05 c Got one! Elapsed wall clock time (in seconds):11.95 12.91/12.05 o 91 12.91/12.09 c Got one! Elapsed wall clock time (in seconds):11.995 12.91/12.09 o 89 13.20/12.30 c Got one! Elapsed wall clock time (in seconds):12.198 13.20/12.30 o 87 13.30/12.43 c Got one! Elapsed wall clock time (in seconds):12.33 13.30/12.43 o 86 13.50/12.61 c Got one! Elapsed wall clock time (in seconds):12.512 13.50/12.61 o 84 13.80/12.91 c Got one! Elapsed wall clock time (in seconds):12.811 13.80/12.91 o 82 14.47/13.58 c Got one! Elapsed wall clock time (in seconds):13.478 14.47/13.58 o 81 14.57/13.68 c Got one! Elapsed wall clock time (in seconds):13.585 14.57/13.68 o 80 14.67/13.78 c Got one! Elapsed wall clock time (in seconds):13.684 14.67/13.78 o 76 14.87/13.95 c Got one! Elapsed wall clock time (in seconds):13.855 14.87/13.95 o 75 15.28/14.33 c Got one! Elapsed wall clock time (in seconds):14.226 15.28/14.33 o 73 15.47/14.53 c Got one! Elapsed wall clock time (in seconds):14.432 15.47/14.53 o 72 15.77/14.82 c Got one! Elapsed wall clock time (in seconds):14.722 15.77/14.82 o 71 16.18/15.24 c Got one! Elapsed wall clock time (in seconds):15.138 16.18/15.24 o 69 16.77/15.89 c Got one! Elapsed wall clock time (in seconds):15.788 16.77/15.89 o 68 17.08/16.13 c Got one! Elapsed wall clock time (in seconds):16.025 17.08/16.13 o 66 17.18/16.23 c Got one! Elapsed wall clock time (in seconds):16.133 17.18/16.23 o 65 17.58/16.65 c Got one! Elapsed wall clock time (in seconds):16.553 17.58/16.65 o 63 17.78/16.85 c Got one! Elapsed wall clock time (in seconds):16.755 17.78/16.85 o 57 18.81/17.81 c Got one! Elapsed wall clock time (in seconds):17.712 18.81/17.81 o 56 18.91/17.98 c Got one! Elapsed wall clock time (in seconds):17.875 18.91/17.98 o 54 19.11/18.18 c Got one! Elapsed wall clock time (in seconds):18.075 19.11/18.18 o 52 19.41/18.44 c Got one! Elapsed wall clock time (in seconds):18.34 19.41/18.44 o 51 19.72/18.76 c Got one! Elapsed wall clock time (in seconds):18.662 19.72/18.76 o 49 20.01/19.01 c Got one! Elapsed wall clock time (in seconds):18.91 20.01/19.01 o 47 20.51/19.53 c Got one! Elapsed wall clock time (in seconds):19.427 20.51/19.53 o 46 21.01/20.08 c Got one! Elapsed wall clock time (in seconds):19.978 21.01/20.08 o 44 22.17/21.17 c Got one! Elapsed wall clock time (in seconds):21.07 22.17/21.17 o 42 22.36/21.39 c Got one! Elapsed wall clock time (in seconds):21.289 22.36/21.39 o 40 22.66/21.63 c Got one! Elapsed wall clock time (in seconds):21.53 22.66/21.63 o 38 23.26/22.28 c Got one! Elapsed wall clock time (in seconds):22.183 23.26/22.28 o 37 23.56/22.59 c Got one! Elapsed wall clock time (in seconds):22.493 23.56/22.59 o 36 24.36/23.30 c Got one! Elapsed wall clock time (in seconds):23.202 24.36/23.30 o 35 25.51/24.47 c Got one! Elapsed wall clock time (in seconds):24.365 25.51/24.47 o 34 27.71/26.63 c Got one! Elapsed wall clock time (in seconds):26.533 27.71/26.63 o 32 28.31/27.24 c Got one! Elapsed wall clock time (in seconds):27.141 28.31/27.24 o 30 29.21/28.10 c Got one! Elapsed wall clock time (in seconds):28.0 29.21/28.10 o 28 29.51/28.43 c Got one! Elapsed wall clock time (in seconds):28.331 29.51/28.43 o 27 30.21/29.13 c Got one! Elapsed wall clock time (in seconds):29.031 30.21/29.13 o 26 31.25/30.20 c Got one! Elapsed wall clock time (in seconds):30.097 31.25/30.20 o 25 31.55/30.49 c Got one! Elapsed wall clock time (in seconds):30.389 31.55/30.49 o 21 32.55/31.42 c Got one! Elapsed wall clock time (in seconds):31.317 32.55/31.42 o 20 34.16/33.02 c Got one! Elapsed wall clock time (in seconds):32.921 34.16/33.02 o 18 34.75/33.60 c Got one! Elapsed wall clock time (in seconds):33.502 34.75/33.60 o 16 35.65/34.59 c Got one! Elapsed wall clock time (in seconds):34.486 35.65/34.59 o 14 37.35/36.30 c Got one! Elapsed wall clock time (in seconds):36.199 37.35/36.30 o 13 45.88/44.75 c Got one! Elapsed wall clock time (in seconds):44.649 45.88/44.75 o 11 50.08/48.92 c Got one! Elapsed wall clock time (in seconds):48.82 50.08/48.92 o 10 54.67/53.50 c Got one! Elapsed wall clock time (in seconds):53.399 54.67/53.50 o 9 72.04/70.81 c Got one! Elapsed wall clock time (in seconds):70.715 72.04/70.81 o 7 77.63/76.36 c Got one! Elapsed wall clock time (in seconds):76.264 77.63/76.36 o 5 283.08/281.07 c Got one! Elapsed wall clock time (in seconds):280.973 283.08/281.07 o 4 1800.03/1791.61 c starts : 909 1800.03/1791.61 c conflicts : 3364404 1800.03/1791.61 c decisions : 3428421 1800.03/1791.61 c propagations : 25201568 1800.03/1791.61 c inspects : 17779063658 1800.03/1791.61 c learnt literals : 0 1800.03/1791.61 c learnt binary clauses : 0 1800.03/1791.61 c learnt ternary clauses : 0 1800.03/1791.61 c learnt clauses : 3364404 1800.03/1791.61 c root simplifications : 0 1800.03/1791.61 c removed literals (reason simplification) : 0 1800.03/1791.61 c reason swapping (by a shorter reason) : 0 1800.03/1791.61 c Calls to reduceDB : 0 1800.03/1791.61 c speed (decisions/second) : 2269.669481999129 1800.03/1791.61 c non guided choices 3981 1800.03/1791.61 s SATISFIABLE 1800.03/1791.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 1800.03/1791.61 c objective function=4 1800.03/1791.61 c Total wall clock time (ms): 1791.512
OK 4
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-3734739-1338702539/watcher-3734739-1338702539 -o /tmp/evaluation-result-3734739-1338702539/solver-3734739-1338702539 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734739-1338702539.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.07 2.02 2.00 3/194 2742 /proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/2742/stat : 2742 (java) D 2740 2742 29837 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 336379840 9515008 182 33554432000 1073741824 1073778376 140734803664784 140734803655816 242167398069 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0 /proc/2742/statm: 2323 182 140 9 0 71 0 [startup+0.0731349 s] /proc/loadavg: 2.07 2.02 2.00 3/194 2742 /proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=2956804 CPUtime=0.04 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 3581 0 1 0 3 1 0 0 20 0 18 0 336379840 3027767296 5810 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 739201 5810 1772 9 0 729885 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2956804 [startup+0.100207 s] /proc/loadavg: 2.07 2.02 2.00 3/194 2742 /proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=2957856 CPUtime=0.08 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 4408 0 1 0 7 1 0 0 20 0 18 0 336379840 3028844544 6630 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 739464 6630 2127 9 0 729885 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2957856 [startup+0.300155 s] /proc/loadavg: 2.07 2.02 2.00 3/194 2742 /proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=3024420 CPUtime=0.51 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 7152 0 1 0 49 2 0 0 20 0 19 0 336379840 3097006080 11269 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 756105 11269 2255 9 0 746526 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 3024420 [startup+0.700181 s] /proc/loadavg: 2.07 2.02 2.00 3/194 2742 /proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=3024420 CPUtime=1.14 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 13307 0 1 0 110 4 0 0 20 0 19 0 336379840 3097006080 36023 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 756105 36023 2264 9 0 746526 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 3024420 [startup+1.50073 s] /proc/loadavg: 2.07 2.02 2.00 4/213 2822 /proc/meminfo: memFree=26824856/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=3024420 CPUtime=2.14 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 14715 0 1 0 206 8 0 0 20 0 19 0 336379840 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 756105 87271 2270 9 0 746526 0 [pid=2742/tid=2744] ppid=2740 vsize=3024420 CPUtime=1.45 cores=1,3,5,7 /proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2671 0 1 0 139 6 0 0 20 0 19 0 336379841 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007603257960 140007428308294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2745] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2746] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2747] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2748] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2749] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2750] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2751] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2752] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2753] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336379843 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2754] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336379844 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2755] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336379844 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2756] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2757] ppid=2740 vsize=3024420 CPUtime=0.33 cores=1,3,5,7 /proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3147 0 0 0 33 0 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2758] ppid=2740 vsize=3024420 CPUtime=0.32 cores=1,3,5,7 /proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 30 2 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2759] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2760] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 3024420 [startup+3.10073 s] /proc/loadavg: 2.07 2.02 2.00 3/213 2854 /proc/meminfo: memFree=26582540/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=3024420 CPUtime=3.77 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 14862 0 1 0 367 10 0 0 20 0 19 0 336379840 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 756105 115968 2286 9 0 746526 0 [pid=2742/tid=2744] ppid=2740 vsize=3024420 CPUtime=3.04 cores=1,3,5,7 /proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2727 0 1 0 296 8 0 0 20 0 19 0 336379841 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007603257960 140007428233496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2745] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2746] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2747] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2748] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2749] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2750] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2751] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2752] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2753] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336379843 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2754] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2755] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336379844 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2756] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2757] ppid=2740 vsize=3024420 CPUtime=0.36 cores=1,3,5,7 /proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3150 0 0 0 36 0 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2758] ppid=2740 vsize=3024420 CPUtime=0.32 cores=1,3,5,7 /proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 30 2 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2759] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2760] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.77 Current children cumulated vsize (KiB) 3024420 [startup+6.30074 s] /proc/loadavg: 2.07 2.02 2.00 3/213 2898 /proc/meminfo: memFree=26565000/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=3090984 CPUtime=7.08 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 15056 0 1 0 695 13 0 0 20 0 19 0 336379840 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 772746 120159 2289 9 0 763167 0 [pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=6.21 cores=1,3,5,7 /proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2756 0 1 0 613 8 0 0 20 0 19 0 336379841 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007603256040 140007428308324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2745] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2746] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2747] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2748] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2749] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336379843 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7 /proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3153 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7 /proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.08 Current children cumulated vsize (KiB) 3090984 [startup+12.7008 s] /proc/loadavg: 2.06 2.02 2.00 3/213 2947 /proc/meminfo: memFree=26531712/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=3090984 CPUtime=13.6 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 15276 0 1 0 1342 18 0 0 20 0 19 0 336379840 3165167616 128353 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 772746 128353 2289 9 0 763167 0 [pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=12.56 cores=1,3,5,7 ################ # More data... # ################ [pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=1.21 cores=1,3,5,7 /proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 407 0 0 0 114 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=1.43 cores=1,3,5,7 /proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 408 0 0 0 136 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=1.11 cores=1,3,5,7 /proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 347 0 0 0 103 8 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0.04 cores=1,3,5,7 /proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 74 0 0 0 1 3 0 0 20 0 19 0 336379843 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7 /proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3154 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7 /proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0.66 cores=1,3,5,7 /proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 97 0 0 0 29 37 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=3003] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/3003/stat : 3003 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336407948 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007556282024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1670.48 Current children cumulated vsize (KiB) 3090984 [startup+1722.3 s] /proc/loadavg: 1.99 2.00 1.99 3/213 3096 /proc/meminfo: memFree=25210348/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=3090984 CPUtime=1730.46 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 18593 0 1 0 172930 116 0 0 20 0 19 0 336379840 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 772746 355024 2289 9 0 763167 0 [pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=1719.26 cores=1,3,5,7 /proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2858 0 1 0 171887 39 0 0 20 0 19 0 336379841 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007603256656 140007428308324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2745] ppid=2740 vsize=3090984 CPUtime=1.09 cores=1,3,5,7 /proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 385 0 0 0 102 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2746] ppid=2740 vsize=3090984 CPUtime=1.36 cores=1,3,5,7 /proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 422 0 0 0 128 8 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2747] ppid=2740 vsize=3090984 CPUtime=1.19 cores=1,3,5,7 /proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 395 0 0 0 113 6 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2748] ppid=2740 vsize=3090984 CPUtime=1.24 cores=1,3,5,7 /proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 380 0 0 0 119 5 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2749] ppid=2740 vsize=3090984 CPUtime=1.19 cores=1,3,5,7 /proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 378 0 0 0 113 6 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=1.21 cores=1,3,5,7 /proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 407 0 0 0 114 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=1.43 cores=1,3,5,7 /proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 408 0 0 0 136 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=1.11 cores=1,3,5,7 /proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 347 0 0 0 103 8 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0.05 cores=1,3,5,7 /proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 74 0 0 0 2 3 0 0 20 0 19 0 336379843 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7 /proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3154 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7 /proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0.68 cores=1,3,5,7 /proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 99 0 0 0 30 38 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=3003] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/3003/stat : 3003 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336407948 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007556282024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1730.46 Current children cumulated vsize (KiB) 3090984 [startup+1782.3 s] /proc/loadavg: 1.99 2.00 1.99 3/213 3096 /proc/meminfo: memFree=25191548/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=3090984 CPUtime=1790.72 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 18614 0 1 0 178952 120 0 0 20 0 19 0 336379840 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 772746 359632 2289 9 0 763167 0 [pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=1779.15 cores=1,3,5,7 /proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2859 0 1 0 177875 40 0 0 20 0 19 0 336379841 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007603256544 140007428308324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2745] ppid=2740 vsize=3090984 CPUtime=1.12 cores=1,3,5,7 /proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 385 0 0 0 105 7 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2746] ppid=2740 vsize=3090984 CPUtime=1.39 cores=1,3,5,7 /proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 424 0 0 0 130 9 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2747] ppid=2740 vsize=3090984 CPUtime=1.22 cores=1,3,5,7 /proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 395 0 0 0 116 6 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2748] ppid=2740 vsize=3090984 CPUtime=1.28 cores=1,3,5,7 /proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 380 0 0 0 123 5 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2749] ppid=2740 vsize=3090984 CPUtime=1.27 cores=1,3,5,7 /proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 383 0 0 0 121 6 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=1.29 cores=1,3,5,7 /proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 412 0 0 0 121 8 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=1.47 cores=1,3,5,7 /proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 409 0 0 0 140 7 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=1.14 cores=1,3,5,7 /proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 348 0 0 0 106 8 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0.05 cores=1,3,5,7 /proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 76 0 0 0 2 3 0 0 20 0 19 0 336379843 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7 /proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3154 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7 /proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0.7 cores=1,3,5,7 /proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 103 0 0 0 30 40 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=3003] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/3003/stat : 3003 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336407948 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007556282024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1790.72 Current children cumulated vsize (KiB) 3090984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.6 s] /proc/loadavg: 1.99 2.00 1.99 3/213 3096 /proc/meminfo: memFree=25177092/32873648 swapFree=7112/7112 [pid=2742] ppid=2740 vsize=3090984 CPUtime=1800.03 cores=1,3,5,7 /proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 18614 0 1 0 179883 120 0 0 20 0 19 0 336379840 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2742/statm: 772746 359632 2289 9 0 763167 0 [pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=1788.46 cores=1,3,5,7 /proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2859 0 1 0 178806 40 0 0 20 0 19 0 336379841 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007603256544 140007428308324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2745] ppid=2740 vsize=3090984 CPUtime=1.12 cores=1,3,5,7 /proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 385 0 0 0 105 7 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2746] ppid=2740 vsize=3090984 CPUtime=1.39 cores=1,3,5,7 /proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 424 0 0 0 130 9 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2747] ppid=2740 vsize=3090984 CPUtime=1.22 cores=1,3,5,7 /proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 395 0 0 0 116 6 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2748] ppid=2740 vsize=3090984 CPUtime=1.28 cores=1,3,5,7 /proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 380 0 0 0 123 5 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2749] ppid=2740 vsize=3090984 CPUtime=1.27 cores=1,3,5,7 /proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 383 0 0 0 121 6 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=1.29 cores=1,3,5,7 /proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 412 0 0 0 121 8 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=1.47 cores=1,3,5,7 /proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 409 0 0 0 140 7 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=1.14 cores=1,3,5,7 /proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 348 0 0 0 106 8 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0.05 cores=1,3,5,7 /proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 76 0 0 0 2 3 0 0 20 0 19 0 336379843 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7 /proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3154 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7 /proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0.71 cores=1,3,5,7 /proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 103 0 0 0 31 40 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2742/tid=3003] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/2742/task/3003/stat : 3003 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336407948 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007556282024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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 Real time (s): 1791.63 CPU time (s): 1800.42 CPU user time (s): 1798.87 CPU system time (s): 1.55476 CPU usage (%): 100.491 Max. virtual memory (cumulated for all children) (KiB): 3090984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.87 system time used= 1.55476 maximum resident set size= 1438608 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18636 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1472 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40848 involuntary context switches= 31655 runsolver used 6.78097 second user time and 14.8327 second system time The end
Begin job on node126 at 2012-06-03 07:48:59 IDJOB=3734739 IDBENCH=2899 IDSOLVER=2319 FILE ID=node126/3734739-1338702539 RUNJOBID= node126-1338678624-29857 PBS_JOBID= 14636687 Free space on /tmp= 70788 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_5_40_3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734739-1338702539/watcher-3734739-1338702539 -o /tmp/evaluation-result-3734739-1338702539/solver-3734739-1338702539 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734739-1338702539.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED=789361911 node126.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.456 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 : 5332.91 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.456 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.456 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 : 2666.456 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 : 2666.456 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.92 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.456 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.456 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 : 2666.456 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27039192 kB Buffers: 410788 kB Cached: 3778612 kB SwapCached: 9476 kB Active: 2252284 kB Inactive: 2721232 kB Active(anon): 774064 kB Inactive(anon): 12168 kB Active(file): 1478220 kB Inactive(file): 2709064 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67094928 kB Dirty: 3616 kB Writeback: 0 kB AnonPages: 782156 kB Mapped: 17816 kB Shmem: 0 kB Slab: 722636 kB SReclaimable: 166892 kB SUnreclaim: 555744 kB KernelStack: 1624 kB PageTables: 5376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1825580 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 755712 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= 70784 MiB End job on node126 at 2012-06-03 08:18:53