Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 353 | 1800.07 | 1784.62 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 1792.11 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 32 |
| 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 | 85 |
| 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 | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| 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.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.00/0.08 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.00/0.08 c no version file found!!! 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 1599470296 0.00/0.08 c Max memory 1607860224 0.00/0.08 c Total memory 1607860224 0.00/0.08 c Number of processors 8 0.08/0.10 --- Begin Solver configuration --- 0.08/0.10 c Stops conflict analysis at the first Unique Implication Point 0.08/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa 0.08/0.10 c Learn all clauses as in MiniSAT 0.08/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.10 c No reason simplification 0.08/0.10 c --- End Solver configuration --- 0.08/0.10 c solving HOME/instance-3734926-1338703956.opb 0.08/0.10 c reading problem ... 0.08/0.16 c ... done. Wall clock time 0.06s. 0.08/0.16 c CPU time (experimental) 0.13s. 0.08/0.16 c #vars 198 0.08/0.16 c #constraints 16 0.27/0.25 c SATISFIABLE 0.27/0.25 c OPTIMIZING... 0.27/0.25 c Got one! Elapsed wall clock time (in seconds):0.148 0.27/0.25 o 3383 0.27/0.27 c Got one! Elapsed wall clock time (in seconds):0.167 0.27/0.27 o 2609 0.27/0.29 c Got one! Elapsed wall clock time (in seconds):0.184 0.27/0.29 o 2605 0.52/0.30 c Got one! Elapsed wall clock time (in seconds):0.201 0.52/0.30 o 2590 0.52/0.32 c Got one! Elapsed wall clock time (in seconds):0.217 0.52/0.32 o 2159 0.52/0.33 c Got one! Elapsed wall clock time (in seconds):0.231 0.52/0.33 o 2154 0.52/0.35 c Got one! Elapsed wall clock time (in seconds):0.248 0.52/0.35 o 2049 0.52/0.37 c Got one! Elapsed wall clock time (in seconds):0.268 0.52/0.37 o 1597 0.52/0.39 c Got one! Elapsed wall clock time (in seconds):0.291 0.52/0.39 o 968 0.66/0.46 c Got one! Elapsed wall clock time (in seconds):0.36 0.66/0.46 o 966 0.66/0.49 c Got one! Elapsed wall clock time (in seconds):0.386 0.66/0.49 o 965 0.78/0.52 c Got one! Elapsed wall clock time (in seconds):0.414 0.78/0.52 o 963 0.78/0.54 c Got one! Elapsed wall clock time (in seconds):0.437 0.78/0.54 o 962 0.78/0.56 c Got one! Elapsed wall clock time (in seconds):0.46 0.78/0.56 o 956 0.78/0.58 c Got one! Elapsed wall clock time (in seconds):0.482 0.78/0.58 o 867 0.96/0.61 c Got one! Elapsed wall clock time (in seconds):0.504 0.96/0.61 o 865 0.96/0.64 c Got one! Elapsed wall clock time (in seconds):0.54 0.96/0.64 o 863 1.16/0.70 c Got one! Elapsed wall clock time (in seconds):0.599 1.30/0.81 o 861 1.30/0.81 c Got one! Elapsed wall clock time (in seconds):0.627 1.30/0.81 o 859 1.30/0.81 c Got one! Elapsed wall clock time (in seconds):0.708 1.30/0.81 o 858 1.30/0.84 c Got one! Elapsed wall clock time (in seconds):0.736 1.30/0.84 o 856 1.30/0.87 c Got one! Elapsed wall clock time (in seconds):0.765 1.30/0.87 o 854 1.41/0.90 c Got one! Elapsed wall clock time (in seconds):0.795 1.41/0.90 o 853 1.41/0.93 c Got one! Elapsed wall clock time (in seconds):0.826 1.41/0.93 o 852 1.41/0.96 c Got one! Elapsed wall clock time (in seconds):0.858 1.41/0.96 o 843 1.41/1.00 c Got one! Elapsed wall clock time (in seconds):0.893 1.41/1.00 o 841 1.52/1.05 c Got one! Elapsed wall clock time (in seconds):0.948 1.52/1.05 o 838 1.52/1.08 c Got one! Elapsed wall clock time (in seconds):0.977 1.52/1.08 o 837 1.62/1.19 c Got one! Elapsed wall clock time (in seconds):1.084 1.62/1.19 o 836 1.74/1.22 c Got one! Elapsed wall clock time (in seconds):1.114 1.74/1.22 o 835 1.74/1.27 c Got one! Elapsed wall clock time (in seconds):1.166 1.74/1.27 o 834 1.88/1.38 c Got one! Elapsed wall clock time (in seconds):1.278 1.88/1.38 o 832 1.98/1.48 c Got one! Elapsed wall clock time (in seconds):1.378 1.98/1.48 o 831 2.08/1.52 c Got one! Elapsed wall clock time (in seconds):1.418 2.08/1.52 o 830 2.08/1.56 c Got one! Elapsed wall clock time (in seconds):1.458 2.08/1.56 o 829 2.20/1.60 c Got one! Elapsed wall clock time (in seconds):1.499 2.20/1.60 o 828 2.20/1.65 c Got one! Elapsed wall clock time (in seconds):1.545 2.20/1.65 o 815 2.20/1.69 c Got one! Elapsed wall clock time (in seconds):1.587 2.20/1.69 o 814 2.30/1.77 c Got one! Elapsed wall clock time (in seconds):1.664 2.30/1.77 o 813 2.45/1.81 c Got one! Elapsed wall clock time (in seconds):1.703 2.45/1.81 o 811 2.56/1.92 c Got one! Elapsed wall clock time (in seconds):1.817 2.56/1.92 o 810 2.56/1.98 c Got one! Elapsed wall clock time (in seconds):1.875 2.56/1.98 o 753 2.66/2.02 c Got one! Elapsed wall clock time (in seconds):1.916 2.66/2.02 o 751 2.66/2.09 c Got one! Elapsed wall clock time (in seconds):1.983 2.66/2.09 o 749 2.77/2.12 c Got one! Elapsed wall clock time (in seconds):2.022 2.77/2.12 o 746 2.77/2.17 c Got one! Elapsed wall clock time (in seconds):2.071 2.77/2.17 o 745 2.87/2.23 c Got one! Elapsed wall clock time (in seconds):2.126 2.87/2.23 o 743 2.98/2.32 c Got one! Elapsed wall clock time (in seconds):2.218 2.98/2.32 o 742 2.98/2.38 c Got one! Elapsed wall clock time (in seconds):2.273 2.98/2.38 o 741 3.08/2.42 c Got one! Elapsed wall clock time (in seconds):2.319 3.08/2.42 o 740 3.08/2.47 c Got one! Elapsed wall clock time (in seconds):2.37 3.08/2.47 o 739 3.42/2.71 c Got one! Elapsed wall clock time (in seconds):2.607 3.42/2.71 o 737 3.42/2.75 c Got one! Elapsed wall clock time (in seconds):2.648 3.42/2.75 o 735 3.54/2.80 c Got one! Elapsed wall clock time (in seconds):2.698 3.54/2.80 o 734 3.54/2.84 c Got one! Elapsed wall clock time (in seconds):2.736 3.54/2.84 o 730 3.84/3.11 c Got one! Elapsed wall clock time (in seconds):3.01 3.84/3.11 o 728 3.84/3.16 c Got one! Elapsed wall clock time (in seconds):3.062 3.84/3.16 o 727 3.95/3.21 c Got one! Elapsed wall clock time (in seconds):3.107 3.95/3.21 o 725 3.95/3.26 c Got one! Elapsed wall clock time (in seconds):3.16 3.95/3.26 o 722 4.05/3.40 c Got one! Elapsed wall clock time (in seconds):3.293 4.05/3.40 o 720 4.14/3.47 c Got one! Elapsed wall clock time (in seconds):3.365 4.14/3.47 o 719 4.24/3.52 c Got one! Elapsed wall clock time (in seconds):3.413 4.24/3.52 o 717 4.34/3.64 c Got one! Elapsed wall clock time (in seconds):3.54 4.34/3.64 o 715 4.44/3.76 c Got one! Elapsed wall clock time (in seconds):3.658 4.44/3.76 o 713 4.54/3.82 c Got one! Elapsed wall clock time (in seconds):3.714 4.54/3.82 o 712 4.74/4.01 c Got one! Elapsed wall clock time (in seconds):3.912 4.74/4.01 o 711 4.74/4.06 c Got one! Elapsed wall clock time (in seconds):3.961 4.74/4.06 o 708 4.84/4.14 c Got one! Elapsed wall clock time (in seconds):4.037 4.84/4.14 o 707 4.99/4.27 c Got one! Elapsed wall clock time (in seconds):4.166 4.99/4.27 o 705 5.12/4.34 c Got one! Elapsed wall clock time (in seconds):4.24 5.12/4.34 o 704 5.31/4.56 c Got one! Elapsed wall clock time (in seconds):4.458 5.31/4.56 o 703 5.41/4.61 c Got one! Elapsed wall clock time (in seconds):4.509 5.41/4.61 o 701 5.51/4.75 c Got one! Elapsed wall clock time (in seconds):4.651 5.51/4.75 o 700 5.73/4.95 c Got one! Elapsed wall clock time (in seconds):4.85 5.73/4.95 o 699 6.03/5.27 c Got one! Elapsed wall clock time (in seconds):5.169 6.03/5.27 o 695 6.13/5.36 c Got one! Elapsed wall clock time (in seconds):5.261 6.13/5.36 o 694 6.24/5.43 c Got one! Elapsed wall clock time (in seconds):5.328 6.24/5.43 o 693 6.35/5.58 c Got one! Elapsed wall clock time (in seconds):5.479 6.35/5.58 o 691 6.74/5.91 c Got one! Elapsed wall clock time (in seconds):5.811 6.74/5.91 o 689 7.00/6.12 c Got one! Elapsed wall clock time (in seconds):6.015 7.00/6.12 o 688 7.20/6.31 c Got one! Elapsed wall clock time (in seconds):6.21 7.20/6.31 o 687 7.41/6.53 c Got one! Elapsed wall clock time (in seconds):6.424 7.41/6.53 o 686 7.51/6.62 c Got one! Elapsed wall clock time (in seconds):6.514 7.51/6.62 o 684 7.70/6.84 c Got one! Elapsed wall clock time (in seconds):6.733 7.70/6.84 o 682 7.80/6.90 c Got one! Elapsed wall clock time (in seconds):6.799 7.80/6.90 o 680 7.90/7.01 c Got one! Elapsed wall clock time (in seconds):6.912 7.90/7.01 o 678 7.90/7.08 c Got one! Elapsed wall clock time (in seconds):6.981 7.90/7.08 o 677 8.00/7.15 c Got one! Elapsed wall clock time (in seconds):7.05 8.00/7.15 o 675 8.10/7.24 c Got one! Elapsed wall clock time (in seconds):7.138 8.10/7.24 o 673 8.30/7.49 c Got one! Elapsed wall clock time (in seconds):7.385 8.30/7.49 o 666 8.81/7.95 c Got one! Elapsed wall clock time (in seconds):7.849 8.81/7.95 o 664 9.07/8.14 c Got one! Elapsed wall clock time (in seconds):8.042 9.07/8.14 o 662 9.17/8.28 c Got one! Elapsed wall clock time (in seconds):8.181 9.17/8.28 o 660 9.27/8.37 c Got one! Elapsed wall clock time (in seconds):8.267 9.27/8.37 o 658 9.37/8.45 c Got one! Elapsed wall clock time (in seconds):8.345 9.37/8.45 o 642 9.97/9.04 c Got one! Elapsed wall clock time (in seconds):8.935 9.97/9.04 o 641 10.27/9.34 c Got one! Elapsed wall clock time (in seconds):9.235 10.27/9.34 o 640 10.37/9.49 c Got one! Elapsed wall clock time (in seconds):9.385 10.37/9.49 o 639 10.47/9.56 c Got one! Elapsed wall clock time (in seconds):9.456 10.47/9.56 o 638 10.67/9.77 c Got one! Elapsed wall clock time (in seconds):9.668 10.67/9.77 o 637 10.77/9.89 c Got one! Elapsed wall clock time (in seconds):9.786 10.77/9.89 o 636 10.93/9.97 c Got one! Elapsed wall clock time (in seconds):9.869 10.93/9.97 o 635 11.02/10.05 c Got one! Elapsed wall clock time (in seconds):9.944 11.02/10.05 o 633 11.22/10.20 c Got one! Elapsed wall clock time (in seconds):10.097 11.22/10.20 o 632 11.32/10.32 c Got one! Elapsed wall clock time (in seconds):10.216 11.32/10.32 o 630 11.42/10.41 c Got one! Elapsed wall clock time (in seconds):10.311 11.42/10.41 o 628 11.52/10.59 c Got one! Elapsed wall clock time (in seconds):10.488 11.52/10.59 o 626 11.72/10.76 c Got one! Elapsed wall clock time (in seconds):10.657 11.72/10.76 o 623 11.93/10.95 c Got one! Elapsed wall clock time (in seconds):10.846 11.93/10.95 o 622 12.22/11.24 c Got one! Elapsed wall clock time (in seconds):11.141 12.22/11.24 o 620 12.32/11.37 c Got one! Elapsed wall clock time (in seconds):11.265 12.32/11.37 o 618 12.52/11.54 c Got one! Elapsed wall clock time (in seconds):11.441 12.52/11.54 o 617 12.72/11.80 c Got one! Elapsed wall clock time (in seconds):11.694 12.72/11.80 o 616 13.01/11.98 c Got one! Elapsed wall clock time (in seconds):11.873 13.01/11.98 o 614 13.61/12.51 c Got one! Elapsed wall clock time (in seconds):12.404 13.61/12.51 o 613 13.71/12.61 c Got one! Elapsed wall clock time (in seconds):12.509 13.71/12.61 o 610 13.91/12.84 c Got one! Elapsed wall clock time (in seconds):12.74 13.91/12.84 o 609 14.11/13.02 c Got one! Elapsed wall clock time (in seconds):12.917 14.11/13.02 o 608 14.22/13.14 c Got one! Elapsed wall clock time (in seconds):13.034 14.22/13.14 o 607 14.32/13.28 c Got one! Elapsed wall clock time (in seconds):13.176 14.32/13.28 o 606 14.41/13.39 c Got one! Elapsed wall clock time (in seconds):13.287 14.41/13.39 o 605 16.38/15.30 c Got one! Elapsed wall clock time (in seconds):15.199 16.38/15.30 o 603 16.58/15.44 c Got one! Elapsed wall clock time (in seconds):15.333 16.58/15.44 o 601 16.68/15.54 c Got one! Elapsed wall clock time (in seconds):15.433 16.68/15.54 o 600 16.98/15.83 c Got one! Elapsed wall clock time (in seconds):15.728 16.98/15.83 o 598 17.24/16.04 c Got one! Elapsed wall clock time (in seconds):15.942 17.24/16.04 o 596 17.44/16.25 c Got one! Elapsed wall clock time (in seconds):16.151 17.44/16.25 o 594 17.75/16.56 c Got one! Elapsed wall clock time (in seconds):16.458 17.75/16.56 o 592 18.04/16.81 c Got one! Elapsed wall clock time (in seconds):16.707 18.04/16.81 o 545 18.75/17.55 c Got one! Elapsed wall clock time (in seconds):17.446 18.75/17.55 o 543 20.28/19.08 c Got one! Elapsed wall clock time (in seconds):18.978 20.28/19.08 o 541 20.58/19.33 c Got one! Elapsed wall clock time (in seconds):19.224 20.58/19.33 o 539 20.88/19.62 c Got one! Elapsed wall clock time (in seconds):19.522 20.88/19.62 o 537 21.18/19.92 c Got one! Elapsed wall clock time (in seconds):19.817 21.18/19.92 o 535 23.43/22.14 c Got one! Elapsed wall clock time (in seconds):22.038 23.43/22.14 o 534 25.47/24.16 c Got one! Elapsed wall clock time (in seconds):24.059 25.47/24.16 o 532 25.66/24.34 c Got one! Elapsed wall clock time (in seconds):24.24 25.66/24.34 o 530 25.86/24.59 c Got one! Elapsed wall clock time (in seconds):24.486 25.86/24.59 o 489 28.26/26.98 c Got one! Elapsed wall clock time (in seconds):26.875 28.26/26.98 o 487 29.48/28.18 c Got one! Elapsed wall clock time (in seconds):28.074 29.48/28.18 o 486 31.10/29.76 c Got one! Elapsed wall clock time (in seconds):29.658 31.10/29.76 o 485 34.60/33.24 c Got one! Elapsed wall clock time (in seconds):33.138 34.60/33.24 o 484 36.33/34.91 c Got one! Elapsed wall clock time (in seconds):34.81 36.33/34.91 o 483 40.68/39.28 c Got one! Elapsed wall clock time (in seconds):39.173 40.68/39.28 o 481 41.18/39.70 c Got one! Elapsed wall clock time (in seconds):39.596 41.18/39.70 o 479 42.90/41.41 c Got one! Elapsed wall clock time (in seconds):41.307 42.90/41.41 o 475 43.22/41.75 c Got one! Elapsed wall clock time (in seconds):41.647 43.22/41.75 o 474 44.94/43.42 c Got one! Elapsed wall clock time (in seconds):43.318 44.94/43.42 o 473 46.55/45.10 c Got one! Elapsed wall clock time (in seconds):44.994 46.55/45.10 o 469 47.34/45.84 c Got one! Elapsed wall clock time (in seconds):45.742 47.34/45.84 o 468 47.87/46.30 c Got one! Elapsed wall clock time (in seconds):46.198 47.87/46.30 o 467 49.38/47.90 c Got one! Elapsed wall clock time (in seconds):47.793 49.38/47.90 o 466 50.89/49.33 c Got one! Elapsed wall clock time (in seconds):49.232 50.89/49.33 o 465 51.19/49.67 c Got one! Elapsed wall clock time (in seconds):49.564 51.19/49.67 o 463 51.49/49.91 c Got one! Elapsed wall clock time (in seconds):49.807 51.49/49.91 o 462 52.29/50.70 c Got one! Elapsed wall clock time (in seconds):50.596 52.29/50.70 o 461 53.31/51.74 c Got one! Elapsed wall clock time (in seconds):51.639 53.31/51.74 o 460 55.22/53.67 c Got one! Elapsed wall clock time (in seconds):53.563 55.22/53.67 o 458 56.44/54.88 c Got one! Elapsed wall clock time (in seconds):54.775 56.44/54.88 o 457 56.74/55.17 c Got one! Elapsed wall clock time (in seconds):55.072 56.74/55.17 o 455 57.95/56.37 c Got one! Elapsed wall clock time (in seconds):56.268 57.95/56.37 o 424 60.78/59.19 c Got one! Elapsed wall clock time (in seconds):59.087 60.78/59.19 o 422 66.54/64.86 c Got one! Elapsed wall clock time (in seconds):64.758 66.54/64.86 o 420 68.28/66.58 c Got one! Elapsed wall clock time (in seconds):66.473 68.28/66.58 o 419 73.40/71.62 c Got one! Elapsed wall clock time (in seconds):71.521 73.40/71.62 o 418 82.90/81.07 c Got one! Elapsed wall clock time (in seconds):80.971 82.90/81.07 o 417 86.54/84.64 c Got one! Elapsed wall clock time (in seconds):84.537 86.54/84.64 o 414 89.88/87.96 c Got one! Elapsed wall clock time (in seconds):87.857 89.88/87.96 o 412 91.32/89.31 c Got one! Elapsed wall clock time (in seconds):89.211 91.32/89.31 o 410 96.86/94.89 c Got one! Elapsed wall clock time (in seconds):94.792 96.86/94.89 o 409 100.69/98.67 c Got one! Elapsed wall clock time (in seconds):98.567 100.69/98.67 o 407 104.23/102.16 c Got one! Elapsed wall clock time (in seconds):102.054 104.23/102.16 o 406 107.25/105.19 c Got one! Elapsed wall clock time (in seconds):105.086 107.25/105.19 o 404 111.56/109.41 c Got one! Elapsed wall clock time (in seconds):109.312 111.56/109.41 o 403 122.06/119.85 c Got one! Elapsed wall clock time (in seconds):119.743 122.06/119.85 o 401 124.27/122.01 c Got one! Elapsed wall clock time (in seconds):121.903 124.27/122.01 o 399 127.90/125.65 c Got one! Elapsed wall clock time (in seconds):125.549 127.90/125.65 o 398 172.64/170.06 c Got one! Elapsed wall clock time (in seconds):169.954 172.64/170.06 o 396 176.87/174.24 c Got one! Elapsed wall clock time (in seconds):174.135 176.87/174.24 o 395 180.13/177.44 c Got one! Elapsed wall clock time (in seconds):177.334 180.13/177.44 o 394 186.27/183.50 c Got one! Elapsed wall clock time (in seconds):183.396 186.27/183.50 o 392 192.03/189.14 c Got one! Elapsed wall clock time (in seconds):189.04 192.03/189.14 o 390 212.09/209.06 c Got one! Elapsed wall clock time (in seconds):208.957 212.09/209.06 o 388 223.56/220.41 c Got one! Elapsed wall clock time (in seconds):220.31 223.56/220.41 o 386 228.50/225.34 c Got one! Elapsed wall clock time (in seconds):225.234 228.50/225.34 o 384 234.76/231.55 c Got one! Elapsed wall clock time (in seconds):231.446 234.76/231.55 o 374 248.11/244.79 c Got one! Elapsed wall clock time (in seconds):244.686 248.11/244.79 o 372 319.65/315.62 c Got one! Elapsed wall clock time (in seconds):315.52 319.65/315.62 o 371 322.95/318.95 c Got one! Elapsed wall clock time (in seconds):318.844 322.95/318.95 o 370 397.50/392.88 c Got one! Elapsed wall clock time (in seconds):392.779 397.50/392.88 o 369 412.53/407.71 c Got one! Elapsed wall clock time (in seconds):407.609 412.53/407.71 o 368 1315.87/1303.65 c Got one! Elapsed wall clock time (in seconds):1303.547 1315.87/1303.65 o 367 1340.06/1327.78 c Got one! Elapsed wall clock time (in seconds):1327.681 1340.06/1327.78 o 361 1349.46/1337.15 c Got one! Elapsed wall clock time (in seconds):1337.049 1349.46/1337.15 o 360 1364.09/1351.61 c Got one! Elapsed wall clock time (in seconds):1351.509 1364.09/1351.61 o 358 1486.79/1473.35 c Got one! Elapsed wall clock time (in seconds):1473.25 1486.79/1473.35 o 356 1547.35/1533.39 c Got one! Elapsed wall clock time (in seconds):1533.283 1547.35/1533.39 o 355 1660.69/1646.09 c Got one! Elapsed wall clock time (in seconds):1645.992 1660.69/1646.09 o 354 1697.93/1682.97 c Got one! Elapsed wall clock time (in seconds):1682.87 1697.93/1682.97 o 353 1800.07/1784.61 c starts : 1094 1800.07/1784.61 c conflicts : 1417199 1800.07/1784.61 c decisions : 1821147 1800.07/1784.61 c propagations : 26608805 1800.07/1784.61 c inspects : 10353539357 1800.07/1784.61 c learnt literals : 0 1800.07/1784.61 c learnt binary clauses : 0 1800.07/1784.61 c learnt ternary clauses : 0 1800.07/1784.61 c learnt clauses : 1417199 1800.07/1784.61 c root simplifications : 0 1800.07/1784.61 c removed literals (reason simplification) : 0 1800.07/1784.61 c reason swapping (by a shorter reason) : 0 1800.07/1784.61 c Calls to reduceDB : 0 1800.07/1784.61 c speed (decisions/second) : 17917.79730221667 1800.07/1784.61 c non guided choices 6013 1800.07/1784.61 s SATISFIABLE 1800.07/1784.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 x107 -x108 x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 x133 x134 x135 -x136 -x137 -x138 -x139 x140 -x141 x142 x143 -x144 -x145 -x146 x147 x148 x149 -x150 x151 x152 x153 -x154 x155 -x156 -x157 x158 x159 -x160 -x161 x162 -x163 x164 -x165 -x166 -x167 x168 -x169 x170 -x171 x172 -x173 x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 -x183 x184 x185 x186 -x187 x188 -x189 x190 -x191 -x192 x193 x194 -x195 x196 -x197 -x198 1800.07/1784.61 c objective function=353 1800.07/1784.61 c Total wall clock time (ms): 1784.51
OK 353
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734926-1338703956/watcher-3734926-1338703956 -o /tmp/evaluation-result-3734926-1338703956/solver-3734926-1338703956 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734926-1338703956.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20489 /proc/meminfo: memFree=27197628/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/20489/stat : 20489 (java) D 20487 20489 15746 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 336520144 9515008 182 33554432000 1073741824 1073778376 140734255189392 140734255180424 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/20489/statm: 2323 182 140 9 0 71 0 [startup+0.0285371 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20489 /proc/meminfo: memFree=27197628/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=2413132 CPUtime=0 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 3082 0 1 0 0 0 0 0 20 0 10 0 336520144 2471047168 3272 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 603283 3795 1043 9 0 594392 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2413132 [startup+0.100278 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20489 /proc/meminfo: memFree=27197628/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=2957856 CPUtime=0.08 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 4875 0 1 0 7 1 0 0 20 0 18 0 336520144 3028844544 6587 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 739464 6590 2099 9 0 729885 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2957856 [startup+0.300242 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20489 /proc/meminfo: memFree=27197628/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=3090984 CPUtime=0.52 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 8199 0 1 0 50 2 0 0 20 0 19 0 336520144 3165167616 10980 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 772746 10980 2256 9 0 763167 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 3090984 [startup+0.700264 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20489 /proc/meminfo: memFree=27197628/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=3090984 CPUtime=1.16 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 12673 0 1 0 112 4 0 0 20 0 19 0 336520144 3165167616 32420 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 772746 32420 2261 9 0 763167 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 3090984 [startup+1.50072 s] /proc/loadavg: 2.00 2.00 2.00 3/212 20533 /proc/meminfo: memFree=27018756/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=3090984 CPUtime=2.08 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 12945 0 1 0 200 8 0 0 20 0 19 0 336520144 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 772746 69962 2266 9 0 763167 0 [pid=20489/tid=20491] ppid=20487 vsize=3090984 CPUtime=1.46 cores=1,3,5,7 /proc/20489/task/20491/stat : 20491 (java) R 20487 20489 15746 0 -1 4202560 3151 0 1 0 140 6 0 0 20 0 19 0 336520145 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611415429736 140611273820069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20492] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20492/stat : 20492 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611398855592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20493] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20493/stat : 20493 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611397803048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20494] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20494/stat : 20494 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611396749992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20495] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20495/stat : 20495 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611395697448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20496] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20496/stat : 20496 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611394644392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20497] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20497/stat : 20497 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611393591848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20498] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20498/stat : 20498 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611392538792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20499] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20499/stat : 20499 (java) S 20487 20489 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611273353512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20500] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20500/stat : 20500 (java) S 20487 20489 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611261156200 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20501] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20501/stat : 20501 (java) S 20487 20489 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611260102520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20502] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20502/stat : 20502 (java) S 20487 20489 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611259049352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20503] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20503/stat : 20503 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140611257998096 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20504] ppid=20487 vsize=3090984 CPUtime=0.17 cores=1,3,5,7 /proc/20489/task/20504/stat : 20504 (java) S 20487 20489 15746 0 -1 4202560 2167 0 0 0 17 0 0 0 20 0 19 0 336520151 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140610518378808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20505] ppid=20487 vsize=3090984 CPUtime=0.41 cores=1,3,5,7 /proc/20489/task/20505/stat : 20505 (java) S 20487 20489 15746 0 -1 4202560 6359 0 0 0 41 0 0 0 20 0 19 0 336520151 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140610517326264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20506] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20506/stat : 20506 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140610516273400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20507] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20507/stat : 20507 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 69962 33554432000 1073741824 1073778376 140734486010576 140610515221064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 3090984 [startup+3.10076 s] /proc/loadavg: 2.00 2.00 2.00 3/213 20552 /proc/meminfo: memFree=26812844/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=3090984 CPUtime=3.84 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 13120 0 1 0 371 13 0 0 20 0 19 0 336520144 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 772746 116069 2285 9 0 763167 0 [pid=20489/tid=20491] ppid=20487 vsize=3090984 CPUtime=3.03 cores=1,3,5,7 /proc/20489/task/20491/stat : 20491 (java) R 20487 20489 15746 0 -1 4202560 3241 0 1 0 294 9 0 0 20 0 19 0 336520145 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611415429992 140611273818453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20492] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20492/stat : 20492 (java) S 20487 20489 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611398855592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20493] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20493/stat : 20493 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611397803048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20494] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20494/stat : 20494 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611396749992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20495] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20495/stat : 20495 (java) S 20487 20489 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611395697448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20496] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20496/stat : 20496 (java) S 20487 20489 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611394644392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20497] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20497/stat : 20497 (java) S 20487 20489 15746 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611393591848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20498] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20498/stat : 20498 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611392538792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20499] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20499/stat : 20499 (java) S 20487 20489 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611273353512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20500] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20500/stat : 20500 (java) S 20487 20489 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611261156200 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20501] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20501/stat : 20501 (java) S 20487 20489 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611260102520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20502] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20502/stat : 20502 (java) S 20487 20489 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611259049352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20503] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20503/stat : 20503 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140611257998096 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20504] ppid=20487 vsize=3090984 CPUtime=0.17 cores=1,3,5,7 /proc/20489/task/20504/stat : 20504 (java) S 20487 20489 15746 0 -1 4202560 2167 0 0 0 17 0 0 0 20 0 19 0 336520151 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140610518378808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20505] ppid=20487 vsize=3090984 CPUtime=0.54 cores=1,3,5,7 /proc/20489/task/20505/stat : 20505 (java) S 20487 20489 15746 0 -1 4202560 6365 0 0 0 54 0 0 0 20 0 19 0 336520151 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140610517326264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20506] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20506/stat : 20506 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140610516273400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20507] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20507/stat : 20507 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 116069 33554432000 1073741824 1073778376 140734486010576 140610515221064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 3090984 [startup+6.30077 s] /proc/loadavg: 2.00 2.00 2.00 3/213 20584 /proc/meminfo: memFree=26728664/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=3090984 CPUtime=7.2 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 13268 0 1 0 704 16 0 0 20 0 19 0 336520144 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 772746 120966 2287 9 0 763167 0 [pid=20489/tid=20491] ppid=20487 vsize=3090984 CPUtime=6.18 cores=1,3,5,7 /proc/20489/task/20491/stat : 20491 (java) R 20487 20489 15746 0 -1 4202560 3258 0 1 0 609 9 0 0 20 0 19 0 336520145 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611415427520 140611273842884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20492] ppid=20487 vsize=3090984 CPUtime=0.02 cores=1,3,5,7 /proc/20489/task/20492/stat : 20492 (java) S 20487 20489 15746 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 19 0 336520147 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611398855592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20493] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20493/stat : 20493 (java) S 20487 20489 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611397803048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20494] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20494/stat : 20494 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611396749992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20495] ppid=20487 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/20489/task/20495/stat : 20495 (java) S 20487 20489 15746 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 336520147 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611395697448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20496] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20496/stat : 20496 (java) S 20487 20489 15746 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611394644392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20497] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20497/stat : 20497 (java) S 20487 20489 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611393591848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20498] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20498/stat : 20498 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520147 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611392538792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20499] ppid=20487 vsize=3090984 CPUtime=0.02 cores=1,3,5,7 /proc/20489/task/20499/stat : 20499 (java) S 20487 20489 15746 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 336520147 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611273353512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20500] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20500/stat : 20500 (java) S 20487 20489 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611261156200 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20501] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20501/stat : 20501 (java) S 20487 20489 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611260102520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20502] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20502/stat : 20502 (java) S 20487 20489 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611259049352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20503] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20503/stat : 20503 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140611257998096 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20504] ppid=20487 vsize=3090984 CPUtime=0.24 cores=1,3,5,7 /proc/20489/task/20504/stat : 20504 (java) S 20487 20489 15746 0 -1 4202560 2183 0 0 0 24 0 0 0 20 0 19 0 336520151 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140610518378808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20505] ppid=20487 vsize=3090984 CPUtime=0.57 cores=1,3,5,7 /proc/20489/task/20505/stat : 20505 (java) S 20487 20489 15746 0 -1 4202560 6366 0 0 0 57 0 0 0 20 0 19 0 336520151 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140610517326264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20506] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20506/stat : 20506 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140610516273400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20507] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20507/stat : 20507 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 120966 33554432000 1073741824 1073778376 140734486010576 140610515221064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.2 Current children cumulated vsize (KiB) 3090984 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 2.00 3/213 20622 /proc/meminfo: memFree=26672920/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=3090984 CPUtime=13.81 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 13523 0 1 0 1357 24 0 0 20 0 19 0 336520144 3165167616 132750 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 772746 132750 2288 9 0 763167 0 [pid=20489/tid=20491] ppid=20487 vsize=3090984 CPUtime=12.48 cores=1,3,5,7 ################ # More data... # ################ [pid=20489/tid=20504] ppid=20487 vsize=3090984 CPUtime=0.25 cores=1,3,5,7 /proc/20489/task/20504/stat : 20504 (java) S 20487 20489 15746 0 -1 4202560 2185 0 0 0 25 0 0 0 20 0 19 0 336520151 3165167616 290048 33554432000 1073741824 1073778376 140734486010576 140610518378808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20505] ppid=20487 vsize=3090984 CPUtime=0.57 cores=1,3,5,7 /proc/20489/task/20505/stat : 20505 (java) S 20487 20489 15746 0 -1 4202560 6366 0 0 0 57 0 0 0 20 0 19 0 336520151 3165167616 290048 33554432000 1073741824 1073778376 140734486010576 140610517326264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20506] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20506/stat : 20506 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 290048 33554432000 1073741824 1073778376 140734486010576 140610516273400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20507] ppid=20487 vsize=3090984 CPUtime=0.86 cores=1,3,5,7 /proc/20489/task/20507/stat : 20507 (java) S 20487 20489 15746 0 -1 4202560 95 0 0 0 44 42 0 0 20 0 19 0 336520151 3165167616 290048 33554432000 1073741824 1073778376 140734486010576 140610515221064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20782] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20782/stat : 20782 (java) S 20487 20489 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336684754 3165167616 290048 33554432000 1073741824 1073778376 140734486010576 140610513089320 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1677.04 Current children cumulated vsize (KiB) 3090984 [startup+1722.3 s] /proc/loadavg: 2.05 2.02 2.00 3/213 20783 /proc/meminfo: memFree=25896916/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=3090984 CPUtime=1737.47 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 15556 0 1 0 173599 148 0 0 20 0 19 0 336520144 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 772746 292100 2288 9 0 763167 0 [pid=20489/tid=20491] ppid=20487 vsize=3090984 CPUtime=1712.23 cores=1,3,5,7 /proc/20489/task/20491/stat : 20491 (java) R 20487 20489 15746 0 -1 4202560 3537 0 1 0 171184 39 0 0 20 0 19 0 336520145 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611415428384 140611273820016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20492] ppid=20487 vsize=3090984 CPUtime=2.24 cores=1,3,5,7 /proc/20489/task/20492/stat : 20492 (java) S 20487 20489 15746 0 -1 4202560 219 0 0 0 214 10 0 0 20 0 19 0 336520147 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611398855592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20493] ppid=20487 vsize=3090984 CPUtime=2.39 cores=1,3,5,7 /proc/20489/task/20493/stat : 20493 (java) S 20487 20489 15746 0 -1 4202560 221 0 0 0 230 9 0 0 20 0 19 0 336520147 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611397803048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20494] ppid=20487 vsize=3090984 CPUtime=2.35 cores=1,3,5,7 /proc/20489/task/20494/stat : 20494 (java) S 20487 20489 15746 0 -1 4202560 175 0 0 0 228 7 0 0 20 0 19 0 336520147 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611396749992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20495] ppid=20487 vsize=3090984 CPUtime=2.21 cores=1,3,5,7 /proc/20489/task/20495/stat : 20495 (java) S 20487 20489 15746 0 -1 4202560 207 0 0 0 213 8 0 0 20 0 19 0 336520147 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611395697448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20496] ppid=20487 vsize=3090984 CPUtime=2.31 cores=1,3,5,7 /proc/20489/task/20496/stat : 20496 (java) S 20487 20489 15746 0 -1 4202560 213 0 0 0 221 10 0 0 20 0 19 0 336520147 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611394644392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20497] ppid=20487 vsize=3090984 CPUtime=2.48 cores=1,3,5,7 /proc/20489/task/20497/stat : 20497 (java) S 20487 20489 15746 0 -1 4202560 185 0 0 0 240 8 0 0 20 0 19 0 336520147 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611393591848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20498] ppid=20487 vsize=3090984 CPUtime=2.4 cores=1,3,5,7 /proc/20489/task/20498/stat : 20498 (java) S 20487 20489 15746 0 -1 4202560 200 0 0 0 234 6 0 0 20 0 19 0 336520147 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611392538792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20499] ppid=20487 vsize=3090984 CPUtime=2.31 cores=1,3,5,7 /proc/20489/task/20499/stat : 20499 (java) S 20487 20489 15746 0 -1 4202560 179 0 0 0 223 8 0 0 20 0 19 0 336520147 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611273353512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20500] ppid=20487 vsize=3090984 CPUtime=0.08 cores=1,3,5,7 /proc/20489/task/20500/stat : 20500 (java) S 20487 20489 15746 0 -1 4202560 101 0 0 0 4 4 0 0 20 0 19 0 336520148 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611261156200 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20501] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20501/stat : 20501 (java) S 20487 20489 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611260102520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20502] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20502/stat : 20502 (java) S 20487 20489 15746 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611259049352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20503] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20503/stat : 20503 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140611257998096 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20504] ppid=20487 vsize=3090984 CPUtime=0.25 cores=1,3,5,7 /proc/20489/task/20504/stat : 20504 (java) S 20487 20489 15746 0 -1 4202560 2185 0 0 0 25 0 0 0 20 0 19 0 336520151 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140610518378808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20505] ppid=20487 vsize=3090984 CPUtime=0.57 cores=1,3,5,7 /proc/20489/task/20505/stat : 20505 (java) S 20487 20489 15746 0 -1 4202560 6366 0 0 0 57 0 0 0 20 0 19 0 336520151 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140610517326264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20506] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20506/stat : 20506 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140610516273400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20507] ppid=20487 vsize=3090984 CPUtime=0.89 cores=1,3,5,7 /proc/20489/task/20507/stat : 20507 (java) S 20487 20489 15746 0 -1 4202560 99 0 0 0 45 44 0 0 20 0 19 0 336520151 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140610515221064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20783] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20783/stat : 20783 (java) S 20487 20489 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336688442 3165167616 292100 33554432000 1073741824 1073778376 140734486010576 140610513089448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1737.47 Current children cumulated vsize (KiB) 3090984 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/213 20783 /proc/meminfo: memFree=25882456/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=3090984 CPUtime=1797.77 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 15602 0 1 0 179627 150 0 0 20 0 19 0 336520144 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 772746 295699 2288 9 0 763167 0 [pid=20489/tid=20491] ppid=20487 vsize=3090984 CPUtime=1771.94 cores=1,3,5,7 /proc/20489/task/20491/stat : 20491 (java) R 20487 20489 15746 0 -1 4202560 3540 0 1 0 177154 40 0 0 20 0 19 0 336520145 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611415428384 140611273908088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20492] ppid=20487 vsize=3090984 CPUtime=2.3 cores=1,3,5,7 /proc/20489/task/20492/stat : 20492 (java) S 20487 20489 15746 0 -1 4202560 223 0 0 0 220 10 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611398855592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20493] ppid=20487 vsize=3090984 CPUtime=2.47 cores=1,3,5,7 /proc/20489/task/20493/stat : 20493 (java) S 20487 20489 15746 0 -1 4202560 224 0 0 0 238 9 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611397803048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20494] ppid=20487 vsize=3090984 CPUtime=2.38 cores=1,3,5,7 /proc/20489/task/20494/stat : 20494 (java) S 20487 20489 15746 0 -1 4202560 176 0 0 0 231 7 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611396749992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20495] ppid=20487 vsize=3090984 CPUtime=2.28 cores=1,3,5,7 /proc/20489/task/20495/stat : 20495 (java) S 20487 20489 15746 0 -1 4202560 214 0 0 0 220 8 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611395697448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20496] ppid=20487 vsize=3090984 CPUtime=2.34 cores=1,3,5,7 /proc/20489/task/20496/stat : 20496 (java) S 20487 20489 15746 0 -1 4202560 214 0 0 0 224 10 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611394644392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20497] ppid=20487 vsize=3090984 CPUtime=2.53 cores=1,3,5,7 /proc/20489/task/20497/stat : 20497 (java) S 20487 20489 15746 0 -1 4202560 194 0 0 0 245 8 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611393591848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20498] ppid=20487 vsize=3090984 CPUtime=2.47 cores=1,3,5,7 /proc/20489/task/20498/stat : 20498 (java) S 20487 20489 15746 0 -1 4202560 209 0 0 0 240 7 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611392538792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20499] ppid=20487 vsize=3090984 CPUtime=2.34 cores=1,3,5,7 /proc/20489/task/20499/stat : 20499 (java) S 20487 20489 15746 0 -1 4202560 180 0 0 0 226 8 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611273353512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20500] ppid=20487 vsize=3090984 CPUtime=0.09 cores=1,3,5,7 /proc/20489/task/20500/stat : 20500 (java) S 20487 20489 15746 0 -1 4202560 105 0 0 0 4 5 0 0 20 0 19 0 336520148 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611261156200 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20501] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20501/stat : 20501 (java) S 20487 20489 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611260102520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20502] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20502/stat : 20502 (java) S 20487 20489 15746 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611259049352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20503] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20503/stat : 20503 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611257998096 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20504] ppid=20487 vsize=3090984 CPUtime=0.25 cores=1,3,5,7 /proc/20489/task/20504/stat : 20504 (java) S 20487 20489 15746 0 -1 4202560 2185 0 0 0 25 0 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610518378808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20505] ppid=20487 vsize=3090984 CPUtime=0.57 cores=1,3,5,7 /proc/20489/task/20505/stat : 20505 (java) S 20487 20489 15746 0 -1 4202560 6366 0 0 0 57 0 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610517326264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20506] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20506/stat : 20506 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610516273400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20507] ppid=20487 vsize=3090984 CPUtime=0.92 cores=1,3,5,7 /proc/20489/task/20507/stat : 20507 (java) S 20487 20489 15746 0 -1 4202560 103 0 0 0 46 46 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610515221064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20783] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20783/stat : 20783 (java) S 20487 20489 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336688442 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610513089448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 3090984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.6 s] /proc/loadavg: 2.01 2.01 2.00 3/213 20783 /proc/meminfo: memFree=25882332/32873844 swapFree=7108/7108 [pid=20489] ppid=20487 vsize=3090984 CPUtime=1800.07 cores=1,3,5,7 /proc/20489/stat : 20489 (java) S 20487 20489 15746 0 -1 4202496 15602 0 1 0 179857 150 0 0 20 0 19 0 336520144 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140734486001712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20489/statm: 772746 295699 2288 9 0 763167 0 [pid=20489/tid=20491] ppid=20487 vsize=3090984 CPUtime=1774.24 cores=1,3,5,7 /proc/20489/task/20491/stat : 20491 (java) R 20487 20489 15746 0 -1 4202560 3540 0 1 0 177384 40 0 0 20 0 19 0 336520145 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611415428384 140611273820221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20492] ppid=20487 vsize=3090984 CPUtime=2.3 cores=1,3,5,7 /proc/20489/task/20492/stat : 20492 (java) S 20487 20489 15746 0 -1 4202560 223 0 0 0 220 10 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611398855592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20493] ppid=20487 vsize=3090984 CPUtime=2.47 cores=1,3,5,7 /proc/20489/task/20493/stat : 20493 (java) S 20487 20489 15746 0 -1 4202560 224 0 0 0 238 9 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611397803048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20494] ppid=20487 vsize=3090984 CPUtime=2.38 cores=1,3,5,7 /proc/20489/task/20494/stat : 20494 (java) S 20487 20489 15746 0 -1 4202560 176 0 0 0 231 7 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611396749992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20495] ppid=20487 vsize=3090984 CPUtime=2.28 cores=1,3,5,7 /proc/20489/task/20495/stat : 20495 (java) S 20487 20489 15746 0 -1 4202560 214 0 0 0 220 8 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611395697448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20496] ppid=20487 vsize=3090984 CPUtime=2.34 cores=1,3,5,7 /proc/20489/task/20496/stat : 20496 (java) S 20487 20489 15746 0 -1 4202560 214 0 0 0 224 10 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611394644392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20497] ppid=20487 vsize=3090984 CPUtime=2.53 cores=1,3,5,7 /proc/20489/task/20497/stat : 20497 (java) S 20487 20489 15746 0 -1 4202560 194 0 0 0 245 8 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611393591848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20498] ppid=20487 vsize=3090984 CPUtime=2.47 cores=1,3,5,7 /proc/20489/task/20498/stat : 20498 (java) S 20487 20489 15746 0 -1 4202560 209 0 0 0 240 7 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611392538792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20499] ppid=20487 vsize=3090984 CPUtime=2.34 cores=1,3,5,7 /proc/20489/task/20499/stat : 20499 (java) S 20487 20489 15746 0 -1 4202560 180 0 0 0 226 8 0 0 20 0 19 0 336520147 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611273353512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20500] ppid=20487 vsize=3090984 CPUtime=0.09 cores=1,3,5,7 /proc/20489/task/20500/stat : 20500 (java) S 20487 20489 15746 0 -1 4202560 105 0 0 0 4 5 0 0 20 0 19 0 336520148 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611261156200 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20501] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20501/stat : 20501 (java) S 20487 20489 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611260102520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20502] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20502/stat : 20502 (java) S 20487 20489 15746 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 19 0 336520148 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611259049352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20503] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20503/stat : 20503 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140611257998096 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20504] ppid=20487 vsize=3090984 CPUtime=0.25 cores=1,3,5,7 /proc/20489/task/20504/stat : 20504 (java) S 20487 20489 15746 0 -1 4202560 2185 0 0 0 25 0 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610518378808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20489/tid=20505] ppid=20487 vsize=3090984 CPUtime=0.57 cores=1,3,5,7 /proc/20489/task/20505/stat : 20505 (java) S 20487 20489 15746 0 -1 4202560 6366 0 0 0 57 0 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610517326264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20489/tid=20506] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20506/stat : 20506 (java) S 20487 20489 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610516273400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20489/tid=20507] ppid=20487 vsize=3090984 CPUtime=0.92 cores=1,3,5,7 /proc/20489/task/20507/stat : 20507 (java) S 20487 20489 15746 0 -1 4202560 103 0 0 0 46 46 0 0 20 0 19 0 336520151 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610515221064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20489/tid=20783] ppid=20487 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/20489/task/20783/stat : 20783 (java) S 20487 20489 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336688442 3165167616 295699 33554432000 1073741824 1073778376 140734486010576 140610513089448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 3090984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20489 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=738310 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=712739 # CPU time returned by wait4() is 1795.45 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1784.62 CPU time (s): 1800.07 CPU user time (s): 1798.57 CPU system time (s): 1.5 CPU usage (%): 100.866 Max. virtual memory (cumulated for all children) (KiB): 3090984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.74 system time used= 1.71274 maximum resident set size= 1182876 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15625 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1696 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46199 involuntary context switches= 48248 runsolver used 5.9191 second user time and 16.8054 second system time The end
Begin job on node139 at 2012-06-03 08:12:36 IDJOB=3734926 IDBENCH=2920 IDSOLVER=2319 FILE ID=node139/3734926-1338703956 RUNJOBID= node139-1338678624-15766 PBS_JOBID= 14636674 Free space on /tmp= 71096 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734926-1338703956/watcher-3734926-1338703956 -o /tmp/evaluation-result-3734926-1338703956/solver-3734926-1338703956 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734926-1338703956.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=668502531 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27198156 kB Buffers: 499348 kB Cached: 3287976 kB SwapCached: 828 kB Active: 2693856 kB Inactive: 2102304 kB Active(anon): 1002500 kB Inactive(anon): 7952 kB Active(file): 1691356 kB Inactive(file): 2094352 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67104688 kB Dirty: 3584 kB Writeback: 0 kB AnonPages: 1017996 kB Mapped: 19752 kB Shmem: 8 kB Slab: 732956 kB SReclaimable: 175012 kB SUnreclaim: 557944 kB KernelStack: 1608 kB PageTables: 6172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1826964 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 974848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71092 MiB End job on node139 at 2012-06-03 08:42:23