Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 61.7496 | 62.6659 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 1848430 |
Name | csp/fapp/fapp11/ normalized-fapp11-1000-1.xml |
MD5SUM | bcc19e6f7720c8259d2ed7a295277868 |
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 | 27.3098 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1000 |
Number of constraints | 15032 |
Maximum constraint arity | 2 |
Maximum domain size | 362 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 15032 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 34.87/35.67 c CASE TO CLASSIFY: 34.87/35.67 c Case: 0 34.87/35.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 13.948500 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 34.87/35.68 c choco : 1801.0 34.87/35.68 c mistral : 1801.0 34.87/35.68 c abscon : 1801.0 34.87/35.68 c 34.87/35.68 c 34.96/35.76 c List of same ones: 40 34.96/35.76 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml 34.96/35.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.630300 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 34.96/35.76 c choco : 1801.0 34.96/35.76 c mistral : 228.6 34.96/35.76 c abscon : 55.2496 34.96/35.76 c 34.96/35.76 c 34.96/35.76 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml 34.96/35.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.433600 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 34.96/35.77 c choco : 1801.0 34.96/35.77 c mistral : 1800.03 34.96/35.77 c abscon : 129.181 34.96/35.77 c 34.96/35.77 c 34.96/35.77 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml 34.96/35.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.879600 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | 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 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c 34.96/35.78 c choco : 1801.0 34.96/35.78 c mistral : 1800.05 34.96/35.78 c abscon : 156.38 34.96/35.78 c 34.96/35.78 c 34.96/35.78 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml 34.96/35.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.260900 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 34.96/35.79 c choco : 1801.0 34.96/35.79 c mistral : 1800.02 34.96/35.79 c abscon : 85.215 34.96/35.79 c 34.96/35.79 c 34.96/35.79 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml 34.96/35.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.177400 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.80 c choco : 1801.0 35.05/35.80 c mistral : 1800.1 35.05/35.80 c abscon : 11.7712 35.05/35.80 c 35.05/35.80 c 35.05/35.80 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml 35.05/35.80 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.689100 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | 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 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.81 c choco : 1801.0 35.05/35.81 c mistral : 1800.06 35.05/35.81 c abscon : 441.864 35.05/35.81 c 35.05/35.81 c 35.05/35.81 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml 35.05/35.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.049800 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.82 c choco : 1801.0 35.05/35.82 c mistral : 80.98 35.05/35.82 c abscon : 8.12576 35.05/35.82 c 35.05/35.82 c 35.05/35.82 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml 35.05/35.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.563200 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | 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 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.83 c choco : 1801.0 35.05/35.83 c mistral : 1800.07 35.05/35.83 c abscon : 349.37 35.05/35.83 c 35.05/35.83 c 35.05/35.83 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-5.xml 35.05/35.83 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.911390 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.84 c choco : 1801.0 35.05/35.84 c mistral : 108.251 35.05/35.84 c abscon : 8.62069 35.05/35.84 c 35.05/35.84 c 35.05/35.84 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-4.xml 35.05/35.84 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.879580 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.85 c choco : 1801.0 35.05/35.85 c mistral : 233.323 35.05/35.85 c abscon : 8.47971 35.05/35.85 c 35.05/35.85 c 35.05/35.85 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-3.xml 35.05/35.85 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.848620 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.86 c choco : 1801.0 35.05/35.86 c mistral : 158.535 35.05/35.86 c abscon : 8.39572 35.05/35.86 c 35.05/35.86 c 35.05/35.86 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-2.xml 35.05/35.86 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.807350 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.87 c choco : 1801.0 35.05/35.87 c mistral : 1800.05 35.05/35.87 c abscon : 8.65568 35.05/35.87 c 35.05/35.87 c 35.05/35.87 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-1.xml 35.05/35.87 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.800900 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.88 c choco : 1801.0 35.05/35.88 c mistral : 79.088 35.05/35.88 c abscon : 8.44271 35.05/35.88 c 35.05/35.88 c 35.05/35.88 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml 35.05/35.88 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.695200 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.05/35.89 c choco : 1801.0 35.05/35.89 c mistral : 1800.04 35.05/35.89 c abscon : 331.113 35.05/35.89 c 35.05/35.89 c 35.05/35.89 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml 35.05/35.89 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 11.340400 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.90 c choco : 1801.0 35.12/35.90 c mistral : 81.4206 35.12/35.90 c abscon : 52.605 35.12/35.90 c 35.12/35.90 c 35.12/35.90 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml 35.12/35.90 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.047100 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | 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 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.91 c choco : 1801.0 35.12/35.91 c mistral : 1800.03 35.12/35.91 c abscon : 20.0829 35.12/35.91 c 35.12/35.91 c 35.12/35.91 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml 35.12/35.91 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.502800 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.91 c choco : 1801.0 35.12/35.91 c mistral : 1800.09 35.12/35.91 c abscon : 506.936 35.12/35.91 c 35.12/35.91 c 35.12/35.91 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-0.xml 35.12/35.91 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.385860 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.92 c choco : 1801.0 35.12/35.92 c mistral : 60.79 35.12/35.92 c abscon : 7.75582 35.12/35.92 c 35.12/35.92 c 35.12/35.92 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml 35.12/35.92 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.872700 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.93 c choco : 1801.0 35.12/35.93 c mistral : 866.057 35.12/35.93 c abscon : 36.8914 35.12/35.93 c 35.12/35.93 c 35.12/35.93 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml 35.12/35.93 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.871900 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.94 c choco : 1801.0 35.12/35.94 c mistral : 1800.02 35.12/35.94 c abscon : 55.4456 35.12/35.94 c 35.12/35.94 c 35.12/35.94 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-0.xml 35.12/35.94 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 9.684750 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | 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 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.94 c choco : 1801.0 35.12/35.94 c mistral : 71.15 35.12/35.94 c abscon : 8.93264 35.12/35.94 c 35.12/35.94 c 35.12/35.94 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml 35.12/35.94 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.760700 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.95 c choco : 1801.0 35.12/35.95 c mistral : 22.7995 35.12/35.95 c abscon : 8.06777 35.12/35.95 c 35.12/35.95 c 35.12/35.95 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml 35.12/35.95 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.687400 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.95 c choco : 1801.0 35.12/35.95 c mistral : 19.3181 35.12/35.95 c abscon : 8.28274 35.12/35.95 c 35.12/35.95 c 35.12/35.95 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml 35.12/35.95 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.001400 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.96 c choco : 1801.0 35.12/35.96 c mistral : 1800.08 35.12/35.96 c abscon : 15.1547 35.12/35.96 c 35.12/35.96 c 35.12/35.96 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml 35.12/35.96 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.582100 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.12/35.97 c choco : 1801.0 35.12/35.97 c mistral : 28.7696 35.12/35.97 c abscon : 7.97079 35.12/35.97 c 35.12/35.97 c 35.12/35.97 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml 35.12/35.97 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 9.977280 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.28/36.16 c choco : 1801.0 35.28/36.16 c mistral : 1800.08 35.28/36.16 c abscon : 12.863 35.28/36.16 c 35.28/36.16 c 35.28/36.16 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-3.xml 35.28/36.16 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.474700 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.28/36.16 c choco : 1801.0 35.28/36.16 c mistral : 48.0167 35.28/36.16 c abscon : 8.41372 35.28/36.16 c 35.28/36.16 c 35.28/36.16 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-5.xml 35.28/36.16 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.468600 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.28/36.17 c choco : 1801.0 35.28/36.17 c mistral : 19.2201 35.28/36.17 c abscon : 8.30374 35.28/36.17 c 35.28/36.17 c 35.28/36.17 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-2.xml 35.28/36.17 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.460500 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.28/36.17 c choco : 1801.0 35.28/36.17 c mistral : 46.72 35.28/36.17 c abscon : 8.16376 35.28/36.17 c 35.28/36.17 c 35.28/36.17 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-1.xml 35.28/36.17 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.411500 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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 > 14.164200 | 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 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.28/36.18 c choco : 1801.0 35.28/36.18 c mistral : 46.277 35.28/36.18 c abscon : 8.15676 35.28/36.18 c 35.28/36.18 c 35.28/36.18 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml 35.28/36.18 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.592460 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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 > 14.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.28/36.19 c choco : 1801.0 35.28/36.19 c mistral : 155.051 35.28/36.19 c abscon : 7.09492 35.28/36.19 c 35.28/36.19 c 35.28/36.19 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml 35.28/36.19 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.575540 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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 > 14.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.28/36.19 c choco : 1801.0 35.28/36.19 c mistral : 71.9411 35.28/36.19 c abscon : 6.95394 35.28/36.19 c 35.28/36.19 c 35.28/36.19 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml 35.28/36.19 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.543030 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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 > 14.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.37/36.20 c choco : 1801.0 35.37/36.20 c mistral : 1800.03 35.37/36.20 c abscon : 11.3953 35.37/36.20 c 35.37/36.20 c 35.37/36.20 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml 35.37/36.20 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.533330 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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 > 14.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.37/36.20 c choco : 1801.0 35.37/36.20 c mistral : 152.693 35.37/36.20 c abscon : 6.91295 35.37/36.20 c 35.37/36.20 c 35.37/36.20 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml 35.37/36.20 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.525520 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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 > 14.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.37/36.21 c choco : 1801.0 35.37/36.21 c mistral : 145.44 35.37/36.21 c abscon : 7.14491 35.37/36.21 c 35.37/36.21 c 35.37/36.21 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml 35.37/36.21 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 9.658210 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.37/36.22 c choco : 1801.0 35.37/36.22 c mistral : 1800.05 35.37/36.22 c abscon : 13.29 35.37/36.22 c 35.37/36.22 c 35.37/36.22 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml 35.37/36.22 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.511750 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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 > 14.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.37/36.22 c choco : 1801.0 35.37/36.22 c mistral : 73.3329 35.37/36.22 c abscon : 6.84696 35.37/36.22 c 35.37/36.22 c 35.37/36.22 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml 35.37/36.22 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.485830 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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 > 14.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.37/36.23 c choco : 1801.0 35.37/36.23 c mistral : 1800.04 35.37/36.23 c abscon : 11.0943 35.37/36.23 c 35.37/36.23 c 35.37/36.23 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-0.xml 35.37/36.23 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.428360 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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 > 14.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.37/36.24 c choco : 1801.0 35.37/36.24 c mistral : 72.111 35.37/36.24 c abscon : 6.68698 35.37/36.24 c 35.37/36.24 c 35.37/36.24 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-7.xml 35.37/36.24 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.405140 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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 > 14.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c 35.37/36.25 c choco : 1801.0 35.37/36.25 c mistral : 113.54 35.37/36.25 c abscon : 11.2793 35.37/36.25 c 35.37/36.25 c 35.37/36.25 c Length: 40 35.37/36.25 c 3.318199999999999 3.514899999999999 3.6397547849052954 3.6875999999999998 3.771099999999999 3.801756968066343 3.8987 3.910233212257421 4.037109999999998 4.0689199999999985 4.099879999999999 4.14115 4.147599999999999 4.295577405777829 4.353034305545499 4.3646981160489196 4.443070205277987 4.56264 4.648361829209941 4.648891224287356 4.69139976411529 4.723218277324899 4.77299646608459 4.842274544986992 4.845551672952832 4.861955640216082 4.920773160312918 4.925081325750468 4.93080785016573 4.96559070557129 5.06330683726801 5.077870696298301 5.1058943944841815 5.114266103325578 5.121010029976995 5.125876768234774 5.132907773302088 5.155328813531198 5.20515679555621 5.225333648325721 35.37/36.25 c 35.37/36.25 c 1.0 0.9065040146322698 0.8557201715095163 0.8377357610015227 0.8080959564617647 0.7977333558969214 0.7666457034818207 0.7631077693950857 0.7262383660460662 0.717546524627906 0.7092844271722815 0.6985623497270163 0.6969158407727064 0.6611635776581972 0.64825099329046 0.6456910679688298 0.6290010634580773 0.6051369446304671 0.5891132463995825 0.5890169244350064 0.581384087694475 0.5757989642794221 0.5672734362178246 0.5558198572860277 0.5552895033529374 0.5526499081434146 0.543388309140691 0.5427221176902053 0.5418391234535581 0.5365369479702201 0.5221818376551086 0.5201078293478651 0.5161630328201562 0.514996159058206 0.514060000285025 0.5133865351038605 0.5124166863325426 0.5093482809375235 0.5026589841581197 0.5 35.37/36.26 c 35.37/36.26 c solver 0 35.37/36.26 c before 0.0 seconds: {} 0 35.37/36.26 c before 18.0 seconds: {4, 6, 8, 9, 10, 11, 12, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16406 35.37/36.26 c before 36.0 seconds: {4, 6, 8, 9, 10, 11, 12, 15, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17052 35.37/36.26 c before 54.0 seconds: {4, 6, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18289 35.37/36.26 c before 72.0 seconds: {0, 4, 6, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19878 35.37/36.26 c before 90.0 seconds: {0, 3, 4, 6, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20716 35.37/36.26 c before 144.0 seconds: {0, 1, 3, 4, 6, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21622 35.37/36.26 c before 162.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22478 35.37/36.26 c before 342.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23139 35.37/36.27 c before 360.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23902 35.37/36.27 c before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24700 35.37/36.27 c before 522.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} 25329 35.37/36.27 c 35.37/36.27 c solver 1 35.37/36.27 c before 0.0 seconds: {} 0 35.37/36.27 c before 36.0 seconds: {21, 22, 24, 27} 2241 35.37/36.27 c before 54.0 seconds: {21, 22, 24, 26, 27, 28, 29} 3862 35.37/36.27 c before 72.0 seconds: {17, 20, 21, 22, 24, 26, 27, 28, 29, 31} 5569 35.37/36.27 c before 90.0 seconds: {6, 12, 14, 17, 20, 21, 22, 24, 26, 27, 28, 29, 31, 36, 38} 8696 35.37/36.27 c before 126.0 seconds: {6, 8, 12, 14, 17, 20, 21, 22, 24, 26, 27, 28, 29, 31, 36, 38, 39} 9922 35.37/36.27 c before 162.0 seconds: {6, 8, 10, 12, 14, 17, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 36, 38, 39} 12183 35.37/36.27 c before 234.0 seconds: {0, 6, 8, 9, 10, 12, 14, 17, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 36, 38, 39} 13900 35.37/36.27 c before 882.0 seconds: {0, 6, 8, 9, 10, 12, 14, 17, 18, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 36, 38, 39} 14489 35.37/36.27 c 35.37/36.27 c solver 2 35.37/36.27 c before 0.0 seconds: {} 0 35.37/36.27 c 35.37/36.27 cTotal time: 78 35.37/36.27 c 1404.0 seconds unused 35.37/36.27 c 0 c 16 c 40 35.37/36.27 c 0 c 0 c 24 35.37/36.27 c 0 c 0 c 0 35.37/36.27 c is solver0 dominated by: 35.37/36.27 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) 35.37/36.27 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: false) (0 is equally as fast as 2: false) (0 < 2: false) 35.37/36.27 c is dominated? false 35.37/36.27 c 35.37/36.27 c is solver1 dominated by: 35.37/36.27 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) 35.37/36.27 c is dominated? true 35.37/36.27 c 35.37/36.27 c is solver2 dominated by: 35.37/36.27 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: true) (2 is equally as fast as 0: false) (2 < 0: true) 35.37/36.27 c is dominated? true 35.37/36.27 c 35.37/36.27 c Number of non-dominated solvers: 1 35.37/36.27 c remove dominated solvers 35.37/36.27 c solver 0 is not dominated by another solver 35.37/36.27 c solver 2 is dominated by another solver 35.37/36.27 c solver 1 is dominated by another solver 35.37/36.27 c 35.37/36.27 c solver 0: 522.0 35.37/36.27 c 35.37/36.27 c+ 29/29 of 71 35.37/36.27 c 35.37/36.27 c solver 1: 0.0 35.37/36.27 c 35.37/36.27 c solver 2: 0.0 35.37/36.27 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} 25329 35.37/36.27 c do not run mistral 35.37/36.27 c do not run choco 35.37/36.27 c Starting solver: HOME/cpHydra_k_40/solver/abscon 35.37/36.27 c On Instance: HOME/instance-1086331-1215238848.xml 35.37/36.27 c Running for: 1800 seconds 61.69/62.62 s UNSATISFIABLE 61.69/62.62 d ASSIGNMENTS 0 61.69/62.62 d CHECKS 1848433
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-1086331-1215238848/watcher-1086331-1215238848 -o /tmp/evaluation-result-1086331-1215238848/solver-1086331-1215238848 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1086331-1215238848.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 1.98 1.99 4/93 32312 /proc/meminfo: memFree=1497736/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5260 CPUtime=0 /proc/32312/stat : 32312 (hydra) R 32310 32312 31347 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 2002858072 5386240 43 996147200 4194304 4889804 548682068816 18446744073709551615 213113698393 0 0 4096 0 0 0 0 17 1 0 0 /proc/32312/statm: 1315 43 29 169 0 14 0 [startup+0.160575 s] /proc/loadavg: 1.92 1.98 1.99 4/93 32312 /proc/meminfo: memFree=1497736/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=0 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002858072 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.20255 s] /proc/loadavg: 1.92 1.98 1.99 4/93 32312 /proc/meminfo: memFree=1497736/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=0 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002858072 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302562 s] /proc/loadavg: 1.92 1.98 1.99 4/93 32312 /proc/meminfo: memFree=1497736/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=0 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002858072 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702611 s] /proc/loadavg: 1.92 1.98 1.99 4/93 32312 /proc/meminfo: memFree=1497736/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=0 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002858072 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50169 s] /proc/loadavg: 1.92 1.98 1.99 3/95 32316 /proc/meminfo: memFree=1470392/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=0 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002858072 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 236 195 169 0 51 0 [pid=32316] ppid=32312 vsize=44152 CPUtime=1.45 /proc/32316/stat : 32316 (xsolve) R 32312 32312 31347 0 -1 4194304 7260 0 0 0 142 3 0 0 25 0 1 0 2002858073 45211648 7153 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0 /proc/32316/statm: 11038 7153 417 177 0 9941 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 49512 [startup+3.10186 s] /proc/loadavg: 1.92 1.98 1.99 3/95 32316 /proc/meminfo: memFree=1470264/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=0 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002858072 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 236 195 169 0 51 0 [pid=32316] ppid=32312 vsize=44152 CPUtime=3.03 /proc/32316/stat : 32316 (xsolve) R 32312 32312 31347 0 -1 4194304 7260 0 0 0 300 3 0 0 25 0 1 0 2002858073 45211648 7153 996147200 134512640 135239763 4294956176 18446744073709551615 135096904 0 0 4096 0 0 0 0 17 1 0 0 /proc/32316/statm: 11038 7153 417 177 0 9941 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 49512 [startup+6.30121 s] /proc/loadavg: 2.01 2.00 2.00 3/95 32316 /proc/meminfo: memFree=1470200/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=0 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002858072 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 236 195 169 0 51 0 [pid=32316] ppid=32312 vsize=44152 CPUtime=6.15 /proc/32316/stat : 32316 (xsolve) R 32312 32312 31347 0 -1 4194304 7260 0 0 0 611 4 0 0 25 0 1 0 2002858073 45211648 7153 996147200 134512640 135239763 4294956176 18446744073709551615 134535736 0 0 4096 0 0 0 0 17 1 0 0 /proc/32316/statm: 11038 7153 417 177 0 9941 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 49512 [startup+12.7019 s] /proc/loadavg: 2.01 2.00 2.00 3/95 32316 /proc/meminfo: memFree=1470200/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=0 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002858072 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 236 195 169 0 51 0 [pid=32316] ppid=32312 vsize=44152 CPUtime=12.43 /proc/32316/stat : 32316 (xsolve) R 32312 32312 31347 0 -1 4194304 7260 0 0 0 1239 4 0 0 25 0 1 0 2002858073 45211648 7153 996147200 134512640 135239763 4294956176 18446744073709551615 134541296 0 0 4096 0 0 0 0 17 1 0 0 /proc/32316/statm: 11038 7153 417 177 0 9941 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 49512 [startup+25.5023 s] /proc/loadavg: 2.00 2.00 2.00 3/95 32316 /proc/meminfo: memFree=1470264/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=0 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002858072 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 236 195 169 0 51 0 [pid=32316] ppid=32312 vsize=44152 CPUtime=24.99 /proc/32316/stat : 32316 (xsolve) R 32312 32312 31347 0 -1 4194304 7260 0 0 0 2495 4 0 0 25 0 1 0 2002858073 45211648 7153 996147200 134512640 135239763 4294956176 18446744073709551615 134535394 0 0 4096 0 0 0 0 17 1 0 0 /proc/32316/statm: 11038 7153 417 177 0 9941 0 Current children cumulated CPU time (s) 24.99 Current children cumulated vsize (KiB) 49512 [startup+51.1031 s] /proc/loadavg: 2.00 2.00 2.00 3/115 32340 /proc/meminfo: memFree=1404760/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=29.19 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 375 7862 0 0 0 0 2914 5 18 0 1 0 2002858072 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 238 196 169 0 51 0 [pid=32320] ppid=32312 vsize=197436 CPUtime=6.23 /proc/32320/stat : 32320 (java) S 32312 32312 31347 0 -1 0 13872 0 1 0 605 18 0 0 18 0 10 0 2002861051 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32320/statm: 49359 9435 2544 9 0 43941 0 [pid=32330] ppid=32320 vsize=5356 CPUtime=0 /proc/32330/stat : 32330 (abscon) S 32320 32312 31347 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002861700 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32330/statm: 1339 235 194 169 0 50 0 [pid=32331] ppid=32330 vsize=655884 CPUtime=14.8 /proc/32331/stat : 32331 (java) S 32330 32312 31347 0 -1 0 21043 0 1 0 1469 11 0 0 18 0 9 0 2002861701 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32331/statm: 163971 20543 2008 9 0 158499 0 [pid=32331/tid=32333] ppid=32330 vsize=655884 CPUtime=14.31 /proc/32331/task/32333/stat : 32333 (java) R 32330 32312 31347 0 -1 64 12463 0 1 0 1424 7 0 0 25 0 9 0 2002861701 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4126885756 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32334] ppid=32330 vsize=655884 CPUtime=0.23 /proc/32331/task/32334/stat : 32334 (java) S 32330 32312 31347 0 -1 64 7353 0 0 0 22 1 0 0 17 0 9 0 2002861702 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32335] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32335/stat : 32335 (java) S 32330 32312 31347 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002861703 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32336] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32336/stat : 32336 (java) S 32330 32312 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002861703 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32337] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32337/stat : 32337 (java) S 32330 32312 31347 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002861705 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32338] ppid=32330 vsize=655884 CPUtime=0.22 /proc/32331/task/32338/stat : 32338 (java) S 32330 32312 31347 0 -1 64 682 0 0 0 22 0 0 0 16 0 9 0 2002861705 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32339] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32339/stat : 32339 (java) S 32330 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002861705 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32340] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32340/stat : 32340 (java) S 32330 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002861705 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32332] ppid=32330 vsize=7044 CPUtime=0 /proc/32332/stat : 32332 (translate) S 32330 32312 31347 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002861701 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/32332/statm: 1761 213 182 1 0 41 0 [pid=32320/tid=32321] ppid=32312 vsize=197436 CPUtime=4.87 /proc/32320/task/32321/stat : 32321 (java) S 32312 32312 31347 0 -1 64 3859 0 1 0 481 6 0 0 25 0 10 0 2002861052 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32320/tid=32322] ppid=32312 vsize=197436 CPUtime=1.1 /proc/32320/task/32322/stat : 32322 (java) S 32312 32312 31347 0 -1 64 8519 0 0 0 99 11 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32323] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32323/stat : 32323 (java) S 32312 32312 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32324] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32324/stat : 32324 (java) S 32312 32312 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32325] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32325/stat : 32325 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32326] ppid=32312 vsize=197436 CPUtime=0.24 /proc/32320/task/32326/stat : 32326 (java) S 32312 32312 31347 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32327] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32327/stat : 32327 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32328] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32328/stat : 32328 (java) S 32312 32312 31347 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32329] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32329/stat : 32329 (java) S 32312 32312 31347 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2002861700 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.22 Current children cumulated vsize (KiB) 871080 Solver just ended. Dumping a history of the last processes samples [startup+51.2031 s] /proc/loadavg: 2.00 2.00 2.00 3/115 32340 /proc/meminfo: memFree=1404760/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=29.19 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 375 7862 0 0 0 0 2914 5 18 0 1 0 2002858072 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 238 196 169 0 51 0 [pid=32320] ppid=32312 vsize=197436 CPUtime=6.23 /proc/32320/stat : 32320 (java) S 32312 32312 31347 0 -1 0 13872 0 1 0 605 18 0 0 18 0 10 0 2002861051 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32320/statm: 49359 9435 2544 9 0 43941 0 [pid=32330] ppid=32320 vsize=5356 CPUtime=0 /proc/32330/stat : 32330 (abscon) S 32320 32312 31347 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002861700 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32330/statm: 1339 235 194 169 0 50 0 [pid=32331] ppid=32330 vsize=655884 CPUtime=14.9 /proc/32331/stat : 32331 (java) S 32330 32312 31347 0 -1 0 21043 0 1 0 1479 11 0 0 18 0 9 0 2002861701 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32331/statm: 163971 20543 2008 9 0 158499 0 [pid=32331/tid=32333] ppid=32330 vsize=655884 CPUtime=14.41 /proc/32331/task/32333/stat : 32333 (java) R 32330 32312 31347 0 -1 64 12463 0 1 0 1434 7 0 0 25 0 9 0 2002861701 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4126888183 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32334] ppid=32330 vsize=655884 CPUtime=0.23 /proc/32331/task/32334/stat : 32334 (java) S 32330 32312 31347 0 -1 64 7353 0 0 0 22 1 0 0 17 0 9 0 2002861702 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32335] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32335/stat : 32335 (java) S 32330 32312 31347 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002861703 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32336] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32336/stat : 32336 (java) S 32330 32312 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002861703 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32337] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32337/stat : 32337 (java) S 32330 32312 31347 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002861705 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32338] ppid=32330 vsize=655884 CPUtime=0.22 /proc/32331/task/32338/stat : 32338 (java) S 32330 32312 31347 0 -1 64 682 0 0 0 22 0 0 0 16 0 9 0 2002861705 671625216 20543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/32331/task/32340/stat : 32340 (java) S 32330 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002861705 671625216 24800 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32332] ppid=32330 vsize=7044 CPUtime=0 /proc/32332/stat : 32332 (translate) S 32330 32312 31347 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002861701 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/32332/statm: 1761 213 182 1 0 41 0 [pid=32320/tid=32321] ppid=32312 vsize=197436 CPUtime=4.87 /proc/32320/task/32321/stat : 32321 (java) S 32312 32312 31347 0 -1 64 3859 0 1 0 481 6 0 0 25 0 10 0 2002861052 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32320/tid=32322] ppid=32312 vsize=197436 CPUtime=1.1 /proc/32320/task/32322/stat : 32322 (java) S 32312 32312 31347 0 -1 64 8519 0 0 0 99 11 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32323] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32323/stat : 32323 (java) S 32312 32312 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32324] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32324/stat : 32324 (java) S 32312 32312 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32325] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32325/stat : 32325 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32326] ppid=32312 vsize=197436 CPUtime=0.24 /proc/32320/task/32326/stat : 32326 (java) S 32312 32312 31347 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32327] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32327/stat : 32327 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32328] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32328/stat : 32328 (java) S 32312 32312 31347 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32329] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32329/stat : 32329 (java) S 32312 32312 31347 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2002861700 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (KiB) 871080 [startup+61.6022 s] /proc/loadavg: 2.00 2.00 2.00 3/115 32340 /proc/meminfo: memFree=1354200/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=29.19 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 375 7862 0 0 0 0 2914 5 18 0 1 0 2002858072 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 238 196 169 0 51 0 [pid=32320] ppid=32312 vsize=197436 CPUtime=6.23 /proc/32320/stat : 32320 (java) S 32312 32312 31347 0 -1 0 13872 0 1 0 605 18 0 0 18 0 10 0 2002861051 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32320/statm: 49359 9435 2544 9 0 43941 0 [pid=32330] ppid=32320 vsize=5356 CPUtime=0 /proc/32330/stat : 32330 (abscon) S 32320 32312 31347 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002861700 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32330/statm: 1339 235 194 169 0 50 0 [pid=32331] ppid=32330 vsize=655884 CPUtime=25.3 /proc/32331/stat : 32331 (java) S 32330 32312 31347 0 -1 0 31824 0 1 0 2513 17 0 0 18 0 9 0 2002861701 671625216 31107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32331/statm: 163971 31107 2617 9 0 158499 0 [pid=32331/tid=32333] ppid=32330 vsize=655884 CPUtime=24.14 /proc/32331/task/32333/stat : 32333 (java) R 32330 32312 31347 0 -1 64 12567 0 1 0 2405 9 0 0 25 0 9 0 2002861701 671625216 31107 996147200 134512640 134550740 4294955808 18446744073709551615 4126891524 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32334] ppid=32330 vsize=655884 CPUtime=0.82 /proc/32331/task/32334/stat : 32334 (java) S 32330 32312 31347 0 -1 64 17960 0 0 0 76 6 0 0 16 0 9 0 2002861702 671625216 31107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32335] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32335/stat : 32335 (java) S 32330 32312 31347 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002861703 671625216 31107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32336] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32336/stat : 32336 (java) S 32330 32312 31347 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002861703 671625216 31107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32337] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32337/stat : 32337 (java) S 32330 32312 31347 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002861705 671625216 31107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32338] ppid=32330 vsize=655884 CPUtime=0.31 /proc/32331/task/32338/stat : 32338 (java) S 32330 32312 31347 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 2002861705 671625216 31107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32339] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32339/stat : 32339 (java) S 32330 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002861705 671625216 31107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32340] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32340/stat : 32340 (java) S 32330 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002861705 671625216 31107 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32332] ppid=32330 vsize=7044 CPUtime=0 /proc/32332/stat : 32332 (translate) S 32330 32312 31347 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002861701 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/32332/statm: 1761 213 182 1 0 41 0 [pid=32320/tid=32321] ppid=32312 vsize=197436 CPUtime=4.87 /proc/32320/task/32321/stat : 32321 (java) S 32312 32312 31347 0 -1 64 3859 0 1 0 481 6 0 0 25 0 10 0 2002861052 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32320/tid=32322] ppid=32312 vsize=197436 CPUtime=1.1 /proc/32320/task/32322/stat : 32322 (java) S 32312 32312 31347 0 -1 64 8519 0 0 0 99 11 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32323] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32323/stat : 32323 (java) S 32312 32312 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32324] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32324/stat : 32324 (java) S 32312 32312 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32325] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32325/stat : 32325 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32326] ppid=32312 vsize=197436 CPUtime=0.24 /proc/32320/task/32326/stat : 32326 (java) S 32312 32312 31347 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32327] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32327/stat : 32327 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32328] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32328/stat : 32328 (java) S 32312 32312 31347 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32329] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32329/stat : 32329 (java) S 32312 32312 31347 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2002861700 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 60.72 Current children cumulated vsize (KiB) 871080 [startup+62.4023 s] /proc/loadavg: 2.00 2.00 2.00 3/115 32340 /proc/meminfo: memFree=1354200/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=29.19 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 375 7862 0 0 0 0 2914 5 18 0 1 0 2002858072 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 238 196 169 0 51 0 [pid=32320] ppid=32312 vsize=197436 CPUtime=6.23 /proc/32320/stat : 32320 (java) S 32312 32312 31347 0 -1 0 13872 0 1 0 605 18 0 0 18 0 10 0 2002861051 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32320/statm: 49359 9435 2544 9 0 43941 0 [pid=32330] ppid=32320 vsize=5356 CPUtime=0 /proc/32330/stat : 32330 (abscon) S 32320 32312 31347 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002861700 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32330/statm: 1339 235 194 169 0 50 0 [pid=32331] ppid=32330 vsize=655884 CPUtime=26.1 /proc/32331/stat : 32331 (java) S 32330 32312 31347 0 -1 0 31834 0 1 0 2593 17 0 0 18 0 9 0 2002861701 671625216 31117 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32331/statm: 163971 31117 2617 9 0 158499 0 [pid=32331/tid=32333] ppid=32330 vsize=655884 CPUtime=24.92 /proc/32331/task/32333/stat : 32333 (java) R 32330 32312 31347 0 -1 64 12567 0 1 0 2483 9 0 0 25 0 9 0 2002861701 671625216 31117 996147200 134512640 134550740 4294955808 18446744073709551615 4127140525 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32334] ppid=32330 vsize=655884 CPUtime=0.82 /proc/32331/task/32334/stat : 32334 (java) S 32330 32312 31347 0 -1 64 17960 0 0 0 76 6 0 0 16 0 9 0 2002861702 671625216 31117 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32335] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32335/stat : 32335 (java) S 32330 32312 31347 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002861703 671625216 31117 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32336] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32336/stat : 32336 (java) S 32330 32312 31347 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2002861703 671625216 31117 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32337] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32337/stat : 32337 (java) S 32330 32312 31347 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002861705 671625216 31117 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32338] ppid=32330 vsize=655884 CPUtime=0.34 /proc/32331/task/32338/stat : 32338 (java) S 32330 32312 31347 0 -1 64 748 0 0 0 33 1 0 0 16 0 9 0 2002861705 671625216 31117 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32339] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32339/stat : 32339 (java) S 32330 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002861705 671625216 31117 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32331/tid=32340] ppid=32330 vsize=655884 CPUtime=0 /proc/32331/task/32340/stat : 32340 (java) S 32330 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002861705 671625216 31117 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32332] ppid=32330 vsize=7044 CPUtime=0 /proc/32332/stat : 32332 (translate) S 32330 32312 31347 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002861701 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/32332/statm: 1761 213 182 1 0 41 0 [pid=32320/tid=32321] ppid=32312 vsize=197436 CPUtime=4.87 /proc/32320/task/32321/stat : 32321 (java) S 32312 32312 31347 0 -1 64 3859 0 1 0 481 6 0 0 25 0 10 0 2002861052 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32320/tid=32322] ppid=32312 vsize=197436 CPUtime=1.1 /proc/32320/task/32322/stat : 32322 (java) S 32312 32312 31347 0 -1 64 8519 0 0 0 99 11 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32323] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32323/stat : 32323 (java) S 32312 32312 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32324] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32324/stat : 32324 (java) S 32312 32312 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32325] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32325/stat : 32325 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32326] ppid=32312 vsize=197436 CPUtime=0.24 /proc/32320/task/32326/stat : 32326 (java) S 32312 32312 31347 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32327] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32327/stat : 32327 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32328] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32328/stat : 32328 (java) S 32312 32312 31347 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32329] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32329/stat : 32329 (java) S 32312 32312 31347 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2002861700 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 61.52 Current children cumulated vsize (KiB) 871080 [startup+62.6024 s] /proc/loadavg: 2.00 2.00 2.00 3/115 32340 /proc/meminfo: memFree=1354200/2055920 swapFree=4179916/4192956 [pid=32312] ppid=32310 vsize=5360 CPUtime=29.19 /proc/32312/stat : 32312 (hydra) S 32310 32312 31347 0 -1 4194304 375 7862 0 0 0 0 2914 5 18 0 1 0 2002858072 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32312/statm: 1340 238 196 169 0 51 0 [pid=32320] ppid=32312 vsize=197436 CPUtime=6.23 /proc/32320/stat : 32320 (java) S 32312 32312 31347 0 -1 0 13874 0 1 0 605 18 0 0 18 0 10 0 2002861051 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32320/statm: 49359 9435 2544 9 0 43941 0 [pid=32330] ppid=32320 vsize=5356 CPUtime=0 /proc/32330/stat : 32330 (abscon) S 32320 32312 31347 0 -1 4194304 302 288 0 0 0 0 0 0 16 0 1 0 2002861700 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/32330/statm: 1339 235 194 169 0 50 0 [pid=32331] ppid=32330 vsize=0 CPUtime=26.27 /proc/32331/stat : 32331 (java) Z 32330 32312 31347 0 -1 12 31844 0 1 0 2610 17 0 0 16 0 2 0 2002861701 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32331/statm: 0 0 0 0 0 0 0 [pid=32320/tid=32321] ppid=32312 vsize=197436 CPUtime=4.87 /proc/32320/task/32321/stat : 32321 (java) S 32312 32312 31347 0 -1 64 3861 0 1 0 481 6 0 0 16 0 10 0 2002861052 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=32320/tid=32322] ppid=32312 vsize=197436 CPUtime=1.1 /proc/32320/task/32322/stat : 32322 (java) S 32312 32312 31347 0 -1 64 8519 0 0 0 99 11 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32323] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32323/stat : 32323 (java) S 32312 32312 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32324] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32324/stat : 32324 (java) S 32312 32312 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002861053 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32325] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32325/stat : 32325 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32326] ppid=32312 vsize=197436 CPUtime=0.24 /proc/32320/task/32326/stat : 32326 (java) S 32312 32312 31347 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32327] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32327/stat : 32327 (java) S 32312 32312 31347 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32328] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32328/stat : 32328 (java) S 32312 32312 31347 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 2002861056 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32320/tid=32329] ppid=32312 vsize=197436 CPUtime=0 /proc/32320/task/32329/stat : 32329 (java) S 32312 32312 31347 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2002861700 202174464 9435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 61.69 Current children cumulated vsize (KiB) 208152 Child status: 0 Real time (s): 62.6659 CPU time (s): 61.7496 CPU user time (s): 61.2977 CPU system time (s): 0.451931 CPU usage (%): 98.5378 Max. virtual memory (cumulated for all children) (KiB): 871084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 61.2977 system time used= 0.451931 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54682 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= 12076 involuntary context switches= 19033 runsolver used 0.227965 second user time and 0.45793 second system time The end
Begin job on node37 at 2008-07-05 08:20:48 IDJOB=1086331 IDBENCH=57798 IDSOLVER=366 FILE ID=node37/1086331-1215238848 PBS_JOBID= 7881909 Free space on /tmp= 66532 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp11/normalized-fapp11-1000-1.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086331-1215238848/watcher-1086331-1215238848 -o /tmp/evaluation-result-1086331-1215238848/solver-1086331-1215238848 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1086331-1215238848.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= bcc19e6f7720c8259d2ed7a295277868 RANDOM SEED=1908714845 node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1498216 kB Buffers: 42588 kB Cached: 230132 kB SwapCached: 6964 kB Active: 410696 kB Inactive: 85344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1498216 kB SwapTotal: 4192956 kB SwapFree: 4179916 kB Dirty: 26364 kB Writeback: 0 kB Mapped: 239680 kB Slab: 46204 kB Committed_AS: 4205620 kB PageTables: 2428 kB VmallocTotal: 536870911 kB VmallocUsed: 264884 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66508 MiB End job on node37 at 2008-07-05 08:21:51