Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 33.117 | 33.4181 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 49074 |
Name | csp/fapp/fapp16/ normalized-fapp16-0260-7.xml |
MD5SUM | 39210d0e0515e795a94e7161092ee7d9 |
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.00585 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 260 |
Number of constraints | 3927 |
Maximum constraint arity | 2 |
Maximum domain size | 302 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3927 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 11.15/11.38 c CASE TO CLASSIFY: 11.15/11.38 c Case: 0 11.15/11.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.124500 | c 15 > 12.888400 | c 34 > 68.212400 | c 16 > 2.000000 | c 13 > 2.910030 | c 14 > -1.000000 | c 11 > 8.022370 | c 12 > 4.916840 | c 21 > 13.486900 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.690580 | c 24 > 0.749866 | 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.939200 | 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.529300 | c 31 > -1.000000 | c 4 > 8.022370 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.24/11.40 c choco : 1801.0 11.24/11.40 c mistral : 1801.0 11.24/11.40 c abscon : 1801.0 11.24/11.40 c 11.24/11.40 c 11.24/11.48 c List of same ones: 40 11.24/11.48 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 11.24/11.48 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 11.24/11.49 c choco : 33.36 11.24/11.49 c mistral : 6.83796 11.24/11.49 c abscon : 10.5184 11.24/11.49 c 11.24/11.49 c 11.24/11.49 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 11.24/11.49 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 11.24/11.49 c choco : 80.85 11.24/11.49 c mistral : 12.5891 11.24/11.49 c abscon : 10.0495 11.24/11.49 c 11.24/11.49 c 11.24/11.49 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 11.24/11.50 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 11.34/11.51 c choco : 1801.0 11.34/11.51 c mistral : 39.28 11.34/11.51 c abscon : 9.8585 11.34/11.51 c 11.34/11.51 c 11.34/11.51 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 11.34/11.51 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 11.34/11.51 c choco : 115.65 11.34/11.52 c mistral : 1800.08 11.34/11.52 c abscon : 11.0983 11.34/11.52 c 11.34/11.52 c 11.34/11.52 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 11.34/11.52 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 11.34/11.53 c choco : 30.96 11.34/11.53 c mistral : 2.38464 11.34/11.53 c abscon : 5.81212 11.34/11.53 c 11.34/11.53 c 11.34/11.53 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 11.34/11.53 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 11.34/11.54 c choco : 30.87 11.34/11.54 c mistral : 2.28165 11.34/11.54 c abscon : 5.48517 11.34/11.54 c 11.34/11.54 c 11.34/11.54 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 11.34/11.54 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 11.34/11.54 c choco : 1801.0 11.34/11.54 c mistral : 8.45871 11.34/11.54 c abscon : 6.12907 11.34/11.54 c 11.34/11.54 c 11.34/11.54 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 11.34/11.54 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 11.34/11.55 c choco : 31.97 11.34/11.55 c mistral : 2.46962 11.34/11.55 c abscon : 5.44917 11.34/11.55 c 11.34/11.55 c 11.34/11.55 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml 11.34/11.55 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 11.34/11.56 c choco : 32.16 11.34/11.56 c mistral : 2.42163 11.34/11.56 c abscon : 5.54416 11.34/11.56 c 11.34/11.56 c 11.34/11.56 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml 11.34/11.56 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 11.34/11.57 c choco : 32.23 11.34/11.57 c mistral : 8.82966 11.34/11.57 c abscon : 5.43717 11.34/11.57 c 11.34/11.57 c 11.34/11.57 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-0.xml 11.34/11.57 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 11.61/11.81 c choco : 38.64 11.61/11.81 c mistral : 6.43 11.61/11.81 c abscon : 5.53516 11.61/11.81 c 11.61/11.81 c 11.61/11.81 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml 11.61/11.81 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 11.61/11.82 c choco : 1801.0 11.61/11.82 c mistral : 1800.03 11.61/11.82 c abscon : 25.9351 11.61/11.82 c 11.61/11.82 c 11.61/11.82 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 11.61/11.82 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 11.61/11.83 c choco : 1801.0 11.61/11.83 c mistral : 1800.04 11.61/11.83 c abscon : 11.0623 11.61/11.83 c 11.61/11.83 c 11.61/11.83 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml 11.61/11.83 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 11.61/11.84 c choco : 1801.0 11.61/11.84 c mistral : 1800.02 11.61/11.84 c abscon : 17.2824 11.61/11.84 c 11.61/11.84 c 11.61/11.84 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml 11.61/11.84 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 11.61/11.85 c choco : 1801.0 11.61/11.85 c mistral : 6.79996 11.61/11.85 c abscon : 6.95294 11.61/11.85 c 11.61/11.85 c 11.61/11.85 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 11.61/11.85 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 11.61/11.86 c choco : 1801.0 11.61/11.86 c mistral : 1800.06 11.61/11.86 c abscon : 11.9282 11.61/11.86 c 11.61/11.86 c 11.61/11.86 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml 11.61/11.86 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 11.61/11.86 c choco : 1801.0 11.61/11.86 c mistral : 4.03939 11.61/11.87 c abscon : 7.04993 11.61/11.87 c 11.61/11.87 c 11.61/11.87 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 11.61/11.87 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 11.61/11.87 c choco : 1801.0 11.61/11.87 c mistral : 1800.03 11.61/11.87 c abscon : 12.0042 11.61/11.87 c 11.61/11.87 c 11.61/11.87 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml 11.61/11.87 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 11.61/11.88 c choco : 1801.0 11.61/11.88 c mistral : 3.81642 11.61/11.88 c abscon : 7.04593 11.61/11.88 c 11.61/11.88 c 11.61/11.88 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml 11.61/11.88 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 11.096700 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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.093400 | 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.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.61/11.89 c choco : 37.81 11.61/11.89 c mistral : 7.2519 11.61/11.89 c abscon : 12.7981 11.61/11.89 c 11.61/11.89 c 11.61/11.89 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 11.61/11.89 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 11.61/11.90 c choco : 1801.0 11.61/11.90 c mistral : 1800.01 11.61/11.90 c abscon : 6.594 11.61/11.90 c 11.61/11.90 c 11.61/11.90 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml 11.61/11.90 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 11.077500 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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.093400 | 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.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.68/11.90 c choco : 67.9 11.68/11.90 c mistral : 6.572 11.68/11.90 c abscon : 12.5521 11.68/11.90 c 11.68/11.90 c 11.68/11.90 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml 11.68/11.90 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 11.68/11.91 c choco : 1801.0 11.68/11.91 c mistral : 4.28235 11.68/11.91 c abscon : 6.70698 11.68/11.91 c 11.68/11.91 c 11.68/11.91 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 11.68/11.91 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 11.68/11.92 c choco : 1801.0 11.68/11.92 c mistral : 1800.03 11.68/11.92 c abscon : 5.97909 11.68/11.92 c 11.68/11.92 c 11.68/11.92 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml 11.68/11.92 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.995800 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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.093400 | 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.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.68/11.92 c choco : 1801.0 11.68/11.92 c mistral : 5.8841 11.68/11.92 c abscon : 12.8071 11.68/11.92 c 11.68/11.92 c 11.68/11.92 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml 11.68/11.92 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 11.68/11.93 c choco : 1801.0 11.68/11.93 c mistral : 2.73858 11.68/11.93 c abscon : 6.30204 11.68/11.93 c 11.68/11.93 c 11.68/11.93 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml 11.68/11.93 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.929300 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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.093400 | 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.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.68/11.93 c choco : 104.95 11.68/11.93 c mistral : 7.41487 11.68/11.93 c abscon : 12.2871 11.68/11.93 c 11.68/11.93 c 11.68/11.93 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 11.68/11.93 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 11.68/11.94 c choco : 1801.0 11.68/11.94 c mistral : 1800.05 11.68/11.94 c abscon : 5.9181 11.68/11.94 c 11.68/11.94 c 11.68/11.94 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml 11.68/11.94 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 11.68/11.95 c choco : 1801.0 11.68/11.95 c mistral : 2.6216 11.68/11.95 c abscon : 6.46502 11.68/11.95 c 11.68/11.95 c 11.68/11.95 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml 11.68/11.95 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 11.68/11.95 c choco : 1801.0 11.68/11.95 c mistral : 2.35864 11.68/11.95 c abscon : 6.51701 11.68/11.95 c 11.68/11.95 c 11.68/11.95 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 11.68/11.95 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 11.68/11.96 c choco : 1801.0 11.68/11.96 c mistral : 1800.09 11.68/11.96 c abscon : 6.03108 11.68/11.96 c 11.68/11.96 c 11.68/11.96 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml 11.68/11.96 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 11.68/11.96 c choco : 1801.0 11.68/11.96 c mistral : 1800.05 11.68/11.96 c abscon : 5.67014 11.68/11.96 c 11.68/11.96 c 11.68/11.96 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml 11.68/11.96 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 11.68/11.97 c choco : 1801.0 11.68/11.97 c mistral : 2.40163 11.68/11.97 c abscon : 6.25705 11.68/11.97 c 11.68/11.97 c 11.68/11.97 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml 11.68/11.97 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.806500 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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.093400 | 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.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.68/11.98 c choco : 201.72 11.68/11.98 c mistral : 9.30558 11.68/11.98 c abscon : 12.6881 11.68/11.98 c 11.68/11.98 c 11.68/11.98 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml 11.68/11.98 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 11.68/11.98 c choco : 1801.0 11.68/11.98 c mistral : 514.646 11.68/11.98 c abscon : 5.76312 11.68/11.98 c 11.68/11.98 c 11.68/11.98 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml 11.68/11.98 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 11.68/11.99 c choco : 1801.0 11.68/11.99 c mistral : 1800.06 11.68/11.99 c abscon : 5.79212 11.68/11.99 c 11.68/11.99 c 11.68/11.99 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml 11.68/11.99 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.734700 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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.093400 | 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.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.68/11.99 c choco : 1801.0 11.68/11.99 c mistral : 31.0823 11.68/11.99 c abscon : 15.9926 11.68/11.99 c 11.68/11.99 c 11.68/11.99 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml 11.68/12.00 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.730500 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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.093400 | 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.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.73/12.01 c choco : 1801.0 11.73/12.01 c mistral : 1800.02 11.73/12.01 c abscon : 14.5538 11.73/12.01 c 11.73/12.01 c 11.73/12.01 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-1.xml 11.73/12.01 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 11.73/12.02 c choco : 1801.0 11.73/12.02 c mistral : 55.3386 11.73/12.02 c abscon : 5.2292 11.73/12.02 c 11.73/12.02 c 11.73/12.02 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-2.xml 11.73/12.02 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 11.73/12.02 c choco : 1801.0 11.73/12.02 c mistral : 105.23 11.73/12.02 c abscon : 5.15621 11.73/12.02 c 11.73/12.02 c 11.73/12.03 c Length: 40 11.73/12.03 c 1.860229056863697 1.9440169479713907 2.0236916721674776 2.0549484504483324 2.1634796379906147 2.1758959497181847 2.1884757010302853 2.2128630536027307 2.22238178178278 2.254362556023321 2.50831614913272 2.6351436423658203 2.679537527302241 2.71413563697561 2.7858688224503685 2.7985552219352408 2.8134681473052083 2.839136934038407 2.875940170779115 2.8972324880998075 2.8983185332569987 2.9091452370242705 2.9213661694318644 2.9340847772722936 2.96069281758527 2.9688742826029206 3.0036377960901017 3.0141331689593613 3.025356907193101 3.038265864913899 3.042458597946898 3.0697148336972613 3.0783700014619755 3.085137729518895 3.103922383085796 3.1219496024473243 3.1340374742655843 3.1369251840139585 3.1723988308256574 3.1723988308256574 11.73/12.03 c 11.73/12.03 c 1.0 0.9399782004825247 0.8892253812718777 0.8707805472504239 0.8122776030575439 0.8060819618519616 0.7999004152000228 0.7881828459635509 0.7837019300874767 0.7690132197668593 0.6693866485390202 0.6287095047269177 0.6156149036046197 0.6057818652117603 0.586363473196484 0.5830580500960528 0.5792198461744262 0.5727303800946925 0.5636756505864141 0.5585666357246419 0.5583085243739024 0.555748413847818 0.5528866837277865 0.549939544677043 0.543874465433093 0.5420363696209457 0.5343627853536708 0.5320885888215026 0.5296778881533497 0.5269320960920789 0.526046397642714 0.5203604328703819 0.5185804906634519 0.5171971626307246 0.5133959537455137 0.5098001900071716 0.5074171848564278 0.5068511943388916 0.5 0.5 11.73/12.04 c 11.73/12.04 c solver 0 11.73/12.04 c before 0.0 seconds: {} 0 11.73/12.04 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 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} 24339 11.73/12.04 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} 24967 11.73/12.04 c 11.73/12.04 c solver 1 11.73/12.04 c before 0.0 seconds: {} 0 11.73/12.04 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9, 10, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 32, 33} 14477 11.73/12.04 c before 36.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9, 10, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 32, 33, 36} 14985 11.73/12.04 c before 54.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 32, 33, 36} 15874 11.73/12.04 c before 72.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 32, 33, 36, 38} 16374 11.73/12.04 c before 108.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 32, 33, 36, 38, 39} 16874 11.73/12.04 c before 522.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 14, 16, 18, 19, 21, 22, 24, 25, 26, 28, 29, 32, 33, 34, 36, 38, 39} 17387 11.73/12.04 c 11.73/12.04 c solver 2 11.73/12.04 c before 0.0 seconds: {} 0 11.73/12.04 c before 36.0 seconds: {0, 4, 5, 7, 8, 9} 4959 11.73/12.04 c before 54.0 seconds: {0, 4, 5, 7, 8, 9, 10, 19} 6187 11.73/12.04 c before 72.0 seconds: {0, 4, 5, 7, 8, 9, 10, 19, 21} 6742 11.73/12.04 c before 90.0 seconds: {0, 1, 4, 5, 7, 8, 9, 10, 19, 21} 7682 11.73/12.04 c before 108.0 seconds: {0, 1, 4, 5, 7, 8, 9, 10, 19, 21, 26} 8217 11.73/12.04 c before 126.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 19, 21, 26} 9088 11.73/12.04 c before 216.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 19, 21, 26, 33} 9605 11.73/12.04 c 11.73/12.04 cTotal time: 43 11.73/12.04 c 774.0 seconds unused 11.73/12.04 c 0 c 13 c 27 11.73/12.04 c 0 c 0 c 15 11.73/12.05 c 0 c 1 c 0 11.73/12.05 c is solver0 dominated by: 11.73/12.05 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) 11.73/12.05 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) 11.73/12.05 c is dominated? false 11.73/12.05 c 11.73/12.05 c is solver1 dominated by: 11.73/12.05 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) 11.73/12.05 c is dominated? true 11.73/12.05 c 11.73/12.05 c is solver2 dominated by: 11.73/12.05 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) 11.73/12.05 c is dominated? true 11.73/12.05 c 11.73/12.05 c Number of non-dominated solvers: 1 11.73/12.05 c remove dominated solvers 11.73/12.05 c solver 0 is not dominated by another solver 11.73/12.05 c solver 2 is dominated by another solver 11.73/12.05 c solver 1 is dominated by another solver 11.73/12.05 c 11.73/12.05 c solver 0: 36.0 11.73/12.05 c 11.73/12.05 c+ 2/2 of 98 11.73/12.05 c 11.73/12.05 c solver 1: 0.0 11.73/12.05 c 11.73/12.05 c solver 2: 0.0 11.73/12.05 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} 24967 11.73/12.05 c do not run mistral 11.73/12.05 c do not run choco 11.73/12.05 c Starting solver: HOME/cpHydra_k_40/solver/abscon 11.73/12.05 c On Instance: HOME/instance-1095070-1215280673.xml 11.73/12.05 c Running for: 1800 seconds 32.99/33.40 s UNSATISFIABLE 32.99/33.40 d ASSIGNMENTS 0 32.99/33.40 d CHECKS 49074
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-1095070-1215280673/watcher-1095070-1215280673 -o /tmp/evaluation-result-1095070-1215280673/solver-1095070-1215280673 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1095070-1215280673.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: 2.10 2.04 2.01 4/72 22309 /proc/meminfo: memFree=1688080/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=18572 CPUtime=0 /proc/22309/stat : 22309 (runsolver) R 22307 22309 18713 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 2007040785 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 254195330343 0 0 4096 24578 0 0 0 17 1 0 0 /proc/22309/statm: 4643 292 257 25 0 2626 0 [startup+0.0107671 s] /proc/loadavg: 2.10 2.04 2.01 4/72 22309 /proc/meminfo: memFree=1688080/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=0 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 306 124 0 0 0 0 0 0 21 0 1 0 2007040785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101785 s] /proc/loadavg: 2.10 2.04 2.01 4/72 22309 /proc/meminfo: memFree=1688080/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=0 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007040785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301814 s] /proc/loadavg: 2.10 2.04 2.01 4/72 22309 /proc/meminfo: memFree=1688080/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=0 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007040785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701873 s] /proc/loadavg: 2.10 2.04 2.01 4/72 22309 /proc/meminfo: memFree=1688080/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=0 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007040785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50299 s] /proc/loadavg: 2.10 2.04 2.01 3/74 22313 /proc/meminfo: memFree=1681152/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=0 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007040785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 236 195 169 0 51 0 [pid=22313] ppid=22309 vsize=14840 CPUtime=1.46 /proc/22313/stat : 22313 (xsolve) R 22309 22309 18713 0 -1 4194304 2116 0 0 0 143 3 0 0 25 0 1 0 2007040786 15196160 2075 996147200 134512640 135239763 4294956176 18446744073709551615 134534792 0 0 4096 0 0 0 0 17 1 0 0 /proc/22313/statm: 3710 2075 417 177 0 2613 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 20200 [startup+3.10124 s] /proc/loadavg: 2.09 2.04 2.01 3/74 22313 /proc/meminfo: memFree=1681152/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=0 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007040785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 236 195 169 0 51 0 [pid=22313] ppid=22309 vsize=14840 CPUtime=3.04 /proc/22313/stat : 22313 (xsolve) R 22309 22309 18713 0 -1 4194304 2116 0 0 0 301 3 0 0 25 0 1 0 2007040786 15196160 2075 996147200 134512640 135239763 4294956176 18446744073709551615 134820119 0 0 4096 0 0 0 0 17 1 0 0 /proc/22313/statm: 3710 2075 417 177 0 2613 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 20200 [startup+6.30275 s] /proc/loadavg: 2.09 2.04 2.01 3/74 22313 /proc/meminfo: memFree=1680960/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=5.39 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 375 2715 0 0 0 0 536 3 18 0 1 0 2007040785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 5.39 Current children cumulated vsize (KiB) 5360 [startup+12.7017 s] /proc/loadavg: 2.16 2.05 2.01 3/82 22325 /proc/meminfo: memFree=1659840/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=5.39 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 375 2715 0 0 0 0 536 3 18 0 1 0 2007040785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 238 196 169 0 51 0 [pid=22317] ppid=22309 vsize=197420 CPUtime=6.39 /proc/22317/stat : 22317 (java) S 22309 22309 18713 0 -1 0 13900 0 1 0 618 21 0 0 18 0 10 0 2007041333 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22317/statm: 49355 9476 2544 9 0 43937 0 [pid=22317/tid=22318] ppid=22309 vsize=197420 CPUtime=4.9 /proc/22317/task/22318/stat : 22318 (java) S 22309 22309 18713 0 -1 64 3896 0 1 0 482 8 0 0 25 0 10 0 2007041334 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22317/tid=22319] ppid=22309 vsize=197420 CPUtime=1.21 /proc/22317/task/22319/stat : 22319 (java) S 22309 22309 18713 0 -1 64 8537 0 0 0 110 11 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22320] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22320/stat : 22320 (java) S 22309 22309 18713 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22321] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22321/stat : 22321 (java) S 22309 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22322] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22322/stat : 22322 (java) S 22309 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22323] ppid=22309 vsize=197420 CPUtime=0.25 /proc/22317/task/22323/stat : 22323 (java) S 22309 22309 18713 0 -1 64 667 0 0 0 25 0 0 0 16 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22324] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22324/stat : 22324 (java) S 22309 22309 18713 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22325] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22325/stat : 22325 (java) S 22309 22309 18713 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.78 Current children cumulated vsize (KiB) 202780 [startup+25.5027 s] /proc/loadavg: 2.19 2.06 2.02 3/94 22337 /proc/meminfo: memFree=1608864/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=5.39 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 375 2715 0 0 0 0 536 3 18 0 1 0 2007040785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 238 196 169 0 51 0 [pid=22317] ppid=22309 vsize=197420 CPUtime=6.39 /proc/22317/stat : 22317 (java) S 22309 22309 18713 0 -1 0 13960 0 1 0 618 21 0 0 18 0 10 0 2007041333 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22317/statm: 49355 9476 2544 9 0 43937 0 [pid=22327] ppid=22317 vsize=5356 CPUtime=0 /proc/22327/stat : 22327 (abscon) S 22317 22309 18713 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2007041991 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22327/statm: 1339 235 194 169 0 50 0 [pid=22328] ppid=22327 vsize=655888 CPUtime=13.42 /proc/22328/stat : 22328 (java) S 22327 22309 18713 0 -1 0 14922 0 1 0 1328 14 0 0 18 0 9 0 2007041991 671629312 14423 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22328/statm: 163972 14423 2007 9 0 158500 0 [pid=22328/tid=22330] ppid=22327 vsize=655888 CPUtime=13.11 /proc/22328/task/22330/stat : 22330 (java) R 22327 22309 18713 0 -1 64 12457 0 1 0 1300 11 0 0 25 0 9 0 2007041992 671629312 14423 996147200 134512640 134550740 4294955808 18446744073709551615 4126872399 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22331] ppid=22327 vsize=655888 CPUtime=0.04 /proc/22328/task/22331/stat : 22331 (java) S 22327 22309 18713 0 -1 64 1229 0 0 0 4 0 0 0 16 0 9 0 2007041993 671629312 14423 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22332] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22332/stat : 22332 (java) S 22327 22309 18713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007041994 671629312 14423 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22333] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22333/stat : 22333 (java) S 22327 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007041994 671629312 14423 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22334] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22334/stat : 22334 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2007041996 671629312 14423 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22335] ppid=22327 vsize=655888 CPUtime=0.24 /proc/22328/task/22335/stat : 22335 (java) S 22327 22309 18713 0 -1 64 690 0 0 0 23 1 0 0 15 0 9 0 2007041996 671629312 14423 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22336] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22336/stat : 22336 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007041996 671629312 14423 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22337] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22337/stat : 22337 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007041996 671629312 14423 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22329] ppid=22327 vsize=7044 CPUtime=0 /proc/22329/stat : 22329 (translate) S 22327 22309 18713 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007041992 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 254195499090 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22329/statm: 1761 213 182 1 0 41 0 [pid=22317/tid=22318] ppid=22309 vsize=197420 CPUtime=4.9 /proc/22317/task/22318/stat : 22318 (java) S 22309 22309 18713 0 -1 64 3896 0 1 0 482 8 0 0 25 0 10 0 2007041334 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22317/tid=22319] ppid=22309 vsize=197420 CPUtime=1.21 /proc/22317/task/22319/stat : 22319 (java) S 22309 22309 18713 0 -1 64 8572 0 0 0 110 11 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22320] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22320/stat : 22320 (java) S 22309 22309 18713 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22321] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22321/stat : 22321 (java) S 22309 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22322] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22322/stat : 22322 (java) S 22309 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22323] ppid=22309 vsize=197420 CPUtime=0.25 /proc/22317/task/22323/stat : 22323 (java) S 22309 22309 18713 0 -1 64 667 0 0 0 25 0 0 0 16 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22324] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22324/stat : 22324 (java) S 22309 22309 18713 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22325] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22325/stat : 22325 (java) S 22309 22309 18713 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22326] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22326/stat : 22326 (java) S 22309 22309 18713 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2007041991 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.2 Current children cumulated vsize (KiB) 871068 Solver just ended. Dumping a history of the last processes samples [startup+28.7022 s] /proc/loadavg: 2.18 2.06 2.02 3/94 22337 /proc/meminfo: memFree=1602016/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=5.39 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 375 2715 0 0 0 0 536 3 18 0 1 0 2007040785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 238 196 169 0 51 0 [pid=22317] ppid=22309 vsize=197420 CPUtime=6.39 /proc/22317/stat : 22317 (java) S 22309 22309 18713 0 -1 0 13960 0 1 0 618 21 0 0 18 0 10 0 2007041333 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22317/statm: 49355 9476 2544 9 0 43937 0 [pid=22327] ppid=22317 vsize=5356 CPUtime=0 /proc/22327/stat : 22327 (abscon) S 22317 22309 18713 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2007041991 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22327/statm: 1339 235 194 169 0 50 0 [pid=22328] ppid=22327 vsize=655888 CPUtime=16.62 /proc/22328/stat : 22328 (java) S 22327 22309 18713 0 -1 0 16640 0 1 0 1646 16 0 0 18 0 9 0 2007041991 671629312 16140 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22328/statm: 163972 16140 2007 9 0 158500 0 [pid=22328/tid=22330] ppid=22327 vsize=655888 CPUtime=16.26 /proc/22328/task/22330/stat : 22330 (java) R 22327 22309 18713 0 -1 64 12458 0 1 0 1614 12 0 0 25 0 9 0 2007041992 671629312 16140 996147200 134512640 134550740 4294955808 18446744073709551615 4126873527 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22331] ppid=22327 vsize=655888 CPUtime=0.08 /proc/22328/task/22331/stat : 22331 (java) S 22327 22309 18713 0 -1 64 2946 0 0 0 7 1 0 0 16 0 9 0 2007041993 671629312 16140 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22332] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22332/stat : 22332 (java) S 22327 22309 18713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007041994 671629312 16140 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22333] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22333/stat : 22333 (java) S 22327 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007041994 671629312 16140 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22334] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22334/stat : 22334 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2007041996 671629312 16140 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22335] ppid=22327 vsize=655888 CPUtime=0.25 ################ # More data... # ################ /proc/22328/task/22333/stat : 22333 (java) S 22327 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007041994 671629312 16156 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22334] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22334/stat : 22334 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2007041996 671629312 16156 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22335] ppid=22327 vsize=655888 CPUtime=0.27 /proc/22328/task/22335/stat : 22335 (java) S 22327 22309 18713 0 -1 64 704 0 0 0 26 1 0 0 16 0 9 0 2007041996 671629312 16156 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22336] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22336/stat : 22336 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007041996 671629312 16156 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22337] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22337/stat : 22337 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007041996 671629312 16156 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22329] ppid=22327 vsize=7044 CPUtime=0 /proc/22329/stat : 22329 (translate) S 22327 22309 18713 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2007041992 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 254195499090 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22329/statm: 1761 213 182 1 0 41 0 [pid=22317/tid=22318] ppid=22309 vsize=197420 CPUtime=4.9 /proc/22317/task/22318/stat : 22318 (java) S 22309 22309 18713 0 -1 64 3896 0 1 0 482 8 0 0 25 0 10 0 2007041334 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22317/tid=22319] ppid=22309 vsize=197420 CPUtime=1.21 /proc/22317/task/22319/stat : 22319 (java) S 22309 22309 18713 0 -1 64 8572 0 0 0 110 11 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22320] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22320/stat : 22320 (java) S 22309 22309 18713 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22321] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22321/stat : 22321 (java) S 22309 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22322] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22322/stat : 22322 (java) S 22309 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22323] ppid=22309 vsize=197420 CPUtime=0.25 /proc/22317/task/22323/stat : 22323 (java) S 22309 22309 18713 0 -1 64 667 0 0 0 25 0 0 0 16 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22324] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22324/stat : 22324 (java) S 22309 22309 18713 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22325] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22325/stat : 22325 (java) S 22309 22309 18713 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22326] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22326/stat : 22326 (java) S 22309 22309 18713 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2007041991 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.39 Current children cumulated vsize (KiB) 871068 [startup+33.1029 s] /proc/loadavg: 2.16 2.06 2.02 3/94 22337 /proc/meminfo: memFree=1601696/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=5.39 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 375 2715 0 0 0 0 536 3 18 0 1 0 2007040785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 238 196 169 0 51 0 [pid=22317] ppid=22309 vsize=197420 CPUtime=6.39 /proc/22317/stat : 22317 (java) S 22309 22309 18713 0 -1 0 13960 0 1 0 618 21 0 0 18 0 10 0 2007041333 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22317/statm: 49355 9476 2544 9 0 43937 0 [pid=22327] ppid=22317 vsize=5356 CPUtime=0 /proc/22327/stat : 22327 (abscon) S 22317 22309 18713 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2007041991 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22327/statm: 1339 235 194 169 0 50 0 [pid=22328] ppid=22327 vsize=655888 CPUtime=21 /proc/22328/stat : 22328 (java) S 22327 22309 18713 0 -1 0 16855 0 1 0 2082 18 0 0 18 0 9 0 2007041991 671629312 16293 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22328/statm: 163972 16293 2069 9 0 158500 0 [pid=22328/tid=22330] ppid=22327 vsize=655888 CPUtime=20.55 /proc/22328/task/22330/stat : 22330 (java) R 22327 22309 18713 0 -1 64 12484 0 1 0 2040 15 0 0 25 0 9 0 2007041992 671629312 16293 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22331] ppid=22327 vsize=655888 CPUtime=0.14 /proc/22328/task/22331/stat : 22331 (java) R 22327 22309 18713 0 -1 64 3110 0 0 0 13 1 0 0 16 0 9 0 2007041993 671629312 16293 996147200 134512640 134550740 4294955808 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22332] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22332/stat : 22332 (java) S 22327 22309 18713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007041994 671629312 16293 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22333] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22333/stat : 22333 (java) S 22327 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007041994 671629312 16293 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22334] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22334/stat : 22334 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2007041996 671629312 16293 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22335] ppid=22327 vsize=655888 CPUtime=0.29 /proc/22328/task/22335/stat : 22335 (java) S 22327 22309 18713 0 -1 64 715 0 0 0 28 1 0 0 16 0 9 0 2007041996 671629312 16293 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22336] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22336/stat : 22336 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007041996 671629312 16293 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22337] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22337/stat : 22337 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007041996 671629312 16293 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22329] ppid=22327 vsize=7044 CPUtime=0 /proc/22329/stat : 22329 (translate) S 22327 22309 18713 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007041992 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 254195499090 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22329/statm: 1761 213 182 1 0 41 0 [pid=22317/tid=22318] ppid=22309 vsize=197420 CPUtime=4.9 /proc/22317/task/22318/stat : 22318 (java) S 22309 22309 18713 0 -1 64 3896 0 1 0 482 8 0 0 25 0 10 0 2007041334 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22317/tid=22319] ppid=22309 vsize=197420 CPUtime=1.21 /proc/22317/task/22319/stat : 22319 (java) S 22309 22309 18713 0 -1 64 8572 0 0 0 110 11 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22320] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22320/stat : 22320 (java) S 22309 22309 18713 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22321] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22321/stat : 22321 (java) S 22309 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22322] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22322/stat : 22322 (java) S 22309 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22323] ppid=22309 vsize=197420 CPUtime=0.25 /proc/22317/task/22323/stat : 22323 (java) S 22309 22309 18713 0 -1 64 667 0 0 0 25 0 0 0 16 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22324] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22324/stat : 22324 (java) S 22309 22309 18713 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22325] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22325/stat : 22325 (java) S 22309 22309 18713 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22326] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22326/stat : 22326 (java) S 22309 22309 18713 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2007041991 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.78 Current children cumulated vsize (KiB) 871068 [startup+33.3029 s] /proc/loadavg: 2.16 2.06 2.02 3/94 22337 /proc/meminfo: memFree=1601696/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=5.39 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 375 2715 0 0 0 0 536 3 18 0 1 0 2007040785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 238 196 169 0 51 0 [pid=22317] ppid=22309 vsize=197420 CPUtime=6.39 /proc/22317/stat : 22317 (java) S 22309 22309 18713 0 -1 0 13960 0 1 0 618 21 0 0 18 0 10 0 2007041333 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22317/statm: 49355 9476 2544 9 0 43937 0 [pid=22327] ppid=22317 vsize=5356 CPUtime=0 /proc/22327/stat : 22327 (abscon) S 22317 22309 18713 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2007041991 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22327/statm: 1339 235 194 169 0 50 0 [pid=22328] ppid=22327 vsize=655888 CPUtime=21.21 /proc/22328/stat : 22328 (java) S 22327 22309 18713 0 -1 0 18715 0 1 0 2102 19 0 0 18 0 9 0 2007041991 671629312 18022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22328/statm: 163972 18022 2617 9 0 158500 0 [pid=22328/tid=22330] ppid=22327 vsize=655888 CPUtime=20.67 /proc/22328/task/22330/stat : 22330 (java) R 22327 22309 18713 0 -1 64 12537 0 1 0 2052 15 0 0 25 0 9 0 2007041992 671629312 18022 996147200 134512640 134550740 4294955808 18446744073709551615 102715028 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22331] ppid=22327 vsize=655888 CPUtime=0.19 /proc/22328/task/22331/stat : 22331 (java) S 22327 22309 18713 0 -1 64 4902 0 0 0 18 1 0 0 17 0 9 0 2007041993 671629312 18022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22332] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22332/stat : 22332 (java) S 22327 22309 18713 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007041994 671629312 18022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22333] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22333/stat : 22333 (java) S 22327 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007041994 671629312 18022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22334] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22334/stat : 22334 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2007041996 671629312 18022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22335] ppid=22327 vsize=655888 CPUtime=0.31 /proc/22328/task/22335/stat : 22335 (java) S 22327 22309 18713 0 -1 64 730 0 0 0 30 1 0 0 15 0 9 0 2007041996 671629312 18022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22336] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22336/stat : 22336 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007041996 671629312 18022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22328/tid=22337] ppid=22327 vsize=655888 CPUtime=0 /proc/22328/task/22337/stat : 22337 (java) S 22327 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007041996 671629312 18022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22329] ppid=22327 vsize=7044 CPUtime=0 /proc/22329/stat : 22329 (translate) S 22327 22309 18713 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007041992 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 254195499090 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22329/statm: 1761 213 182 1 0 41 0 [pid=22317/tid=22318] ppid=22309 vsize=197420 CPUtime=4.9 /proc/22317/task/22318/stat : 22318 (java) S 22309 22309 18713 0 -1 64 3896 0 1 0 482 8 0 0 25 0 10 0 2007041334 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22317/tid=22319] ppid=22309 vsize=197420 CPUtime=1.21 /proc/22317/task/22319/stat : 22319 (java) S 22309 22309 18713 0 -1 64 8572 0 0 0 110 11 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22320] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22320/stat : 22320 (java) S 22309 22309 18713 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22321] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22321/stat : 22321 (java) S 22309 22309 18713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007041335 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22322] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22322/stat : 22322 (java) S 22309 22309 18713 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22323] ppid=22309 vsize=197420 CPUtime=0.25 /proc/22317/task/22323/stat : 22323 (java) S 22309 22309 18713 0 -1 64 667 0 0 0 25 0 0 0 16 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22324] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22324/stat : 22324 (java) S 22309 22309 18713 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22325] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22325/stat : 22325 (java) S 22309 22309 18713 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 2007041338 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22326] ppid=22309 vsize=197420 CPUtime=0 /proc/22317/task/22326/stat : 22326 (java) S 22309 22309 18713 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2007041991 202158080 9476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.99 Current children cumulated vsize (KiB) 871068 [startup+33.403 s] /proc/loadavg: 2.16 2.06 2.02 3/94 22337 /proc/meminfo: memFree=1601696/2055920 swapFree=4179828/4192956 [pid=22309] ppid=22307 vsize=5360 CPUtime=5.39 /proc/22309/stat : 22309 (hydra) S 22307 22309 18713 0 -1 4194304 375 2715 0 0 0 0 536 3 18 0 1 0 2007040785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22309/statm: 1340 238 196 169 0 51 0 [pid=22317] ppid=22309 vsize=197420 CPUtime=27.69 /proc/22317/stat : 22317 (java) S 22309 22309 18713 0 -1 0 14026 19349 1 1 618 21 2109 21 18 0 9 0 2007041333 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22317/statm: 49355 9478 2545 9 0 43937 0 [pid=22317/tid=22318] ppid=22309 vsize=197420 CPUtime=26.2 /proc/22317/task/22318/stat : 22318 (java) S 22309 22309 18713 0 -1 64 3944 19349 1 1 482 8 2109 21 16 0 9 0 2007041334 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22317/tid=22319] ppid=22309 vsize=197420 CPUtime=22.51 /proc/22317/task/22319/stat : 22319 (java) S 22309 22309 18713 0 -1 64 8581 19349 0 1 110 11 2109 21 16 0 9 0 2007041335 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22317/tid=22320] ppid=22309 vsize=197420 CPUtime=21.3 /proc/22317/task/22320/stat : 22320 (java) S 22309 22309 18713 0 -1 64 11 19349 0 1 0 0 2109 21 16 0 9 0 2007041335 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22321] ppid=22309 vsize=197420 CPUtime=21.3 /proc/22317/task/22321/stat : 22321 (java) S 22309 22309 18713 0 -1 64 5 19349 0 1 0 0 2109 21 15 0 9 0 2007041335 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22322] ppid=22309 vsize=197420 CPUtime=21.3 /proc/22317/task/22322/stat : 22322 (java) S 22309 22309 18713 0 -1 64 1 19349 0 1 0 0 2109 21 18 0 9 0 2007041338 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22323] ppid=22309 vsize=197420 CPUtime=21.55 /proc/22317/task/22323/stat : 22323 (java) S 22309 22309 18713 0 -1 64 667 19349 0 1 25 0 2109 21 16 0 9 0 2007041338 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22324] ppid=22309 vsize=197420 CPUtime=21.3 /proc/22317/task/22324/stat : 22324 (java) S 22309 22309 18713 0 -1 64 0 19349 0 1 0 0 2109 21 19 0 9 0 2007041338 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22317/tid=22325] ppid=22309 vsize=197420 CPUtime=21.3 /proc/22317/task/22325/stat : 22325 (java) S 22309 22309 18713 0 -1 64 31 19349 0 1 0 0 2109 21 15 0 9 0 2007041338 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 33.08 Current children cumulated vsize (KiB) 202780 Child status: 0 Real time (s): 33.4181 CPU time (s): 33.117 CPU user time (s): 32.642 CPU system time (s): 0.474927 CPU usage (%): 99.099 Max. virtual memory (cumulated for all children) (KiB): 871068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.642 system time used= 0.474927 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36507 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= 12169 involuntary context switches= 16981 runsolver used 0.182972 second user time and 0.300954 second system time The end
Begin job on node34 at 2008-07-05 19:57:53 IDJOB=1095070 IDBENCH=58876 IDSOLVER=366 FILE ID=node34/1095070-1215280673 PBS_JOBID= 7882170 Free space on /tmp= 66504 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp16/normalized-fapp16-0260-7.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1095070-1215280673/watcher-1095070-1215280673 -o /tmp/evaluation-result-1095070-1215280673/solver-1095070-1215280673 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1095070-1215280673.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 39210d0e0515e795a94e7161092ee7d9 RANDOM SEED=2107954484 node34.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.259 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.259 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: 1688496 kB Buffers: 50040 kB Cached: 227472 kB SwapCached: 7272 kB Active: 207888 kB Inactive: 106480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1688496 kB SwapTotal: 4192956 kB SwapFree: 4179828 kB Dirty: 24808 kB Writeback: 0 kB Mapped: 44420 kB Slab: 38300 kB Committed_AS: 3668552 kB PageTables: 1864 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= 66476 MiB End job on node34 at 2008-07-05 19:58:27