Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 31.6542 | 31.882 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 91335 |
Name | csp/fapp/fapp17/ normalized-fapp17-0300-0.xml |
MD5SUM | 973dbc41041e1781c07a539cb8e93a5d |
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.01084 |
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 12.52/12.62 c CASE TO CLASSIFY: 12.52/12.62 c Case: 0 12.52/12.63 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 12.52/12.64 c choco : 1801.0 12.52/12.64 c mistral : 1801.0 12.52/12.64 c abscon : 1801.0 12.52/12.64 c 12.52/12.64 c 12.63/12.71 c List of same ones: 40 12.63/12.71 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 12.63/12.71 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 12.63/12.72 c choco : 1801.0 12.63/12.72 c mistral : 1800.04 12.63/12.72 c abscon : 11.0623 12.63/12.72 c 12.63/12.72 c 12.63/12.72 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 12.63/12.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.193500 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.63/12.73 c choco : 1801.0 12.63/12.73 c mistral : 1800.06 12.63/12.73 c abscon : 11.9282 12.63/12.73 c 12.63/12.73 c 12.63/12.73 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 12.63/12.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.127300 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 12.63/12.74 c choco : 1801.0 12.63/12.74 c mistral : 1800.03 12.63/12.74 c abscon : 12.0042 12.63/12.74 c 12.63/12.74 c 12.63/12.74 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 12.63/12.74 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 12.63/12.75 c choco : 1801.0 12.63/12.75 c mistral : 1800.01 12.63/12.75 c abscon : 6.594 12.63/12.75 c 12.63/12.75 c 12.63/12.75 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 12.63/12.75 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 12.63/12.76 c choco : 1801.0 12.63/12.76 c mistral : 1800.03 12.63/12.76 c abscon : 5.97909 12.63/12.76 c 12.63/12.76 c 12.63/12.76 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 12.63/12.76 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 12.63/12.77 c choco : 1801.0 12.63/12.77 c mistral : 1800.05 12.63/12.77 c abscon : 5.9181 12.63/12.77 c 12.63/12.77 c 12.63/12.77 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 12.63/12.77 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 12.63/12.77 c choco : 1801.0 12.63/12.77 c mistral : 1800.09 12.63/12.77 c abscon : 6.03108 12.63/12.77 c 12.63/12.77 c 12.63/12.77 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml 12.63/12.77 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 12.63/12.78 c choco : 1801.0 12.63/12.78 c mistral : 1800.05 12.63/12.78 c abscon : 5.67014 12.63/12.78 c 12.63/12.78 c 12.63/12.78 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml 12.63/12.78 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 12.63/12.79 c choco : 1801.0 12.63/12.79 c mistral : 514.646 12.63/12.79 c abscon : 5.76312 12.63/12.79 c 12.63/12.79 c 12.63/12.79 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml 12.63/12.79 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 12.69/12.80 c choco : 1801.0 12.69/12.80 c mistral : 1800.06 12.69/12.80 c abscon : 5.79212 12.69/12.80 c 12.69/12.80 c 12.69/12.80 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml 12.69/12.80 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 12.69/12.81 c choco : 37.81 12.69/12.81 c mistral : 7.2519 12.69/12.81 c abscon : 12.7981 12.69/12.81 c 12.69/12.81 c 12.69/12.81 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml 12.69/12.81 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 12.69/12.83 c choco : 67.9 12.69/12.83 c mistral : 6.572 12.69/12.83 c abscon : 12.5521 12.69/12.83 c 12.69/12.83 c 12.69/12.83 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml 12.69/12.83 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 12.69/12.84 c choco : 1801.0 12.69/12.84 c mistral : 5.8841 12.69/12.84 c abscon : 12.8071 12.69/12.84 c 12.69/12.84 c 12.69/12.84 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml 12.69/12.84 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 12.69/12.84 c choco : 104.95 12.69/12.84 c mistral : 7.41487 12.69/12.84 c abscon : 12.2871 12.69/12.84 c 12.69/12.84 c 12.69/12.84 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-0.xml 12.69/12.84 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 12.69/12.85 c choco : 49.0 12.69/12.85 c mistral : 18.2302 12.69/12.86 c abscon : 5.2362 12.69/12.86 c 12.69/12.86 c 12.69/12.86 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml 12.69/12.86 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 12.69/12.86 c choco : 201.72 12.69/12.86 c mistral : 9.30558 12.69/12.86 c abscon : 12.6881 12.69/12.86 c 12.69/12.86 c 12.69/12.86 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-4.xml 12.69/12.86 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 12.69/12.87 c choco : 47.79 12.69/12.87 c mistral : 4.87226 12.69/12.87 c abscon : 5.55215 12.69/12.87 c 12.69/12.87 c 12.69/12.87 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-9.xml 12.69/12.87 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 12.69/12.87 c choco : 47.84 12.69/12.87 c mistral : 4.67629 12.69/12.87 c abscon : 5.53016 12.69/12.87 c 12.69/12.87 c 12.69/12.87 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-6.xml 12.69/12.87 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 12.69/12.88 c choco : 47.53 12.69/12.88 c mistral : 4.74228 12.69/12.88 c abscon : 5.53016 12.69/12.88 c 12.69/12.88 c 12.69/12.88 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-10.xml 12.69/12.88 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 12.69/12.89 c choco : 47.67 12.69/12.89 c mistral : 5.35519 12.69/12.89 c abscon : 5.65114 12.69/12.89 c 12.69/12.89 c 12.69/12.89 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-1.xml 12.69/12.89 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 12.69/12.90 c choco : 49.15 12.69/12.90 c mistral : 19.3991 12.69/12.90 c abscon : 5.2442 12.69/12.90 c 12.69/12.90 c 12.76/12.90 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-5.xml 12.76/12.90 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 12.76/12.90 c choco : 47.76 12.76/12.90 c mistral : 4.6153 12.76/12.90 c abscon : 5.52716 12.76/12.90 c 12.76/12.90 c 12.76/12.90 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml 12.76/12.90 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 12.76/12.91 c choco : 1801.0 12.76/12.91 c mistral : 31.0823 12.76/12.91 c abscon : 15.9926 12.76/12.91 c 12.76/12.91 c 12.76/12.91 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml 12.76/12.91 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 12.76/12.92 c choco : 1801.0 12.76/12.92 c mistral : 1800.02 12.76/12.92 c abscon : 14.5538 12.76/12.92 c 12.76/12.92 c 12.76/12.92 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-8.xml 12.76/12.92 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 12.76/12.92 c choco : 47.94 12.76/12.92 c mistral : 4.84926 12.76/12.92 c abscon : 5.64914 12.76/12.92 c 12.76/12.92 c 12.76/12.92 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-0.xml 12.76/12.92 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 12.76/12.93 c choco : 281.41 12.76/12.93 c mistral : 45.1561 12.76/12.93 c abscon : 5.50616 12.76/12.93 c 12.76/12.93 c 12.76/12.93 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-3.xml 12.76/12.93 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 12.76/12.93 c choco : 48.71 12.76/12.93 c mistral : 6.76797 12.76/12.93 c abscon : 5.33119 12.76/12.93 c 12.76/12.93 c 12.76/12.93 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-7.xml 12.76/12.93 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 12.76/12.94 c choco : 47.34 12.76/12.94 c mistral : 4.98124 12.76/12.94 c abscon : 5.61215 12.76/12.94 c 12.76/12.94 c 12.76/12.94 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml 12.76/12.94 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 12.76/12.95 c choco : 245.07 12.76/12.95 c mistral : 279.471 12.76/12.95 c abscon : 6.48201 12.76/12.95 c 12.76/12.95 c 12.76/12.95 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-2.xml 12.76/12.95 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 12.76/12.95 c choco : 49.45 12.76/12.95 c mistral : 20.1399 12.76/12.95 c abscon : 5.41218 12.76/12.95 c 12.76/12.95 c 12.76/12.95 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-2.xml 12.76/12.95 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 12.76/12.96 c choco : 183.12 12.76/12.96 c mistral : 246.183 12.76/12.96 c abscon : 6.94994 12.76/12.96 c 12.76/12.96 c 12.76/12.96 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-1.xml 12.76/12.96 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 12.76/12.96 c choco : 146.7 12.76/12.96 c mistral : 255.495 12.76/12.96 c abscon : 6.25605 12.76/12.96 c 12.76/12.96 c 12.76/12.96 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 12.76/12.96 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 12.76/12.97 c choco : 80.85 12.76/12.97 c mistral : 12.5891 12.76/12.97 c abscon : 10.0495 12.76/12.97 c 12.76/12.97 c 12.76/12.97 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 12.76/12.97 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 12.76/12.98 c choco : 33.36 12.76/12.98 c mistral : 6.83796 12.76/12.98 c abscon : 10.5184 12.76/12.98 c 12.76/12.98 c 12.76/12.98 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 12.76/12.98 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 12.76/12.98 c choco : 1801.0 12.76/12.98 c mistral : 39.28 12.76/12.98 c abscon : 9.8585 12.76/12.98 c 12.76/12.98 c 12.76/12.98 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 12.76/12.98 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 12.76/12.99 c choco : 115.65 12.76/12.99 c mistral : 1800.08 12.76/12.99 c abscon : 11.0983 12.76/12.99 c 12.76/12.99 c 12.76/12.99 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 12.76/12.99 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 12.76/12.99 c choco : 30.96 12.76/12.99 c mistral : 2.38464 12.76/12.99 c abscon : 5.81212 12.76/12.99 c 12.76/12.99 c 12.76/12.99 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 12.76/12.99 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 12.83/13.00 c choco : 30.87 12.83/13.00 c mistral : 2.28165 12.83/13.00 c abscon : 5.48517 12.83/13.00 c 12.83/13.00 c 12.83/13.00 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml 12.83/13.00 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 12.83/13.01 c choco : 1801.0 12.83/13.01 c mistral : 8.45871 12.83/13.01 c abscon : 6.12907 12.83/13.01 c 12.83/13.01 c 12.83/13.01 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml 12.83/13.01 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 12.83/13.02 c choco : 31.97 12.83/13.02 c mistral : 2.46962 12.83/13.02 c abscon : 5.44917 12.83/13.02 c 12.83/13.02 c 12.83/13.02 c Length: 40 12.83/13.02 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 12.83/13.02 c 12.83/13.02 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 12.83/13.03 c 12.83/13.03 c solver 0 12.83/13.04 c before 0.0 seconds: {} 0 12.83/13.04 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 12.83/13.04 c 12.83/13.04 c solver 1 12.83/13.04 c before 0.0 seconds: {} 0 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 c 12.83/13.04 c solver 2 12.83/13.04 c before 0.0 seconds: {} 0 12.83/13.04 c before 36.0 seconds: {33, 36, 37, 39} 2021 12.83/13.04 c before 54.0 seconds: {10, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 33, 36, 37, 39} 8788 12.83/13.04 c before 72.0 seconds: {10, 11, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 33, 36, 37, 39} 9409 12.83/13.04 c before 90.0 seconds: {10, 11, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 36, 37, 39} 9924 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 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 12.83/13.04 c 12.83/13.04 cTotal time: 46 12.83/13.04 c 828.0 seconds unused 12.83/13.04 c 0 c 11 c 15 12.83/13.04 c 0 c 0 c 5 12.83/13.04 c 0 c 1 c 0 12.83/13.04 c is solver0 dominated by: 12.83/13.04 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) 12.83/13.04 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) 12.83/13.04 c is dominated? false 12.83/13.04 c 12.83/13.04 c is solver1 dominated by: 12.83/13.04 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) 12.83/13.04 c is dominated? true 12.83/13.04 c 12.83/13.04 c is solver2 dominated by: 12.83/13.04 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) 12.83/13.04 c is dominated? true 12.83/13.04 c 12.83/13.04 c Number of non-dominated solvers: 1 12.83/13.04 c remove dominated solvers 12.83/13.04 c solver 0 is not dominated by another solver 12.83/13.04 c solver 2 is dominated by another solver 12.83/13.04 c solver 1 is dominated by another solver 12.83/13.04 c 12.83/13.04 c solver 0: 18.0 12.83/13.04 c 12.83/13.04 c+ 1/1 of 99 12.83/13.04 c 12.83/13.04 c solver 1: 0.0 12.83/13.04 c 12.83/13.04 c solver 2: 0.0 12.83/13.04 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 12.83/13.04 c do not run mistral 12.83/13.04 c do not run choco 12.83/13.04 c Starting solver: HOME/cpHydra_k_40/solver/abscon 12.83/13.04 c On Instance: HOME/instance-1095028-1215280516.xml 12.83/13.04 c Running for: 1800 seconds 31.58/31.84 s UNSATISFIABLE 31.58/31.84 d ASSIGNMENTS 0 31.58/31.84 d CHECKS 91335
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-1095028-1215280516/watcher-1095028-1215280516 -o /tmp/evaluation-result-1095028-1215280516/solver-1095028-1215280516 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1095028-1215280516.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.01 2.05 2.01 4/72 1965 /proc/meminfo: memFree=1611424/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=18572 CPUtime=0 /proc/1965/stat : 1965 (runsolver) R 1963 1965 429 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 2007023624 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 240577473831 0 0 4096 24578 0 0 0 17 1 0 0 /proc/1965/statm: 4643 292 257 25 0 2626 0 [startup+0.233247 s] /proc/loadavg: 2.01 2.05 2.01 4/72 1965 /proc/meminfo: memFree=1611424/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=0 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007023624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301249 s] /proc/loadavg: 2.01 2.05 2.01 4/72 1965 /proc/meminfo: memFree=1611424/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=0 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007023624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.401267 s] /proc/loadavg: 2.01 2.05 2.01 4/72 1965 /proc/meminfo: memFree=1611424/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=0 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007023624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701317 s] /proc/loadavg: 2.01 2.05 2.01 4/72 1965 /proc/meminfo: memFree=1611424/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=0 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007023624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50145 s] /proc/loadavg: 2.01 2.05 2.01 3/74 1970 /proc/meminfo: memFree=1603920/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=0 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007023624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 236 195 169 0 51 0 [pid=1970] ppid=1965 vsize=15536 CPUtime=1.47 /proc/1970/stat : 1970 (xsolve) R 1965 1965 429 0 -1 4194304 2236 0 0 0 146 1 0 0 25 0 1 0 2007023625 15908864 2195 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0 /proc/1970/statm: 3884 2195 416 177 0 2787 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 20896 [startup+3.10272 s] /proc/loadavg: 2.01 2.05 2.01 3/74 1970 /proc/meminfo: memFree=1603792/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=0 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007023624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 236 195 169 0 51 0 [pid=1970] ppid=1965 vsize=15536 CPUtime=3.07 /proc/1970/stat : 1970 (xsolve) R 1965 1965 429 0 -1 4194304 2236 0 0 0 306 1 0 0 25 0 1 0 2007023625 15908864 2195 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0 /proc/1970/statm: 3884 2195 416 177 0 2787 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 20896 [startup+6.30126 s] /proc/loadavg: 2.01 2.04 2.01 3/74 1970 /proc/meminfo: memFree=1603792/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=0 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2007023624 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 236 195 169 0 51 0 [pid=1970] ppid=1965 vsize=15536 CPUtime=6.22 /proc/1970/stat : 1970 (xsolve) R 1965 1965 429 0 -1 4194304 2236 0 0 0 619 3 0 0 25 0 1 0 2007023625 15908864 2195 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0 /proc/1970/statm: 3884 2195 416 177 0 2787 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 20896 [startup+12.7023 s] /proc/loadavg: 2.01 2.04 2.01 3/82 1983 /proc/meminfo: memFree=1585424/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=7 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 375 2834 0 0 0 0 696 4 19 0 1 0 2007023624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 238 196 169 0 51 0 [pid=1974] ppid=1965 vsize=197064 CPUtime=5.63 /proc/1974/stat : 1974 (java) S 1965 1965 429 0 -1 0 11224 0 1 0 548 15 0 0 18 0 9 0 2007024332 201793536 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/1974/statm: 49266 9334 2542 9 0 43848 0 [pid=1974/tid=1975] ppid=1965 vsize=197064 CPUtime=4.51 /proc/1974/task/1975/stat : 1975 (java) R 1965 1965 429 0 -1 64 3774 0 1 0 447 4 0 0 25 0 9 0 2007024333 201793536 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4125959156 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1976] ppid=1965 vsize=197064 CPUtime=0.89 /proc/1974/task/1976/stat : 1976 (java) S 1965 1965 429 0 -1 64 6088 0 0 0 81 8 0 0 16 0 9 0 2007024334 201793536 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1977] ppid=1965 vsize=197064 CPUtime=0 /proc/1974/task/1977/stat : 1977 (java) S 1965 1965 429 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2007024334 201793536 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1979] ppid=1965 vsize=197064 CPUtime=0 /proc/1974/task/1979/stat : 1979 (java) S 1965 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007024334 201793536 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1980] ppid=1965 vsize=197064 CPUtime=0 /proc/1974/task/1980/stat : 1980 (java) S 1965 1965 429 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2007024336 201793536 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1981] ppid=1965 vsize=197064 CPUtime=0.18 /proc/1974/task/1981/stat : 1981 (java) S 1965 1965 429 0 -1 64 638 0 0 0 18 0 0 0 16 0 9 0 2007024336 201793536 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1982] ppid=1965 vsize=197064 CPUtime=0 /proc/1974/task/1982/stat : 1982 (java) S 1965 1965 429 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2007024336 201793536 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1983] ppid=1965 vsize=197064 CPUtime=0 /proc/1974/task/1983/stat : 1983 (java) S 1965 1965 429 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2007024336 201793536 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 202424 [startup+25.5075 s] /proc/loadavg: 2.16 2.07 2.02 3/94 1995 /proc/meminfo: memFree=1532144/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=7 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 375 2834 0 0 0 0 696 4 19 0 1 0 2007023624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 238 196 169 0 51 0 [pid=1974] ppid=1965 vsize=197388 CPUtime=5.86 /proc/1974/stat : 1974 (java) S 1965 1965 429 0 -1 0 11470 0 1 0 569 17 0 0 18 0 10 0 2007024332 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/1974/statm: 49347 9422 2544 9 0 43929 0 [pid=1985] ppid=1974 vsize=5356 CPUtime=0 /proc/1985/stat : 1985 (abscon) S 1974 1965 429 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 2007024929 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/1985/statm: 1339 235 194 169 0 50 0 [pid=1986] ppid=1985 vsize=655888 CPUtime=12.43 /proc/1986/stat : 1986 (java) S 1985 1965 429 0 -1 0 15038 0 1 0 1231 12 0 0 18 0 9 0 2007024929 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/1986/statm: 163972 14540 2007 9 0 158500 0 [pid=1986/tid=1988] ppid=1985 vsize=655888 CPUtime=12.14 /proc/1986/task/1988/stat : 1988 (java) R 1985 1965 429 0 -1 64 12456 0 1 0 1204 10 0 0 25 0 9 0 2007024930 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4126879248 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1989] ppid=1985 vsize=655888 CPUtime=0.03 /proc/1986/task/1989/stat : 1989 (java) S 1985 1965 429 0 -1 64 1348 0 0 0 3 0 0 0 16 0 9 0 2007024931 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1990] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1990/stat : 1990 (java) S 1985 1965 429 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1991] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1991/stat : 1991 (java) S 1985 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1992] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1992/stat : 1992 (java) S 1985 1965 429 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2007024933 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1993] ppid=1985 vsize=655888 CPUtime=0.22 /proc/1986/task/1993/stat : 1993 (java) S 1985 1965 429 0 -1 64 689 0 0 0 22 0 0 0 16 0 9 0 2007024933 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1994] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1994/stat : 1994 (java) S 1985 1965 429 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007024933 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1995] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1995/stat : 1995 (java) S 1985 1965 429 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007024933 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1987] ppid=1985 vsize=7044 CPUtime=0 /proc/1987/stat : 1987 (translate) S 1985 1965 429 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007024929 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240577642578 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/1987/statm: 1761 213 182 1 0 41 0 [pid=1974/tid=1975] ppid=1965 vsize=197388 CPUtime=4.7 /proc/1974/task/1975/stat : 1975 (java) S 1965 1965 429 0 -1 64 3857 0 1 0 463 7 0 0 25 0 10 0 2007024333 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=1974/tid=1976] ppid=1965 vsize=197388 CPUtime=0.9 /proc/1974/task/1976/stat : 1976 (java) S 1965 1965 429 0 -1 64 6123 0 0 0 82 8 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1977] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1977/stat : 1977 (java) S 1965 1965 429 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1979] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1979/stat : 1979 (java) S 1965 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1980] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1980/stat : 1980 (java) S 1965 1965 429 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1981] ppid=1965 vsize=197388 CPUtime=0.23 /proc/1974/task/1981/stat : 1981 (java) S 1965 1965 429 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1982] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1982/stat : 1982 (java) S 1965 1965 429 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1983] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1983/stat : 1983 (java) S 1965 1965 429 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1984] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1984/stat : 1984 (java) S 1965 1965 429 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2007024929 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.29 Current children cumulated vsize (KiB) 871036 Solver just ended. Dumping a history of the last processes samples [startup+25.7025 s] /proc/loadavg: 2.16 2.07 2.02 3/94 1995 /proc/meminfo: memFree=1532144/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=7 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 375 2834 0 0 0 0 696 4 19 0 1 0 2007023624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 238 196 169 0 51 0 [pid=1974] ppid=1965 vsize=197388 CPUtime=5.86 /proc/1974/stat : 1974 (java) S 1965 1965 429 0 -1 0 11470 0 1 0 569 17 0 0 18 0 10 0 2007024332 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/1974/statm: 49347 9422 2544 9 0 43929 0 [pid=1985] ppid=1974 vsize=5356 CPUtime=0 /proc/1985/stat : 1985 (abscon) S 1974 1965 429 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 2007024929 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/1985/statm: 1339 235 194 169 0 50 0 [pid=1986] ppid=1985 vsize=655888 CPUtime=12.62 /proc/1986/stat : 1986 (java) S 1985 1965 429 0 -1 0 15038 0 1 0 1250 12 0 0 18 0 9 0 2007024929 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/1986/statm: 163972 14540 2007 9 0 158500 0 [pid=1986/tid=1988] ppid=1985 vsize=655888 CPUtime=12.34 /proc/1986/task/1988/stat : 1988 (java) R 1985 1965 429 0 -1 64 12456 0 1 0 1224 10 0 0 25 0 9 0 2007024930 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4126873064 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1989] ppid=1985 vsize=655888 CPUtime=0.03 /proc/1986/task/1989/stat : 1989 (java) S 1985 1965 429 0 -1 64 1348 0 0 0 3 0 0 0 16 0 9 0 2007024931 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1990] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1990/stat : 1990 (java) S 1985 1965 429 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1991] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1991/stat : 1991 (java) S 1985 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 14540 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/1974/task/1983/stat : 1983 (java) S 1965 1965 429 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1984] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1984/stat : 1984 (java) S 1965 1965 429 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2007024929 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.28 Current children cumulated vsize (KiB) 871036 [startup+31.3025 s] /proc/loadavg: 2.20 2.09 2.02 3/94 1995 /proc/meminfo: memFree=1523504/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=7 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 375 2834 0 0 0 0 696 4 19 0 1 0 2007023624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 238 196 169 0 51 0 [pid=1974] ppid=1965 vsize=197388 CPUtime=5.86 /proc/1974/stat : 1974 (java) S 1965 1965 429 0 -1 0 11470 0 1 0 569 17 0 0 18 0 10 0 2007024332 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/1974/statm: 49347 9422 2544 9 0 43929 0 [pid=1985] ppid=1974 vsize=5356 CPUtime=0 /proc/1985/stat : 1985 (abscon) S 1974 1965 429 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 2007024929 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/1985/statm: 1339 235 194 169 0 50 0 [pid=1986] ppid=1985 vsize=655888 CPUtime=18.22 /proc/1986/stat : 1986 (java) S 1985 1965 429 0 -1 0 17217 0 1 0 1806 16 0 0 18 0 9 0 2007024929 671629312 16716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/1986/statm: 163972 16716 2008 9 0 158500 0 [pid=1986/tid=1988] ppid=1985 vsize=655888 CPUtime=17.85 /proc/1986/task/1988/stat : 1988 (java) R 1985 1965 429 0 -1 64 12460 0 1 0 1772 13 0 0 25 0 9 0 2007024930 671629312 16716 996147200 134512640 134550740 4294955808 18446744073709551615 4126875447 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1989] ppid=1985 vsize=655888 CPUtime=0.09 /proc/1986/task/1989/stat : 1989 (java) S 1985 1965 429 0 -1 64 3508 0 0 0 8 1 0 0 16 0 9 0 2007024931 671629312 16716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1990] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1990/stat : 1990 (java) S 1985 1965 429 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 16716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1991] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1991/stat : 1991 (java) S 1985 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 16716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1992] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1992/stat : 1992 (java) S 1985 1965 429 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2007024933 671629312 16716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1993] ppid=1985 vsize=655888 CPUtime=0.25 /proc/1986/task/1993/stat : 1993 (java) S 1985 1965 429 0 -1 64 704 0 0 0 25 0 0 0 16 0 9 0 2007024933 671629312 16716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1994] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1994/stat : 1994 (java) S 1985 1965 429 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007024933 671629312 16716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1995] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1995/stat : 1995 (java) S 1985 1965 429 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007024933 671629312 16716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1987] ppid=1985 vsize=7044 CPUtime=0 /proc/1987/stat : 1987 (translate) S 1985 1965 429 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007024929 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240577642578 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/1987/statm: 1761 213 182 1 0 41 0 [pid=1974/tid=1975] ppid=1965 vsize=197388 CPUtime=4.7 /proc/1974/task/1975/stat : 1975 (java) S 1965 1965 429 0 -1 64 3857 0 1 0 463 7 0 0 25 0 10 0 2007024333 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=1974/tid=1976] ppid=1965 vsize=197388 CPUtime=0.9 /proc/1974/task/1976/stat : 1976 (java) S 1965 1965 429 0 -1 64 6123 0 0 0 82 8 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1977] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1977/stat : 1977 (java) S 1965 1965 429 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1979] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1979/stat : 1979 (java) S 1965 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1980] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1980/stat : 1980 (java) S 1965 1965 429 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1981] ppid=1965 vsize=197388 CPUtime=0.23 /proc/1974/task/1981/stat : 1981 (java) S 1965 1965 429 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1982] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1982/stat : 1982 (java) S 1965 1965 429 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1983] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1983/stat : 1983 (java) R 1965 1965 429 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1984] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1984/stat : 1984 (java) S 1965 1965 429 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2007024929 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.08 Current children cumulated vsize (KiB) 871036 [startup+31.7025 s] /proc/loadavg: 2.20 2.09 2.02 3/94 1995 /proc/meminfo: memFree=1523504/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=7 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 375 2834 0 0 0 0 696 4 19 0 1 0 2007023624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 238 196 169 0 51 0 [pid=1974] ppid=1965 vsize=197388 CPUtime=5.86 /proc/1974/stat : 1974 (java) S 1965 1965 429 0 -1 0 11470 0 1 0 569 17 0 0 18 0 10 0 2007024332 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/1974/statm: 49347 9422 2544 9 0 43929 0 [pid=1985] ppid=1974 vsize=5356 CPUtime=0 /proc/1985/stat : 1985 (abscon) S 1974 1965 429 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 2007024929 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/1985/statm: 1339 235 194 169 0 50 0 [pid=1986] ppid=1985 vsize=655888 CPUtime=18.62 /proc/1986/stat : 1986 (java) S 1985 1965 429 0 -1 0 19639 0 1 0 1845 17 0 0 18 0 9 0 2007024929 671629312 18947 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/1986/statm: 163972 18947 2615 9 0 158500 0 [pid=1986/tid=1988] ppid=1985 vsize=655888 CPUtime=18.13 /proc/1986/task/1988/stat : 1988 (java) R 1985 1965 429 0 -1 64 12518 0 1 0 1799 14 0 0 25 0 9 0 2007024930 671629312 18947 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1989] ppid=1985 vsize=655888 CPUtime=0.18 /proc/1986/task/1989/stat : 1989 (java) S 1985 1965 429 0 -1 64 5855 0 0 0 16 2 0 0 16 0 9 0 2007024931 671629312 18947 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1990] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1990/stat : 1990 (java) S 1985 1965 429 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 18947 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1991] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1991/stat : 1991 (java) S 1985 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 18947 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1992] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1992/stat : 1992 (java) S 1985 1965 429 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2007024933 671629312 18947 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1993] ppid=1985 vsize=655888 CPUtime=0.28 /proc/1986/task/1993/stat : 1993 (java) S 1985 1965 429 0 -1 64 721 0 0 0 28 0 0 0 15 0 9 0 2007024933 671629312 18947 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1994] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1994/stat : 1994 (java) S 1985 1965 429 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007024933 671629312 18947 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1995] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1995/stat : 1995 (java) S 1985 1965 429 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007024933 671629312 18947 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1987] ppid=1985 vsize=7044 CPUtime=0 /proc/1987/stat : 1987 (translate) S 1985 1965 429 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007024929 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240577642578 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/1987/statm: 1761 213 182 1 0 41 0 [pid=1974/tid=1975] ppid=1965 vsize=197388 CPUtime=4.7 /proc/1974/task/1975/stat : 1975 (java) S 1965 1965 429 0 -1 64 3857 0 1 0 463 7 0 0 25 0 10 0 2007024333 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=1974/tid=1976] ppid=1965 vsize=197388 CPUtime=0.9 /proc/1974/task/1976/stat : 1976 (java) S 1965 1965 429 0 -1 64 6123 0 0 0 82 8 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1977] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1977/stat : 1977 (java) S 1965 1965 429 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1979] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1979/stat : 1979 (java) S 1965 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1980] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1980/stat : 1980 (java) S 1965 1965 429 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1981] ppid=1965 vsize=197388 CPUtime=0.23 /proc/1974/task/1981/stat : 1981 (java) S 1965 1965 429 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1982] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1982/stat : 1982 (java) S 1965 1965 429 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1983] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1983/stat : 1983 (java) S 1965 1965 429 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1984] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1984/stat : 1984 (java) S 1965 1965 429 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2007024929 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.48 Current children cumulated vsize (KiB) 871036 [startup+31.8025 s] /proc/loadavg: 2.20 2.09 2.02 3/94 1995 /proc/meminfo: memFree=1523504/2055920 swapFree=4180240/4192956 [pid=1965] ppid=1963 vsize=5360 CPUtime=7 /proc/1965/stat : 1965 (hydra) S 1963 1965 429 0 -1 4194304 375 2834 0 0 0 0 696 4 19 0 1 0 2007023624 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1965/statm: 1340 238 196 169 0 51 0 [pid=1974] ppid=1965 vsize=197388 CPUtime=5.86 /proc/1974/stat : 1974 (java) S 1965 1965 429 0 -1 0 11470 0 1 0 569 17 0 0 18 0 10 0 2007024332 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/1974/statm: 49347 9422 2544 9 0 43929 0 [pid=1985] ppid=1974 vsize=5356 CPUtime=0 /proc/1985/stat : 1985 (abscon) S 1974 1965 429 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 2007024929 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/1985/statm: 1339 235 194 169 0 50 0 [pid=1986] ppid=1985 vsize=655888 CPUtime=18.72 /proc/1986/stat : 1986 (java) S 1985 1965 429 0 -1 0 19677 0 1 0 1854 18 0 0 18 0 9 0 2007024929 671629312 18985 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/1986/statm: 163972 18985 2616 9 0 158500 0 [pid=1986/tid=1988] ppid=1985 vsize=655888 CPUtime=18.22 /proc/1986/task/1988/stat : 1988 (java) R 1985 1965 429 0 -1 64 12547 0 1 0 1808 14 0 0 25 0 9 0 2007024930 671629312 18985 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1989] ppid=1985 vsize=655888 CPUtime=0.18 /proc/1986/task/1989/stat : 1989 (java) S 1985 1965 429 0 -1 64 5855 0 0 0 16 2 0 0 16 0 9 0 2007024931 671629312 18985 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1990] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1990/stat : 1990 (java) S 1985 1965 429 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 18985 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1991] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1991/stat : 1991 (java) S 1985 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007024931 671629312 18985 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1992] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1992/stat : 1992 (java) S 1985 1965 429 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2007024933 671629312 18985 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1993] ppid=1985 vsize=655888 CPUtime=0.29 /proc/1986/task/1993/stat : 1993 (java) S 1985 1965 429 0 -1 64 730 0 0 0 29 0 0 0 15 0 9 0 2007024933 671629312 18985 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1994] ppid=1985 vsize=655892 CPUtime=0 /proc/1986/task/1994/stat : 1994 (java) S 1985 1965 429 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2007024933 671633408 18985 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1986/tid=1995] ppid=1985 vsize=655888 CPUtime=0 /proc/1986/task/1995/stat : 1995 (java) S 1985 1965 429 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007024933 671629312 18985 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=1987] ppid=1985 vsize=7044 CPUtime=0 /proc/1987/stat : 1987 (translate) S 1985 1965 429 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007024929 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240577642578 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/1987/statm: 1761 213 182 1 0 41 0 [pid=1974/tid=1975] ppid=1965 vsize=197388 CPUtime=4.7 /proc/1974/task/1975/stat : 1975 (java) S 1965 1965 429 0 -1 64 3857 0 1 0 463 7 0 0 25 0 10 0 2007024333 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=1974/tid=1976] ppid=1965 vsize=197388 CPUtime=0.9 /proc/1974/task/1976/stat : 1976 (java) S 1965 1965 429 0 -1 64 6123 0 0 0 82 8 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1977] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1977/stat : 1977 (java) S 1965 1965 429 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1979] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1979/stat : 1979 (java) S 1965 1965 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2007024334 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1980] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1980/stat : 1980 (java) S 1965 1965 429 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1981] ppid=1965 vsize=197388 CPUtime=0.23 /proc/1974/task/1981/stat : 1981 (java) S 1965 1965 429 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1982] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1982/stat : 1982 (java) S 1965 1965 429 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1983] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1983/stat : 1983 (java) S 1965 1965 429 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2007024336 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=1974/tid=1984] ppid=1965 vsize=197388 CPUtime=0 /proc/1974/task/1984/stat : 1984 (java) S 1965 1965 429 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2007024929 202125312 9422 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.58 Current children cumulated vsize (KiB) 871036 Child status: 0 Real time (s): 31.882 CPU time (s): 31.6542 CPU user time (s): 31.2273 CPU system time (s): 0.426935 CPU usage (%): 99.2856 Max. virtual memory (cumulated for all children) (KiB): 871036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.2273 system time used= 0.426935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35092 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= 11457 involuntary context switches= 16373 runsolver used 0.160975 second user time and 0.275958 second system time The end
Begin job on node50 at 2008-07-05 19:55:16 IDJOB=1095028 IDBENCH=58864 IDSOLVER=366 FILE ID=node50/1095028-1215280516 PBS_JOBID= 7882255 Free space on /tmp= 66440 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp17/normalized-fapp17-0300-0.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1095028-1215280516/watcher-1095028-1215280516 -o /tmp/evaluation-result-1095028-1215280516/solver-1095028-1215280516 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1095028-1215280516.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 973dbc41041e1781c07a539cb8e93a5d RANDOM SEED=971776979 node50.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.261 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.261 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: 1611840 kB Buffers: 78856 kB Cached: 288480 kB SwapCached: 7072 kB Active: 228644 kB Inactive: 153264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1611840 kB SwapTotal: 4192956 kB SwapFree: 4180240 kB Dirty: 25008 kB Writeback: 0 kB Mapped: 22068 kB Slab: 47400 kB Committed_AS: 4105416 kB PageTables: 1812 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 node50 at 2008-07-05 19:55:48