Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 24.4383 | 24.7043 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 28617 |
Name | csp/fapp/fapp02/ normalized-fapp02-0250-0.xml |
MD5SUM | 629efecb0eb59f0ce6ca410b2a2aa039 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.9937 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 3055 |
Maximum constraint arity | 2 |
Maximum domain size | 210 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3055 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 8.00/8.12 c CASE TO CLASSIFY: 8.00/8.13 c Case: 0 8.00/8.13 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.628500 | c 15 > 11.724500 | c 34 > 68.147300 | c 16 > 2.000000 | c 13 > 2.719920 | c 14 > -1.000000 | c 11 > 7.965780 | c 12 > 4.611170 | c 21 > 12.102600 | c 20 > 0.000000 | c 22 > 14.491400 | c 23 > 2.970540 | c 24 > 0.808781 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.577000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.160300 | c 31 > -1.000000 | c 4 > 7.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.00/8.14 c choco : 1801.0 8.00/8.14 c mistral : 1801.0 8.00/8.14 c abscon : 1801.0 8.00/8.14 c 8.00/8.14 c 8.09/8.21 c List of same ones: 40 8.09/8.21 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 8.09/8.21 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.723700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.09/8.22 c choco : 1801.0 8.09/8.22 c mistral : 39.28 8.09/8.22 c abscon : 9.8585 8.09/8.22 c 8.09/8.22 c 8.09/8.22 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 8.09/8.22 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.670200 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.09/8.23 c choco : 115.65 8.09/8.23 c mistral : 1800.08 8.09/8.23 c abscon : 11.0983 8.09/8.23 c 8.09/8.23 c 8.09/8.23 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 8.09/8.23 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.868400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.09/8.24 c choco : 80.85 8.09/8.24 c mistral : 12.5891 8.09/8.24 c abscon : 10.0495 8.09/8.24 c 8.09/8.24 c 8.09/8.24 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 8.09/8.24 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.494900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.09/8.25 c choco : 30.96 8.09/8.25 c mistral : 2.38464 8.09/8.25 c abscon : 5.81212 8.09/8.25 c 8.09/8.25 c 8.09/8.25 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 8.09/8.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.475700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.09/8.26 c choco : 30.87 8.09/8.26 c mistral : 2.28165 8.09/8.26 c abscon : 5.48517 8.09/8.26 c 8.09/8.26 c 8.09/8.26 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 8.09/8.26 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.456400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.09/8.27 c choco : 1801.0 8.09/8.27 c mistral : 8.45871 8.09/8.27 c abscon : 6.12907 8.09/8.27 c 8.09/8.27 c 8.09/8.27 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 8.09/8.27 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.419400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.09/8.27 c choco : 31.97 8.09/8.27 c mistral : 2.46962 8.09/8.27 c abscon : 5.44917 8.09/8.27 c 8.09/8.27 c 8.09/8.27 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 8.09/8.27 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 12.038900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.09/8.28 c choco : 33.36 8.09/8.28 c mistral : 6.83796 8.09/8.28 c abscon : 10.5184 8.09/8.28 c 8.09/8.28 c 8.09/8.28 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml 8.09/8.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.405100 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.09/8.29 c choco : 32.16 8.09/8.29 c mistral : 2.42163 8.09/8.29 c abscon : 5.54416 8.09/8.29 c 8.09/8.29 c 8.09/8.29 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml 8.09/8.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.357600 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.17/8.30 c choco : 32.23 8.17/8.30 c mistral : 8.82966 8.17/8.30 c abscon : 5.43717 8.17/8.30 c 8.17/8.30 c 8.17/8.30 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-0.xml 8.17/8.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.003500 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.50 c choco : 38.64 8.36/8.50 c mistral : 6.43 8.36/8.50 c abscon : 5.53516 8.36/8.50 c 8.36/8.50 c 8.36/8.50 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-0.xml 8.36/8.50 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 13.160200 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.373670 | c 14 > 1.000000 | c 11 > 7.643860 | c 12 > 4.359660 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.51 c choco : 26.68 8.36/8.51 c mistral : 1.61975 8.36/8.51 c abscon : 5.13422 8.36/8.51 c 8.36/8.51 c 8.36/8.51 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-1.xml 8.36/8.51 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 10.905400 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 0.000000 | c 11 > 7.228820 | c 12 > 4.282930 | c 21 > 13.938000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.626460 | c 24 > 0.777634 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.511800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.830700 | c 31 > -1.000000 | c 4 > 7.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.52 c choco : 1801.0 8.36/8.52 c mistral : 55.3386 8.36/8.52 c abscon : 5.2292 8.36/8.52 c 8.36/8.52 c 8.36/8.52 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-2.xml 8.36/8.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 10.905400 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 0.000000 | c 11 > 7.228820 | c 12 > 4.282930 | c 21 > 13.938000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.626460 | c 24 > 0.777634 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.511800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.830700 | c 31 > -1.000000 | c 4 > 7.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.53 c choco : 1801.0 8.36/8.53 c mistral : 105.23 8.36/8.53 c abscon : 5.15621 8.36/8.53 c 8.36/8.53 c 8.36/8.53 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 8.36/8.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.398200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.54 c choco : 1801.0 8.36/8.54 c mistral : 1800.04 8.36/8.54 c abscon : 11.0623 8.36/8.54 c 8.36/8.54 c 8.36/8.54 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 8.36/8.54 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.193500 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.55 c choco : 1801.0 8.36/8.55 c mistral : 1800.06 8.36/8.55 c abscon : 11.9282 8.36/8.55 c 8.36/8.55 c 8.36/8.55 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 8.36/8.55 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.127300 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.55 c choco : 1801.0 8.36/8.55 c mistral : 1800.03 8.36/8.55 c abscon : 12.0042 8.36/8.55 c 8.36/8.55 c 8.36/8.55 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-0.xml 8.36/8.55 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 10.168700 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > -1.000000 | c 11 > 7.228820 | c 12 > 4.282930 | c 21 > 13.938000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.626460 | c 24 > 0.777634 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.511800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.830700 | c 31 > -1.000000 | c 4 > 7.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.56 c choco : 21.85 8.36/8.56 c mistral : 4.97924 8.36/8.56 c abscon : 4.91425 8.36/8.56 c 8.36/8.56 c 8.36/8.56 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 8.36/8.56 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.033400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.56 c choco : 1801.0 8.36/8.56 c mistral : 1800.01 8.36/8.56 c abscon : 6.594 8.36/8.56 c 8.36/8.56 c 8.36/8.56 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 8.36/8.56 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.978000 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.57 c choco : 1801.0 8.36/8.57 c mistral : 1800.03 8.36/8.57 c abscon : 5.97909 8.36/8.57 c 8.36/8.57 c 8.36/8.57 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 8.36/8.57 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.857200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.58 c choco : 1801.0 8.36/8.58 c mistral : 1800.05 8.36/8.58 c abscon : 5.9181 8.36/8.58 c 8.36/8.58 c 8.36/8.58 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 8.36/8.58 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.815400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.59 c choco : 1801.0 8.36/8.59 c mistral : 1800.09 8.36/8.59 c abscon : 6.03108 8.36/8.59 c 8.36/8.59 c 8.36/8.59 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml 8.36/8.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.775600 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.36/8.59 c choco : 1801.0 8.36/8.59 c mistral : 1800.05 8.36/8.59 c abscon : 5.67014 8.36/8.59 c 8.36/8.59 c 8.36/8.59 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml 8.36/8.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.726200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.60 c choco : 1801.0 8.42/8.60 c mistral : 514.646 8.42/8.60 c abscon : 5.76312 8.42/8.60 c 8.42/8.60 c 8.42/8.60 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml 8.42/8.60 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.700400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.60 c choco : 1801.0 8.42/8.60 c mistral : 1800.06 8.42/8.60 c abscon : 5.79212 8.42/8.60 c 8.42/8.60 c 8.42/8.60 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-0.xml 8.42/8.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.205800 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.61 c choco : 281.41 8.42/8.61 c mistral : 45.1561 8.42/8.61 c abscon : 5.50616 8.42/8.61 c 8.42/8.61 c 8.42/8.61 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml 8.42/8.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.668400 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.62 c choco : 1801.0 8.42/8.62 c mistral : 1800.02 8.42/8.62 c abscon : 17.2824 8.42/8.62 c 8.42/8.62 c 8.42/8.62 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml 8.42/8.62 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.856000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.62 c choco : 1801.0 8.42/8.62 c mistral : 1800.03 8.42/8.62 c abscon : 25.9351 8.42/8.62 c 8.42/8.62 c 8.42/8.62 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml 8.42/8.62 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.516200 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.63 c choco : 1801.0 8.42/8.63 c mistral : 6.79996 8.42/8.63 c abscon : 6.95294 8.42/8.63 c 8.42/8.63 c 8.42/8.63 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml 8.42/8.63 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.461000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.63 c choco : 1801.0 8.42/8.63 c mistral : 4.03939 8.42/8.63 c abscon : 7.04993 8.42/8.63 c 8.42/8.63 c 8.42/8.63 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml 8.42/8.63 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.341500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.64 c choco : 1801.0 8.42/8.64 c mistral : 3.81642 8.42/8.64 c abscon : 7.04593 8.42/8.64 c 8.42/8.64 c 8.42/8.64 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml 8.42/8.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.258600 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.64 c choco : 1801.0 8.42/8.64 c mistral : 4.28235 8.42/8.64 c abscon : 6.70698 8.42/8.64 c 8.42/8.64 c 8.42/8.64 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml 8.42/8.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.174900 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.65 c choco : 1801.0 8.42/8.65 c mistral : 2.73858 8.42/8.65 c abscon : 6.30204 8.42/8.65 c 8.42/8.65 c 8.42/8.65 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml 8.42/8.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.078800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.66 c choco : 1801.0 8.42/8.66 c mistral : 2.6216 8.42/8.66 c abscon : 6.46502 8.42/8.66 c 8.42/8.66 c 8.42/8.66 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml 8.42/8.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.057300 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.66 c choco : 1801.0 8.42/8.66 c mistral : 2.35864 8.42/8.66 c abscon : 6.51701 8.42/8.66 c 8.42/8.66 c 8.42/8.66 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml 8.42/8.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.991500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.67 c choco : 1801.0 8.42/8.67 c mistral : 2.40163 8.42/8.67 c abscon : 6.25705 8.42/8.67 c 8.42/8.67 c 8.42/8.67 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml 8.42/8.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.634800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.67 c choco : 1801.0 8.42/8.67 c mistral : 9.48556 8.42/8.67 c abscon : 6.47801 8.42/8.67 c 8.42/8.67 c 8.42/8.67 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-0.xml 8.42/8.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.902380 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.68 c choco : 49.0 8.42/8.68 c mistral : 18.2302 8.42/8.68 c abscon : 5.2362 8.42/8.68 c 8.42/8.68 c 8.42/8.68 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-4.xml 8.42/8.68 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.864190 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.69 c choco : 47.79 8.42/8.69 c mistral : 4.87226 8.42/8.69 c abscon : 5.55215 8.42/8.69 c 8.42/8.69 c 8.42/8.69 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-9.xml 8.42/8.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.859530 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.42/8.70 c choco : 47.84 8.42/8.70 c mistral : 4.67629 8.42/8.70 c abscon : 5.53016 8.42/8.70 c 8.42/8.70 c 8.48/8.70 c Length: 40 8.48/8.70 c 2.110584842223832 2.111283075815509 2.1154845653478533 2.123036480191755 2.12519862041763 2.1275444404817954 2.132522859484746 2.133873261518827 2.1346156788108246 2.1422379294151708 2.2303382560107328 2.800117385064597 4.045561963980901 4.045561963980901 4.097667885282553 4.119025541080801 4.12808166683703 4.137168166077976 4.142708005408539 4.152309316281242 4.1757178661969 4.1845995289962925 4.193426000071539 4.204879700785266 4.211079578691905 4.357850398771852 4.3828843071425005 4.384497678160634 4.3874726813731835 4.39043960097346 4.399229096079902 4.407220263362837 4.416852702977087 4.4298370319681055 4.4330219354065905 4.443401471822684 4.5159687476549255 4.524375486334107 4.539890476987412 4.541801993464818 8.48/8.70 c 8.48/8.70 c 1.0 0.9997128873825003 0.997988715904569 0.9949045312429782 0.9940250251896295 0.9930725597073681 0.9910572239609647 0.990511971301043 0.9902124605310231 0.9871478867634184 0.9530557445747745 0.7790490713983221 0.5568275251232894 0.5568275251232894 0.5502607437986294 0.5476136299979388 0.5464988678608351 0.5453849190477965 0.544707994455004 0.5435387614920631 0.5407090321040766 0.5396430724668358 0.5385878924837826 0.5372247705839435 0.5364897882927975 0.5196593218552154 0.5168934968547078 0.5167162560580539 0.5163897483601826 0.5160645385363752 0.5151035046528007 0.5142328602723576 0.5131873019303901 0.5117846209984687 0.5114417301369606 0.5103274374373546 0.5026705991984036 0.5017983982551516 0.5001966369217433 0.5 8.48/8.71 c 8.48/8.71 c solver 0 8.48/8.71 c before 0.0 seconds: {} 0 8.48/8.71 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25904 8.48/8.71 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26421 8.48/8.71 c 8.48/8.71 c solver 1 8.48/8.71 c before 0.0 seconds: {} 0 8.48/8.71 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 17, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 15827 8.48/8.71 c before 36.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 17, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16329 8.48/8.71 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 17, 25, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17849 8.48/8.71 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 17, 25, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18406 8.48/8.71 c before 108.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 17, 25, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18962 8.48/8.71 c before 522.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 17, 23, 25, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19500 8.48/8.72 c 8.48/8.72 c solver 2 8.48/8.72 c before 0.0 seconds: {} 0 8.48/8.72 c before 36.0 seconds: {3, 4, 6, 7, 8, 9, 11, 17} 7272 8.48/8.72 c before 54.0 seconds: {3, 4, 6, 7, 8, 9, 10, 11, 17, 37, 38, 39} 9727 8.48/8.72 c before 90.0 seconds: {2, 3, 4, 6, 7, 8, 9, 10, 11, 17, 37, 38, 39} 10725 8.48/8.72 c before 126.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 17, 37, 38, 39} 11725 8.48/8.72 c before 288.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 17, 25, 37, 38, 39} 12244 8.48/8.72 c 8.48/8.72 cTotal time: 47 8.48/8.72 c 846.0 seconds unused 8.48/8.72 c 0 c 12 c 25 8.48/8.72 c 0 c 0 c 14 8.48/8.72 c 0 c 1 c 0 8.48/8.72 c is solver0 dominated by: 8.48/8.72 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 8.48/8.72 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false) 8.48/8.72 c is dominated? false 8.48/8.72 c 8.48/8.72 c is solver1 dominated by: 8.48/8.72 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true) 8.48/8.72 c is dominated? true 8.48/8.72 c 8.48/8.72 c is solver2 dominated by: 8.48/8.72 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true) 8.48/8.72 c is dominated? true 8.48/8.72 c 8.48/8.72 c Number of non-dominated solvers: 1 8.48/8.72 c remove dominated solvers 8.48/8.72 c solver 0 is not dominated by another solver 8.48/8.72 c solver 2 is dominated by another solver 8.48/8.72 c solver 1 is dominated by another solver 8.48/8.72 c 8.48/8.72 c solver 0: 36.0 8.48/8.72 c 8.48/8.72 c+ 2/2 of 98 8.48/8.72 c 8.48/8.72 c solver 1: 0.0 8.48/8.72 c 8.48/8.72 c solver 2: 0.0 8.48/8.72 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26421 8.48/8.72 c do not run mistral 8.48/8.72 c do not run choco 8.48/8.72 c Starting solver: HOME/cpHydra_k_40/solver/abscon 8.48/8.72 c On Instance: HOME/instance-1087087-1215242567.xml 8.48/8.72 c Running for: 1800 seconds 24.34/24.66 s UNSATISFIABLE 24.34/24.66 d ASSIGNMENTS 0 24.34/24.66 d CHECKS 28617
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087087-1215242567/watcher-1087087-1215242567 -o /tmp/evaluation-result-1087087-1215242567/solver-1087087-1215242567 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087087-1215242567.xml 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): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 2.10 2.13 4/73 21550 /proc/meminfo: memFree=1829792/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=18572 CPUtime=0 /proc/21550/stat : 21550 (runsolver) R 21548 21550 19608 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1008711630 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 269028486439 0 0 4096 24578 0 0 0 17 1 0 0 /proc/21550/statm: 4643 292 257 25 0 2626 0 [startup+0.114095 s] /proc/loadavg: 1.94 2.10 2.13 4/73 21550 /proc/meminfo: memFree=1829792/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=0 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1008711630 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201102 s] /proc/loadavg: 1.94 2.10 2.13 4/73 21550 /proc/meminfo: memFree=1829792/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=0 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1008711630 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301107 s] /proc/loadavg: 1.94 2.10 2.13 4/73 21550 /proc/meminfo: memFree=1829792/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=0 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1008711630 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701139 s] /proc/loadavg: 1.94 2.10 2.13 4/73 21550 /proc/meminfo: memFree=1829792/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=0 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1008711630 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.5012 s] /proc/loadavg: 1.94 2.10 2.13 3/75 21554 /proc/meminfo: memFree=1823952/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=0 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1008711630 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 236 195 169 0 51 0 [pid=21554] ppid=21550 vsize=13476 CPUtime=1.47 /proc/21554/stat : 21554 (xsolve) R 21550 21550 19608 0 -1 4194304 1830 0 0 0 147 0 0 0 25 0 1 0 1008711631 13799424 1789 996147200 134512640 135239763 4294956176 18446744073709551615 134820058 0 0 4096 0 0 0 0 17 1 0 0 /proc/21554/statm: 3369 1789 417 177 0 2272 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 18836 [startup+3.10233 s] /proc/loadavg: 1.94 2.10 2.13 3/75 21554 /proc/meminfo: memFree=1823824/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=2.37 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 375 2429 0 0 0 0 236 1 18 0 1 0 1008711630 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 2.37 Current children cumulated vsize (KiB) 5360 [startup+6.30259 s] /proc/loadavg: 2.11 2.13 2.14 3/83 21566 /proc/meminfo: memFree=1812816/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=2.37 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 375 2429 0 0 0 0 236 1 18 0 1 0 1008711630 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 238 196 169 0 51 0 [pid=21558] ppid=21550 vsize=197112 CPUtime=3.84 /proc/21558/stat : 21558 (java) S 21550 21550 19608 0 -1 0 9071 0 1 0 370 14 0 0 18 0 9 0 1008711871 201842688 7515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21558/statm: 49278 7515 2541 9 0 43860 0 [pid=21558/tid=21559] ppid=21550 vsize=197112 CPUtime=3.02 /proc/21558/task/21559/stat : 21559 (java) R 21550 21550 19608 0 -1 64 3397 0 1 0 297 5 0 0 25 0 9 0 1008711872 201842688 7515 996147200 134512640 134550740 4294955968 18446744073709551615 4126439990 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21560] ppid=21550 vsize=197112 CPUtime=0.62 /proc/21558/task/21560/stat : 21560 (java) S 21550 21550 19608 0 -1 64 4321 0 0 0 55 7 0 0 15 0 9 0 1008711873 201842688 7515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21561] ppid=21550 vsize=197112 CPUtime=0 /proc/21558/task/21561/stat : 21561 (java) S 21550 21550 19608 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1008711873 201842688 7515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21562] ppid=21550 vsize=197112 CPUtime=0 /proc/21558/task/21562/stat : 21562 (java) S 21550 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008711873 201842688 7515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21563] ppid=21550 vsize=197112 CPUtime=0 /proc/21558/task/21563/stat : 21563 (java) S 21550 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1008711875 201842688 7515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21564] ppid=21550 vsize=197112 CPUtime=0.16 /proc/21558/task/21564/stat : 21564 (java) S 21550 21550 19608 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 1008711875 201842688 7515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21565] ppid=21550 vsize=197112 CPUtime=0 /proc/21558/task/21565/stat : 21565 (java) S 21550 21550 19608 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1008711875 201842688 7515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21566] ppid=21550 vsize=197112 CPUtime=0 /proc/21558/task/21566/stat : 21566 (java) S 21550 21550 19608 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1008711875 201842688 7515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202472 [startup+12.7021 s] /proc/loadavg: 2.10 2.13 2.14 3/95 21578 /proc/meminfo: memFree=1756272/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=2.37 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 375 2429 0 0 0 0 236 1 18 0 1 0 1008711630 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 238 196 169 0 51 0 [pid=21558] ppid=21550 vsize=197436 CPUtime=6.13 /proc/21558/stat : 21558 (java) S 21550 21550 19608 0 -1 0 13945 0 1 0 590 23 0 0 18 0 10 0 1008711871 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21558/statm: 49359 9480 2544 9 0 43941 0 [pid=21568] ppid=21558 vsize=5356 CPUtime=0 /proc/21568/stat : 21568 (abscon) S 21558 21550 19608 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1008712503 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/21568/statm: 1339 235 194 169 0 50 0 [pid=21569] ppid=21568 vsize=655872 CPUtime=3.95 /proc/21569/stat : 21569 (java) S 21568 21550 19608 0 -1 0 15281 0 1 0 385 10 0 0 18 0 9 0 1008712504 671612928 14787 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21569/statm: 163968 14787 2007 9 0 158496 0 [pid=21569/tid=21571] ppid=21568 vsize=655872 CPUtime=3.66 /proc/21569/task/21571/stat : 21571 (java) R 21568 21550 19608 0 -1 64 12448 0 1 0 357 9 0 0 25 0 9 0 1008712504 671612928 14787 996147200 134512640 134550740 4294955808 18446744073709551615 4126871138 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21572] ppid=21568 vsize=655872 CPUtime=0.05 /proc/21569/task/21572/stat : 21572 (java) S 21568 21550 19608 0 -1 64 1608 0 0 0 5 0 0 0 16 0 9 0 1008712505 671612928 14787 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21573] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21573/stat : 21573 (java) S 21568 21550 19608 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 14787 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21574] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21574/stat : 21574 (java) S 21568 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 14787 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21575] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21575/stat : 21575 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1008712507 671612928 14787 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21576] ppid=21568 vsize=655872 CPUtime=0.21 /proc/21569/task/21576/stat : 21576 (java) S 21568 21550 19608 0 -1 64 680 0 0 0 21 0 0 0 15 0 9 0 1008712507 671612928 14787 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21577] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21577/stat : 21577 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1008712508 671612928 14787 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21578] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21578/stat : 21578 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1008712508 671612928 14787 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21570] ppid=21568 vsize=7044 CPUtime=0 /proc/21570/stat : 21570 (translate) S 21568 21550 19608 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1008712504 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269028655186 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/21570/statm: 1761 213 182 1 0 41 0 [pid=21558/tid=21559] ppid=21550 vsize=197436 CPUtime=4.8 /proc/21558/task/21559/stat : 21559 (java) S 21550 21550 19608 0 -1 64 3901 0 1 0 471 9 0 0 25 0 10 0 1008711872 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=21558/tid=21560] ppid=21550 vsize=197436 CPUtime=1.06 /proc/21558/task/21560/stat : 21560 (java) S 21550 21550 19608 0 -1 64 8573 0 0 0 95 11 0 0 16 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21561] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21561/stat : 21561 (java) S 21550 21550 19608 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21562] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21562/stat : 21562 (java) S 21550 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21563] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21563/stat : 21563 (java) S 21550 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21564] ppid=21550 vsize=197436 CPUtime=0.23 /proc/21558/task/21564/stat : 21564 (java) S 21550 21550 19608 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21565] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21565/stat : 21565 (java) S 21550 21550 19608 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21566] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21566/stat : 21566 (java) S 21550 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21567] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21567/stat : 21567 (java) S 21550 21550 19608 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1008712503 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 871068 Solver just ended. Dumping a history of the last processes samples [startup+12.8021 s] /proc/loadavg: 2.10 2.13 2.14 3/95 21578 /proc/meminfo: memFree=1756272/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=2.37 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 375 2429 0 0 0 0 236 1 18 0 1 0 1008711630 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 238 196 169 0 51 0 [pid=21558] ppid=21550 vsize=197436 CPUtime=6.13 /proc/21558/stat : 21558 (java) S 21550 21550 19608 0 -1 0 13945 0 1 0 590 23 0 0 18 0 10 0 1008711871 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21558/statm: 49359 9480 2544 9 0 43941 0 [pid=21568] ppid=21558 vsize=5356 CPUtime=0 /proc/21568/stat : 21568 (abscon) S 21558 21550 19608 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1008712503 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/21568/statm: 1339 235 194 169 0 50 0 [pid=21569] ppid=21568 vsize=655872 CPUtime=4.05 /proc/21569/stat : 21569 (java) S 21568 21550 19608 0 -1 0 15282 0 1 0 395 10 0 0 18 0 9 0 1008712504 671612928 14788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21569/statm: 163968 14788 2007 9 0 158496 0 [pid=21569/tid=21571] ppid=21568 vsize=655872 CPUtime=3.76 /proc/21569/task/21571/stat : 21571 (java) R 21568 21550 19608 0 -1 64 12449 0 1 0 367 9 0 0 25 0 9 0 1008712504 671612928 14788 996147200 134512640 134550740 4294955808 18446744073709551615 4126876215 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21572] ppid=21568 vsize=655872 CPUtime=0.05 /proc/21569/task/21572/stat : 21572 (java) S 21568 21550 19608 0 -1 64 1608 0 0 0 5 0 0 0 16 0 9 0 1008712505 671612928 14788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21573] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21573/stat : 21573 (java) S 21568 21550 19608 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 14788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21574] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21574/stat : 21574 (java) S 21568 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 14788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21575] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21575/stat : 21575 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1008712507 671612928 14788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21576] ppid=21568 vsize=655872 CPUtime=0.21 /proc/21569/task/21576/stat : 21576 (java) S 21568 21550 19608 0 -1 64 680 0 0 0 21 0 0 0 15 0 9 0 1008712507 671612928 14788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21577] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21577/stat : 21577 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1008712508 671612928 14788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21578] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21578/stat : 21578 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1008712508 671612928 14788 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21570] ppid=21568 vsize=7044 CPUtime=0 /proc/21570/stat : 21570 (translate) S 21568 21550 19608 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1008712504 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269028655186 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/21570/statm: 1761 213 182 1 0 41 0 [pid=21558/tid=21559] ppid=21550 vsize=197436 CPUtime=4.8 /proc/21558/task/21559/stat : 21559 (java) S 21550 21550 19608 0 -1 64 3901 0 1 0 471 9 0 0 25 0 10 0 1008711872 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=21558/tid=21560] ppid=21550 vsize=197436 CPUtime=1.06 /proc/21558/task/21560/stat : 21560 (java) S 21550 21550 19608 0 -1 64 8573 0 0 0 95 11 0 0 16 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=21558] ppid=21550 vsize=197436 CPUtime=6.13 /proc/21558/stat : 21558 (java) S 21550 21550 19608 0 -1 0 13968 0 1 0 590 23 0 0 18 0 10 0 1008711871 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21558/statm: 49359 9480 2544 9 0 43941 0 [pid=21568] ppid=21558 vsize=5356 CPUtime=0 /proc/21568/stat : 21568 (abscon) S 21558 21550 19608 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1008712503 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/21568/statm: 1339 235 194 169 0 50 0 [pid=21569] ppid=21568 vsize=655872 CPUtime=15.25 /proc/21569/stat : 21569 (java) S 21568 21550 19608 0 -1 0 18056 0 1 0 1506 19 0 0 18 0 9 0 1008712504 671612928 17557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21569/statm: 163968 17557 2008 9 0 158496 0 [pid=21569/tid=21571] ppid=21568 vsize=655872 CPUtime=14.81 /proc/21569/task/21571/stat : 21571 (java) R 21568 21550 19608 0 -1 64 12457 0 1 0 1465 16 0 0 25 0 9 0 1008712504 671612928 17557 996147200 134512640 134550740 4294955808 18446744073709551615 102605637 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21572] ppid=21568 vsize=655872 CPUtime=0.15 /proc/21569/task/21572/stat : 21572 (java) S 21568 21550 19608 0 -1 64 4348 0 0 0 13 2 0 0 17 0 9 0 1008712505 671612928 17557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21573] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21573/stat : 21573 (java) S 21568 21550 19608 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 17557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21574] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21574/stat : 21574 (java) S 21568 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 17557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21575] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21575/stat : 21575 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1008712507 671612928 17557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21576] ppid=21568 vsize=655872 CPUtime=0.26 /proc/21569/task/21576/stat : 21576 (java) S 21568 21550 19608 0 -1 64 706 0 0 0 26 0 0 0 15 0 9 0 1008712507 671612928 17557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21577] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21577/stat : 21577 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1008712508 671612928 17557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21578] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21578/stat : 21578 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1008712508 671612928 17557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21570] ppid=21568 vsize=7044 CPUtime=0 /proc/21570/stat : 21570 (translate) S 21568 21550 19608 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1008712504 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269028655186 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/21570/statm: 1761 213 182 1 0 41 0 [pid=21558/tid=21559] ppid=21550 vsize=197436 CPUtime=4.8 /proc/21558/task/21559/stat : 21559 (java) S 21550 21550 19608 0 -1 64 3901 0 1 0 471 9 0 0 25 0 10 0 1008711872 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=21558/tid=21560] ppid=21550 vsize=197436 CPUtime=1.06 /proc/21558/task/21560/stat : 21560 (java) S 21550 21550 19608 0 -1 64 8573 0 0 0 95 11 0 0 16 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21561] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21561/stat : 21561 (java) S 21550 21550 19608 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21562] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21562/stat : 21562 (java) S 21550 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21563] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21563/stat : 21563 (java) S 21550 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21564] ppid=21550 vsize=197436 CPUtime=0.23 /proc/21558/task/21564/stat : 21564 (java) S 21550 21550 19608 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21565] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21565/stat : 21565 (java) S 21550 21550 19608 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21566] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21566/stat : 21566 (java) S 21550 21550 19608 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21567] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21567/stat : 21567 (java) S 21550 21550 19608 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1008712503 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 23.75 Current children cumulated vsize (KiB) 871068 [startup+24.403 s] /proc/loadavg: 2.07 2.12 2.14 3/95 21578 /proc/meminfo: memFree=1738224/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=2.37 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 375 2429 0 0 0 0 236 1 18 0 1 0 1008711630 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 238 196 169 0 51 0 [pid=21558] ppid=21550 vsize=197436 CPUtime=6.13 /proc/21558/stat : 21558 (java) S 21550 21550 19608 0 -1 0 13968 0 1 0 590 23 0 0 18 0 10 0 1008711871 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21558/statm: 49359 9480 2544 9 0 43941 0 [pid=21568] ppid=21558 vsize=5356 CPUtime=0 /proc/21568/stat : 21568 (abscon) S 21558 21550 19608 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1008712503 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/21568/statm: 1339 235 194 169 0 50 0 [pid=21569] ppid=21568 vsize=655872 CPUtime=15.64 /proc/21569/stat : 21569 (java) S 21568 21550 19608 0 -1 0 18248 0 1 0 1545 19 0 0 18 0 9 0 1008712504 671612928 17688 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21569/statm: 163968 17688 2068 9 0 158496 0 [pid=21569/tid=21571] ppid=21568 vsize=655872 CPUtime=15.15 /proc/21569/task/21571/stat : 21571 (java) R 21568 21550 19608 0 -1 64 12481 0 1 0 1499 16 0 0 25 0 9 0 1008712504 671612928 17688 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21572] ppid=21568 vsize=655872 CPUtime=0.21 /proc/21569/task/21572/stat : 21572 (java) R 21568 21550 19608 0 -1 64 4509 0 0 0 19 2 0 0 16 0 9 0 1008712505 671612928 17688 996147200 134512640 134550740 4294955808 18446744073709551615 104181579 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21573] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21573/stat : 21573 (java) S 21568 21550 19608 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 17688 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21574] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21574/stat : 21574 (java) S 21568 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 17688 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21575] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21575/stat : 21575 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1008712507 671612928 17688 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21576] ppid=21568 vsize=655872 CPUtime=0.27 /proc/21569/task/21576/stat : 21576 (java) S 21568 21550 19608 0 -1 64 713 0 0 0 27 0 0 0 15 0 9 0 1008712507 671612928 17688 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21577] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21577/stat : 21577 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1008712508 671612928 17688 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21578] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21578/stat : 21578 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1008712508 671612928 17688 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21570] ppid=21568 vsize=7044 CPUtime=0 /proc/21570/stat : 21570 (translate) S 21568 21550 19608 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1008712504 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269028655186 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/21570/statm: 1761 213 182 1 0 41 0 [pid=21558/tid=21559] ppid=21550 vsize=197436 CPUtime=4.8 /proc/21558/task/21559/stat : 21559 (java) S 21550 21550 19608 0 -1 64 3901 0 1 0 471 9 0 0 25 0 10 0 1008711872 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=21558/tid=21560] ppid=21550 vsize=197436 CPUtime=1.06 /proc/21558/task/21560/stat : 21560 (java) S 21550 21550 19608 0 -1 64 8573 0 0 0 95 11 0 0 16 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21561] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21561/stat : 21561 (java) S 21550 21550 19608 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21562] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21562/stat : 21562 (java) S 21550 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21563] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21563/stat : 21563 (java) S 21550 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21564] ppid=21550 vsize=197436 CPUtime=0.23 /proc/21558/task/21564/stat : 21564 (java) S 21550 21550 19608 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21565] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21565/stat : 21565 (java) S 21550 21550 19608 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21566] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21566/stat : 21566 (java) S 21550 21550 19608 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21567] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21567/stat : 21567 (java) S 21550 21550 19608 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1008712503 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 24.14 Current children cumulated vsize (KiB) 871068 [startup+24.602 s] /proc/loadavg: 2.07 2.12 2.14 3/95 21578 /proc/meminfo: memFree=1738224/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=2.37 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 375 2429 0 0 0 0 236 1 18 0 1 0 1008711630 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 238 196 169 0 51 0 [pid=21558] ppid=21550 vsize=197436 CPUtime=6.13 /proc/21558/stat : 21558 (java) S 21550 21550 19608 0 -1 0 13968 0 1 0 590 23 0 0 18 0 10 0 1008711871 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21558/statm: 49359 9480 2544 9 0 43941 0 [pid=21568] ppid=21558 vsize=5356 CPUtime=0 /proc/21568/stat : 21568 (abscon) S 21558 21550 19608 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1008712503 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269028483908 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/21568/statm: 1339 235 194 169 0 50 0 [pid=21569] ppid=21568 vsize=655872 CPUtime=15.84 /proc/21569/stat : 21569 (java) S 21568 21550 19608 0 -1 0 20288 0 1 0 1564 20 0 0 18 0 9 0 1008712504 671612928 19597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21569/statm: 163968 19597 2616 9 0 158496 0 [pid=21569/tid=21571] ppid=21568 vsize=655872 CPUtime=15.26 /proc/21569/task/21571/stat : 21571 (java) R 21568 21550 19608 0 -1 64 12544 0 1 0 1510 16 0 0 25 0 9 0 1008712504 671612928 19597 996147200 134512640 134550740 4294955808 18446744073709551615 4125913601 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21572] ppid=21568 vsize=655872 CPUtime=0.25 /proc/21569/task/21572/stat : 21572 (java) S 21568 21550 19608 0 -1 64 6474 0 0 0 23 2 0 0 17 0 9 0 1008712505 671612928 19597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21573] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21573/stat : 21573 (java) S 21568 21550 19608 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 19597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21574] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21574/stat : 21574 (java) S 21568 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008712506 671612928 19597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21575] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21575/stat : 21575 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1008712507 671612928 19597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21576] ppid=21568 vsize=655872 CPUtime=0.29 /proc/21569/task/21576/stat : 21576 (java) S 21568 21550 19608 0 -1 64 725 0 0 0 29 0 0 0 15 0 9 0 1008712507 671612928 19597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21577] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21577/stat : 21577 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1008712508 671612928 19597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21569/tid=21578] ppid=21568 vsize=655872 CPUtime=0 /proc/21569/task/21578/stat : 21578 (java) S 21568 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1008712508 671612928 19597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21570] ppid=21568 vsize=7044 CPUtime=0 /proc/21570/stat : 21570 (translate) S 21568 21550 19608 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1008712504 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269028655186 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/21570/statm: 1761 213 182 1 0 41 0 [pid=21558/tid=21559] ppid=21550 vsize=197436 CPUtime=4.8 /proc/21558/task/21559/stat : 21559 (java) S 21550 21550 19608 0 -1 64 3901 0 1 0 471 9 0 0 25 0 10 0 1008711872 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=21558/tid=21560] ppid=21550 vsize=197436 CPUtime=1.06 /proc/21558/task/21560/stat : 21560 (java) S 21550 21550 19608 0 -1 64 8573 0 0 0 95 11 0 0 16 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21561] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21561/stat : 21561 (java) S 21550 21550 19608 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21562] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21562/stat : 21562 (java) S 21550 21550 19608 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1008711873 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21563] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21563/stat : 21563 (java) S 21550 21550 19608 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21564] ppid=21550 vsize=197436 CPUtime=0.23 /proc/21558/task/21564/stat : 21564 (java) S 21550 21550 19608 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21565] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21565/stat : 21565 (java) S 21550 21550 19608 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21566] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21566/stat : 21566 (java) S 21550 21550 19608 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1008711875 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21558/tid=21567] ppid=21550 vsize=197436 CPUtime=0 /proc/21558/task/21567/stat : 21567 (java) S 21550 21550 19608 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1008712503 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 24.34 Current children cumulated vsize (KiB) 871068 [startup+24.702 s] /proc/loadavg: 2.07 2.12 2.14 3/95 21578 /proc/meminfo: memFree=1738224/2055920 swapFree=4137260/4192956 [pid=21550] ppid=21548 vsize=5360 CPUtime=2.37 /proc/21550/stat : 21550 (hydra) S 21548 21550 19608 0 -1 4194304 375 2429 0 0 0 0 236 1 18 0 1 0 1008711630 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21550/statm: 1340 238 196 169 0 51 0 [pid=21558] ppid=21550 vsize=0 CPUtime=22.03 /proc/21558/stat : 21558 (java) Z 21550 21550 19608 0 -1 1036 14065 20907 1 1 591 23 1567 22 16 0 2 0 1008711871 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21558/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 24.4 Current children cumulated vsize (KiB) 5360 Child status: 0 Real time (s): 24.7043 CPU time (s): 24.4383 CPU user time (s): 23.9554 CPU system time (s): 0.482926 CPU usage (%): 98.9231 Max. virtual memory (cumulated for all children) (KiB): 871068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.9554 system time used= 0.482926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37788 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11506 involuntary context switches= 16342 runsolver used 0.12998 second user time and 0.25696 second system time The end
Begin job on node26 at 2008-07-05 09:22:47 IDJOB=1087087 IDBENCH=57929 IDSOLVER=366 FILE ID=node26/1087087-1215242567 PBS_JOBID= 7881884 Free space on /tmp= 66468 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp02/normalized-fapp02-0250-0.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087087-1215242567/watcher-1087087-1215242567 -o /tmp/evaluation-result-1087087-1215242567/solver-1087087-1215242567 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087087-1215242567.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 629efecb0eb59f0ce6ca410b2a2aa039 RANDOM SEED=2006375884 node26.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.221 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.221 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: 1830272 kB Buffers: 6192 kB Cached: 92048 kB SwapCached: 49524 kB Active: 165492 kB Inactive: 8268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1830272 kB SwapTotal: 4192956 kB SwapFree: 4137260 kB Dirty: 24708 kB Writeback: 0 kB Mapped: 82072 kB Slab: 37128 kB Committed_AS: 1810780 kB PageTables: 1836 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= 66444 MiB End job on node26 at 2008-07-05 09:23:12