Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 38.5911 | 39.2673 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 29478 |
Name | csp/fapp/fapp08/ normalized-fapp08-0700-0.xml |
MD5SUM | cb796999e9af592cdd0cc64917717810 |
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 | 17.5533 |
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 14.40/14.65 c CASE TO CLASSIFY: 14.40/14.65 c Case: 0 14.40/14.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.409400 | c 15 > 12.865000 | 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 14.40/14.66 c choco : 1801.0 14.40/14.66 c mistral : 1801.0 14.40/14.66 c abscon : 1801.0 14.40/14.66 c 14.40/14.66 c 14.49/14.73 c List of same ones: 40 14.49/14.73 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml 14.49/14.73 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 14.49/14.74 c choco : 1801.0 14.49/14.74 c mistral : 1800.03 14.49/14.74 c abscon : 25.9351 14.49/14.74 c 14.49/14.74 c 14.49/14.74 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml 14.49/14.74 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 14.49/14.75 c choco : 1801.0 14.49/14.75 c mistral : 1800.02 14.49/14.75 c abscon : 17.2824 14.49/14.75 c 14.49/14.75 c 14.49/14.75 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml 14.49/14.75 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 14.49/14.76 c choco : 1801.0 14.49/14.76 c mistral : 6.79996 14.49/14.76 c abscon : 6.95294 14.49/14.76 c 14.49/14.76 c 14.49/14.76 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml 14.49/14.76 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 14.49/14.77 c choco : 1801.0 14.49/14.77 c mistral : 4.03939 14.49/14.77 c abscon : 7.04993 14.49/14.77 c 14.49/14.77 c 14.49/14.77 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml 14.49/14.77 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 14.49/14.78 c choco : 1801.0 14.49/14.78 c mistral : 3.81642 14.49/14.78 c abscon : 7.04593 14.49/14.78 c 14.49/14.78 c 14.49/14.78 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml 14.49/14.78 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 14.49/14.79 c choco : 1801.0 14.49/14.79 c mistral : 4.28235 14.49/14.79 c abscon : 6.70698 14.49/14.79 c 14.49/14.79 c 14.49/14.79 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml 14.49/14.79 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 14.49/14.79 c choco : 1801.0 14.49/14.79 c mistral : 2.73858 14.49/14.79 c abscon : 6.30204 14.49/14.79 c 14.49/14.79 c 14.49/14.79 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml 14.49/14.79 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 14.57/14.80 c choco : 1801.0 14.57/14.80 c mistral : 2.6216 14.57/14.80 c abscon : 6.46502 14.57/14.80 c 14.57/14.80 c 14.57/14.80 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml 14.57/14.80 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 14.57/14.81 c choco : 1801.0 14.57/14.81 c mistral : 2.35864 14.57/14.81 c abscon : 6.51701 14.57/14.81 c 14.57/14.81 c 14.57/14.81 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml 14.57/14.81 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 14.57/14.82 c choco : 1801.0 14.57/14.82 c mistral : 2.40163 14.57/14.82 c abscon : 6.25705 14.57/14.82 c 14.57/14.82 c 14.57/14.82 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml 14.57/14.82 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 14.76/15.01 c choco : 1801.0 14.76/15.01 c mistral : 9.48556 14.76/15.01 c abscon : 6.47801 14.76/15.01 c 14.76/15.01 c 14.76/15.01 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml 14.76/15.01 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 14.76/15.02 c choco : 1801.0 14.76/15.02 c mistral : 9.13061 14.76/15.02 c abscon : 16.3965 14.76/15.02 c 14.76/15.02 c 14.76/15.02 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 14.76/15.02 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 14.76/15.03 c choco : 1801.0 14.76/15.03 c mistral : 1800.04 14.76/15.03 c abscon : 11.0623 14.76/15.03 c 14.76/15.03 c 14.76/15.03 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 14.76/15.03 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 14.76/15.03 c choco : 33.36 14.76/15.03 c mistral : 6.83796 14.76/15.03 c abscon : 10.5184 14.76/15.03 c 14.76/15.03 c 14.76/15.03 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml 14.76/15.03 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 14.76/15.05 c choco : 1801.0 14.76/15.05 c mistral : 10.4224 14.76/15.05 c abscon : 16.1016 14.76/15.05 c 14.76/15.05 c 14.76/15.05 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml 14.76/15.05 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 14.76/15.05 c choco : 1801.0 14.76/15.05 c mistral : 16.71 14.76/15.05 c abscon : 16.0216 14.76/15.05 c 14.76/15.05 c 14.76/15.05 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 14.76/15.05 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 14.76/15.06 c choco : 1801.0 14.76/15.06 c mistral : 1800.06 14.76/15.06 c abscon : 11.9282 14.76/15.06 c 14.76/15.06 c 14.76/15.06 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 14.76/15.06 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 14.76/15.06 c choco : 80.85 14.76/15.06 c mistral : 12.5891 14.76/15.06 c abscon : 10.0495 14.76/15.06 c 14.76/15.06 c 14.76/15.06 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml 14.76/15.07 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 14.76/15.07 c choco : 1801.0 14.76/15.07 c mistral : 19.43 14.76/15.07 c abscon : 19.1291 14.76/15.07 c 14.76/15.07 c 14.76/15.07 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml 14.76/15.07 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 14.76/15.08 c choco : 1801.0 14.76/15.08 c mistral : 36.3755 14.76/15.08 c abscon : 15.7406 14.76/15.08 c 14.76/15.08 c 14.76/15.08 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 14.76/15.08 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 14.76/15.09 c choco : 1801.0 14.76/15.09 c mistral : 1800.03 14.76/15.09 c abscon : 12.0042 14.76/15.09 c 14.76/15.09 c 14.76/15.09 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 14.76/15.09 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 14.76/15.09 c choco : 1801.0 14.76/15.09 c mistral : 39.28 14.76/15.09 c abscon : 9.8585 14.76/15.09 c 14.76/15.09 c 14.76/15.09 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 14.76/15.09 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 14.76/15.10 c choco : 115.65 14.76/15.10 c mistral : 1800.08 14.76/15.10 c abscon : 11.0983 14.76/15.10 c 14.76/15.10 c 14.76/15.10 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml 14.76/15.10 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 14.82/15.10 c choco : 1801.0 14.82/15.10 c mistral : 1800.04 14.82/15.10 c abscon : 15.5706 14.82/15.10 c 14.82/15.10 c 14.82/15.10 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 14.82/15.10 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 14.82/15.11 c choco : 1801.0 14.82/15.11 c mistral : 1800.01 14.82/15.11 c abscon : 6.594 14.82/15.11 c 14.82/15.11 c 14.82/15.11 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 14.82/15.11 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 14.82/15.11 c choco : 1801.0 14.82/15.11 c mistral : 1800.03 14.82/15.11 c abscon : 5.97909 14.82/15.11 c 14.82/15.11 c 14.82/15.11 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-3.xml 14.82/15.11 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 14.82/15.12 c choco : 1801.0 14.82/15.12 c mistral : 1800.1 14.82/15.12 c abscon : 15.6316 14.82/15.12 c 14.82/15.12 c 14.82/15.12 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 14.82/15.12 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 14.82/15.13 c choco : 30.96 14.82/15.13 c mistral : 2.38464 14.82/15.13 c abscon : 5.81212 14.82/15.13 c 14.82/15.13 c 14.82/15.13 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 14.82/15.13 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 14.82/15.13 c choco : 30.87 14.82/15.13 c mistral : 2.28165 14.82/15.13 c abscon : 5.48517 14.82/15.13 c 14.82/15.13 c 14.82/15.13 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 14.82/15.13 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 14.82/15.14 c choco : 1801.0 14.82/15.14 c mistral : 8.45871 14.82/15.14 c abscon : 6.12907 14.82/15.14 c 14.82/15.14 c 14.82/15.14 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-2.xml 14.82/15.14 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 14.82/15.14 c choco : 1801.0 14.82/15.14 c mistral : 39.545 14.82/15.14 c abscon : 6.47701 14.82/15.14 c 14.82/15.14 c 14.82/15.14 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 14.82/15.14 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 14.82/15.15 c choco : 31.97 14.82/15.15 c mistral : 2.46962 14.82/15.15 c abscon : 5.44917 14.82/15.15 c 14.82/15.15 c 14.82/15.15 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml 14.82/15.15 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 14.82/15.15 c choco : 32.16 14.82/15.15 c mistral : 2.42163 14.82/15.15 c abscon : 5.54416 14.82/15.15 c 14.82/15.15 c 14.82/15.15 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-4.xml 14.82/15.15 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 14.82/15.16 c choco : 1801.0 14.82/15.16 c mistral : 1800.05 14.82/15.16 c abscon : 14.8827 14.82/15.16 c 14.82/15.16 c 14.82/15.16 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 14.82/15.16 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 14.82/15.16 c choco : 1801.0 14.82/15.16 c mistral : 1800.05 14.82/15.16 c abscon : 5.9181 14.82/15.16 c 14.82/15.16 c 14.82/15.16 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml 14.82/15.16 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 14.82/15.17 c choco : 37.81 14.82/15.17 c mistral : 7.2519 14.82/15.17 c abscon : 12.7981 14.82/15.17 c 14.82/15.17 c 14.82/15.17 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml 14.82/15.17 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 14.82/15.18 c choco : 32.23 14.82/15.18 c mistral : 8.82966 14.82/15.18 c abscon : 5.43717 14.82/15.18 c 14.82/15.18 c 14.82/15.18 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml 14.82/15.18 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 14.82/15.18 c choco : 67.9 14.82/15.18 c mistral : 6.572 14.82/15.18 c abscon : 12.5521 14.82/15.18 c 14.82/15.18 c 14.82/15.18 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 14.82/15.18 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 14.82/15.19 c choco : 1801.0 14.82/15.19 c mistral : 1800.09 14.82/15.19 c abscon : 6.03108 14.82/15.19 c 14.82/15.19 c 14.82/15.19 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-1.xml 14.82/15.19 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 14.82/15.20 c choco : 1801.0 14.82/15.20 c mistral : 113.7 14.82/15.20 c abscon : 6.29104 14.82/15.20 c 14.82/15.20 c 14.88/15.20 c Length: 40 14.88/15.20 c 1.7257982482886003 1.8417790730150023 1.9441090591312007 1.9828047291137876 2.069142538298413 2.1309198844151793 2.1947064960481626 2.2695393880248043 2.2864990452208813 2.338867427580281 2.6332661532393566 2.7288729556239906 2.7749685439795524 2.836921752591177 2.837449137506435 2.8739138396855273 2.8884010161464757 2.8911754322982546 2.895464964031859 2.9225852541775423 2.927208477385237 2.944189109130899 2.9653382370861165 2.9689930158112547 2.9839079644110997 3.0182308029830978 3.0389889647604864 3.0402068729487794 3.0489077241407285 3.0577504444157957 3.0658038306349633 3.074970435683081 3.0817189732882846 3.093320429237167 3.0951912735848803 3.1000629171608765 3.1045029522171497 3.1110547167087885 3.122468308898586 3.123267890837418 14.88/15.20 c 14.88/15.20 c 1.0 0.9233666200287274 0.8648883204494892 0.8446599034012838 0.8027679560760587 0.7752559657204845 0.7487602857950246 0.71989587905742 0.713660881796958 0.695072200232144 0.6062939293365283 0.5821469795449626 0.5711791182294786 0.5570730527996622 0.5569559631975392 0.5489777454368289 0.5458711389834539 0.5452802048358913 0.5443690741377519 0.5386782542854279 0.5377199838267338 0.5342294211549826 0.5299448382504902 0.5292113746899757 0.5262390814967106 0.5195243321415115 0.5155458292287455 0.515314296901336 0.5136662385948907 0.5120020741193679 0.5104958137483517 0.5087920919698754 0.5075450466520893 0.5054154701915847 0.5050737280131081 0.5041860025293413 0.5033796397989339 0.50219446212843 0.5001430819543361 0.5 14.88/15.21 c 14.88/15.21 c solver 0 14.88/15.22 c before 0.0 seconds: {} 0 14.88/15.22 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} 22421 14.88/15.22 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} 23965 14.88/15.22 c 14.88/15.22 c solver 1 14.88/15.22 c before 0.0 seconds: {} 0 14.88/15.22 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} 13628 14.88/15.22 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} 14173 14.88/15.22 c before 54.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 21, 27, 28, 29, 30, 31, 32, 35, 36, 37} 15756 14.88/15.22 c before 126.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 21, 27, 28, 29, 30, 31, 32, 35, 36, 37, 39} 16256 14.88/15.22 c 14.88/15.22 c solver 2 14.88/15.22 c before 0.0 seconds: {} 0 14.88/15.22 c before 36.0 seconds: {13, 27, 28, 31, 32, 36} 3105 14.88/15.22 c before 54.0 seconds: {13, 27, 28, 31, 32, 35, 36} 3609 14.88/15.22 c before 72.0 seconds: {13, 27, 28, 31, 32, 35, 36, 37} 4112 14.88/15.22 c before 90.0 seconds: {13, 17, 27, 28, 31, 32, 35, 36, 37} 4657 14.88/15.22 c before 126.0 seconds: {13, 17, 22, 27, 28, 31, 32, 35, 36, 37} 5187 14.88/15.22 c 14.88/15.22 cTotal time: 16 14.88/15.22 c 288.0 seconds unused 14.88/15.22 c 0 c 13 c 30 14.88/15.22 c 0 c 0 c 18 14.88/15.22 c 0 c 1 c 0 14.88/15.22 c is solver0 dominated by: 14.88/15.22 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) 14.88/15.22 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) 14.88/15.22 c is dominated? false 14.88/15.22 c 14.88/15.22 c is solver1 dominated by: 14.88/15.22 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) 14.88/15.22 c is dominated? true 14.88/15.22 c 14.88/15.22 c is solver2 dominated by: 14.88/15.22 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) 14.88/15.22 c is dominated? true 14.88/15.22 c 14.88/15.22 c Number of non-dominated solvers: 1 14.88/15.22 c remove dominated solvers 14.88/15.22 c solver 0 is not dominated by another solver 14.88/15.22 c solver 2 is dominated by another solver 14.88/15.22 c solver 1 is dominated by another solver 14.88/15.22 c 14.88/15.22 c solver 0: 36.0 14.88/15.22 c 14.88/15.22 c+ 2/2 of 98 14.88/15.22 c 14.88/15.22 c solver 1: 0.0 14.88/15.22 c 14.88/15.22 c solver 2: 0.0 14.88/15.22 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} 23965 14.88/15.22 c do not run mistral 14.88/15.22 c do not run choco 14.88/15.22 c Starting solver: HOME/cpHydra_k_40/solver/abscon 14.88/15.22 c On Instance: HOME/instance-1085848-1215235812.xml 14.88/15.22 c Running for: 1800 seconds 38.52/39.22 s UNSATISFIABLE 38.52/39.22 d ASSIGNMENTS 0 38.52/39.22 d CHECKS 29478
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-1085848-1215235812/watcher-1085848-1215235812 -o /tmp/evaluation-result-1085848-1215235812/solver-1085848-1215235812 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085848-1215235812.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.53 2.34 4/82 30402 /proc/meminfo: memFree=397112/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=18572 CPUtime=0 /proc/30402/stat : 30402 (runsolver) R 30400 30402 29362 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2002550176 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 233402068263 0 0 4096 24578 0 0 0 17 1 0 0 /proc/30402/statm: 4643 292 257 25 0 2626 0 [startup+0.0200651 s] /proc/loadavg: 2.16 2.53 2.34 4/82 30402 /proc/meminfo: memFree=397112/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=0 /proc/30402/stat : 30402 (hydra) D 30400 30402 29362 0 -1 4194304 263 0 0 0 0 0 0 0 20 0 1 0 2002550176 5488640 231 996147200 4194304 4889804 548682068816 18446744073709551615 4488656 0 0 4100 65536 18446744071563479169 0 0 17 1 0 0 /proc/30402/statm: 1340 231 192 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102085 s] /proc/loadavg: 2.16 2.53 2.34 4/82 30402 /proc/meminfo: memFree=397112/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=0 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002550176 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301122 s] /proc/loadavg: 2.16 2.53 2.34 4/82 30402 /proc/meminfo: memFree=397112/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=0 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002550176 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701186 s] /proc/loadavg: 2.16 2.53 2.34 4/82 30402 /proc/meminfo: memFree=397112/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=0 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002550176 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50133 s] /proc/loadavg: 2.16 2.53 2.34 3/84 30406 /proc/meminfo: memFree=375976/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=0 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002550176 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 236 195 169 0 51 0 [pid=30406] ppid=30402 vsize=28240 CPUtime=1.43 /proc/30406/stat : 30406 (xsolve) R 30402 30402 29362 0 -1 4194304 3968 0 1 0 140 3 0 0 25 0 1 0 2002550179 28917760 3928 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0 /proc/30406/statm: 7060 3928 416 177 0 5963 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 33600 [startup+3.10162 s] /proc/loadavg: 2.16 2.53 2.34 3/84 30406 /proc/meminfo: memFree=369064/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=0 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002550176 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 236 195 169 0 51 0 [pid=30406] ppid=30402 vsize=28240 CPUtime=3.02 /proc/30406/stat : 30406 (xsolve) R 30402 30402 29362 0 -1 4194304 3969 0 1 0 299 3 0 0 25 0 1 0 2002550179 28917760 3929 996147200 134512640 135239763 4294956176 18446744073709551615 134539216 0 0 4096 0 0 0 0 17 1 0 0 /proc/30406/statm: 7060 3929 417 177 0 5963 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 33600 [startup+6.30119 s] /proc/loadavg: 2.15 2.52 2.34 3/84 30406 /proc/meminfo: memFree=349880/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=0 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 329 247 1 0 0 0 0 0 20 0 1 0 2002550176 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 236 195 169 0 51 0 [pid=30406] ppid=30402 vsize=28240 CPUtime=6.19 /proc/30406/stat : 30406 (xsolve) R 30402 30402 29362 0 -1 4194304 3969 0 1 0 615 4 0 0 25 0 1 0 2002550179 28917760 3929 996147200 134512640 135239763 4294956176 18446744073709551615 134540245 0 0 4096 0 0 0 0 17 1 0 0 /proc/30406/statm: 7060 3929 417 177 0 5963 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 33600 [startup+12.7024 s] /proc/loadavg: 2.13 2.51 2.33 4/92 30418 /proc/meminfo: memFree=302976/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=8.86 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 374 4569 1 1 0 0 882 4 19 0 1 0 2002550176 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 238 196 169 0 51 0 [pid=30410] ppid=30402 vsize=197096 CPUtime=3.65 /proc/30410/stat : 30410 (java) S 30402 30402 29362 0 -1 0 8967 0 1 0 354 11 0 0 18 0 9 0 2002551077 201826304 7429 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30410/statm: 49274 7429 2541 9 0 43856 0 [pid=30410/tid=30411] ppid=30402 vsize=197096 CPUtime=2.79 /proc/30410/task/30411/stat : 30411 (java) R 30402 30402 29362 0 -1 64 3378 0 1 0 276 3 0 0 25 0 9 0 2002551078 201826304 7429 996147200 134512640 134550740 4294955968 18446744073709551615 4126549096 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30412] ppid=30402 vsize=197096 CPUtime=0.66 /proc/30410/task/30412/stat : 30412 (java) S 30402 30402 29362 0 -1 64 4237 0 0 0 60 6 0 0 16 0 9 0 2002551079 201826304 7429 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30413] ppid=30402 vsize=197096 CPUtime=0 /proc/30410/task/30413/stat : 30413 (java) S 30402 30402 29362 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002551079 201826304 7429 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30414] ppid=30402 vsize=197096 CPUtime=0 /proc/30410/task/30414/stat : 30414 (java) S 30402 30402 29362 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002551079 201826304 7429 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30415] ppid=30402 vsize=197096 CPUtime=0 /proc/30410/task/30415/stat : 30415 (java) S 30402 30402 29362 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002551081 201826304 7429 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30416] ppid=30402 vsize=197096 CPUtime=0.17 /proc/30410/task/30416/stat : 30416 (java) S 30402 30402 29362 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 2002551081 201826304 7429 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30417] ppid=30402 vsize=197096 CPUtime=0 /proc/30410/task/30417/stat : 30417 (java) S 30402 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002551081 201826304 7429 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30418] ppid=30402 vsize=197096 CPUtime=0 /proc/30410/task/30418/stat : 30418 (java) S 30402 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002551081 201826304 7429 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 202456 [startup+25.5036 s] /proc/loadavg: 2.25 2.52 2.34 3/94 30430 /proc/meminfo: memFree=1706720/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=8.86 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 374 4569 1 1 0 0 882 4 19 0 1 0 2002550176 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 238 196 169 0 51 0 [pid=30410] ppid=30402 vsize=197420 CPUtime=6.04 /proc/30410/stat : 30410 (java) S 30402 30402 29362 0 -1 0 13956 0 2 0 584 20 0 0 18 0 10 0 2002551077 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30410/statm: 49355 9473 2544 9 0 43937 0 [pid=30420] ppid=30410 vsize=5356 CPUtime=0 /proc/30420/stat : 30420 (abscon) S 30410 30402 29362 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2002551699 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30420/statm: 1339 235 194 169 0 50 0 [pid=30421] ppid=30420 vsize=655904 CPUtime=9.97 /proc/30421/stat : 30421 (java) S 30420 30402 29362 0 -1 0 15352 0 10 0 984 13 0 0 19 0 9 0 2002551700 671645696 14862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30421/statm: 163976 14862 2008 9 0 158504 0 [pid=30421/tid=30423] ppid=30420 vsize=655904 CPUtime=9.65 /proc/30421/task/30423/stat : 30423 (java) R 30420 30402 29362 0 -1 64 12455 0 10 0 954 11 0 0 17 0 9 0 2002551701 671645696 14862 996147200 134512640 134550740 4294955808 18446744073709551615 4126876136 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30424] ppid=30420 vsize=655904 CPUtime=0.04 /proc/30421/task/30424/stat : 30424 (java) S 30420 30402 29362 0 -1 64 1669 0 0 0 4 0 0 0 16 0 9 0 2002551702 671645696 14862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30425] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30425/stat : 30425 (java) S 30420 30402 29362 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002551703 671645696 14862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30426] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30426/stat : 30426 (java) S 30420 30402 29362 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002551703 671645696 14862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30427] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30427/stat : 30427 (java) S 30420 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002551705 671645696 14862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30428] ppid=30420 vsize=655904 CPUtime=0.24 /proc/30421/task/30428/stat : 30428 (java) S 30420 30402 29362 0 -1 64 683 0 0 0 24 0 0 0 15 0 9 0 2002551705 671645696 14862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30429] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30429/stat : 30429 (java) S 30420 30402 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002551705 671645696 14862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30430] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30430/stat : 30430 (java) S 30420 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002551705 671645696 14862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30422] ppid=30420 vsize=7044 CPUtime=0 /proc/30422/stat : 30422 (translate) S 30420 30402 29362 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002551700 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 233402237010 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/30422/statm: 1761 213 182 1 0 41 0 [pid=30410/tid=30411] ppid=30402 vsize=197420 CPUtime=4.63 /proc/30410/task/30411/stat : 30411 (java) S 30402 30402 29362 0 -1 64 3895 0 1 0 456 7 0 0 20 0 10 0 2002551078 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=30410/tid=30412] ppid=30402 vsize=197420 CPUtime=1.14 /proc/30410/task/30412/stat : 30412 (java) S 30402 30402 29362 0 -1 64 8570 0 0 0 103 11 0 0 16 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30413] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30413/stat : 30413 (java) S 30402 30402 29362 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30414] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30414/stat : 30414 (java) S 30402 30402 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30415] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30415/stat : 30415 (java) S 30402 30402 29362 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30416] ppid=30402 vsize=197420 CPUtime=0.23 /proc/30410/task/30416/stat : 30416 (java) S 30402 30402 29362 0 -1 64 666 0 1 0 23 0 0 0 16 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30417] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30417/stat : 30417 (java) S 30402 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30418] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30418/stat : 30418 (java) S 30402 30402 29362 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30419] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30419/stat : 30419 (java) S 30402 30402 29362 0 -1 64 67 0 0 0 0 0 0 0 21 0 10 0 2002551699 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 24.87 Current children cumulated vsize (KiB) 871084 Solver just ended. Dumping a history of the last processes samples [startup+31.9078 s] /proc/loadavg: 2.31 2.53 2.34 3/104 30478 /proc/meminfo: memFree=1672536/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=8.86 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 374 4569 1 1 0 0 882 4 19 0 1 0 2002550176 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 238 196 169 0 51 0 [pid=30410] ppid=30402 vsize=197420 CPUtime=6.04 /proc/30410/stat : 30410 (java) S 30402 30402 29362 0 -1 0 13956 0 2 0 584 20 0 0 18 0 10 0 2002551077 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30410/statm: 49355 9473 2544 9 0 43937 0 [pid=30420] ppid=30410 vsize=5356 CPUtime=0 /proc/30420/stat : 30420 (abscon) S 30410 30402 29362 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2002551699 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30420/statm: 1339 235 194 169 0 50 0 [pid=30421] ppid=30420 vsize=655904 CPUtime=16.36 /proc/30421/stat : 30421 (java) S 30420 30402 29362 0 -1 0 18616 0 10 0 1619 17 0 0 19 0 9 0 2002551700 671645696 18125 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30421/statm: 163976 18125 2008 9 0 158504 0 [pid=30421/tid=30423] ppid=30420 vsize=655904 CPUtime=15.93 /proc/30421/task/30423/stat : 30423 (java) R 30420 30402 29362 0 -1 64 12457 0 10 0 1579 14 0 0 25 0 9 0 2002551701 671645696 18125 996147200 134512640 134550740 4294955808 18446744073709551615 4126876150 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30424] ppid=30420 vsize=655904 CPUtime=0.15 /proc/30421/task/30424/stat : 30424 (java) S 30420 30402 29362 0 -1 64 4927 0 0 0 14 1 0 0 16 0 9 0 2002551702 671645696 18125 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30425] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30425/stat : 30425 (java) S 30420 30402 29362 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002551703 671645696 18125 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30426] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30426/stat : 30426 (java) S 30420 30402 29362 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002551703 671645696 18125 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=30410/tid=30417] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30417/stat : 30417 (java) S 30402 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30418] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30418/stat : 30418 (java) S 30402 30402 29362 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30419] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30419/stat : 30419 (java) S 30402 30402 29362 0 -1 64 67 0 0 0 0 0 0 0 21 0 10 0 2002551699 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 37.65 Current children cumulated vsize (KiB) 871084 [startup+38.703 s] /proc/loadavg: 2.26 2.51 2.34 3/104 30478 /proc/meminfo: memFree=1627352/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=8.86 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 374 4569 1 1 0 0 882 4 19 0 1 0 2002550176 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 238 196 169 0 51 0 [pid=30410] ppid=30402 vsize=197420 CPUtime=6.04 /proc/30410/stat : 30410 (java) S 30402 30402 29362 0 -1 0 13956 0 2 0 584 20 0 0 18 0 10 0 2002551077 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30410/statm: 49355 9473 2544 9 0 43937 0 [pid=30420] ppid=30410 vsize=5356 CPUtime=0 /proc/30420/stat : 30420 (abscon) S 30410 30402 29362 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2002551699 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30420/statm: 1339 235 194 169 0 50 0 [pid=30421] ppid=30420 vsize=655904 CPUtime=23.14 /proc/30421/stat : 30421 (java) S 30420 30402 29362 0 -1 0 21177 0 10 0 2295 19 0 0 19 0 9 0 2002551700 671645696 20676 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30421/statm: 163976 20676 2014 9 0 158504 0 [pid=30421/tid=30423] ppid=30420 vsize=655904 CPUtime=22.51 /proc/30421/task/30423/stat : 30423 (java) R 30420 30402 29362 0 -1 64 12484 0 10 0 2236 15 0 0 25 0 9 0 2002551701 671645696 20676 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30424] ppid=30420 vsize=655904 CPUtime=0.31 /proc/30421/task/30424/stat : 30424 (java) S 30420 30402 29362 0 -1 64 7440 0 0 0 29 2 0 0 16 0 9 0 2002551702 671645696 20676 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30425] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30425/stat : 30425 (java) S 30420 30402 29362 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002551703 671645696 20676 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30426] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30426/stat : 30426 (java) S 30420 30402 29362 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002551703 671645696 20676 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30427] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30427/stat : 30427 (java) S 30420 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002551705 671645696 20676 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30428] ppid=30420 vsize=655904 CPUtime=0.29 /proc/30421/task/30428/stat : 30428 (java) S 30420 30402 29362 0 -1 64 708 0 0 0 28 1 0 0 15 0 9 0 2002551705 671645696 20676 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30429] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30429/stat : 30429 (java) S 30420 30402 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002551705 671645696 20676 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30430] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30430/stat : 30430 (java) S 30420 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002551705 671645696 20676 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30422] ppid=30420 vsize=7044 CPUtime=0 /proc/30422/stat : 30422 (translate) S 30420 30402 29362 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002551700 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 233402237010 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30422/statm: 1761 213 182 1 0 41 0 [pid=30410/tid=30411] ppid=30402 vsize=197420 CPUtime=4.63 /proc/30410/task/30411/stat : 30411 (java) S 30402 30402 29362 0 -1 64 3895 0 1 0 456 7 0 0 20 0 10 0 2002551078 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=30410/tid=30412] ppid=30402 vsize=197420 CPUtime=1.14 /proc/30410/task/30412/stat : 30412 (java) S 30402 30402 29362 0 -1 64 8570 0 0 0 103 11 0 0 16 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30413] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30413/stat : 30413 (java) S 30402 30402 29362 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30414] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30414/stat : 30414 (java) S 30402 30402 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30415] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30415/stat : 30415 (java) S 30402 30402 29362 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30416] ppid=30402 vsize=197420 CPUtime=0.23 /proc/30410/task/30416/stat : 30416 (java) S 30402 30402 29362 0 -1 64 666 0 1 0 23 0 0 0 16 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30417] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30417/stat : 30417 (java) S 30402 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30418] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30418/stat : 30418 (java) S 30402 30402 29362 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30419] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30419/stat : 30419 (java) S 30402 30402 29362 0 -1 64 67 0 0 0 0 0 0 0 21 0 10 0 2002551699 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 38.04 Current children cumulated vsize (KiB) 871084 [startup+39.1021 s] /proc/loadavg: 2.26 2.51 2.34 3/104 30478 /proc/meminfo: memFree=1627352/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=8.86 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 374 4569 1 1 0 0 882 4 19 0 1 0 2002550176 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 238 196 169 0 51 0 [pid=30410] ppid=30402 vsize=197420 CPUtime=6.04 /proc/30410/stat : 30410 (java) S 30402 30402 29362 0 -1 0 13956 0 2 0 584 20 0 0 18 0 10 0 2002551077 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30410/statm: 49355 9473 2544 9 0 43937 0 [pid=30420] ppid=30410 vsize=5356 CPUtime=0 /proc/30420/stat : 30420 (abscon) S 30410 30402 29362 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2002551699 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30420/statm: 1339 235 194 169 0 50 0 [pid=30421] ppid=30420 vsize=655904 CPUtime=23.55 /proc/30421/stat : 30421 (java) S 30420 30402 29362 0 -1 0 23937 0 10 0 2334 21 0 0 19 0 9 0 2002551700 671645696 23250 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30421/statm: 163976 23250 2617 9 0 158504 0 [pid=30421/tid=30423] ppid=30420 vsize=655904 CPUtime=22.69 /proc/30421/task/30423/stat : 30423 (java) R 30420 30402 29362 0 -1 64 12540 0 10 0 2254 15 0 0 25 0 9 0 2002551701 671645696 23250 996147200 134512640 134550740 4294955808 18446744073709551615 102715030 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30424] ppid=30420 vsize=655904 CPUtime=0.5 /proc/30421/task/30424/stat : 30424 (java) S 30420 30402 29362 0 -1 64 10122 0 0 0 47 3 0 0 16 0 9 0 2002551702 671645696 23250 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30425] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30425/stat : 30425 (java) S 30420 30402 29362 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002551703 671645696 23250 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30426] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30426/stat : 30426 (java) S 30420 30402 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2002551703 671645696 23250 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30427] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30427/stat : 30427 (java) S 30420 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002551705 671645696 23250 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30428] ppid=30420 vsize=655904 CPUtime=0.32 /proc/30421/task/30428/stat : 30428 (java) S 30420 30402 29362 0 -1 64 730 0 0 0 31 1 0 0 15 0 9 0 2002551705 671645696 23250 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30429] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30429/stat : 30429 (java) S 30420 30402 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002551705 671645696 23250 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30430] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30430/stat : 30430 (java) S 30420 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002551705 671645696 23250 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30422] ppid=30420 vsize=7044 CPUtime=0 /proc/30422/stat : 30422 (translate) S 30420 30402 29362 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002551700 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 233402237010 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30422/statm: 1761 213 182 1 0 41 0 [pid=30410/tid=30411] ppid=30402 vsize=197420 CPUtime=4.63 /proc/30410/task/30411/stat : 30411 (java) S 30402 30402 29362 0 -1 64 3895 0 1 0 456 7 0 0 20 0 10 0 2002551078 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=30410/tid=30412] ppid=30402 vsize=197420 CPUtime=1.14 /proc/30410/task/30412/stat : 30412 (java) S 30402 30402 29362 0 -1 64 8570 0 0 0 103 11 0 0 16 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30413] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30413/stat : 30413 (java) S 30402 30402 29362 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30414] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30414/stat : 30414 (java) S 30402 30402 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30415] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30415/stat : 30415 (java) S 30402 30402 29362 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30416] ppid=30402 vsize=197420 CPUtime=0.23 /proc/30410/task/30416/stat : 30416 (java) S 30402 30402 29362 0 -1 64 666 0 1 0 23 0 0 0 16 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30417] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30417/stat : 30417 (java) S 30402 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30418] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30418/stat : 30418 (java) S 30402 30402 29362 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30419] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30419/stat : 30419 (java) S 30402 30402 29362 0 -1 64 67 0 0 0 0 0 0 0 21 0 10 0 2002551699 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 38.45 Current children cumulated vsize (KiB) 871084 [startup+39.2021 s] /proc/loadavg: 2.26 2.51 2.34 3/104 30478 /proc/meminfo: memFree=1627352/2055920 swapFree=4111052/4192956 [pid=30402] ppid=30400 vsize=5360 CPUtime=8.86 /proc/30402/stat : 30402 (hydra) S 30400 30402 29362 0 -1 4194304 374 4569 1 1 0 0 882 4 19 0 1 0 2002550176 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30402/statm: 1340 238 196 169 0 51 0 [pid=30410] ppid=30402 vsize=197420 CPUtime=6.04 /proc/30410/stat : 30410 (java) S 30402 30402 29362 0 -1 0 13960 0 2 0 584 20 0 0 18 0 10 0 2002551077 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30410/statm: 49355 9473 2544 9 0 43937 0 [pid=30420] ppid=30410 vsize=5356 CPUtime=0 /proc/30420/stat : 30420 (abscon) S 30410 30402 29362 0 -1 4194304 303 288 0 0 0 0 0 0 16 0 1 0 2002551699 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/30420/statm: 1339 235 194 169 0 50 0 [pid=30421] ppid=30420 vsize=655904 CPUtime=23.62 /proc/30421/stat : 30421 (java) S 30420 30402 29362 0 -1 0 23977 0 10 0 2341 21 0 0 19 0 9 0 2002551700 671645696 23273 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30421/statm: 163976 23273 2617 9 0 158504 0 [pid=30421/tid=30423] ppid=30420 vsize=655904 CPUtime=22.75 /proc/30421/task/30423/stat : 30423 (java) S 30420 30402 29362 0 -1 64 12555 0 10 0 2260 15 0 0 25 0 9 0 2002551701 671645696 23273 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30424] ppid=30420 vsize=655904 CPUtime=0.5 /proc/30421/task/30424/stat : 30424 (java) S 30420 30402 29362 0 -1 64 10122 0 0 0 47 3 0 0 16 0 9 0 2002551702 671645696 23273 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30425] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30425/stat : 30425 (java) S 30420 30402 29362 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002551703 671645696 23273 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30426] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30426/stat : 30426 (java) S 30420 30402 29362 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 2002551703 671645696 23273 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30427] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30427/stat : 30427 (java) S 30420 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002551705 671645696 23273 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30428] ppid=30420 vsize=655904 CPUtime=0.34 /proc/30421/task/30428/stat : 30428 (java) S 30420 30402 29362 0 -1 64 740 0 0 0 33 1 0 0 16 0 9 0 2002551705 671645696 23273 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30421/tid=30429] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30429/stat : 30429 (java) S 30420 30402 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002551705 671645696 23273 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30421/tid=30430] ppid=30420 vsize=655904 CPUtime=0 /proc/30421/task/30430/stat : 30430 (java) S 30420 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002551705 671645696 23273 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30411] ppid=30402 vsize=197420 CPUtime=4.63 /proc/30410/task/30411/stat : 30411 (java) S 30402 30402 29362 0 -1 64 3899 0 1 0 456 7 0 0 16 0 10 0 2002551078 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=30410/tid=30412] ppid=30402 vsize=197420 CPUtime=1.14 /proc/30410/task/30412/stat : 30412 (java) S 30402 30402 29362 0 -1 64 8570 0 0 0 103 11 0 0 16 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30413] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30413/stat : 30413 (java) S 30402 30402 29362 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30414] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30414/stat : 30414 (java) S 30402 30402 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002551079 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30415] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30415/stat : 30415 (java) S 30402 30402 29362 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30416] ppid=30402 vsize=197420 CPUtime=0.23 /proc/30410/task/30416/stat : 30416 (java) S 30402 30402 29362 0 -1 64 666 0 1 0 23 0 0 0 16 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30410/tid=30417] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30417/stat : 30417 (java) S 30402 30402 29362 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30418] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30418/stat : 30418 (java) S 30402 30402 29362 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 2002551081 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30410/tid=30419] ppid=30402 vsize=197420 CPUtime=0 /proc/30410/task/30419/stat : 30419 (java) S 30402 30402 29362 0 -1 64 67 0 0 0 0 0 0 0 21 0 10 0 2002551699 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 38.52 Current children cumulated vsize (KiB) 864040 Child status: 0 Real time (s): 39.2673 CPU time (s): 38.5911 CPU user time (s): 38.0912 CPU system time (s): 0.499924 CPU usage (%): 98.2779 Max. virtual memory (cumulated for all children) (KiB): 871084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.0912 system time used= 0.499924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43595 page faults= 14 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12453 involuntary context switches= 17656 runsolver used 0.171973 second user time and 0.378942 second system time The end
Begin job on node70 at 2008-07-05 07:30:12 IDJOB=1085848 IDBENCH=57712 IDSOLVER=366 FILE ID=node70/1085848-1215235812 PBS_JOBID= 7881935 Free space on /tmp= 64436 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-0.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085848-1215235812/watcher-1085848-1215235812 -o /tmp/evaluation-result-1085848-1215235812/solver-1085848-1215235812 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085848-1215235812.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= cb796999e9af592cdd0cc64917717810 RANDOM SEED=1182465049 node70.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.256 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.256 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: 397656 kB Buffers: 3104 kB Cached: 1271728 kB SwapCached: 74764 kB Active: 1273376 kB Inactive: 304440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 397656 kB SwapTotal: 4192956 kB SwapFree: 4111052 kB Dirty: 209800 kB Writeback: 0 kB Mapped: 321096 kB Slab: 65112 kB Committed_AS: 4506432 kB PageTables: 2464 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= 66316 MiB End job on node70 at 2008-07-05 07:30:53