Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 4 | 1800.21 | 1791.32 |
| 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 | 790.694 |
| 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.06/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.06/0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.06/0.16 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.06/0.17 c no version file found!!! 0.06/0.17 c sun.arch.data.model 32 0.06/0.17 c java.version 1.6.0 0.06/0.17 c os.name Linux 0.06/0.17 c os.version 2.6.9-22.EL.rootsmp 0.06/0.17 c os.arch i386 0.06/0.17 c Free memory 1651659224 0.06/0.17 c Max memory 1654456320 0.06/0.17 c Total memory 1654456320 0.06/0.17 c Number of processors 2 0.16/0.23 --- Begin Solver configuration --- 0.16/0.23 c Stops conflict analysis at the first Unique Implication Point 0.16/0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.16/0.23 c Learn all clauses as in MiniSAT 0.16/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.16/0.23 c VSIDS like heuristics from MiniSAT using a heap 0.16/0.23 c No reason simplification 0.16/0.23 c --- End Solver configuration --- 0.16/0.23 c solving /tmp/evaluation/354800-1176725997/instance-354800-1176725997.opb 0.16/0.23 c reading problem ... 0.28/0.30 c ... done. Wall clock time 0.069s. 0.28/0.30 c CPU time (experimental) 0.23s. 0.28/0.30 c #vars 120 0.28/0.30 c #constraints 10 0.44/0.50 c SATISFIABLE 0.44/0.50 c OPTIMIZING... 0.44/0.50 c Got one! Elapsed wall clock time (in seconds):0.266 0.62/0.50 o 2077 0.62/0.57 c Got one! Elapsed wall clock time (in seconds):0.342 0.62/0.58 o 1868 0.79/0.61 c Got one! Elapsed wall clock time (in seconds):0.375 0.79/0.61 o 1862 0.79/0.63 c Got one! Elapsed wall clock time (in seconds):0.4 0.79/0.63 o 1861 0.79/0.66 c Got one! Elapsed wall clock time (in seconds):0.428 0.79/0.66 o 1859 0.79/0.68 c Got one! Elapsed wall clock time (in seconds):0.452 0.79/0.68 o 1799 0.92/0.70 c Got one! Elapsed wall clock time (in seconds):0.471 0.92/0.70 o 1784 0.92/0.73 c Got one! Elapsed wall clock time (in seconds):0.5 0.92/0.73 o 1686 0.92/0.76 c Got one! Elapsed wall clock time (in seconds):0.529 0.92/0.76 o 1685 0.92/0.78 c Got one! Elapsed wall clock time (in seconds):0.546 0.92/0.78 o 1620 1.04/0.80 c Got one! Elapsed wall clock time (in seconds):0.568 1.04/0.80 o 1493 1.04/0.82 c Got one! Elapsed wall clock time (in seconds):0.588 1.04/0.82 o 1492 1.04/0.83 c Got one! Elapsed wall clock time (in seconds):0.605 1.04/0.83 o 1490 1.04/0.86 c Got one! Elapsed wall clock time (in seconds):0.625 1.04/0.86 o 1489 1.04/0.88 c Got one! Elapsed wall clock time (in seconds):0.652 1.04/0.88 o 1487 1.15/0.90 c Got one! Elapsed wall clock time (in seconds):0.673 1.15/0.90 o 1484 1.15/0.92 c Got one! Elapsed wall clock time (in seconds):0.693 1.15/0.92 o 1461 1.15/0.94 c Got one! Elapsed wall clock time (in seconds):0.713 1.15/0.94 o 1458 1.15/0.97 c Got one! Elapsed wall clock time (in seconds):0.743 1.15/0.97 o 1440 1.15/1.00 c Got one! Elapsed wall clock time (in seconds):0.767 1.15/1.00 o 1435 1.27/1.02 c Got one! Elapsed wall clock time (in seconds):0.795 1.27/1.02 o 1430 1.27/1.05 c Got one! Elapsed wall clock time (in seconds):0.818 1.27/1.05 o 1400 1.27/1.07 c Got one! Elapsed wall clock time (in seconds):0.841 1.27/1.07 o 1387 1.38/1.11 c Got one! Elapsed wall clock time (in seconds):0.88 1.38/1.11 o 1373 1.38/1.13 c Got one! Elapsed wall clock time (in seconds):0.904 1.38/1.13 o 1349 1.38/1.15 c Got one! Elapsed wall clock time (in seconds):0.923 1.38/1.15 o 1340 1.38/1.17 c Got one! Elapsed wall clock time (in seconds):0.943 1.38/1.17 o 1329 1.38/1.20 c Got one! Elapsed wall clock time (in seconds):0.968 1.38/1.20 o 1324 1.51/1.23 c Got one! Elapsed wall clock time (in seconds):1.005 1.51/1.23 o 1323 1.51/1.26 c Got one! Elapsed wall clock time (in seconds):1.029 1.51/1.26 o 1284 1.51/1.30 c Got one! Elapsed wall clock time (in seconds):1.066 1.51/1.30 o 1283 1.61/1.34 c Got one! Elapsed wall clock time (in seconds):1.113 1.61/1.34 o 1282 1.61/1.37 c Got one! Elapsed wall clock time (in seconds):1.145 1.61/1.37 o 1280 1.70/1.40 c Got one! Elapsed wall clock time (in seconds):1.173 1.70/1.40 o 1279 1.70/1.44 c Got one! Elapsed wall clock time (in seconds):1.21 1.70/1.44 o 1278 1.70/1.46 c Got one! Elapsed wall clock time (in seconds):1.23 1.70/1.46 o 1277 1.70/1.48 c Got one! Elapsed wall clock time (in seconds):1.255 1.70/1.49 o 1275 1.88/1.52 c Got one! Elapsed wall clock time (in seconds):1.287 1.88/1.52 o 1142 1.88/1.57 c Got one! Elapsed wall clock time (in seconds):1.339 1.88/1.57 o 979 2.08/1.61 c Got one! Elapsed wall clock time (in seconds):1.383 2.08/1.61 o 835 2.08/1.66 c Got one! Elapsed wall clock time (in seconds):1.427 2.08/1.66 o 829 2.08/1.69 c Got one! Elapsed wall clock time (in seconds):1.463 2.08/1.69 o 828 2.28/1.74 c Got one! Elapsed wall clock time (in seconds):1.506 2.28/1.74 o 827 2.28/1.78 c Got one! Elapsed wall clock time (in seconds):1.546 2.28/1.78 o 821 2.48/1.83 c Got one! Elapsed wall clock time (in seconds):1.604 2.48/1.83 o 811 2.48/1.87 c Got one! Elapsed wall clock time (in seconds):1.641 2.48/1.87 o 807 2.68/1.92 c Got one! Elapsed wall clock time (in seconds):1.687 2.68/1.92 o 805 2.88/2.03 c Got one! Elapsed wall clock time (in seconds):1.805 2.88/2.04 o 804 2.88/2.10 c Got one! Elapsed wall clock time (in seconds):1.865 2.88/2.10 o 800 3.06/2.16 c Got one! Elapsed wall clock time (in seconds):1.932 3.06/2.16 o 799 3.16/2.23 c Got one! Elapsed wall clock time (in seconds):1.997 3.16/2.23 o 798 3.16/2.29 c Got one! Elapsed wall clock time (in seconds):2.056 3.16/2.29 o 558 3.25/2.34 c Got one! Elapsed wall clock time (in seconds):2.111 3.25/2.34 o 557 3.35/2.41 c Got one! Elapsed wall clock time (in seconds):2.177 3.35/2.41 o 555 3.35/2.47 c Got one! Elapsed wall clock time (in seconds):2.237 3.35/2.47 o 554 3.46/2.55 c Got one! Elapsed wall clock time (in seconds):2.321 3.46/2.55 o 552 3.59/2.64 c Got one! Elapsed wall clock time (in seconds):2.413 3.59/2.64 o 548 3.70/2.70 c Got one! Elapsed wall clock time (in seconds):2.47 3.70/2.70 o 529 3.70/2.77 c Got one! Elapsed wall clock time (in seconds):2.536 3.70/2.77 o 528 3.82/2.82 c Got one! Elapsed wall clock time (in seconds):2.592 3.82/2.82 o 526 3.82/2.88 c Got one! Elapsed wall clock time (in seconds):2.654 3.82/2.88 o 523 3.95/2.96 c Got one! Elapsed wall clock time (in seconds):2.728 3.95/2.96 o 521 4.13/3.03 c Got one! Elapsed wall clock time (in seconds):2.797 4.13/3.03 o 519 4.13/3.09 c Got one! Elapsed wall clock time (in seconds):2.859 4.13/3.09 o 517 4.24/3.12 c Got one! Elapsed wall clock time (in seconds):2.895 4.24/3.12 o 515 4.24/3.19 c Got one! Elapsed wall clock time (in seconds):2.965 4.24/3.19 o 513 4.34/3.26 c Got one! Elapsed wall clock time (in seconds):3.026 4.34/3.26 o 511 4.44/3.33 c Got one! Elapsed wall clock time (in seconds):3.095 4.44/3.33 o 507 4.44/3.39 c Got one! Elapsed wall clock time (in seconds):3.163 4.44/3.39 o 505 4.54/3.45 c Got one! Elapsed wall clock time (in seconds):3.221 4.54/3.45 o 503 4.64/3.51 c Got one! Elapsed wall clock time (in seconds):3.279 4.64/3.51 o 500 4.64/3.58 c Got one! Elapsed wall clock time (in seconds):3.351 4.64/3.58 o 499 4.74/3.66 c Got one! Elapsed wall clock time (in seconds):3.429 4.74/3.66 o 497 4.84/3.74 c Got one! Elapsed wall clock time (in seconds):3.513 4.84/3.74 o 496 4.95/3.86 c Got one! Elapsed wall clock time (in seconds):3.627 4.95/3.86 o 495 5.05/3.94 c Got one! Elapsed wall clock time (in seconds):3.713 5.05/3.94 o 491 5.17/4.02 c Got one! Elapsed wall clock time (in seconds):3.786 5.17/4.02 o 490 5.27/4.10 c Got one! Elapsed wall clock time (in seconds):3.872 5.27/4.10 o 488 5.27/4.20 c Got one! Elapsed wall clock time (in seconds):3.965 5.27/4.20 o 487 5.37/4.27 c Got one! Elapsed wall clock time (in seconds):4.044 5.37/4.27 o 468 5.47/4.36 c Got one! Elapsed wall clock time (in seconds):4.133 5.47/4.36 o 467 5.59/4.42 c Got one! Elapsed wall clock time (in seconds):4.193 5.59/4.42 o 463 5.69/4.57 c Got one! Elapsed wall clock time (in seconds):4.342 5.69/4.57 o 461 5.80/4.63 c Got one! Elapsed wall clock time (in seconds):4.396 5.80/4.63 o 458 5.80/4.68 c Got one! Elapsed wall clock time (in seconds):4.448 5.80/4.68 o 456 5.93/4.75 c Got one! Elapsed wall clock time (in seconds):4.522 5.93/4.75 o 293 6.04/4.80 c Got one! Elapsed wall clock time (in seconds):4.575 6.04/4.80 o 286 6.24/5.01 c Got one! Elapsed wall clock time (in seconds):4.781 6.24/5.01 o 284 6.24/5.05 c Got one! Elapsed wall clock time (in seconds):4.823 6.24/5.05 o 282 6.44/5.29 c Got one! Elapsed wall clock time (in seconds):5.055 6.44/5.29 o 278 6.64/5.44 c Got one! Elapsed wall clock time (in seconds):5.208 6.64/5.44 o 277 6.93/5.79 c Got one! Elapsed wall clock time (in seconds):5.561 6.93/5.79 o 275 7.03/5.88 c Got one! Elapsed wall clock time (in seconds):5.647 7.03/5.88 o 274 7.65/6.47 c Got one! Elapsed wall clock time (in seconds):6.242 7.65/6.47 o 272 7.86/6.67 c Got one! Elapsed wall clock time (in seconds):6.444 7.86/6.67 o 271 8.05/6.82 c Got one! Elapsed wall clock time (in seconds):6.59 8.05/6.82 o 269 8.15/6.93 c Got one! Elapsed wall clock time (in seconds):6.696 8.15/6.93 o 268 8.25/7.03 c Got one! Elapsed wall clock time (in seconds):6.802 8.25/7.03 o 262 8.35/7.18 c Got one! Elapsed wall clock time (in seconds):6.953 8.35/7.18 o 260 8.97/7.77 c Got one! Elapsed wall clock time (in seconds):7.541 8.97/7.77 o 259 9.17/7.94 c Got one! Elapsed wall clock time (in seconds):7.714 9.17/7.94 o 258 9.37/8.14 c Got one! Elapsed wall clock time (in seconds):7.913 9.37/8.14 o 257 9.47/8.26 c Got one! Elapsed wall clock time (in seconds):8.03 9.47/8.26 o 252 9.67/8.42 c Got one! Elapsed wall clock time (in seconds):8.188 9.67/8.42 o 251 9.77/8.53 c Got one! Elapsed wall clock time (in seconds):8.3 9.77/8.53 o 250 9.87/8.67 c Got one! Elapsed wall clock time (in seconds):8.438 9.87/8.67 o 249 10.57/9.37 c Got one! Elapsed wall clock time (in seconds):9.143 10.57/9.37 o 248 10.70/9.50 c Got one! Elapsed wall clock time (in seconds):9.266 10.70/9.50 o 247 10.80/9.56 c Got one! Elapsed wall clock time (in seconds):9.329 10.80/9.56 o 246 11.00/9.70 c Got one! Elapsed wall clock time (in seconds):9.47 11.00/9.70 o 244 11.10/9.81 c Got one! Elapsed wall clock time (in seconds):9.579 11.10/9.81 o 242 11.30/10.10 c Got one! Elapsed wall clock time (in seconds):9.865 11.30/10.10 o 241 11.49/10.24 c Got one! Elapsed wall clock time (in seconds):10.009 11.49/10.24 o 228 11.59/10.38 c Got one! Elapsed wall clock time (in seconds):10.153 11.59/10.38 o 227 11.79/10.55 c Got one! Elapsed wall clock time (in seconds):10.325 11.79/10.55 o 223 11.89/10.69 c Got one! Elapsed wall clock time (in seconds):10.462 11.89/10.69 o 222 11.99/10.76 c Got one! Elapsed wall clock time (in seconds):10.53 11.99/10.76 o 221 12.20/10.93 c Got one! Elapsed wall clock time (in seconds):10.695 12.20/10.93 o 219 12.41/11.10 c Got one! Elapsed wall clock time (in seconds):10.869 12.41/11.10 o 218 12.56/11.28 c Got one! Elapsed wall clock time (in seconds):11.05 12.56/11.28 o 216 12.76/11.48 c Got one! Elapsed wall clock time (in seconds):11.253 12.76/11.48 o 214 13.08/11.80 c Got one! Elapsed wall clock time (in seconds):11.566 13.08/11.80 o 212 13.29/11.94 c Got one! Elapsed wall clock time (in seconds):11.709 13.29/11.94 o 210 13.57/12.19 c Got one! Elapsed wall clock time (in seconds):11.958 13.57/12.19 o 205 13.78/12.38 c Got one! Elapsed wall clock time (in seconds):12.155 13.78/12.38 o 203 14.18/12.72 c Got one! Elapsed wall clock time (in seconds):12.492 14.18/12.72 o 201 14.38/12.94 c Got one! Elapsed wall clock time (in seconds):12.709 14.38/12.94 o 199 14.58/13.10 c Got one! Elapsed wall clock time (in seconds):12.874 14.58/13.10 o 197 14.68/13.25 c Got one! Elapsed wall clock time (in seconds):13.021 14.68/13.25 o 196 14.78/13.38 c Got one! Elapsed wall clock time (in seconds):13.148 14.78/13.38 o 195 14.98/13.58 c Got one! Elapsed wall clock time (in seconds):13.349 14.98/13.58 o 193 15.18/13.73 c Got one! Elapsed wall clock time (in seconds):13.495 15.18/13.73 o 189 15.28/13.87 c Got one! Elapsed wall clock time (in seconds):13.64 15.28/13.87 o 187 15.48/14.03 c Got one! Elapsed wall clock time (in seconds):13.803 15.48/14.03 o 186 16.62/15.17 c Got one! Elapsed wall clock time (in seconds):14.943 16.62/15.17 o 184 16.92/15.48 c Got one! Elapsed wall clock time (in seconds):15.254 16.92/15.48 o 182 17.12/15.68 c Got one! Elapsed wall clock time (in seconds):15.445 17.12/15.68 o 181 18.75/17.21 c Got one! Elapsed wall clock time (in seconds):16.977 18.75/17.21 o 180 18.95/17.48 c Got one! Elapsed wall clock time (in seconds):17.251 18.95/17.48 o 178 19.25/17.74 c Got one! Elapsed wall clock time (in seconds):17.507 19.25/17.74 o 177 19.35/17.89 c Got one! Elapsed wall clock time (in seconds):17.66 19.35/17.89 o 176 19.55/18.06 c Got one! Elapsed wall clock time (in seconds):17.833 19.55/18.06 o 174 19.75/18.22 c Got one! Elapsed wall clock time (in seconds):17.988 19.75/18.22 o 173 19.95/18.49 c Got one! Elapsed wall clock time (in seconds):18.255 19.95/18.49 o 170 20.37/18.86 c Got one! Elapsed wall clock time (in seconds):18.626 20.37/18.86 o 168 20.47/18.96 c Got one! Elapsed wall clock time (in seconds):18.732 20.47/18.96 o 167 20.77/19.21 c Got one! Elapsed wall clock time (in seconds):18.981 20.77/19.21 o 160 21.27/19.71 c Got one! Elapsed wall clock time (in seconds):19.476 21.27/19.71 o 159 21.37/19.84 c Got one! Elapsed wall clock time (in seconds):19.613 21.37/19.84 o 157 21.47/19.97 c Got one! Elapsed wall clock time (in seconds):19.74 21.47/19.97 o 155 21.67/20.17 c Got one! Elapsed wall clock time (in seconds):19.941 21.67/20.17 o 153 22.18/20.66 c Got one! Elapsed wall clock time (in seconds):20.433 22.18/20.66 o 151 22.39/20.87 c Got one! Elapsed wall clock time (in seconds):20.641 22.39/20.87 o 149 22.88/21.36 c Got one! Elapsed wall clock time (in seconds):21.127 22.88/21.36 o 148 23.08/21.51 c Got one! Elapsed wall clock time (in seconds):21.277 23.08/21.51 o 146 23.28/21.71 c Got one! Elapsed wall clock time (in seconds):21.475 23.28/21.71 o 145 23.38/21.81 c Got one! Elapsed wall clock time (in seconds):21.58 23.38/21.81 o 144 23.58/22.04 c Got one! Elapsed wall clock time (in seconds):21.814 23.58/22.04 o 142 23.68/22.19 c Got one! Elapsed wall clock time (in seconds):21.959 23.68/22.19 o 141 24.08/22.51 c Got one! Elapsed wall clock time (in seconds):22.281 24.08/22.51 o 136 27.82/26.23 c Got one! Elapsed wall clock time (in seconds):25.999 27.82/26.23 o 134 28.02/26.46 c Got one! Elapsed wall clock time (in seconds):26.233 28.02/26.46 o 133 28.31/26.75 c Got one! Elapsed wall clock time (in seconds):26.516 28.31/26.75 o 131 28.61/27.05 c Got one! Elapsed wall clock time (in seconds):26.82 28.61/27.05 o 130 28.71/27.18 c Got one! Elapsed wall clock time (in seconds):26.945 28.71/27.18 o 128 29.02/27.41 c Got one! Elapsed wall clock time (in seconds):27.175 29.02/27.41 o 126 29.12/27.60 c Got one! Elapsed wall clock time (in seconds):27.366 29.12/27.60 o 124 29.51/27.90 c Got one! Elapsed wall clock time (in seconds):27.674 29.51/27.90 o 123 29.71/28.19 c Got one! Elapsed wall clock time (in seconds):27.958 29.71/28.19 o 121 30.33/28.79 c Got one! Elapsed wall clock time (in seconds):28.555 30.33/28.79 o 120 31.43/29.80 c Got one! Elapsed wall clock time (in seconds):29.574 31.43/29.80 o 118 31.73/30.11 c Got one! Elapsed wall clock time (in seconds):29.876 31.73/30.11 o 116 32.63/31.01 c Got one! Elapsed wall clock time (in seconds):30.784 32.63/31.01 o 114 32.83/31.22 c Got one! Elapsed wall clock time (in seconds):30.989 32.83/31.22 o 112 33.13/31.51 c Got one! Elapsed wall clock time (in seconds):31.277 33.13/31.51 o 110 33.33/31.76 c Got one! Elapsed wall clock time (in seconds):31.526 33.33/31.76 o 108 33.54/31.95 c Got one! Elapsed wall clock time (in seconds):31.724 33.54/31.95 o 106 33.94/32.37 c Got one! Elapsed wall clock time (in seconds):32.138 33.94/32.37 o 104 34.34/32.70 c Got one! Elapsed wall clock time (in seconds):32.475 34.34/32.70 o 103 35.34/33.77 c Got one! Elapsed wall clock time (in seconds):33.544 35.34/33.77 o 101 35.74/34.12 c Got one! Elapsed wall clock time (in seconds):33.894 35.74/34.12 o 100 36.14/34.50 c Got one! Elapsed wall clock time (in seconds):34.27 36.14/34.50 o 99 37.15/35.57 c Got one! Elapsed wall clock time (in seconds):35.344 37.15/35.57 o 98 38.25/36.69 c Got one! Elapsed wall clock time (in seconds):36.459 38.25/36.69 o 96 38.65/37.04 c Got one! Elapsed wall clock time (in seconds):36.806 38.65/37.04 o 94 38.95/37.40 c Got one! Elapsed wall clock time (in seconds):37.17 38.95/37.40 o 93 39.35/37.73 c Got one! Elapsed wall clock time (in seconds):37.497 39.35/37.73 o 91 39.45/37.88 c Got one! Elapsed wall clock time (in seconds):37.654 39.45/37.88 o 89 40.35/38.70 c Got one! Elapsed wall clock time (in seconds):38.468 40.35/38.70 o 87 40.75/39.13 c Got one! Elapsed wall clock time (in seconds):38.896 40.75/39.13 o 86 41.35/39.70 c Got one! Elapsed wall clock time (in seconds):39.474 41.35/39.70 o 84 42.36/40.78 c Got one! Elapsed wall clock time (in seconds):40.55 42.36/40.78 o 82 44.57/42.99 c Got one! Elapsed wall clock time (in seconds):42.756 44.57/42.99 o 81 44.97/43.35 c Got one! Elapsed wall clock time (in seconds):43.119 44.97/43.35 o 80 45.37/43.72 c Got one! Elapsed wall clock time (in seconds):43.488 45.37/43.72 o 76 45.87/44.26 c Got one! Elapsed wall clock time (in seconds):44.027 45.87/44.26 o 75 47.27/45.61 c Got one! Elapsed wall clock time (in seconds):45.375 47.27/45.61 o 73 47.97/46.36 c Got one! Elapsed wall clock time (in seconds):46.13 47.97/46.36 o 72 48.98/47.34 c Got one! Elapsed wall clock time (in seconds):47.112 48.98/47.34 o 71 50.68/49.00 c Got one! Elapsed wall clock time (in seconds):48.769 50.68/49.00 o 69 52.98/51.33 c Got one! Elapsed wall clock time (in seconds):51.095 52.98/51.33 o 68 53.80/52.12 c Got one! Elapsed wall clock time (in seconds):51.892 53.80/52.12 o 66 54.20/52.51 c Got one! Elapsed wall clock time (in seconds):52.276 54.20/52.51 o 65 55.70/54.00 c Got one! Elapsed wall clock time (in seconds):53.775 55.70/54.00 o 63 56.30/54.70 c Got one! Elapsed wall clock time (in seconds):54.465 56.30/54.70 o 57 59.91/58.28 c Got one! Elapsed wall clock time (in seconds):58.046 59.91/58.28 o 56 60.51/58.89 c Got one! Elapsed wall clock time (in seconds):58.657 60.51/58.89 o 54 61.21/59.56 c Got one! Elapsed wall clock time (in seconds):59.33 61.21/59.56 o 52 62.21/60.51 c Got one! Elapsed wall clock time (in seconds):60.278 62.21/60.51 o 51 63.41/61.72 c Got one! Elapsed wall clock time (in seconds):61.486 63.41/61.72 o 49 64.22/62.55 c Got one! Elapsed wall clock time (in seconds):62.32 64.22/62.55 o 47 66.02/64.30 c Got one! Elapsed wall clock time (in seconds):64.074 66.02/64.30 o 46 68.03/66.30 c Got one! Elapsed wall clock time (in seconds):66.073 68.03/66.30 o 44 71.83/70.13 c Got one! Elapsed wall clock time (in seconds):69.899 71.83/70.13 o 42 72.53/70.86 c Got one! Elapsed wall clock time (in seconds):70.629 72.53/70.86 o 40 73.33/71.65 c Got one! Elapsed wall clock time (in seconds):71.415 73.33/71.65 o 38 75.64/73.94 c Got one! Elapsed wall clock time (in seconds):73.712 75.64/73.94 o 37 76.84/75.16 c Got one! Elapsed wall clock time (in seconds):74.929 76.84/75.16 o 36 79.56/77.81 c Got one! Elapsed wall clock time (in seconds):77.584 79.56/77.81 o 35 83.87/82.13 c Got one! Elapsed wall clock time (in seconds):81.902 83.87/82.13 o 34 92.18/90.47 c Got one! Elapsed wall clock time (in seconds):90.244 92.18/90.47 o 32 94.60/92.83 c Got one! Elapsed wall clock time (in seconds):92.596 94.60/92.83 o 30 97.90/96.19 c Got one! Elapsed wall clock time (in seconds):95.96 97.90/96.19 o 28 99.20/97.44 c Got one! Elapsed wall clock time (in seconds):97.207 99.20/97.44 o 27 101.81/100.03 c Got one! Elapsed wall clock time (in seconds):99.805 101.81/100.04 o 26 105.71/103.99 c Got one! Elapsed wall clock time (in seconds):103.758 105.71/103.99 o 25 106.82/105.04 c Got one! Elapsed wall clock time (in seconds):104.807 106.82/105.04 o 21 110.42/108.61 c Got one! Elapsed wall clock time (in seconds):108.385 110.42/108.61 o 20 116.73/114.92 c Got one! Elapsed wall clock time (in seconds):114.689 116.73/114.92 o 18 118.83/117.09 c Got one! Elapsed wall clock time (in seconds):116.859 118.83/117.09 o 16 122.64/120.83 c Got one! Elapsed wall clock time (in seconds):120.599 122.64/120.83 o 14 129.14/127.39 c Got one! Elapsed wall clock time (in seconds):127.164 129.14/127.39 o 13 162.33/160.45 c Got one! Elapsed wall clock time (in seconds):160.217 162.33/160.45 o 11 178.28/176.32 c Got one! Elapsed wall clock time (in seconds):176.087 178.28/176.32 o 10 195.62/193.62 c Got one! Elapsed wall clock time (in seconds):193.386 195.62/193.62 o 9 261.70/259.50 c Got one! Elapsed wall clock time (in seconds):259.273 261.70/259.50 o 7 282.63/280.40 c Got one! Elapsed wall clock time (in seconds):280.168 282.63/280.40 o 5 1070.13/1065.36 c Got one! Elapsed wall clock time (in seconds):1065.129 1070.13/1065.36 o 4 1800.09/1791.21 c starts : 904 1800.09/1791.21 c conflicts : 1239773 1800.09/1791.21 c decisions : 1303322 1800.09/1791.21 c propagations : 10026674 1800.09/1791.21 c inspects : 5155907969 1800.09/1791.21 c learnt literals : 0 1800.09/1791.21 c learnt binary clauses : 0 1800.09/1791.21 c learnt ternary clauses : 0 1800.09/1791.21 c learnt clauses : 1239773 1800.09/1791.21 c root simplifications : 0 1800.09/1791.21 c removed literals (reason simplification) : 0 1800.09/1791.21 c reason swapping (by a shorter reason) : 0 1800.09/1791.21 c Calls to reduceDB : 0 1800.09/1791.21 c speed (decisions/second) : 1795.5778803087685 1800.09/1791.21 c non guided choices 3981 1800.09/1791.21 s SATISFIABLE 1800.09/1791.21 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 1800.09/1791.21 v -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 1800.09/1791.21 v -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 1800.09/1791.21 v 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 1800.09/1791.21 v x108 x109 x110 -x111 x112 x113 -x114 -x115 x116 x117 -x118 -x119 -x120 1800.09/1791.21 c objective function=4 1800.09/1791.21 c Total wall clock time (ms): 1790.982
OK 4
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-354800-1176725997 -o ROOT/results/node62/solver-354800-1176725997 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354800-1176725997/sat4jPseudoResolution.jar /tmp/evaluation/354800-1176725997/instance-354800-1176725997.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.18 1.44 1.33 3/64 8005 /proc/meminfo: memFree=1685392/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=152 CPUtime=0 /proc/8005/stat : 8005 (java) D 8003 8005 7278 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 104765234 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8106788 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/8005/statm: 38 26 19 9 0 4 0 [startup+0.0337941 s] /proc/loadavg: 1.18 1.44 1.33 3/64 8005 /proc/meminfo: memFree=1685392/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=12496 CPUtime=0 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 778 0 0 0 0 0 0 0 18 0 2 0 104765234 12795904 561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 3124 561 250 9 0 1241 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12496 [startup+0.101815 s] /proc/loadavg: 1.18 1.44 1.33 3/64 8005 /proc/meminfo: memFree=1685392/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1777844 CPUtime=0.06 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 3790 0 1 0 4 2 0 0 18 0 7 0 104765234 1820512256 3533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 444461 3533 1086 9 0 442097 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777844 [startup+0.301851 s] /proc/loadavg: 1.18 1.44 1.33 3/64 8005 /proc/meminfo: memFree=1685392/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1782328 CPUtime=0.28 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 5049 0 1 0 24 4 0 0 18 0 12 0 104765234 1825103872 4788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 445582 4788 1263 9 0 443194 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1782328 [startup+0.701933 s] /proc/loadavg: 1.18 1.44 1.33 3/64 8005 /proc/meminfo: memFree=1685392/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1786328 CPUtime=0.92 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 8365 0 1 0 87 5 0 0 18 0 13 0 104765234 1829199872 7394 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 446582 7395 1308 9 0 444194 0 Current children cumulated CPU time (s) 0.92 Current children cumulated vsize (KiB) 1786328 [startup+1.50209 s] /proc/loadavg: 1.18 1.44 1.33 4/77 8037 /proc/meminfo: memFree=1645480/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1786652 CPUtime=1.88 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 19993 0 1 0 179 9 0 0 18 0 13 0 104765234 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 446663 19021 1310 9 0 444275 0 [pid=8005/tid=8007] ppid=8003 vsize=1786652 CPUtime=1.23 /proc/8005/task/8007/stat : 8007 (java) R 8003 8005 7278 0 -1 64 17144 0 1 0 115 8 0 0 24 0 13 0 104765235 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109515412 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8008] ppid=8003 vsize=1786652 CPUtime=0 /proc/8005/task/8008/stat : 8008 (java) S 8003 8005 7278 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 104765239 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8009] ppid=8003 vsize=1786652 CPUtime=0 /proc/8005/task/8009/stat : 8009 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104765239 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8010] ppid=8003 vsize=1786652 CPUtime=0 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 104765241 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1786652 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 104765242 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1786652 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 104765242 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1786652 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8014] ppid=8003 vsize=1786652 CPUtime=0.38 /proc/8005/task/8014/stat : 8014 (java) R 8003 8005 7278 0 -1 64 1328 0 0 0 38 0 0 0 17 0 13 0 104765246 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104922443 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8015] ppid=8003 vsize=1786652 CPUtime=0.25 /proc/8005/task/8015/stat : 8015 (java) S 8003 8005 7278 0 -1 64 791 0 0 0 25 0 0 0 16 0 13 0 104765246 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8016] ppid=8003 vsize=1786652 CPUtime=0 /proc/8005/task/8016/stat : 8016 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 104765246 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8017] ppid=8003 vsize=1786652 CPUtime=0 /proc/8005/task/8017/stat : 8017 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104765246 1829531648 19021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 1786652 [startup+3.10141 s] /proc/loadavg: 1.18 1.44 1.33 2/76 8066 /proc/meminfo: memFree=1563808/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1794920 CPUtime=4.24 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 46119 0 1 0 402 22 0 0 18 0 13 0 104765234 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 448730 42560 1322 9 0 446342 0 [pid=8005/tid=8007] ppid=8003 vsize=1794920 CPUtime=2.67 /proc/8005/task/8007/stat : 8007 (java) R 8003 8005 7278 0 -1 64 37713 0 1 0 250 17 0 0 24 0 13 0 104765235 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522448 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8008] ppid=8003 vsize=1794920 CPUtime=0 /proc/8005/task/8008/stat : 8008 (java) S 8003 8005 7278 0 -1 64 416 0 0 0 0 0 0 0 16 0 13 0 104765239 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8009] ppid=8003 vsize=1794920 CPUtime=0 /proc/8005/task/8009/stat : 8009 (java) S 8003 8005 7278 0 -1 64 529 0 0 0 0 0 0 0 17 0 13 0 104765239 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8010] ppid=8003 vsize=1794920 CPUtime=0 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 104765241 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1794920 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104765242 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1794920 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 104765242 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1794920 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8014] ppid=8003 vsize=1794920 CPUtime=1.04 /proc/8005/task/8014/stat : 8014 (java) S 8003 8005 7278 0 -1 64 5268 0 0 0 102 2 0 0 16 0 13 0 104765246 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8015] ppid=8003 vsize=1794920 CPUtime=0.46 /proc/8005/task/8015/stat : 8015 (java) S 8003 8005 7278 0 -1 64 1443 0 0 0 46 0 0 0 16 0 13 0 104765246 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8016] ppid=8003 vsize=1794920 CPUtime=0 /proc/8005/task/8016/stat : 8016 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 104765246 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8017] ppid=8003 vsize=1794920 CPUtime=0 /proc/8005/task/8017/stat : 8017 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104765246 1837998080 42560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.24 Current children cumulated vsize (KiB) 1794920 [startup+6.30303 s] /proc/loadavg: 1.33 1.47 1.34 2/77 8108 /proc/meminfo: memFree=1513088/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1794788 CPUtime=7.55 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 48442 0 1 0 731 24 0 0 18 0 13 0 104765234 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 448697 44780 1330 9 0 446309 0 [pid=8005/tid=8007] ppid=8003 vsize=1794788 CPUtime=5.79 /proc/8005/task/8007/stat : 8007 (java) R 8003 8005 7278 0 -1 64 37731 0 1 0 562 17 0 0 19 0 13 0 104765235 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109484005 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8008] ppid=8003 vsize=1794788 CPUtime=0.03 /proc/8005/task/8008/stat : 8008 (java) S 8003 8005 7278 0 -1 64 1500 0 0 0 3 0 0 0 16 0 13 0 104765239 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8009] ppid=8003 vsize=1794788 CPUtime=0.03 /proc/8005/task/8009/stat : 8009 (java) S 8003 8005 7278 0 -1 64 1697 0 0 0 3 0 0 0 16 0 13 0 104765239 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8010] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 104765241 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8014] ppid=8003 vsize=1794788 CPUtime=1.11 /proc/8005/task/8014/stat : 8014 (java) S 8003 8005 7278 0 -1 64 5278 0 0 0 109 2 0 0 16 0 13 0 104765246 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8015] ppid=8003 vsize=1794788 CPUtime=0.51 /proc/8005/task/8015/stat : 8015 (java) S 8003 8005 7278 0 -1 64 1446 0 0 0 51 0 0 0 16 0 13 0 104765246 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8016] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8016/stat : 8016 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 104765246 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8017] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8017/stat : 8017 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104765246 1837862912 44780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.55 Current children cumulated vsize (KiB) 1794788 [startup+12.7023 s] /proc/loadavg: 1.30 1.46 1.34 3/77 8141 /proc/meminfo: memFree=1502120/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1794788 CPUtime=14.18 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 52607 0 1 0 1392 26 0 0 18 0 13 0 104765234 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 448697 46732 1331 9 0 446309 0 [pid=8005/tid=8007] ppid=8003 vsize=1794788 CPUtime=12.05 /proc/8005/task/8007/stat : 8007 (java) R 8003 8005 7278 0 -1 64 37766 0 1 0 1187 18 0 0 25 0 13 0 104765235 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109496639 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8008] ppid=8003 vsize=1794788 CPUtime=0.11 /proc/8005/task/8008/stat : 8008 (java) S 8003 8005 7278 0 -1 64 3493 0 0 0 10 1 0 0 16 0 13 0 104765239 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8009] ppid=8003 vsize=1794788 CPUtime=0.11 /proc/8005/task/8009/stat : 8009 (java) S 8003 8005 7278 0 -1 64 3746 0 0 0 10 1 0 0 16 0 13 0 104765239 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8010] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 53 0 0 0 0 0 0 0 15 0 13 0 104765241 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8014] ppid=8003 vsize=1794788 CPUtime=1.24 /proc/8005/task/8014/stat : 8014 (java) S 8003 8005 7278 0 -1 64 5287 0 0 0 122 2 0 0 16 0 13 0 104765246 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8015] ppid=8003 vsize=1794788 CPUtime=0.59 /proc/8005/task/8015/stat : 8015 (java) S 8003 8005 7278 0 -1 64 1450 0 0 0 59 0 0 0 16 0 13 0 104765246 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8016] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8016/stat : 8016 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 104765246 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8017] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8017/stat : 8017 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104765246 1837862912 46732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.18 Current children cumulated vsize (KiB) 1794788 [startup+25.5028 s] /proc/loadavg: 1.23 1.43 1.33 2/77 8178 /proc/meminfo: memFree=1475416/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1794788 CPUtime=27.11 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 59796 0 1 0 2681 30 0 0 18 0 13 0 104765234 1837862912 53347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 448697 53347 1331 9 0 446309 0 [pid=8005/tid=8007] ppid=8003 vsize=1794788 CPUtime=24.72 /proc/8005/task/8007/stat : 8007 (java) R 8003 8005 7278 0 -1 64 38312 0 1 0 2453 19 0 0 25 0 13 0 104765235 1837862912 53347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109480997 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8008] ppid=8003 vsize=1794788 CPUtime=0.23 /proc/8005/task/8008/stat : 8008 (java) S 8003 8005 7278 0 -1 64 6531 0 0 0 21 2 0 0 16 0 13 0 104765239 1837862912 53347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8009] ppid=8003 vsize=1794788 CPUtime=0.23 /proc/8005/task/8009/stat : 8009 (java) S 8003 8005 7278 0 -1 64 7343 0 0 0 20 3 0 0 16 0 13 0 104765239 1837862912 53347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8010] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 56 0 0 0 0 0 0 0 15 0 13 0 104765241 1837862912 53347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 53347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 53347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1837862912 53347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=8005/tid=8010] ppid=8003 vsize=1794788 CPUtime=0.08 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 62 0 0 0 3 5 0 0 16 0 13 0 104765241 1837862912 86275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 86275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 86275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1837862912 86275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8014] ppid=8003 vsize=1794788 CPUtime=1.26 /proc/8005/task/8014/stat : 8014 (java) S 8003 8005 7278 0 -1 64 5290 0 0 0 124 2 0 0 17 0 13 0 104765246 1837862912 86275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8015] ppid=8003 vsize=1794788 CPUtime=0.61 /proc/8005/task/8015/stat : 8015 (java) S 8003 8005 7278 0 -1 64 1450 0 0 0 61 0 0 0 16 0 13 0 104765246 1837862912 86275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8016] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8016/stat : 8016 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 104765246 1837862912 86275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8017] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8017/stat : 8017 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104765246 1837862912 86275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8258] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8258/stat : 8258 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 104871770 1837862912 86275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1610.06 Current children cumulated vsize (KiB) 1794788 [startup+1662.3 s] /proc/loadavg: 1.06 1.07 1.10 2/77 8258 /proc/meminfo: memFree=1324640/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1794788 CPUtime=1670.43 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 137231 0 1 0 166968 75 0 0 18 0 13 0 104765234 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 448697 90637 1331 9 0 446309 0 [pid=8005/tid=8007] ppid=8003 vsize=1794788 CPUtime=1653.48 /proc/8005/task/8007/stat : 8007 (java) R 8003 8005 7278 0 -1 64 39286 0 1 0 165325 23 0 0 25 0 13 0 104765235 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109543752 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8008] ppid=8003 vsize=1794788 CPUtime=7.46 /proc/8005/task/8008/stat : 8008 (java) S 8003 8005 7278 0 -1 64 45703 0 0 0 726 20 0 0 17 0 13 0 104765239 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8009] ppid=8003 vsize=1794788 CPUtime=7.45 /proc/8005/task/8009/stat : 8009 (java) S 8003 8005 7278 0 -1 64 44623 0 0 0 724 21 0 0 16 0 13 0 104765239 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8010] ppid=8003 vsize=1794788 CPUtime=0.08 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 62 0 0 0 3 5 0 0 16 0 13 0 104765241 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8014] ppid=8003 vsize=1794788 CPUtime=1.26 /proc/8005/task/8014/stat : 8014 (java) S 8003 8005 7278 0 -1 64 5290 0 0 0 124 2 0 0 17 0 13 0 104765246 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8015] ppid=8003 vsize=1794788 CPUtime=0.61 /proc/8005/task/8015/stat : 8015 (java) S 8003 8005 7278 0 -1 64 1450 0 0 0 61 0 0 0 16 0 13 0 104765246 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8016] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8016/stat : 8016 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 104765246 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8017] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8017/stat : 8017 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104765246 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8258] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8258/stat : 8258 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 104871770 1837862912 90637 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1670.43 Current children cumulated vsize (KiB) 1794788 [startup+1722.3 s] /proc/loadavg: 1.20 1.10 1.11 2/77 8258 /proc/meminfo: memFree=1307104/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1794788 CPUtime=1730.89 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 142235 0 1 0 173011 78 0 0 18 0 13 0 104765234 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 448697 95423 1331 9 0 446309 0 [pid=8005/tid=8007] ppid=8003 vsize=1794788 CPUtime=1712.97 /proc/8005/task/8007/stat : 8007 (java) R 8003 8005 7278 0 -1 64 40480 0 1 0 171273 24 0 0 25 0 13 0 104765235 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109481361 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8008] ppid=8003 vsize=1794788 CPUtime=7.94 /proc/8005/task/8008/stat : 8008 (java) S 8003 8005 7278 0 -1 64 47222 0 0 0 774 20 0 0 16 0 13 0 104765239 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8009] ppid=8003 vsize=1794788 CPUtime=7.93 /proc/8005/task/8009/stat : 8009 (java) S 8003 8005 7278 0 -1 64 46908 0 0 0 771 22 0 0 17 0 13 0 104765239 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8010] ppid=8003 vsize=1794788 CPUtime=0.08 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 68 0 0 0 3 5 0 0 16 0 13 0 104765241 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8014] ppid=8003 vsize=1794788 CPUtime=1.26 /proc/8005/task/8014/stat : 8014 (java) S 8003 8005 7278 0 -1 64 5290 0 0 0 124 2 0 0 17 0 13 0 104765246 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8015] ppid=8003 vsize=1794788 CPUtime=0.61 /proc/8005/task/8015/stat : 8015 (java) S 8003 8005 7278 0 -1 64 1450 0 0 0 61 0 0 0 16 0 13 0 104765246 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8016] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8016/stat : 8016 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 104765246 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8017] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8017/stat : 8017 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104765246 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8258] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8258/stat : 8258 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 104871770 1837862912 95423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1730.89 Current children cumulated vsize (KiB) 1794788 [startup+1782.3 s] /proc/loadavg: 1.16 1.11 1.11 2/77 8258 /proc/meminfo: memFree=1287136/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1794788 CPUtime=1791.19 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 146908 0 1 0 179038 81 0 0 18 0 13 0 104765234 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 448697 99951 1331 9 0 446309 0 [pid=8005/tid=8007] ppid=8003 vsize=1794788 CPUtime=1772.62 /proc/8005/task/8007/stat : 8007 (java) R 8003 8005 7278 0 -1 64 42637 0 1 0 177237 25 0 0 25 0 13 0 104765235 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109543752 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8008] ppid=8003 vsize=1794788 CPUtime=8.27 /proc/8005/task/8008/stat : 8008 (java) S 8003 8005 7278 0 -1 64 48800 0 0 0 805 22 0 0 17 0 13 0 104765239 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8009] ppid=8003 vsize=1794788 CPUtime=8.25 /proc/8005/task/8009/stat : 8009 (java) S 8003 8005 7278 0 -1 64 47842 0 0 0 803 22 0 0 17 0 13 0 104765239 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8010] ppid=8003 vsize=1794788 CPUtime=0.08 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 72 0 0 0 3 5 0 0 16 0 13 0 104765241 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8014] ppid=8003 vsize=1794788 CPUtime=1.26 /proc/8005/task/8014/stat : 8014 (java) S 8003 8005 7278 0 -1 64 5290 0 0 0 124 2 0 0 17 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8015] ppid=8003 vsize=1794788 CPUtime=0.61 /proc/8005/task/8015/stat : 8015 (java) S 8003 8005 7278 0 -1 64 1450 0 0 0 61 0 0 0 16 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8016] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8016/stat : 8016 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8017] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8017/stat : 8017 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8258] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8258/stat : 8258 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 104871770 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1791.19 Current children cumulated vsize (KiB) 1794788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.2 s] /proc/loadavg: 1.14 1.11 1.11 2/77 8258 /proc/meminfo: memFree=1287136/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=1794788 CPUtime=1800.09 /proc/8005/stat : 8005 (java) S 8003 8005 7278 0 -1 0 146908 0 1 0 179928 81 0 0 18 0 13 0 104765234 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8005/statm: 448697 99951 1331 9 0 446309 0 [pid=8005/tid=8007] ppid=8003 vsize=1794788 CPUtime=1781.52 /proc/8005/task/8007/stat : 8007 (java) R 8003 8005 7278 0 -1 64 42637 0 1 0 178127 25 0 0 25 0 13 0 104765235 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109543752 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8008] ppid=8003 vsize=1794788 CPUtime=8.27 /proc/8005/task/8008/stat : 8008 (java) S 8003 8005 7278 0 -1 64 48800 0 0 0 805 22 0 0 17 0 13 0 104765239 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8009] ppid=8003 vsize=1794788 CPUtime=8.25 /proc/8005/task/8009/stat : 8009 (java) S 8003 8005 7278 0 -1 64 47842 0 0 0 803 22 0 0 17 0 13 0 104765239 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8010] ppid=8003 vsize=1794788 CPUtime=0.08 /proc/8005/task/8010/stat : 8010 (java) S 8003 8005 7278 0 -1 64 72 0 0 0 3 5 0 0 16 0 13 0 104765241 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8011] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8011/stat : 8011 (java) S 8003 8005 7278 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8012] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8012/stat : 8012 (java) S 8003 8005 7278 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 104765242 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8013] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8013/stat : 8013 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8014] ppid=8003 vsize=1794788 CPUtime=1.26 /proc/8005/task/8014/stat : 8014 (java) S 8003 8005 7278 0 -1 64 5290 0 0 0 124 2 0 0 17 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8015] ppid=8003 vsize=1794788 CPUtime=0.61 /proc/8005/task/8015/stat : 8015 (java) S 8003 8005 7278 0 -1 64 1450 0 0 0 61 0 0 0 16 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8016] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8016/stat : 8016 (java) S 8003 8005 7278 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8005/tid=8017] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8017/stat : 8017 (java) S 8003 8005 7278 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104765246 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8005/tid=8258] ppid=8003 vsize=1794788 CPUtime=0 /proc/8005/task/8258/stat : 8258 (java) S 8003 8005 7278 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 104871770 1837862912 99951 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1794788 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1791.31 s] /proc/loadavg: 1.14 1.11 1.11 2/77 8258 /proc/meminfo: memFree=1287136/2055920 swapFree=4184488/4192956 [pid=8005] ppid=8003 vsize=0 CPUtime=1800.2 /proc/8005/stat : 8005 (java) Z 8003 8005 7278 0 -1 1036 146918 0 1 0 179933 87 0 0 16 0 2 0 104765234 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8005/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1791.32 CPU time (s): 1800.21 CPU user time (s): 1799.33 CPU system time (s): 0.872867 CPU usage (%): 100.496 Max. virtual memory (cumulated for all children) (KiB): 1796740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.872867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 146918 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40417 involuntary context switches= 30234 runsolver used 1.9807 second user time and 4.5833 second system time The end
Begin job on node62 on Mon Apr 16 12:19:57 UTC 2007 IDJOB= 354800 IDBENCH= 2899 IDSOLVER= 159 FILE ID= node62/354800-1176725997 PBS_JOBID= 4559495 Free space on /tmp= 66543 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/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 /tmp/evaluation/354800-1176725997/sat4jPseudoResolution.jar /tmp/evaluation/354800-1176725997/instance-354800-1176725997.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-354800-1176725997 -o ROOT/results/node62/solver-354800-1176725997 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354800-1176725997/sat4jPseudoResolution.jar /tmp/evaluation/354800-1176725997/instance-354800-1176725997.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED= 109369031 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1685800 kB Buffers: 37440 kB Cached: 245416 kB SwapCached: 2472 kB Active: 26480 kB Inactive: 268100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1685800 kB SwapTotal: 4192956 kB SwapFree: 4184488 kB Dirty: 3684 kB Writeback: 0 kB Mapped: 16796 kB Slab: 61360 kB Committed_AS: 720916 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66543 MiB End job on node62 on Mon Apr 16 12:49:50 UTC 2007