Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 32.58 | 32.9221 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 47493 |
Name | csp/fapp/fapp16/ normalized-fapp16-0260-10.xml |
MD5SUM | d91c77ce7b00fdc4c403dfe3f5ffc37c |
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.06884 |
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 10.77/10.92 c CASE TO CLASSIFY: 10.77/10.92 c Case: 0 10.77/10.93 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 10.77/10.94 c choco : 1801.0 10.77/10.94 c mistral : 1801.0 10.77/10.94 c abscon : 1801.0 10.77/10.94 c 10.77/10.94 c 10.86/11.01 c List of same ones: 40 10.86/11.01 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 10.86/11.01 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 10.86/11.02 c choco : 33.36 10.86/11.02 c mistral : 6.83796 10.86/11.02 c abscon : 10.5184 10.86/11.02 c 10.86/11.02 c 10.86/11.02 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 10.86/11.02 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 10.86/11.03 c choco : 80.85 10.86/11.03 c mistral : 12.5891 10.86/11.03 c abscon : 10.0495 10.86/11.03 c 10.86/11.03 c 10.86/11.03 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 10.86/11.03 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 10.86/11.04 c choco : 1801.0 10.86/11.04 c mistral : 39.28 10.86/11.04 c abscon : 9.8585 10.86/11.04 c 10.86/11.04 c 10.86/11.04 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 10.86/11.04 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 10.86/11.05 c choco : 115.65 10.86/11.05 c mistral : 1800.08 10.86/11.05 c abscon : 11.0983 10.86/11.05 c 10.86/11.05 c 10.86/11.05 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 10.86/11.05 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 10.86/11.06 c choco : 30.96 10.86/11.06 c mistral : 2.38464 10.86/11.06 c abscon : 5.81212 10.86/11.06 c 10.86/11.06 c 10.86/11.06 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 10.86/11.06 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 10.86/11.07 c choco : 30.87 10.86/11.07 c mistral : 2.28165 10.86/11.07 c abscon : 5.48517 10.86/11.07 c 10.86/11.07 c 10.86/11.07 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 10.86/11.07 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 10.86/11.08 c choco : 1801.0 10.86/11.08 c mistral : 8.45871 10.86/11.08 c abscon : 6.12907 10.86/11.08 c 10.86/11.08 c 10.86/11.08 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 10.86/11.08 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 10.86/11.09 c choco : 31.97 10.86/11.09 c mistral : 2.46962 10.86/11.09 c abscon : 5.44917 10.86/11.09 c 10.86/11.09 c 10.86/11.09 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml 10.86/11.09 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 10.94/11.10 c choco : 32.16 10.94/11.10 c mistral : 2.42163 10.94/11.10 c abscon : 5.54416 10.94/11.10 c 10.94/11.10 c 10.94/11.11 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml 10.94/11.11 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 10.94/11.12 c choco : 32.23 10.94/11.12 c mistral : 8.82966 10.94/11.12 c abscon : 5.43717 10.94/11.12 c 10.94/11.12 c 10.94/11.12 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-0.xml 10.94/11.12 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.13/11.31 c choco : 38.64 11.13/11.31 c mistral : 6.43 11.13/11.31 c abscon : 5.53516 11.13/11.31 c 11.13/11.31 c 11.13/11.31 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml 11.13/11.31 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.13/11.33 c choco : 1801.0 11.13/11.33 c mistral : 1800.03 11.13/11.33 c abscon : 25.9351 11.13/11.33 c 11.13/11.33 c 11.13/11.33 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 11.13/11.33 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.13/11.33 c choco : 1801.0 11.13/11.33 c mistral : 1800.04 11.13/11.33 c abscon : 11.0623 11.13/11.33 c 11.13/11.33 c 11.13/11.33 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml 11.13/11.33 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.13/11.34 c choco : 1801.0 11.13/11.34 c mistral : 1800.02 11.13/11.34 c abscon : 17.2824 11.13/11.34 c 11.13/11.34 c 11.13/11.34 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml 11.13/11.34 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.13/11.35 c choco : 1801.0 11.13/11.35 c mistral : 6.79996 11.13/11.35 c abscon : 6.95294 11.13/11.35 c 11.13/11.35 c 11.13/11.35 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 11.13/11.35 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.13/11.36 c choco : 1801.0 11.13/11.36 c mistral : 1800.06 11.13/11.36 c abscon : 11.9282 11.13/11.36 c 11.13/11.36 c 11.13/11.36 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml 11.13/11.36 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.13/11.37 c choco : 1801.0 11.13/11.37 c mistral : 4.03939 11.13/11.37 c abscon : 7.04993 11.13/11.37 c 11.13/11.37 c 11.13/11.37 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 11.13/11.37 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.13/11.37 c choco : 1801.0 11.13/11.37 c mistral : 1800.03 11.13/11.37 c abscon : 12.0042 11.13/11.37 c 11.13/11.37 c 11.13/11.37 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml 11.13/11.37 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.13/11.38 c choco : 1801.0 11.13/11.38 c mistral : 3.81642 11.13/11.38 c abscon : 7.04593 11.13/11.38 c 11.13/11.38 c 11.13/11.38 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml 11.13/11.38 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.13/11.39 c choco : 37.81 11.13/11.39 c mistral : 7.2519 11.13/11.39 c abscon : 12.7981 11.13/11.39 c 11.13/11.39 c 11.13/11.39 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 11.13/11.39 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.13/11.40 c choco : 1801.0 11.21/11.40 c mistral : 1800.01 11.21/11.40 c abscon : 6.594 11.21/11.40 c 11.21/11.40 c 11.21/11.40 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml 11.21/11.40 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.21/11.40 c choco : 67.9 11.21/11.40 c mistral : 6.572 11.21/11.40 c abscon : 12.5521 11.21/11.40 c 11.21/11.40 c 11.21/11.40 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml 11.21/11.40 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.21/11.41 c choco : 1801.0 11.21/11.41 c mistral : 4.28235 11.21/11.41 c abscon : 6.70698 11.21/11.41 c 11.21/11.41 c 11.21/11.41 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 11.21/11.41 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.21/11.42 c choco : 1801.0 11.21/11.42 c mistral : 1800.03 11.21/11.42 c abscon : 5.97909 11.21/11.42 c 11.21/11.42 c 11.21/11.42 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml 11.21/11.42 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.21/11.42 c choco : 1801.0 11.21/11.42 c mistral : 5.8841 11.21/11.42 c abscon : 12.8071 11.21/11.42 c 11.21/11.42 c 11.21/11.42 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml 11.21/11.42 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.21/11.43 c choco : 1801.0 11.21/11.43 c mistral : 2.73858 11.21/11.43 c abscon : 6.30204 11.21/11.43 c 11.21/11.43 c 11.21/11.43 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml 11.21/11.43 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.21/11.43 c choco : 104.95 11.21/11.43 c mistral : 7.41487 11.21/11.43 c abscon : 12.2871 11.21/11.43 c 11.21/11.43 c 11.21/11.43 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 11.21/11.43 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.21/11.44 c choco : 1801.0 11.21/11.44 c mistral : 1800.05 11.21/11.44 c abscon : 5.9181 11.21/11.44 c 11.21/11.44 c 11.21/11.44 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml 11.21/11.44 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.21/11.44 c choco : 1801.0 11.21/11.44 c mistral : 2.6216 11.21/11.44 c abscon : 6.46502 11.21/11.44 c 11.21/11.44 c 11.21/11.44 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml 11.21/11.44 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.21/11.45 c choco : 1801.0 11.21/11.45 c mistral : 2.35864 11.21/11.45 c abscon : 6.51701 11.21/11.45 c 11.21/11.45 c 11.21/11.45 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 11.21/11.45 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.21/11.46 c choco : 1801.0 11.21/11.46 c mistral : 1800.09 11.21/11.46 c abscon : 6.03108 11.21/11.46 c 11.21/11.46 c 11.21/11.46 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml 11.21/11.46 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.21/11.46 c choco : 1801.0 11.21/11.46 c mistral : 1800.05 11.21/11.46 c abscon : 5.67014 11.21/11.46 c 11.21/11.46 c 11.21/11.46 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml 11.21/11.46 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.21/11.47 c choco : 1801.0 11.21/11.47 c mistral : 2.40163 11.21/11.47 c abscon : 6.25705 11.21/11.47 c 11.21/11.47 c 11.21/11.47 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml 11.21/11.47 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.21/11.47 c choco : 201.72 11.21/11.47 c mistral : 9.30558 11.21/11.47 c abscon : 12.6881 11.21/11.47 c 11.21/11.47 c 11.21/11.47 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml 11.21/11.47 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.21/11.48 c choco : 1801.0 11.21/11.48 c mistral : 514.646 11.21/11.48 c abscon : 5.76312 11.21/11.48 c 11.21/11.48 c 11.21/11.48 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml 11.21/11.48 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.21/11.49 c choco : 1801.0 11.21/11.49 c mistral : 1800.06 11.21/11.49 c abscon : 5.79212 11.21/11.49 c 11.21/11.49 c 11.21/11.49 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml 11.21/11.49 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.21/11.49 c choco : 1801.0 11.21/11.49 c mistral : 31.0823 11.21/11.49 c abscon : 15.9926 11.21/11.49 c 11.21/11.49 c 11.21/11.49 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml 11.21/11.49 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.27/11.50 c choco : 1801.0 11.27/11.50 c mistral : 1800.02 11.27/11.50 c abscon : 14.5538 11.27/11.50 c 11.27/11.50 c 11.27/11.50 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-1.xml 11.27/11.50 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.27/11.51 c choco : 1801.0 11.27/11.51 c mistral : 55.3386 11.27/11.51 c abscon : 5.2292 11.27/11.51 c 11.27/11.51 c 11.27/11.51 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-2.xml 11.27/11.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 11.27/11.52 c choco : 1801.0 11.27/11.52 c mistral : 105.23 11.27/11.52 c abscon : 5.15621 11.27/11.52 c 11.27/11.52 c 11.27/11.52 c Length: 40 11.27/11.52 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.27/11.52 c 11.27/11.52 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.27/11.53 c 11.27/11.53 c solver 0 11.27/11.53 c before 0.0 seconds: {} 0 11.27/11.53 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.27/11.53 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.27/11.53 c 11.27/11.53 c solver 1 11.27/11.53 c before 0.0 seconds: {} 0 11.27/11.53 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.27/11.53 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.27/11.53 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.27/11.53 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.27/11.53 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.27/11.53 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.27/11.54 c 11.27/11.54 c solver 2 11.27/11.54 c before 0.0 seconds: {} 0 11.27/11.54 c before 36.0 seconds: {0, 4, 5, 7, 8, 9} 4959 11.27/11.54 c before 54.0 seconds: {0, 4, 5, 7, 8, 9, 10, 19} 6187 11.27/11.54 c before 72.0 seconds: {0, 4, 5, 7, 8, 9, 10, 19, 21} 6742 11.27/11.54 c before 90.0 seconds: {0, 1, 4, 5, 7, 8, 9, 10, 19, 21} 7682 11.27/11.54 c before 108.0 seconds: {0, 1, 4, 5, 7, 8, 9, 10, 19, 21, 26} 8217 11.27/11.54 c before 126.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 19, 21, 26} 9088 11.27/11.54 c before 216.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 19, 21, 26, 33} 9605 11.27/11.54 c 11.27/11.54 cTotal time: 43 11.27/11.54 c 774.0 seconds unused 11.27/11.54 c 0 c 13 c 27 11.27/11.54 c 0 c 0 c 15 11.27/11.54 c 0 c 1 c 0 11.27/11.54 c is solver0 dominated by: 11.27/11.54 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.27/11.54 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.27/11.54 c is dominated? false 11.27/11.54 c 11.27/11.54 c is solver1 dominated by: 11.27/11.54 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.27/11.54 c is dominated? true 11.27/11.54 c 11.27/11.54 c is solver2 dominated by: 11.27/11.54 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.27/11.54 c is dominated? true 11.27/11.54 c 11.27/11.54 c Number of non-dominated solvers: 1 11.27/11.54 c remove dominated solvers 11.27/11.54 c solver 0 is not dominated by another solver 11.27/11.54 c solver 2 is dominated by another solver 11.27/11.54 c solver 1 is dominated by another solver 11.27/11.54 c 11.27/11.54 c solver 0: 36.0 11.27/11.54 c 11.27/11.54 c+ 2/2 of 98 11.27/11.54 c 11.27/11.54 c solver 1: 0.0 11.27/11.54 c 11.27/11.54 c solver 2: 0.0 11.27/11.54 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.27/11.54 c do not run mistral 11.27/11.54 c do not run choco 11.27/11.54 c Starting solver: HOME/cpHydra_k_40/solver/abscon 11.27/11.54 c On Instance: HOME/instance-1095091-1215280723.xml 11.27/11.54 c Running for: 1800 seconds 32.49/32.88 s UNSATISFIABLE 32.49/32.88 d ASSIGNMENTS 0 32.49/32.88 d CHECKS 47493
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-1095091-1215280723/watcher-1095091-1215280723 -o /tmp/evaluation-result-1095091-1215280723/solver-1095091-1215280723 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1095091-1215280723.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.15 2.06 2.02 4/81 3871 /proc/meminfo: memFree=1612440/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=18572 CPUtime=0 /proc/3871/stat : 3871 (runsolver) R 3869 3871 3219 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2007047518 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 244671114535 0 0 4096 24578 0 0 0 17 1 0 0 /proc/3871/statm: 4643 292 257 25 0 2626 0 [startup+0.21808 s] /proc/loadavg: 2.15 2.06 2.02 4/81 3871 /proc/meminfo: memFree=1612440/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=0 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007047518 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302081 s] /proc/loadavg: 2.15 2.06 2.02 4/81 3871 /proc/meminfo: memFree=1612440/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=0 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007047518 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.402093 s] /proc/loadavg: 2.15 2.06 2.02 4/81 3871 /proc/meminfo: memFree=1612440/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=0 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007047518 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701123 s] /proc/loadavg: 2.15 2.06 2.02 4/81 3871 /proc/meminfo: memFree=1612440/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=0 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007047518 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50121 s] /proc/loadavg: 2.22 2.08 2.02 3/83 3875 /proc/meminfo: memFree=1605640/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=0 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007047518 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 236 195 169 0 51 0 [pid=3875] ppid=3871 vsize=14840 CPUtime=1.46 /proc/3875/stat : 3875 (xsolve) R 3871 3871 3219 0 -1 4194304 2118 0 0 0 144 2 0 0 25 0 1 0 2007047519 15196160 2077 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0 /proc/3875/statm: 3710 2077 417 177 0 2613 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 20200 [startup+3.10138 s] /proc/loadavg: 2.22 2.08 2.02 3/83 3875 /proc/meminfo: memFree=1605640/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=0 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007047518 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 236 195 169 0 51 0 [pid=3875] ppid=3871 vsize=14840 CPUtime=3.05 /proc/3875/stat : 3875 (xsolve) R 3871 3871 3219 0 -1 4194304 2118 0 0 0 303 2 0 0 25 0 1 0 2007047519 15196160 2077 996147200 134512640 135239763 4294956176 18446744073709551615 134535736 0 0 4096 0 0 0 0 17 1 0 0 /proc/3875/statm: 3710 2077 417 177 0 2613 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 20200 [startup+6.30272 s] /proc/loadavg: 2.22 2.08 2.02 3/91 3887 /proc/meminfo: memFree=1606280/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=5.26 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 375 2717 0 0 0 0 523 3 18 0 1 0 2007047518 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 238 196 169 0 51 0 [pid=3879] ppid=3871 vsize=197020 CPUtime=0.95 /proc/3879/stat : 3879 (java) S 3871 3871 3219 0 -1 0 4618 0 1 0 90 5 0 0 18 0 9 0 2007048051 201748480 3897 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3879/statm: 49255 3897 1678 9 0 43837 0 [pid=3879/tid=3880] ppid=3871 vsize=197020 CPUtime=0.7 /proc/3879/task/3880/stat : 3880 (java) R 3871 3871 3219 0 -1 64 2645 0 1 0 68 2 0 0 25 0 9 0 2007048052 201748480 3897 996147200 134512640 134550740 4294955968 18446744073709551615 4126430716 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3881] ppid=3871 vsize=197020 CPUtime=0.08 /proc/3879/task/3881/stat : 3881 (java) S 3871 3871 3219 0 -1 64 647 0 0 0 7 1 0 0 16 0 9 0 2007048053 201748480 3897 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3882] ppid=3871 vsize=197020 CPUtime=0 /proc/3879/task/3882/stat : 3882 (java) S 3871 3871 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2007048053 201748480 3897 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3883] ppid=3871 vsize=197020 CPUtime=0 /proc/3879/task/3883/stat : 3883 (java) S 3871 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007048053 201748480 3897 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3884] ppid=3871 vsize=197020 CPUtime=0 /proc/3879/task/3884/stat : 3884 (java) S 3871 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2007048055 201748480 3897 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3885] ppid=3871 vsize=197020 CPUtime=0.14 /proc/3879/task/3885/stat : 3885 (java) S 3871 3871 3219 0 -1 64 602 0 0 0 14 0 0 0 16 0 9 0 2007048055 201748480 3897 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3886] ppid=3871 vsize=197020 CPUtime=0 /proc/3879/task/3886/stat : 3886 (java) S 3871 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2007048055 201748480 3897 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3887] ppid=3871 vsize=197020 CPUtime=0 /proc/3879/task/3887/stat : 3887 (java) S 3871 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2007048055 201748480 3897 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) 202380 [startup+12.7024 s] /proc/loadavg: 2.18 2.07 2.02 3/103 3899 /proc/meminfo: memFree=1558952/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=5.26 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 375 2717 0 0 0 0 523 3 18 0 1 0 2007047518 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 238 196 169 0 51 0 [pid=3879] ppid=3871 vsize=197344 CPUtime=6.03 /proc/3879/stat : 3879 (java) S 3871 3871 3219 0 -1 0 13934 0 1 0 583 20 0 0 18 0 10 0 2007048051 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3879/statm: 49336 9475 2544 9 0 43918 0 [pid=3889] ppid=3879 vsize=5356 CPUtime=0 /proc/3889/stat : 3889 (abscon) S 3879 3871 3219 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2007048673 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244671112004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/3889/statm: 1339 235 194 169 0 50 0 [pid=3890] ppid=3889 vsize=655872 CPUtime=1.13 /proc/3890/stat : 3890 (java) S 3889 3871 3219 0 -1 0 11994 0 1 0 106 7 0 0 18 0 9 0 2007048674 671612928 11503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 163968 11503 1994 9 0 158496 0 [pid=3890/tid=3892] ppid=3889 vsize=655872 CPUtime=0.93 /proc/3890/task/3892/stat : 3892 (java) R 3889 3871 3219 0 -1 64 10794 0 1 0 87 6 0 0 25 0 9 0 2007048675 671612928 11503 996147200 134512640 134550740 4294955808 18446744073709551615 4126871069 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3893/stat : 3893 (java) S 3889 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2007048676 671612928 11503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3894/stat : 3894 (java) S 3889 3871 3219 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 2007048676 671612928 11503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3895] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3895/stat : 3895 (java) S 3889 3871 3219 0 -1 64 3 0 0 0 0 0 0 0 23 0 9 0 2007048676 671612928 11503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3889 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2007048678 671612928 11503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3889 vsize=655872 CPUtime=0.18 /proc/3890/task/3897/stat : 3897 (java) S 3889 3871 3219 0 -1 64 655 0 0 0 18 0 0 0 15 0 9 0 2007048678 671612928 11503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007048678 671612928 11503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3899/stat : 3899 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007048678 671612928 11503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3891] ppid=3889 vsize=7044 CPUtime=0 /proc/3891/stat : 3891 (translate) S 3889 3871 3219 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007048674 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 244671283282 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/3891/statm: 1761 213 182 1 0 41 0 [pid=3879/tid=3880] ppid=3871 vsize=197344 CPUtime=4.64 /proc/3879/task/3880/stat : 3880 (java) S 3871 3871 3219 0 -1 64 3896 0 1 0 457 7 0 0 25 0 10 0 2007048052 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3879/tid=3881] ppid=3871 vsize=197344 CPUtime=1.11 /proc/3879/task/3881/stat : 3881 (java) S 3871 3871 3219 0 -1 64 8571 0 0 0 100 11 0 0 16 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3882] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3882/stat : 3882 (java) S 3871 3871 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3883] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3883/stat : 3883 (java) S 3871 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3884] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3884/stat : 3884 (java) S 3871 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3885] ppid=3871 vsize=197344 CPUtime=0.24 /proc/3879/task/3885/stat : 3885 (java) S 3871 3871 3219 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3886] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3886/stat : 3886 (java) S 3871 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3887] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3887/stat : 3887 (java) S 3871 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3888] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3888/stat : 3888 (java) S 3871 3871 3219 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2007048673 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 870976 [startup+25.5077 s] /proc/loadavg: 2.15 2.07 2.02 3/103 3899 /proc/meminfo: memFree=1533288/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=5.26 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 375 2717 0 0 0 0 523 3 18 0 1 0 2007047518 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 238 196 169 0 51 0 [pid=3879] ppid=3871 vsize=197344 CPUtime=6.03 /proc/3879/stat : 3879 (java) S 3871 3871 3219 0 -1 0 13958 0 1 0 583 20 0 0 18 0 10 0 2007048051 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3879/statm: 49336 9475 2544 9 0 43918 0 [pid=3889] ppid=3879 vsize=5356 CPUtime=0 /proc/3889/stat : 3889 (abscon) S 3879 3871 3219 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2007048673 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244671112004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/3889/statm: 1339 235 194 169 0 50 0 [pid=3890] ppid=3889 vsize=655872 CPUtime=13.93 /proc/3890/stat : 3890 (java) S 3889 3871 3219 0 -1 0 14921 0 1 0 1380 13 0 0 18 0 9 0 2007048674 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 163968 14422 2007 9 0 158496 0 [pid=3890/tid=3892] ppid=3889 vsize=655872 CPUtime=13.63 /proc/3890/task/3892/stat : 3892 (java) R 3889 3871 3219 0 -1 64 12456 0 1 0 1352 11 0 0 25 0 9 0 2007048675 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4126874407 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3889 vsize=655872 CPUtime=0.03 /proc/3890/task/3893/stat : 3893 (java) S 3889 3871 3219 0 -1 64 1229 0 0 0 3 0 0 0 16 0 9 0 2007048676 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3894/stat : 3894 (java) S 3889 3871 3219 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007048676 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3895] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3895/stat : 3895 (java) S 3889 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007048676 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3889 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2007048678 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3889 vsize=655872 CPUtime=0.23 /proc/3890/task/3897/stat : 3897 (java) S 3889 3871 3219 0 -1 64 691 0 0 0 23 0 0 0 15 0 9 0 2007048678 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007048678 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3899/stat : 3899 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007048678 671612928 14422 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3891] ppid=3889 vsize=7044 CPUtime=0 /proc/3891/stat : 3891 (translate) S 3889 3871 3219 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007048674 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 244671283282 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/3891/statm: 1761 213 182 1 0 41 0 [pid=3879/tid=3880] ppid=3871 vsize=197344 CPUtime=4.64 /proc/3879/task/3880/stat : 3880 (java) S 3871 3871 3219 0 -1 64 3896 0 1 0 457 7 0 0 25 0 10 0 2007048052 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3879/tid=3881] ppid=3871 vsize=197344 CPUtime=1.11 ################ # More data... # ################ /proc/3890/task/3895/stat : 3895 (java) S 3889 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007048676 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3889 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2007048678 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3889 vsize=655872 CPUtime=0.25 /proc/3890/task/3897/stat : 3897 (java) S 3889 3871 3219 0 -1 64 702 0 0 0 25 0 0 0 15 0 9 0 2007048678 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007048678 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3899/stat : 3899 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007048678 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3891] ppid=3889 vsize=7044 CPUtime=0 /proc/3891/stat : 3891 (translate) S 3889 3871 3219 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007048674 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 244671283282 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/3891/statm: 1761 213 182 1 0 41 0 [pid=3879/tid=3880] ppid=3871 vsize=197344 CPUtime=4.64 /proc/3879/task/3880/stat : 3880 (java) S 3871 3871 3219 0 -1 64 3896 0 1 0 457 7 0 0 25 0 10 0 2007048052 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3879/tid=3881] ppid=3871 vsize=197344 CPUtime=1.11 /proc/3879/task/3881/stat : 3881 (java) S 3871 3871 3219 0 -1 64 8571 0 0 0 100 11 0 0 16 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3882] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3882/stat : 3882 (java) S 3871 3871 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3883] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3883/stat : 3883 (java) S 3871 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3884] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3884/stat : 3884 (java) S 3871 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3885] ppid=3871 vsize=197344 CPUtime=0.24 /proc/3879/task/3885/stat : 3885 (java) S 3871 3871 3219 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3886] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3886/stat : 3886 (java) S 3871 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3887] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3887/stat : 3887 (java) S 3871 3871 3219 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3888] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3888/stat : 3888 (java) S 3871 3871 3219 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2007048673 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.2 Current children cumulated vsize (KiB) 870976 [startup+32.1074 s] /proc/loadavg: 2.13 2.07 2.02 3/103 3899 /proc/meminfo: memFree=1526248/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=5.26 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 375 2717 0 0 0 0 523 3 18 0 1 0 2007047518 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 238 196 169 0 51 0 [pid=3879] ppid=3871 vsize=197344 CPUtime=6.03 /proc/3879/stat : 3879 (java) S 3871 3871 3219 0 -1 0 13958 0 1 0 583 20 0 0 18 0 10 0 2007048051 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3879/statm: 49336 9475 2544 9 0 43918 0 [pid=3889] ppid=3879 vsize=5356 CPUtime=0 /proc/3889/stat : 3889 (abscon) S 3879 3871 3219 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2007048673 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244671112004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/3889/statm: 1339 235 194 169 0 50 0 [pid=3890] ppid=3889 vsize=655872 CPUtime=20.51 /proc/3890/stat : 3890 (java) S 3889 3871 3219 0 -1 0 16654 0 1 0 2036 15 0 0 18 0 9 0 2007048674 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 163968 16152 2007 9 0 158496 0 [pid=3890/tid=3892] ppid=3889 vsize=655872 CPUtime=20.16 /proc/3890/task/3892/stat : 3892 (java) R 3889 3871 3219 0 -1 64 12460 0 1 0 2003 13 0 0 25 0 9 0 2007048675 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4126871138 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3889 vsize=655872 CPUtime=0.08 /proc/3890/task/3893/stat : 3893 (java) S 3889 3871 3219 0 -1 64 2947 0 0 0 7 1 0 0 16 0 9 0 2007048676 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3894/stat : 3894 (java) S 3889 3871 3219 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007048676 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3895] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3895/stat : 3895 (java) S 3889 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007048676 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3889 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2007048678 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3889 vsize=655872 CPUtime=0.25 /proc/3890/task/3897/stat : 3897 (java) S 3889 3871 3219 0 -1 64 702 0 0 0 25 0 0 0 15 0 9 0 2007048678 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007048678 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3899/stat : 3899 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007048678 671612928 16152 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3891] ppid=3889 vsize=7044 CPUtime=0 /proc/3891/stat : 3891 (translate) S 3889 3871 3219 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007048674 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 244671283282 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/3891/statm: 1761 213 182 1 0 41 0 [pid=3879/tid=3880] ppid=3871 vsize=197344 CPUtime=4.64 /proc/3879/task/3880/stat : 3880 (java) S 3871 3871 3219 0 -1 64 3896 0 1 0 457 7 0 0 25 0 10 0 2007048052 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3879/tid=3881] ppid=3871 vsize=197344 CPUtime=1.11 /proc/3879/task/3881/stat : 3881 (java) S 3871 3871 3219 0 -1 64 8571 0 0 0 100 11 0 0 16 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3882] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3882/stat : 3882 (java) S 3871 3871 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3883] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3883/stat : 3883 (java) S 3871 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3884] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3884/stat : 3884 (java) S 3871 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3885] ppid=3871 vsize=197344 CPUtime=0.24 /proc/3879/task/3885/stat : 3885 (java) S 3871 3871 3219 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3886] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3886/stat : 3886 (java) S 3871 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3887] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3887/stat : 3887 (java) S 3871 3871 3219 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3888] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3888/stat : 3888 (java) S 3871 3871 3219 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2007048673 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.8 Current children cumulated vsize (KiB) 870976 [startup+32.5025 s] /proc/loadavg: 2.13 2.07 2.02 3/103 3899 /proc/meminfo: memFree=1526248/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=5.26 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 375 2717 0 0 0 0 523 3 18 0 1 0 2007047518 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 238 196 169 0 51 0 [pid=3879] ppid=3871 vsize=197344 CPUtime=6.03 /proc/3879/stat : 3879 (java) S 3871 3871 3219 0 -1 0 13958 0 1 0 583 20 0 0 18 0 10 0 2007048051 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3879/statm: 49336 9475 2544 9 0 43918 0 [pid=3889] ppid=3879 vsize=5356 CPUtime=0 /proc/3889/stat : 3889 (abscon) S 3879 3871 3219 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2007048673 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244671112004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/3889/statm: 1339 235 194 169 0 50 0 [pid=3890] ppid=3889 vsize=655872 CPUtime=20.9 /proc/3890/stat : 3890 (java) S 3889 3871 3219 0 -1 0 16688 0 1 0 2075 15 0 0 18 0 9 0 2007048674 671612928 16179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 163968 16179 2013 9 0 158496 0 [pid=3890/tid=3892] ppid=3889 vsize=655872 CPUtime=20.54 /proc/3890/task/3892/stat : 3892 (java) R 3889 3871 3219 0 -1 64 12481 0 1 0 2041 13 0 0 25 0 9 0 2007048675 671612928 16179 996147200 134512640 134550740 4294955808 18446744073709551615 4127147417 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3889 vsize=655872 CPUtime=0.08 /proc/3890/task/3893/stat : 3893 (java) S 3889 3871 3219 0 -1 64 2948 0 0 0 7 1 0 0 16 0 9 0 2007048676 671612928 16179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3894/stat : 3894 (java) S 3889 3871 3219 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007048676 671612928 16179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3895] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3895/stat : 3895 (java) S 3889 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007048676 671612928 16179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3889 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2007048678 671612928 16179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3889 vsize=655872 CPUtime=0.27 /proc/3890/task/3897/stat : 3897 (java) S 3889 3871 3219 0 -1 64 714 0 0 0 27 0 0 0 16 0 9 0 2007048678 671612928 16179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007048678 671612928 16179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3889 vsize=655872 CPUtime=0 /proc/3890/task/3899/stat : 3899 (java) S 3889 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007048678 671612928 16179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3891] ppid=3889 vsize=7044 CPUtime=0 /proc/3891/stat : 3891 (translate) S 3889 3871 3219 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2007048674 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 244671283282 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/3891/statm: 1761 213 182 1 0 41 0 [pid=3879/tid=3880] ppid=3871 vsize=197344 CPUtime=4.64 /proc/3879/task/3880/stat : 3880 (java) S 3871 3871 3219 0 -1 64 3896 0 1 0 457 7 0 0 25 0 10 0 2007048052 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3879/tid=3881] ppid=3871 vsize=197344 CPUtime=1.11 /proc/3879/task/3881/stat : 3881 (java) S 3871 3871 3219 0 -1 64 8571 0 0 0 100 11 0 0 16 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3882] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3882/stat : 3882 (java) S 3871 3871 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3883] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3883/stat : 3883 (java) S 3871 3871 3219 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007048053 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3884] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3884/stat : 3884 (java) S 3871 3871 3219 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3885] ppid=3871 vsize=197344 CPUtime=0.24 /proc/3879/task/3885/stat : 3885 (java) S 3871 3871 3219 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3886] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3886/stat : 3886 (java) S 3871 3871 3219 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3887] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3887/stat : 3887 (java) S 3871 3871 3219 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2007048055 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3888] ppid=3871 vsize=197344 CPUtime=0 /proc/3879/task/3888/stat : 3888 (java) S 3871 3871 3219 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2007048673 202080256 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.19 Current children cumulated vsize (KiB) 870976 [startup+32.9025 s] /proc/loadavg: 2.13 2.07 2.02 3/103 3899 /proc/meminfo: memFree=1526248/2055920 swapFree=4180056/4192956 [pid=3871] ppid=3869 vsize=5360 CPUtime=5.26 /proc/3871/stat : 3871 (hydra) S 3869 3871 3219 0 -1 4194304 375 2717 0 0 0 0 523 3 18 0 1 0 2007047518 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3871/statm: 1340 238 196 169 0 51 0 [pid=3879] ppid=3871 vsize=197344 CPUtime=27.27 /proc/3879/stat : 3879 (java) S 3871 3871 3219 0 -1 0 14024 19381 1 1 583 20 2106 18 18 0 9 0 2007048051 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3879/statm: 49336 9477 2545 9 0 43918 0 [pid=3879/tid=3880] ppid=3871 vsize=197344 CPUtime=25.89 /proc/3879/task/3880/stat : 3880 (java) S 3871 3871 3219 0 -1 64 3944 19381 1 1 458 7 2106 18 16 0 9 0 2007048052 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3879/tid=3881] ppid=3871 vsize=197344 CPUtime=22.35 /proc/3879/task/3881/stat : 3881 (java) S 3871 3871 3219 0 -1 64 8580 19381 0 1 100 11 2106 18 16 0 9 0 2007048053 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3879/tid=3882] ppid=3871 vsize=197344 CPUtime=21.24 /proc/3879/task/3882/stat : 3882 (java) S 3871 3871 3219 0 -1 64 11 19381 0 1 0 0 2106 18 16 0 9 0 2007048053 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3883] ppid=3871 vsize=197344 CPUtime=21.24 /proc/3879/task/3883/stat : 3883 (java) S 3871 3871 3219 0 -1 64 5 19381 0 1 0 0 2106 18 15 0 9 0 2007048053 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3884] ppid=3871 vsize=197344 CPUtime=21.24 /proc/3879/task/3884/stat : 3884 (java) S 3871 3871 3219 0 -1 64 1 19381 0 1 0 0 2106 18 18 0 9 0 2007048055 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3885] ppid=3871 vsize=197344 CPUtime=21.48 /proc/3879/task/3885/stat : 3885 (java) S 3871 3871 3219 0 -1 64 668 19381 0 1 24 0 2106 18 16 0 9 0 2007048055 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3886] ppid=3871 vsize=197344 CPUtime=21.24 /proc/3879/task/3886/stat : 3886 (java) S 3871 3871 3219 0 -1 64 0 19381 0 1 0 0 2106 18 19 0 9 0 2007048055 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3879/tid=3887] ppid=3871 vsize=197344 CPUtime=21.24 /proc/3879/task/3887/stat : 3887 (java) S 3871 3871 3219 0 -1 64 29 19381 0 1 0 0 2106 18 15 0 9 0 2007048055 202080256 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.53 Current children cumulated vsize (KiB) 202704 Child status: 0 Real time (s): 32.9221 CPU time (s): 32.58 CPU user time (s): 32.1451 CPU system time (s): 0.434933 CPU usage (%): 98.9609 Max. virtual memory (cumulated for all children) (KiB): 870976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.1451 system time used= 0.434933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36538 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= 12160 involuntary context switches= 17392 runsolver used 0.145977 second user time and 0.32295 second system time The end
Begin job on node7 at 2008-07-05 19:58:43 IDJOB=1095091 IDBENCH=58877 IDSOLVER=366 FILE ID=node7/1095091-1215280723 PBS_JOBID= 7882293 Free space on /tmp= 66524 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp16/normalized-fapp16-0260-10.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1095091-1215280723/watcher-1095091-1215280723 -o /tmp/evaluation-result-1095091-1215280723/solver-1095091-1215280723 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1095091-1215280723.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= d91c77ce7b00fdc4c403dfe3f5ffc37c RANDOM SEED=761358653 node7.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.236 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.236 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: 1612856 kB Buffers: 76600 kB Cached: 265128 kB SwapCached: 7384 kB Active: 244564 kB Inactive: 139800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1612856 kB SwapTotal: 4192956 kB SwapFree: 4180056 kB Dirty: 24832 kB Writeback: 0 kB Mapped: 58516 kB Slab: 43724 kB Committed_AS: 3593992 kB PageTables: 1972 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= 66500 MiB End job on node7 at 2008-07-05 19:59:17