Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 31.8212 | 32.1107 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 11673 |
Name | csp/fapp/fapp03/ normalized-fapp03-0300-0.xml |
MD5SUM | 794a2318e84f02e396222d8183c60eb7 |
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.19682 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 4377 |
Maximum constraint arity | 2 |
Maximum domain size | 250 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4377 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 9.57/9.77 c CASE TO CLASSIFY: 9.57/9.77 c Case: 0 9.57/9.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 12.095700 | 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 9.57/9.78 c choco : 1801.0 9.57/9.78 c mistral : 1801.0 9.57/9.78 c abscon : 1801.0 9.57/9.78 c 9.57/9.78 c 9.67/9.86 c List of same ones: 40 9.67/9.86 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 9.67/9.86 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 9.67/9.87 c choco : 33.36 9.67/9.87 c mistral : 6.83796 9.67/9.87 c abscon : 10.5184 9.67/9.87 c 9.67/9.87 c 9.67/9.87 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 9.67/9.87 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 9.67/9.88 c choco : 80.85 9.67/9.88 c mistral : 12.5891 9.67/9.88 c abscon : 10.0495 9.67/9.88 c 9.67/9.88 c 9.67/9.88 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 9.67/9.88 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 9.67/9.89 c choco : 1801.0 9.67/9.89 c mistral : 39.28 9.67/9.89 c abscon : 9.8585 9.67/9.89 c 9.67/9.89 c 9.67/9.89 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 9.67/9.89 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 9.67/9.89 c choco : 115.65 9.67/9.89 c mistral : 1800.08 9.67/9.90 c abscon : 11.0983 9.67/9.90 c 9.67/9.90 c 9.67/9.90 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 9.67/9.90 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 9.75/9.91 c choco : 30.96 9.75/9.91 c mistral : 2.38464 9.75/9.91 c abscon : 5.81212 9.75/9.91 c 9.75/9.91 c 9.75/9.91 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 9.75/9.91 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 9.75/9.92 c choco : 30.87 9.75/9.92 c mistral : 2.28165 9.75/9.92 c abscon : 5.48517 9.75/9.92 c 9.75/9.92 c 9.75/9.92 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 9.75/9.92 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 9.75/9.92 c choco : 1801.0 9.75/9.92 c mistral : 8.45871 9.75/9.92 c abscon : 6.12907 9.75/9.92 c 9.75/9.92 c 9.75/9.92 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 9.75/9.92 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 9.75/9.93 c choco : 31.97 9.75/9.93 c mistral : 2.46962 9.75/9.93 c abscon : 5.44917 9.75/9.93 c 9.75/9.93 c 9.75/9.93 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml 9.75/9.93 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 9.75/9.94 c choco : 32.16 9.75/9.94 c mistral : 2.42163 9.75/9.94 c abscon : 5.54416 9.75/9.94 c 9.75/9.94 c 9.75/9.94 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml 9.75/9.94 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 9.75/9.95 c choco : 32.23 9.75/9.95 c mistral : 8.82966 9.75/9.95 c abscon : 5.43717 9.75/9.95 c 9.75/9.95 c 9.75/9.95 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-0.xml 9.75/9.95 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 9.75/9.96 c choco : 38.64 9.75/9.96 c mistral : 6.43 9.75/9.96 c abscon : 5.53516 9.75/9.96 c 9.75/9.96 c 9.75/9.96 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 9.75/9.96 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 9.75/9.97 c choco : 1801.0 9.75/9.97 c mistral : 1800.04 9.75/9.97 c abscon : 11.0623 9.75/9.97 c 9.75/9.97 c 9.75/9.97 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 9.75/9.97 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 9.75/9.98 c choco : 1801.0 9.75/9.98 c mistral : 1800.06 9.75/9.98 c abscon : 11.9282 9.75/9.98 c 9.75/9.98 c 9.75/9.98 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 9.75/9.98 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 9.75/9.99 c choco : 1801.0 9.75/9.99 c mistral : 1800.03 9.75/9.99 c abscon : 12.0042 9.75/9.99 c 9.75/9.99 c 9.75/9.99 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 9.75/9.99 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 9.83/10.01 c choco : 1801.0 9.83/10.01 c mistral : 1800.01 9.83/10.01 c abscon : 6.594 9.83/10.01 c 9.83/10.01 c 9.83/10.01 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 9.83/10.01 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 9.92/10.20 c choco : 1801.0 9.92/10.20 c mistral : 1800.03 9.92/10.20 c abscon : 5.97909 9.92/10.20 c 9.92/10.20 c 9.92/10.20 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 9.92/10.20 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 10.03/10.20 c choco : 1801.0 10.03/10.20 c mistral : 1800.05 10.03/10.20 c abscon : 5.9181 10.03/10.20 c 10.03/10.20 c 10.03/10.20 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 10.03/10.20 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 10.03/10.21 c choco : 1801.0 10.03/10.21 c mistral : 1800.09 10.03/10.21 c abscon : 6.03108 10.03/10.21 c 10.03/10.21 c 10.03/10.21 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml 10.03/10.21 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 10.03/10.22 c choco : 1801.0 10.03/10.22 c mistral : 1800.05 10.03/10.22 c abscon : 5.67014 10.03/10.22 c 10.03/10.22 c 10.03/10.22 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml 10.03/10.22 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 10.03/10.23 c choco : 1801.0 10.03/10.23 c mistral : 514.646 10.03/10.23 c abscon : 5.76312 10.03/10.23 c 10.03/10.23 c 10.03/10.23 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml 10.03/10.23 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 10.03/10.23 c choco : 1801.0 10.03/10.23 c mistral : 1800.06 10.03/10.23 c abscon : 5.79212 10.03/10.23 c 10.03/10.23 c 10.03/10.23 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml 10.03/10.23 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 10.03/10.24 c choco : 1801.0 10.03/10.24 c mistral : 1800.03 10.03/10.24 c abscon : 25.9351 10.03/10.24 c 10.03/10.24 c 10.03/10.24 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml 10.03/10.24 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 10.03/10.25 c choco : 1801.0 10.03/10.25 c mistral : 1800.02 10.03/10.25 c abscon : 17.2824 10.03/10.25 c 10.03/10.25 c 10.03/10.25 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml 10.03/10.25 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 10.03/10.25 c choco : 1801.0 10.03/10.25 c mistral : 6.79996 10.03/10.25 c abscon : 6.95294 10.03/10.25 c 10.03/10.25 c 10.03/10.25 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml 10.03/10.25 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 10.03/10.26 c choco : 1801.0 10.03/10.26 c mistral : 4.03939 10.03/10.26 c abscon : 7.04993 10.03/10.26 c 10.03/10.26 c 10.03/10.26 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml 10.03/10.26 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 10.03/10.26 c choco : 1801.0 10.03/10.26 c mistral : 3.81642 10.03/10.26 c abscon : 7.04593 10.03/10.26 c 10.03/10.26 c 10.03/10.26 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml 10.03/10.26 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 10.03/10.27 c choco : 1801.0 10.03/10.27 c mistral : 4.28235 10.03/10.27 c abscon : 6.70698 10.03/10.27 c 10.03/10.27 c 10.03/10.27 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml 10.03/10.27 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 10.03/10.28 c choco : 1801.0 10.03/10.28 c mistral : 2.73858 10.03/10.28 c abscon : 6.30204 10.03/10.28 c 10.03/10.28 c 10.03/10.28 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml 10.03/10.28 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 10.03/10.28 c choco : 1801.0 10.03/10.28 c mistral : 2.6216 10.03/10.28 c abscon : 6.46502 10.03/10.28 c 10.03/10.28 c 10.03/10.28 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml 10.03/10.28 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 10.03/10.29 c choco : 1801.0 10.03/10.29 c mistral : 2.35864 10.03/10.29 c abscon : 6.51701 10.03/10.29 c 10.03/10.29 c 10.03/10.29 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml 10.03/10.29 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 10.03/10.29 c choco : 1801.0 10.03/10.29 c mistral : 2.40163 10.03/10.29 c abscon : 6.25705 10.03/10.29 c 10.03/10.29 c 10.03/10.29 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-0.xml 10.03/10.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.205800 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.07/10.30 c choco : 281.41 10.07/10.30 c mistral : 45.1561 10.07/10.30 c abscon : 5.50616 10.07/10.30 c 10.07/10.30 c 10.07/10.30 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml 10.07/10.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.634800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.07/10.31 c choco : 1801.0 10.07/10.31 c mistral : 9.48556 10.07/10.31 c abscon : 6.47801 10.07/10.31 c 10.07/10.31 c 10.07/10.31 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-0.xml 10.07/10.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.902380 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.07/10.31 c choco : 49.0 10.07/10.31 c mistral : 18.2302 10.07/10.31 c abscon : 5.2362 10.07/10.31 c 10.07/10.31 c 10.07/10.31 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-4.xml 10.07/10.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.864190 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.07/10.32 c choco : 47.79 10.07/10.32 c mistral : 4.87226 10.07/10.32 c abscon : 5.55215 10.07/10.32 c 10.07/10.32 c 10.07/10.32 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-9.xml 10.07/10.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.859530 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.07/10.32 c choco : 47.84 10.07/10.32 c mistral : 4.67629 10.07/10.32 c abscon : 5.53016 10.07/10.32 c 10.07/10.32 c 10.07/10.32 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-6.xml 10.07/10.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.848620 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.07/10.33 c choco : 47.53 10.07/10.33 c mistral : 4.74228 10.07/10.33 c abscon : 5.53016 10.07/10.33 c 10.07/10.33 c 10.07/10.33 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-10.xml 10.07/10.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.845490 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.07/10.34 c choco : 47.67 10.07/10.34 c mistral : 5.35519 10.07/10.34 c abscon : 5.65114 10.07/10.34 c 10.07/10.34 c 10.07/10.35 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-1.xml 10.07/10.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.842350 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.07/10.35 c choco : 49.15 10.07/10.35 c mistral : 19.3991 10.07/10.35 c abscon : 5.2442 10.07/10.35 c 10.07/10.35 c 10.07/10.35 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-5.xml 10.07/10.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.836050 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.07/10.36 c choco : 47.76 10.07/10.36 c mistral : 4.6153 10.07/10.36 c abscon : 5.52716 10.07/10.36 c 10.07/10.36 c 10.07/10.36 c Length: 40 10.07/10.36 c 0.05680000000000085 0.2273000000000014 0.37200000000000166 0.4255000000000013 0.6008000000000013 0.620000000000001 0.6393000000000004 0.6763000000000012 0.6906000000000017 0.7381000000000011 1.0922 2.2907059302103807 2.3610997964298344 2.3871795007290517 2.426789792854133 2.4515465932143745 2.508925997055514 2.529821238487219 2.550194388414539 2.576112897118642 2.5899207514325617 2.602832851264367 2.6267599912479622 2.655767876080475 2.6683565825468296 2.699277755552584 2.7236040776186607 2.750482757921052 2.784127937365845 2.7920525284494553 2.8171866110751336 2.886615564757629 2.975148999902525 3.123003032181685 3.149941617985324 3.1532446123819833 3.1609909590215537 3.1632167742214574 3.165451237835769 3.1699390276653587 10.07/10.36 c 10.07/10.36 c 1.0 0.948075900376533 0.9080604346721664 0.8941076835917884 0.8512498442403271 0.8468041179657858 0.8423817922585416 0.8340316340775452 0.8308485952612609 0.8204477671053287 0.7504181609247911 0.5822167294628731 0.574651441160539 0.571898306477078 0.5677668954293159 0.5652149013160009 0.5593873811645653 0.5572949717408499 0.5552698604696935 0.5527147091956306 0.5513630526158206 0.5501050496904367 0.5477889822621161 0.5450071366178131 0.5438086563260905 0.5408871272914759 0.5386106698557862 0.5361175428859789 0.5330291304282253 0.5323068740858161 0.5300290181985031 0.5238369197090076 0.5161477588011876 0.5037978149638827 0.5016110623110517 0.5013442459471605 0.5007196070228672 0.5005404126643467 0.5003606510054248 0.5 10.07/10.38 c 10.07/10.38 c solver 0 10.07/10.38 c before 0.0 seconds: {} 0 10.07/10.38 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24560 10.07/10.38 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} 25110 10.07/10.38 c 10.07/10.38 c solver 1 10.07/10.38 c before 0.0 seconds: {} 0 10.07/10.38 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9, 10, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 35, 36, 37, 39} 15044 10.07/10.38 c before 36.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9, 10, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 16048 10.07/10.38 c before 54.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17480 10.07/10.38 c before 522.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 19, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18033 10.07/10.38 c 10.07/10.38 c solver 2 10.07/10.38 c before 0.0 seconds: {} 0 10.07/10.38 c before 36.0 seconds: {0, 4, 5, 7, 8, 9} 5183 10.07/10.38 c before 54.0 seconds: {0, 4, 5, 7, 8, 9, 10, 33, 34, 35, 36, 37, 38, 39} 9442 10.07/10.38 c before 90.0 seconds: {0, 1, 4, 5, 7, 8, 9, 10, 33, 34, 35, 36, 37, 38, 39} 10390 10.07/10.38 c before 126.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 33, 34, 35, 36, 37, 38, 39} 11284 10.07/10.38 c before 288.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 31, 33, 34, 35, 36, 37, 38, 39} 11808 10.07/10.38 c 10.07/10.38 cTotal time: 47 10.07/10.38 c 846.0 seconds unused 10.07/10.38 c 0 c 12 c 23 10.07/10.38 c 0 c 0 c 12 10.07/10.38 c 0 c 1 c 0 10.07/10.38 c is solver0 dominated by: 10.07/10.38 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) 10.07/10.38 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) 10.07/10.38 c is dominated? false 10.07/10.38 c 10.07/10.38 c is solver1 dominated by: 10.07/10.38 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) 10.07/10.38 c is dominated? true 10.07/10.38 c 10.07/10.38 c is solver2 dominated by: 10.07/10.38 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) 10.07/10.38 c is dominated? true 10.07/10.38 c 10.07/10.38 c Number of non-dominated solvers: 1 10.07/10.38 c remove dominated solvers 10.07/10.38 c solver 0 is not dominated by another solver 10.07/10.38 c solver 2 is dominated by another solver 10.07/10.38 c solver 1 is dominated by another solver 10.07/10.38 c 10.07/10.38 c solver 0: 36.0 10.07/10.38 c 10.07/10.38 c+ 2/2 of 98 10.07/10.38 c 10.07/10.38 c solver 1: 0.0 10.07/10.38 c 10.07/10.38 c solver 2: 0.0 10.07/10.38 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} 25110 10.07/10.38 c do not run mistral 10.07/10.38 c do not run choco 10.07/10.38 c Starting solver: HOME/cpHydra_k_40/solver/abscon 10.07/10.38 c On Instance: HOME/instance-1087696-1215245364.xml 10.07/10.38 c Running for: 1800 seconds 31.71/32.10 s UNSATISFIABLE 31.71/32.10 d ASSIGNMENTS 0 31.71/32.10 d CHECKS 11673
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-1087696-1215245364/watcher-1087696-1215245364 -o /tmp/evaluation-result-1087696-1215245364/solver-1087696-1215245364 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087696-1215245364.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.01 1.95 4/73 9452 /proc/meminfo: memFree=1562040/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=18572 CPUtime=0 /proc/9452/stat : 9452 (runsolver) R 9450 9452 8453 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1554210505 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0 /proc/9452/statm: 4643 292 257 25 0 2626 0 [startup+0.234117 s] /proc/loadavg: 1.92 2.01 1.95 4/73 9452 /proc/meminfo: memFree=1562040/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=0 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1554210505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30112 s] /proc/loadavg: 1.92 2.01 1.95 4/73 9452 /proc/meminfo: memFree=1562040/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=0 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1554210505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.401136 s] /proc/loadavg: 1.92 2.01 1.95 4/73 9452 /proc/meminfo: memFree=1562040/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=0 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1554210505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701188 s] /proc/loadavg: 1.92 2.01 1.95 4/73 9452 /proc/meminfo: memFree=1562040/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=0 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1554210505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50133 s] /proc/loadavg: 1.92 2.01 1.95 3/75 9456 /proc/meminfo: memFree=1554200/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=0 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1554210505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 236 195 169 0 51 0 [pid=9456] ppid=9452 vsize=16008 CPUtime=1.47 /proc/9456/stat : 9456 (xsolve) R 9452 9452 8453 0 -1 4194304 2324 0 0 0 147 0 0 0 25 0 1 0 1554210506 16392192 2283 996147200 134512640 135239763 4294956176 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0 /proc/9456/statm: 4002 2283 416 177 0 2905 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 21368 [startup+3.1016 s] /proc/loadavg: 1.92 2.01 1.95 3/75 9456 /proc/meminfo: memFree=1553240/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=0 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1554210505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 236 195 169 0 51 0 [pid=9456] ppid=9452 vsize=16008 CPUtime=3.04 /proc/9456/stat : 9456 (xsolve) R 9452 9452 8453 0 -1 4194304 2324 0 0 0 304 0 0 0 25 0 1 0 1554210506 16392192 2283 996147200 134512640 135239763 4294956176 18446744073709551615 134535397 0 0 4096 0 0 0 0 17 1 0 0 /proc/9456/statm: 4002 2283 416 177 0 2905 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 21368 [startup+6.30217 s] /proc/loadavg: 2.01 2.02 1.96 3/83 9468 /proc/meminfo: memFree=1550936/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=3.92 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 375 2923 0 0 0 0 391 1 18 0 1 0 1554210505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 238 196 169 0 51 0 [pid=9460] ppid=9452 vsize=197108 CPUtime=2.28 /proc/9460/stat : 9460 (java) S 9452 9452 8453 0 -1 0 7127 0 1 0 221 7 0 0 18 0 9 0 1554210903 201838592 5961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9460/statm: 49277 5961 2541 9 0 43859 0 [pid=9460/tid=9461] ppid=9452 vsize=197108 CPUtime=1.84 /proc/9460/task/9461/stat : 9461 (java) R 9452 9452 8453 0 -1 64 2928 0 1 0 181 3 0 0 25 0 9 0 1554210904 201838592 5961 996147200 134512640 134550740 4294955968 18446744073709551615 4126520163 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9462] ppid=9452 vsize=197108 CPUtime=0.27 /proc/9460/task/9462/stat : 9462 (java) S 9452 9452 8453 0 -1 64 2860 0 0 0 24 3 0 0 16 0 9 0 1554210905 201838592 5961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9463] ppid=9452 vsize=197108 CPUtime=0 /proc/9460/task/9463/stat : 9463 (java) S 9452 9452 8453 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1554210905 201838592 5961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9464] ppid=9452 vsize=197108 CPUtime=0 /proc/9460/task/9464/stat : 9464 (java) S 9452 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1554210905 201838592 5961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9465] ppid=9452 vsize=197108 CPUtime=0 /proc/9460/task/9465/stat : 9465 (java) S 9452 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1554210908 201838592 5961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9466] ppid=9452 vsize=197108 CPUtime=0.15 /proc/9460/task/9466/stat : 9466 (java) S 9452 9452 8453 0 -1 64 615 0 0 0 15 0 0 0 16 0 9 0 1554210908 201838592 5961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9467] ppid=9452 vsize=197108 CPUtime=0 /proc/9460/task/9467/stat : 9467 (java) S 9452 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1554210908 201838592 5961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9468] ppid=9452 vsize=197108 CPUtime=0 /proc/9460/task/9468/stat : 9468 (java) S 9452 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1554210908 201838592 5961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 202468 [startup+12.7023 s] /proc/loadavg: 2.01 2.02 1.96 4/95 9480 /proc/meminfo: memFree=1491256/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=3.92 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 375 2923 0 0 0 0 391 1 18 0 1 0 1554210505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 238 196 169 0 51 0 [pid=9460] ppid=9452 vsize=197432 CPUtime=6.22 /proc/9460/stat : 9460 (java) S 9452 9452 8453 0 -1 0 13851 0 1 0 601 21 0 0 18 0 10 0 1554210903 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9460/statm: 49358 9408 2544 9 0 43940 0 [pid=9470] ppid=9460 vsize=5356 CPUtime=0 /proc/9470/stat : 9470 (abscon) S 9460 9452 8453 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1554211544 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9470/statm: 1339 235 194 169 0 50 0 [pid=9471] ppid=9470 vsize=655872 CPUtime=2.29 /proc/9471/stat : 9471 (java) S 9470 9452 8453 0 -1 0 13294 0 1 0 222 7 0 0 18 0 9 0 1554211545 671612928 12802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9471/statm: 163968 12802 1994 9 0 158496 0 [pid=9471/tid=9473] ppid=9470 vsize=655872 CPUtime=2.08 /proc/9471/task/9473/stat : 9473 (java) R 9470 9452 8453 0 -1 64 12070 0 1 0 202 6 0 0 25 0 9 0 1554211545 671612928 12802 996147200 134512640 134550740 4294955808 18446744073709551615 4126876215 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9474] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9474/stat : 9474 (java) S 9470 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1554211546 671612928 12802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9475] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9475/stat : 9475 (java) S 9470 9452 8453 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1554211547 671612928 12802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9476] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9476/stat : 9476 (java) S 9470 9452 8453 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1554211547 671612928 12802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9477] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9477/stat : 9477 (java) S 9470 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1554211549 671612928 12802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9478] ppid=9470 vsize=655872 CPUtime=0.19 /proc/9471/task/9478/stat : 9478 (java) S 9470 9452 8453 0 -1 64 679 0 0 0 19 0 0 0 15 0 9 0 1554211549 671612928 12802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9479] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9479/stat : 9479 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1554211549 671612928 12802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9480] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9480/stat : 9480 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1554211549 671612928 12802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9472] ppid=9470 vsize=7044 CPUtime=0 /proc/9472/stat : 9472 (translate) S 9470 9452 8453 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1554211545 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/9472/statm: 1761 213 182 1 0 41 0 [pid=9460/tid=9461] ppid=9452 vsize=197432 CPUtime=4.88 /proc/9460/task/9461/stat : 9461 (java) S 9452 9452 8453 0 -1 64 3861 0 1 0 480 8 0 0 25 0 10 0 1554210904 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=9460/tid=9462] ppid=9452 vsize=197432 CPUtime=1.07 /proc/9460/task/9462/stat : 9462 (java) S 9452 9452 8453 0 -1 64 8523 0 0 0 96 11 0 0 16 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9463] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9463/stat : 9463 (java) S 9452 9452 8453 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9464] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9464/stat : 9464 (java) S 9452 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9465] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9465/stat : 9465 (java) S 9452 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9466] ppid=9452 vsize=197432 CPUtime=0.23 /proc/9460/task/9466/stat : 9466 (java) S 9452 9452 8453 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9467] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9467/stat : 9467 (java) S 9452 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9468] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9468/stat : 9468 (java) S 9452 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9469] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9469/stat : 9469 (java) S 9452 9452 8453 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1554211544 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 871064 [startup+25.5075 s] /proc/loadavg: 2.00 2.02 1.96 3/95 9480 /proc/meminfo: memFree=1470776/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=3.92 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 375 2923 0 0 0 0 391 1 18 0 1 0 1554210505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 238 196 169 0 51 0 [pid=9460] ppid=9452 vsize=197432 CPUtime=6.22 /proc/9460/stat : 9460 (java) S 9452 9452 8453 0 -1 0 13875 0 1 0 601 21 0 0 18 0 10 0 1554210903 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9460/statm: 49358 9408 2544 9 0 43940 0 [pid=9470] ppid=9460 vsize=5356 CPUtime=0 /proc/9470/stat : 9470 (abscon) S 9460 9452 8453 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1554211544 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9470/statm: 1339 235 194 169 0 50 0 [pid=9471] ppid=9470 vsize=655872 CPUtime=15.07 /proc/9471/stat : 9471 (java) S 9470 9452 8453 0 -1 0 18028 0 1 0 1493 14 0 0 18 0 9 0 1554211545 671612928 17529 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9471/statm: 163968 17529 2007 9 0 158496 0 [pid=9471/tid=9473] ppid=9470 vsize=655872 CPUtime=14.69 /proc/9471/task/9473/stat : 9473 (java) R 9470 9452 8453 0 -1 64 12455 0 1 0 1458 11 0 0 25 0 9 0 1554211545 671612928 17529 996147200 134512640 134550740 4294955808 18446744073709551615 4126872375 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9474] ppid=9470 vsize=655872 CPUtime=0.14 /proc/9471/task/9474/stat : 9474 (java) S 9470 9452 8453 0 -1 64 4337 0 0 0 12 2 0 0 16 0 9 0 1554211546 671612928 17529 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9475] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9475/stat : 9475 (java) S 9470 9452 8453 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554211547 671612928 17529 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9476] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9476/stat : 9476 (java) S 9470 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1554211547 671612928 17529 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9477] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9477/stat : 9477 (java) S 9470 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1554211549 671612928 17529 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9478] ppid=9470 vsize=655872 CPUtime=0.22 /proc/9471/task/9478/stat : 9478 (java) S 9470 9452 8453 0 -1 64 692 0 0 0 22 0 0 0 15 0 9 0 1554211549 671612928 17529 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9479] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9479/stat : 9479 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1554211549 671612928 17529 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9480] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9480/stat : 9480 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1554211549 671612928 17529 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9472] ppid=9470 vsize=7044 CPUtime=0 /proc/9472/stat : 9472 (translate) S 9470 9452 8453 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1554211545 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/9472/statm: 1761 213 182 1 0 41 0 [pid=9460/tid=9461] ppid=9452 vsize=197432 CPUtime=4.88 /proc/9460/task/9461/stat : 9461 (java) S 9452 9452 8453 0 -1 64 3861 0 1 0 480 8 0 0 25 0 10 0 1554210904 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=9460/tid=9462] ppid=9452 vsize=197432 CPUtime=1.07 ################ # More data... # ################ [pid=9460] ppid=9452 vsize=197432 CPUtime=6.22 /proc/9460/stat : 9460 (java) S 9452 9452 8453 0 -1 0 13875 0 1 0 601 21 0 0 18 0 10 0 1554210903 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9460/statm: 49358 9408 2544 9 0 43940 0 [pid=9470] ppid=9460 vsize=5356 CPUtime=0 /proc/9470/stat : 9470 (abscon) S 9460 9452 8453 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1554211544 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9470/statm: 1339 235 194 169 0 50 0 [pid=9471] ppid=9470 vsize=655872 CPUtime=20.06 /proc/9471/stat : 9471 (java) S 9470 9452 8453 0 -1 0 18031 0 1 0 1989 17 0 0 18 0 9 0 1554211545 671612928 17532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9471/statm: 163968 17532 2008 9 0 158496 0 [pid=9471/tid=9473] ppid=9470 vsize=655872 CPUtime=19.68 /proc/9471/task/9473/stat : 9473 (java) R 9470 9452 8453 0 -1 64 12455 0 1 0 1954 14 0 0 25 0 9 0 1554211545 671612928 17532 996147200 134512640 134550740 4294955808 18446744073709551615 4126871069 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9474] ppid=9470 vsize=655872 CPUtime=0.14 /proc/9471/task/9474/stat : 9474 (java) S 9470 9452 8453 0 -1 64 4337 0 0 0 12 2 0 0 16 0 9 0 1554211546 671612928 17532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9475] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9475/stat : 9475 (java) S 9470 9452 8453 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554211547 671612928 17532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9476] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9476/stat : 9476 (java) S 9470 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1554211547 671612928 17532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9477] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9477/stat : 9477 (java) S 9470 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1554211549 671612928 17532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9478] ppid=9470 vsize=655872 CPUtime=0.22 /proc/9471/task/9478/stat : 9478 (java) S 9470 9452 8453 0 -1 64 695 0 0 0 22 0 0 0 16 0 9 0 1554211549 671612928 17532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9479] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9479/stat : 9479 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1554211549 671612928 17532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9480] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9480/stat : 9480 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1554211549 671612928 17532 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9472] ppid=9470 vsize=7044 CPUtime=0 /proc/9472/stat : 9472 (translate) S 9470 9452 8453 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1554211545 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/9472/statm: 1761 213 182 1 0 41 0 [pid=9460/tid=9461] ppid=9452 vsize=197432 CPUtime=4.88 /proc/9460/task/9461/stat : 9461 (java) S 9452 9452 8453 0 -1 64 3861 0 1 0 480 8 0 0 25 0 10 0 1554210904 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=9460/tid=9462] ppid=9452 vsize=197432 CPUtime=1.07 /proc/9460/task/9462/stat : 9462 (java) S 9452 9452 8453 0 -1 64 8523 0 0 0 96 11 0 0 16 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9463] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9463/stat : 9463 (java) S 9452 9452 8453 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9464] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9464/stat : 9464 (java) S 9452 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9465] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9465/stat : 9465 (java) S 9452 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9466] ppid=9452 vsize=197432 CPUtime=0.23 /proc/9460/task/9466/stat : 9466 (java) S 9452 9452 8453 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9467] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9467/stat : 9467 (java) S 9452 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9468] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9468/stat : 9468 (java) S 9452 9452 8453 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9469] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9469/stat : 9469 (java) S 9452 9452 8453 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1554211544 202170368 9408 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) 871064 [startup+31.3025 s] /proc/loadavg: 2.00 2.02 1.96 3/95 9480 /proc/meminfo: memFree=1470584/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=3.92 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 375 2923 0 0 0 0 391 1 18 0 1 0 1554210505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 238 196 169 0 51 0 [pid=9460] ppid=9452 vsize=197432 CPUtime=6.22 /proc/9460/stat : 9460 (java) S 9452 9452 8453 0 -1 0 13875 0 1 0 601 21 0 0 18 0 10 0 1554210903 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9460/statm: 49358 9408 2544 9 0 43940 0 [pid=9470] ppid=9460 vsize=5356 CPUtime=0 /proc/9470/stat : 9470 (abscon) S 9460 9452 8453 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1554211544 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9470/statm: 1339 235 194 169 0 50 0 [pid=9471] ppid=9470 vsize=655872 CPUtime=20.86 /proc/9471/stat : 9471 (java) S 9470 9452 8453 0 -1 0 18044 0 1 0 2069 17 0 0 18 0 9 0 1554211545 671612928 17544 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9471/statm: 163968 17544 2009 9 0 158496 0 [pid=9471/tid=9473] ppid=9470 vsize=655872 CPUtime=20.46 /proc/9471/task/9473/stat : 9473 (java) R 9470 9452 8453 0 -1 64 12457 0 1 0 2032 14 0 0 25 0 9 0 1554211545 671612928 17544 996147200 134512640 134550740 4294955808 18446744073709551615 4126876791 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9474] ppid=9470 vsize=655872 CPUtime=0.14 /proc/9471/task/9474/stat : 9474 (java) S 9470 9452 8453 0 -1 64 4338 0 0 0 12 2 0 0 16 0 9 0 1554211546 671612928 17544 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9475] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9475/stat : 9475 (java) S 9470 9452 8453 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554211547 671612928 17544 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9476] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9476/stat : 9476 (java) S 9470 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1554211547 671612928 17544 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9477] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9477/stat : 9477 (java) S 9470 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1554211549 671612928 17544 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9478] ppid=9470 vsize=655872 CPUtime=0.24 /proc/9471/task/9478/stat : 9478 (java) S 9470 9452 8453 0 -1 64 705 0 0 0 24 0 0 0 15 0 9 0 1554211549 671612928 17544 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9479] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9479/stat : 9479 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1554211549 671612928 17544 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9480] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9480/stat : 9480 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1554211549 671612928 17544 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9472] ppid=9470 vsize=7044 CPUtime=0 /proc/9472/stat : 9472 (translate) S 9470 9452 8453 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1554211545 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/9472/statm: 1761 213 182 1 0 41 0 [pid=9460/tid=9461] ppid=9452 vsize=197432 CPUtime=4.88 /proc/9460/task/9461/stat : 9461 (java) S 9452 9452 8453 0 -1 64 3861 0 1 0 480 8 0 0 25 0 10 0 1554210904 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=9460/tid=9462] ppid=9452 vsize=197432 CPUtime=1.07 /proc/9460/task/9462/stat : 9462 (java) S 9452 9452 8453 0 -1 64 8523 0 0 0 96 11 0 0 16 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9463] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9463/stat : 9463 (java) S 9452 9452 8453 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9464] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9464/stat : 9464 (java) S 9452 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9465] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9465/stat : 9465 (java) S 9452 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9466] ppid=9452 vsize=197432 CPUtime=0.23 /proc/9460/task/9466/stat : 9466 (java) S 9452 9452 8453 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9467] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9467/stat : 9467 (java) S 9452 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9468] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9468/stat : 9468 (java) S 9452 9452 8453 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9469] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9469/stat : 9469 (java) S 9452 9452 8453 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1554211544 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31 Current children cumulated vsize (KiB) 871064 [startup+31.7026 s] /proc/loadavg: 2.00 2.02 1.96 3/95 9480 /proc/meminfo: memFree=1470584/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=3.92 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 375 2923 0 0 0 0 391 1 18 0 1 0 1554210505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 238 196 169 0 51 0 [pid=9460] ppid=9452 vsize=197432 CPUtime=6.22 /proc/9460/stat : 9460 (java) S 9452 9452 8453 0 -1 0 13875 0 1 0 601 21 0 0 18 0 10 0 1554210903 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9460/statm: 49358 9408 2544 9 0 43940 0 [pid=9470] ppid=9460 vsize=5356 CPUtime=0 /proc/9470/stat : 9470 (abscon) S 9460 9452 8453 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1554211544 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9470/statm: 1339 235 194 169 0 50 0 [pid=9471] ppid=9470 vsize=655872 CPUtime=21.27 /proc/9471/stat : 9471 (java) S 9470 9452 8453 0 -1 0 19155 0 1 0 2109 18 0 0 18 0 9 0 1554211545 671612928 18648 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9471/statm: 163968 18648 2013 9 0 158496 0 [pid=9471/tid=9473] ppid=9470 vsize=655872 CPUtime=20.78 /proc/9471/task/9473/stat : 9473 (java) R 9470 9452 8453 0 -1 64 12477 0 1 0 2064 14 0 0 25 0 9 0 1554211545 671612928 18648 996147200 134512640 134550740 4294955808 18446744073709551615 4126876216 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9474] ppid=9470 vsize=655872 CPUtime=0.21 /proc/9471/task/9474/stat : 9474 (java) S 9470 9452 8453 0 -1 64 5424 0 0 0 19 2 0 0 16 0 9 0 1554211546 671612928 18648 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9475] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9475/stat : 9475 (java) S 9470 9452 8453 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554211547 671612928 18648 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9476] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9476/stat : 9476 (java) S 9470 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1554211547 671612928 18648 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9477] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9477/stat : 9477 (java) S 9470 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1554211549 671612928 18648 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9478] ppid=9470 vsize=655872 CPUtime=0.24 /proc/9471/task/9478/stat : 9478 (java) S 9470 9452 8453 0 -1 64 710 0 0 0 24 0 0 0 16 0 9 0 1554211549 671612928 18648 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9479] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9479/stat : 9479 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1554211549 671612928 18648 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9471/tid=9480] ppid=9470 vsize=655872 CPUtime=0 /proc/9471/task/9480/stat : 9480 (java) S 9470 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1554211549 671612928 18648 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9472] ppid=9470 vsize=7044 CPUtime=0 /proc/9472/stat : 9472 (translate) S 9470 9452 8453 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1554211545 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/9472/statm: 1761 213 182 1 0 41 0 [pid=9460/tid=9461] ppid=9452 vsize=197432 CPUtime=4.88 /proc/9460/task/9461/stat : 9461 (java) S 9452 9452 8453 0 -1 64 3861 0 1 0 480 8 0 0 25 0 10 0 1554210904 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=9460/tid=9462] ppid=9452 vsize=197432 CPUtime=1.07 /proc/9460/task/9462/stat : 9462 (java) S 9452 9452 8453 0 -1 64 8523 0 0 0 96 11 0 0 16 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9463] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9463/stat : 9463 (java) S 9452 9452 8453 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9464] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9464/stat : 9464 (java) S 9452 9452 8453 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1554210905 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9465] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9465/stat : 9465 (java) S 9452 9452 8453 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9466] ppid=9452 vsize=197432 CPUtime=0.23 /proc/9460/task/9466/stat : 9466 (java) S 9452 9452 8453 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9467] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9467/stat : 9467 (java) S 9452 9452 8453 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9468] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9468/stat : 9468 (java) S 9452 9452 8453 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1554210908 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9460/tid=9469] ppid=9452 vsize=197432 CPUtime=0 /proc/9460/task/9469/stat : 9469 (java) S 9452 9452 8453 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1554211544 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.41 Current children cumulated vsize (KiB) 871064 [startup+32.1076 s] /proc/loadavg: 2.00 2.02 1.96 3/95 9480 /proc/meminfo: memFree=1460984/2055920 swapFree=4121440/4192956 [pid=9452] ppid=9450 vsize=5360 CPUtime=3.92 /proc/9452/stat : 9452 (hydra) S 9450 9452 8453 0 -1 4194304 375 2923 0 0 0 0 391 1 18 0 1 0 1554210505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9452/statm: 1340 238 196 169 0 51 0 [pid=9460] ppid=9452 vsize=0 CPUtime=27.87 /proc/9460/stat : 9460 (java) Z 9452 9452 8453 0 -1 1036 13971 21877 1 1 601 21 2144 21 16 0 2 0 1554210903 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9460/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 31.79 Current children cumulated vsize (KiB) 5360 Child status: 0 Real time (s): 32.1107 CPU time (s): 31.8212 CPU user time (s): 31.3682 CPU system time (s): 0.452931 CPU usage (%): 99.0984 Max. virtual memory (cumulated for all children) (KiB): 871064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.3682 system time used= 0.452931 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39158 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= 11645 involuntary context switches= 16389 runsolver used 0.118981 second user time and 0.359945 second system time The end
Begin job on node14 at 2008-07-05 10:09:24 IDJOB=1087696 IDBENCH=58033 IDSOLVER=366 FILE ID=node14/1087696-1215245364 PBS_JOBID= 7881980 Free space on /tmp= 66412 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp03/normalized-fapp03-0300-0.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087696-1215245364/watcher-1087696-1215245364 -o /tmp/evaluation-result-1087696-1215245364/solver-1087696-1215245364 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087696-1215245364.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 794a2318e84f02e396222d8183c60eb7 RANDOM SEED=10508126 node14.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.267 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 : 5931.00 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.267 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: 1562520 kB Buffers: 50844 kB Cached: 237512 kB SwapCached: 65652 kB Active: 349728 kB Inactive: 88220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1562520 kB SwapTotal: 4192956 kB SwapFree: 4121440 kB Dirty: 24872 kB Writeback: 0 kB Mapped: 157584 kB Slab: 40372 kB Committed_AS: 3180092 kB PageTables: 2148 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= 66388 MiB End job on node14 at 2008-07-05 10:09:57