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) | 17 | 1800.1 | 1788.77 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 1782.74 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.08/0.19 --- Begin Solver configuration --- 0.08/0.19 c Stops conflict analysis at the first Unique Implication Point 0.08/0.19 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.08/0.19 c Learn all clauses as in MiniSAT 0.08/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.19 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.19 c No reason simplification 0.08/0.19 c --- End Solver configuration --- 0.08/0.19 c solving /tmp/evaluation/354852-1176728906/instance-354852-1176728906.opb 0.08/0.19 c reading problem ... 0.20/0.29 c ... done. Wall clock time 0.095s. 0.20/0.29 c CPU time (experimental) 0.26s. 0.20/0.29 c #vars 146 0.20/0.29 c #constraints 12 0.71/0.51 c SATISFIABLE 0.71/0.51 c OPTIMIZING... 0.71/0.51 c Got one! Elapsed wall clock time (in seconds):0.315 0.71/0.51 o 2970 0.71/0.57 c Got one! Elapsed wall clock time (in seconds):0.374 0.71/0.57 o 2916 0.92/0.60 c Got one! Elapsed wall clock time (in seconds):0.409 0.92/0.60 o 2586 0.92/0.64 c Got one! Elapsed wall clock time (in seconds):0.442 0.92/0.64 o 2584 0.92/0.67 c Got one! Elapsed wall clock time (in seconds):0.474 0.92/0.67 o 2583 1.07/0.70 c Got one! Elapsed wall clock time (in seconds):0.511 1.07/0.70 o 2349 1.07/0.73 c Got one! Elapsed wall clock time (in seconds):0.537 1.07/0.73 o 2345 1.07/0.76 c Got one! Elapsed wall clock time (in seconds):0.562 1.07/0.76 o 2336 1.07/0.79 c Got one! Elapsed wall clock time (in seconds):0.592 1.07/0.79 o 2335 1.19/0.81 c Got one! Elapsed wall clock time (in seconds):0.614 1.19/0.81 o 2328 1.19/0.83 c Got one! Elapsed wall clock time (in seconds):0.635 1.19/0.83 o 2325 1.19/0.85 c Got one! Elapsed wall clock time (in seconds):0.658 1.19/0.85 o 2304 1.19/0.87 c Got one! Elapsed wall clock time (in seconds):0.679 1.19/0.87 o 2067 1.19/0.89 c Got one! Elapsed wall clock time (in seconds):0.701 1.19/0.89 o 2064 1.31/0.92 c Got one! Elapsed wall clock time (in seconds):0.727 1.31/0.92 o 2054 1.31/0.94 c Got one! Elapsed wall clock time (in seconds):0.75 1.31/0.94 o 2050 1.31/0.97 c Got one! Elapsed wall clock time (in seconds):0.772 1.31/0.97 o 2040 1.31/0.99 c Got one! Elapsed wall clock time (in seconds):0.797 1.31/0.99 o 2039 1.42/1.02 c Got one! Elapsed wall clock time (in seconds):0.824 1.42/1.02 o 2038 1.42/1.05 c Got one! Elapsed wall clock time (in seconds):0.854 1.42/1.05 o 1994 1.42/1.08 c Got one! Elapsed wall clock time (in seconds):0.886 1.42/1.08 o 1850 1.52/1.11 c Got one! Elapsed wall clock time (in seconds):0.912 1.52/1.11 o 1848 1.52/1.14 c Got one! Elapsed wall clock time (in seconds):0.945 1.52/1.14 o 1838 1.52/1.17 c Got one! Elapsed wall clock time (in seconds):0.974 1.52/1.17 o 1781 1.52/1.19 c Got one! Elapsed wall clock time (in seconds):1.0 1.52/1.19 o 1779 1.65/1.22 c Got one! Elapsed wall clock time (in seconds):1.024 1.65/1.22 o 1778 1.65/1.26 c Got one! Elapsed wall clock time (in seconds):1.064 1.65/1.26 o 1771 1.84/1.30 c Got one! Elapsed wall clock time (in seconds):1.107 1.84/1.30 o 1769 1.84/1.33 c Got one! Elapsed wall clock time (in seconds):1.137 1.84/1.33 o 1767 1.84/1.36 c Got one! Elapsed wall clock time (in seconds):1.163 1.84/1.36 o 1765 2.04/1.41 c Got one! Elapsed wall clock time (in seconds):1.217 2.04/1.41 o 1764 2.04/1.44 c Got one! Elapsed wall clock time (in seconds):1.243 2.04/1.44 o 1762 2.04/1.50 c Got one! Elapsed wall clock time (in seconds):1.304 2.04/1.50 o 1761 2.23/1.53 c Got one! Elapsed wall clock time (in seconds):1.332 2.23/1.53 o 1760 2.23/1.56 c Got one! Elapsed wall clock time (in seconds):1.363 2.23/1.56 o 1745 2.23/1.59 c Got one! Elapsed wall clock time (in seconds):1.396 2.23/1.59 o 1743 2.43/1.63 c Got one! Elapsed wall clock time (in seconds):1.437 2.43/1.63 o 1742 2.43/1.66 c Got one! Elapsed wall clock time (in seconds):1.465 2.43/1.66 o 1739 2.43/1.69 c Got one! Elapsed wall clock time (in seconds):1.496 2.43/1.69 o 1738 2.63/1.78 c Got one! Elapsed wall clock time (in seconds):1.59 2.63/1.78 o 1598 2.83/1.81 c Got one! Elapsed wall clock time (in seconds):1.616 2.83/1.81 o 1597 2.83/1.84 c Got one! Elapsed wall clock time (in seconds):1.646 2.83/1.84 o 1596 2.83/1.88 c Got one! Elapsed wall clock time (in seconds):1.682 2.83/1.88 o 1594 3.00/1.94 c Got one! Elapsed wall clock time (in seconds):1.749 3.00/1.94 o 1593 3.14/2.01 c Got one! Elapsed wall clock time (in seconds):1.815 3.14/2.01 o 1587 3.14/2.04 c Got one! Elapsed wall clock time (in seconds):1.85 3.14/2.04 o 1550 3.14/2.08 c Got one! Elapsed wall clock time (in seconds):1.889 3.14/2.08 o 1546 3.24/2.12 c Got one! Elapsed wall clock time (in seconds):1.927 3.24/2.12 o 1544 3.24/2.16 c Got one! Elapsed wall clock time (in seconds):1.963 3.24/2.16 o 1543 3.24/2.19 c Got one! Elapsed wall clock time (in seconds):2.0 3.24/2.19 o 1523 3.36/2.22 c Got one! Elapsed wall clock time (in seconds):2.031 3.36/2.22 o 1509 3.36/2.28 c Got one! Elapsed wall clock time (in seconds):2.082 3.36/2.28 o 1507 3.52/2.31 c Got one! Elapsed wall clock time (in seconds):2.112 3.52/2.32 o 1500 3.52/2.35 c Got one! Elapsed wall clock time (in seconds):2.156 3.52/2.35 o 1417 3.52/2.37 c Got one! Elapsed wall clock time (in seconds):2.181 3.52/2.37 o 1415 3.65/2.41 c Got one! Elapsed wall clock time (in seconds):2.218 3.65/2.41 o 1414 3.76/2.51 c Got one! Elapsed wall clock time (in seconds):2.312 3.76/2.51 o 1410 3.76/2.55 c Got one! Elapsed wall clock time (in seconds):2.354 3.76/2.55 o 1396 3.76/2.60 c Got one! Elapsed wall clock time (in seconds):2.403 3.76/2.60 o 1395 3.86/2.63 c Got one! Elapsed wall clock time (in seconds):2.433 3.86/2.63 o 1393 3.86/2.68 c Got one! Elapsed wall clock time (in seconds):2.489 3.86/2.68 o 1391 3.96/2.73 c Got one! Elapsed wall clock time (in seconds):2.534 3.96/2.73 o 1389 3.96/2.77 c Got one! Elapsed wall clock time (in seconds):2.577 3.96/2.77 o 1383 4.06/2.82 c Got one! Elapsed wall clock time (in seconds):2.629 4.06/2.82 o 1381 4.06/2.86 c Got one! Elapsed wall clock time (in seconds):2.662 4.06/2.86 o 1380 4.20/2.93 c Got one! Elapsed wall clock time (in seconds):2.739 4.20/2.93 o 1373 4.20/2.98 c Got one! Elapsed wall clock time (in seconds):2.788 4.20/2.98 o 1372 4.30/3.03 c Got one! Elapsed wall clock time (in seconds):2.841 4.30/3.04 o 1350 4.30/3.09 c Got one! Elapsed wall clock time (in seconds):2.892 4.30/3.09 o 1349 4.41/3.15 c Got one! Elapsed wall clock time (in seconds):2.958 4.41/3.15 o 1347 4.41/3.19 c Got one! Elapsed wall clock time (in seconds):2.997 4.41/3.19 o 1345 4.53/3.24 c Got one! Elapsed wall clock time (in seconds):3.043 4.53/3.24 o 1343 4.53/3.27 c Got one! Elapsed wall clock time (in seconds):3.075 4.53/3.27 o 1342 4.63/3.30 c Got one! Elapsed wall clock time (in seconds):3.11 4.63/3.30 o 1341 4.63/3.36 c Got one! Elapsed wall clock time (in seconds):3.165 4.63/3.36 o 1339 4.63/3.39 c Got one! Elapsed wall clock time (in seconds):3.2 4.63/3.39 o 1331 4.73/3.43 c Got one! Elapsed wall clock time (in seconds):3.238 4.73/3.43 o 1328 4.73/3.47 c Got one! Elapsed wall clock time (in seconds):3.273 4.73/3.47 o 1327 4.87/3.51 c Got one! Elapsed wall clock time (in seconds):3.314 4.87/3.51 o 1325 4.87/3.55 c Got one! Elapsed wall clock time (in seconds):3.358 4.87/3.55 o 1324 4.87/3.58 c Got one! Elapsed wall clock time (in seconds):3.391 4.87/3.58 o 1323 4.97/3.62 c Got one! Elapsed wall clock time (in seconds):3.427 4.97/3.62 o 1322 4.97/3.68 c Got one! Elapsed wall clock time (in seconds):3.491 4.97/3.68 o 1314 5.06/3.72 c Got one! Elapsed wall clock time (in seconds):3.526 5.06/3.72 o 1313 5.19/3.84 c Got one! Elapsed wall clock time (in seconds):3.645 5.19/3.84 o 1076 5.19/3.89 c Got one! Elapsed wall clock time (in seconds):3.694 5.19/3.89 o 1074 5.29/3.97 c Got one! Elapsed wall clock time (in seconds):3.775 5.29/3.97 o 1011 5.39/4.03 c Got one! Elapsed wall clock time (in seconds):3.835 5.39/4.03 o 1010 5.49/4.10 c Got one! Elapsed wall clock time (in seconds):3.906 5.49/4.10 o 1009 5.59/4.20 c Got one! Elapsed wall clock time (in seconds):4.008 5.59/4.20 o 709 5.59/4.24 c Got one! Elapsed wall clock time (in seconds):4.044 5.59/4.24 o 707 5.70/4.33 c Got one! Elapsed wall clock time (in seconds):4.137 5.70/4.33 o 705 5.70/4.39 c Got one! Elapsed wall clock time (in seconds):4.194 5.70/4.39 o 704 5.80/4.43 c Got one! Elapsed wall clock time (in seconds):4.235 5.80/4.43 o 682 5.80/4.48 c Got one! Elapsed wall clock time (in seconds):4.285 5.80/4.48 o 681 5.90/4.53 c Got one! Elapsed wall clock time (in seconds):4.34 5.90/4.53 o 678 6.07/4.66 c Got one! Elapsed wall clock time (in seconds):4.464 6.07/4.66 o 676 6.19/4.72 c Got one! Elapsed wall clock time (in seconds):4.527 6.19/4.72 o 675 6.29/4.82 c Got one! Elapsed wall clock time (in seconds):4.628 6.29/4.82 o 674 6.29/4.87 c Got one! Elapsed wall clock time (in seconds):4.678 6.29/4.87 o 672 6.49/5.00 c Got one! Elapsed wall clock time (in seconds):4.805 6.49/5.00 o 657 6.59/5.12 c Got one! Elapsed wall clock time (in seconds):4.929 6.59/5.12 o 655 6.69/5.20 c Got one! Elapsed wall clock time (in seconds):5.011 6.69/5.20 o 654 6.88/5.30 c Got one! Elapsed wall clock time (in seconds):5.107 6.88/5.30 o 651 6.99/5.41 c Got one! Elapsed wall clock time (in seconds):5.216 6.99/5.41 o 648 7.09/5.52 c Got one! Elapsed wall clock time (in seconds):5.33 7.09/5.52 o 647 7.19/5.61 c Got one! Elapsed wall clock time (in seconds):5.417 7.19/5.61 o 646 7.29/5.71 c Got one! Elapsed wall clock time (in seconds):5.516 7.29/5.71 o 645 7.41/5.85 c Got one! Elapsed wall clock time (in seconds):5.652 7.41/5.85 o 643 7.51/5.93 c Got one! Elapsed wall clock time (in seconds):5.732 7.51/5.93 o 633 7.60/6.03 c Got one! Elapsed wall clock time (in seconds):5.837 7.60/6.03 o 632 7.70/6.11 c Got one! Elapsed wall clock time (in seconds):5.916 7.70/6.11 o 631 7.80/6.24 c Got one! Elapsed wall clock time (in seconds):6.045 7.80/6.24 o 630 7.90/6.33 c Got one! Elapsed wall clock time (in seconds):6.136 7.90/6.33 o 509 8.00/6.45 c Got one! Elapsed wall clock time (in seconds):6.256 8.00/6.45 o 505 8.11/6.56 c Got one! Elapsed wall clock time (in seconds):6.367 8.11/6.56 o 504 8.21/6.69 c Got one! Elapsed wall clock time (in seconds):6.498 8.21/6.69 o 483 8.40/6.81 c Got one! Elapsed wall clock time (in seconds):6.619 8.40/6.81 o 482 8.50/6.93 c Got one! Elapsed wall clock time (in seconds):6.737 8.50/6.93 o 481 8.60/7.04 c Got one! Elapsed wall clock time (in seconds):6.85 8.60/7.04 o 480 8.70/7.15 c Got one! Elapsed wall clock time (in seconds):6.951 8.70/7.15 o 468 8.92/7.30 c Got one! Elapsed wall clock time (in seconds):7.107 8.92/7.30 o 467 9.02/7.42 c Got one! Elapsed wall clock time (in seconds):7.228 9.02/7.42 o 465 9.12/7.58 c Got one! Elapsed wall clock time (in seconds):7.383 9.12/7.58 o 463 9.22/7.68 c Got one! Elapsed wall clock time (in seconds):7.488 9.22/7.68 o 462 9.32/7.79 c Got one! Elapsed wall clock time (in seconds):7.6 9.32/7.79 o 461 9.52/7.91 c Got one! Elapsed wall clock time (in seconds):7.72 9.52/7.91 o 460 9.62/8.03 c Got one! Elapsed wall clock time (in seconds):7.836 9.62/8.03 o 459 9.72/8.13 c Got one! Elapsed wall clock time (in seconds):7.935 9.72/8.13 o 457 9.82/8.29 c Got one! Elapsed wall clock time (in seconds):8.093 9.82/8.29 o 455 9.92/8.39 c Got one! Elapsed wall clock time (in seconds):8.201 9.92/8.39 o 453 10.22/8.67 c Got one! Elapsed wall clock time (in seconds):8.477 10.22/8.67 o 451 10.42/8.84 c Got one! Elapsed wall clock time (in seconds):8.645 10.42/8.84 o 447 10.52/8.96 c Got one! Elapsed wall clock time (in seconds):8.771 10.52/8.96 o 446 10.72/9.17 c Got one! Elapsed wall clock time (in seconds):8.977 10.72/9.17 o 445 10.95/9.31 c Got one! Elapsed wall clock time (in seconds):9.112 10.95/9.31 o 444 11.05/9.44 c Got one! Elapsed wall clock time (in seconds):9.249 11.05/9.44 o 443 11.25/9.60 c Got one! Elapsed wall clock time (in seconds):9.403 11.25/9.60 o 441 11.35/9.76 c Got one! Elapsed wall clock time (in seconds):9.567 11.35/9.76 o 439 11.55/9.92 c Got one! Elapsed wall clock time (in seconds):9.729 11.55/9.92 o 438 11.65/10.07 c Got one! Elapsed wall clock time (in seconds):9.882 11.65/10.08 o 436 11.75/10.12 c Got one! Elapsed wall clock time (in seconds):9.931 11.75/10.12 o 435 11.75/10.19 c Got one! Elapsed wall clock time (in seconds):9.995 11.75/10.19 o 434 12.05/10.41 c Got one! Elapsed wall clock time (in seconds):10.218 12.05/10.41 o 432 12.15/10.57 c Got one! Elapsed wall clock time (in seconds):10.379 12.15/10.57 o 431 12.25/10.68 c Got one! Elapsed wall clock time (in seconds):10.49 12.25/10.68 o 430 12.45/10.84 c Got one! Elapsed wall clock time (in seconds):10.642 12.45/10.84 o 429 12.78/11.16 c Got one! Elapsed wall clock time (in seconds):10.965 12.78/11.16 o 419 13.08/11.41 c Got one! Elapsed wall clock time (in seconds):11.219 13.08/11.41 o 418 13.18/11.57 c Got one! Elapsed wall clock time (in seconds):11.379 13.18/11.57 o 416 13.38/11.76 c Got one! Elapsed wall clock time (in seconds):11.568 13.38/11.76 o 415 13.58/11.92 c Got one! Elapsed wall clock time (in seconds):11.727 13.58/11.92 o 413 13.68/12.09 c Got one! Elapsed wall clock time (in seconds):11.9 13.68/12.09 o 412 14.08/12.46 c Got one! Elapsed wall clock time (in seconds):12.263 14.08/12.46 o 410 14.28/12.68 c Got one! Elapsed wall clock time (in seconds):12.487 14.28/12.68 o 408 14.61/12.90 c Got one! Elapsed wall clock time (in seconds):12.711 14.61/12.90 o 407 14.71/13.08 c Got one! Elapsed wall clock time (in seconds):12.89 14.71/13.08 o 406 15.11/13.47 c Got one! Elapsed wall clock time (in seconds):13.28 15.11/13.47 o 405 15.21/13.60 c Got one! Elapsed wall clock time (in seconds):13.402 15.21/13.60 o 404 15.41/13.78 c Got one! Elapsed wall clock time (in seconds):13.589 15.41/13.78 o 402 15.61/13.90 c Got one! Elapsed wall clock time (in seconds):13.71 15.61/13.90 o 400 15.72/14.05 c Got one! Elapsed wall clock time (in seconds):13.861 15.72/14.05 o 399 16.33/14.60 c Got one! Elapsed wall clock time (in seconds):14.41 16.33/14.60 o 397 16.53/14.82 c Got one! Elapsed wall clock time (in seconds):14.625 16.53/14.82 o 395 16.63/14.98 c Got one! Elapsed wall clock time (in seconds):14.787 16.63/14.98 o 392 16.83/15.15 c Got one! Elapsed wall clock time (in seconds):14.956 16.83/15.15 o 391 17.23/15.59 c Got one! Elapsed wall clock time (in seconds):15.398 17.23/15.59 o 390 17.43/15.73 c Got one! Elapsed wall clock time (in seconds):15.54 17.43/15.73 o 389 17.63/15.91 c Got one! Elapsed wall clock time (in seconds):15.718 17.63/15.91 o 388 17.83/16.15 c Got one! Elapsed wall clock time (in seconds):15.96 17.83/16.15 o 387 18.03/16.32 c Got one! Elapsed wall clock time (in seconds):16.126 18.03/16.32 o 386 18.25/16.55 c Got one! Elapsed wall clock time (in seconds):16.359 18.25/16.55 o 384 18.45/16.75 c Got one! Elapsed wall clock time (in seconds):16.56 18.45/16.75 o 382 18.65/16.94 c Got one! Elapsed wall clock time (in seconds):16.748 18.65/16.94 o 381 19.04/17.35 c Got one! Elapsed wall clock time (in seconds):17.16 19.04/17.35 o 380 19.35/17.60 c Got one! Elapsed wall clock time (in seconds):17.408 19.35/17.60 o 379 19.54/17.83 c Got one! Elapsed wall clock time (in seconds):17.637 19.54/17.83 o 377 19.74/18.00 c Got one! Elapsed wall clock time (in seconds):17.81 19.74/18.00 o 376 19.94/18.22 c Got one! Elapsed wall clock time (in seconds):18.026 19.94/18.22 o 374 20.14/18.40 c Got one! Elapsed wall clock time (in seconds):18.208 20.14/18.40 o 373 20.95/19.21 c Got one! Elapsed wall clock time (in seconds):19.02 20.95/19.21 o 372 21.15/19.45 c Got one! Elapsed wall clock time (in seconds):19.256 21.15/19.45 o 370 22.76/21.08 c Got one! Elapsed wall clock time (in seconds):20.888 22.76/21.08 o 369 23.06/21.37 c Got one! Elapsed wall clock time (in seconds):21.175 23.06/21.37 o 363 23.36/21.67 c Got one! Elapsed wall clock time (in seconds):21.481 23.36/21.67 o 362 23.67/21.97 c Got one! Elapsed wall clock time (in seconds):21.773 23.67/21.97 o 361 23.97/22.22 c Got one! Elapsed wall clock time (in seconds):22.028 23.97/22.22 o 359 24.17/22.42 c Got one! Elapsed wall clock time (in seconds):22.224 24.17/22.42 o 357 24.27/22.58 c Got one! Elapsed wall clock time (in seconds):22.386 24.27/22.58 o 355 24.48/22.70 c Got one! Elapsed wall clock time (in seconds):22.508 24.48/22.70 o 354 24.68/22.94 c Got one! Elapsed wall clock time (in seconds):22.745 24.68/22.94 o 353 24.89/23.15 c Got one! Elapsed wall clock time (in seconds):22.958 24.89/23.15 o 351 25.18/23.43 c Got one! Elapsed wall clock time (in seconds):23.234 25.18/23.43 o 350 25.48/23.71 c Got one! Elapsed wall clock time (in seconds):23.514 25.48/23.71 o 348 25.89/24.13 c Got one! Elapsed wall clock time (in seconds):23.937 25.89/24.13 o 347 26.08/24.34 c Got one! Elapsed wall clock time (in seconds):24.145 26.08/24.34 o 346 26.18/24.45 c Got one! Elapsed wall clock time (in seconds):24.259 26.18/24.45 o 344 27.59/25.81 c Got one! Elapsed wall clock time (in seconds):25.612 27.59/25.81 o 343 28.39/26.63 c Got one! Elapsed wall clock time (in seconds):26.441 28.39/26.63 o 341 28.79/27.09 c Got one! Elapsed wall clock time (in seconds):26.894 28.79/27.09 o 339 29.09/27.37 c Got one! Elapsed wall clock time (in seconds):27.181 29.09/27.37 o 337 29.49/27.78 c Got one! Elapsed wall clock time (in seconds):27.583 29.49/27.78 o 336 30.20/28.41 c Got one! Elapsed wall clock time (in seconds):28.213 30.20/28.41 o 334 32.31/30.57 c Got one! Elapsed wall clock time (in seconds):30.381 32.31/30.57 o 333 33.11/31.36 c Got one! Elapsed wall clock time (in seconds):31.166 33.11/31.36 o 331 33.62/31.85 c Got one! Elapsed wall clock time (in seconds):31.652 33.62/31.85 o 330 33.81/32.07 c Got one! Elapsed wall clock time (in seconds):31.877 33.81/32.07 o 329 34.11/32.39 c Got one! Elapsed wall clock time (in seconds):32.194 34.11/32.39 o 327 34.41/32.63 c Got one! Elapsed wall clock time (in seconds):32.441 34.41/32.63 o 326 34.51/32.79 c Got one! Elapsed wall clock time (in seconds):32.594 34.51/32.79 o 324 34.91/33.18 c Got one! Elapsed wall clock time (in seconds):32.991 34.91/33.18 o 323 35.21/33.50 c Got one! Elapsed wall clock time (in seconds):33.302 35.21/33.50 o 322 35.61/33.81 c Got one! Elapsed wall clock time (in seconds):33.613 35.61/33.81 o 321 36.31/34.55 c Got one! Elapsed wall clock time (in seconds):34.36 36.31/34.55 o 320 36.82/35.00 c Got one! Elapsed wall clock time (in seconds):34.807 36.82/35.00 o 319 37.62/35.87 c Got one! Elapsed wall clock time (in seconds):35.675 37.62/35.87 o 318 37.92/36.16 c Got one! Elapsed wall clock time (in seconds):35.962 37.92/36.16 o 316 38.12/36.37 c Got one! Elapsed wall clock time (in seconds):36.173 38.12/36.37 o 315 38.73/36.94 c Got one! Elapsed wall clock time (in seconds):36.75 38.73/36.94 o 312 39.14/37.38 c Got one! Elapsed wall clock time (in seconds):37.186 39.14/37.38 o 311 39.93/38.10 c Got one! Elapsed wall clock time (in seconds):37.905 39.93/38.10 o 309 40.24/38.41 c Got one! Elapsed wall clock time (in seconds):38.217 40.24/38.41 o 308 40.54/38.73 c Got one! Elapsed wall clock time (in seconds):38.539 40.54/38.73 o 306 40.84/39.04 c Got one! Elapsed wall clock time (in seconds):38.842 40.84/39.04 o 305 41.14/39.35 c Got one! Elapsed wall clock time (in seconds):39.156 41.14/39.35 o 302 41.44/39.69 c Got one! Elapsed wall clock time (in seconds):39.495 41.44/39.69 o 301 41.94/40.15 c Got one! Elapsed wall clock time (in seconds):39.957 41.94/40.15 o 299 42.45/40.69 c Got one! Elapsed wall clock time (in seconds):40.498 42.45/40.69 o 297 42.64/40.85 c Got one! Elapsed wall clock time (in seconds):40.657 42.64/40.85 o 295 43.95/42.17 c Got one! Elapsed wall clock time (in seconds):41.972 43.95/42.17 o 294 44.15/42.36 c Got one! Elapsed wall clock time (in seconds):42.17 44.15/42.36 o 293 44.45/42.63 c Got one! Elapsed wall clock time (in seconds):42.441 44.45/42.63 o 291 44.95/43.10 c Got one! Elapsed wall clock time (in seconds):42.911 44.95/43.10 o 290 45.75/43.95 c Got one! Elapsed wall clock time (in seconds):43.754 45.75/43.95 o 288 45.95/44.13 c Got one! Elapsed wall clock time (in seconds):43.941 45.95/44.13 o 286 46.25/44.45 c Got one! Elapsed wall clock time (in seconds):44.259 46.25/44.45 o 284 46.65/44.81 c Got one! Elapsed wall clock time (in seconds):44.616 46.65/44.81 o 283 46.96/45.12 c Got one! Elapsed wall clock time (in seconds):44.926 46.96/45.12 o 281 47.26/45.43 c Got one! Elapsed wall clock time (in seconds):45.234 47.26/45.43 o 279 47.86/46.05 c Got one! Elapsed wall clock time (in seconds):45.852 47.86/46.05 o 278 48.06/46.24 c Got one! Elapsed wall clock time (in seconds):46.046 48.06/46.24 o 276 48.56/46.71 c Got one! Elapsed wall clock time (in seconds):46.514 48.56/46.71 o 275 49.07/47.24 c Got one! Elapsed wall clock time (in seconds):47.045 49.07/47.24 o 273 49.47/47.69 c Got one! Elapsed wall clock time (in seconds):47.501 49.47/47.69 o 272 49.97/48.12 c Got one! Elapsed wall clock time (in seconds):47.925 49.97/48.12 o 270 50.57/48.73 c Got one! Elapsed wall clock time (in seconds):48.541 50.57/48.73 o 269 51.47/49.63 c Got one! Elapsed wall clock time (in seconds):49.433 51.47/49.63 o 267 51.77/49.93 c Got one! Elapsed wall clock time (in seconds):49.74 51.77/49.93 o 266 52.07/50.25 c Got one! Elapsed wall clock time (in seconds):50.054 52.07/50.25 o 264 52.48/50.64 c Got one! Elapsed wall clock time (in seconds):50.445 52.48/50.64 o 262 52.87/51.04 c Got one! Elapsed wall clock time (in seconds):50.846 52.87/51.04 o 258 54.89/53.02 c Got one! Elapsed wall clock time (in seconds):52.83 54.89/53.02 o 256 55.29/53.42 c Got one! Elapsed wall clock time (in seconds):53.223 55.29/53.42 o 255 55.39/53.56 c Got one! Elapsed wall clock time (in seconds):53.362 55.39/53.56 o 253 55.59/53.74 c Got one! Elapsed wall clock time (in seconds):53.549 55.59/53.74 o 252 56.29/54.46 c Got one! Elapsed wall clock time (in seconds):54.27 56.29/54.46 o 251 57.19/55.34 c Got one! Elapsed wall clock time (in seconds):55.143 57.19/55.34 o 250 57.60/55.72 c Got one! Elapsed wall clock time (in seconds):55.525 57.60/55.72 o 249 57.90/56.05 c Got one! Elapsed wall clock time (in seconds):55.854 57.90/56.05 o 248 58.10/56.24 c Got one! Elapsed wall clock time (in seconds):56.052 58.10/56.25 o 247 58.30/56.46 c Got one! Elapsed wall clock time (in seconds):56.266 58.30/56.46 o 245 58.70/56.84 c Got one! Elapsed wall clock time (in seconds):56.65 58.70/56.84 o 243 59.11/57.29 c Got one! Elapsed wall clock time (in seconds):57.097 59.11/57.29 o 242 59.70/57.83 c Got one! Elapsed wall clock time (in seconds):57.639 59.70/57.83 o 241 60.41/58.53 c Got one! Elapsed wall clock time (in seconds):58.336 60.41/58.53 o 240 60.71/58.87 c Got one! Elapsed wall clock time (in seconds):58.673 60.71/58.87 o 238 61.01/59.15 c Got one! Elapsed wall clock time (in seconds):58.959 61.01/59.15 o 236 61.21/59.39 c Got one! Elapsed wall clock time (in seconds):59.201 61.21/59.39 o 235 61.71/59.81 c Got one! Elapsed wall clock time (in seconds):59.621 61.71/59.81 o 228 62.11/60.28 c Got one! Elapsed wall clock time (in seconds):60.083 62.11/60.28 o 227 62.41/60.58 c Got one! Elapsed wall clock time (in seconds):60.383 62.41/60.58 o 226 62.82/60.99 c Got one! Elapsed wall clock time (in seconds):60.796 62.82/60.99 o 224 63.12/61.24 c Got one! Elapsed wall clock time (in seconds):61.047 63.12/61.24 o 222 63.43/61.59 c Got one! Elapsed wall clock time (in seconds):61.4 63.43/61.59 o 220 63.92/62.05 c Got one! Elapsed wall clock time (in seconds):61.858 63.92/62.05 o 218 64.53/62.61 c Got one! Elapsed wall clock time (in seconds):62.419 64.53/62.61 o 216 64.83/62.99 c Got one! Elapsed wall clock time (in seconds):62.799 64.83/62.99 o 214 65.33/63.48 c Got one! Elapsed wall clock time (in seconds):63.288 65.33/63.48 o 213 67.24/65.31 c Got one! Elapsed wall clock time (in seconds):65.121 67.24/65.31 o 212 67.54/65.65 c Got one! Elapsed wall clock time (in seconds):65.461 67.54/65.66 o 211 68.14/66.25 c Got one! Elapsed wall clock time (in seconds):66.054 68.14/66.25 o 210 68.64/66.70 c Got one! Elapsed wall clock time (in seconds):66.511 68.64/66.70 o 208 70.77/68.85 c Got one! Elapsed wall clock time (in seconds):68.652 70.77/68.85 o 206 71.47/69.58 c Got one! Elapsed wall clock time (in seconds):69.386 71.47/69.58 o 204 71.87/69.90 c Got one! Elapsed wall clock time (in seconds):69.707 71.87/69.90 o 203 71.97/70.10 c Got one! Elapsed wall clock time (in seconds):69.902 71.97/70.10 o 202 72.38/70.46 c Got one! Elapsed wall clock time (in seconds):70.266 72.38/70.46 o 200 72.77/70.85 c Got one! Elapsed wall clock time (in seconds):70.653 72.77/70.85 o 198 73.27/71.40 c Got one! Elapsed wall clock time (in seconds):71.205 73.27/71.40 o 197 74.19/72.26 c Got one! Elapsed wall clock time (in seconds):72.067 74.19/72.26 o 195 74.89/72.95 c Got one! Elapsed wall clock time (in seconds):72.754 74.89/72.95 o 194 75.70/73.71 c Got one! Elapsed wall clock time (in seconds):73.512 75.70/73.71 o 193 76.40/74.49 c Got one! Elapsed wall clock time (in seconds):74.3 76.40/74.49 o 191 77.30/75.32 c Got one! Elapsed wall clock time (in seconds):75.125 77.30/75.32 o 190 77.60/75.65 c Got one! Elapsed wall clock time (in seconds):75.453 77.60/75.65 o 189 77.81/75.85 c Got one! Elapsed wall clock time (in seconds):75.659 77.81/75.85 o 149 78.91/76.95 c Got one! Elapsed wall clock time (in seconds):76.757 78.91/76.95 o 148 79.41/77.44 c Got one! Elapsed wall clock time (in seconds):77.245 79.41/77.44 o 146 79.81/77.89 c Got one! Elapsed wall clock time (in seconds):77.696 79.81/77.89 o 145 80.92/78.90 c Got one! Elapsed wall clock time (in seconds):78.704 80.92/78.90 o 143 82.52/80.50 c Got one! Elapsed wall clock time (in seconds):80.306 82.52/80.50 o 142 83.84/81.82 c Got one! Elapsed wall clock time (in seconds):81.626 83.84/81.82 o 141 84.74/82.75 c Got one! Elapsed wall clock time (in seconds):82.553 84.74/82.75 o 139 86.04/84.04 c Got one! Elapsed wall clock time (in seconds):83.842 86.04/84.04 o 137 87.24/85.22 c Got one! Elapsed wall clock time (in seconds):85.024 87.24/85.22 o 135 87.55/85.55 c Got one! Elapsed wall clock time (in seconds):85.36 87.55/85.55 o 133 90.16/88.19 c Got one! Elapsed wall clock time (in seconds):87.999 90.16/88.19 o 131 91.17/89.15 c Got one! Elapsed wall clock time (in seconds):88.961 91.17/89.15 o 129 91.47/89.41 c Got one! Elapsed wall clock time (in seconds):89.213 91.47/89.41 o 127 92.47/90.48 c Got one! Elapsed wall clock time (in seconds):90.287 92.47/90.48 o 125 93.08/91.04 c Got one! Elapsed wall clock time (in seconds):90.847 93.08/91.04 o 123 93.78/91.77 c Got one! Elapsed wall clock time (in seconds):91.573 93.78/91.77 o 122 94.89/92.89 c Got one! Elapsed wall clock time (in seconds):92.693 94.89/92.89 o 121 96.20/94.16 c Got one! Elapsed wall clock time (in seconds):93.961 96.20/94.16 o 118 96.90/94.81 c Got one! Elapsed wall clock time (in seconds):94.62 96.90/94.81 o 114 97.31/95.21 c Got one! Elapsed wall clock time (in seconds):95.021 97.31/95.21 o 113 98.31/96.21 c Got one! Elapsed wall clock time (in seconds):96.021 98.31/96.21 o 112 100.54/98.48 c Got one! Elapsed wall clock time (in seconds):98.291 100.54/98.48 o 110 103.66/101.57 c Got one! Elapsed wall clock time (in seconds):101.378 103.66/101.57 o 109 104.27/102.15 c Got one! Elapsed wall clock time (in seconds):101.954 104.27/102.15 o 108 105.37/103.25 c Got one! Elapsed wall clock time (in seconds):103.053 105.37/103.25 o 106 107.39/105.29 c Got one! Elapsed wall clock time (in seconds):105.092 107.39/105.29 o 105 109.00/106.83 c Got one! Elapsed wall clock time (in seconds):106.632 109.00/106.83 o 103 110.11/107.92 c Got one! Elapsed wall clock time (in seconds):107.722 110.11/107.92 o 101 110.71/108.58 c Got one! Elapsed wall clock time (in seconds):108.387 110.71/108.58 o 99 114.66/112.47 c Got one! Elapsed wall clock time (in seconds):112.273 114.66/112.47 o 97 116.47/114.26 c Got one! Elapsed wall clock time (in seconds):114.071 116.47/114.26 o 96 117.37/115.16 c Got one! Elapsed wall clock time (in seconds):114.964 117.37/115.16 o 94 118.07/115.84 c Got one! Elapsed wall clock time (in seconds):115.643 118.07/115.84 o 93 119.48/117.21 c Got one! Elapsed wall clock time (in seconds):117.012 119.48/117.21 o 91 120.58/118.34 c Got one! Elapsed wall clock time (in seconds):118.142 120.58/118.34 o 90 121.29/119.00 c Got one! Elapsed wall clock time (in seconds):118.807 121.29/119.00 o 89 122.29/120.06 c Got one! Elapsed wall clock time (in seconds):119.87 122.29/120.06 o 88 124.51/122.27 c Got one! Elapsed wall clock time (in seconds):122.078 124.51/122.27 o 86 125.21/122.93 c Got one! Elapsed wall clock time (in seconds):122.734 125.21/122.93 o 85 125.92/123.63 c Got one! Elapsed wall clock time (in seconds):123.435 125.92/123.63 o 83 134.38/132.06 c Got one! Elapsed wall clock time (in seconds):131.87 134.38/132.06 o 81 136.19/133.90 c Got one! Elapsed wall clock time (in seconds):133.702 136.19/133.90 o 79 138.51/136.11 c Got one! Elapsed wall clock time (in seconds):135.917 138.51/136.11 o 77 141.53/139.20 c Got one! Elapsed wall clock time (in seconds):139.002 141.53/139.20 o 75 145.96/143.55 c Got one! Elapsed wall clock time (in seconds):143.357 145.96/143.55 o 74 147.78/145.40 c Got one! Elapsed wall clock time (in seconds):145.202 147.78/145.40 o 72 162.61/160.02 c Got one! Elapsed wall clock time (in seconds):159.831 162.61/160.02 o 70 163.61/161.09 c Got one! Elapsed wall clock time (in seconds):160.898 163.61/161.09 o 69 166.63/164.09 c Got one! Elapsed wall clock time (in seconds):163.896 166.63/164.09 o 67 169.54/167.00 c Got one! Elapsed wall clock time (in seconds):166.804 169.54/167.00 o 66 176.69/174.03 c Got one! Elapsed wall clock time (in seconds):173.84 176.69/174.03 o 64 182.83/180.15 c Got one! Elapsed wall clock time (in seconds):179.961 182.83/180.15 o 63 190.91/188.15 c Got one! Elapsed wall clock time (in seconds):187.952 190.91/188.15 o 61 195.54/192.75 c Got one! Elapsed wall clock time (in seconds):192.556 195.54/192.75 o 60 204.01/201.20 c Got one! Elapsed wall clock time (in seconds):201.006 204.12/201.20 o 59 206.22/203.35 c Got one! Elapsed wall clock time (in seconds):203.152 206.22/203.35 o 58 207.22/204.36 c Got one! Elapsed wall clock time (in seconds):204.169 207.22/204.36 o 57 212.46/209.56 c Got one! Elapsed wall clock time (in seconds):209.368 212.46/209.56 o 56 222.34/219.38 c Got one! Elapsed wall clock time (in seconds):219.185 222.34/219.38 o 54 237.07/233.95 c Got one! Elapsed wall clock time (in seconds):233.755 237.07/233.95 o 53 239.58/236.42 c Got one! Elapsed wall clock time (in seconds):236.227 239.58/236.42 o 52 240.79/237.61 c Got one! Elapsed wall clock time (in seconds):237.413 240.79/237.61 o 50 309.62/305.99 c Got one! Elapsed wall clock time (in seconds):305.798 309.62/305.99 o 49 332.03/328.21 c Got one! Elapsed wall clock time (in seconds):328.018 332.03/328.21 o 47 359.59/355.67 c Got one! Elapsed wall clock time (in seconds):355.472 359.59/355.67 o 45 373.57/369.53 c Got one! Elapsed wall clock time (in seconds):369.333 373.57/369.53 o 44 387.33/383.28 c Got one! Elapsed wall clock time (in seconds):383.082 387.33/383.28 o 42 395.87/391.73 c Got one! Elapsed wall clock time (in seconds):391.534 395.87/391.73 o 41 420.99/416.65 c Got one! Elapsed wall clock time (in seconds):416.455 420.99/416.65 o 40 430.40/426.07 c Got one! Elapsed wall clock time (in seconds):425.88 430.40/426.07 o 38 471.69/467.12 c Got one! Elapsed wall clock time (in seconds):466.922 471.69/467.12 o 37 541.50/536.61 c Got one! Elapsed wall clock time (in seconds):536.421 541.50/536.61 o 35 629.11/623.63 c Got one! Elapsed wall clock time (in seconds):623.441 629.11/623.63 o 34 747.68/741.52 c Got one! Elapsed wall clock time (in seconds):741.33 747.68/741.52 o 32 765.03/758.86 c Got one! Elapsed wall clock time (in seconds):758.668 765.03/758.86 o 30 781.98/775.70 c Got one! Elapsed wall clock time (in seconds):775.506 781.98/775.70 o 28 793.80/787.53 c Got one! Elapsed wall clock time (in seconds):787.335 793.80/787.53 o 27 816.66/810.34 c Got one! Elapsed wall clock time (in seconds):810.147 816.66/810.34 o 25 828.88/822.50 c Got one! Elapsed wall clock time (in seconds):822.305 828.88/822.50 o 24 861.37/854.98 c Got one! Elapsed wall clock time (in seconds):854.788 861.37/854.98 o 23 875.52/869.10 c Got one! Elapsed wall clock time (in seconds):868.903 875.52/869.10 o 22 1133.21/1125.13 c Got one! Elapsed wall clock time (in seconds):1124.938 1133.21/1125.13 o 21 1160.59/1152.40 c Got one! Elapsed wall clock time (in seconds):1152.206 1160.59/1152.40 o 20 1370.04/1360.87 c Got one! Elapsed wall clock time (in seconds):1360.677 1370.04/1360.87 o 19 1410.59/1401.25 c Got one! Elapsed wall clock time (in seconds):1401.055 1410.59/1401.29 o 18 1520.35/1510.65 c Got one! Elapsed wall clock time (in seconds):1510.457 1520.35/1510.65 o 17 1800.02/1788.71 c starts : 1405 1800.02/1788.71 c conflicts : 735819 1800.02/1788.71 c decisions : 897656 1800.02/1788.71 c propagations : 8629995 1800.02/1788.71 c inspects : 4301634346 1800.02/1788.71 c learnt literals : 0 1800.02/1788.71 c learnt binary clauses : 0 1800.02/1788.71 c learnt ternary clauses : 0 1800.02/1788.71 c learnt clauses : 735819 1800.02/1788.71 c root simplifications : 0 1800.02/1788.71 c removed literals (reason simplification) : 0 1800.02/1788.71 c reason swapping (by a shorter reason) : 0 1800.02/1788.71 c Calls to reduceDB : 0 1800.02/1788.71 c speed (decisions/second) : 3228.281665827519 1800.02/1788.71 c non guided choices 8370 1800.02/1788.71 s SATISFIABLE 1800.02/1788.71 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.02/1788.71 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.02/1788.71 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.02/1788.71 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 1800.02/1788.71 v x106 -x107 x108 -x109 -x110 x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 x119 x120 x121 x122 x123 x124 -x125 -x126 -x127 -x128 1800.02/1788.71 v x129 x130 -x131 -x132 x133 x134 x135 -x136 -x137 x138 x139 -x140 x141 -x142 x143 x144 -x145 -x146 1800.02/1788.71 c objective function=17 1800.02/1788.71 c Total wall clock time (ms): 1788.519
OK 17
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-354852-1176728906 -o ROOT/results/node2/solver-354852-1176728906 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354852-1176728906/sat4jPseudoResolution.jar /tmp/evaluation/354852-1176728906/instance-354852-1176728906.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: 0.77 0.93 0.98 3/77 3842 /proc/meminfo: memFree=1785200/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=152 CPUtime=0 /proc/3842/stat : 3842 (java) D 3840 3842 3779 0 -1 0 42 0 0 0 0 0 0 0 20 0 1 0 148928428 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10535716 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/3842/statm: 38 26 19 9 0 4 0 [startup+0.0885541 s] /proc/loadavg: 0.77 0.93 0.98 3/77 3842 /proc/meminfo: memFree=1785200/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1777844 CPUtime=0.07 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 3831 0 1 0 5 2 0 0 18 0 7 0 148928428 1820512256 3573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 444461 3573 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.101554 s] /proc/loadavg: 0.77 0.93 0.98 3/77 3842 /proc/meminfo: memFree=1785200/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1780108 CPUtime=0.08 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 3968 0 1 0 6 2 0 0 18 0 12 0 148928428 1822830592 3709 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 445027 3709 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301568 s] /proc/loadavg: 0.77 0.93 0.98 3/77 3842 /proc/meminfo: memFree=1785200/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1782020 CPUtime=0.33 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 5068 0 1 0 29 4 0 0 18 0 12 0 148928428 1824788480 4806 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 445505 4806 1266 9 0 443117 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1782020 [startup+0.701608 s] /proc/loadavg: 0.77 0.93 0.98 3/77 3842 /proc/meminfo: memFree=1785200/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1786016 CPUtime=1.07 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 8283 0 1 0 102 5 0 0 18 0 13 0 148928428 1828880384 7370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 446504 7371 1308 9 0 444116 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 1786016 [startup+1.5017 s] /proc/loadavg: 0.77 0.93 0.98 3/90 3873 /proc/meminfo: memFree=1744584/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1792336 CPUtime=2.23 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 21776 0 1 0 213 10 0 0 18 0 13 0 148928428 1835352064 20062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448084 20063 1313 9 0 445696 0 [pid=3842/tid=3844] ppid=3840 vsize=1792336 CPUtime=1.34 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 16913 0 1 0 126 8 0 0 20 0 13 0 148928429 1835352064 20063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109212200 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1792336 CPUtime=0 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148928431 1835352064 20063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1792336 CPUtime=0 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148928431 1835352064 20063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1792336 CPUtime=0 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 148928433 1835352064 20063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1792336 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 148928433 1835352064 20063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1792336 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 148928433 1835352064 20063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1792336 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1835352064 20064 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3851] ppid=3840 vsize=1792336 CPUtime=0.29 /proc/3842/task/3851/stat : 3851 (java) S 3840 3842 3779 0 -1 64 666 0 0 0 29 0 0 0 16 0 13 0 148928437 1835352064 20064 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3852] ppid=3840 vsize=1792336 CPUtime=0.58 /proc/3842/task/3852/stat : 3852 (java) R 3840 3842 3779 0 -1 64 3468 0 0 0 57 1 0 0 18 0 13 0 148928437 1835352064 20064 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336763 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3853] ppid=3840 vsize=1792336 CPUtime=0 /proc/3842/task/3853/stat : 3853 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148928437 1835352064 20065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3854] ppid=3840 vsize=1792336 CPUtime=0 /proc/3842/task/3854/stat : 3854 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148928437 1835352064 20065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 1792336 [startup+3.10186 s] /proc/loadavg: 0.79 0.94 0.98 2/90 3902 /proc/meminfo: memFree=1673280/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1794648 CPUtime=4.41 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 46684 0 1 0 419 22 0 0 18 0 13 0 148928428 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448662 42680 1323 9 0 446274 0 [pid=3842/tid=3844] ppid=3840 vsize=1794648 CPUtime=2.79 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 37729 0 1 0 262 17 0 0 25 0 13 0 148928429 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109538538 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1794648 CPUtime=0 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 613 0 0 0 0 0 0 0 16 0 13 0 148928431 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1794648 CPUtime=0 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 478 0 0 0 0 0 0 0 17 0 13 0 148928431 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1794648 CPUtime=0 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 148928433 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1794648 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148928433 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1794648 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148928433 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1794648 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3851] ppid=3840 vsize=1794648 CPUtime=0.51 /proc/3842/task/3851/stat : 3851 (java) R 3840 3842 3779 0 -1 64 1353 0 0 0 51 0 0 0 16 0 13 0 148928437 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102039184 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3852] ppid=3840 vsize=1794648 CPUtime=1.05 /proc/3842/task/3852/stat : 3852 (java) S 3840 3842 3779 0 -1 64 5763 0 0 0 103 2 0 0 15 0 13 0 148928437 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3853] ppid=3840 vsize=1794648 CPUtime=0 /proc/3842/task/3853/stat : 3853 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148928437 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3854] ppid=3840 vsize=1794648 CPUtime=0 /proc/3842/task/3854/stat : 3854 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148928437 1837719552 42680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.41 Current children cumulated vsize (KiB) 1794648 [startup+6.30219 s] /proc/loadavg: 0.79 0.94 0.98 2/90 3959 /proc/meminfo: memFree=1613288/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1792964 CPUtime=7.9 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 49941 0 1 0 766 24 0 0 18 0 13 0 148928428 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448241 44957 1331 9 0 445853 0 [pid=3842/tid=3844] ppid=3840 vsize=1792964 CPUtime=5.88 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 37759 0 1 0 571 17 0 0 17 0 13 0 148928429 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109521297 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1792964 CPUtime=0.03 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 1793 0 0 0 3 0 0 0 16 0 13 0 148928431 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1792964 CPUtime=0.04 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 1936 0 0 0 3 1 0 0 16 0 13 0 148928431 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3851] ppid=3840 vsize=1792964 CPUtime=0.74 /proc/3842/task/3851/stat : 3851 (java) S 3840 3842 3779 0 -1 64 1872 0 0 0 74 0 0 0 16 0 13 0 148928437 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3852] ppid=3840 vsize=1792964 CPUtime=1.15 /proc/3842/task/3852/stat : 3852 (java) S 3840 3842 3779 0 -1 64 5777 0 0 0 113 2 0 0 16 0 13 0 148928437 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3853] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3853/stat : 3853 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148928437 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3854] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3854/stat : 3854 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148928437 1835995136 44957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.9 Current children cumulated vsize (KiB) 1792964 [startup+12.7029 s] /proc/loadavg: 0.82 0.94 0.98 2/90 4007 /proc/meminfo: memFree=1599480/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1792964 CPUtime=14.38 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 53993 0 1 0 1412 26 0 0 18 0 13 0 148928428 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448241 47412 1331 9 0 445853 0 [pid=3842/tid=3844] ppid=3840 vsize=1792964 CPUtime=12.2 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 37784 0 1 0 1202 18 0 0 25 0 13 0 148928429 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109538342 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1792964 CPUtime=0.11 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 3679 0 0 0 10 1 0 0 16 0 13 0 148928431 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1792964 CPUtime=0.11 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 4015 0 0 0 9 2 0 0 16 0 13 0 148928431 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 53 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 40 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3851] ppid=3840 vsize=1792964 CPUtime=0.74 /proc/3842/task/3851/stat : 3851 (java) S 3840 3842 3779 0 -1 64 1872 0 0 0 74 0 0 0 16 0 13 0 148928437 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3852] ppid=3840 vsize=1792964 CPUtime=1.15 /proc/3842/task/3852/stat : 3852 (java) S 3840 3842 3779 0 -1 64 5777 0 0 0 113 2 0 0 16 0 13 0 148928437 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3853] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3853/stat : 3853 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148928437 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3854] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3854/stat : 3854 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148928437 1835995136 47412 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.38 Current children cumulated vsize (KiB) 1792964 [startup+25.5022 s] /proc/loadavg: 0.85 0.94 0.98 2/90 4052 /proc/meminfo: memFree=1571744/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1792964 CPUtime=27.29 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 61635 0 1 0 2698 31 0 0 18 0 13 0 148928428 1835995136 54321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448241 54321 1331 9 0 445853 0 [pid=3842/tid=3844] ppid=3840 vsize=1792964 CPUtime=24.86 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 38283 0 1 0 2468 18 0 0 23 0 13 0 148928429 1835995136 54321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109477971 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1792964 CPUtime=0.22 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 7102 0 0 0 19 3 0 0 16 0 13 0 148928431 1835995136 54321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1792964 CPUtime=0.23 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 7734 0 0 0 19 4 0 0 16 0 13 0 148928431 1835995136 54321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 54 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 54321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 54321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 40 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 54321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1835995136 54321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=3842] ppid=3840 vsize=1792964 CPUtime=1672.83 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 156635 0 1 0 167177 106 0 0 18 0 13 0 148928428 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448241 79866 1331 9 0 445853 0 [pid=3842/tid=3844] ppid=3840 vsize=1792964 CPUtime=1651.3 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 61241 0 1 0 165085 45 0 0 25 0 13 0 148928429 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109500853 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1792964 CPUtime=9.67 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 43144 0 0 0 945 22 0 0 17 0 13 0 148928431 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1792964 CPUtime=9.66 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 43592 0 0 0 943 23 0 0 17 0 13 0 148928431 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1792964 CPUtime=0.19 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 164 0 0 0 10 9 0 0 17 0 13 0 148928433 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 40 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3851] ppid=3840 vsize=1792964 CPUtime=0.75 /proc/3842/task/3851/stat : 3851 (java) S 3840 3842 3779 0 -1 64 1903 0 0 0 75 0 0 0 16 0 13 0 148928437 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3852] ppid=3840 vsize=1792964 CPUtime=1.16 /proc/3842/task/3852/stat : 3852 (java) S 3840 3842 3779 0 -1 64 5777 0 0 0 114 2 0 0 16 0 13 0 148928437 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3853] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3853/stat : 3853 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148928437 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3854] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3854/stat : 3854 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148928437 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=4239] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/4239/stat : 4239 (java) S 3840 3842 3779 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149079493 1835995136 79866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1672.83 Current children cumulated vsize (KiB) 1792964 [startup+1722.3 s] /proc/loadavg: 1.01 1.07 1.02 2/90 4239 /proc/meminfo: memFree=1461608/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1792964 CPUtime=1733.21 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 159052 0 1 0 173213 108 0 0 18 0 13 0 148928428 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448241 81190 1331 9 0 445853 0 [pid=3842/tid=3844] ppid=3840 vsize=1792964 CPUtime=1710.82 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 62388 0 1 0 171036 46 0 0 25 0 13 0 148928429 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109542408 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1792964 CPUtime=10.09 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 43799 0 0 0 986 23 0 0 17 0 13 0 148928431 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1792964 CPUtime=10.09 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 44201 0 0 0 985 24 0 0 16 0 13 0 148928431 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1792964 CPUtime=0.2 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 170 0 0 0 11 9 0 0 16 0 13 0 148928433 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 40 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3851] ppid=3840 vsize=1792964 CPUtime=0.75 /proc/3842/task/3851/stat : 3851 (java) S 3840 3842 3779 0 -1 64 1903 0 0 0 75 0 0 0 16 0 13 0 148928437 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3852] ppid=3840 vsize=1792964 CPUtime=1.16 /proc/3842/task/3852/stat : 3852 (java) S 3840 3842 3779 0 -1 64 5777 0 0 0 114 2 0 0 16 0 13 0 148928437 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3853] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3853/stat : 3853 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148928437 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3854] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3854/stat : 3854 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148928437 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=4239] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/4239/stat : 4239 (java) S 3840 3842 3779 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149079493 1835995136 81190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1733.21 Current children cumulated vsize (KiB) 1792964 [startup+1782.3 s] /proc/loadavg: 1.00 1.06 1.01 2/90 4239 /proc/meminfo: memFree=1458920/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1792964 CPUtime=1793.55 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 160731 0 1 0 179245 110 0 0 18 0 13 0 148928428 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448241 81809 1331 9 0 445853 0 [pid=3842/tid=3844] ppid=3840 vsize=1792964 CPUtime=1770.42 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 62397 0 1 0 176996 46 0 0 25 0 13 0 148928429 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109542408 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1792964 CPUtime=10.45 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 44766 0 0 0 1022 23 0 0 16 0 13 0 148928431 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1792964 CPUtime=10.45 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 44904 0 0 0 1021 24 0 0 16 0 13 0 148928431 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1792964 CPUtime=0.2 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 170 0 0 0 11 9 0 0 16 0 13 0 148928433 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 40 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3851] ppid=3840 vsize=1792964 CPUtime=0.75 /proc/3842/task/3851/stat : 3851 (java) S 3840 3842 3779 0 -1 64 1903 0 0 0 75 0 0 0 16 0 13 0 148928437 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3852] ppid=3840 vsize=1792964 CPUtime=1.16 /proc/3842/task/3852/stat : 3852 (java) S 3840 3842 3779 0 -1 64 5777 0 0 0 114 2 0 0 16 0 13 0 148928437 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3853] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3853/stat : 3853 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148928437 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3854] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3854/stat : 3854 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148928437 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=4239] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/4239/stat : 4239 (java) S 3840 3842 3779 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149079493 1835995136 81809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (KiB) 1792964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.7 s] /proc/loadavg: 1.00 1.06 1.01 2/90 4239 /proc/meminfo: memFree=1459240/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1792964 CPUtime=1800.02 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 160899 0 1 0 179892 110 0 0 18 0 13 0 148928428 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448241 81735 1331 9 0 445853 0 [pid=3842/tid=3844] ppid=3840 vsize=1792964 CPUtime=1776.74 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 62399 0 1 0 177628 46 0 0 17 0 13 0 148928429 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109521794 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1792964 CPUtime=10.53 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 44829 0 0 0 1029 24 0 0 16 0 13 0 148928431 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1792964 CPUtime=10.53 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 45007 0 0 0 1029 24 0 0 16 0 13 0 148928431 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1792964 CPUtime=0.2 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 170 0 0 0 11 9 0 0 16 0 13 0 148928433 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 40 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3851] ppid=3840 vsize=1792964 CPUtime=0.75 /proc/3842/task/3851/stat : 3851 (java) S 3840 3842 3779 0 -1 64 1903 0 0 0 75 0 0 0 16 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3852] ppid=3840 vsize=1792964 CPUtime=1.16 /proc/3842/task/3852/stat : 3852 (java) S 3840 3842 3779 0 -1 64 5777 0 0 0 114 2 0 0 16 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3853] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3853/stat : 3853 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3854] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3854/stat : 3854 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=4239] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/4239/stat : 4239 (java) S 3840 3842 3779 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149079493 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1792964 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1788.7 s] /proc/loadavg: 1.00 1.06 1.01 2/90 4239 /proc/meminfo: memFree=1459240/2055920 swapFree=4147256/4192956 [pid=3842] ppid=3840 vsize=1792964 CPUtime=1800.02 /proc/3842/stat : 3842 (java) S 3840 3842 3779 0 -1 0 160899 0 1 0 179892 110 0 0 18 0 13 0 148928428 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3842/statm: 448241 81735 1331 9 0 445853 0 [pid=3842/tid=3844] ppid=3840 vsize=1792964 CPUtime=1776.74 /proc/3842/task/3844/stat : 3844 (java) R 3840 3842 3779 0 -1 64 62399 0 1 0 177628 46 0 0 17 0 13 0 148928429 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109521794 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3845] ppid=3840 vsize=1792964 CPUtime=10.53 /proc/3842/task/3845/stat : 3845 (java) S 3840 3842 3779 0 -1 64 44829 0 0 0 1029 24 0 0 16 0 13 0 148928431 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3846] ppid=3840 vsize=1792964 CPUtime=10.53 /proc/3842/task/3846/stat : 3846 (java) S 3840 3842 3779 0 -1 64 45007 0 0 0 1029 24 0 0 16 0 13 0 148928431 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3847] ppid=3840 vsize=1792964 CPUtime=0.2 /proc/3842/task/3847/stat : 3847 (java) S 3840 3842 3779 0 -1 64 170 0 0 0 11 9 0 0 16 0 13 0 148928433 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3848] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3848/stat : 3848 (java) S 3840 3842 3779 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3849] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3849/stat : 3849 (java) S 3840 3842 3779 0 -1 64 40 0 0 0 0 0 0 0 16 0 13 0 148928433 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=3850] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3850/stat : 3850 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3851] ppid=3840 vsize=1792964 CPUtime=0.75 /proc/3842/task/3851/stat : 3851 (java) S 3840 3842 3779 0 -1 64 1903 0 0 0 75 0 0 0 16 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3852] ppid=3840 vsize=1792964 CPUtime=1.16 /proc/3842/task/3852/stat : 3852 (java) S 3840 3842 3779 0 -1 64 5777 0 0 0 114 2 0 0 16 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3853] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3853/stat : 3853 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3842/tid=3854] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/3854/stat : 3854 (java) S 3840 3842 3779 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148928437 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3842/tid=4239] ppid=3840 vsize=1792964 CPUtime=0 /proc/3842/task/4239/stat : 4239 (java) S 3840 3842 3779 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149079493 1835995136 81735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1792964 Child status: 143 Real time (s): 1788.77 CPU time (s): 1800.1 CPU user time (s): 1798.95 CPU system time (s): 1.15582 CPU usage (%): 100.633 Max. virtual memory (cumulated for all children) (KiB): 1796876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.95 system time used= 1.15582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 160913 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= 45615 involuntary context switches= 43929 runsolver used 1.71974 second user time and 4.84926 second system time The end
Begin job on node2 on Mon Apr 16 13:08:26 UTC 2007 IDJOB= 354852 IDBENCH= 2910 IDSOLVER= 159 FILE ID= node2/354852-1176728906 PBS_JOBID= 4559517 Free space on /tmp= 66532 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_6_50_3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354852-1176728906/sat4jPseudoResolution.jar /tmp/evaluation/354852-1176728906/instance-354852-1176728906.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-354852-1176728906 -o ROOT/results/node2/solver-354852-1176728906 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354852-1176728906/sat4jPseudoResolution.jar /tmp/evaluation/354852-1176728906/instance-354852-1176728906.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED= 95541491 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1785672 kB Buffers: 23640 kB Cached: 180784 kB SwapCached: 14400 kB Active: 80988 kB Inactive: 146324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785672 kB SwapTotal: 4192956 kB SwapFree: 4147256 kB Dirty: 3792 kB Writeback: 0 kB Mapped: 29536 kB Slab: 28448 kB Committed_AS: 7040864 kB PageTables: 1860 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= 66532 MiB End job on node2 on Mon Apr 16 13:38:17 UTC 2007