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) | 342 | 1800.13 | 1787.02 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
| MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 44 |
| Best CPU time to get the best result obtained on this benchmark | 1802.11 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 44 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 84 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6154 |
| 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.19/0.20 --- Begin Solver configuration --- 0.19/0.20 c Stops conflict analysis at the first Unique Implication Point 0.19/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.20 c Learn all clauses as in MiniSAT 0.19/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.19/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.20 c No reason simplification 0.19/0.20 c --- End Solver configuration --- 0.19/0.20 c solving /tmp/evaluation/354826-1176727501/instance-354826-1176727501.opb 0.19/0.20 c reading problem ... 0.31/0.37 c ... done. Wall clock time 0.165s. 0.31/0.37 c CPU time (experimental) 0.3s. 0.31/0.37 c #vars 198 0.31/0.37 c #constraints 16 0.84/0.63 c SATISFIABLE 0.84/0.63 c OPTIMIZING... 0.84/0.63 c Got one! Elapsed wall clock time (in seconds):0.432 0.84/0.64 o 2221 0.84/0.68 c Got one! Elapsed wall clock time (in seconds):0.482 0.84/0.68 o 2220 0.96/0.73 c Got one! Elapsed wall clock time (in seconds):0.53 0.96/0.73 o 2218 0.96/0.77 c Got one! Elapsed wall clock time (in seconds):0.569 0.96/0.77 o 2217 1.10/0.82 c Got one! Elapsed wall clock time (in seconds):0.619 1.10/0.82 o 2215 1.10/0.86 c Got one! Elapsed wall clock time (in seconds):0.659 1.10/0.86 o 2213 1.21/0.90 c Got one! Elapsed wall clock time (in seconds):0.696 1.21/0.90 o 2212 1.21/0.94 c Got one! Elapsed wall clock time (in seconds):0.735 1.21/0.94 o 2161 1.21/0.98 c Got one! Elapsed wall clock time (in seconds):0.775 1.21/0.98 o 2159 1.32/1.03 c Got one! Elapsed wall clock time (in seconds):0.827 1.32/1.03 o 2155 1.32/1.06 c Got one! Elapsed wall clock time (in seconds):0.863 1.32/1.06 o 2153 1.42/1.11 c Got one! Elapsed wall clock time (in seconds):0.907 1.42/1.11 o 2149 1.42/1.14 c Got one! Elapsed wall clock time (in seconds):0.939 1.42/1.14 o 2135 1.42/1.18 c Got one! Elapsed wall clock time (in seconds):0.978 1.42/1.18 o 2125 1.58/1.22 c Got one! Elapsed wall clock time (in seconds):1.015 1.58/1.22 o 2051 1.58/1.28 c Got one! Elapsed wall clock time (in seconds):1.076 1.58/1.28 o 2048 1.77/1.33 c Got one! Elapsed wall clock time (in seconds):1.127 1.77/1.33 o 2044 1.97/1.40 c Got one! Elapsed wall clock time (in seconds):1.199 1.97/1.40 o 2043 1.97/1.44 c Got one! Elapsed wall clock time (in seconds):1.235 1.97/1.44 o 2029 1.97/1.49 c Got one! Elapsed wall clock time (in seconds):1.284 1.97/1.49 o 2028 2.18/1.54 c Got one! Elapsed wall clock time (in seconds):1.343 2.18/1.54 o 2021 2.37/1.63 c Got one! Elapsed wall clock time (in seconds):1.424 2.37/1.63 o 1983 2.57/1.70 c Got one! Elapsed wall clock time (in seconds):1.499 2.57/1.70 o 1981 2.57/1.75 c Got one! Elapsed wall clock time (in seconds):1.549 2.57/1.75 o 1711 2.77/1.80 c Got one! Elapsed wall clock time (in seconds):1.6 2.77/1.80 o 1666 2.77/1.88 c Got one! Elapsed wall clock time (in seconds):1.678 2.77/1.88 o 1664 2.96/1.96 c Got one! Elapsed wall clock time (in seconds):1.759 2.96/1.96 o 1528 3.16/2.03 c Got one! Elapsed wall clock time (in seconds):1.831 3.16/2.03 o 1289 3.26/2.11 c Got one! Elapsed wall clock time (in seconds):1.913 3.26/2.11 o 1268 3.44/2.23 c Got one! Elapsed wall clock time (in seconds):2.027 3.44/2.23 o 1254 3.54/2.32 c Got one! Elapsed wall clock time (in seconds):2.114 3.54/2.32 o 929 3.63/2.41 c Got one! Elapsed wall clock time (in seconds):2.212 3.63/2.41 o 927 3.63/2.49 c Got one! Elapsed wall clock time (in seconds):2.288 3.63/2.49 o 926 3.83/2.62 c Got one! Elapsed wall clock time (in seconds):2.423 3.83/2.63 o 924 3.94/2.73 c Got one! Elapsed wall clock time (in seconds):2.528 3.94/2.73 o 923 4.06/2.83 c Got one! Elapsed wall clock time (in seconds):2.627 4.06/2.83 o 921 4.16/2.94 c Got one! Elapsed wall clock time (in seconds):2.737 4.16/2.94 o 920 4.26/3.01 c Got one! Elapsed wall clock time (in seconds):2.812 4.26/3.01 o 910 4.44/3.12 c Got one! Elapsed wall clock time (in seconds):2.916 4.44/3.12 o 909 4.56/3.21 c Got one! Elapsed wall clock time (in seconds):3.008 4.56/3.21 o 907 4.56/3.28 c Got one! Elapsed wall clock time (in seconds):3.076 4.56/3.28 o 805 4.66/3.37 c Got one! Elapsed wall clock time (in seconds):3.173 4.66/3.37 o 804 4.76/3.45 c Got one! Elapsed wall clock time (in seconds):3.253 4.76/3.45 o 803 4.86/3.53 c Got one! Elapsed wall clock time (in seconds):3.328 4.86/3.53 o 802 4.96/3.64 c Got one! Elapsed wall clock time (in seconds):3.434 4.96/3.64 o 788 5.08/3.72 c Got one! Elapsed wall clock time (in seconds):3.519 5.08/3.72 o 787 5.18/3.84 c Got one! Elapsed wall clock time (in seconds):3.636 5.18/3.84 o 786 5.28/3.90 c Got one! Elapsed wall clock time (in seconds):3.7 5.28/3.90 o 784 5.40/4.00 c Got one! Elapsed wall clock time (in seconds):3.799 5.40/4.00 o 783 5.40/4.08 c Got one! Elapsed wall clock time (in seconds):3.882 5.40/4.08 o 781 5.51/4.19 c Got one! Elapsed wall clock time (in seconds):3.984 5.51/4.19 o 780 5.62/4.27 c Got one! Elapsed wall clock time (in seconds):4.07 5.62/4.27 o 778 5.74/4.36 c Got one! Elapsed wall clock time (in seconds):4.158 5.74/4.36 o 777 5.84/4.45 c Got one! Elapsed wall clock time (in seconds):4.251 5.84/4.45 o 733 5.94/4.54 c Got one! Elapsed wall clock time (in seconds):4.333 5.94/4.54 o 732 6.06/4.66 c Got one! Elapsed wall clock time (in seconds):4.462 6.06/4.66 o 730 6.16/4.79 c Got one! Elapsed wall clock time (in seconds):4.586 6.16/4.79 o 729 6.26/4.88 c Got one! Elapsed wall clock time (in seconds):4.678 6.26/4.88 o 727 6.36/4.98 c Got one! Elapsed wall clock time (in seconds):4.777 6.36/4.98 o 726 6.46/5.03 c Got one! Elapsed wall clock time (in seconds):4.832 6.46/5.03 o 725 6.56/5.14 c Got one! Elapsed wall clock time (in seconds):4.94 6.56/5.14 o 724 6.66/5.27 c Got one! Elapsed wall clock time (in seconds):5.067 6.66/5.27 o 723 6.76/5.34 c Got one! Elapsed wall clock time (in seconds):5.138 6.76/5.34 o 721 6.86/5.45 c Got one! Elapsed wall clock time (in seconds):5.253 6.86/5.45 o 720 6.96/5.60 c Got one! Elapsed wall clock time (in seconds):5.396 6.96/5.60 o 718 7.16/5.71 c Got one! Elapsed wall clock time (in seconds):5.508 7.16/5.71 o 717 7.26/5.84 c Got one! Elapsed wall clock time (in seconds):5.638 7.26/5.84 o 716 7.36/5.96 c Got one! Elapsed wall clock time (in seconds):5.758 7.36/5.96 o 715 7.58/6.13 c Got one! Elapsed wall clock time (in seconds):5.926 7.58/6.13 o 711 7.74/6.25 c Got one! Elapsed wall clock time (in seconds):6.05 7.74/6.25 o 710 7.84/6.36 c Got one! Elapsed wall clock time (in seconds):6.162 7.84/6.36 o 709 8.04/6.51 c Got one! Elapsed wall clock time (in seconds):6.312 8.04/6.51 o 708 8.14/6.63 c Got one! Elapsed wall clock time (in seconds):6.426 8.14/6.63 o 707 8.24/6.77 c Got one! Elapsed wall clock time (in seconds):6.569 8.24/6.77 o 705 8.43/6.92 c Got one! Elapsed wall clock time (in seconds):6.714 8.43/6.92 o 704 8.53/7.05 c Got one! Elapsed wall clock time (in seconds):6.852 8.53/7.05 o 703 8.73/7.26 c Got one! Elapsed wall clock time (in seconds):7.056 8.73/7.26 o 702 8.88/7.37 c Got one! Elapsed wall clock time (in seconds):7.166 8.88/7.37 o 697 9.04/7.48 c Got one! Elapsed wall clock time (in seconds):7.278 9.04/7.48 o 696 9.14/7.59 c Got one! Elapsed wall clock time (in seconds):7.392 9.14/7.59 o 694 9.34/7.76 c Got one! Elapsed wall clock time (in seconds):7.556 9.34/7.76 o 693 9.55/7.99 c Got one! Elapsed wall clock time (in seconds):7.789 9.55/7.99 o 691 9.76/8.13 c Got one! Elapsed wall clock time (in seconds):7.926 9.76/8.13 o 689 9.86/8.26 c Got one! Elapsed wall clock time (in seconds):8.06 9.86/8.26 o 688 10.16/8.55 c Got one! Elapsed wall clock time (in seconds):8.349 10.16/8.55 o 687 10.39/8.70 c Got one! Elapsed wall clock time (in seconds):8.5 10.39/8.70 o 686 10.49/8.84 c Got one! Elapsed wall clock time (in seconds):8.636 10.49/8.84 o 684 10.69/9.00 c Got one! Elapsed wall clock time (in seconds):8.8 10.69/9.00 o 683 10.79/9.13 c Got one! Elapsed wall clock time (in seconds):8.924 10.79/9.13 o 680 10.89/9.27 c Got one! Elapsed wall clock time (in seconds):9.071 10.89/9.27 o 679 11.09/9.48 c Got one! Elapsed wall clock time (in seconds):9.278 11.09/9.48 o 677 11.29/9.62 c Got one! Elapsed wall clock time (in seconds):9.414 11.29/9.62 o 676 11.81/10.16 c Got one! Elapsed wall clock time (in seconds):9.96 11.81/10.16 o 675 12.01/10.34 c Got one! Elapsed wall clock time (in seconds):10.135 12.01/10.34 o 673 12.11/10.49 c Got one! Elapsed wall clock time (in seconds):10.293 12.11/10.49 o 671 12.42/10.78 c Got one! Elapsed wall clock time (in seconds):10.58 12.42/10.78 o 669 12.62/10.95 c Got one! Elapsed wall clock time (in seconds):10.746 12.62/10.95 o 668 12.92/11.22 c Got one! Elapsed wall clock time (in seconds):11.016 12.92/11.22 o 667 13.02/11.38 c Got one! Elapsed wall clock time (in seconds):11.181 13.02/11.38 o 661 13.44/11.72 c Got one! Elapsed wall clock time (in seconds):11.52 13.44/11.72 o 660 13.64/11.96 c Got one! Elapsed wall clock time (in seconds):11.754 13.64/11.96 o 658 14.04/12.30 c Got one! Elapsed wall clock time (in seconds):12.098 14.04/12.30 o 650 14.14/12.47 c Got one! Elapsed wall clock time (in seconds):12.273 14.14/12.47 o 649 14.65/12.94 c Got one! Elapsed wall clock time (in seconds):12.741 14.65/12.94 o 647 15.47/13.70 c Got one! Elapsed wall clock time (in seconds):13.496 15.47/13.70 o 645 16.08/14.36 c Got one! Elapsed wall clock time (in seconds):14.157 16.08/14.36 o 643 16.39/14.68 c Got one! Elapsed wall clock time (in seconds):14.475 16.39/14.68 o 641 16.80/15.07 c Got one! Elapsed wall clock time (in seconds):14.863 16.80/15.07 o 640 17.00/15.25 c Got one! Elapsed wall clock time (in seconds):15.052 17.00/15.25 o 639 17.20/15.42 c Got one! Elapsed wall clock time (in seconds):15.22 17.20/15.42 o 635 17.40/15.65 c Got one! Elapsed wall clock time (in seconds):15.449 17.40/15.65 o 634 18.22/16.45 c Got one! Elapsed wall clock time (in seconds):16.248 18.22/16.45 o 632 18.42/16.64 c Got one! Elapsed wall clock time (in seconds):16.438 18.42/16.64 o 631 18.62/16.87 c Got one! Elapsed wall clock time (in seconds):16.663 18.62/16.87 o 629 19.22/17.47 c Got one! Elapsed wall clock time (in seconds):17.267 19.22/17.47 o 627 19.52/17.74 c Got one! Elapsed wall clock time (in seconds):17.539 19.52/17.74 o 625 19.82/18.02 c Got one! Elapsed wall clock time (in seconds):17.816 19.82/18.02 o 623 20.12/18.31 c Got one! Elapsed wall clock time (in seconds):18.109 20.12/18.31 o 621 20.63/18.81 c Got one! Elapsed wall clock time (in seconds):18.612 20.63/18.81 o 619 20.92/19.11 c Got one! Elapsed wall clock time (in seconds):18.911 20.92/19.11 o 617 21.12/19.32 c Got one! Elapsed wall clock time (in seconds):19.115 21.12/19.32 o 615 21.32/19.52 c Got one! Elapsed wall clock time (in seconds):19.321 21.32/19.52 o 605 21.74/19.92 c Got one! Elapsed wall clock time (in seconds):19.715 21.74/19.92 o 603 21.93/20.17 c Got one! Elapsed wall clock time (in seconds):19.97 21.93/20.17 o 602 22.43/20.68 c Got one! Elapsed wall clock time (in seconds):20.483 22.43/20.68 o 600 23.26/21.41 c Got one! Elapsed wall clock time (in seconds):21.205 23.26/21.41 o 599 23.86/22.00 c Got one! Elapsed wall clock time (in seconds):21.801 23.86/22.00 o 597 24.05/22.25 c Got one! Elapsed wall clock time (in seconds):22.052 24.05/22.25 o 595 24.65/22.86 c Got one! Elapsed wall clock time (in seconds):22.66 24.65/22.86 o 593 25.36/23.54 c Got one! Elapsed wall clock time (in seconds):23.343 25.36/23.54 o 591 25.56/23.75 c Got one! Elapsed wall clock time (in seconds):23.549 25.56/23.75 o 590 26.06/24.30 c Got one! Elapsed wall clock time (in seconds):24.098 26.06/24.30 o 589 26.56/24.77 c Got one! Elapsed wall clock time (in seconds):24.567 26.56/24.77 o 587 27.96/26.18 c Got one! Elapsed wall clock time (in seconds):25.979 27.96/26.18 o 585 28.67/26.84 c Got one! Elapsed wall clock time (in seconds):26.641 28.67/26.84 o 583 29.27/27.43 c Got one! Elapsed wall clock time (in seconds):27.223 29.27/27.43 o 582 29.57/27.73 c Got one! Elapsed wall clock time (in seconds):27.527 29.57/27.73 o 580 29.78/27.94 c Got one! Elapsed wall clock time (in seconds):27.736 29.78/27.94 o 579 29.98/28.17 c Got one! Elapsed wall clock time (in seconds):27.964 29.98/28.17 o 577 30.48/28.64 c Got one! Elapsed wall clock time (in seconds):28.434 30.48/28.64 o 575 30.88/29.04 c Got one! Elapsed wall clock time (in seconds):28.838 30.88/29.04 o 574 31.18/29.35 c Got one! Elapsed wall clock time (in seconds):29.15 31.18/29.35 o 572 53.16/51.25 c Got one! Elapsed wall clock time (in seconds):51.045 53.16/51.25 o 570 54.66/52.73 c Got one! Elapsed wall clock time (in seconds):52.529 54.66/52.73 o 568 55.67/53.72 c Got one! Elapsed wall clock time (in seconds):53.514 55.67/53.72 o 567 56.67/54.73 c Got one! Elapsed wall clock time (in seconds):54.532 56.67/54.73 o 565 58.08/56.15 c Got one! Elapsed wall clock time (in seconds):55.949 58.08/56.15 o 564 60.59/58.65 c Got one! Elapsed wall clock time (in seconds):58.444 60.59/58.65 o 562 61.09/59.10 c Got one! Elapsed wall clock time (in seconds):58.898 61.09/59.10 o 560 61.80/59.84 c Got one! Elapsed wall clock time (in seconds):59.643 61.80/59.84 o 558 62.21/60.21 c Got one! Elapsed wall clock time (in seconds):60.012 62.21/60.21 o 557 62.51/60.56 c Got one! Elapsed wall clock time (in seconds):60.353 62.51/60.56 o 555 63.51/61.57 c Got one! Elapsed wall clock time (in seconds):61.372 63.51/61.57 o 553 64.32/62.39 c Got one! Elapsed wall clock time (in seconds):62.19 64.32/62.39 o 552 66.02/64.05 c Got one! Elapsed wall clock time (in seconds):63.85 66.02/64.05 o 551 66.42/64.49 c Got one! Elapsed wall clock time (in seconds):64.288 66.42/64.49 o 550 66.93/64.96 c Got one! Elapsed wall clock time (in seconds):64.756 66.93/64.96 o 537 67.83/65.82 c Got one! Elapsed wall clock time (in seconds):65.62 67.83/65.82 o 535 68.23/66.29 c Got one! Elapsed wall clock time (in seconds):66.088 68.23/66.29 o 533 68.73/66.70 c Got one! Elapsed wall clock time (in seconds):66.499 68.73/66.70 o 523 69.03/67.02 c Got one! Elapsed wall clock time (in seconds):66.823 69.03/67.02 o 522 69.43/67.44 c Got one! Elapsed wall clock time (in seconds):67.24 69.43/67.44 o 521 70.94/68.97 c Got one! Elapsed wall clock time (in seconds):68.766 70.94/68.97 o 517 104.78/102.54 c Got one! Elapsed wall clock time (in seconds):102.342 104.78/102.54 o 516 106.19/103.94 c Got one! Elapsed wall clock time (in seconds):103.735 106.19/103.94 o 514 107.09/104.84 c Got one! Elapsed wall clock time (in seconds):104.639 107.09/104.84 o 512 107.60/105.39 c Got one! Elapsed wall clock time (in seconds):105.19 107.60/105.39 o 511 119.60/117.22 c Got one! Elapsed wall clock time (in seconds):117.016 119.60/117.22 o 510 120.50/118.13 c Got one! Elapsed wall clock time (in seconds):117.926 120.50/118.13 o 506 121.41/119.01 c Got one! Elapsed wall clock time (in seconds):118.811 121.41/119.01 o 505 122.11/119.79 c Got one! Elapsed wall clock time (in seconds):119.589 122.11/119.79 o 504 123.82/121.43 c Got one! Elapsed wall clock time (in seconds):121.23 123.82/121.43 o 503 131.69/129.28 c Got one! Elapsed wall clock time (in seconds):129.081 131.69/129.28 o 501 133.00/130.51 c Got one! Elapsed wall clock time (in seconds):130.31 133.00/130.51 o 500 133.50/131.04 c Got one! Elapsed wall clock time (in seconds):130.838 133.50/131.04 o 499 134.41/131.94 c Got one! Elapsed wall clock time (in seconds):131.737 134.41/131.94 o 498 136.62/134.17 c Got one! Elapsed wall clock time (in seconds):133.971 136.62/134.17 o 496 138.04/135.59 c Got one! Elapsed wall clock time (in seconds):135.393 138.04/135.59 o 492 138.54/136.07 c Got one! Elapsed wall clock time (in seconds):135.864 138.54/136.07 o 490 138.95/136.46 c Got one! Elapsed wall clock time (in seconds):136.26 138.95/136.46 o 489 139.75/137.28 c Got one! Elapsed wall clock time (in seconds):137.074 139.75/137.28 o 486 140.76/138.26 c Got one! Elapsed wall clock time (in seconds):138.062 140.76/138.26 o 481 142.77/140.20 c Got one! Elapsed wall clock time (in seconds):140.0 142.77/140.20 o 479 143.78/141.21 c Got one! Elapsed wall clock time (in seconds):141.006 143.78/141.21 o 477 145.08/142.56 c Got one! Elapsed wall clock time (in seconds):142.359 145.08/142.56 o 476 147.40/144.86 c Got one! Elapsed wall clock time (in seconds):144.657 147.40/144.86 o 475 148.10/145.55 c Got one! Elapsed wall clock time (in seconds):145.348 148.10/145.55 o 473 149.01/146.48 c Got one! Elapsed wall clock time (in seconds):146.279 149.01/146.48 o 471 149.62/147.06 c Got one! Elapsed wall clock time (in seconds):146.862 149.62/147.06 o 469 158.49/155.87 c Got one! Elapsed wall clock time (in seconds):155.673 158.49/155.87 o 467 159.10/156.46 c Got one! Elapsed wall clock time (in seconds):156.26 159.10/156.46 o 466 160.20/157.50 c Got one! Elapsed wall clock time (in seconds):157.298 160.20/157.50 o 465 161.31/158.60 c Got one! Elapsed wall clock time (in seconds):158.4 161.31/158.60 o 463 162.51/159.87 c Got one! Elapsed wall clock time (in seconds):159.663 162.51/159.87 o 462 168.56/165.85 c Got one! Elapsed wall clock time (in seconds):165.652 168.56/165.85 o 460 172.60/169.88 c Got one! Elapsed wall clock time (in seconds):169.677 172.60/169.88 o 458 175.32/172.50 c Got one! Elapsed wall clock time (in seconds):172.301 175.32/172.50 o 457 203.84/200.88 c Got one! Elapsed wall clock time (in seconds):200.679 203.84/200.88 o 455 207.15/204.18 c Got one! Elapsed wall clock time (in seconds):203.976 207.15/204.18 o 453 210.08/207.06 c Got one! Elapsed wall clock time (in seconds):206.863 210.08/207.06 o 452 233.27/230.01 c Got one! Elapsed wall clock time (in seconds):229.805 233.27/230.01 o 451 235.07/231.87 c Got one! Elapsed wall clock time (in seconds):231.672 235.07/231.87 o 450 235.99/232.76 c Got one! Elapsed wall clock time (in seconds):232.555 235.99/232.76 o 449 247.24/243.94 c Got one! Elapsed wall clock time (in seconds):243.735 247.24/243.94 o 448 250.57/247.30 c Got one! Elapsed wall clock time (in seconds):247.095 250.57/247.30 o 447 254.60/251.20 c Got one! Elapsed wall clock time (in seconds):251.001 254.60/251.20 o 440 256.72/253.33 c Got one! Elapsed wall clock time (in seconds):253.13 256.72/253.33 o 422 258.74/255.36 c Got one! Elapsed wall clock time (in seconds):255.161 258.74/255.36 o 421 259.54/256.12 c Got one! Elapsed wall clock time (in seconds):255.918 259.54/256.12 o 419 264.18/260.75 c Got one! Elapsed wall clock time (in seconds):260.551 264.18/260.75 o 417 269.31/265.86 c Got one! Elapsed wall clock time (in seconds):265.654 269.31/265.86 o 413 272.23/268.72 c Got one! Elapsed wall clock time (in seconds):268.517 272.23/268.72 o 411 274.64/271.15 c Got one! Elapsed wall clock time (in seconds):270.95 274.64/271.15 o 410 276.87/273.32 c Got one! Elapsed wall clock time (in seconds):273.122 276.87/273.32 o 409 279.08/275.52 c Got one! Elapsed wall clock time (in seconds):275.314 279.08/275.52 o 407 287.35/283.80 c Got one! Elapsed wall clock time (in seconds):283.596 287.45/283.80 o 405 358.40/354.24 c Got one! Elapsed wall clock time (in seconds):354.042 358.40/354.24 o 403 367.47/363.24 c Got one! Elapsed wall clock time (in seconds):363.043 367.47/363.25 o 401 370.19/365.92 c Got one! Elapsed wall clock time (in seconds):365.714 370.19/365.92 o 400 401.74/397.24 c Got one! Elapsed wall clock time (in seconds):397.042 401.74/397.24 o 399 410.90/406.33 c Got one! Elapsed wall clock time (in seconds):406.125 410.90/406.33 o 398 422.98/418.37 c Got one! Elapsed wall clock time (in seconds):418.169 422.98/418.37 o 396 440.20/435.44 c Got one! Elapsed wall clock time (in seconds):435.237 440.20/435.44 o 394 521.32/515.95 c Got one! Elapsed wall clock time (in seconds):515.745 521.32/515.95 o 390 523.72/518.36 c Got one! Elapsed wall clock time (in seconds):518.158 523.72/518.36 o 388 652.56/646.28 c Got one! Elapsed wall clock time (in seconds):646.075 652.56/646.28 o 387 660.91/654.60 c Got one! Elapsed wall clock time (in seconds):654.394 660.91/654.60 o 385 666.82/660.40 c Got one! Elapsed wall clock time (in seconds):660.202 666.82/660.40 o 383 704.67/698.08 c Got one! Elapsed wall clock time (in seconds):697.882 704.67/698.08 o 381 706.87/700.25 c Got one! Elapsed wall clock time (in seconds):700.048 706.87/700.25 o 380 856.27/848.61 c Got one! Elapsed wall clock time (in seconds):848.404 856.27/848.61 o 379 865.23/857.58 c Got one! Elapsed wall clock time (in seconds):857.381 865.23/857.58 o 377 888.06/880.28 c Got one! Elapsed wall clock time (in seconds):880.081 888.06/880.28 o 376 896.10/888.29 c Got one! Elapsed wall clock time (in seconds):888.088 896.10/888.29 o 374 907.72/899.70 c Got one! Elapsed wall clock time (in seconds):899.498 907.72/899.70 o 372 915.34/907.39 c Got one! Elapsed wall clock time (in seconds):907.191 915.34/907.39 o 371 932.94/924.86 c Got one! Elapsed wall clock time (in seconds):924.661 932.94/924.86 o 369 973.24/964.97 c Got one! Elapsed wall clock time (in seconds):964.772 973.24/964.97 o 368 977.93/969.63 c Got one! Elapsed wall clock time (in seconds):969.425 977.93/969.63 o 366 1011.17/1002.68 c Got one! Elapsed wall clock time (in seconds):1002.478 1011.17/1002.68 o 365 1304.85/1294.47 c Got one! Elapsed wall clock time (in seconds):1294.263 1304.85/1294.47 o 364 1308.25/1297.83 c Got one! Elapsed wall clock time (in seconds):1297.633 1308.25/1297.83 o 363 1338.32/1327.77 c Got one! Elapsed wall clock time (in seconds):1327.572 1338.32/1327.77 o 361 1415.73/1404.67 c Got one! Elapsed wall clock time (in seconds):1404.464 1415.73/1404.67 o 360 1642.38/1629.97 c Got one! Elapsed wall clock time (in seconds):1629.772 1642.38/1629.97 o 359 1649.71/1637.20 c Got one! Elapsed wall clock time (in seconds):1637.0 1649.71/1637.20 o 355 1660.57/1648.06 c Got one! Elapsed wall clock time (in seconds):1647.857 1660.57/1648.06 o 353 1668.21/1655.66 c Got one! Elapsed wall clock time (in seconds):1655.455 1668.21/1655.66 o 351 1681.76/1669.10 c Got one! Elapsed wall clock time (in seconds):1668.898 1681.76/1669.10 o 350 1692.75/1680.06 c Got one! Elapsed wall clock time (in seconds):1679.861 1692.75/1680.06 o 349 1734.16/1721.14 c Got one! Elapsed wall clock time (in seconds):1720.934 1734.16/1721.14 o 346 1778.95/1765.67 c Got one! Elapsed wall clock time (in seconds):1765.469 1778.95/1765.67 o 345 1789.48/1776.17 c Got one! Elapsed wall clock time (in seconds):1775.97 1789.48/1776.17 o 344 1794.42/1781.08 c Got one! Elapsed wall clock time (in seconds):1780.878 1794.42/1781.08 o 342 1800.02/1786.61 c starts : 1162 1800.02/1786.61 c conflicts : 773736 1800.02/1786.61 c decisions : 1062432 1800.02/1786.61 c propagations : 15052414 1800.02/1786.61 c inspects : 3554467433 1800.02/1786.61 c learnt literals : 0 1800.02/1786.61 c learnt binary clauses : 0 1800.02/1786.61 c learnt ternary clauses : 0 1800.02/1786.61 c learnt clauses : 773736 1800.02/1786.61 c root simplifications : 0 1800.02/1786.61 c removed literals (reason simplification) : 0 1800.02/1786.61 c reason swapping (by a shorter reason) : 0 1800.02/1786.61 c Calls to reduceDB : 0 1800.02/1786.61 c speed (decisions/second) : 192086.7835834388 1800.02/1786.61 c non guided choices 8119 1800.02/1786.61 s SATISFIABLE 1800.02/1786.61 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 x14 x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.02/1786.61 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.02/1786.61 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.02/1786.61 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.02/1786.61 v -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 x124 x125 -x126 -x127 -x128 x129 -x130 1800.02/1786.61 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.02/1786.61 v x154 x155 x156 x157 -x158 x159 x160 -x161 -x162 x163 x164 x165 x166 -x167 x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 1800.02/1786.61 v -x177 x178 x179 -x180 x181 x182 -x183 -x184 -x185 -x186 x187 x188 x189 -x190 x191 -x192 -x193 -x194 x195 -x196 x197 x198 1800.02/1786.61 c objective function=342 1800.02/1786.61 c Total wall clock time (ms): 1786.412
OK 342
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-354826-1176727501 -o ROOT/results/node40/solver-354826-1176727501 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354826-1176727501/sat4jPseudoResolution.jar /tmp/evaluation/354826-1176727501/instance-354826-1176727501.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.91 0.95 0.98 2/77 6843 /proc/meminfo: memFree=1669768/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=18568 CPUtime=0 /proc/6843/stat : 6843 (runsolver) D 6841 6843 6734 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1629634 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 264519609639 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0 /proc/6843/statm: 4642 292 257 24 0 2626 0 [startup+0.102517 s] /proc/loadavg: 0.91 0.95 0.98 2/77 6843 /proc/meminfo: memFree=1669768/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1780108 CPUtime=0.08 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 3975 0 1 0 6 2 0 0 18 0 12 0 1629634 1822830592 3717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 445027 3717 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.201534 s] /proc/loadavg: 0.91 0.95 0.98 2/77 6843 /proc/meminfo: memFree=1669768/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1782444 CPUtime=0.19 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 4855 0 1 0 16 3 0 0 18 0 12 0 1629634 1825222656 4594 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 445611 4595 1244 9 0 443223 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1782444 [startup+0.303557 s] /proc/loadavg: 0.91 0.95 0.98 2/77 6843 /proc/meminfo: memFree=1669768/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1782444 CPUtime=0.31 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 5108 0 1 0 27 4 0 0 18 0 12 0 1629634 1825222656 4847 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 445611 4847 1264 9 0 443223 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782444 [startup+0.701645 s] /proc/loadavg: 0.91 0.95 0.98 2/77 6843 /proc/meminfo: memFree=1669768/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1784896 CPUtime=0.96 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 7876 0 1 0 91 5 0 0 18 0 13 0 1629634 1827733504 6893 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 446224 6893 1313 9 0 443836 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 1784896 [startup+1.50283 s] /proc/loadavg: 0.91 0.95 0.98 3/90 6867 /proc/meminfo: memFree=1626656/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1793508 CPUtime=2.18 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 20531 0 1 0 207 11 0 0 18 0 12 0 1629634 1836552192 18255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 448377 18255 1315 9 0 445989 0 [pid=6843/tid=6845] ppid=6841 vsize=1793508 CPUtime=1.19 /proc/6843/task/6845/stat : 6845 (java) R 6841 6843 6734 0 -1 64 14718 0 1 0 111 8 0 0 22 0 12 0 1629636 1836552192 18255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109213700 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6846] ppid=6841 vsize=1793508 CPUtime=0 /proc/6843/task/6846/stat : 6846 (java) S 6841 6843 6734 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 1629637 1836552192 18255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6847] ppid=6841 vsize=1793508 CPUtime=0 /proc/6843/task/6847/stat : 6847 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 1629637 1836552192 18255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6848] ppid=6841 vsize=1793508 CPUtime=0 /proc/6843/task/6848/stat : 6848 (java) S 6841 6843 6734 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 1629639 1836552192 18256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6849] ppid=6841 vsize=1793508 CPUtime=0 /proc/6843/task/6849/stat : 6849 (java) S 6841 6843 6734 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 1629640 1836552192 18256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6850] ppid=6841 vsize=1793508 CPUtime=0 /proc/6843/task/6850/stat : 6850 (java) S 6841 6843 6734 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 1629640 1836552192 18256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6851] ppid=6841 vsize=1793508 CPUtime=0 /proc/6843/task/6851/stat : 6851 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 1629644 1836552192 18256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6852] ppid=6841 vsize=1793508 CPUtime=0.65 /proc/6843/task/6852/stat : 6852 (java) R 6841 6843 6734 0 -1 64 4042 0 0 0 64 1 0 0 18 0 12 0 1629644 1836552192 18256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336724 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6853] ppid=6841 vsize=1793508 CPUtime=0.31 /proc/6843/task/6853/stat : 6853 (java) S 6841 6843 6734 0 -1 64 1042 0 0 0 31 0 0 0 16 0 12 0 1629644 1836552192 18256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6854] ppid=6841 vsize=1793508 CPUtime=0 /proc/6843/task/6854/stat : 6854 (java) S 6841 6843 6734 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 1629644 1836552192 18256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6855] ppid=6841 vsize=1793508 CPUtime=0 /proc/6843/task/6855/stat : 6855 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1629644 1836552192 18256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 1793508 [startup+3.10118 s] /proc/loadavg: 0.91 0.95 0.98 3/90 6885 /proc/meminfo: memFree=1554648/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1794064 CPUtime=4.44 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 48346 0 1 0 420 24 0 0 18 0 13 0 1629634 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 448516 42572 1327 9 0 446128 0 [pid=6843/tid=6845] ppid=6841 vsize=1794064 CPUtime=2.7 /proc/6843/task/6845/stat : 6845 (java) R 6841 6843 6734 0 -1 64 37728 0 1 0 251 19 0 0 21 0 13 0 1629636 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109508625 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6846] ppid=6841 vsize=1794064 CPUtime=0.01 /proc/6843/task/6846/stat : 6846 (java) S 6841 6843 6734 0 -1 64 512 0 0 0 1 0 0 0 16 0 13 0 1629637 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6847] ppid=6841 vsize=1794064 CPUtime=0 /proc/6843/task/6847/stat : 6847 (java) S 6841 6843 6734 0 -1 64 553 0 0 0 0 0 0 0 16 0 13 0 1629637 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6848] ppid=6841 vsize=1794064 CPUtime=0 /proc/6843/task/6848/stat : 6848 (java) S 6841 6843 6734 0 -1 64 13 0 0 0 0 0 0 0 15 0 13 0 1629639 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6849] ppid=6841 vsize=1794064 CPUtime=0 /proc/6843/task/6849/stat : 6849 (java) S 6841 6843 6734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 1629640 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6850] ppid=6841 vsize=1794064 CPUtime=0 /proc/6843/task/6850/stat : 6850 (java) S 6841 6843 6734 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 1629640 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6851] ppid=6841 vsize=1794064 CPUtime=0 /proc/6843/task/6851/stat : 6851 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 1629644 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6852] ppid=6841 vsize=1794064 CPUtime=1.27 /proc/6843/task/6852/stat : 6852 (java) R 6841 6843 6734 0 -1 64 7536 0 0 0 124 3 0 0 16 0 13 0 1629644 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104723186 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6853] ppid=6841 vsize=1794064 CPUtime=0.42 /proc/6843/task/6853/stat : 6853 (java) S 6841 6843 6734 0 -1 64 1279 0 0 0 42 0 0 0 16 0 13 0 1629644 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6854] ppid=6841 vsize=1794064 CPUtime=0 /proc/6843/task/6854/stat : 6854 (java) S 6841 6843 6734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 1629644 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6855] ppid=6841 vsize=1794064 CPUtime=0 /proc/6843/task/6855/stat : 6855 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1629644 1837121536 42572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 1794064 [startup+6.30289 s] /proc/loadavg: 1.00 0.97 0.98 2/90 6920 /proc/meminfo: memFree=1498496/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1791488 CPUtime=7.84 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 51461 0 1 0 758 26 0 0 18 0 13 0 1629634 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 447872 45014 1334 9 0 445484 0 [pid=6843/tid=6845] ppid=6841 vsize=1791488 CPUtime=5.77 /proc/6843/task/6845/stat : 6845 (java) R 6841 6843 6734 0 -1 64 37751 0 1 0 558 19 0 0 17 0 13 0 1629636 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109582737 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6846] ppid=6841 vsize=1791488 CPUtime=0.04 /proc/6843/task/6846/stat : 6846 (java) S 6841 6843 6734 0 -1 64 2135 0 0 0 3 1 0 0 16 0 13 0 1629637 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6847] ppid=6841 vsize=1791488 CPUtime=0.03 /proc/6843/task/6847/stat : 6847 (java) S 6841 6843 6734 0 -1 64 1945 0 0 0 3 0 0 0 16 0 13 0 1629637 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6848] ppid=6841 vsize=1791488 CPUtime=0 /proc/6843/task/6848/stat : 6848 (java) S 6841 6843 6734 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 1629639 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6849] ppid=6841 vsize=1791488 CPUtime=0 /proc/6843/task/6849/stat : 6849 (java) S 6841 6843 6734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 1629640 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6850] ppid=6841 vsize=1791488 CPUtime=0 /proc/6843/task/6850/stat : 6850 (java) S 6841 6843 6734 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 1629640 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6851] ppid=6841 vsize=1791488 CPUtime=0 /proc/6843/task/6851/stat : 6851 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 1629644 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6852] ppid=6841 vsize=1791488 CPUtime=1.39 /proc/6843/task/6852/stat : 6852 (java) S 6841 6843 6734 0 -1 64 7550 0 0 0 136 3 0 0 16 0 13 0 1629644 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6853] ppid=6841 vsize=1791488 CPUtime=0.54 /proc/6843/task/6853/stat : 6853 (java) S 6841 6843 6734 0 -1 64 1290 0 0 0 54 0 0 0 16 0 13 0 1629644 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6854] ppid=6841 vsize=1791488 CPUtime=0 /proc/6843/task/6854/stat : 6854 (java) S 6841 6843 6734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 1629644 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6855] ppid=6841 vsize=1791488 CPUtime=0 /proc/6843/task/6855/stat : 6855 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1629644 1834483712 45014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.84 Current children cumulated vsize (KiB) 1791488 [startup+12.7013 s] /proc/loadavg: 1.00 0.97 0.98 2/90 6957 /proc/meminfo: memFree=1481040/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1792512 CPUtime=14.44 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 55919 0 1 0 1415 29 0 0 18 0 13 0 1629634 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 448128 48155 1334 9 0 445740 0 [pid=6843/tid=6845] ppid=6841 vsize=1792512 CPUtime=12.06 /proc/6843/task/6845/stat : 6845 (java) R 6841 6843 6734 0 -1 64 37775 0 1 0 1187 19 0 0 25 0 13 0 1629636 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109530855 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6846] ppid=6841 vsize=1792512 CPUtime=0.11 /proc/6843/task/6846/stat : 6846 (java) S 6841 6843 6734 0 -1 64 3855 0 0 0 10 1 0 0 16 0 13 0 1629637 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6847] ppid=6841 vsize=1792512 CPUtime=0.11 /proc/6843/task/6847/stat : 6847 (java) S 6841 6843 6734 0 -1 64 4067 0 0 0 10 1 0 0 17 0 13 0 1629637 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6848] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6848/stat : 6848 (java) S 6841 6843 6734 0 -1 64 40 0 0 0 0 0 0 0 16 0 13 0 1629639 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6849] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6849/stat : 6849 (java) S 6841 6843 6734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6850] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6850/stat : 6850 (java) S 6841 6843 6734 0 -1 64 39 0 0 0 0 0 0 0 17 0 13 0 1629640 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6851] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6851/stat : 6851 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 1629644 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6852] ppid=6841 vsize=1792512 CPUtime=1.43 /proc/6843/task/6852/stat : 6852 (java) S 6841 6843 6734 0 -1 64 7582 0 0 0 140 3 0 0 16 0 13 0 1629644 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6853] ppid=6841 vsize=1792512 CPUtime=0.64 /proc/6843/task/6853/stat : 6853 (java) S 6841 6843 6734 0 -1 64 1786 0 0 0 63 1 0 0 17 0 13 0 1629644 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6854] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6854/stat : 6854 (java) S 6841 6843 6734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 1629644 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6855] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6855/stat : 6855 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1629644 1835532288 48155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.44 Current children cumulated vsize (KiB) 1792512 [startup+25.5021 s] /proc/loadavg: 1.00 0.97 0.98 2/90 6989 /proc/meminfo: memFree=1452208/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1792512 CPUtime=27.36 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 64157 0 1 0 2702 34 0 0 18 0 13 0 1629634 1835532288 55300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 448128 55300 1334 9 0 445740 0 [pid=6843/tid=6845] ppid=6841 vsize=1792512 CPUtime=24.71 /proc/6843/task/6845/stat : 6845 (java) R 6841 6843 6734 0 -1 64 37783 0 1 0 2451 20 0 0 25 0 13 0 1629636 1835532288 55300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109542267 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6846] ppid=6841 vsize=1792512 CPUtime=0.23 /proc/6843/task/6846/stat : 6846 (java) S 6841 6843 6734 0 -1 64 7791 0 0 0 20 3 0 0 16 0 13 0 1629637 1835532288 55300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6847] ppid=6841 vsize=1792512 CPUtime=0.24 /proc/6843/task/6847/stat : 6847 (java) S 6841 6843 6734 0 -1 64 8354 0 0 0 20 4 0 0 16 0 13 0 1629637 1835532288 55300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6848] ppid=6841 vsize=1792512 CPUtime=0.01 /proc/6843/task/6848/stat : 6848 (java) S 6841 6843 6734 0 -1 64 43 0 0 0 1 0 0 0 16 0 13 0 1629639 1835532288 55300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6849] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6849/stat : 6849 (java) S 6841 6843 6734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 55300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6850] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6850/stat : 6850 (java) S 6841 6843 6734 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 55300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6851] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6851/stat : 6851 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 1629644 1835532288 55300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 1614.61 Current children cumulated vsize (KiB) 1792512 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 0.99 2/90 7302 /proc/meminfo: memFree=1162992/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1792512 CPUtime=1674.9 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 217580 0 1 0 167349 141 0 0 18 0 13 0 1629634 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 448128 127014 1334 9 0 445740 0 [pid=6843/tid=6845] ppid=6841 vsize=1792512 CPUtime=1647.96 /proc/6843/task/6845/stat : 6845 (java) R 6841 6843 6734 0 -1 64 88306 0 1 0 164740 56 0 0 25 0 13 0 1629636 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109535078 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6846] ppid=6841 vsize=1792512 CPUtime=12.24 /proc/6843/task/6846/stat : 6846 (java) S 6841 6843 6734 0 -1 64 65330 0 0 0 1187 37 0 0 16 0 13 0 1629637 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6847] ppid=6841 vsize=1792512 CPUtime=12.26 /proc/6843/task/6847/stat : 6847 (java) S 6841 6843 6734 0 -1 64 53512 0 0 0 1197 29 0 0 16 0 13 0 1629637 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6848] ppid=6841 vsize=1792512 CPUtime=0.25 /proc/6843/task/6848/stat : 6848 (java) S 6841 6843 6734 0 -1 64 246 0 0 0 13 12 0 0 16 0 13 0 1629639 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6849] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6849/stat : 6849 (java) S 6841 6843 6734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6850] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6850/stat : 6850 (java) S 6841 6843 6734 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6851] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6851/stat : 6851 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 1629644 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6852] ppid=6841 vsize=1792512 CPUtime=1.44 /proc/6843/task/6852/stat : 6852 (java) S 6841 6843 6734 0 -1 64 7582 0 0 0 141 3 0 0 16 0 13 0 1629644 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6853] ppid=6841 vsize=1792512 CPUtime=0.67 /proc/6843/task/6853/stat : 6853 (java) S 6841 6843 6734 0 -1 64 1787 0 0 0 66 1 0 0 17 0 13 0 1629644 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6854] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6854/stat : 6854 (java) S 6841 6843 6734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 1629644 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6855] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6855/stat : 6855 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1629644 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=7302] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/7302/stat : 7302 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 1795200 1835532288 127014 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1674.9 Current children cumulated vsize (KiB) 1792512 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/90 7305 /proc/meminfo: memFree=1162072/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1792512 CPUtime=1735.36 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 219910 0 1 0 173393 143 0 0 18 0 13 0 1629634 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 448128 127292 1334 9 0 445740 0 [pid=6843/tid=6845] ppid=6841 vsize=1792512 CPUtime=1707.39 /proc/6843/task/6845/stat : 6845 (java) R 6841 6843 6734 0 -1 64 88321 0 1 0 170683 56 0 0 25 0 13 0 1629636 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109563336 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6846] ppid=6841 vsize=1792512 CPUtime=12.73 /proc/6843/task/6846/stat : 6846 (java) S 6841 6843 6734 0 -1 64 67634 0 0 0 1235 38 0 0 16 0 13 0 1629637 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6847] ppid=6841 vsize=1792512 CPUtime=12.78 /proc/6843/task/6847/stat : 6847 (java) S 6841 6843 6734 0 -1 64 53513 0 0 0 1249 29 0 0 17 0 13 0 1629637 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6848] ppid=6841 vsize=1792512 CPUtime=0.25 /proc/6843/task/6848/stat : 6848 (java) S 6841 6843 6734 0 -1 64 256 0 0 0 13 12 0 0 16 0 13 0 1629639 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6849] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6849/stat : 6849 (java) S 6841 6843 6734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6850] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6850/stat : 6850 (java) S 6841 6843 6734 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6851] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6851/stat : 6851 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 1629644 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6852] ppid=6841 vsize=1792512 CPUtime=1.44 /proc/6843/task/6852/stat : 6852 (java) S 6841 6843 6734 0 -1 64 7582 0 0 0 141 3 0 0 16 0 13 0 1629644 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6853] ppid=6841 vsize=1792512 CPUtime=0.67 /proc/6843/task/6853/stat : 6853 (java) S 6841 6843 6734 0 -1 64 1787 0 0 0 66 1 0 0 17 0 13 0 1629644 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6854] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6854/stat : 6854 (java) S 6841 6843 6734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 1629644 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6855] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6855/stat : 6855 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1629644 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=7305] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/7305/stat : 7305 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 1801748 1835532288 127292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.36 Current children cumulated vsize (KiB) 1792512 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/90 7310 /proc/meminfo: memFree=1140864/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1792512 CPUtime=1795.72 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 226154 0 1 0 179426 146 0 0 18 0 13 0 1629634 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 448128 132496 1334 9 0 445740 0 [pid=6843/tid=6845] ppid=6841 vsize=1792512 CPUtime=1766.96 /proc/6843/task/6845/stat : 6845 (java) R 6841 6843 6734 0 -1 64 92012 0 1 0 176639 57 0 0 25 0 13 0 1629636 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109563336 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6846] ppid=6841 vsize=1792512 CPUtime=13.12 /proc/6843/task/6846/stat : 6846 (java) S 6841 6843 6734 0 -1 64 70136 0 0 0 1272 40 0 0 16 0 13 0 1629637 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6847] ppid=6841 vsize=1792512 CPUtime=13.18 /proc/6843/task/6847/stat : 6847 (java) S 6841 6843 6734 0 -1 64 53562 0 0 0 1289 29 0 0 16 0 13 0 1629637 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6848] ppid=6841 vsize=1792512 CPUtime=0.25 /proc/6843/task/6848/stat : 6848 (java) S 6841 6843 6734 0 -1 64 258 0 0 0 13 12 0 0 16 0 13 0 1629639 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6849] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6849/stat : 6849 (java) S 6841 6843 6734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6850] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6850/stat : 6850 (java) S 6841 6843 6734 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6851] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6851/stat : 6851 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6852] ppid=6841 vsize=1792512 CPUtime=1.44 /proc/6843/task/6852/stat : 6852 (java) S 6841 6843 6734 0 -1 64 7582 0 0 0 141 3 0 0 16 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6853] ppid=6841 vsize=1792512 CPUtime=0.67 /proc/6843/task/6853/stat : 6853 (java) S 6841 6843 6734 0 -1 64 1787 0 0 0 66 1 0 0 17 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6854] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6854/stat : 6854 (java) S 6841 6843 6734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6855] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6855/stat : 6855 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=7310] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/7310/stat : 7310 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 1807743 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.72 Current children cumulated vsize (KiB) 1792512 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.6 s] /proc/loadavg: 1.00 1.00 0.99 2/90 7310 /proc/meminfo: memFree=1140928/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=1792512 CPUtime=1800.02 /proc/6843/stat : 6843 (java) S 6841 6843 6734 0 -1 0 226154 0 1 0 179856 146 0 0 18 0 13 0 1629634 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6843/statm: 448128 132496 1334 9 0 445740 0 [pid=6843/tid=6845] ppid=6841 vsize=1792512 CPUtime=1771.26 /proc/6843/task/6845/stat : 6845 (java) R 6841 6843 6734 0 -1 64 92012 0 1 0 177069 57 0 0 25 0 13 0 1629636 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109563336 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6846] ppid=6841 vsize=1792512 CPUtime=13.12 /proc/6843/task/6846/stat : 6846 (java) S 6841 6843 6734 0 -1 64 70136 0 0 0 1272 40 0 0 16 0 13 0 1629637 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6847] ppid=6841 vsize=1792512 CPUtime=13.18 /proc/6843/task/6847/stat : 6847 (java) S 6841 6843 6734 0 -1 64 53562 0 0 0 1289 29 0 0 16 0 13 0 1629637 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6848] ppid=6841 vsize=1792512 CPUtime=0.25 /proc/6843/task/6848/stat : 6848 (java) S 6841 6843 6734 0 -1 64 258 0 0 0 13 12 0 0 16 0 13 0 1629639 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6849] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6849/stat : 6849 (java) S 6841 6843 6734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6850] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6850/stat : 6850 (java) S 6841 6843 6734 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 1629640 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6851] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6851/stat : 6851 (java) S 6841 6843 6734 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6852] ppid=6841 vsize=1792512 CPUtime=1.44 /proc/6843/task/6852/stat : 6852 (java) S 6841 6843 6734 0 -1 64 7582 0 0 0 141 3 0 0 16 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6853] ppid=6841 vsize=1792512 CPUtime=0.67 /proc/6843/task/6853/stat : 6853 (java) S 6841 6843 6734 0 -1 64 1787 0 0 0 66 1 0 0 17 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6843/tid=6854] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6854/stat : 6854 (java) S 6841 6843 6734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=6855] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/6855/stat : 6855 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1629644 1835532288 132496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6843/tid=7310] ppid=6841 vsize=1792512 CPUtime=0 /proc/6843/task/7310/stat : 7310 (java) S 6841 6843 6734 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 1807743 1835532288 132496 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) 1792512 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.71 s] /proc/loadavg: 1.00 1.00 0.99 2/90 7310 /proc/meminfo: memFree=1140928/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=0 CPUtime=1800.12 /proc/6843/stat : 6843 (java) Z 6841 6843 6734 0 -1 1036 226167 0 1 0 179859 153 0 0 16 0 2 0 1629634 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6843/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1786.9 s] /proc/loadavg: 1.00 1.00 0.99 2/90 7310 /proc/meminfo: memFree=1140928/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=0 CPUtime=1800.12 /proc/6843/stat : 6843 (java) Z 6841 6843 6734 0 -1 1036 226167 0 1 0 179859 153 0 0 16 0 2 0 1629634 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6843/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1787 s] /proc/loadavg: 1.00 1.00 0.99 2/90 7310 /proc/meminfo: memFree=1140928/2055920 swapFree=4192956/4192956 [pid=6843] ppid=6841 vsize=0 CPUtime=1800.12 /proc/6843/stat : 6843 (java) Z 6841 6843 6734 0 -1 1036 226167 0 1 0 179859 153 0 0 16 0 2 0 1629634 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6843/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.02 CPU time (s): 1800.13 CPU user time (s): 1798.59 CPU system time (s): 1.53677 CPU usage (%): 100.734 Max. virtual memory (cumulated for all children) (KiB): 1794580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.59 system time used= 1.53677 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 226167 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= 45963 involuntary context switches= 62473 runsolver used 1.65875 second user time and 4.94425 second system time The end
Begin job on node40 on Mon Apr 16 12:45:01 UTC 2007 IDJOB= 354826 IDBENCH= 2904 IDSOLVER= 159 FILE ID= node40/354826-1176727501 PBS_JOBID= 4559508 Free space on /tmp= 66561 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_8_70_4.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354826-1176727501/sat4jPseudoResolution.jar /tmp/evaluation/354826-1176727501/instance-354826-1176727501.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-354826-1176727501 -o ROOT/results/node40/solver-354826-1176727501 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354826-1176727501/sat4jPseudoResolution.jar /tmp/evaluation/354826-1176727501/instance-354826-1176727501.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED= 121979480 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1670240 kB Buffers: 41236 kB Cached: 177112 kB SwapCached: 0 kB Active: 210572 kB Inactive: 109060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1670240 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3604 kB Writeback: 0 kB Mapped: 120152 kB Slab: 51568 kB Committed_AS: 261160 kB PageTables: 1816 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= 66561 MiB End job on node40 on Mon Apr 16 13:14:50 UTC 2007