Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 35.4016 | 36.0909 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 578287 |
Name | csp/fapp/fapp08/ normalized-fapp08-0700-4.xml |
MD5SUM | 40ccc1d0ec371372bfe35ce6b8f3e8ae |
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 | 24.2033 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 7122 |
Maximum constraint arity | 2 |
Maximum domain size | 282 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 7122 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 11.21/11.31 c CASE TO CLASSIFY: 11.21/11.31 c Case: 0 11.21/11.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.409400 | c 15 > 12.818000 | c 34 > 68.023000 | c 16 > 2.000000 | c 13 > 2.489460 | c 14 > -1.000000 | c 11 > 9.451210 | c 12 > 4.346860 | c 21 > 13.836800 | c 20 > 0.000000 | c 22 > 16.792900 | c 23 > 3.698200 | c 24 > 0.859331 | 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.798100 | 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.032100 | c 31 > -1.000000 | c 4 > 9.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.21/11.33 c choco : 1801.0 11.21/11.33 c mistral : 1801.0 11.21/11.33 c abscon : 1801.0 11.21/11.33 c 11.21/11.33 c 11.21/11.40 c List of same ones: 40 11.21/11.40 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml 11.21/11.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.856000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.40 c choco : 1801.0 11.31/11.40 c mistral : 1800.03 11.31/11.40 c abscon : 25.9351 11.31/11.40 c 11.31/11.40 c 11.31/11.40 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml 11.31/11.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.668400 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.41 c choco : 1801.0 11.31/11.41 c mistral : 1800.02 11.31/11.41 c abscon : 17.2824 11.31/11.41 c 11.31/11.41 c 11.31/11.41 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml 11.31/11.41 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.516200 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.42 c choco : 1801.0 11.31/11.42 c mistral : 6.79996 11.31/11.42 c abscon : 6.95294 11.31/11.42 c 11.31/11.42 c 11.31/11.42 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml 11.31/11.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.461000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.43 c choco : 1801.0 11.31/11.43 c mistral : 4.03939 11.31/11.43 c abscon : 7.04993 11.31/11.43 c 11.31/11.43 c 11.31/11.43 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml 11.31/11.43 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.341500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.44 c choco : 1801.0 11.31/11.44 c mistral : 3.81642 11.31/11.44 c abscon : 7.04593 11.31/11.44 c 11.31/11.44 c 11.31/11.44 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml 11.31/11.44 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.258600 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.45 c choco : 1801.0 11.31/11.45 c mistral : 4.28235 11.31/11.45 c abscon : 6.70698 11.31/11.45 c 11.31/11.45 c 11.31/11.45 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml 11.31/11.45 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.174900 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.46 c choco : 1801.0 11.31/11.46 c mistral : 2.73858 11.31/11.46 c abscon : 6.30204 11.31/11.46 c 11.31/11.46 c 11.31/11.46 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml 11.31/11.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.078800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.46 c choco : 1801.0 11.31/11.46 c mistral : 2.6216 11.31/11.46 c abscon : 6.46502 11.31/11.46 c 11.31/11.46 c 11.31/11.46 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml 11.31/11.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.057300 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.47 c choco : 1801.0 11.31/11.47 c mistral : 2.35864 11.31/11.47 c abscon : 6.51701 11.31/11.47 c 11.31/11.47 c 11.31/11.47 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml 11.31/11.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.991500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.31/11.48 c choco : 1801.0 11.31/11.48 c mistral : 2.40163 11.31/11.48 c abscon : 6.25705 11.31/11.48 c 11.31/11.48 c 11.31/11.48 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml 11.31/11.48 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.634800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.48/11.67 c choco : 1801.0 11.48/11.67 c mistral : 9.48556 11.48/11.67 c abscon : 6.47801 11.48/11.67 c 11.48/11.67 c 11.48/11.67 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml 11.48/11.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 12.097700 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.48/11.68 c choco : 1801.0 11.48/11.68 c mistral : 9.13061 11.48/11.68 c abscon : 16.3965 11.48/11.68 c 11.48/11.68 c 11.48/11.68 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 11.48/11.68 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.398200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.48/11.69 c choco : 1801.0 11.48/11.69 c mistral : 1800.04 11.48/11.69 c abscon : 11.0623 11.48/11.69 c 11.48/11.69 c 11.48/11.69 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml 11.48/11.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.772700 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.48/11.70 c choco : 1801.0 11.48/11.70 c mistral : 10.4224 11.58/11.70 c abscon : 16.1016 11.58/11.70 c 11.58/11.70 c 11.58/11.70 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 11.58/11.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 12.038900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.71 c choco : 33.36 11.58/11.71 c mistral : 6.83796 11.58/11.71 c abscon : 10.5184 11.58/11.71 c 11.58/11.71 c 11.58/11.71 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml 11.58/11.71 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.681200 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.72 c choco : 1801.0 11.58/11.72 c mistral : 16.71 11.58/11.72 c abscon : 16.0216 11.58/11.72 c 11.58/11.72 c 11.58/11.72 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 11.58/11.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.193500 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.72 c choco : 1801.0 11.58/11.72 c mistral : 1800.06 11.58/11.72 c abscon : 11.9282 11.58/11.72 c 11.58/11.72 c 11.58/11.72 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 11.58/11.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.868400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.73 c choco : 80.85 11.58/11.73 c mistral : 12.5891 11.58/11.73 c abscon : 10.0495 11.58/11.73 c 11.58/11.73 c 11.58/11.73 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml 11.58/11.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.629800 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.73 c choco : 1801.0 11.58/11.73 c mistral : 19.43 11.58/11.73 c abscon : 19.1291 11.58/11.73 c 11.58/11.73 c 11.58/11.73 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 11.58/11.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.127300 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.74 c choco : 1801.0 11.58/11.74 c mistral : 1800.03 11.58/11.74 c abscon : 12.0042 11.58/11.74 c 11.58/11.74 c 11.58/11.74 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml 11.58/11.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.567500 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.75 c choco : 1801.0 11.58/11.75 c mistral : 36.3755 11.58/11.75 c abscon : 15.7406 11.58/11.75 c 11.58/11.75 c 11.58/11.75 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 11.58/11.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.723700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.75 c choco : 1801.0 11.58/11.75 c mistral : 39.28 11.58/11.75 c abscon : 9.8585 11.58/11.75 c 11.58/11.75 c 11.58/11.75 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 11.58/11.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.670200 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.76 c choco : 115.65 11.58/11.76 c mistral : 1800.08 11.58/11.76 c abscon : 11.0983 11.58/11.76 c 11.58/11.76 c 11.58/11.76 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml 11.58/11.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.466100 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.77 c choco : 1801.0 11.58/11.77 c mistral : 1800.04 11.58/11.77 c abscon : 15.5706 11.58/11.77 c 11.58/11.77 c 11.58/11.77 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 11.58/11.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.033400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.77 c choco : 1801.0 11.58/11.77 c mistral : 1800.01 11.58/11.77 c abscon : 6.594 11.58/11.77 c 11.58/11.77 c 11.58/11.77 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 11.58/11.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.978000 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.78 c choco : 1801.0 11.58/11.78 c mistral : 1800.03 11.58/11.78 c abscon : 5.97909 11.58/11.78 c 11.58/11.78 c 11.58/11.78 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-3.xml 11.58/11.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.323100 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.78 c choco : 1801.0 11.58/11.78 c mistral : 1800.1 11.58/11.78 c abscon : 15.6316 11.58/11.78 c 11.58/11.78 c 11.58/11.78 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 11.58/11.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.494900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.79 c choco : 30.96 11.58/11.79 c mistral : 2.38464 11.58/11.79 c abscon : 5.81212 11.58/11.79 c 11.58/11.79 c 11.58/11.79 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 11.58/11.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.475700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.79 c choco : 30.87 11.58/11.79 c mistral : 2.28165 11.58/11.79 c abscon : 5.48517 11.58/11.79 c 11.58/11.79 c 11.58/11.79 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 11.58/11.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.456400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.80 c choco : 1801.0 11.64/11.80 c mistral : 8.45871 11.64/11.80 c abscon : 6.12907 11.64/11.80 c 11.64/11.80 c 11.64/11.80 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-2.xml 11.64/11.80 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.270900 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.81 c choco : 1801.0 11.64/11.81 c mistral : 39.545 11.64/11.81 c abscon : 6.47701 11.64/11.81 c 11.64/11.81 c 11.64/11.81 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 11.64/11.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.419400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.81 c choco : 31.97 11.64/11.81 c mistral : 2.46962 11.64/11.81 c abscon : 5.44917 11.64/11.81 c 11.64/11.81 c 11.64/11.81 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml 11.64/11.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.405100 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.82 c choco : 32.16 11.64/11.82 c mistral : 2.42163 11.64/11.82 c abscon : 5.54416 11.64/11.82 c 11.64/11.82 c 11.64/11.82 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 11.64/11.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.857200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.82 c choco : 1801.0 11.64/11.82 c mistral : 1800.05 11.64/11.82 c abscon : 5.9181 11.64/11.82 c 11.64/11.82 c 11.64/11.82 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-4.xml 11.64/11.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.218600 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.83 c choco : 1801.0 11.64/11.83 c mistral : 1800.05 11.64/11.83 c abscon : 14.8827 11.64/11.83 c 11.64/11.83 c 11.64/11.83 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml 11.64/11.83 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 11.096700 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.093400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.83 c choco : 37.81 11.64/11.83 c mistral : 7.2519 11.64/11.83 c abscon : 12.7981 11.64/11.83 c 11.64/11.83 c 11.64/11.83 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml 11.64/11.83 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.357600 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.84 c choco : 32.23 11.64/11.84 c mistral : 8.82966 11.64/11.84 c abscon : 5.43717 11.64/11.84 c 11.64/11.84 c 11.64/11.84 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml 11.64/11.84 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 11.077500 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.093400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.85 c choco : 67.9 11.64/11.85 c mistral : 6.572 11.64/11.85 c abscon : 12.5521 11.64/11.85 c 11.64/11.85 c 11.64/11.85 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 11.64/11.85 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.815400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.85 c choco : 1801.0 11.64/11.85 c mistral : 1800.09 11.64/11.85 c abscon : 6.03108 11.64/11.85 c 11.64/11.85 c 11.64/11.85 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-1.xml 11.64/11.85 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.163000 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.64/11.86 c choco : 1801.0 11.64/11.86 c mistral : 113.7 11.64/11.86 c abscon : 6.29104 11.64/11.86 c 11.64/11.86 c 11.64/11.86 c Length: 40 11.64/11.86 c 1.6987473602028056 1.8115956374964033 1.9118006783647716 1.949807065787792 2.034785208270396 2.09571633428668 2.1587209647835452 2.232737161825368 2.2495250796103607 2.301391067114843 2.5935806973749624 2.716032107309487 2.7504145542219622 2.81968977157701 2.823593566773553 2.854875226334071 2.8614591435273002 2.8753128491218125 2.875729048073899 2.8995542191992194 2.902024908221156 2.9262905375791033 2.946714892948586 2.9471396179916565 2.955291075355521 2.9890714578403763 3.015414453758556 3.019317378204053 3.027780228207621 3.0363857430051593 3.0416306034651894 3.053156691086292 3.0597336861767883 3.0649118780278153 3.068562966265481 3.0734961998278116 3.081955869301992 3.084290104765763 3.0918206513437987 3.0979062797211943 11.64/11.87 c 11.64/11.87 c 1.0 0.925365251216043 0.8678503281500292 0.8478627608694822 0.8063402062838735 0.7789862428517133 0.7525869734307257 0.7237720017177987 0.7175407095735519 0.6989494873494798 0.6099231222065682 0.5790157407114425 0.5708927743954995 0.5551994685161415 0.5543407598725205 0.5475545552757467 0.5461473594142575 0.543209869400279 0.5431221089039152 0.5381451290938299 0.5376342273756723 0.5326675305785488 0.5285576434482927 0.5284728512562463 0.5268507479910934 0.5202334093925433 0.515187244242731 0.5144479290625215 0.5128521117603021 0.5112395128173846 0.5102616358384027 0.5081257453176203 0.5069149610164078 0.5059657400736234 0.5052985885541067 0.5043999444128814 0.5028663378990041 0.5024448175420477 0.5010897425282473 0.5 11.64/11.88 c 11.64/11.88 c solver 0 11.64/11.88 c before 0.0 seconds: {} 0 11.64/11.88 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22439 11.64/11.88 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23982 11.64/11.88 c 11.64/11.88 c solver 1 11.64/11.88 c before 0.0 seconds: {} 0 11.64/11.88 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 27, 28, 29, 31, 32, 35, 36, 37} 13646 11.64/11.88 c before 36.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 27, 28, 29, 31, 32, 35, 36, 37} 14189 11.64/11.88 c before 54.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 27, 28, 29, 30, 31, 32, 35, 36, 37} 15770 11.64/11.88 c before 126.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 27, 28, 29, 30, 31, 32, 35, 36, 37, 39} 16270 11.64/11.88 c 11.64/11.88 c solver 2 11.64/11.88 c before 0.0 seconds: {} 0 11.64/11.88 c before 36.0 seconds: {14, 27, 28, 31, 32, 36} 3099 11.64/11.88 c before 54.0 seconds: {14, 27, 28, 31, 32, 35, 36} 3603 11.64/11.88 c before 72.0 seconds: {14, 27, 28, 31, 32, 35, 36, 37} 4106 11.64/11.88 c before 90.0 seconds: {14, 17, 27, 28, 31, 32, 35, 36, 37} 4649 11.64/11.88 c before 126.0 seconds: {14, 17, 22, 27, 28, 31, 32, 35, 36, 37} 5178 11.64/11.88 c 11.64/11.88 cTotal time: 16 11.64/11.88 c 288.0 seconds unused 11.64/11.88 c 0 c 13 c 30 11.64/11.88 c 0 c 0 c 18 11.64/11.88 c 0 c 1 c 0 11.64/11.88 c is solver0 dominated by: 11.64/11.88 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 11.64/11.88 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false) 11.64/11.88 c is dominated? false 11.64/11.88 c 11.64/11.88 c is solver1 dominated by: 11.64/11.88 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true) 11.64/11.88 c is dominated? true 11.64/11.88 c 11.64/11.88 c is solver2 dominated by: 11.64/11.88 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true) 11.64/11.88 c is dominated? true 11.64/11.88 c 11.64/11.88 c Number of non-dominated solvers: 1 11.64/11.88 c remove dominated solvers 11.64/11.88 c solver 0 is not dominated by another solver 11.64/11.88 c solver 2 is dominated by another solver 11.64/11.88 c solver 1 is dominated by another solver 11.64/11.88 c 11.64/11.88 c solver 0: 36.0 11.64/11.88 c 11.64/11.88 c+ 2/2 of 98 11.64/11.88 c 11.64/11.88 c solver 1: 0.0 11.64/11.88 c 11.64/11.88 c solver 2: 0.0 11.64/11.88 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} 23982 11.64/11.88 c do not run mistral 11.64/11.88 c do not run choco 11.64/11.88 c Starting solver: HOME/cpHydra_k_40/solver/abscon 11.64/11.88 c On Instance: HOME/instance-1085806-1215235680.xml 11.64/11.88 c Running for: 1800 seconds 35.31/36.07 s UNSATISFIABLE 35.31/36.07 d ASSIGNMENTS 0 35.31/36.07 d CHECKS 578287
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-1085806-1215235680/watcher-1085806-1215235680 -o /tmp/evaluation-result-1085806-1215235680/solver-1085806-1215235680 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085806-1215235680.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 [startup+0 s] /proc/loadavg: 2.02 2.02 2.00 4/88 15007 /proc/meminfo: memFree=1716096/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=18572 CPUtime=0 /proc/15007/stat : 15007 (runsolver) R 15005 11626 11626 0 -1 4194368 1 0 0 0 0 0 0 0 19 0 1 0 135248680 19017728 290 996147200 4194304 4296836 548682068480 18446744073709551615 265674091167 0 0 4096 24578 0 0 0 17 1 0 0 /proc/15007/statm: 4643 290 255 25 0 2626 0 Current StackSize limit: 10240 KiB [startup+0.102155 s] /proc/loadavg: 2.02 2.02 2.00 4/88 15007 /proc/meminfo: memFree=1716096/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=0 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135248680 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15007/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201165 s] /proc/loadavg: 2.02 2.02 2.00 4/88 15007 /proc/meminfo: memFree=1716096/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=0 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135248680 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15007/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301176 s] /proc/loadavg: 2.02 2.02 2.00 4/88 15007 /proc/meminfo: memFree=1716096/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=0 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135248680 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15007/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.70122 s] /proc/loadavg: 2.02 2.02 2.00 4/88 15007 /proc/meminfo: memFree=1716096/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=0 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135248680 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15007/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50131 s] /proc/loadavg: 2.10 2.04 2.01 3/90 15011 /proc/meminfo: memFree=1700784/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=0 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135248680 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15007/statm: 1340 236 195 169 0 51 0 [pid=15011] ppid=15007 vsize=28228 CPUtime=1.47 /proc/15011/stat : 15011 (xsolve) R 15007 15007 11626 0 -1 4194304 3966 0 0 0 146 1 0 0 25 0 1 0 135248681 28905472 3925 996147200 134512640 135239763 4294956176 18446744073709551615 135096901 0 0 4096 0 0 0 0 17 0 0 0 /proc/15011/statm: 7057 3925 416 177 0 5960 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 33588 [startup+3.10149 s] /proc/loadavg: 2.10 2.04 2.01 3/90 15011 /proc/meminfo: memFree=1700656/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=0 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135248680 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15007/statm: 1340 236 195 169 0 51 0 [pid=15011] ppid=15007 vsize=28228 CPUtime=3.07 /proc/15011/stat : 15011 (xsolve) R 15007 15007 11626 0 -1 4194304 3966 0 0 0 306 1 0 0 25 0 1 0 135248681 28905472 3925 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 0 0 0 /proc/15011/statm: 7057 3925 416 177 0 5960 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 33588 [startup+6.30186 s] /proc/loadavg: 2.10 2.04 2.01 3/90 15011 /proc/meminfo: memFree=1700592/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=6.05 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 375 4567 0 0 0 0 603 2 19 0 1 0 135248680 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15007/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 6.05 Current children cumulated vsize (KiB) 5360 [startup+12.7026 s] /proc/loadavg: 2.24 2.07 2.02 3/110 15035 /proc/meminfo: memFree=1677136/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=6.05 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 375 4567 0 0 0 0 603 2 19 0 1 0 135248680 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15007/statm: 1340 238 196 169 0 51 0 [pid=15015] ppid=15007 vsize=197420 CPUtime=5.65 /proc/15015/stat : 15015 (java) S 15007 15007 11626 0 -1 0 13921 0 1 0 545 20 0 0 18 0 10 0 135249288 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15015/statm: 49355 9473 2544 9 0 43937 0 [pid=15025] ppid=15015 vsize=5356 CPUtime=0 /proc/15025/stat : 15025 (abscon) S 15015 15007 11626 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135249869 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15025/statm: 1339 235 194 169 0 50 0 [pid=15026] ppid=15025 vsize=655800 CPUtime=0.77 /proc/15026/stat : 15026 (java) S 15025 15007 11626 0 -1 0 10871 0 1 0 71 6 0 0 18 0 9 0 135249870 671539200 10383 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15026/statm: 163950 10383 1991 9 0 158478 0 [pid=15026/tid=15028] ppid=15025 vsize=655800 CPUtime=0.61 /proc/15026/task/15028/stat : 15028 (java) R 15025 15007 11626 0 -1 64 9691 0 1 0 55 6 0 0 24 0 9 0 135249871 671539200 10383 996147200 134512640 134550740 4294955808 18446744073709551615 4126596366 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15029] ppid=15025 vsize=655800 CPUtime=0 /proc/15026/task/15029/stat : 15029 (java) S 15025 15007 11626 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 135249872 671539200 10383 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15030] ppid=15025 vsize=655800 CPUtime=0 /proc/15026/task/15030/stat : 15030 (java) S 15025 15007 11626 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 135249872 671539200 10383 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15031] ppid=15025 vsize=655800 CPUtime=0 /proc/15026/task/15031/stat : 15031 (java) S 15025 15007 11626 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 135249872 671539200 10383 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15032] ppid=15025 vsize=655800 CPUtime=0 /proc/15026/task/15032/stat : 15032 (java) S 15025 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 135249874 671539200 10383 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15033] ppid=15025 vsize=655800 CPUtime=0.15 /proc/15026/task/15033/stat : 15033 (java) S 15025 15007 11626 0 -1 64 637 0 0 0 15 0 0 0 15 0 9 0 135249874 671539200 10383 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15034] ppid=15025 vsize=655800 CPUtime=0 /proc/15026/task/15034/stat : 15034 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 135249874 671539200 10383 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15035] ppid=15025 vsize=655800 CPUtime=0 /proc/15026/task/15035/stat : 15035 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135249874 671539200 10383 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15027] ppid=15025 vsize=7044 CPUtime=0 /proc/15027/stat : 15027 (translate) S 15025 15007 11626 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 135249870 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 265674260562 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/15027/statm: 1761 213 182 1 0 41 0 [pid=15015/tid=15016] ppid=15007 vsize=197420 CPUtime=4.33 /proc/15015/task/15016/stat : 15016 (java) S 15007 15007 11626 0 -1 64 3895 0 1 0 426 7 0 0 25 0 10 0 135249289 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=15015/tid=15017] ppid=15007 vsize=197420 CPUtime=1.07 /proc/15015/task/15017/stat : 15017 (java) S 15007 15007 11626 0 -1 64 8561 0 0 0 96 11 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15018] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15018/stat : 15018 (java) S 15007 15007 11626 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15019] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15019/stat : 15019 (java) S 15007 15007 11626 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15020] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15020/stat : 15020 (java) S 15007 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15021] ppid=15007 vsize=197420 CPUtime=0.22 /proc/15015/task/15021/stat : 15021 (java) S 15007 15007 11626 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15022] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15022/stat : 15022 (java) S 15007 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15023] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15023/stat : 15023 (java) S 15007 15007 11626 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15024] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15024/stat : 15024 (java) S 15007 15007 11626 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 135249869 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 870980 [startup+25.503 s] /proc/loadavg: 2.20 2.06 2.01 3/110 15035 /proc/meminfo: memFree=1621200/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=6.05 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 375 4567 0 0 0 0 603 2 19 0 1 0 135248680 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15007/statm: 1340 238 196 169 0 51 0 [pid=15015] ppid=15007 vsize=197420 CPUtime=5.65 /proc/15015/stat : 15015 (java) S 15007 15007 11626 0 -1 0 13944 0 1 0 545 20 0 0 18 0 10 0 135249288 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15015/statm: 49355 9473 2544 9 0 43937 0 [pid=15025] ppid=15015 vsize=5356 CPUtime=0 /proc/15025/stat : 15025 (abscon) S 15015 15007 11626 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135249869 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15025/statm: 1339 235 194 169 0 50 0 [pid=15026] ppid=15025 vsize=655904 CPUtime=13.32 /proc/15026/stat : 15026 (java) S 15025 15007 11626 0 -1 0 18780 0 1 0 1319 13 0 0 18 0 9 0 135249870 671645696 18283 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15026/statm: 163976 18283 2008 9 0 158504 0 [pid=15026/tid=15028] ppid=15025 vsize=655904 CPUtime=12.92 /proc/15026/task/15028/stat : 15028 (java) R 15025 15007 11626 0 -1 64 12457 0 1 0 1281 11 0 0 25 0 9 0 135249871 671645696 18283 996147200 134512640 134550740 4294955808 18446744073709551615 4126615044 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15029] ppid=15025 vsize=655904 CPUtime=0.16 /proc/15026/task/15029/stat : 15029 (java) S 15025 15007 11626 0 -1 64 5085 0 0 0 15 1 0 0 16 0 9 0 135249872 671645696 18283 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15030] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15030/stat : 15030 (java) S 15025 15007 11626 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135249872 671645696 18283 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15031] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15031/stat : 15031 (java) S 15025 15007 11626 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135249872 671645696 18283 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15032] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15032/stat : 15032 (java) S 15025 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 135249874 671645696 18283 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15033] ppid=15025 vsize=655904 CPUtime=0.22 /proc/15026/task/15033/stat : 15033 (java) S 15025 15007 11626 0 -1 64 693 0 0 0 22 0 0 0 17 0 9 0 135249874 671645696 18283 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15034] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15034/stat : 15034 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 135249874 671645696 18283 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15035] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15035/stat : 15035 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135249874 671645696 18283 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15027] ppid=15025 vsize=7044 CPUtime=0 /proc/15027/stat : 15027 (translate) S 15025 15007 11626 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 135249870 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 265674260562 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/15027/statm: 1761 213 182 1 0 41 0 [pid=15015/tid=15016] ppid=15007 vsize=197420 CPUtime=4.33 /proc/15015/task/15016/stat : 15016 (java) S 15007 15007 11626 0 -1 64 3895 0 1 0 426 7 0 0 25 0 10 0 135249289 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=15015/tid=15017] ppid=15007 vsize=197420 CPUtime=1.07 /proc/15015/task/15017/stat : 15017 (java) S 15007 15007 11626 0 -1 64 8561 0 0 0 96 11 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15018] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15018/stat : 15018 (java) S 15007 15007 11626 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15019] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15019/stat : 15019 (java) S 15007 15007 11626 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15020] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15020/stat : 15020 (java) S 15007 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15021] ppid=15007 vsize=197420 CPUtime=0.22 /proc/15015/task/15021/stat : 15021 (java) S 15007 15007 11626 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15022] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15022/stat : 15022 (java) S 15007 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15023] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15023/stat : 15023 (java) S 15007 15007 11626 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15024] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15024/stat : 15024 (java) S 15007 15007 11626 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 135249869 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.02 Current children cumulated vsize (KiB) 871084 Solver just ended. Dumping a history of the last processes samples ################ # More data... # ################ /proc/15015/task/15023/stat : 15023 (java) S 15007 15007 11626 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15024] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15024/stat : 15024 (java) S 15007 15007 11626 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 135249869 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.96 Current children cumulated vsize (KiB) 871084 [startup+35.2021 s] /proc/loadavg: 2.17 2.06 2.01 3/110 15035 /proc/meminfo: memFree=1608656/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=6.05 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 375 4567 0 0 0 0 603 2 19 0 1 0 135248680 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15007/statm: 1340 238 196 169 0 51 0 [pid=15015] ppid=15007 vsize=197420 CPUtime=5.65 /proc/15015/stat : 15015 (java) S 15007 15007 11626 0 -1 0 13944 0 1 0 545 20 0 0 18 0 10 0 135249288 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15015/statm: 49355 9473 2544 9 0 43937 0 [pid=15025] ppid=15015 vsize=5356 CPUtime=0 /proc/15025/stat : 15025 (abscon) S 15015 15007 11626 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135249869 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15025/statm: 1339 235 194 169 0 50 0 [pid=15026] ppid=15025 vsize=655904 CPUtime=22.82 /proc/15026/stat : 15026 (java) S 15025 15007 11626 0 -1 0 21856 0 1 0 2265 17 0 0 18 0 9 0 135249870 671645696 21349 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15026/statm: 163976 21349 2013 9 0 158504 0 [pid=15026/tid=15028] ppid=15025 vsize=655904 CPUtime=22.19 /proc/15026/task/15028/stat : 15028 (java) R 15025 15007 11626 0 -1 64 12481 0 1 0 2206 13 0 0 25 0 9 0 135249871 671645696 21349 996147200 134512640 134550740 4294955808 18446744073709551615 4127142304 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15029] ppid=15025 vsize=655904 CPUtime=0.35 /proc/15026/task/15029/stat : 15029 (java) S 15025 15007 11626 0 -1 64 8116 0 0 0 33 2 0 0 16 0 9 0 135249872 671645696 21349 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15030] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15030/stat : 15030 (java) S 15025 15007 11626 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135249872 671645696 21349 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15031] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15031/stat : 15031 (java) S 15025 15007 11626 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135249872 671645696 21349 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15032] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15032/stat : 15032 (java) S 15025 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 135249874 671645696 21349 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15033] ppid=15025 vsize=655904 CPUtime=0.25 /proc/15026/task/15033/stat : 15033 (java) S 15025 15007 11626 0 -1 64 714 0 0 0 25 0 0 0 15 0 9 0 135249874 671645696 21349 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15034] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15034/stat : 15034 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 135249874 671645696 21349 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15035] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15035/stat : 15035 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135249874 671645696 21349 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15027] ppid=15025 vsize=7044 CPUtime=0 /proc/15027/stat : 15027 (translate) S 15025 15007 11626 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135249870 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 265674260562 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/15027/statm: 1761 213 182 1 0 41 0 [pid=15015/tid=15016] ppid=15007 vsize=197420 CPUtime=4.33 /proc/15015/task/15016/stat : 15016 (java) S 15007 15007 11626 0 -1 64 3895 0 1 0 426 7 0 0 25 0 10 0 135249289 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=15015/tid=15017] ppid=15007 vsize=197420 CPUtime=1.07 /proc/15015/task/15017/stat : 15017 (java) S 15007 15007 11626 0 -1 64 8561 0 0 0 96 11 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15018] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15018/stat : 15018 (java) S 15007 15007 11626 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15019] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15019/stat : 15019 (java) S 15007 15007 11626 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15020] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15020/stat : 15020 (java) S 15007 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15021] ppid=15007 vsize=197420 CPUtime=0.22 /proc/15015/task/15021/stat : 15021 (java) S 15007 15007 11626 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15022] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15022/stat : 15022 (java) S 15007 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15023] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15023/stat : 15023 (java) S 15007 15007 11626 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15024] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15024/stat : 15024 (java) S 15007 15007 11626 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 135249869 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 34.52 Current children cumulated vsize (KiB) 871084 [startup+35.6022 s] /proc/loadavg: 2.17 2.06 2.01 3/110 15035 /proc/meminfo: memFree=1608656/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=6.05 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 375 4567 0 0 0 0 603 2 19 0 1 0 135248680 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15007/statm: 1340 238 196 169 0 51 0 [pid=15015] ppid=15007 vsize=197420 CPUtime=5.65 /proc/15015/stat : 15015 (java) S 15007 15007 11626 0 -1 0 13944 0 1 0 545 20 0 0 18 0 10 0 135249288 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15015/statm: 49355 9473 2544 9 0 43937 0 [pid=15025] ppid=15015 vsize=5356 CPUtime=0 /proc/15025/stat : 15025 (abscon) S 15015 15007 11626 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135249869 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15025/statm: 1339 235 194 169 0 50 0 [pid=15026] ppid=15025 vsize=655904 CPUtime=23.21 /proc/15026/stat : 15026 (java) S 15025 15007 11626 0 -1 0 23936 0 1 0 2303 18 0 0 18 0 9 0 135249870 671645696 23244 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15026/statm: 163976 23244 2616 9 0 158504 0 [pid=15026/tid=15028] ppid=15025 vsize=655904 CPUtime=22.37 /proc/15026/task/15028/stat : 15028 (java) R 15025 15007 11626 0 -1 64 12522 0 1 0 2224 13 0 0 25 0 9 0 135249871 671645696 23244 996147200 134512640 134550740 4294955808 18446744073709551615 4125924552 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15029] ppid=15025 vsize=655904 CPUtime=0.53 /proc/15026/task/15029/stat : 15029 (java) S 15025 15007 11626 0 -1 64 10141 0 0 0 50 3 0 0 18 0 9 0 135249872 671645696 23244 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15030] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15030/stat : 15030 (java) S 15025 15007 11626 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135249872 671645696 23244 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15031] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15031/stat : 15031 (java) S 15025 15007 11626 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135249872 671645696 23244 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15032] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15032/stat : 15032 (java) S 15025 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 135249874 671645696 23244 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15033] ppid=15025 vsize=655904 CPUtime=0.27 /proc/15026/task/15033/stat : 15033 (java) S 15025 15007 11626 0 -1 64 728 0 0 0 27 0 0 0 15 0 9 0 135249874 671645696 23244 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15034] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15034/stat : 15034 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 135249874 671645696 23244 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15035] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15035/stat : 15035 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135249874 671645696 23244 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15027] ppid=15025 vsize=7044 CPUtime=0 /proc/15027/stat : 15027 (translate) S 15025 15007 11626 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 135249870 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 265674260562 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/15027/statm: 1761 213 182 1 0 41 0 [pid=15015/tid=15016] ppid=15007 vsize=197420 CPUtime=4.33 /proc/15015/task/15016/stat : 15016 (java) S 15007 15007 11626 0 -1 64 3895 0 1 0 426 7 0 0 25 0 10 0 135249289 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=15015/tid=15017] ppid=15007 vsize=197420 CPUtime=1.07 /proc/15015/task/15017/stat : 15017 (java) S 15007 15007 11626 0 -1 64 8561 0 0 0 96 11 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15018] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15018/stat : 15018 (java) S 15007 15007 11626 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15019] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15019/stat : 15019 (java) S 15007 15007 11626 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15020] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15020/stat : 15020 (java) S 15007 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15021] ppid=15007 vsize=197420 CPUtime=0.22 /proc/15015/task/15021/stat : 15021 (java) S 15007 15007 11626 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15022] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15022/stat : 15022 (java) S 15007 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15023] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15023/stat : 15023 (java) S 15007 15007 11626 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15024] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15024/stat : 15024 (java) S 15007 15007 11626 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 135249869 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 34.91 Current children cumulated vsize (KiB) 871084 [startup+36.0022 s] /proc/loadavg: 2.17 2.06 2.01 3/110 15035 /proc/meminfo: memFree=1608656/2055920 swapFree=4179164/4192956 [pid=15007] ppid=15005 vsize=5360 CPUtime=6.05 /proc/15007/stat : 15007 (hydra) S 15005 15007 11626 0 -1 4194304 375 4567 0 0 0 0 603 2 19 0 1 0 135248680 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15007/statm: 1340 238 196 169 0 51 0 [pid=15015] ppid=15007 vsize=197420 CPUtime=5.65 /proc/15015/stat : 15015 (java) S 15007 15007 11626 0 -1 0 13944 0 1 0 545 20 0 0 18 0 10 0 135249288 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15015/statm: 49355 9473 2544 9 0 43937 0 [pid=15025] ppid=15015 vsize=5356 CPUtime=0 /proc/15025/stat : 15025 (abscon) S 15015 15007 11626 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135249869 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15025/statm: 1339 235 194 169 0 50 0 [pid=15026] ppid=15025 vsize=655904 CPUtime=23.61 /proc/15026/stat : 15026 (java) S 15025 15007 11626 0 -1 0 24663 0 1 0 2342 19 0 0 18 0 9 0 135249870 671645696 23954 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15026/statm: 163976 23954 2617 9 0 158504 0 [pid=15026/tid=15028] ppid=15025 vsize=655904 CPUtime=22.72 /proc/15026/task/15028/stat : 15028 (java) R 15025 15007 11626 0 -1 64 12553 0 1 0 2259 13 0 0 25 0 9 0 135249871 671645696 23954 996147200 134512640 134550740 4294955808 18446744073709551615 4126876358 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15029] ppid=15025 vsize=655904 CPUtime=0.54 /proc/15026/task/15029/stat : 15029 (java) S 15025 15007 11626 0 -1 64 10804 0 0 0 51 3 0 0 16 0 9 0 135249872 671645696 23954 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15030] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15030/stat : 15030 (java) S 15025 15007 11626 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135249872 671645696 23954 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15031] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15031/stat : 15031 (java) S 15025 15007 11626 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 135249872 671645696 23954 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15032] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15032/stat : 15032 (java) S 15025 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 135249874 671645696 23954 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15033] ppid=15025 vsize=655904 CPUtime=0.31 /proc/15026/task/15033/stat : 15033 (java) S 15025 15007 11626 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 135249874 671645696 23954 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15034] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15034/stat : 15034 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 135249874 671645696 23954 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15026/tid=15035] ppid=15025 vsize=655904 CPUtime=0 /proc/15026/task/15035/stat : 15035 (java) S 15025 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135249874 671645696 23954 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15027] ppid=15025 vsize=7044 CPUtime=0 /proc/15027/stat : 15027 (translate) S 15025 15007 11626 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135249870 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 265674260562 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/15027/statm: 1761 213 182 1 0 41 0 [pid=15015/tid=15016] ppid=15007 vsize=197420 CPUtime=4.33 /proc/15015/task/15016/stat : 15016 (java) S 15007 15007 11626 0 -1 64 3895 0 1 0 426 7 0 0 25 0 10 0 135249289 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=15015/tid=15017] ppid=15007 vsize=197420 CPUtime=1.07 /proc/15015/task/15017/stat : 15017 (java) S 15007 15007 11626 0 -1 64 8561 0 0 0 96 11 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15018] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15018/stat : 15018 (java) S 15007 15007 11626 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15019] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15019/stat : 15019 (java) S 15007 15007 11626 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 135249290 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15020] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15020/stat : 15020 (java) S 15007 15007 11626 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15021] ppid=15007 vsize=197420 CPUtime=0.22 /proc/15015/task/15021/stat : 15021 (java) S 15007 15007 11626 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15022] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15022/stat : 15022 (java) S 15007 15007 11626 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15023] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15023/stat : 15023 (java) S 15007 15007 11626 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135249292 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15015/tid=15024] ppid=15007 vsize=197420 CPUtime=0 /proc/15015/task/15024/stat : 15024 (java) S 15007 15007 11626 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 135249869 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 35.31 Current children cumulated vsize (KiB) 871084 Child status: 0 Real time (s): 36.0909 CPU time (s): 35.4016 CPU user time (s): 34.9607 CPU system time (s): 0.440932 CPU usage (%): 98.09 Max. virtual memory (cumulated for all children) (KiB): 871084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.9607 system time used= 0.440932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44270 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= 12365 involuntary context switches= 17956 runsolver used 0.159975 second user time and 0.354946 second system time The end
Begin job on node76 at 2008-07-05 07:28:00 IDJOB=1085806 IDBENCH=57706 IDSOLVER=366 FILE ID=node76/1085806-1215235680 PBS_JOBID= 7881792 Free space on /tmp= 66488 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-4.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085806-1215235680/watcher-1085806-1215235680 -o /tmp/evaluation-result-1085806-1215235680/solver-1085806-1215235680 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085806-1215235680.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 40ccc1d0ec371372bfe35ce6b8f3e8ae RANDOM SEED=1139656591 node76.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.222 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.222 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1716512 kB Buffers: 31088 kB Cached: 208452 kB SwapCached: 7640 kB Active: 188072 kB Inactive: 85416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1716512 kB SwapTotal: 4192956 kB SwapFree: 4179164 kB Dirty: 25380 kB Writeback: 0 kB Mapped: 52672 kB Slab: 50672 kB Committed_AS: 466596 kB PageTables: 2152 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= 66464 MiB End job on node76 at 2008-07-05 07:28:37