Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 32.864 | 33.9455 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 614079 |
Name | csp/fapp/fapp05/ normalized-fapp05-0350-6.xml |
MD5SUM | 84f9ffd3bc330531b9df688f127dfd93 |
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 | 22.5566 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 350 |
Number of constraints | 4665 |
Maximum constraint arity | 2 |
Maximum domain size | 270 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4665 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 10.12/11.19 c CASE TO CLASSIFY: 10.12/11.19 c Case: 0 10.12/11.19 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 12.272900 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.23/11.20 c choco : 1801.0 10.23/11.20 c mistral : 1801.0 10.23/11.20 c abscon : 1801.0 10.23/11.20 c 10.23/11.20 c 10.23/11.27 c List of same ones: 40 10.23/11.27 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 10.23/11.27 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 10.23/11.27 c choco : 1801.0 10.23/11.27 c mistral : 1800.04 10.23/11.27 c abscon : 11.0623 10.23/11.27 c 10.23/11.27 c 10.23/11.27 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 10.23/11.27 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 10.23/11.28 c choco : 1801.0 10.23/11.28 c mistral : 1800.06 10.23/11.28 c abscon : 11.9282 10.23/11.28 c 10.23/11.28 c 10.23/11.28 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 10.23/11.28 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 10.23/11.29 c choco : 1801.0 10.23/11.29 c mistral : 1800.03 10.23/11.29 c abscon : 12.0042 10.23/11.29 c 10.23/11.29 c 10.23/11.29 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 10.23/11.29 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 10.23/11.29 c choco : 1801.0 10.23/11.29 c mistral : 1800.01 10.23/11.29 c abscon : 6.594 10.23/11.29 c 10.23/11.29 c 10.23/11.29 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 10.23/11.29 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 10.33/11.30 c choco : 1801.0 10.33/11.30 c mistral : 1800.03 10.33/11.30 c abscon : 5.97909 10.33/11.30 c 10.33/11.30 c 10.33/11.30 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 10.33/11.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.857200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.30 c choco : 1801.0 10.33/11.30 c mistral : 1800.05 10.33/11.30 c abscon : 5.9181 10.33/11.30 c 10.33/11.30 c 10.33/11.30 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 10.33/11.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.815400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.31 c choco : 1801.0 10.33/11.31 c mistral : 1800.09 10.33/11.31 c abscon : 6.03108 10.33/11.31 c 10.33/11.31 c 10.33/11.31 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml 10.33/11.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.775600 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.31 c choco : 1801.0 10.33/11.31 c mistral : 1800.05 10.33/11.31 c abscon : 5.67014 10.33/11.31 c 10.33/11.31 c 10.33/11.31 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml 10.33/11.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.726200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.32 c choco : 1801.0 10.33/11.32 c mistral : 514.646 10.33/11.32 c abscon : 5.76312 10.33/11.32 c 10.33/11.32 c 10.33/11.32 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml 10.33/11.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.700400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.32 c choco : 1801.0 10.33/11.32 c mistral : 1800.06 10.33/11.32 c abscon : 5.79212 10.33/11.32 c 10.33/11.32 c 10.33/11.32 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-0.xml 10.33/11.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.205800 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.33 c choco : 281.41 10.33/11.33 c mistral : 45.1561 10.33/11.33 c abscon : 5.50616 10.33/11.33 c 10.33/11.33 c 10.33/11.33 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 10.33/11.33 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 10.33/11.33 c choco : 33.36 10.33/11.33 c mistral : 6.83796 10.33/11.33 c abscon : 10.5184 10.33/11.33 c 10.33/11.33 c 10.33/11.33 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 10.33/11.33 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 10.33/11.33 c choco : 80.85 10.33/11.34 c mistral : 12.5891 10.33/11.34 c abscon : 10.0495 10.33/11.34 c 10.33/11.34 c 10.33/11.34 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 10.33/11.34 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 10.33/11.34 c choco : 1801.0 10.33/11.34 c mistral : 39.28 10.33/11.34 c abscon : 9.8585 10.33/11.34 c 10.33/11.34 c 10.33/11.34 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 10.33/11.34 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 10.33/11.35 c choco : 115.65 10.33/11.35 c mistral : 1800.08 10.33/11.35 c abscon : 11.0983 10.33/11.35 c 10.33/11.35 c 10.33/11.35 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 10.33/11.35 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 10.33/11.35 c choco : 30.96 10.33/11.35 c mistral : 2.38464 10.33/11.35 c abscon : 5.81212 10.33/11.35 c 10.33/11.35 c 10.33/11.35 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 10.33/11.35 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 10.33/11.35 c choco : 30.87 10.33/11.35 c mistral : 2.28165 10.33/11.35 c abscon : 5.48517 10.33/11.35 c 10.33/11.35 c 10.33/11.35 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 10.33/11.35 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 10.33/11.36 c choco : 1801.0 10.33/11.36 c mistral : 8.45871 10.33/11.36 c abscon : 6.12907 10.33/11.36 c 10.33/11.36 c 10.33/11.36 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 10.33/11.36 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 10.33/11.36 c choco : 31.97 10.33/11.36 c mistral : 2.46962 10.33/11.36 c abscon : 5.44917 10.33/11.36 c 10.33/11.36 c 10.33/11.36 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml 10.33/11.36 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 10.33/11.37 c choco : 32.16 10.33/11.37 c mistral : 2.42163 10.33/11.37 c abscon : 5.54416 10.33/11.37 c 10.33/11.37 c 10.33/11.37 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml 10.33/11.37 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 10.33/11.37 c choco : 32.23 10.33/11.37 c mistral : 8.82966 10.33/11.37 c abscon : 5.43717 10.33/11.37 c 10.33/11.37 c 10.33/11.37 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-0.xml 10.33/11.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.003500 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.37 c choco : 38.64 10.33/11.37 c mistral : 6.43 10.33/11.37 c abscon : 5.53516 10.33/11.37 c 10.33/11.37 c 10.33/11.37 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml 10.33/11.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.856000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.37 c choco : 1801.0 10.33/11.37 c mistral : 1800.03 10.33/11.37 c abscon : 25.9351 10.33/11.37 c 10.33/11.37 c 10.33/11.37 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml 10.33/11.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.668400 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.37 c choco : 1801.0 10.33/11.37 c mistral : 1800.02 10.33/11.37 c abscon : 17.2824 10.33/11.37 c 10.33/11.37 c 10.33/11.37 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml 10.33/11.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.516200 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.38 c choco : 1801.0 10.33/11.38 c mistral : 6.79996 10.33/11.38 c abscon : 6.95294 10.33/11.38 c 10.33/11.38 c 10.33/11.38 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-0.xml 10.33/11.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.902380 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.38 c choco : 49.0 10.33/11.38 c mistral : 18.2302 10.33/11.38 c abscon : 5.2362 10.33/11.38 c 10.33/11.38 c 10.33/11.38 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml 10.33/11.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.461000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.38 c choco : 1801.0 10.33/11.38 c mistral : 4.03939 10.33/11.38 c abscon : 7.04993 10.33/11.38 c 10.33/11.38 c 10.33/11.38 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-4.xml 10.33/11.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.864190 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.38 c choco : 47.79 10.33/11.38 c mistral : 4.87226 10.33/11.38 c abscon : 5.55215 10.33/11.38 c 10.33/11.38 c 10.33/11.38 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-9.xml 10.33/11.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.859530 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.39 c choco : 47.84 10.33/11.39 c mistral : 4.67629 10.33/11.39 c abscon : 5.53016 10.33/11.39 c 10.33/11.39 c 10.33/11.39 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml 10.33/11.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.341500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.39 c choco : 1801.0 10.33/11.39 c mistral : 3.81642 10.33/11.39 c abscon : 7.04593 10.33/11.39 c 10.33/11.39 c 10.33/11.39 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-6.xml 10.33/11.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.848620 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.39 c choco : 47.53 10.33/11.39 c mistral : 4.74228 10.33/11.39 c abscon : 5.53016 10.33/11.39 c 10.33/11.39 c 10.33/11.39 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-10.xml 10.33/11.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.845490 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.33/11.40 c choco : 47.67 10.33/11.40 c mistral : 5.35519 10.33/11.40 c abscon : 5.65114 10.33/11.40 c 10.33/11.40 c 10.33/11.40 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-1.xml 10.33/11.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.842350 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.45/11.40 c choco : 49.15 10.45/11.40 c mistral : 19.3991 10.45/11.40 c abscon : 5.2442 10.45/11.40 c 10.45/11.40 c 10.45/11.40 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-5.xml 10.45/11.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.836050 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.45/11.40 c choco : 47.76 10.45/11.40 c mistral : 4.6153 10.45/11.40 c abscon : 5.52716 10.45/11.40 c 10.45/11.40 c 10.45/11.40 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml 10.45/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.258600 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.45/11.40 c choco : 1801.0 10.45/11.40 c mistral : 4.28235 10.45/11.40 c abscon : 6.70698 10.45/11.40 c 10.45/11.40 c 10.45/11.40 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-8.xml 10.45/11.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.810570 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.45/11.41 c choco : 47.94 10.45/11.41 c mistral : 4.84926 10.45/11.41 c abscon : 5.64914 10.45/11.41 c 10.45/11.41 c 10.45/11.41 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml 10.45/11.41 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 10.45/11.41 c choco : 37.81 10.45/11.41 c mistral : 7.2519 10.45/11.41 c abscon : 12.7981 10.45/11.41 c 10.45/11.41 c 10.45/11.41 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-3.xml 10.45/11.41 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.804130 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.45/11.41 c choco : 48.71 10.45/11.41 c mistral : 6.76797 10.45/11.41 c abscon : 5.33119 10.45/11.41 c 10.45/11.41 c 10.45/11.41 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-7.xml 10.45/11.41 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.802520 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.916300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.45/11.42 c choco : 47.34 10.45/11.42 c mistral : 4.98124 10.45/11.42 c abscon : 5.61215 10.45/11.42 c 10.45/11.42 c 10.45/11.42 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml 10.45/11.42 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 10.45/11.42 c choco : 67.9 10.45/11.42 c mistral : 6.572 10.45/11.42 c abscon : 12.5521 10.45/11.42 c 10.45/11.42 c 10.45/11.42 c Length: 40 10.45/11.42 c 0.8747000000000007 1.0793999999999997 1.1456 1.2394999999999996 1.2949000000000002 1.4156999999999993 1.4574999999999996 1.4972999999999992 1.5466999999999995 1.5724999999999998 2.0671 2.1944437583818375 2.2191096545013282 2.249988455237272 2.2636419104401218 2.3164868678024066 2.3230056497350593 2.329699478194774 2.34292331472906 2.3481704045279606 2.366136407458582 2.524322437546559 2.584289796006633 2.6211006065666393 2.6603276169945698 2.6717783037192655 2.6765518395398216 2.705719515752695 2.7098688143017187 2.715189514517174 2.7195896293788517 2.7223801244361527 2.7251802759313013 2.7308006438268246 2.74473179559388 2.7535619228056234 2.755950383225359 2.759322298450291 2.760762861642594 2.764199203168976 10.45/11.43 c 10.45/11.43 c 1.0 0.9022538067580945 0.8746065080922866 0.8381758732438078 0.8180715482676391 0.7774119821579768 0.764268014464847 0.7521594691743867 0.7376536369136364 0.7302979109855867 0.6130957174803414 0.5887678888157184 0.5842771971409745 0.5787510248342955 0.5763407478406424 0.5671981219607507 0.5660903756925842 0.564957377228959 0.5627323857457462 0.561854379785181 0.5588687336220087 0.5338893078529393 0.5249937424725468 0.5196785670797598 0.5141317009258722 0.5125347831799312 0.5118719897694743 0.5078590771656204 0.5072933196478745 0.5065696832297933 0.5059728078395748 0.5055950056268268 0.505216462744745 0.5044583725846928 0.5025890739538392 0.5014113934423683 0.5010937904725072 0.5006460980014279 0.5004550768160334 0.5 10.45/11.43 c 10.45/11.43 c solver 0 10.45/11.43 c before 0.0 seconds: {} 0 10.45/11.43 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23659 10.45/11.43 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} 24184 10.45/11.43 c 10.45/11.43 c solver 1 10.45/11.43 c before 0.0 seconds: {} 0 10.45/11.43 c before 18.0 seconds: {11, 12, 15, 16, 17, 18, 19, 20, 21, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 12158 10.45/11.43 c before 36.0 seconds: {11, 12, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13176 10.45/11.43 c before 54.0 seconds: {10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14368 10.45/11.43 c before 522.0 seconds: {8, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15105 10.45/11.43 c 10.45/11.43 c solver 2 10.45/11.43 c before 0.0 seconds: {} 0 10.45/11.43 c before 36.0 seconds: {11, 15, 16, 18, 19, 20} 3405 10.45/11.43 c before 54.0 seconds: {11, 15, 16, 18, 19, 20, 21, 25, 27, 28, 30, 31, 32, 33, 35, 36, 37, 38} 9491 10.45/11.43 c before 72.0 seconds: {11, 15, 16, 18, 19, 20, 21, 25, 27, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 9991 10.45/11.43 c before 90.0 seconds: {11, 12, 15, 16, 18, 19, 20, 21, 25, 27, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 10576 10.45/11.43 c before 126.0 seconds: {11, 12, 14, 15, 16, 18, 19, 20, 21, 25, 27, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 11152 10.45/11.43 c before 288.0 seconds: {10, 11, 12, 14, 15, 16, 18, 19, 20, 21, 25, 27, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 11765 10.45/11.43 c 10.45/11.43 cTotal time: 47 10.45/11.43 c 846.0 seconds unused 10.45/11.43 c 0 c 12 c 18 10.45/11.43 c 0 c 0 c 7 10.45/11.43 c 0 c 1 c 0 10.45/11.43 c is solver0 dominated by: 10.45/11.43 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 10.45/11.43 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false) 10.45/11.43 c is dominated? false 10.45/11.43 c 10.45/11.43 c is solver1 dominated by: 10.45/11.43 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true) 10.45/11.43 c is dominated? true 10.45/11.43 c 10.45/11.43 c is solver2 dominated by: 10.45/11.43 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true) 10.45/11.43 c is dominated? true 10.45/11.43 c 10.45/11.43 c Number of non-dominated solvers: 1 10.45/11.43 c remove dominated solvers 10.45/11.43 c solver 0 is not dominated by another solver 10.45/11.43 c solver 2 is dominated by another solver 10.45/11.43 c solver 1 is dominated by another solver 10.45/11.43 c 10.45/11.43 c solver 0: 36.0 10.45/11.43 c 10.45/11.43 c+ 2/2 of 98 10.45/11.43 c 10.45/11.43 c solver 1: 0.0 10.45/11.43 c 10.45/11.43 c solver 2: 0.0 10.45/11.43 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} 24184 10.45/11.43 c do not run mistral 10.45/11.43 c do not run choco 10.45/11.44 c Starting solver: HOME/cpHydra_k_40/solver/abscon 10.45/11.44 c On Instance: HOME/instance-1087381-1215243713.xml 10.45/11.44 c Running for: 1800 seconds 32.75/33.89 s UNSATISFIABLE 32.75/33.89 d ASSIGNMENTS 0 32.75/33.89 d CHECKS 614079
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-1087381-1215243713/watcher-1087381-1215243713 -o /tmp/evaluation-result-1087381-1215243713/solver-1087381-1215243713 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087381-1215243713.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.21 2.13 2.04 5/82 28032 /proc/meminfo: memFree=282432/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=0 /proc/28032/stat : 28032 (hydra) D 28030 28032 27715 0 -1 4194304 263 0 0 0 0 0 0 0 21 0 1 0 1554041759 5488640 231 996147200 4194304 4889804 548682068816 18446744073709551615 4488656 0 0 4100 65536 18446744071563479169 0 0 17 1 0 0 /proc/28032/statm: 1340 231 192 169 0 51 0 [startup+0.0530811 s] /proc/loadavg: 2.21 2.13 2.04 5/82 28032 /proc/meminfo: memFree=282432/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=0 /proc/28032/stat : 28032 (hydra) D 28030 28032 27715 0 -1 4194304 263 0 0 0 0 0 0 0 21 0 1 0 1554041759 5488640 231 996147200 4194304 4889804 548682068816 18446744073709551615 4488656 0 0 4100 65536 18446744071563479169 0 0 17 1 0 0 /proc/28032/statm: 1340 231 192 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101086 s] /proc/loadavg: 2.21 2.13 2.04 5/82 28032 /proc/meminfo: memFree=282432/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=0 /proc/28032/stat : 28032 (hydra) D 28030 28032 27715 0 -1 4194304 263 0 0 0 0 0 0 0 21 0 1 0 1554041759 5488640 231 996147200 4194304 4889804 548682068816 18446744073709551615 4488656 0 0 4100 65536 18446744071563479169 0 0 17 1 0 0 /proc/28032/statm: 1340 231 192 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301277 s] /proc/loadavg: 2.21 2.13 2.04 5/82 28032 /proc/meminfo: memFree=282432/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=0 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 1554041759 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28032/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701166 s] /proc/loadavg: 2.21 2.13 2.04 5/82 28032 /proc/meminfo: memFree=282432/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=0 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 1554041759 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28032/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50124 s] /proc/loadavg: 2.19 2.12 2.04 4/84 28036 /proc/meminfo: memFree=265904/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=0 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 1554041759 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28032/statm: 1340 236 195 169 0 51 0 [pid=28036] ppid=28032 vsize=17608 CPUtime=0.72 /proc/28036/stat : 28036 (xsolve) R 28032 28032 27715 0 -1 4194304 2584 0 7 0 70 2 0 0 24 0 1 0 1554041779 18030592 2550 996147200 134512640 135239763 4294956176 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 0 0 0 /proc/28036/statm: 4402 2550 417 177 0 3305 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 22968 [startup+3.10144 s] /proc/loadavg: 2.19 2.12 2.04 3/84 28036 /proc/meminfo: memFree=259568/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=0 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 1554041759 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28032/statm: 1340 236 195 169 0 51 0 [pid=28036] ppid=28032 vsize=17608 CPUtime=2.31 /proc/28036/stat : 28036 (xsolve) R 28032 28032 27715 0 -1 4194304 2584 0 7 0 229 2 0 0 25 0 1 0 1554041779 18030592 2550 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0 /proc/28036/statm: 4402 2550 417 177 0 3305 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 22968 [startup+6.3018 s] /proc/loadavg: 2.19 2.12 2.04 3/84 28036 /proc/meminfo: memFree=243632/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=4.71 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 374 3179 1 11 0 0 468 3 17 0 1 0 1554041759 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28032/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 4.71 Current children cumulated vsize (KiB) 5360 [startup+12.7025 s] /proc/loadavg: 2.31 2.15 2.05 2/89 28077 /proc/meminfo: memFree=1771656/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=4.71 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 374 3179 1 11 0 0 468 3 17 0 1 0 1554041759 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28032/statm: 1340 238 196 169 0 51 0 [pid=28040] ppid=28032 vsize=197436 CPUtime=5.79 /proc/28040/stat : 28040 (java) S 28032 28032 27715 0 -1 0 11450 0 4 0 558 21 0 0 18 0 10 0 1554042315 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28040/statm: 49359 9428 2544 9 0 43941 0 [pid=28050] ppid=28040 vsize=5356 CPUtime=0 /proc/28050/stat : 28050 (abscon) S 28040 28032 27715 0 -1 4194304 300 0 1 0 0 0 0 0 19 0 1 0 1554042903 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28050/statm: 1339 235 194 169 0 50 0 [pid=28051] ppid=28050 vsize=656632 CPUtime=1.25 /proc/28051/stat : 28051 (java) S 28050 28032 27715 0 -1 0 12883 0 16 0 116 9 0 0 18 0 9 0 1554042905 672391168 12407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/28051/statm: 164158 12407 1994 9 0 158686 0 [pid=28051/tid=28053] ppid=28050 vsize=656632 CPUtime=1.08 /proc/28051/task/28053/stat : 28053 (java) R 28050 28032 27715 0 -1 64 11654 0 16 0 100 8 0 0 22 0 9 0 1554042906 672391168 12407 996147200 134512640 134550740 4294955808 18446744073709551615 4126870902 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28054] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28054/stat : 28054 (java) S 28050 28032 27715 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1554042907 672391168 12407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28051/tid=28055] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28055/stat : 28055 (java) S 28050 28032 27715 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1554042908 672391168 12407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28051/tid=28056] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28056/stat : 28056 (java) S 28050 28032 27715 0 -1 64 5 0 0 0 0 0 0 0 23 0 9 0 1554042908 672391168 12407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28051/tid=28057] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28057/stat : 28057 (java) S 28050 28032 27715 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1554042910 672391168 12407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28058] ppid=28050 vsize=656632 CPUtime=0.15 /proc/28051/task/28058/stat : 28058 (java) S 28050 28032 27715 0 -1 64 682 0 0 0 15 0 0 0 16 0 9 0 1554042910 672391168 12407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28059] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28059/stat : 28059 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1554042910 672391168 12407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28060] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28060/stat : 28060 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1554042910 672391168 12407 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28052] ppid=28050 vsize=7044 CPUtime=0 /proc/28052/stat : 28052 (translate) S 28050 28032 27715 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1554042906 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/28052/statm: 1761 213 182 1 0 41 0 [pid=28040/tid=28041] ppid=28032 vsize=197436 CPUtime=4.61 /proc/28040/task/28041/stat : 28041 (java) S 28032 28032 27715 0 -1 64 3857 0 4 0 452 9 0 0 17 0 10 0 1554042317 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28040/tid=28042] ppid=28032 vsize=197436 CPUtime=0.91 /proc/28040/task/28042/stat : 28042 (java) S 28032 28032 27715 0 -1 64 6122 0 0 0 81 10 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28043] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28043/stat : 28043 (java) S 28032 28032 27715 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28044] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28044/stat : 28044 (java) S 28032 28032 27715 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28045] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28045/stat : 28045 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28046] ppid=28032 vsize=197436 CPUtime=0.23 /proc/28040/task/28046/stat : 28046 (java) S 28032 28032 27715 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28047] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28047/stat : 28047 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28048] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28048/stat : 28048 (java) S 28032 28032 27715 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28049] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28049/stat : 28049 (java) S 28032 28032 27715 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1554042903 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.75 Current children cumulated vsize (KiB) 871828 [startup+25.5039 s] /proc/loadavg: 2.26 2.14 2.05 3/94 28087 /proc/meminfo: memFree=1728296/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=4.71 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 374 3179 1 11 0 0 468 3 17 0 1 0 1554041759 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28032/statm: 1340 238 196 169 0 51 0 [pid=28040] ppid=28032 vsize=197436 CPUtime=5.79 /proc/28040/stat : 28040 (java) S 28032 28032 27715 0 -1 0 11475 0 4 0 558 21 0 0 18 0 10 0 1554042315 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28040/statm: 49359 9428 2544 9 0 43941 0 [pid=28050] ppid=28040 vsize=5356 CPUtime=0 /proc/28050/stat : 28050 (abscon) S 28040 28032 27715 0 -1 4194304 300 0 1 0 0 0 0 0 19 0 1 0 1554042903 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28050/statm: 1339 235 194 169 0 50 0 [pid=28051] ppid=28050 vsize=656632 CPUtime=13.99 /proc/28051/stat : 28051 (java) S 28050 28032 27715 0 -1 0 15274 0 16 0 1387 12 0 0 18 0 9 0 1554042905 672391168 14792 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/28051/statm: 164158 14792 2007 9 0 158686 0 [pid=28051/tid=28053] ppid=28050 vsize=656632 CPUtime=13.71 /proc/28051/task/28053/stat : 28053 (java) R 28050 28032 27715 0 -1 64 12423 0 16 0 1361 10 0 0 25 0 9 0 1554042906 672391168 14792 996147200 134512640 134550740 4294955808 18446744073709551615 4126870952 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28054] ppid=28050 vsize=656632 CPUtime=0.04 /proc/28051/task/28054/stat : 28054 (java) S 28050 28032 27715 0 -1 64 1585 0 0 0 4 0 0 0 16 0 9 0 1554042907 672391168 14792 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28051/tid=28055] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28055/stat : 28055 (java) S 28050 28032 27715 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554042908 672391168 14792 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28056] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28056/stat : 28056 (java) S 28050 28032 27715 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1554042908 672391168 14792 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28057] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28057/stat : 28057 (java) S 28050 28032 27715 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1554042910 672391168 14792 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28058] ppid=28050 vsize=656632 CPUtime=0.21 /proc/28051/task/28058/stat : 28058 (java) S 28050 28032 27715 0 -1 64 720 0 0 0 20 1 0 0 15 0 9 0 1554042910 672391168 14792 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28059] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28059/stat : 28059 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1554042910 672391168 14792 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28060] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28060/stat : 28060 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1554042910 672391168 14792 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28052] ppid=28050 vsize=7044 CPUtime=0 /proc/28052/stat : 28052 (translate) S 28050 28032 27715 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1554042906 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/28052/statm: 1761 213 182 1 0 41 0 [pid=28040/tid=28041] ppid=28032 vsize=197436 CPUtime=4.61 /proc/28040/task/28041/stat : 28041 (java) S 28032 28032 27715 0 -1 64 3857 0 4 0 452 9 0 0 17 0 10 0 1554042317 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28040/tid=28042] ppid=28032 vsize=197436 CPUtime=0.91 /proc/28040/task/28042/stat : 28042 (java) S 28032 28032 27715 0 -1 64 6122 0 0 0 81 10 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28043] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28043/stat : 28043 (java) S 28032 28032 27715 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28044] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28044/stat : 28044 (java) S 28032 28032 27715 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28045] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28045/stat : 28045 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28046] ppid=28032 vsize=197436 CPUtime=0.23 /proc/28040/task/28046/stat : 28046 (java) S 28032 28032 27715 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28047] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28047/stat : 28047 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28048] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28048/stat : 28048 (java) S 28032 28032 27715 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28049] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28049/stat : 28049 (java) S 28032 28032 27715 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1554042903 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 24.49 Current children cumulated vsize (KiB) 871828 Solver just ended. Dumping a history of the last processes samples ################ # More data... # ################ /proc/28051/task/28056/stat : 28056 (java) S 28050 28032 27715 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1554042908 672391168 18249 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28057] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28057/stat : 28057 (java) S 28050 28032 27715 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1554042910 672391168 18249 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28058] ppid=28050 vsize=656632 CPUtime=0.22 /proc/28051/task/28058/stat : 28058 (java) S 28050 28032 27715 0 -1 64 721 0 0 0 21 1 0 0 16 0 9 0 1554042910 672391168 18249 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28059] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28059/stat : 28059 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1554042910 672391168 18249 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28060] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28060/stat : 28060 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1554042910 672391168 18249 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28052] ppid=28050 vsize=7044 CPUtime=0 /proc/28052/stat : 28052 (translate) S 28050 28032 27715 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1554042906 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/28052/statm: 1761 213 182 1 0 41 0 [pid=28040/tid=28041] ppid=28032 vsize=197436 CPUtime=4.61 /proc/28040/task/28041/stat : 28041 (java) S 28032 28032 27715 0 -1 64 3857 0 4 0 452 9 0 0 17 0 10 0 1554042317 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28040/tid=28042] ppid=28032 vsize=197436 CPUtime=0.91 /proc/28040/task/28042/stat : 28042 (java) S 28032 28032 27715 0 -1 64 6122 0 0 0 81 10 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28043] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28043/stat : 28043 (java) S 28032 28032 27715 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28044] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28044/stat : 28044 (java) S 28032 28032 27715 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28045] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28045/stat : 28045 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28046] ppid=28032 vsize=197436 CPUtime=0.23 /proc/28040/task/28046/stat : 28046 (java) S 28032 28032 27715 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28047] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28047/stat : 28047 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28048] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28048/stat : 28048 (java) S 28032 28032 27715 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28049] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28049/stat : 28049 (java) S 28032 28032 27715 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1554042903 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.87 Current children cumulated vsize (KiB) 871828 [startup+32.7028 s] /proc/loadavg: 2.22 2.14 2.04 3/94 28087 /proc/meminfo: memFree=1714664/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=4.71 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 374 3179 1 11 0 0 468 3 17 0 1 0 1554041759 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28032/statm: 1340 238 196 169 0 51 0 [pid=28040] ppid=28032 vsize=197436 CPUtime=5.79 /proc/28040/stat : 28040 (java) S 28032 28032 27715 0 -1 0 11475 0 4 0 558 21 0 0 18 0 10 0 1554042315 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28040/statm: 49359 9428 2544 9 0 43941 0 [pid=28050] ppid=28040 vsize=5356 CPUtime=0 /proc/28050/stat : 28050 (abscon) S 28040 28032 27715 0 -1 4194304 300 0 1 0 0 0 0 0 19 0 1 0 1554042903 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28050/statm: 1339 235 194 169 0 50 0 [pid=28051] ppid=28050 vsize=656632 CPUtime=21.16 /proc/28051/stat : 28051 (java) S 28050 28032 27715 0 -1 0 19164 0 16 0 2100 16 0 0 18 0 9 0 1554042905 672391168 18677 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/28051/statm: 164158 18677 2009 9 0 158686 0 [pid=28051/tid=28053] ppid=28050 vsize=656632 CPUtime=20.69 /proc/28051/task/28053/stat : 28053 (java) R 28050 28032 27715 0 -1 64 12430 0 16 0 2058 11 0 0 25 0 9 0 1554042906 672391168 18678 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28054] ppid=28050 vsize=656632 CPUtime=0.2 /proc/28051/task/28054/stat : 28054 (java) R 28050 28032 27715 0 -1 64 5453 0 0 0 18 2 0 0 16 0 9 0 1554042907 672391168 18678 996147200 134512640 134550740 4294955808 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28055] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28055/stat : 28055 (java) S 28050 28032 27715 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554042908 672391168 18679 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28056] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28056/stat : 28056 (java) S 28050 28032 27715 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1554042908 672391168 18679 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28057] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28057/stat : 28057 (java) S 28050 28032 27715 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1554042910 672391168 18680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28058] ppid=28050 vsize=656632 CPUtime=0.24 /proc/28051/task/28058/stat : 28058 (java) S 28050 28032 27715 0 -1 64 736 0 0 0 23 1 0 0 16 0 9 0 1554042910 672391168 18680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28059] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28059/stat : 28059 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1554042910 672391168 18680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28060] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28060/stat : 28060 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1554042910 672391168 18681 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28052] ppid=28050 vsize=7044 CPUtime=0 /proc/28052/stat : 28052 (translate) S 28050 28032 27715 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1554042906 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/28052/statm: 1761 213 182 1 0 41 0 [pid=28040/tid=28041] ppid=28032 vsize=197436 CPUtime=4.61 /proc/28040/task/28041/stat : 28041 (java) S 28032 28032 27715 0 -1 64 3857 0 4 0 452 9 0 0 17 0 10 0 1554042317 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28040/tid=28042] ppid=28032 vsize=197436 CPUtime=0.91 /proc/28040/task/28042/stat : 28042 (java) S 28032 28032 27715 0 -1 64 6122 0 0 0 81 10 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28043] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28043/stat : 28043 (java) S 28032 28032 27715 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28044] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28044/stat : 28044 (java) S 28032 28032 27715 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28045] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28045/stat : 28045 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28046] ppid=28032 vsize=197436 CPUtime=0.23 /proc/28040/task/28046/stat : 28046 (java) S 28032 28032 27715 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28047] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28047/stat : 28047 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28048] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28048/stat : 28048 (java) S 28032 28032 27715 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28049] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28049/stat : 28049 (java) S 28032 28032 27715 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1554042903 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.66 Current children cumulated vsize (KiB) 871828 [startup+33.5038 s] /proc/loadavg: 2.22 2.14 2.04 3/94 28087 /proc/meminfo: memFree=1710696/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=4.71 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 374 3179 1 11 0 0 468 3 17 0 1 0 1554041759 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28032/statm: 1340 238 196 169 0 51 0 [pid=28040] ppid=28032 vsize=197436 CPUtime=5.79 /proc/28040/stat : 28040 (java) S 28032 28032 27715 0 -1 0 11475 0 4 0 558 21 0 0 18 0 10 0 1554042315 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28040/statm: 49359 9428 2544 9 0 43941 0 [pid=28050] ppid=28040 vsize=5356 CPUtime=0 /proc/28050/stat : 28050 (abscon) S 28040 28032 27715 0 -1 4194304 300 0 1 0 0 0 0 0 19 0 1 0 1554042903 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28050/statm: 1339 235 194 169 0 50 0 [pid=28051] ppid=28050 vsize=656632 CPUtime=21.95 /proc/28051/stat : 28051 (java) S 28050 28032 27715 0 -1 0 22034 0 16 0 2178 17 0 0 18 0 9 0 1554042905 672391168 21356 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/28051/statm: 164158 21356 2616 9 0 158686 0 [pid=28051/tid=28053] ppid=28050 vsize=656632 CPUtime=21.24 /proc/28051/task/28053/stat : 28053 (java) R 28050 28032 27715 0 -1 64 12516 0 16 0 2112 12 0 0 25 0 9 0 1554042906 672391168 21356 996147200 134512640 134550740 4294955808 18446744073709551615 4127080110 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28054] ppid=28050 vsize=656632 CPUtime=0.39 /proc/28051/task/28054/stat : 28054 (java) S 28050 28032 27715 0 -1 64 8208 0 0 0 37 2 0 0 17 0 9 0 1554042907 672391168 21356 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28055] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28055/stat : 28055 (java) S 28050 28032 27715 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554042908 672391168 21356 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28056] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28056/stat : 28056 (java) S 28050 28032 27715 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1554042908 672391168 21356 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28057] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28057/stat : 28057 (java) S 28050 28032 27715 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1554042910 672391168 21356 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28058] ppid=28050 vsize=656632 CPUtime=0.29 /proc/28051/task/28058/stat : 28058 (java) S 28050 28032 27715 0 -1 64 764 0 0 0 28 1 0 0 15 0 9 0 1554042910 672391168 21356 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28059] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28059/stat : 28059 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1554042910 672391168 21356 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28051/tid=28060] ppid=28050 vsize=656632 CPUtime=0 /proc/28051/task/28060/stat : 28060 (java) S 28050 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1554042910 672391168 21356 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28052] ppid=28050 vsize=7044 CPUtime=0 /proc/28052/stat : 28052 (translate) S 28050 28032 27715 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1554042906 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/28052/statm: 1761 213 182 1 0 41 0 [pid=28040/tid=28041] ppid=28032 vsize=197436 CPUtime=4.61 /proc/28040/task/28041/stat : 28041 (java) S 28032 28032 27715 0 -1 64 3857 0 4 0 452 9 0 0 17 0 10 0 1554042317 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28040/tid=28042] ppid=28032 vsize=197436 CPUtime=0.91 /proc/28040/task/28042/stat : 28042 (java) S 28032 28032 27715 0 -1 64 6122 0 0 0 81 10 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28043] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28043/stat : 28043 (java) S 28032 28032 27715 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28044] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28044/stat : 28044 (java) S 28032 28032 27715 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1554042324 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28045] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28045/stat : 28045 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28046] ppid=28032 vsize=197436 CPUtime=0.23 /proc/28040/task/28046/stat : 28046 (java) S 28032 28032 27715 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28047] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28047/stat : 28047 (java) S 28032 28032 27715 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28048] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28048/stat : 28048 (java) S 28032 28032 27715 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1554042329 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28049] ppid=28032 vsize=197436 CPUtime=0 /proc/28040/task/28049/stat : 28049 (java) S 28032 28032 27715 0 -1 64 69 0 0 0 0 0 0 0 18 0 10 0 1554042903 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.45 Current children cumulated vsize (KiB) 871828 [startup+33.9039 s] /proc/loadavg: 2.22 2.14 2.04 3/94 28087 /proc/meminfo: memFree=1710696/2055920 swapFree=4112960/4192956 [pid=28032] ppid=28030 vsize=5360 CPUtime=4.71 /proc/28032/stat : 28032 (hydra) S 28030 28032 27715 0 -1 4194304 374 3179 1 11 0 0 468 3 17 0 1 0 1554041759 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28032/statm: 1340 238 196 169 0 51 0 [pid=28040] ppid=28032 vsize=197436 CPUtime=28.11 /proc/28040/stat : 28040 (java) S 28032 28032 27715 0 -1 0 11561 22673 4 17 558 21 2213 19 18 0 9 0 1554042315 202174464 9430 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28040/statm: 49359 9430 2545 9 0 43941 0 [pid=28040/tid=28041] ppid=28032 vsize=197436 CPUtime=26.93 /proc/28040/task/28041/stat : 28041 (java) S 28032 28032 27715 0 -1 64 3909 22673 4 17 452 9 2213 19 16 0 9 0 1554042317 202174464 9430 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28042] ppid=28032 vsize=197436 CPUtime=23.23 /proc/28040/task/28042/stat : 28042 (java) S 28032 28032 27715 0 -1 64 6143 22673 0 17 81 10 2213 19 16 0 9 0 1554042324 202174464 9430 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28043] ppid=28032 vsize=197436 CPUtime=22.32 /proc/28040/task/28043/stat : 28043 (java) S 28032 28032 27715 0 -1 64 11 22673 0 17 0 0 2213 19 16 0 9 0 1554042324 202174464 9430 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28044] ppid=28032 vsize=197436 CPUtime=22.32 /proc/28040/task/28044/stat : 28044 (java) S 28032 28032 27715 0 -1 64 5 22673 0 17 0 0 2213 19 16 0 9 0 1554042324 202174464 9430 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28045] ppid=28032 vsize=197436 CPUtime=22.32 /proc/28040/task/28045/stat : 28045 (java) S 28032 28032 27715 0 -1 64 1 22673 0 17 0 0 2213 19 18 0 9 0 1554042329 202174464 9430 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28046] ppid=28032 vsize=197436 CPUtime=22.55 /proc/28040/task/28046/stat : 28046 (java) S 28032 28032 27715 0 -1 64 670 22673 0 17 23 0 2213 19 16 0 9 0 1554042329 202174464 9430 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28040/tid=28047] ppid=28032 vsize=197436 CPUtime=22.32 /proc/28040/task/28047/stat : 28047 (java) S 28032 28032 27715 0 -1 64 1 22673 0 17 0 0 2213 19 19 0 9 0 1554042329 202174464 9430 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28040/tid=28048] ppid=28032 vsize=197436 CPUtime=22.32 /proc/28040/task/28048/stat : 28048 (java) S 28032 28032 27715 0 -1 64 32 22673 0 17 0 0 2213 19 15 0 9 0 1554042329 202174464 9430 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.82 Current children cumulated vsize (KiB) 202796 Child status: 0 Real time (s): 33.9455 CPU time (s): 32.864 CPU user time (s): 32.4071 CPU system time (s): 0.45693 CPU usage (%): 96.8139 Max. virtual memory (cumulated for all children) (KiB): 871832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.4071 system time used= 0.45693 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37828 page faults= 33 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10539 involuntary context switches= 9926 runsolver used 0.131979 second user time and 0.302953 second system time The end
Begin job on node38 at 2008-07-05 09:41:53 IDJOB=1087381 IDBENCH=57978 IDSOLVER=366 FILE ID=node38/1087381-1215243713 PBS_JOBID= 7881989 Free space on /tmp= 64428 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp05/normalized-fapp05-0350-6.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087381-1215243713/watcher-1087381-1215243713 -o /tmp/evaluation-result-1087381-1215243713/solver-1087381-1215243713 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087381-1215243713.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 84f9ffd3bc330531b9df688f127dfd93 RANDOM SEED=1358784551 node38.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.223 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.223 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: 283104 kB Buffers: 2012 kB Cached: 1085472 kB SwapCached: 72868 kB Active: 1174936 kB Inactive: 519320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 283104 kB SwapTotal: 4192956 kB SwapFree: 4112960 kB Dirty: 204088 kB Writeback: 11140 kB Mapped: 624904 kB Slab: 62456 kB Committed_AS: 3723100 kB PageTables: 3240 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= 66416 MiB End job on node38 at 2008-07-05 09:42:28