Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 17.6583 | 18.1303 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 153025 |
Name | csp/fapp/fapp01/ normalized-fapp01-0200-2.xml |
MD5SUM | 8958f22ef51eff112eba2674fcf8e386 |
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 | 9.95049 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2053 |
Maximum constraint arity | 2 |
Maximum domain size | 190 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2053 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.28/7.47 c CASE TO CLASSIFY: 7.28/7.47 c Case: 0 7.28/7.48 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 12.524800 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.452350 | c 14 > 2.321930 | c 11 > 7.643860 | c 12 > 4.368770 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.49 c choco : 1801.0 7.28/7.49 c mistral : 1801.0 7.28/7.49 c abscon : 1801.0 7.28/7.49 c 7.28/7.49 c 7.38/7.56 c List of same ones: 40 7.38/7.56 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-1.xml 7.38/7.56 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 13.203500 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.452350 | c 14 > 3.459430 | c 11 > 7.643860 | c 12 > 4.368770 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.57 c choco : 1801.0 7.38/7.57 c mistral : 2.11168 7.38/7.57 c abscon : 5.13022 7.38/7.57 c 7.38/7.57 c 7.38/7.57 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-0.xml 7.38/7.57 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 13.160200 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.373670 | c 14 > 1.000000 | c 11 > 7.643860 | c 12 > 4.359660 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.58 c choco : 26.68 7.38/7.58 c mistral : 1.61975 7.38/7.58 c abscon : 5.13422 7.38/7.58 c 7.38/7.58 c 7.38/7.58 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-4.xml 7.38/7.58 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 13.705300 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.391090 | c 14 > 3.807350 | c 11 > 7.643860 | c 12 > 4.365970 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.59 c choco : 1801.0 7.38/7.59 c mistral : 58.0442 7.38/7.59 c abscon : 6.43702 7.38/7.59 c 7.38/7.59 c 7.38/7.59 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-2.xml 7.38/7.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 13.566500 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.452350 | c 14 > 4.000000 | c 11 > 7.643860 | c 12 > 4.368770 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.60 c choco : 1801.0 7.47/7.60 c mistral : 602.897 7.47/7.60 c abscon : 5.48217 7.47/7.60 c 7.47/7.60 c 7.47/7.60 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-3.xml 7.47/7.60 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 13.782800 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.401950 | c 14 > 4.459430 | c 11 > 7.643860 | c 12 > 4.366670 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.61 c choco : 1801.0 7.47/7.61 c mistral : 1800.03 7.47/7.61 c abscon : 5.69113 7.47/7.61 c 7.47/7.61 c 7.47/7.61 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-5.xml 7.47/7.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 13.914300 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.386830 | c 14 > 4.459430 | c 11 > 7.643860 | c 12 > 4.363170 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.62 c choco : 1801.0 7.47/7.62 c mistral : 21.5277 7.47/7.62 c abscon : 6.03908 7.47/7.62 c 7.47/7.62 c 7.47/7.62 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-6.xml 7.47/7.62 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 14.135900 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.375170 | c 14 > 4.584960 | c 11 > 7.643860 | c 12 > 4.362470 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.63 c choco : 1801.0 7.47/7.63 c mistral : 15.3067 7.47/7.63 c abscon : 6.33404 7.47/7.63 c 7.47/7.63 c 7.47/7.63 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-7.xml 7.47/7.63 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 14.120100 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.461850 | c 14 > 5.643860 | c 11 > 7.643860 | c 12 > 4.377120 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.64 c choco : 51.08 7.47/7.64 c mistral : 2.88356 7.47/7.64 c abscon : 5.98409 7.47/7.64 c 7.47/7.64 c 7.47/7.64 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-9.xml 7.47/7.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 14.318500 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 2.469610 | c 14 > 6.066090 | c 11 > 7.643860 | c 12 > 4.371560 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.65 c choco : 19.23 7.47/7.65 c mistral : 1.44478 7.47/7.65 c abscon : 6.13207 7.47/7.65 c 7.47/7.65 c 7.47/7.65 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-8.xml 7.47/7.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 14.287600 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 3.441560 | c 14 > 6.022370 | c 11 > 7.643860 | c 12 > 4.424250 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.66 c choco : 45.65 7.47/7.66 c mistral : 6.04508 7.47/7.66 c abscon : 6.24105 7.47/7.66 c 7.47/7.66 c 7.47/7.66 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-6.xml 7.47/7.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 11.804500 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 2.807350 | 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 7.47/7.67 c choco : 17.31 7.47/7.67 c mistral : 2.21366 7.47/7.67 c abscon : 6.40503 7.47/7.67 c 7.47/7.67 c 7.47/7.67 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-8.xml 7.47/7.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 11.789900 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 2.807350 | 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 7.47/7.68 c choco : 15.4 7.47/7.68 c mistral : 2.20866 7.47/7.68 c abscon : 6.64999 7.47/7.68 c 7.47/7.68 c 7.47/7.68 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-7.xml 7.47/7.68 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 11.859100 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 3.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 7.47/7.69 c choco : 77.43 7.47/7.69 c mistral : 5.44117 7.47/7.69 c abscon : 6.50801 7.47/7.69 c 7.47/7.69 c 7.47/7.69 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-5.xml 7.47/7.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 11.536200 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 2.321930 | 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 7.47/7.70 c choco : 59.44 7.47/7.70 c mistral : 2.36264 7.47/7.70 c abscon : 6.39403 7.47/7.70 c 7.47/7.70 c 7.47/7.70 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-9.xml 7.47/7.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 11.774000 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 3.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 7.54/7.71 c choco : 14.1 7.54/7.71 c mistral : 2.06569 7.54/7.71 c abscon : 6.75997 7.54/7.71 c 7.54/7.71 c 7.54/7.71 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-3.xml 7.54/7.71 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 11.451200 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 2.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 7.54/7.72 c choco : 1801.0 7.54/7.72 c mistral : 64.6082 7.54/7.72 c abscon : 5.29219 7.54/7.72 c 7.54/7.72 c 7.54/7.72 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-4.xml 7.54/7.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 11.438300 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 2.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 7.54/7.72 c choco : 33.53 7.54/7.72 c mistral : 2.18567 7.54/7.72 c abscon : 6.582 7.54/7.72 c 7.54/7.72 c 7.54/7.72 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 7.54/7.72 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 7.54/7.73 c choco : 33.36 7.54/7.73 c mistral : 6.83796 7.54/7.73 c abscon : 10.5184 7.54/7.73 c 7.54/7.73 c 7.54/7.73 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 7.54/7.73 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 7.54/7.74 c choco : 80.85 7.54/7.74 c mistral : 12.5891 7.54/7.74 c abscon : 10.0495 7.54/7.74 c 7.54/7.74 c 7.54/7.74 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 7.54/7.74 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 7.54/7.75 c choco : 1801.0 7.54/7.75 c mistral : 39.28 7.54/7.75 c abscon : 9.8585 7.54/7.75 c 7.54/7.75 c 7.54/7.75 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 7.54/7.75 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 7.54/7.75 c choco : 115.65 7.54/7.75 c mistral : 1800.08 7.54/7.75 c abscon : 11.0983 7.54/7.75 c 7.54/7.75 c 7.54/7.75 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 7.54/7.75 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 7.54/7.76 c choco : 30.96 7.54/7.76 c mistral : 2.38464 7.54/7.76 c abscon : 5.81212 7.54/7.76 c 7.54/7.76 c 7.54/7.76 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 7.54/7.76 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 7.54/7.76 c choco : 30.87 7.54/7.76 c mistral : 2.28165 7.54/7.76 c abscon : 5.48517 7.54/7.76 c 7.54/7.76 c 7.54/7.76 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 7.54/7.76 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 7.54/7.77 c choco : 1801.0 7.54/7.77 c mistral : 8.45871 7.54/7.77 c abscon : 6.12907 7.54/7.77 c 7.54/7.77 c 7.54/7.77 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 7.54/7.77 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 7.54/7.78 c choco : 31.97 7.54/7.78 c mistral : 2.46962 7.54/7.78 c abscon : 5.44917 7.54/7.78 c 7.54/7.78 c 7.54/7.78 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml 7.54/7.78 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 7.54/7.78 c choco : 32.16 7.54/7.78 c mistral : 2.42163 7.54/7.78 c abscon : 5.54416 7.54/7.78 c 7.54/7.78 c 7.54/7.78 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml 7.54/7.78 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 7.54/7.79 c choco : 32.23 7.54/7.79 c mistral : 8.82966 7.54/7.79 c abscon : 5.43717 7.54/7.79 c 7.54/7.79 c 7.54/7.79 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-10.xml 7.54/7.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 12.638900 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > 4.459430 | 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 7.54/7.79 c choco : 34.02 7.54/7.79 c mistral : 3.98539 7.54/7.79 c abscon : 7.08092 7.54/7.79 c 7.54/7.79 c 7.54/7.79 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-0.xml 7.54/7.79 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 7.60/7.80 c choco : 38.64 7.60/7.80 c mistral : 6.43 7.60/7.80 c abscon : 5.53516 7.60/7.80 c 7.60/7.80 c 7.60/7.80 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-1.xml 7.60/7.80 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 7.60/7.80 c choco : 1801.0 7.60/7.80 c mistral : 55.3386 7.60/7.81 c abscon : 5.2292 7.60/7.81 c 7.60/7.81 c 7.60/7.81 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-2.xml 7.60/7.81 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 7.60/7.81 c choco : 1801.0 7.60/7.81 c mistral : 105.23 7.60/7.81 c abscon : 5.15621 7.60/7.81 c 7.60/7.81 c 7.60/7.81 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp01/fapp01-0200-10.xml 7.60/7.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.450100 | c 15 > 14.491000 | c 34 > 67.851900 | c 16 > 2.000000 | c 13 > 4.623840 | c 14 > 7.507790 | c 11 > 7.643860 | c 12 > 4.527950 | c 21 > 11.611000 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 2.909930 | c 24 > 0.792902 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.718700 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.60/7.82 c choco : 14.38 7.60/7.82 c mistral : 1.36879 7.60/7.82 c abscon : 6.01808 7.60/7.82 c 7.60/7.82 c 7.60/7.82 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test01/test01-0150-0.xml 7.60/7.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.411000 | c 15 > 10.168700 | c 34 > 68.123300 | c 16 > 2.000000 | c 13 > 2.441380 | c 14 > -1.000000 | c 11 > 7.228820 | c 12 > 4.282930 | c 21 > 13.938000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.626460 | c 24 > 0.777634 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.511800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.830700 | c 31 > -1.000000 | c 4 > 7.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.60/7.82 c choco : 21.85 7.60/7.82 c mistral : 4.97924 7.60/7.82 c abscon : 4.91425 7.60/7.82 c 7.60/7.82 c 7.60/7.82 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 7.60/7.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.398200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.60/7.83 c choco : 1801.0 7.60/7.83 c mistral : 1800.04 7.60/7.83 c abscon : 11.0623 7.60/7.83 c 7.60/7.83 c 7.60/7.83 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 7.60/7.83 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 7.60/7.83 c choco : 1801.0 7.60/7.83 c mistral : 1800.06 7.60/7.83 c abscon : 11.9282 7.60/7.83 c 7.60/7.83 c 7.60/7.83 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 7.60/7.83 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 7.60/7.84 c choco : 1801.0 7.60/7.84 c mistral : 1800.03 7.60/7.84 c abscon : 12.0042 7.60/7.84 c 7.60/7.84 c 7.60/7.84 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 7.60/7.84 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 7.60/7.85 c choco : 1801.0 7.60/7.85 c mistral : 1800.01 7.60/7.85 c abscon : 6.594 7.60/7.85 c 7.60/7.85 c 7.60/7.85 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 7.60/7.85 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 7.60/7.86 c choco : 1801.0 7.60/7.86 c mistral : 1800.03 7.60/7.86 c abscon : 5.97909 7.60/7.86 c 7.60/7.86 c 7.60/7.86 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 7.60/7.86 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 7.60/7.86 c choco : 1801.0 7.60/7.86 c mistral : 1800.05 7.60/7.86 c abscon : 5.9181 7.60/7.86 c 7.60/7.86 c 7.60/7.86 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 7.60/7.86 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 7.60/7.87 c choco : 1801.0 7.60/7.87 c mistral : 1800.09 7.60/7.87 c abscon : 6.03108 7.60/7.87 c 7.60/7.87 c 7.60/7.87 c Length: 40 7.60/7.87 c 1.324590480110739 1.468844995021598 1.898371263478247 1.9751095703529962 2.480728687301374 2.5502824805107376 2.779018609743374 3.6851541334657902 4.151674299279749 4.216910538308821 4.503565447378776 4.505923618840425 4.5200190804159215 4.52824105281775 4.5333339428420665 4.558935507037141 4.5619906014068015 4.734156483695484 4.754681878119292 4.776808559291025 4.786071453929203 4.820459813349344 4.824598388686461 4.828831883811653 4.837152877687038 4.840440774569605 4.851648651965226 4.9101488910647095 4.948786971785712 5.247995079773227 5.247995079773227 5.95817031244492 6.009497750005736 6.248935394962008 6.28906397649197 6.303409574223223 6.324890510547118 6.33818240905143 6.368740516806207 6.379813035693835 7.60/7.88 c 7.60/7.88 c 1.0 0.9722559570981713 0.8980670735444125 0.8859886881281744 0.8138671619076344 0.8048545336073033 0.7765735521053638 0.6816839662246607 0.6413379936328699 0.6360736646843833 0.6139302028587601 0.6137544312452899 0.6127058895194367 0.6120959212058649 0.6117187007279339 0.6098294639939145 0.6096047960409041 0.5972060046447358 0.5957614041426635 0.5942119107979762 0.5935656370016098 0.5911786028391846 0.5908926213924203 0.5906003669890982 0.5900267785921691 0.5898004420249848 0.5890302025918974 0.5850423214244556 0.5824378945247609 0.5630284528108156 0.5630284528108156 0.5217592797524047 0.519009771549422 0.5065572802187853 0.5045285335369067 0.5038072126934479 0.5027309632431773 0.5020673052774184 0.500548178552007 0.5 7.60/7.89 c 7.60/7.89 c solver 0 7.60/7.89 c before 0.0 seconds: {} 0 7.60/7.89 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25171 7.60/7.89 c 7.60/7.89 c solver 1 7.60/7.89 c before 0.0 seconds: {} 0 7.60/7.89 c before 18.0 seconds: {0, 1, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32} 15324 7.60/7.89 c before 36.0 seconds: {0, 1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32} 16129 7.60/7.89 c before 54.0 seconds: {0, 1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32} 16723 7.60/7.89 c before 72.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32} 18794 7.60/7.89 c before 108.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 19357 7.60/7.89 c before 612.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 20243 7.60/7.89 c 7.60/7.89 c solver 2 7.60/7.89 c before 0.0 seconds: {} 0 7.60/7.89 c before 18.0 seconds: {10, 11, 14, 31} 2361 7.60/7.89 c before 36.0 seconds: {1, 8, 10, 11, 14, 16, 17, 21, 22, 24, 25, 26, 27, 31, 32} 9236 7.60/7.89 c before 54.0 seconds: {1, 7, 8, 9, 10, 11, 14, 16, 17, 21, 22, 24, 25, 26, 27, 28, 31, 32} 11136 7.60/7.89 c before 72.0 seconds: {1, 7, 8, 9, 10, 11, 13, 14, 16, 17, 21, 22, 24, 25, 26, 27, 28, 31, 32} 11748 7.60/7.89 c before 90.0 seconds: {1, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 21, 22, 24, 25, 26, 27, 28, 31, 32} 12957 7.60/7.89 c before 126.0 seconds: {1, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 20, 21, 22, 24, 25, 26, 27, 28, 31, 32} 13550 7.60/7.89 c 7.60/7.89 cTotal time: 42 7.60/7.89 c 756.0 seconds unused 7.60/7.89 c 0 c 9 c 18 7.60/7.89 c 0 c 0 c 10 7.60/7.89 c 0 c 1 c 0 7.60/7.89 c is solver0 dominated by: 7.60/7.89 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) 7.60/7.89 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) 7.60/7.89 c is dominated? false 7.60/7.89 c 7.60/7.89 c is solver1 dominated by: 7.60/7.89 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) 7.60/7.89 c is dominated? true 7.60/7.89 c 7.60/7.89 c is solver2 dominated by: 7.60/7.89 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) 7.60/7.89 c is dominated? true 7.60/7.89 c 7.60/7.89 c Number of non-dominated solvers: 1 7.60/7.89 c remove dominated solvers 7.60/7.89 c solver 0 is not dominated by another solver 7.60/7.89 c solver 2 is dominated by another solver 7.60/7.89 c solver 1 is dominated by another solver 7.60/7.89 c 7.60/7.89 c solver 0: 18.0 7.60/7.89 c 7.60/7.89 c+ 1/1 of 99 7.60/7.89 c 7.60/7.89 c solver 1: 0.0 7.60/7.89 c 7.60/7.89 c solver 2: 0.0 7.60/7.89 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} 25171 7.60/7.89 c do not run mistral 7.60/7.89 c do not run choco 7.60/7.89 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.60/7.89 c On Instance: HOME/instance-1087171-1215242880.xml 7.60/7.89 c Running for: 1800 seconds 17.61/18.10 s UNSATISFIABLE 17.61/18.10 d ASSIGNMENTS 0 17.61/18.10 d CHECKS 153025
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-1087171-1215242880/watcher-1087171-1215242880 -o /tmp/evaluation-result-1087171-1215242880/solver-1087171-1215242880 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087171-1215242880.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.49 2.23 2.13 4/81 2623 /proc/meminfo: memFree=1832104/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=18572 CPUtime=0 /proc/2623/stat : 2623 (runsolver) R 2621 2623 629 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2003262624 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0 /proc/2623/statm: 4643 292 257 25 0 2626 0 [startup+0.0674699 s] /proc/loadavg: 2.49 2.23 2.13 4/81 2623 /proc/meminfo: memFree=1832104/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=0 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003262624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101469 s] /proc/loadavg: 2.49 2.23 2.13 4/81 2623 /proc/meminfo: memFree=1832104/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=0 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003262624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301485 s] /proc/loadavg: 2.49 2.23 2.13 4/81 2623 /proc/meminfo: memFree=1832104/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=0 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003262624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701527 s] /proc/loadavg: 2.49 2.23 2.13 4/81 2623 /proc/meminfo: memFree=1832104/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=0 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003262624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50161 s] /proc/loadavg: 2.49 2.23 2.13 3/83 2627 /proc/meminfo: memFree=1827672/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=0 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003262624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 236 195 169 0 51 0 [pid=2627] ppid=2623 vsize=11292 CPUtime=1.44 /proc/2627/stat : 2627 (xsolve) R 2623 2623 629 0 -1 4194304 1462 0 1 0 144 0 0 0 25 0 1 0 2003262625 11563008 1422 996147200 134512640 135239763 4294956176 18446744073709551615 134534761 0 0 4096 0 0 0 0 17 1 0 0 /proc/2627/statm: 2823 1422 419 177 0 1726 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 16652 [startup+3.10278 s] /proc/loadavg: 2.49 2.23 2.13 4/91 2639 /proc/meminfo: memFree=1824600/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=1.58 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 375 2053 0 6 0 0 157 1 19 0 1 0 2003262624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 238 196 169 0 51 0 [pid=2631] ppid=2623 vsize=197004 CPUtime=1.43 /proc/2631/stat : 2631 (java) S 2623 2623 629 0 -1 0 4922 0 1 0 138 5 0 0 18 0 9 0 2003262789 201732096 4136 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2631/statm: 49251 4136 1678 9 0 43833 0 [pid=2631/tid=2632] ppid=2623 vsize=197004 CPUtime=1.14 /proc/2631/task/2632/stat : 2632 (java) R 2623 2623 629 0 -1 64 2713 0 1 0 112 2 0 0 25 0 9 0 2003262790 201732096 4136 996147200 134512640 134550740 4294955968 18446744073709551615 4126487280 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2633] ppid=2623 vsize=197004 CPUtime=0.12 /proc/2631/task/2633/stat : 2633 (java) S 2623 2623 629 0 -1 64 880 0 0 0 11 1 0 0 16 0 9 0 2003262791 201732096 4136 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2634] ppid=2623 vsize=197004 CPUtime=0 /proc/2631/task/2634/stat : 2634 (java) S 2623 2623 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003262791 201732096 4136 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2635] ppid=2623 vsize=197004 CPUtime=0 /proc/2631/task/2635/stat : 2635 (java) S 2623 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003262791 201732096 4136 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2636] ppid=2623 vsize=197004 CPUtime=0 /proc/2631/task/2636/stat : 2636 (java) S 2623 2623 629 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003262793 201732096 4136 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2637] ppid=2623 vsize=197004 CPUtime=0.13 /proc/2631/task/2637/stat : 2637 (java) S 2623 2623 629 0 -1 64 605 0 0 0 13 0 0 0 16 0 9 0 2003262793 201732096 4136 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2638] ppid=2623 vsize=197004 CPUtime=0 /proc/2631/task/2638/stat : 2638 (java) S 2623 2623 629 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003262794 201732096 4136 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2639] ppid=2623 vsize=197004 CPUtime=0 /proc/2631/task/2639/stat : 2639 (java) S 2623 2623 629 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003262794 201732096 4136 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 202364 [startup+6.30212 s] /proc/loadavg: 2.45 2.22 2.13 3/91 2639 /proc/meminfo: memFree=1811480/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=1.58 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 375 2053 0 6 0 0 157 1 19 0 1 0 2003262624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 238 196 169 0 51 0 [pid=2631] ppid=2623 vsize=197112 CPUtime=4.61 /proc/2631/stat : 2631 (java) S 2623 2623 629 0 -1 0 9824 0 1 0 448 13 0 0 18 0 9 0 2003262789 201842688 8146 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2631/statm: 49278 8146 2541 9 0 43860 0 [pid=2631/tid=2632] ppid=2623 vsize=197112 CPUtime=3.69 /proc/2631/task/2632/stat : 2632 (java) R 2623 2623 629 0 -1 64 3537 0 1 0 364 5 0 0 25 0 9 0 2003262790 201842688 8146 996147200 134512640 134550740 4294955968 18446744073709551615 4126487937 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2633] ppid=2623 vsize=197112 CPUtime=0.73 /proc/2631/task/2633/stat : 2633 (java) S 2623 2623 629 0 -1 64 4934 0 0 0 66 7 0 0 16 0 9 0 2003262791 201842688 8146 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2634] ppid=2623 vsize=197112 CPUtime=0 /proc/2631/task/2634/stat : 2634 (java) S 2623 2623 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003262791 201842688 8146 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2635] ppid=2623 vsize=197112 CPUtime=0 /proc/2631/task/2635/stat : 2635 (java) S 2623 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003262791 201842688 8146 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2636] ppid=2623 vsize=197112 CPUtime=0 /proc/2631/task/2636/stat : 2636 (java) S 2623 2623 629 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003262793 201842688 8146 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2637] ppid=2623 vsize=197112 CPUtime=0.17 /proc/2631/task/2637/stat : 2637 (java) S 2623 2623 629 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 2003262793 201842688 8146 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2638] ppid=2623 vsize=197112 CPUtime=0 /proc/2631/task/2638/stat : 2638 (java) S 2623 2623 629 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003262794 201842688 8146 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2639] ppid=2623 vsize=197112 CPUtime=0 /proc/2631/task/2639/stat : 2639 (java) S 2623 2623 629 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003262794 201842688 8146 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202472 [startup+12.7028 s] /proc/loadavg: 2.41 2.22 2.12 3/103 2651 /proc/meminfo: memFree=1755512/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=1.58 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 375 2053 0 6 0 0 157 1 19 0 1 0 2003262624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 238 196 169 0 51 0 [pid=2631] ppid=2623 vsize=197436 CPUtime=6.08 /proc/2631/stat : 2631 (java) S 2623 2623 629 0 -1 0 11455 0 1 0 589 19 0 0 18 0 10 0 2003262789 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2631/statm: 49359 9407 2544 9 0 43941 0 [pid=2641] ppid=2631 vsize=5356 CPUtime=0 /proc/2641/stat : 2641 (abscon) S 2631 2623 629 0 -1 4194304 300 0 1 0 0 0 0 0 24 0 1 0 2003263414 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2641/statm: 1339 235 194 169 0 50 0 [pid=2642] ppid=2641 vsize=655876 CPUtime=4.67 /proc/2642/stat : 2642 (java) S 2641 2623 629 0 -1 0 15176 0 7 0 454 13 0 0 18 0 9 0 2003263416 671617024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2642/statm: 163969 14687 2007 9 0 158497 0 [pid=2642/tid=2644] ppid=2641 vsize=655876 CPUtime=4.35 /proc/2642/task/2644/stat : 2644 (java) R 2641 2623 629 0 -1 64 12436 0 7 0 425 10 0 0 25 0 9 0 2003263417 671617024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4126863488 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2645] ppid=2641 vsize=655876 CPUtime=0.05 /proc/2642/task/2645/stat : 2645 (java) S 2641 2623 629 0 -1 64 1511 0 0 0 5 0 0 0 16 0 9 0 2003263418 671617024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2646] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2646/stat : 2646 (java) S 2641 2623 629 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003263418 671617024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2647] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2647/stat : 2647 (java) S 2641 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003263418 671617024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2648] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2648/stat : 2648 (java) S 2641 2623 629 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003263420 671617024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2649] ppid=2641 vsize=655876 CPUtime=0.24 /proc/2642/task/2649/stat : 2649 (java) S 2641 2623 629 0 -1 64 684 0 0 0 23 1 0 0 15 0 9 0 2003263420 671617024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2650] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2650/stat : 2650 (java) S 2641 2623 629 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003263420 671617024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2651] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2651/stat : 2651 (java) S 2641 2623 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003263420 671617024 14687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2643] ppid=2641 vsize=7044 CPUtime=0 /proc/2643/stat : 2643 (translate) S 2641 2623 629 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003263416 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/2643/statm: 1761 213 182 1 0 41 0 [pid=2631/tid=2632] ppid=2623 vsize=197436 CPUtime=4.93 /proc/2631/task/2632/stat : 2632 (java) S 2623 2623 629 0 -1 64 3865 0 1 0 485 8 0 0 24 0 10 0 2003262790 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2631/tid=2633] ppid=2623 vsize=197436 CPUtime=0.89 /proc/2631/task/2633/stat : 2633 (java) S 2623 2623 629 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2634] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2634/stat : 2634 (java) S 2623 2623 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2635] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2635/stat : 2635 (java) S 2623 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2636] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2636/stat : 2636 (java) S 2623 2623 629 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2637] ppid=2623 vsize=197436 CPUtime=0.23 /proc/2631/task/2637/stat : 2637 (java) S 2623 2623 629 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2638] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2638/stat : 2638 (java) S 2623 2623 629 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2639] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2639/stat : 2639 (java) S 2623 2623 629 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2640] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2640/stat : 2640 (java) S 2623 2623 629 0 -1 64 68 0 0 0 0 0 0 0 24 0 10 0 2003263414 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.33 Current children cumulated vsize (KiB) 871072 Solver just ended. Dumping a history of the last processes samples [startup+15.9031 s] /proc/loadavg: 2.38 2.22 2.12 3/103 2651 /proc/meminfo: memFree=1749176/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=1.58 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 375 2053 0 6 0 0 157 1 19 0 1 0 2003262624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 238 196 169 0 51 0 [pid=2631] ppid=2623 vsize=197436 CPUtime=6.08 /proc/2631/stat : 2631 (java) S 2623 2623 629 0 -1 0 11455 0 1 0 589 19 0 0 18 0 10 0 2003262789 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2631/statm: 49359 9407 2544 9 0 43941 0 [pid=2641] ppid=2631 vsize=5356 CPUtime=0 /proc/2641/stat : 2641 (abscon) S 2631 2623 629 0 -1 4194304 300 0 1 0 0 0 0 0 24 0 1 0 2003263414 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2641/statm: 1339 235 194 169 0 50 0 [pid=2642] ppid=2641 vsize=655876 CPUtime=7.82 /proc/2642/stat : 2642 (java) S 2641 2623 629 0 -1 0 15186 0 7 0 768 14 0 0 18 0 9 0 2003263416 671617024 14695 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2642/statm: 163969 14695 2007 9 0 158497 0 [pid=2642/tid=2644] ppid=2641 vsize=655876 CPUtime=7.5 /proc/2642/task/2644/stat : 2644 (java) R 2641 2623 629 0 -1 64 12442 0 7 0 738 12 0 0 25 0 9 0 2003263417 671617024 14695 996147200 134512640 134550740 4294955808 18446744073709551615 4126865911 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2645] ppid=2641 vsize=655876 CPUtime=0.05 /proc/2642/task/2645/stat : 2645 (java) S 2641 2623 629 0 -1 64 1511 0 0 0 5 0 0 0 16 0 9 0 2003263418 671617024 14695 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/2642/task/2651/stat : 2651 (java) S 2641 2623 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003263420 671617024 14695 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2643] ppid=2641 vsize=7044 CPUtime=0 /proc/2643/stat : 2643 (translate) S 2641 2623 629 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003263416 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/2643/statm: 1761 213 182 1 0 41 0 [pid=2631/tid=2632] ppid=2623 vsize=197436 CPUtime=4.93 /proc/2631/task/2632/stat : 2632 (java) S 2623 2623 629 0 -1 64 3865 0 1 0 485 8 0 0 24 0 10 0 2003262790 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2631/tid=2633] ppid=2623 vsize=197436 CPUtime=0.89 /proc/2631/task/2633/stat : 2633 (java) S 2623 2623 629 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2634] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2634/stat : 2634 (java) S 2623 2623 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2635] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2635/stat : 2635 (java) S 2623 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2636] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2636/stat : 2636 (java) S 2623 2623 629 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2637] ppid=2623 vsize=197436 CPUtime=0.23 /proc/2631/task/2637/stat : 2637 (java) S 2623 2623 629 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2638] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2638/stat : 2638 (java) S 2623 2623 629 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2639] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2639/stat : 2639 (java) S 2623 2623 629 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2640] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2640/stat : 2640 (java) S 2623 2623 629 0 -1 64 68 0 0 0 0 0 0 0 24 0 10 0 2003263414 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.48 Current children cumulated vsize (KiB) 871072 [startup+17.5023 s] /proc/loadavg: 2.38 2.22 2.12 3/103 2651 /proc/meminfo: memFree=1749176/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=1.58 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 375 2053 0 6 0 0 157 1 19 0 1 0 2003262624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 238 196 169 0 51 0 [pid=2631] ppid=2623 vsize=197436 CPUtime=6.08 /proc/2631/stat : 2631 (java) S 2623 2623 629 0 -1 0 11455 0 1 0 589 19 0 0 18 0 10 0 2003262789 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2631/statm: 49359 9407 2544 9 0 43941 0 [pid=2641] ppid=2631 vsize=5356 CPUtime=0 /proc/2641/stat : 2641 (abscon) S 2631 2623 629 0 -1 4194304 300 0 1 0 0 0 0 0 24 0 1 0 2003263414 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2641/statm: 1339 235 194 169 0 50 0 [pid=2642] ppid=2641 vsize=655876 CPUtime=9.4 /proc/2642/stat : 2642 (java) S 2641 2623 629 0 -1 0 15190 0 7 0 924 16 0 0 18 0 9 0 2003263416 671617024 14699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2642/statm: 163969 14699 2007 9 0 158497 0 [pid=2642/tid=2644] ppid=2641 vsize=655876 CPUtime=9.07 /proc/2642/task/2644/stat : 2644 (java) R 2641 2623 629 0 -1 64 12444 0 7 0 894 13 0 0 25 0 9 0 2003263417 671617024 14699 996147200 134512640 134550740 4294955808 18446744073709551615 3026506 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2645] ppid=2641 vsize=655876 CPUtime=0.05 /proc/2642/task/2645/stat : 2645 (java) S 2641 2623 629 0 -1 64 1511 0 0 0 5 0 0 0 16 0 9 0 2003263418 671617024 14699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2646] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2646/stat : 2646 (java) S 2641 2623 629 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003263418 671617024 14699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2647] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2647/stat : 2647 (java) S 2641 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003263418 671617024 14699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2648] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2648/stat : 2648 (java) S 2641 2623 629 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003263420 671617024 14699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2649] ppid=2641 vsize=655876 CPUtime=0.25 /proc/2642/task/2649/stat : 2649 (java) S 2641 2623 629 0 -1 64 690 0 0 0 24 1 0 0 15 0 9 0 2003263420 671617024 14699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2650] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2650/stat : 2650 (java) S 2641 2623 629 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003263420 671617024 14699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2651] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2651/stat : 2651 (java) S 2641 2623 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003263420 671617024 14699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2643] ppid=2641 vsize=7044 CPUtime=0 /proc/2643/stat : 2643 (translate) S 2641 2623 629 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003263416 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/2643/statm: 1761 213 182 1 0 41 0 [pid=2631/tid=2632] ppid=2623 vsize=197436 CPUtime=4.93 /proc/2631/task/2632/stat : 2632 (java) S 2623 2623 629 0 -1 64 3865 0 1 0 485 8 0 0 24 0 10 0 2003262790 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2631/tid=2633] ppid=2623 vsize=197436 CPUtime=0.89 /proc/2631/task/2633/stat : 2633 (java) S 2623 2623 629 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2634] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2634/stat : 2634 (java) S 2623 2623 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2635] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2635/stat : 2635 (java) S 2623 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2636] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2636/stat : 2636 (java) S 2623 2623 629 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2637] ppid=2623 vsize=197436 CPUtime=0.23 /proc/2631/task/2637/stat : 2637 (java) S 2623 2623 629 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2638] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2638/stat : 2638 (java) S 2623 2623 629 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2639] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2639/stat : 2639 (java) S 2623 2623 629 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2640] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2640/stat : 2640 (java) S 2623 2623 629 0 -1 64 68 0 0 0 0 0 0 0 24 0 10 0 2003263414 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 17.06 Current children cumulated vsize (KiB) 871072 [startup+17.9073 s] /proc/loadavg: 2.38 2.22 2.12 3/103 2651 /proc/meminfo: memFree=1749176/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=1.58 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 375 2053 0 6 0 0 157 1 19 0 1 0 2003262624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 238 196 169 0 51 0 [pid=2631] ppid=2623 vsize=197436 CPUtime=6.08 /proc/2631/stat : 2631 (java) S 2623 2623 629 0 -1 0 11455 0 1 0 589 19 0 0 18 0 10 0 2003262789 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2631/statm: 49359 9407 2544 9 0 43941 0 [pid=2641] ppid=2631 vsize=5356 CPUtime=0 /proc/2641/stat : 2641 (abscon) S 2631 2623 629 0 -1 4194304 300 0 1 0 0 0 0 0 24 0 1 0 2003263414 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2641/statm: 1339 235 194 169 0 50 0 [pid=2642] ppid=2641 vsize=655876 CPUtime=9.79 /proc/2642/stat : 2642 (java) S 2641 2623 629 0 -1 0 17844 0 7 0 962 17 0 0 18 0 9 0 2003263416 671617024 17162 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2642/statm: 163969 17162 2614 9 0 158497 0 [pid=2642/tid=2644] ppid=2641 vsize=655876 CPUtime=9.33 /proc/2642/task/2644/stat : 2644 (java) R 2641 2623 629 0 -1 64 12495 0 7 0 920 13 0 0 25 0 9 0 2003263417 671617024 17162 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2645] ppid=2641 vsize=655876 CPUtime=0.15 /proc/2642/task/2645/stat : 2645 (java) S 2641 2623 629 0 -1 64 4102 0 0 0 14 1 0 0 16 0 9 0 2003263418 671617024 17162 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2646] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2646/stat : 2646 (java) S 2641 2623 629 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003263418 671617024 17162 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2647] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2647/stat : 2647 (java) S 2641 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003263418 671617024 17162 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2648] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2648/stat : 2648 (java) S 2641 2623 629 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003263420 671617024 17162 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2649] ppid=2641 vsize=655876 CPUtime=0.27 /proc/2642/task/2649/stat : 2649 (java) R 2641 2623 629 0 -1 64 702 0 0 0 26 1 0 0 15 0 9 0 2003263420 671617024 17162 996147200 134512640 134550740 4294955808 18446744073709551615 102384288 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2650] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2650/stat : 2650 (java) S 2641 2623 629 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003263420 671617024 17162 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2642/tid=2651] ppid=2641 vsize=655876 CPUtime=0 /proc/2642/task/2651/stat : 2651 (java) S 2641 2623 629 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003263420 671617024 17162 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2643] ppid=2641 vsize=7044 CPUtime=0 /proc/2643/stat : 2643 (translate) S 2641 2623 629 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003263416 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/2643/statm: 1761 213 182 1 0 41 0 [pid=2631/tid=2632] ppid=2623 vsize=197436 CPUtime=4.93 /proc/2631/task/2632/stat : 2632 (java) S 2623 2623 629 0 -1 64 3865 0 1 0 485 8 0 0 24 0 10 0 2003262790 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2631/tid=2633] ppid=2623 vsize=197436 CPUtime=0.89 /proc/2631/task/2633/stat : 2633 (java) S 2623 2623 629 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2634] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2634/stat : 2634 (java) S 2623 2623 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2635] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2635/stat : 2635 (java) S 2623 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2636] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2636/stat : 2636 (java) S 2623 2623 629 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2637] ppid=2623 vsize=197436 CPUtime=0.23 /proc/2631/task/2637/stat : 2637 (java) S 2623 2623 629 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2638] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2638/stat : 2638 (java) S 2623 2623 629 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2639] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2639/stat : 2639 (java) S 2623 2623 629 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2640] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2640/stat : 2640 (java) S 2623 2623 629 0 -1 64 68 0 0 0 0 0 0 0 24 0 10 0 2003263414 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 17.45 Current children cumulated vsize (KiB) 871072 [startup+18.1026 s] /proc/loadavg: 2.38 2.22 2.12 3/103 2651 /proc/meminfo: memFree=1749176/2055920 swapFree=4180448/4192956 [pid=2623] ppid=2621 vsize=5360 CPUtime=1.58 /proc/2623/stat : 2623 (hydra) S 2621 2623 629 0 -1 4194304 375 2053 0 6 0 0 157 1 19 0 1 0 2003262624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2623/statm: 1340 238 196 169 0 51 0 [pid=2631] ppid=2623 vsize=197436 CPUtime=6.08 /proc/2631/stat : 2631 (java) S 2623 2623 629 0 -1 0 11457 0 1 0 589 19 0 0 18 0 10 0 2003262789 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2631/statm: 49359 9407 2544 9 0 43941 0 [pid=2641] ppid=2631 vsize=5356 CPUtime=0 /proc/2641/stat : 2641 (abscon) S 2631 2623 629 0 -1 4194304 300 288 1 0 0 0 0 0 16 0 1 0 2003263414 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2641/statm: 1339 235 194 169 0 50 0 [pid=2642] ppid=2641 vsize=0 CPUtime=9.95 /proc/2642/stat : 2642 (java) Z 2641 2623 629 0 -1 12 17904 0 7 0 977 18 0 0 16 0 2 0 2003263416 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2642/statm: 0 0 0 0 0 0 0 [pid=2631/tid=2632] ppid=2623 vsize=197436 CPUtime=4.93 /proc/2631/task/2632/stat : 2632 (java) S 2623 2623 629 0 -1 64 3867 0 1 0 485 8 0 0 16 0 10 0 2003262790 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2631/tid=2633] ppid=2623 vsize=197436 CPUtime=0.89 /proc/2631/task/2633/stat : 2633 (java) S 2623 2623 629 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2634] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2634/stat : 2634 (java) S 2623 2623 629 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2635] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2635/stat : 2635 (java) S 2623 2623 629 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003262791 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2636] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2636/stat : 2636 (java) S 2623 2623 629 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2637] ppid=2623 vsize=197436 CPUtime=0.23 /proc/2631/task/2637/stat : 2637 (java) S 2623 2623 629 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 2003262793 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2638] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2638/stat : 2638 (java) S 2623 2623 629 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2639] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2639/stat : 2639 (java) S 2623 2623 629 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2003262794 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2631/tid=2640] ppid=2623 vsize=197436 CPUtime=0 /proc/2631/task/2640/stat : 2640 (java) S 2623 2623 629 0 -1 64 68 0 0 0 0 0 0 0 24 0 10 0 2003263414 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 17.61 Current children cumulated vsize (KiB) 208152 Child status: 0 Real time (s): 18.1303 CPU time (s): 17.6583 CPU user time (s): 17.2394 CPU system time (s): 0.418936 CPU usage (%): 97.3965 Max. virtual memory (cumulated for all children) (KiB): 871072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.2394 system time used= 0.418936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32517 page faults= 15 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10980 involuntary context switches= 16028 runsolver used 0.079987 second user time and 0.223965 second system time The end
Begin job on node24 at 2008-07-05 09:28:00 IDJOB=1087171 IDBENCH=57944 IDSOLVER=366 FILE ID=node24/1087171-1215242880 PBS_JOBID= 7881902 Free space on /tmp= 66460 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp01/normalized-fapp01-0200-2.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087171-1215242880/watcher-1087171-1215242880 -o /tmp/evaluation-result-1087171-1215242880/solver-1087171-1215242880 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087171-1215242880.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 8958f22ef51eff112eba2674fcf8e386 RANDOM SEED=2098203757 node24.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.232 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.232 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: 1832520 kB Buffers: 3432 kB Cached: 85828 kB SwapCached: 5532 kB Active: 136884 kB Inactive: 33540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832520 kB SwapTotal: 4192956 kB SwapFree: 4180448 kB Dirty: 24960 kB Writeback: 0 kB Mapped: 98456 kB Slab: 37984 kB Committed_AS: 3710068 kB PageTables: 2032 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= 66436 MiB End job on node24 at 2008-07-05 09:28:19