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) | 81 | 1800.17 | 1787.41 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
| MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 1782.73 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 75 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1531 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5104 |
| 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.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.16 c no version file found!!! 0.08/0.16 c sun.arch.data.model 32 0.08/0.16 c java.version 1.6.0 0.08/0.16 c os.name Linux 0.08/0.16 c os.version 2.6.9-22.EL.rootsmp 0.08/0.16 c os.arch i386 0.08/0.16 c Free memory 1651659224 0.08/0.16 c Max memory 1654456320 0.08/0.16 c Total memory 1654456320 0.08/0.16 c Number of processors 2 0.19/0.21 --- Begin Solver configuration --- 0.19/0.21 c Stops conflict analysis at the first Unique Implication Point 0.19/0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.21 c Learn all clauses as in MiniSAT 0.19/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.19/0.21 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.21 c No reason simplification 0.19/0.21 c --- End Solver configuration --- 0.19/0.21 c solving /tmp/evaluation/354917-1176732430/instance-354917-1176732430.opb 0.19/0.21 c reading problem ... 0.29/0.34 c ... done. Wall clock time 0.125s. 0.29/0.34 c CPU time (experimental) 0.27s. 0.29/0.34 c #vars 172 0.29/0.34 c #constraints 14 0.64/0.59 c SATISFIABLE 0.64/0.59 c OPTIMIZING... 0.64/0.59 c Got one! Elapsed wall clock time (in seconds):0.378 0.64/0.59 o 2590 0.81/0.63 c Got one! Elapsed wall clock time (in seconds):0.415 0.81/0.63 o 2588 0.81/0.66 c Got one! Elapsed wall clock time (in seconds):0.448 0.81/0.66 o 2586 0.81/0.69 c Got one! Elapsed wall clock time (in seconds):0.481 0.81/0.69 o 2575 0.94/0.73 c Got one! Elapsed wall clock time (in seconds):0.514 0.94/0.73 o 2573 0.94/0.76 c Got one! Elapsed wall clock time (in seconds):0.544 0.94/0.76 o 2572 0.94/0.79 c Got one! Elapsed wall clock time (in seconds):0.578 0.94/0.79 o 2565 1.08/0.83 c Got one! Elapsed wall clock time (in seconds):0.615 1.08/0.83 o 2564 1.08/0.85 c Got one! Elapsed wall clock time (in seconds):0.641 1.08/0.86 o 2506 1.08/0.88 c Got one! Elapsed wall clock time (in seconds):0.671 1.08/0.89 o 2504 1.18/0.91 c Got one! Elapsed wall clock time (in seconds):0.698 1.18/0.91 o 2497 1.18/0.94 c Got one! Elapsed wall clock time (in seconds):0.725 1.18/0.94 o 2490 1.18/0.96 c Got one! Elapsed wall clock time (in seconds):0.751 1.18/0.96 o 2488 1.18/0.99 c Got one! Elapsed wall clock time (in seconds):0.777 1.18/0.99 o 2486 1.29/1.03 c Got one! Elapsed wall clock time (in seconds):0.811 1.29/1.03 o 2461 1.29/1.06 c Got one! Elapsed wall clock time (in seconds):0.842 1.29/1.06 o 2458 1.29/1.08 c Got one! Elapsed wall clock time (in seconds):0.869 1.29/1.08 o 2360 1.39/1.12 c Got one! Elapsed wall clock time (in seconds):0.91 1.39/1.12 o 2358 1.39/1.15 c Got one! Elapsed wall clock time (in seconds):0.938 1.39/1.15 o 2357 1.56/1.20 c Got one! Elapsed wall clock time (in seconds):0.986 1.56/1.20 o 2326 1.56/1.24 c Got one! Elapsed wall clock time (in seconds):1.024 1.56/1.24 o 2288 1.76/1.32 c Got one! Elapsed wall clock time (in seconds):1.102 1.76/1.32 o 2284 1.76/1.36 c Got one! Elapsed wall clock time (in seconds):1.148 1.76/1.36 o 2279 1.96/1.42 c Got one! Elapsed wall clock time (in seconds):1.203 1.96/1.42 o 2025 1.96/1.46 c Got one! Elapsed wall clock time (in seconds):1.242 1.96/1.46 o 2021 1.96/1.48 c Got one! Elapsed wall clock time (in seconds):1.271 1.96/1.48 o 2020 2.16/1.52 c Got one! Elapsed wall clock time (in seconds):1.302 2.16/1.52 o 2018 2.16/1.54 c Got one! Elapsed wall clock time (in seconds):1.33 2.16/1.54 o 2017 2.16/1.58 c Got one! Elapsed wall clock time (in seconds):1.367 2.16/1.58 o 2015 2.36/1.63 c Got one! Elapsed wall clock time (in seconds):1.415 2.36/1.63 o 2011 2.36/1.67 c Got one! Elapsed wall clock time (in seconds):1.453 2.36/1.67 o 2010 2.36/1.70 c Got one! Elapsed wall clock time (in seconds):1.482 2.36/1.70 o 2009 2.56/1.73 c Got one! Elapsed wall clock time (in seconds):1.516 2.56/1.73 o 2007 2.56/1.76 c Got one! Elapsed wall clock time (in seconds):1.55 2.56/1.76 o 2005 2.76/1.87 c Got one! Elapsed wall clock time (in seconds):1.656 2.76/1.87 o 1994 2.89/1.94 c Got one! Elapsed wall clock time (in seconds):1.722 2.89/1.94 o 1106 3.03/2.04 c Got one! Elapsed wall clock time (in seconds):1.83 3.03/2.04 o 1104 3.12/2.11 c Got one! Elapsed wall clock time (in seconds):1.899 3.12/2.11 o 1102 3.12/2.18 c Got one! Elapsed wall clock time (in seconds):1.97 3.12/2.18 o 930 3.23/2.25 c Got one! Elapsed wall clock time (in seconds):2.036 3.23/2.25 o 928 3.32/2.30 c Got one! Elapsed wall clock time (in seconds):2.091 3.32/2.30 o 926 3.32/2.38 c Got one! Elapsed wall clock time (in seconds):2.165 3.32/2.38 o 925 3.44/2.46 c Got one! Elapsed wall clock time (in seconds):2.244 3.44/2.46 o 924 3.54/2.56 c Got one! Elapsed wall clock time (in seconds):2.347 3.54/2.56 o 922 3.83/2.73 c Got one! Elapsed wall clock time (in seconds):2.516 3.83/2.73 o 921 3.94/2.83 c Got one! Elapsed wall clock time (in seconds):2.612 3.94/2.83 o 920 3.94/2.89 c Got one! Elapsed wall clock time (in seconds):2.676 3.94/2.89 o 912 4.05/2.95 c Got one! Elapsed wall clock time (in seconds):2.739 4.05/2.95 o 911 4.15/3.03 c Got one! Elapsed wall clock time (in seconds):2.82 4.15/3.03 o 888 4.25/3.12 c Got one! Elapsed wall clock time (in seconds):2.904 4.25/3.12 o 883 4.25/3.20 c Got one! Elapsed wall clock time (in seconds):2.987 4.25/3.20 o 848 4.35/3.24 c Got one! Elapsed wall clock time (in seconds):3.026 4.35/3.24 o 846 4.35/3.30 c Got one! Elapsed wall clock time (in seconds):3.086 4.35/3.30 o 845 4.55/3.40 c Got one! Elapsed wall clock time (in seconds):3.185 4.55/3.40 o 843 4.55/3.47 c Got one! Elapsed wall clock time (in seconds):3.255 4.55/3.47 o 841 4.67/3.59 c Got one! Elapsed wall clock time (in seconds):3.378 4.67/3.59 o 839 4.79/3.68 c Got one! Elapsed wall clock time (in seconds):3.465 4.79/3.68 o 837 4.89/3.76 c Got one! Elapsed wall clock time (in seconds):3.543 4.89/3.76 o 836 5.00/3.81 c Got one! Elapsed wall clock time (in seconds):3.594 5.00/3.81 o 835 5.00/3.88 c Got one! Elapsed wall clock time (in seconds):3.666 5.00/3.88 o 833 5.12/3.99 c Got one! Elapsed wall clock time (in seconds):3.772 5.12/3.99 o 832 5.22/4.03 c Got one! Elapsed wall clock time (in seconds):3.818 5.22/4.03 o 830 5.32/4.12 c Got one! Elapsed wall clock time (in seconds):3.906 5.32/4.12 o 829 5.42/4.22 c Got one! Elapsed wall clock time (in seconds):4.006 5.42/4.22 o 828 5.52/4.34 c Got one! Elapsed wall clock time (in seconds):4.13 5.52/4.34 o 824 5.62/4.46 c Got one! Elapsed wall clock time (in seconds):4.241 5.62/4.46 o 816 5.73/4.51 c Got one! Elapsed wall clock time (in seconds):4.3 5.73/4.51 o 815 5.83/4.61 c Got one! Elapsed wall clock time (in seconds):4.397 5.83/4.61 o 814 5.83/4.67 c Got one! Elapsed wall clock time (in seconds):4.458 5.83/4.67 o 813 5.93/4.71 c Got one! Elapsed wall clock time (in seconds):4.495 5.93/4.71 o 812 6.03/4.80 c Got one! Elapsed wall clock time (in seconds):4.586 6.03/4.80 o 810 6.13/4.90 c Got one! Elapsed wall clock time (in seconds):4.687 6.13/4.90 o 808 6.23/5.00 c Got one! Elapsed wall clock time (in seconds):4.789 6.23/5.00 o 807 6.33/5.11 c Got one! Elapsed wall clock time (in seconds):4.899 6.33/5.11 o 802 6.43/5.21 c Got one! Elapsed wall clock time (in seconds):5.001 6.43/5.21 o 801 6.53/5.31 c Got one! Elapsed wall clock time (in seconds):5.1 6.53/5.31 o 799 6.63/5.42 c Got one! Elapsed wall clock time (in seconds):5.204 6.63/5.42 o 798 6.73/5.54 c Got one! Elapsed wall clock time (in seconds):5.326 6.73/5.54 o 796 6.83/5.64 c Got one! Elapsed wall clock time (in seconds):5.428 6.83/5.64 o 794 6.93/5.78 c Got one! Elapsed wall clock time (in seconds):5.564 6.93/5.78 o 792 7.19/5.96 c Got one! Elapsed wall clock time (in seconds):5.749 7.19/5.96 o 790 7.31/6.08 c Got one! Elapsed wall clock time (in seconds):5.868 7.31/6.08 o 789 7.51/6.24 c Got one! Elapsed wall clock time (in seconds):6.029 7.51/6.24 o 787 7.61/6.37 c Got one! Elapsed wall clock time (in seconds):6.155 7.61/6.37 o 777 7.81/6.50 c Got one! Elapsed wall clock time (in seconds):6.287 7.81/6.50 o 776 7.93/6.66 c Got one! Elapsed wall clock time (in seconds):6.442 7.93/6.66 o 749 8.03/6.76 c Got one! Elapsed wall clock time (in seconds):6.549 8.03/6.76 o 747 8.13/6.88 c Got one! Elapsed wall clock time (in seconds):6.663 8.13/6.88 o 700 8.25/6.97 c Got one! Elapsed wall clock time (in seconds):6.755 8.25/6.97 o 698 8.53/7.14 c Got one! Elapsed wall clock time (in seconds):6.928 8.53/7.14 o 696 8.63/7.27 c Got one! Elapsed wall clock time (in seconds):7.055 8.63/7.27 o 694 8.73/7.39 c Got one! Elapsed wall clock time (in seconds):7.177 8.73/7.39 o 693 8.94/7.53 c Got one! Elapsed wall clock time (in seconds):7.32 8.94/7.53 o 692 9.05/7.66 c Got one! Elapsed wall clock time (in seconds):7.444 9.05/7.66 o 690 9.15/7.76 c Got one! Elapsed wall clock time (in seconds):7.546 9.15/7.76 o 688 9.24/7.86 c Got one! Elapsed wall clock time (in seconds):7.642 9.24/7.86 o 686 9.35/7.99 c Got one! Elapsed wall clock time (in seconds):7.772 9.35/7.99 o 685 9.45/8.05 c Got one! Elapsed wall clock time (in seconds):7.835 9.45/8.05 o 683 9.55/8.17 c Got one! Elapsed wall clock time (in seconds):7.957 9.55/8.17 o 682 9.75/8.30 c Got one! Elapsed wall clock time (in seconds):8.091 9.75/8.31 o 680 9.85/8.43 c Got one! Elapsed wall clock time (in seconds):8.218 9.85/8.43 o 676 9.95/8.57 c Got one! Elapsed wall clock time (in seconds):8.353 9.95/8.57 o 674 10.05/8.69 c Got one! Elapsed wall clock time (in seconds):8.48 10.05/8.69 o 673 10.26/8.83 c Got one! Elapsed wall clock time (in seconds):8.615 10.26/8.83 o 671 10.35/8.97 c Got one! Elapsed wall clock time (in seconds):8.753 10.35/8.97 o 670 10.57/9.11 c Got one! Elapsed wall clock time (in seconds):8.892 10.57/9.11 o 668 10.67/9.25 c Got one! Elapsed wall clock time (in seconds):9.037 10.67/9.25 o 666 10.77/9.40 c Got one! Elapsed wall clock time (in seconds):9.182 10.77/9.40 o 664 10.97/9.53 c Got one! Elapsed wall clock time (in seconds):9.314 10.97/9.53 o 653 11.07/9.64 c Got one! Elapsed wall clock time (in seconds):9.426 11.07/9.64 o 651 11.17/9.77 c Got one! Elapsed wall clock time (in seconds):9.553 11.17/9.77 o 629 11.27/9.90 c Got one! Elapsed wall clock time (in seconds):9.686 11.27/9.90 o 627 11.47/10.01 c Got one! Elapsed wall clock time (in seconds):9.797 11.47/10.01 o 626 11.47/10.09 c Got one! Elapsed wall clock time (in seconds):9.878 11.47/10.09 o 625 11.67/10.25 c Got one! Elapsed wall clock time (in seconds):10.034 11.67/10.25 o 623 11.77/10.38 c Got one! Elapsed wall clock time (in seconds):10.171 11.77/10.38 o 620 12.00/10.57 c Got one! Elapsed wall clock time (in seconds):10.357 12.00/10.57 o 619 12.20/10.77 c Got one! Elapsed wall clock time (in seconds):10.555 12.20/10.77 o 618 12.30/10.85 c Got one! Elapsed wall clock time (in seconds):10.638 12.30/10.85 o 617 12.70/11.26 c Got one! Elapsed wall clock time (in seconds):11.043 12.70/11.26 o 616 12.80/11.40 c Got one! Elapsed wall clock time (in seconds):11.182 12.80/11.40 o 614 13.00/11.55 c Got one! Elapsed wall clock time (in seconds):11.341 13.00/11.55 o 612 13.20/11.78 c Got one! Elapsed wall clock time (in seconds):11.565 13.20/11.78 o 610 13.30/11.90 c Got one! Elapsed wall clock time (in seconds):11.683 13.30/11.90 o 608 13.63/12.10 c Got one! Elapsed wall clock time (in seconds):11.891 13.63/12.10 o 599 13.72/12.27 c Got one! Elapsed wall clock time (in seconds):12.059 13.72/12.27 o 597 13.92/12.43 c Got one! Elapsed wall clock time (in seconds):12.22 13.92/12.43 o 559 14.12/12.62 c Got one! Elapsed wall clock time (in seconds):12.409 14.12/12.62 o 557 14.22/12.76 c Got one! Elapsed wall clock time (in seconds):12.549 14.22/12.76 o 555 14.42/12.94 c Got one! Elapsed wall clock time (in seconds):12.724 14.42/12.94 o 553 14.52/13.07 c Got one! Elapsed wall clock time (in seconds):12.86 14.52/13.07 o 551 14.73/13.25 c Got one! Elapsed wall clock time (in seconds):13.034 14.73/13.25 o 550 14.82/13.40 c Got one! Elapsed wall clock time (in seconds):13.182 14.82/13.40 o 549 15.14/13.60 c Got one! Elapsed wall clock time (in seconds):13.387 15.14/13.60 o 547 15.23/13.75 c Got one! Elapsed wall clock time (in seconds):13.531 15.23/13.75 o 545 15.43/13.90 c Got one! Elapsed wall clock time (in seconds):13.691 15.43/13.90 o 544 15.53/14.04 c Got one! Elapsed wall clock time (in seconds):13.831 15.53/14.04 o 542 15.74/14.27 c Got one! Elapsed wall clock time (in seconds):14.059 15.74/14.27 o 540 15.94/14.45 c Got one! Elapsed wall clock time (in seconds):14.237 15.94/14.45 o 538 16.14/14.65 c Got one! Elapsed wall clock time (in seconds):14.433 16.14/14.65 o 531 16.34/14.83 c Got one! Elapsed wall clock time (in seconds):14.617 16.34/14.83 o 529 16.44/14.96 c Got one! Elapsed wall clock time (in seconds):14.751 16.44/14.96 o 527 16.64/15.18 c Got one! Elapsed wall clock time (in seconds):14.97 16.64/15.18 o 526 16.85/15.35 c Got one! Elapsed wall clock time (in seconds):15.134 16.85/15.35 o 524 17.05/15.56 c Got one! Elapsed wall clock time (in seconds):15.344 17.05/15.56 o 522 17.25/15.74 c Got one! Elapsed wall clock time (in seconds):15.527 17.25/15.74 o 468 17.45/15.91 c Got one! Elapsed wall clock time (in seconds):15.693 17.45/15.91 o 466 17.55/16.08 c Got one! Elapsed wall clock time (in seconds):15.866 17.55/16.08 o 464 17.85/16.30 c Got one! Elapsed wall clock time (in seconds):16.088 17.85/16.30 o 462 17.96/16.45 c Got one! Elapsed wall clock time (in seconds):16.241 17.96/16.45 o 461 18.25/16.70 c Got one! Elapsed wall clock time (in seconds):16.488 18.25/16.70 o 460 18.45/16.94 c Got one! Elapsed wall clock time (in seconds):16.723 18.45/16.94 o 458 18.65/17.13 c Got one! Elapsed wall clock time (in seconds):16.913 18.65/17.13 o 457 18.87/17.30 c Got one! Elapsed wall clock time (in seconds):17.09 18.87/17.30 o 456 19.87/18.30 c Got one! Elapsed wall clock time (in seconds):18.085 19.87/18.30 o 455 20.28/18.76 c Got one! Elapsed wall clock time (in seconds):18.547 20.28/18.76 o 454 20.88/19.36 c Got one! Elapsed wall clock time (in seconds):19.144 20.88/19.36 o 453 21.08/19.59 c Got one! Elapsed wall clock time (in seconds):19.375 21.08/19.59 o 413 21.28/19.76 c Got one! Elapsed wall clock time (in seconds):19.547 21.28/19.76 o 412 21.38/19.88 c Got one! Elapsed wall clock time (in seconds):19.663 21.38/19.88 o 410 21.68/20.13 c Got one! Elapsed wall clock time (in seconds):19.913 21.68/20.13 o 408 21.78/20.23 c Got one! Elapsed wall clock time (in seconds):20.019 21.78/20.23 o 406 21.98/20.45 c Got one! Elapsed wall clock time (in seconds):20.238 21.98/20.45 o 404 22.19/20.65 c Got one! Elapsed wall clock time (in seconds):20.433 22.19/20.65 o 403 22.40/20.89 c Got one! Elapsed wall clock time (in seconds):20.672 22.40/20.89 o 397 22.60/21.09 c Got one! Elapsed wall clock time (in seconds):20.874 22.60/21.09 o 396 22.80/21.21 c Got one! Elapsed wall clock time (in seconds):20.994 22.80/21.21 o 394 23.20/21.64 c Got one! Elapsed wall clock time (in seconds):21.424 23.20/21.64 o 392 23.40/21.82 c Got one! Elapsed wall clock time (in seconds):21.603 23.40/21.82 o 391 28.92/27.35 c Got one! Elapsed wall clock time (in seconds):27.131 28.92/27.35 o 390 29.12/27.58 c Got one! Elapsed wall clock time (in seconds):27.37 29.12/27.58 o 383 29.32/27.77 c Got one! Elapsed wall clock time (in seconds):27.553 29.32/27.77 o 381 30.32/28.74 c Got one! Elapsed wall clock time (in seconds):28.524 30.32/28.74 o 379 30.62/29.04 c Got one! Elapsed wall clock time (in seconds):28.824 30.62/29.04 o 376 31.02/29.41 c Got one! Elapsed wall clock time (in seconds):29.198 31.02/29.41 o 374 31.22/29.69 c Got one! Elapsed wall clock time (in seconds):29.472 31.22/29.69 o 372 31.84/30.22 c Got one! Elapsed wall clock time (in seconds):30.008 31.84/30.22 o 371 32.13/30.58 c Got one! Elapsed wall clock time (in seconds):30.367 32.13/30.58 o 369 33.04/31.47 c Got one! Elapsed wall clock time (in seconds):31.26 33.04/31.47 o 367 34.24/32.66 c Got one! Elapsed wall clock time (in seconds):32.449 34.24/32.66 o 366 34.44/32.88 c Got one! Elapsed wall clock time (in seconds):32.668 34.44/32.88 o 364 34.73/33.14 c Got one! Elapsed wall clock time (in seconds):32.929 34.73/33.14 o 358 34.93/33.39 c Got one! Elapsed wall clock time (in seconds):33.18 34.93/33.39 o 357 35.33/33.77 c Got one! Elapsed wall clock time (in seconds):33.553 35.33/33.77 o 355 36.86/35.23 c Got one! Elapsed wall clock time (in seconds):35.018 36.86/35.23 o 354 37.15/35.56 c Got one! Elapsed wall clock time (in seconds):35.345 37.15/35.56 o 352 37.46/35.82 c Got one! Elapsed wall clock time (in seconds):35.602 37.46/35.82 o 351 37.56/35.99 c Got one! Elapsed wall clock time (in seconds):35.778 37.56/35.99 o 349 40.76/39.12 c Got one! Elapsed wall clock time (in seconds):38.905 40.76/39.12 o 347 40.96/39.31 c Got one! Elapsed wall clock time (in seconds):39.097 40.96/39.31 o 345 41.27/39.63 c Got one! Elapsed wall clock time (in seconds):39.412 41.27/39.63 o 343 42.37/40.72 c Got one! Elapsed wall clock time (in seconds):40.51 42.37/40.72 o 341 43.58/41.99 c Got one! Elapsed wall clock time (in seconds):41.776 43.58/41.99 o 340 43.99/42.30 c Got one! Elapsed wall clock time (in seconds):42.089 43.99/42.30 o 338 44.59/42.98 c Got one! Elapsed wall clock time (in seconds):42.763 44.59/42.98 o 337 45.59/43.91 c Got one! Elapsed wall clock time (in seconds):43.692 45.59/43.91 o 335 45.99/44.37 c Got one! Elapsed wall clock time (in seconds):44.156 45.99/44.37 o 333 47.40/45.71 c Got one! Elapsed wall clock time (in seconds):45.496 47.40/45.71 o 332 47.70/46.01 c Got one! Elapsed wall clock time (in seconds):45.801 47.70/46.01 o 324 49.30/47.63 c Got one! Elapsed wall clock time (in seconds):47.418 49.30/47.63 o 322 50.21/48.57 c Got one! Elapsed wall clock time (in seconds):48.352 50.21/48.57 o 320 51.11/49.48 c Got one! Elapsed wall clock time (in seconds):49.267 51.11/49.48 o 319 52.52/50.82 c Got one! Elapsed wall clock time (in seconds):50.605 52.52/50.82 o 317 53.43/51.75 c Got one! Elapsed wall clock time (in seconds):51.533 53.43/51.75 o 315 53.83/52.16 c Got one! Elapsed wall clock time (in seconds):51.941 53.83/52.16 o 314 54.73/53.06 c Got one! Elapsed wall clock time (in seconds):52.848 54.73/53.06 o 313 55.13/53.49 c Got one! Elapsed wall clock time (in seconds):53.28 55.13/53.49 o 309 55.43/53.80 c Got one! Elapsed wall clock time (in seconds):53.586 55.43/53.80 o 308 55.64/53.99 c Got one! Elapsed wall clock time (in seconds):53.774 55.64/53.99 o 307 56.14/54.46 c Got one! Elapsed wall clock time (in seconds):54.244 56.14/54.46 o 306 56.84/55.12 c Got one! Elapsed wall clock time (in seconds):54.903 56.84/55.12 o 302 57.14/55.49 c Got one! Elapsed wall clock time (in seconds):55.273 57.14/55.49 o 300 57.44/55.79 c Got one! Elapsed wall clock time (in seconds):55.575 57.44/55.79 o 298 58.44/56.75 c Got one! Elapsed wall clock time (in seconds):56.535 58.44/56.75 o 292 59.45/57.71 c Got one! Elapsed wall clock time (in seconds):57.5 59.45/57.71 o 291 60.15/58.44 c Got one! Elapsed wall clock time (in seconds):58.222 60.15/58.44 o 287 61.35/59.67 c Got one! Elapsed wall clock time (in seconds):59.461 61.35/59.67 o 285 62.15/60.46 c Got one! Elapsed wall clock time (in seconds):60.241 62.15/60.46 o 283 64.77/63.05 c Got one! Elapsed wall clock time (in seconds):62.835 64.77/63.05 o 282 65.07/63.36 c Got one! Elapsed wall clock time (in seconds):63.15 65.07/63.36 o 281 70.11/68.38 c Got one! Elapsed wall clock time (in seconds):68.168 70.11/68.38 o 280 70.61/68.82 c Got one! Elapsed wall clock time (in seconds):68.604 70.61/68.82 o 253 71.51/69.74 c Got one! Elapsed wall clock time (in seconds):69.526 71.51/69.74 o 251 72.01/70.30 c Got one! Elapsed wall clock time (in seconds):70.088 72.01/70.30 o 249 73.02/71.22 c Got one! Elapsed wall clock time (in seconds):71.01 73.02/71.22 o 247 73.63/71.89 c Got one! Elapsed wall clock time (in seconds):71.675 73.63/71.89 o 246 78.06/76.29 c Got one! Elapsed wall clock time (in seconds):76.075 78.06/76.29 o 244 79.06/77.21 c Got one! Elapsed wall clock time (in seconds):76.994 79.06/77.21 o 243 79.56/77.77 c Got one! Elapsed wall clock time (in seconds):77.553 79.56/77.77 o 241 80.06/78.22 c Got one! Elapsed wall clock time (in seconds):78.008 80.06/78.22 o 239 81.28/79.44 c Got one! Elapsed wall clock time (in seconds):79.227 81.28/79.44 o 237 81.68/79.82 c Got one! Elapsed wall clock time (in seconds):79.606 81.68/79.82 o 235 82.09/80.24 c Got one! Elapsed wall clock time (in seconds):80.025 82.09/80.24 o 233 83.39/81.52 c Got one! Elapsed wall clock time (in seconds):81.302 83.39/81.52 o 231 87.11/85.21 c Got one! Elapsed wall clock time (in seconds):84.997 87.11/85.21 o 229 90.44/88.57 c Got one! Elapsed wall clock time (in seconds):88.357 90.44/88.57 o 227 91.64/89.73 c Got one! Elapsed wall clock time (in seconds):89.513 91.64/89.73 o 226 92.86/90.93 c Got one! Elapsed wall clock time (in seconds):90.715 92.86/90.93 o 225 95.98/94.00 c Got one! Elapsed wall clock time (in seconds):93.79 95.98/94.00 o 223 97.38/95.41 c Got one! Elapsed wall clock time (in seconds):95.197 97.38/95.41 o 222 98.60/96.70 c Got one! Elapsed wall clock time (in seconds):96.487 98.60/96.70 o 221 100.31/98.38 c Got one! Elapsed wall clock time (in seconds):98.167 100.31/98.38 o 219 101.32/99.32 c Got one! Elapsed wall clock time (in seconds):99.108 101.32/99.32 o 217 102.32/100.39 c Got one! Elapsed wall clock time (in seconds):100.181 102.32/100.39 o 216 103.44/101.43 c Got one! Elapsed wall clock time (in seconds):101.22 103.44/101.43 o 214 104.75/102.71 c Got one! Elapsed wall clock time (in seconds):102.491 104.75/102.71 o 212 105.65/103.64 c Got one! Elapsed wall clock time (in seconds):103.428 105.65/103.64 o 211 106.95/104.94 c Got one! Elapsed wall clock time (in seconds):104.725 106.95/104.94 o 209 107.96/105.98 c Got one! Elapsed wall clock time (in seconds):105.762 107.96/105.98 o 207 114.21/112.14 c Got one! Elapsed wall clock time (in seconds):111.923 114.21/112.14 o 205 114.81/112.77 c Got one! Elapsed wall clock time (in seconds):112.555 114.81/112.77 o 203 115.83/113.76 c Got one! Elapsed wall clock time (in seconds):113.545 115.83/113.76 o 202 117.53/115.47 c Got one! Elapsed wall clock time (in seconds):115.26 117.53/115.47 o 201 119.34/117.25 c Got one! Elapsed wall clock time (in seconds):117.038 119.34/117.25 o 200 119.94/117.80 c Got one! Elapsed wall clock time (in seconds):117.586 119.94/117.80 o 198 122.15/120.02 c Got one! Elapsed wall clock time (in seconds):119.809 122.15/120.02 o 196 124.18/122.06 c Got one! Elapsed wall clock time (in seconds):121.851 124.18/122.06 o 195 127.09/124.90 c Got one! Elapsed wall clock time (in seconds):124.688 127.09/124.90 o 194 133.92/131.73 c Got one! Elapsed wall clock time (in seconds):131.515 133.92/131.73 o 193 141.09/138.84 c Got one! Elapsed wall clock time (in seconds):138.63 141.09/138.84 o 191 142.90/140.64 c Got one! Elapsed wall clock time (in seconds):140.43 142.90/140.64 o 189 146.83/144.50 c Got one! Elapsed wall clock time (in seconds):144.287 146.83/144.50 o 188 149.15/146.84 c Got one! Elapsed wall clock time (in seconds):146.628 149.15/146.84 o 185 149.95/147.63 c Got one! Elapsed wall clock time (in seconds):147.417 149.95/147.63 o 183 150.25/147.93 c Got one! Elapsed wall clock time (in seconds):147.715 150.25/147.93 o 181 151.66/149.37 c Got one! Elapsed wall clock time (in seconds):149.159 151.66/149.37 o 179 153.27/150.92 c Got one! Elapsed wall clock time (in seconds):150.705 153.27/150.92 o 177 156.70/154.38 c Got one! Elapsed wall clock time (in seconds):154.164 156.70/154.38 o 176 158.71/156.36 c Got one! Elapsed wall clock time (in seconds):156.148 158.71/156.36 o 174 162.74/160.32 c Got one! Elapsed wall clock time (in seconds):160.11 162.74/160.32 o 173 168.19/165.77 c Got one! Elapsed wall clock time (in seconds):165.56 168.19/165.77 o 172 171.92/169.43 c Got one! Elapsed wall clock time (in seconds):169.219 171.92/169.43 o 170 174.04/171.58 c Got one! Elapsed wall clock time (in seconds):171.37 174.04/171.58 o 169 176.95/174.41 c Got one! Elapsed wall clock time (in seconds):174.194 176.95/174.41 o 168 180.38/177.80 c Got one! Elapsed wall clock time (in seconds):177.587 180.38/177.80 o 166 187.65/185.08 c Got one! Elapsed wall clock time (in seconds):184.87 187.65/185.08 o 164 190.26/187.65 c Got one! Elapsed wall clock time (in seconds):187.433 190.26/187.65 o 163 226.95/224.06 c Got one! Elapsed wall clock time (in seconds):223.85 226.95/224.06 o 162 229.47/226.55 c Got one! Elapsed wall clock time (in seconds):226.34 229.47/226.55 o 160 231.38/228.49 c Got one! Elapsed wall clock time (in seconds):228.278 231.38/228.49 o 159 234.72/231.73 c Got one! Elapsed wall clock time (in seconds):231.519 234.72/231.73 o 157 238.44/235.40 c Got one! Elapsed wall clock time (in seconds):235.189 238.44/235.40 o 155 239.95/236.97 c Got one! Elapsed wall clock time (in seconds):236.758 239.95/236.97 o 154 244.59/241.52 c Got one! Elapsed wall clock time (in seconds):241.307 244.59/241.52 o 153 248.22/245.18 c Got one! Elapsed wall clock time (in seconds):244.97 248.22/245.18 o 152 252.04/248.92 c Got one! Elapsed wall clock time (in seconds):248.703 252.04/248.92 o 150 254.94/251.86 c Got one! Elapsed wall clock time (in seconds):251.645 254.94/251.86 o 149 258.78/255.68 c Got one! Elapsed wall clock time (in seconds):255.467 258.78/255.68 o 148 267.44/264.25 c Got one! Elapsed wall clock time (in seconds):264.04 267.44/264.25 o 146 277.82/274.59 c Got one! Elapsed wall clock time (in seconds):274.38 277.82/274.59 o 145 280.33/277.06 c Got one! Elapsed wall clock time (in seconds):276.849 280.33/277.06 o 141 284.46/281.12 c Got one! Elapsed wall clock time (in seconds):280.907 284.46/281.12 o 139 288.58/285.25 c Got one! Elapsed wall clock time (in seconds):285.038 288.58/285.25 o 138 291.51/288.15 c Got one! Elapsed wall clock time (in seconds):287.934 291.51/288.15 o 137 293.92/290.53 c Got one! Elapsed wall clock time (in seconds):290.32 293.92/290.53 o 135 297.56/294.12 c Got one! Elapsed wall clock time (in seconds):293.911 297.56/294.12 o 134 298.85/295.41 c Got one! Elapsed wall clock time (in seconds):295.195 298.85/295.41 o 133 305.90/302.49 c Got one! Elapsed wall clock time (in seconds):302.279 305.90/302.49 o 131 315.58/312.08 c Got one! Elapsed wall clock time (in seconds):311.87 315.58/312.08 o 130 317.99/314.46 c Got one! Elapsed wall clock time (in seconds):314.247 317.99/314.46 o 128 318.79/315.21 c Got one! Elapsed wall clock time (in seconds):314.993 318.79/315.21 o 127 326.56/323.00 c Got one! Elapsed wall clock time (in seconds):322.781 326.56/323.00 o 123 330.08/326.47 c Got one! Elapsed wall clock time (in seconds):326.253 330.08/326.47 o 122 334.11/330.43 c Got one! Elapsed wall clock time (in seconds):330.217 334.11/330.43 o 121 336.82/333.13 c Got one! Elapsed wall clock time (in seconds):332.912 336.82/333.13 o 114 346.28/342.55 c Got one! Elapsed wall clock time (in seconds):342.341 346.28/342.55 o 113 349.60/345.89 c Got one! Elapsed wall clock time (in seconds):345.672 349.60/345.89 o 111 352.81/349.08 c Got one! Elapsed wall clock time (in seconds):348.871 352.81/349.08 o 109 358.56/354.74 c Got one! Elapsed wall clock time (in seconds):354.531 358.56/354.75 o 107 430.62/426.27 c Got one! Elapsed wall clock time (in seconds):426.052 430.62/426.27 o 103 450.70/446.24 c Got one! Elapsed wall clock time (in seconds):446.022 450.70/446.24 o 101 462.07/457.59 c Got one! Elapsed wall clock time (in seconds):457.373 462.07/457.59 o 99 562.28/557.18 c Got one! Elapsed wall clock time (in seconds):556.962 562.28/557.18 o 98 602.21/596.77 c Got one! Elapsed wall clock time (in seconds):596.553 602.21/596.77 o 96 613.47/607.90 c Got one! Elapsed wall clock time (in seconds):607.689 613.47/607.90 o 95 646.97/641.25 c Got one! Elapsed wall clock time (in seconds):641.035 646.97/641.25 o 93 659.34/653.57 c Got one! Elapsed wall clock time (in seconds):653.356 659.34/653.57 o 92 699.55/693.42 c Got one! Elapsed wall clock time (in seconds):693.202 699.55/693.42 o 91 709.09/702.96 c Got one! Elapsed wall clock time (in seconds):702.742 709.09/702.96 o 89 718.62/712.42 c Got one! Elapsed wall clock time (in seconds):712.208 718.62/712.42 o 87 730.00/723.72 c Got one! Elapsed wall clock time (in seconds):723.508 730.00/723.72 o 86 756.17/749.80 c Got one! Elapsed wall clock time (in seconds):749.584 756.27/749.80 o 84 786.72/780.02 c Got one! Elapsed wall clock time (in seconds):779.802 786.72/780.02 o 82 799.29/792.57 c Got one! Elapsed wall clock time (in seconds):792.36 799.29/792.57 o 81 1800.06/1787.31 c starts : 1322 1800.06/1787.31 c conflicts : 808333 1800.06/1787.31 c decisions : 1025706 1800.06/1787.31 c propagations : 12049412 1800.06/1787.31 c inspects : 4062629602 1800.06/1787.31 c learnt literals : 0 1800.06/1787.31 c learnt binary clauses : 0 1800.06/1787.31 c learnt ternary clauses : 0 1800.06/1787.31 c learnt clauses : 808333 1800.06/1787.31 c root simplifications : 0 1800.06/1787.31 c removed literals (reason simplification) : 0 1800.06/1787.31 c reason swapping (by a shorter reason) : 0 1800.06/1787.31 c Calls to reduceDB : 0 1800.06/1787.31 c speed (decisions/second) : 1031.1307790284689 1800.06/1787.31 c non guided choices 8782 1800.06/1787.31 s SATISFIABLE 1800.06/1787.31 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 1800.06/1787.31 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.06/1787.31 v x57 -x58 x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 1800.06/1787.31 v x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.06/1787.31 v -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 x119 -x120 x121 x122 x123 x124 -x125 -x126 -x127 x128 x129 -x130 1800.06/1787.31 v x131 x132 x133 x134 -x135 -x136 x137 x138 -x139 -x140 -x141 -x142 x143 x144 x145 x146 -x147 x148 -x149 -x150 x151 -x152 x153 1800.06/1787.31 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 x163 x164 x165 -x166 x167 x168 x169 -x170 -x171 -x172 1800.06/1787.31 c objective function=81 1800.06/1787.31 c Total wall clock time (ms): 1787.101
OK 81
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-354917-1176732430 -o ROOT/results/node67/solver-354917-1176732430 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354917-1176732430/sat4jPseudoResolution.jar /tmp/evaluation/354917-1176732430/instance-354917-1176732430.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.95 0.98 0.99 3/64 19858 /proc/meminfo: memFree=1772712/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=18568 CPUtime=0 /proc/19858/stat : 19858 (runsolver) R 19856 19858 18474 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 149232533 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 271638392103 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/19858/statm: 4642 292 257 24 0 2626 0 [startup+0.028007 s] /proc/loadavg: 0.95 0.98 0.99 3/64 19858 /proc/meminfo: memFree=1772712/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1772952 CPUtime=0.01 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 1720 0 1 0 0 1 0 0 18 0 2 0 149232533 1815502848 1470 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 443238 1481 381 9 0 441252 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1772952 [startup+0.102012 s] /proc/loadavg: 0.95 0.98 0.99 3/64 19858 /proc/meminfo: memFree=1772712/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1780108 CPUtime=0.08 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 3934 0 1 0 6 2 0 0 18 0 12 0 149232533 1822830592 3677 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 445027 3677 1119 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301051 s] /proc/loadavg: 0.95 0.98 0.99 3/64 19858 /proc/meminfo: memFree=1772712/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1782436 CPUtime=0.29 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 5074 0 1 0 26 3 0 0 18 0 12 0 149232533 1825214464 4813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 445609 4813 1264 9 0 443221 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1782436 [startup+0.701122 s] /proc/loadavg: 0.95 0.98 0.99 3/64 19858 /proc/meminfo: memFree=1772712/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1784784 CPUtime=0.94 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 8132 0 1 0 90 4 0 0 18 0 12 0 149232533 1827618816 7127 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 446196 7127 1308 9 0 443808 0 Current children cumulated CPU time (s) 0.94 Current children cumulated vsize (KiB) 1784784 [startup+1.50228 s] /proc/loadavg: 0.96 0.98 0.99 3/77 19885 /proc/meminfo: memFree=1734080/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1793552 CPUtime=2.16 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 21430 0 1 0 205 11 0 0 18 0 13 0 149232533 1836597248 19214 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448388 19215 1313 9 0 446000 0 [pid=19858/tid=19860] ppid=19856 vsize=1793552 CPUtime=1.19 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 15747 0 1 0 111 8 0 0 19 0 13 0 149232535 1836597248 19216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109506619 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1793552 CPUtime=0 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 149232536 1836597248 19217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1793552 CPUtime=0 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 149232536 1836597248 19218 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1793552 CPUtime=0 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 149232539 1836597248 19219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1793552 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 149232539 1836597248 19220 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1793552 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 149232539 1836597248 19220 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1793552 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1836597248 19222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19867] ppid=19856 vsize=1793552 CPUtime=0.62 /proc/19858/task/19867/stat : 19867 (java) R 19856 19858 18474 0 -1 64 3615 0 0 0 61 1 0 0 19 0 13 0 149232543 1836597248 19223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105432592 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19868] ppid=19856 vsize=1793552 CPUtime=0.32 /proc/19858/task/19868/stat : 19868 (java) S 19856 19858 18474 0 -1 64 1342 0 0 0 32 0 0 0 16 0 13 0 149232543 1836597248 19223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19869] ppid=19856 vsize=1793552 CPUtime=0 /proc/19858/task/19869/stat : 19869 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 149232543 1836597248 19224 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19870] ppid=19856 vsize=1793552 CPUtime=0 /proc/19858/task/19870/stat : 19870 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 149232543 1836597248 19225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.16 Current children cumulated vsize (KiB) 1793552 [startup+3.10156 s] /proc/loadavg: 0.96 0.98 0.99 2/77 19908 /proc/meminfo: memFree=1661560/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1794768 CPUtime=4.25 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 47683 0 1 0 400 25 0 0 18 0 13 0 149232533 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448692 42860 1323 9 0 446304 0 [pid=19858/tid=19860] ppid=19856 vsize=1794768 CPUtime=2.65 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 37721 0 1 0 246 19 0 0 21 0 13 0 149232535 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109506283 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1794768 CPUtime=0 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 537 0 0 0 0 0 0 0 16 0 13 0 149232536 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1794768 CPUtime=0 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 555 0 0 0 0 0 0 0 17 0 13 0 149232536 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1794768 CPUtime=0 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 149232539 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1794768 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 149232539 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1794768 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 149232539 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1794768 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19867] ppid=19856 vsize=1794768 CPUtime=1 /proc/19858/task/19867/stat : 19867 (java) S 19856 19858 18474 0 -1 64 5452 0 0 0 98 2 0 0 16 0 13 0 149232543 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19868] ppid=19856 vsize=1794768 CPUtime=0.53 /proc/19858/task/19868/stat : 19868 (java) S 19856 19858 18474 0 -1 64 2676 0 0 0 53 0 0 0 17 0 13 0 149232543 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19869] ppid=19856 vsize=1794768 CPUtime=0 /proc/19858/task/19869/stat : 19869 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 149232543 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19870] ppid=19856 vsize=1794768 CPUtime=0 /proc/19858/task/19870/stat : 19870 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 149232543 1837842432 42860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 1794768 [startup+6.30216 s] /proc/loadavg: 0.96 0.98 0.99 2/77 19947 /proc/meminfo: memFree=1599264/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1793360 CPUtime=7.61 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 50555 0 1 0 734 27 0 0 18 0 13 0 149232533 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448340 45289 1331 9 0 445952 0 [pid=19858/tid=19860] ppid=19856 vsize=1793360 CPUtime=5.71 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 37742 0 1 0 551 20 0 0 17 0 13 0 149232535 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109508154 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1793360 CPUtime=0.04 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 2062 0 0 0 3 1 0 0 16 0 13 0 149232536 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1793360 CPUtime=0.04 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 1782 0 0 0 3 1 0 0 16 0 13 0 149232536 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1793360 CPUtime=0 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 149232539 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1793360 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 149232539 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1793360 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 149232539 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1793360 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19867] ppid=19856 vsize=1793360 CPUtime=1.11 /proc/19858/task/19867/stat : 19867 (java) S 19856 19858 18474 0 -1 64 5480 0 0 0 109 2 0 0 15 0 13 0 149232543 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19868] ppid=19856 vsize=1793360 CPUtime=0.65 /proc/19858/task/19868/stat : 19868 (java) S 19856 19858 18474 0 -1 64 2690 0 0 0 65 0 0 0 17 0 13 0 149232543 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19869] ppid=19856 vsize=1793360 CPUtime=0 /proc/19858/task/19869/stat : 19869 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 149232543 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19870] ppid=19856 vsize=1793360 CPUtime=0 /proc/19858/task/19870/stat : 19870 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 149232543 1836400640 45289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.61 Current children cumulated vsize (KiB) 1793360 [startup+12.7013 s] /proc/loadavg: 0.96 0.98 0.99 4/77 19995 /proc/meminfo: memFree=1579272/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1793264 CPUtime=14.22 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 56445 0 1 0 1391 31 0 0 18 0 13 0 149232533 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448316 49400 1331 9 0 445928 0 [pid=19858/tid=19860] ppid=19856 vsize=1793264 CPUtime=11.96 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 37765 0 1 0 1176 20 0 0 24 0 13 0 149232535 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109490826 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1793264 CPUtime=0.14 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 5299 0 0 0 12 2 0 0 16 0 13 0 149232536 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1793264 CPUtime=0.14 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 4331 0 0 0 12 2 0 0 16 0 13 0 149232536 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 46 0 0 0 0 0 0 0 16 0 13 0 149232539 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 149232539 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 149232539 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19867] ppid=19856 vsize=1793264 CPUtime=1.16 /proc/19858/task/19867/stat : 19867 (java) S 19856 19858 18474 0 -1 64 5481 0 0 0 114 2 0 0 16 0 13 0 149232543 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19868] ppid=19856 vsize=1793264 CPUtime=0.74 /proc/19858/task/19868/stat : 19868 (java) S 19856 19858 18474 0 -1 64 2700 0 0 0 74 0 0 0 16 0 13 0 149232543 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19869] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19869/stat : 19869 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 149232543 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19870] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19870/stat : 19870 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 149232543 1836302336 49400 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.22 Current children cumulated vsize (KiB) 1793264 [startup+25.5027 s] /proc/loadavg: 0.97 0.98 0.99 2/77 20040 /proc/meminfo: memFree=1556864/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1793264 CPUtime=27.11 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 63289 0 1 0 2676 35 0 0 18 0 13 0 149232533 1836302336 54805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448316 54805 1331 9 0 445928 0 [pid=19858/tid=19860] ppid=19856 vsize=1793264 CPUtime=24.64 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 38328 0 1 0 2443 21 0 0 25 0 13 0 149232535 1836302336 54805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109508154 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1793264 CPUtime=0.24 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 8493 0 0 0 20 4 0 0 17 0 13 0 149232536 1836302336 54805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1793264 CPUtime=0.23 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 7417 0 0 0 19 4 0 0 17 0 13 0 149232536 1836302336 54805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 47 0 0 0 0 0 0 0 16 0 13 0 149232539 1836302336 54805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 149232539 1836302336 54805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 149232539 1836302336 54805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1793264 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1836302336 54805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=19858] ppid=19856 vsize=1793232 CPUtime=1674.54 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 196121 0 1 0 167338 116 0 0 18 0 13 0 149232533 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448308 106926 1331 9 0 445920 0 [pid=19858/tid=19860] ppid=19856 vsize=1793232 CPUtime=1648.25 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 85088 0 1 0 164780 45 0 0 25 0 13 0 149232535 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109546632 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1793232 CPUtime=12.02 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 46098 0 0 0 1179 23 0 0 16 0 13 0 149232536 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1793232 CPUtime=11.99 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 55694 0 0 0 1170 29 0 0 17 0 13 0 149232536 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1793232 CPUtime=0.25 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 237 0 0 0 12 13 0 0 16 0 13 0 149232539 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19867] ppid=19856 vsize=1793232 CPUtime=1.18 /proc/19858/task/19867/stat : 19867 (java) S 19856 19858 18474 0 -1 64 5481 0 0 0 116 2 0 0 17 0 13 0 149232543 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19868] ppid=19856 vsize=1793232 CPUtime=0.75 /proc/19858/task/19868/stat : 19868 (java) S 19856 19858 18474 0 -1 64 2700 0 0 0 75 0 0 0 17 0 13 0 149232543 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19869] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19869/stat : 19869 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 149232543 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19870] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19870/stat : 19870 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 149232543 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=20195] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/20195/stat : 20195 (java) S 19856 19858 18474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149311791 1836269568 106926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1674.54 Current children cumulated vsize (KiB) 1793232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 20195 /proc/meminfo: memFree=1341832/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1793232 CPUtime=1734.65 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 197614 0 1 0 173348 117 0 0 18 0 13 0 149232533 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448308 107956 1331 9 0 445920 0 [pid=19858/tid=19860] ppid=19856 vsize=1793232 CPUtime=1708.06 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 85092 0 1 0 170761 45 0 0 25 0 13 0 149232535 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109546632 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1793232 CPUtime=12.16 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 46722 0 0 0 1193 23 0 0 17 0 13 0 149232536 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1793232 CPUtime=12.14 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 56559 0 0 0 1185 29 0 0 16 0 13 0 149232536 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1793232 CPUtime=0.25 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 237 0 0 0 12 13 0 0 16 0 13 0 149232539 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19867] ppid=19856 vsize=1793232 CPUtime=1.18 /proc/19858/task/19867/stat : 19867 (java) S 19856 19858 18474 0 -1 64 5481 0 0 0 116 2 0 0 17 0 13 0 149232543 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19868] ppid=19856 vsize=1793232 CPUtime=0.75 /proc/19858/task/19868/stat : 19868 (java) S 19856 19858 18474 0 -1 64 2700 0 0 0 75 0 0 0 17 0 13 0 149232543 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19869] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19869/stat : 19869 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 149232543 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19870] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19870/stat : 19870 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 149232543 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=20195] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/20195/stat : 20195 (java) S 19856 19858 18474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149311791 1836269568 107956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1734.65 Current children cumulated vsize (KiB) 1793232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 20195 /proc/meminfo: memFree=1321608/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1793232 CPUtime=1795.05 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 204533 0 1 0 179385 120 0 0 18 0 13 0 149232533 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448308 112937 1331 9 0 445920 0 [pid=19858/tid=19860] ppid=19856 vsize=1793232 CPUtime=1767.55 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 86682 0 1 0 176709 46 0 0 25 0 13 0 149232535 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109546593 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1793232 CPUtime=12.6 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 47882 0 0 0 1237 23 0 0 16 0 13 0 149232536 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1793232 CPUtime=12.6 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 60728 0 0 0 1230 30 0 0 16 0 13 0 149232536 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1793232 CPUtime=0.25 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 237 0 0 0 12 13 0 0 16 0 13 0 149232539 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19867] ppid=19856 vsize=1793232 CPUtime=1.18 /proc/19858/task/19867/stat : 19867 (java) S 19856 19858 18474 0 -1 64 5481 0 0 0 116 2 0 0 17 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19868] ppid=19856 vsize=1793232 CPUtime=0.75 /proc/19858/task/19868/stat : 19868 (java) S 19856 19858 18474 0 -1 64 2700 0 0 0 75 0 0 0 17 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19869] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19869/stat : 19869 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19870] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19870/stat : 19870 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=20195] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/20195/stat : 20195 (java) S 19856 19858 18474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149311791 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1795.05 Current children cumulated vsize (KiB) 1793232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 20195 /proc/meminfo: memFree=1321608/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1793232 CPUtime=1800.06 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 204533 0 1 0 179886 120 0 0 18 0 13 0 149232533 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448308 112937 1331 9 0 445920 0 [pid=19858/tid=19860] ppid=19856 vsize=1793232 CPUtime=1772.55 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 86682 0 1 0 177209 46 0 0 25 0 13 0 149232535 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109518132 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1793232 CPUtime=12.6 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 47882 0 0 0 1237 23 0 0 16 0 13 0 149232536 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1793232 CPUtime=12.6 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 60728 0 0 0 1230 30 0 0 16 0 13 0 149232536 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1793232 CPUtime=0.25 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 237 0 0 0 12 13 0 0 16 0 13 0 149232539 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19867] ppid=19856 vsize=1793232 CPUtime=1.18 /proc/19858/task/19867/stat : 19867 (java) S 19856 19858 18474 0 -1 64 5481 0 0 0 116 2 0 0 17 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19868] ppid=19856 vsize=1793232 CPUtime=0.75 /proc/19858/task/19868/stat : 19868 (java) S 19856 19858 18474 0 -1 64 2700 0 0 0 75 0 0 0 17 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19869] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19869/stat : 19869 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19870] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19870/stat : 19870 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=20195] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/20195/stat : 20195 (java) S 19856 19858 18474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149311791 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1793232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 20195 /proc/meminfo: memFree=1321608/2055920 swapFree=4183964/4192956 [pid=19858] ppid=19856 vsize=1793232 CPUtime=1800.06 /proc/19858/stat : 19858 (java) S 19856 19858 18474 0 -1 0 204533 0 1 0 179886 120 0 0 18 0 13 0 149232533 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19858/statm: 448308 112937 1331 9 0 445920 0 [pid=19858/tid=19860] ppid=19856 vsize=1793232 CPUtime=1772.55 /proc/19858/task/19860/stat : 19860 (java) R 19856 19858 18474 0 -1 64 86682 0 1 0 177209 46 0 0 25 0 13 0 149232535 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109518132 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19861] ppid=19856 vsize=1793232 CPUtime=12.6 /proc/19858/task/19861/stat : 19861 (java) S 19856 19858 18474 0 -1 64 47882 0 0 0 1237 23 0 0 16 0 13 0 149232536 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19862] ppid=19856 vsize=1793232 CPUtime=12.6 /proc/19858/task/19862/stat : 19862 (java) S 19856 19858 18474 0 -1 64 60728 0 0 0 1230 30 0 0 16 0 13 0 149232536 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19863] ppid=19856 vsize=1793232 CPUtime=0.25 /proc/19858/task/19863/stat : 19863 (java) S 19856 19858 18474 0 -1 64 237 0 0 0 12 13 0 0 16 0 13 0 149232539 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19864] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19864/stat : 19864 (java) S 19856 19858 18474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19865] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19865/stat : 19865 (java) S 19856 19858 18474 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 149232539 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19866] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19866/stat : 19866 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19867] ppid=19856 vsize=1793232 CPUtime=1.18 /proc/19858/task/19867/stat : 19867 (java) S 19856 19858 18474 0 -1 64 5481 0 0 0 116 2 0 0 17 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19868] ppid=19856 vsize=1793232 CPUtime=0.75 /proc/19858/task/19868/stat : 19868 (java) S 19856 19858 18474 0 -1 64 2700 0 0 0 75 0 0 0 17 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19858/tid=19869] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19869/stat : 19869 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=19870] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/19870/stat : 19870 (java) S 19856 19858 18474 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 149232543 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19858/tid=20195] ppid=19856 vsize=1793232 CPUtime=0 /proc/19858/task/20195/stat : 20195 (java) S 19856 19858 18474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 149311791 1836269568 112937 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1793232 Child status: 143 Real time (s): 1787.41 CPU time (s): 1800.17 CPU user time (s): 1798.89 CPU system time (s): 1.27481 CPU usage (%): 100.714 Max. virtual memory (cumulated for all children) (KiB): 1796960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.89 system time used= 1.27481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 204547 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= 46425 involuntary context switches= 42674 runsolver used 2.11168 second user time and 4.93525 second system time The end
Begin job on node67 on Mon Apr 16 14:07:10 UTC 2007 IDJOB= 354917 IDBENCH= 2921 IDSOLVER= 159 FILE ID= node67/354917-1176732430 PBS_JOBID= 4559487 Free space on /tmp= 66544 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_7_60_4.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354917-1176732430/sat4jPseudoResolution.jar /tmp/evaluation/354917-1176732430/instance-354917-1176732430.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-354917-1176732430 -o ROOT/results/node67/solver-354917-1176732430 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354917-1176732430/sat4jPseudoResolution.jar /tmp/evaluation/354917-1176732430/instance-354917-1176732430.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED= 826919470 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1773320 kB Buffers: 17340 kB Cached: 196340 kB SwapCached: 3580 kB Active: 25656 kB Inactive: 199040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1773320 kB SwapTotal: 4192956 kB SwapFree: 4183964 kB Dirty: 3672 kB Writeback: 0 kB Mapped: 16524 kB Slab: 43832 kB Committed_AS: 214440 kB PageTables: 1456 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= 66544 MiB End job on node67 on Mon Apr 16 14:37:00 UTC 2007