Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 34.1408 | 34.8425 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 91331 |
Name | csp/fapp/fapp17/ normalized-fapp17-0300-1.xml |
MD5SUM | 73dece1b19758e876aa500d620069f40 |
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 | 1.01284 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 3865 |
Maximum constraint arity | 2 |
Maximum domain size | 302 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3865 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 13.35/13.52 c CASE TO CLASSIFY: 13.35/13.53 c Case: 0 13.35/13.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 11.916300 | 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 13.35/13.54 c choco : 1801.0 13.35/13.54 c mistral : 1801.0 13.35/13.54 c abscon : 1801.0 13.35/13.54 c 13.35/13.54 c 13.44/13.61 c List of same ones: 40 13.44/13.61 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 13.44/13.61 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 13.44/13.62 c choco : 1801.0 13.44/13.62 c mistral : 1800.04 13.44/13.62 c abscon : 11.0623 13.44/13.62 c 13.44/13.62 c 13.44/13.62 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 13.44/13.62 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 13.44/13.63 c choco : 1801.0 13.44/13.63 c mistral : 1800.06 13.44/13.63 c abscon : 11.9282 13.44/13.63 c 13.44/13.63 c 13.44/13.63 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 13.44/13.63 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 13.44/13.64 c choco : 1801.0 13.44/13.64 c mistral : 1800.03 13.44/13.64 c abscon : 12.0042 13.44/13.64 c 13.44/13.64 c 13.44/13.64 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 13.44/13.64 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 13.44/13.65 c choco : 1801.0 13.44/13.65 c mistral : 1800.01 13.44/13.65 c abscon : 6.594 13.44/13.65 c 13.44/13.65 c 13.44/13.65 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 13.44/13.65 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 13.44/13.66 c choco : 1801.0 13.44/13.66 c mistral : 1800.03 13.44/13.66 c abscon : 5.97909 13.44/13.66 c 13.44/13.66 c 13.44/13.66 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 13.44/13.66 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 13.44/13.67 c choco : 1801.0 13.44/13.67 c mistral : 1800.05 13.44/13.67 c abscon : 5.9181 13.44/13.67 c 13.44/13.67 c 13.44/13.67 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 13.44/13.67 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 13.44/13.68 c choco : 1801.0 13.44/13.68 c mistral : 1800.09 13.44/13.68 c abscon : 6.03108 13.44/13.68 c 13.44/13.68 c 13.44/13.68 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml 13.44/13.68 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 13.44/13.69 c choco : 1801.0 13.44/13.69 c mistral : 1800.05 13.44/13.69 c abscon : 5.67014 13.44/13.69 c 13.44/13.69 c 13.44/13.69 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml 13.44/13.69 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 13.44/13.69 c choco : 1801.0 13.44/13.69 c mistral : 514.646 13.44/13.70 c abscon : 5.76312 13.44/13.70 c 13.44/13.70 c 13.44/13.70 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml 13.44/13.70 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 13.51/13.71 c choco : 1801.0 13.51/13.71 c mistral : 1800.06 13.51/13.71 c abscon : 5.79212 13.51/13.71 c 13.51/13.71 c 13.51/13.71 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml 13.51/13.71 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 13.71/13.91 c choco : 37.81 13.71/13.91 c mistral : 7.2519 13.71/13.91 c abscon : 12.7981 13.71/13.91 c 13.71/13.91 c 13.71/13.91 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml 13.71/13.91 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 13.71/13.92 c choco : 67.9 13.71/13.92 c mistral : 6.572 13.71/13.92 c abscon : 12.5521 13.71/13.92 c 13.71/13.92 c 13.71/13.92 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml 13.71/13.92 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.995800 | 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 13.71/13.93 c choco : 1801.0 13.71/13.93 c mistral : 5.8841 13.71/13.93 c abscon : 12.8071 13.71/13.93 c 13.71/13.93 c 13.71/13.93 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml 13.71/13.93 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.929300 | 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 13.71/13.93 c choco : 104.95 13.71/13.93 c mistral : 7.41487 13.71/13.93 c abscon : 12.2871 13.71/13.93 c 13.71/13.93 c 13.71/13.93 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-0.xml 13.71/13.94 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 13.71/13.95 c choco : 49.0 13.71/13.95 c mistral : 18.2302 13.71/13.95 c abscon : 5.2362 13.71/13.95 c 13.71/13.95 c 13.71/13.95 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml 13.71/13.95 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.806500 | 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 13.71/13.95 c choco : 201.72 13.71/13.95 c mistral : 9.30558 13.71/13.95 c abscon : 12.6881 13.71/13.95 c 13.71/13.95 c 13.71/13.95 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-4.xml 13.71/13.95 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 13.71/13.96 c choco : 47.79 13.71/13.96 c mistral : 4.87226 13.71/13.96 c abscon : 5.55215 13.71/13.96 c 13.71/13.96 c 13.71/13.96 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-9.xml 13.71/13.96 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 13.71/13.97 c choco : 47.84 13.71/13.97 c mistral : 4.67629 13.71/13.97 c abscon : 5.53016 13.71/13.97 c 13.71/13.97 c 13.71/13.97 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-6.xml 13.71/13.97 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 13.71/13.97 c choco : 47.53 13.71/13.97 c mistral : 4.74228 13.71/13.97 c abscon : 5.53016 13.71/13.97 c 13.71/13.97 c 13.71/13.97 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-10.xml 13.71/13.97 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 13.71/13.98 c choco : 47.67 13.71/13.98 c mistral : 5.35519 13.71/13.98 c abscon : 5.65114 13.71/13.98 c 13.71/13.98 c 13.71/13.98 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-1.xml 13.71/13.99 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 13.71/13.99 c choco : 49.15 13.71/13.99 c mistral : 19.3991 13.71/13.99 c abscon : 5.2442 13.71/13.99 c 13.71/13.99 c 13.71/13.99 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-5.xml 13.71/13.99 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 13.71/14.00 c choco : 47.76 13.71/14.00 c mistral : 4.6153 13.71/14.00 c abscon : 5.52716 13.71/14.00 c 13.71/14.00 c 13.71/14.00 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml 13.71/14.00 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.734700 | 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 13.78/14.00 c choco : 1801.0 13.78/14.00 c mistral : 31.0823 13.78/14.00 c abscon : 15.9926 13.78/14.00 c 13.78/14.00 c 13.78/14.00 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml 13.78/14.00 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.730500 | 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 13.78/14.01 c choco : 1801.0 13.78/14.01 c mistral : 1800.02 13.78/14.01 c abscon : 14.5538 13.78/14.01 c 13.78/14.01 c 13.78/14.01 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-8.xml 13.78/14.01 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 13.78/14.02 c choco : 47.94 13.78/14.02 c mistral : 4.84926 13.78/14.02 c abscon : 5.64914 13.78/14.02 c 13.78/14.02 c 13.78/14.02 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-0.xml 13.78/14.02 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 13.78/14.02 c choco : 281.41 13.78/14.02 c mistral : 45.1561 13.78/14.02 c abscon : 5.50616 13.78/14.02 c 13.78/14.02 c 13.78/14.02 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-3.xml 13.78/14.02 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 13.78/14.03 c choco : 48.71 13.78/14.03 c mistral : 6.76797 13.78/14.03 c abscon : 5.33119 13.78/14.03 c 13.78/14.03 c 13.78/14.03 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-7.xml 13.78/14.03 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 13.78/14.03 c choco : 47.34 13.78/14.03 c mistral : 4.98124 13.78/14.03 c abscon : 5.61215 13.78/14.03 c 13.78/14.03 c 13.78/14.03 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml 13.78/14.03 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.645700 | 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 13.78/14.04 c choco : 245.07 13.78/14.04 c mistral : 279.471 13.78/14.04 c abscon : 6.48201 13.78/14.04 c 13.78/14.04 c 13.78/14.04 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-2.xml 13.78/14.04 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.764870 | 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 13.78/14.04 c choco : 49.45 13.78/14.04 c mistral : 20.1399 13.78/14.05 c abscon : 5.41218 13.78/14.05 c 13.78/14.05 c 13.78/14.05 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-2.xml 13.78/14.05 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.593400 | 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 13.78/14.05 c choco : 183.12 13.78/14.05 c mistral : 246.183 13.78/14.05 c abscon : 6.94994 13.78/14.05 c 13.78/14.05 c 13.78/14.05 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-1.xml 13.78/14.05 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.581200 | 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 13.78/14.06 c choco : 146.7 13.78/14.06 c mistral : 255.495 13.78/14.06 c abscon : 6.25605 13.78/14.06 c 13.78/14.06 c 13.78/14.06 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 13.78/14.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 13.78/14.06 c choco : 80.85 13.78/14.06 c mistral : 12.5891 13.78/14.06 c abscon : 10.0495 13.78/14.06 c 13.78/14.06 c 13.78/14.06 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 13.78/14.06 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 13.78/14.07 c choco : 33.36 13.78/14.07 c mistral : 6.83796 13.78/14.08 c abscon : 10.5184 13.78/14.08 c 13.78/14.08 c 13.78/14.08 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 13.78/14.08 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 13.78/14.08 c choco : 1801.0 13.78/14.08 c mistral : 39.28 13.78/14.08 c abscon : 9.8585 13.78/14.08 c 13.78/14.08 c 13.78/14.08 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 13.78/14.08 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 13.78/14.09 c choco : 115.65 13.78/14.09 c mistral : 1800.08 13.78/14.09 c abscon : 11.0983 13.78/14.09 c 13.78/14.09 c 13.78/14.09 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 13.78/14.09 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 13.78/14.09 c choco : 30.96 13.78/14.09 c mistral : 2.38464 13.78/14.09 c abscon : 5.81212 13.78/14.09 c 13.78/14.09 c 13.78/14.09 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 13.78/14.09 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 13.84/14.10 c choco : 30.87 13.84/14.10 c mistral : 2.28165 13.84/14.10 c abscon : 5.48517 13.84/14.10 c 13.84/14.10 c 13.84/14.10 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 13.84/14.10 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 13.84/14.11 c choco : 1801.0 13.84/14.11 c mistral : 8.45871 13.84/14.11 c abscon : 6.12907 13.84/14.11 c 13.84/14.11 c 13.84/14.11 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 13.84/14.11 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 13.84/14.12 c choco : 31.97 13.84/14.12 c mistral : 2.46962 13.84/14.12 c abscon : 5.44917 13.84/14.12 c 13.84/14.12 c 13.84/14.12 c Length: 40 13.84/14.12 c 1.3369599260355571 1.4288016215783776 1.4634053552672963 1.5160958557508826 1.5490129514710334 1.6250313977966702 1.6525783018740747 1.6793542579887661 1.713292807381447 1.731313675745964 1.9038816503724705 1.912225566878814 1.9494464415892538 1.9817139497477942 2.013919999999999 2.0456483614309184 2.052109999999999 2.05677 2.0676799999999993 2.07081 2.07395 2.0802499999999995 2.0854735046566764 2.0878560339795946 2.1057299999999994 2.1082799823137823 2.112169999999999 2.11378 2.1371582858143667 2.1514299999999995 2.1686598600575886 2.1761234313854994 2.2236883159777583 2.226550263662601 2.2314995130216806 2.236752227363594 2.262757891736541 2.266412071229766 2.2702430104761904 2.278026542122808 13.84/14.12 c 13.84/14.12 c 1.0 0.9110843677907078 0.8815512857337782 0.8400861251507133 0.8161049228547922 0.7656313195327068 0.7488484561633398 0.7332257498944835 0.7143365531267107 0.7046969180563185 0.6240543052359074 0.6206203236698533 0.6057511628799235 0.5934256324260225 0.5816137779885361 0.5704280858188779 0.5682025919313003 0.5666083591419184 0.5629107000834851 0.5618587609024341 0.5608074039848205 0.558709815827887 0.5569825090484585 0.5561981967575832 0.5503839176938002 0.5495643193644282 0.5483187073168877 0.5478048241114976 0.5404499769595311 0.5360563646548113 0.5308463294443584 0.5286207691663597 0.5148644202347094 0.5140595097174718 0.5126734778470532 0.5112106132546993 0.5040893834869483 0.503104612242725 0.5020763285646285 0.5 13.84/14.13 c 13.84/14.13 c solver 0 13.84/14.13 c before 0.0 seconds: {} 0 13.84/14.13 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24597 13.84/14.13 c 13.84/14.13 c solver 1 13.84/14.13 c before 0.0 seconds: {} 0 13.84/14.13 c before 18.0 seconds: {10, 11, 12, 13, 15, 16, 17, 18, 19, 21, 24, 26, 27, 32, 33, 36, 37, 38, 39} 10517 13.84/14.13 c before 36.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 29, 32, 33, 36, 37, 38, 39} 12752 13.84/14.13 c before 54.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 32, 33, 34, 36, 37, 38, 39} 13814 13.84/14.13 c before 252.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 30, 32, 33, 34, 36, 37, 38, 39} 14345 13.84/14.14 c before 270.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 14874 13.84/14.14 c before 288.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 15414 13.84/14.14 c before 522.0 seconds: {8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 16129 13.84/14.14 c 13.84/14.14 c solver 2 13.84/14.14 c before 0.0 seconds: {} 0 13.84/14.14 c before 36.0 seconds: {33, 36, 37, 39} 2021 13.84/14.14 c before 54.0 seconds: {10, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 33, 36, 37, 39} 8788 13.84/14.14 c before 72.0 seconds: {10, 11, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 33, 36, 37, 39} 9409 13.84/14.14 c before 90.0 seconds: {10, 11, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 36, 37, 39} 9924 13.84/14.14 c before 108.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 36, 37, 39} 10517 13.84/14.14 c before 126.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 35, 36, 37, 39} 11028 13.84/14.14 c before 162.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 31, 32, 33, 35, 36, 37, 39} 11557 13.84/14.14 c before 198.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 39} 12088 13.84/14.14 c before 216.0 seconds: {10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 39} 12658 13.84/14.14 c before 252.0 seconds: {10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 13199 13.84/14.14 c before 288.0 seconds: {10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 13748 13.84/14.14 c 13.84/14.14 cTotal time: 46 13.84/14.14 c 828.0 seconds unused 13.84/14.14 c 0 c 11 c 15 13.84/14.14 c 0 c 0 c 5 13.84/14.14 c 0 c 1 c 0 13.84/14.14 c is solver0 dominated by: 13.84/14.14 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) 13.84/14.14 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) 13.84/14.14 c is dominated? false 13.84/14.14 c 13.84/14.14 c is solver1 dominated by: 13.84/14.14 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) 13.84/14.14 c is dominated? true 13.84/14.14 c 13.84/14.14 c is solver2 dominated by: 13.84/14.14 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) 13.84/14.14 c is dominated? true 13.84/14.14 c 13.84/14.14 c Number of non-dominated solvers: 1 13.84/14.14 c remove dominated solvers 13.84/14.14 c solver 0 is not dominated by another solver 13.84/14.14 c solver 2 is dominated by another solver 13.84/14.14 c solver 1 is dominated by another solver 13.84/14.14 c 13.84/14.14 c solver 0: 18.0 13.84/14.14 c 13.84/14.14 c+ 1/1 of 99 13.84/14.14 c 13.84/14.14 c solver 1: 0.0 13.84/14.14 c 13.84/14.14 c solver 2: 0.0 13.84/14.14 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} 24597 13.84/14.14 c do not run mistral 13.84/14.14 c do not run choco 13.84/14.14 c Starting solver: HOME/cpHydra_k_40/solver/abscon 13.84/14.14 c On Instance: HOME/instance-1094986-1215280415.xml 13.84/14.14 c Running for: 1800 seconds 34.01/34.79 s UNSATISFIABLE 34.01/34.79 d ASSIGNMENTS 0 34.01/34.79 d CHECKS 91331
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-1094986-1215280415/watcher-1094986-1215280415 -o /tmp/evaluation-result-1094986-1215280415/solver-1094986-1215280415 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1094986-1215280415.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.07 2.02 4/81 16472 /proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=0 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 236 195 169 0 51 0 [pid=16473] ppid=16472 vsize=144 CPUtime=0 /proc/16473/stat : 16473 (rm) R 16472 16472 14240 0 -1 4194304 44 0 0 0 0 0 0 0 22 0 1 0 2007013717 147456 22 996147200 4194304 4227748 548682069024 18446744073709551615 255536985365 0 0 4096 0 0 0 0 17 1 0 0 /proc/16473/statm: 36 22 16 8 0 3 0 [startup+0.109233 s] /proc/loadavg: 2.21 2.07 2.02 4/81 16472 /proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=0 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201246 s] /proc/loadavg: 2.21 2.07 2.02 4/81 16472 /proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=0 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301244 s] /proc/loadavg: 2.21 2.07 2.02 4/81 16472 /proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=0 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701282 s] /proc/loadavg: 2.21 2.07 2.02 4/81 16472 /proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=0 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50136 s] /proc/loadavg: 2.21 2.07 2.02 4/83 16476 /proc/meminfo: memFree=1543720/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=0 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 236 195 169 0 51 0 [pid=16476] ppid=16472 vsize=15536 CPUtime=1.47 /proc/16476/stat : 16476 (xsolve) R 16472 16472 14240 0 -1 4194304 2236 0 0 0 146 1 0 0 25 0 1 0 2007013717 15908864 2195 996147200 134512640 135239763 4294956176 18446744073709551615 134535664 0 0 4096 0 0 0 0 17 1 0 0 /proc/16476/statm: 3884 2195 416 177 0 2787 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 20896 [startup+3.10151 s] /proc/loadavg: 2.21 2.07 2.02 3/83 16476 /proc/meminfo: memFree=1543528/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=0 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 236 195 169 0 51 0 [pid=16476] ppid=16472 vsize=15536 CPUtime=3.06 /proc/16476/stat : 16476 (xsolve) R 16472 16472 14240 0 -1 4194304 2236 0 0 0 305 1 0 0 25 0 1 0 2007013717 15908864 2195 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0 /proc/16476/statm: 3884 2195 416 177 0 2787 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 20896 [startup+6.3028 s] /proc/loadavg: 2.20 2.07 2.01 3/83 16476 /proc/meminfo: memFree=1543784/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=0 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 236 195 169 0 51 0 [pid=16476] ppid=16472 vsize=15536 CPUtime=6.23 /proc/16476/stat : 16476 (xsolve) R 16472 16472 14240 0 -1 4194304 2236 0 0 0 621 2 0 0 25 0 1 0 2007013717 15908864 2195 996147200 134512640 135239763 4294956176 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0 /proc/16476/statm: 3884 2195 416 177 0 2787 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 20896 [startup+12.7024 s] /proc/loadavg: 2.18 2.07 2.01 3/91 16488 /proc/meminfo: memFree=1529000/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=7.79 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 238 196 169 0 51 0 [pid=16480] ppid=16472 vsize=197096 CPUtime=4.77 /proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 10235 0 1 0 460 17 0 0 21 0 9 0 2007014504 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16480/statm: 49274 8486 2541 9 0 43856 0 [pid=16480/tid=16481] ppid=16472 vsize=197096 CPUtime=3.76 /proc/16480/task/16481/stat : 16481 (java) R 16472 16472 14240 0 -1 64 3589 0 1 0 371 5 0 0 25 0 9 0 2007014505 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4126487767 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16482] ppid=16472 vsize=197096 CPUtime=0.8 /proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 5293 0 0 0 71 9 0 0 16 0 9 0 2007014506 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16483] ppid=16472 vsize=197096 CPUtime=0 /proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2007014506 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16484] ppid=16472 vsize=197096 CPUtime=0 /proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007014506 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16485] ppid=16472 vsize=197096 CPUtime=0 /proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2007014508 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16486] ppid=16472 vsize=197096 CPUtime=0.17 /proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 2007014508 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16487] ppid=16472 vsize=197096 CPUtime=0 /proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007014508 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16488] ppid=16472 vsize=197096 CPUtime=0 /proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007014508 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 202456 [startup+25.5026 s] /proc/loadavg: 2.14 2.06 2.01 3/103 16500 /proc/meminfo: memFree=1471496/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=7.79 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 238 196 169 0 51 0 [pid=16480] ppid=16472 vsize=197420 CPUtime=6.09 /proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 13963 0 1 0 586 23 0 0 21 0 10 0 2007014504 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16480/statm: 49355 9479 2544 9 0 43937 0 [pid=16490] ppid=16480 vsize=5356 CPUtime=0 /proc/16490/stat : 16490 (abscon) S 16480 16472 14240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2007015131 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16490/statm: 1339 235 194 169 0 50 0 [pid=16491] ppid=16490 vsize=655876 CPUtime=11.11 /proc/16491/stat : 16491 (java) S 16490 16472 14240 0 -1 0 15037 0 1 0 1097 14 0 0 18 0 9 0 2007015132 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16491/statm: 163969 14538 2007 9 0 158497 0 [pid=16491/tid=16493] ppid=16490 vsize=655876 CPUtime=10.8 /proc/16491/task/16493/stat : 16493 (java) R 16490 16472 14240 0 -1 64 12454 0 1 0 1068 12 0 0 25 0 9 0 2007015133 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4126874209 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16494] ppid=16490 vsize=655876 CPUtime=0.03 /proc/16491/task/16494/stat : 16494 (java) S 16490 16472 14240 0 -1 64 1347 0 0 0 3 0 0 0 16 0 9 0 2007015134 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16495] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16495/stat : 16495 (java) S 16490 16472 14240 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16496] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16496/stat : 16496 (java) S 16490 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16497] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16497/stat : 16497 (java) S 16490 16472 14240 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2007015137 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16498] ppid=16490 vsize=655876 CPUtime=0.24 /proc/16491/task/16498/stat : 16498 (java) S 16490 16472 14240 0 -1 64 691 0 0 0 24 0 0 0 16 0 9 0 2007015137 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16499] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16499/stat : 16499 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007015137 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16500] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16500/stat : 16500 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007015137 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16492] ppid=16490 vsize=7044 CPUtime=0 /proc/16492/stat : 16492 (translate) S 16490 16472 14240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007015132 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/16492/statm: 1761 213 182 1 0 41 0 [pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=4.7 /proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3901 0 1 0 462 8 0 0 25 0 10 0 2007014505 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=1.11 /proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=0.23 /proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16489] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16489/stat : 16489 (java) S 16472 16472 14240 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 2007015131 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 24.99 Current children cumulated vsize (KiB) 871056 Solver just ended. Dumping a history of the last processes samples [startup+25.6026 s] /proc/loadavg: 2.14 2.06 2.01 3/103 16500 /proc/meminfo: memFree=1471496/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=7.79 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 238 196 169 0 51 0 [pid=16480] ppid=16472 vsize=197420 CPUtime=6.09 /proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 13963 0 1 0 586 23 0 0 21 0 10 0 2007014504 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16480/statm: 49355 9479 2544 9 0 43937 0 [pid=16490] ppid=16480 vsize=5356 CPUtime=0 /proc/16490/stat : 16490 (abscon) S 16480 16472 14240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2007015131 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16490/statm: 1339 235 194 169 0 50 0 [pid=16491] ppid=16490 vsize=655876 CPUtime=11.21 /proc/16491/stat : 16491 (java) S 16490 16472 14240 0 -1 0 15037 0 1 0 1107 14 0 0 18 0 9 0 2007015132 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16491/statm: 163969 14538 2007 9 0 158497 0 [pid=16491/tid=16493] ppid=16490 vsize=655876 CPUtime=10.9 /proc/16491/task/16493/stat : 16493 (java) R 16490 16472 14240 0 -1 64 12454 0 1 0 1078 12 0 0 25 0 9 0 2007015133 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4126902745 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16494] ppid=16490 vsize=655876 CPUtime=0.03 /proc/16491/task/16494/stat : 16494 (java) S 16490 16472 14240 0 -1 64 1347 0 0 0 3 0 0 0 16 0 9 0 2007015134 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16495] ppid=16490 vsize=655876 CPUtime=0 ################ # More data... # ################ /proc/16491/task/16496/stat : 16496 (java) S 16490 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16497] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16497/stat : 16497 (java) S 16490 16472 14240 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2007015137 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16498] ppid=16490 vsize=655876 CPUtime=0.26 /proc/16491/task/16498/stat : 16498 (java) S 16490 16472 14240 0 -1 64 704 0 0 0 26 0 0 0 15 0 9 0 2007015137 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16499] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16499/stat : 16499 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007015137 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16500] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16500/stat : 16500 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007015137 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16492] ppid=16490 vsize=7044 CPUtime=0 /proc/16492/stat : 16492 (translate) S 16490 16472 14240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007015132 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/16492/statm: 1761 213 182 1 0 41 0 [pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=4.7 /proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3901 0 1 0 462 8 0 0 25 0 10 0 2007014505 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=1.11 /proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=0.23 /proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16489] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16489/stat : 16489 (java) S 16472 16472 14240 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 2007015131 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.37 Current children cumulated vsize (KiB) 871056 [startup+33.6023 s] /proc/loadavg: 2.13 2.06 2.01 3/103 16500 /proc/meminfo: memFree=1462664/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=7.79 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 238 196 169 0 51 0 [pid=16480] ppid=16472 vsize=197420 CPUtime=6.09 /proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 13963 0 1 0 586 23 0 0 21 0 10 0 2007014504 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16480/statm: 49355 9479 2544 9 0 43937 0 [pid=16490] ppid=16480 vsize=5356 CPUtime=0 /proc/16490/stat : 16490 (abscon) S 16480 16472 14240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2007015131 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16490/statm: 1339 235 194 169 0 50 0 [pid=16491] ppid=16490 vsize=655876 CPUtime=19.05 /proc/16491/stat : 16491 (java) S 16490 16472 14240 0 -1 0 17219 0 1 0 1884 21 0 0 18 0 9 0 2007015132 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16491/statm: 163969 16717 2008 9 0 158497 0 [pid=16491/tid=16493] ppid=16490 vsize=655876 CPUtime=18.66 /proc/16491/task/16493/stat : 16493 (java) R 16490 16472 14240 0 -1 64 12458 0 1 0 1848 18 0 0 25 0 9 0 2007015133 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4126878084 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16494] ppid=16490 vsize=655876 CPUtime=0.09 /proc/16491/task/16494/stat : 16494 (java) S 16490 16472 14240 0 -1 64 3509 0 0 0 8 1 0 0 16 0 9 0 2007015134 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16495] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16495/stat : 16495 (java) S 16490 16472 14240 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16496] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16496/stat : 16496 (java) S 16490 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16497] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16497/stat : 16497 (java) S 16490 16472 14240 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2007015137 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16498] ppid=16490 vsize=655876 CPUtime=0.27 /proc/16491/task/16498/stat : 16498 (java) S 16490 16472 14240 0 -1 64 707 0 0 0 27 0 0 0 15 0 9 0 2007015137 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16499] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16499/stat : 16499 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007015137 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16500] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16500/stat : 16500 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007015137 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16492] ppid=16490 vsize=7044 CPUtime=0 /proc/16492/stat : 16492 (translate) S 16490 16472 14240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007015132 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/16492/statm: 1761 213 182 1 0 41 0 [pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=4.7 /proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3901 0 1 0 462 8 0 0 25 0 10 0 2007014505 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=1.11 /proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=0.23 /proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16489] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16489/stat : 16489 (java) S 16472 16472 14240 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 2007015131 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.93 Current children cumulated vsize (KiB) 871056 [startup+34.4024 s] /proc/loadavg: 2.12 2.06 2.01 3/103 16500 /proc/meminfo: memFree=1462664/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=7.79 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 238 196 169 0 51 0 [pid=16480] ppid=16472 vsize=197420 CPUtime=6.09 /proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 13963 0 1 0 586 23 0 0 21 0 10 0 2007014504 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16480/statm: 49355 9479 2544 9 0 43937 0 [pid=16490] ppid=16480 vsize=5356 CPUtime=0 /proc/16490/stat : 16490 (abscon) S 16480 16472 14240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2007015131 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16490/statm: 1339 235 194 169 0 50 0 [pid=16491] ppid=16490 vsize=655876 CPUtime=19.84 /proc/16491/stat : 16491 (java) S 16490 16472 14240 0 -1 0 17241 0 1 0 1962 22 0 0 18 0 9 0 2007015132 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16491/statm: 163969 16733 2012 9 0 158497 0 [pid=16491/tid=16493] ppid=16490 vsize=655876 CPUtime=19.44 /proc/16491/task/16493/stat : 16493 (java) R 16490 16472 14240 0 -1 64 12477 0 1 0 1925 19 0 0 24 0 9 0 2007015133 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4125958923 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16494] ppid=16490 vsize=655876 CPUtime=0.09 /proc/16491/task/16494/stat : 16494 (java) S 16490 16472 14240 0 -1 64 3509 0 0 0 8 1 0 0 16 0 9 0 2007015134 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16495] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16495/stat : 16495 (java) S 16490 16472 14240 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16496] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16496/stat : 16496 (java) S 16490 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16497] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16497/stat : 16497 (java) S 16490 16472 14240 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2007015137 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16498] ppid=16490 vsize=655876 CPUtime=0.27 /proc/16491/task/16498/stat : 16498 (java) S 16490 16472 14240 0 -1 64 710 0 0 0 27 0 0 0 16 0 9 0 2007015137 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16499] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16499/stat : 16499 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007015137 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16491/tid=16500] ppid=16490 vsize=655876 CPUtime=0 /proc/16491/task/16500/stat : 16500 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007015137 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16492] ppid=16490 vsize=7044 CPUtime=0 /proc/16492/stat : 16492 (translate) S 16490 16472 14240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007015132 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/16492/statm: 1761 213 182 1 0 41 0 [pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=4.7 /proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3901 0 1 0 462 8 0 0 25 0 10 0 2007014505 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=1.11 /proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=0.23 /proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16489] ppid=16472 vsize=197420 CPUtime=0 /proc/16480/task/16489/stat : 16489 (java) S 16472 16472 14240 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 2007015131 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 33.72 Current children cumulated vsize (KiB) 871056 [startup+34.8025 s] /proc/loadavg: 2.12 2.06 2.01 3/103 16500 /proc/meminfo: memFree=1462664/2055920 swapFree=4180436/4192956 [pid=16472] ppid=16470 vsize=5360 CPUtime=7.79 /proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16472/statm: 1340 238 196 169 0 51 0 [pid=16480] ppid=16472 vsize=197420 CPUtime=26.32 /proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 14030 20291 1 1 586 23 1998 25 21 0 9 0 2007014504 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16480/statm: 49355 9481 2545 9 0 43937 0 [pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=24.93 /proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3949 20291 1 1 462 8 1998 25 16 0 9 0 2007014505 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=21.34 /proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8581 20291 0 1 99 12 1998 25 16 0 9 0 2007014506 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=20.23 /proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 20291 0 1 0 0 1998 25 16 0 9 0 2007014506 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=20.23 /proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 20291 0 1 0 0 1998 25 15 0 9 0 2007014506 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=20.23 /proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 20291 0 1 0 0 1998 25 18 0 9 0 2007014508 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=20.46 /proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 20291 0 1 23 0 1998 25 16 0 9 0 2007014508 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=20.23 /proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 20291 0 1 0 0 1998 25 19 0 9 0 2007014508 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=20.23 /proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 20291 0 1 0 0 1998 25 15 0 9 0 2007014508 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 34.11 Current children cumulated vsize (KiB) 202780 Child status: 0 Real time (s): 34.8425 CPU time (s): 34.1408 CPU user time (s): 33.6099 CPU system time (s): 0.530919 CPU usage (%): 97.986 Max. virtual memory (cumulated for all children) (KiB): 871056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.6099 system time used= 0.530919 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37567 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12011 involuntary context switches= 17896 runsolver used 0.142978 second user time and 0.342947 second system time The end
Begin job on node48 at 2008-07-05 19:53:35 IDJOB=1094986 IDBENCH=58860 IDSOLVER=366 FILE ID=node48/1094986-1215280415 PBS_JOBID= 7882198 Free space on /tmp= 66544 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp17/normalized-fapp17-0300-1.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094986-1215280415/watcher-1094986-1215280415 -o /tmp/evaluation-result-1094986-1215280415/solver-1094986-1215280415 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1094986-1215280415.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 73dece1b19758e876aa500d620069f40 RANDOM SEED=539552336 node48.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.231 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.231 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: 1551640 kB Buffers: 47928 kB Cached: 224368 kB SwapCached: 6436 kB Active: 341012 kB Inactive: 106572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1551640 kB SwapTotal: 4192956 kB SwapFree: 4180436 kB Dirty: 24864 kB Writeback: 0 kB Mapped: 191524 kB Slab: 41416 kB Committed_AS: 4530576 kB PageTables: 2120 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= 66520 MiB End job on node48 at 2008-07-05 19:54:10