Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 35.9905 | 36.305 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
CHECKS | 54328 |
Name | csp/fapp/fapp20/ normalized-fapp20-0420-2.xml |
MD5SUM | b5be1e11c64ae0a3fe8c3477a50c68b1 |
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.36879 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 420 |
Number of constraints | 4737 |
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 | 4737 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 14.30/14.53 c CASE TO CLASSIFY: 14.30/14.53 c Case: 0 14.30/14.54 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.951200 | c 15 > 12.283400 | c 34 > 68.898000 | c 16 > 2.000000 | c 13 > 2.555440 | c 14 > -1.000000 | c 11 > 8.714250 | c 12 > 4.495510 | c 21 > 14.398800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.983000 | c 24 > 0.929887 | 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.209800 | 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.410000 | c 31 > -1.000000 | c 4 > 8.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.30/14.55 c choco : 1801.0 14.30/14.55 c mistral : 1801.0 14.30/14.55 c abscon : 1801.0 14.30/14.55 c 14.30/14.55 c 14.40/14.62 c List of same ones: 40 14.40/14.62 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml 14.40/14.62 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.398200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.40/14.63 c choco : 1801.0 14.40/14.63 c mistral : 1800.04 14.40/14.63 c abscon : 11.0623 14.40/14.63 c 14.40/14.63 c 14.40/14.63 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml 14.40/14.63 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.193500 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.40/14.64 c choco : 1801.0 14.40/14.64 c mistral : 1800.06 14.40/14.64 c abscon : 11.9282 14.40/14.64 c 14.40/14.64 c 14.40/14.64 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml 14.40/14.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.856000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.40/14.65 c choco : 1801.0 14.40/14.65 c mistral : 1800.03 14.40/14.65 c abscon : 25.9351 14.40/14.65 c 14.40/14.65 c 14.40/14.65 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml 14.40/14.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.127300 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.40/14.66 c choco : 1801.0 14.40/14.66 c mistral : 1800.03 14.40/14.66 c abscon : 12.0042 14.40/14.66 c 14.40/14.66 c 14.40/14.66 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml 14.40/14.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.668400 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.40/14.67 c choco : 1801.0 14.40/14.67 c mistral : 1800.02 14.40/14.67 c abscon : 17.2824 14.40/14.67 c 14.40/14.67 c 14.40/14.67 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml 14.40/14.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.033400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.40/14.68 c choco : 1801.0 14.40/14.68 c mistral : 1800.01 14.40/14.68 c abscon : 6.594 14.40/14.68 c 14.40/14.68 c 14.40/14.68 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml 14.40/14.68 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.516200 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.40/14.69 c choco : 1801.0 14.40/14.69 c mistral : 6.79996 14.40/14.69 c abscon : 6.95294 14.40/14.69 c 14.40/14.69 c 14.40/14.69 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml 14.40/14.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.978000 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.40/14.69 c choco : 1801.0 14.40/14.69 c mistral : 1800.03 14.40/14.69 c abscon : 5.97909 14.40/14.69 c 14.40/14.69 c 14.40/14.69 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml 14.40/14.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.461000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.48/14.70 c choco : 1801.0 14.48/14.70 c mistral : 4.03939 14.48/14.70 c abscon : 7.04993 14.48/14.70 c 14.48/14.70 c 14.48/14.70 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml 14.48/14.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.341500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.48/14.71 c choco : 1801.0 14.48/14.71 c mistral : 3.81642 14.48/14.71 c abscon : 7.04593 14.48/14.71 c 14.48/14.71 c 14.48/14.71 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml 14.48/14.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 14.67/14.91 c choco : 37.81 14.67/14.91 c mistral : 7.2519 14.67/14.91 c abscon : 12.7981 14.67/14.91 c 14.67/14.91 c 14.67/14.91 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml 14.67/14.91 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.857200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.67/14.92 c choco : 1801.0 14.67/14.92 c mistral : 1800.05 14.67/14.92 c abscon : 5.9181 14.67/14.92 c 14.67/14.92 c 14.67/14.92 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml 14.67/14.92 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 11.077500 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.093400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.67/14.93 c choco : 67.9 14.67/14.93 c mistral : 6.572 14.67/14.93 c abscon : 12.5521 14.67/14.93 c 14.67/14.93 c 14.67/14.93 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml 14.67/14.93 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.258600 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.67/14.94 c choco : 1801.0 14.67/14.94 c mistral : 4.28235 14.67/14.94 c abscon : 6.70698 14.67/14.94 c 14.67/14.94 c 14.67/14.94 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml 14.67/14.94 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.815400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.187700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.67/14.95 c choco : 1801.0 14.67/14.95 c mistral : 1800.09 14.67/14.95 c abscon : 6.03108 14.67/14.95 c 14.67/14.95 c 14.67/14.95 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml 14.67/14.95 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 14.67/14.96 c choco : 1801.0 14.67/14.96 c mistral : 5.8841 14.67/14.96 c abscon : 12.8071 14.67/14.96 c 14.67/14.96 c 14.67/14.96 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml 14.67/14.96 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 14.67/14.96 c choco : 1801.0 14.67/14.96 c mistral : 1800.05 14.67/14.96 c abscon : 5.67014 14.67/14.96 c 14.67/14.96 c 14.67/14.96 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml 14.67/14.96 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.174900 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.67/14.97 c choco : 1801.0 14.67/14.97 c mistral : 2.73858 14.67/14.97 c abscon : 6.30204 14.67/14.97 c 14.67/14.97 c 14.67/14.97 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml 14.67/14.97 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 14.67/14.97 c choco : 104.95 14.67/14.97 c mistral : 7.41487 14.67/14.97 c abscon : 12.2871 14.67/14.97 c 14.67/14.97 c 14.67/14.97 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml 14.67/14.97 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 14.67/14.99 c choco : 1801.0 14.67/14.99 c mistral : 514.646 14.67/14.99 c abscon : 5.76312 14.67/14.99 c 14.67/14.99 c 14.67/14.99 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml 14.67/14.99 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 14.67/14.99 c choco : 1801.0 14.67/14.99 c mistral : 1800.06 14.67/14.99 c abscon : 5.79212 14.67/14.99 c 14.67/14.99 c 14.67/14.99 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml 14.67/14.99 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.078800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.67/15.00 c choco : 1801.0 14.74/15.00 c mistral : 2.6216 14.74/15.00 c abscon : 6.46502 14.74/15.00 c 14.74/15.00 c 14.74/15.00 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml 14.74/15.00 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.057300 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.74/15.00 c choco : 1801.0 14.74/15.00 c mistral : 2.35864 14.74/15.00 c abscon : 6.51701 14.74/15.00 c 14.74/15.00 c 14.74/15.00 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml 14.74/15.00 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.991500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.74/15.01 c choco : 1801.0 14.74/15.01 c mistral : 2.40163 14.74/15.01 c abscon : 6.25705 14.74/15.01 c 14.74/15.01 c 14.74/15.01 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml 14.74/15.01 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 14.74/15.02 c choco : 201.72 14.74/15.02 c mistral : 9.30558 14.74/15.02 c abscon : 12.6881 14.74/15.02 c 14.74/15.02 c 14.74/15.02 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml 14.74/15.02 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 14.74/15.02 c choco : 1801.0 14.74/15.02 c mistral : 31.0823 14.74/15.02 c abscon : 15.9926 14.74/15.02 c 14.74/15.02 c 14.74/15.02 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml 14.74/15.02 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 14.74/15.03 c choco : 1801.0 14.74/15.03 c mistral : 1800.02 14.74/15.03 c abscon : 14.5538 14.74/15.03 c 14.74/15.03 c 14.74/15.03 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml 14.74/15.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 14.74/15.03 c choco : 245.07 14.74/15.03 c mistral : 279.471 14.74/15.03 c abscon : 6.48201 14.74/15.03 c 14.74/15.03 c 14.74/15.03 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml 14.74/15.03 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 12.038900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.74/15.04 c choco : 33.36 14.74/15.04 c mistral : 6.83796 14.74/15.04 c abscon : 10.5184 14.74/15.04 c 14.74/15.04 c 14.74/15.04 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml 14.74/15.04 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.868400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.74/15.05 c choco : 80.85 14.74/15.05 c mistral : 12.5891 14.74/15.05 c abscon : 10.0495 14.74/15.05 c 14.74/15.05 c 14.74/15.05 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-2.xml 14.74/15.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 14.74/15.06 c choco : 183.12 14.74/15.06 c mistral : 246.183 14.74/15.06 c abscon : 6.94994 14.74/15.06 c 14.74/15.06 c 14.74/15.06 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-1.xml 14.74/15.06 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 14.74/15.06 c choco : 146.7 14.74/15.06 c mistral : 255.495 14.74/15.06 c abscon : 6.25605 14.74/15.06 c 14.74/15.06 c 14.74/15.06 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml 14.74/15.06 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.723700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.74/15.07 c choco : 1801.0 14.74/15.07 c mistral : 39.28 14.74/15.07 c abscon : 9.8585 14.74/15.07 c 14.74/15.07 c 14.74/15.07 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml 14.74/15.07 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.670200 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.74/15.07 c choco : 115.65 14.74/15.07 c mistral : 1800.08 14.74/15.07 c abscon : 11.0983 14.74/15.07 c 14.74/15.07 c 14.74/15.08 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml 14.74/15.08 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.634800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.135100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.74/15.08 c choco : 1801.0 14.74/15.08 c mistral : 9.48556 14.74/15.08 c abscon : 6.47801 14.74/15.08 c 14.74/15.08 c 14.74/15.08 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml 14.74/15.08 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.494900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.74/15.09 c choco : 30.96 14.74/15.09 c mistral : 2.38464 14.74/15.09 c abscon : 5.81212 14.74/15.09 c 14.74/15.09 c 14.74/15.09 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml 14.74/15.09 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.475700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.74/15.09 c choco : 30.87 14.74/15.09 c mistral : 2.28165 14.74/15.09 c abscon : 5.48517 14.74/15.09 c 14.74/15.09 c 14.74/15.09 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp20/fapp20-0420-4.xml 14.74/15.09 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.951200 | c 15 > 9.805740 | c 34 > 68.898000 | c 16 > 2.000000 | c 13 > 2.555440 | c 14 > -1.000000 | c 11 > 8.714250 | c 12 > 4.495510 | c 21 > 14.398800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.983000 | c 24 > 0.929887 | 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.209800 | 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.410000 | c 31 > -1.000000 | c 4 > 8.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.81/15.10 c choco : 107.95 14.81/15.10 c mistral : 11.2653 14.81/15.10 c abscon : 5.34519 14.81/15.10 c 14.81/15.10 c 14.81/15.10 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp20/fapp20-0420-9.xml 14.81/15.10 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.951200 | c 15 > 9.805740 | c 34 > 68.898000 | c 16 > 2.000000 | c 13 > 2.555440 | c 14 > -1.000000 | c 11 > 8.714250 | c 12 > 4.495510 | c 21 > 14.398800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.983000 | c 24 > 0.929887 | 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.209800 | 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.410000 | c 31 > -1.000000 | c 4 > 8.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.81/15.11 c choco : 70.39 14.81/15.11 c mistral : 11.6902 14.81/15.11 c abscon : 5.49916 14.81/15.11 c 14.81/15.11 c 14.81/15.11 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp20/fapp20-0420-6.xml 14.81/15.11 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.951200 | c 15 > 9.804130 | c 34 > 68.898000 | c 16 > 2.000000 | c 13 > 2.555440 | c 14 > -1.000000 | c 11 > 8.714250 | c 12 > 4.495510 | c 21 > 14.398800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.983000 | c 24 > 0.929887 | 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.209800 | 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.410000 | c 31 > -1.000000 | c 4 > 8.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.81/15.12 c choco : 59.3 14.81/15.12 c mistral : 11.3223 14.81/15.12 c abscon : 5.47117 14.81/15.12 c 14.81/15.12 c 14.81/15.12 c Length: 40 14.81/15.12 c 1.7343247863142606 1.847210176028706 1.867318267998254 1.8870269299678804 1.9189663243527748 1.945971074919667 1.973018650190616 1.9820122563758291 1.9951312022020002 2.047286585703135 2.052647610619998 2.063576958687028 2.063807193849267 2.0867251361882815 2.092684262956073 2.112585875978534 2.120793310161083 2.129079379450189 2.153762320541426 2.156194625822076 2.1749005550654505 2.180657679233492 2.1926075718194538 2.2300700356715257 2.2330111807566007 2.2811350274334896 2.28398855806766 2.342470194769613 2.354784837551191 2.3785408092275797 2.379328754792827 2.388009665680603 2.408006534700641 2.421000954390764 2.4539944404989997 2.4712271508627026 2.477420164437391 2.47766 2.47766 2.4792699999999996 14.81/15.12 c 14.81/15.12 c 1.0 0.8684059658550284 0.8485162091779257 0.8298862661321352 0.801372451042326 0.7787495622755487 0.7573359280642372 0.7504741944154825 0.7406850675466039 0.70416889620638 0.7006184584396495 0.6934900637015379 0.6933414582541593 0.6788610975645234 0.6751944591702751 0.6632309767706139 0.6584198061005954 0.6536328331608667 0.6397769247449043 0.6384432662630085 0.6283694887917101 0.6253327493852482 0.6191222396641791 0.6004279357952299 0.5990079448101472 0.576692136978986 0.5754210128806186 0.550550865918322 0.5455854264103263 0.5362553993440765 0.5359514025727016 0.5326249001693683 0.5251170558591625 0.5203507178474486 0.5086287392185735 0.5027137909645475 0.5006215675744301 0.5005408926874227 0.5005408926874227 0.5 14.81/15.13 c 14.81/15.13 c solver 0 14.81/15.13 c before 0.0 seconds: {} 0 14.81/15.13 c before 18.0 seconds: {0, 1, 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} 24909 14.81/15.13 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25758 14.81/15.13 c 14.81/15.13 c solver 1 14.81/15.13 c before 0.0 seconds: {} 0 14.81/15.13 c before 18.0 seconds: {6, 8, 9, 10, 12, 13, 15, 17, 18, 21, 22, 23, 24, 28, 29, 34, 35, 36, 37, 38, 39} 12770 14.81/15.13 c before 36.0 seconds: {6, 8, 9, 10, 12, 13, 15, 17, 18, 21, 22, 23, 24, 25, 28, 29, 34, 35, 36, 37, 38, 39} 13347 14.81/15.13 c before 54.0 seconds: {6, 8, 9, 10, 12, 13, 15, 17, 18, 21, 22, 23, 24, 25, 28, 29, 32, 34, 35, 36, 37, 38, 39} 13872 14.81/15.13 c before 252.0 seconds: {6, 8, 9, 10, 12, 13, 15, 17, 18, 21, 22, 23, 24, 25, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 14408 14.81/15.13 c before 270.0 seconds: {6, 8, 9, 10, 12, 13, 15, 17, 18, 21, 22, 23, 24, 25, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 14940 14.81/15.13 c before 288.0 seconds: {6, 8, 9, 10, 12, 13, 15, 17, 18, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 15491 14.81/15.13 c before 522.0 seconds: {6, 8, 9, 10, 12, 13, 15, 17, 18, 19, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 16129 14.81/15.14 c 14.81/15.14 c solver 2 14.81/15.14 c before 0.0 seconds: {} 0 14.81/15.14 c before 36.0 seconds: {28, 35, 36} 1548 14.81/15.14 c before 54.0 seconds: {10, 28, 35, 36} 2249 14.81/15.14 c before 72.0 seconds: {10, 12, 28, 35, 36, 38, 39} 3943 14.81/15.14 c before 90.0 seconds: {10, 12, 28, 29, 35, 36, 38, 39} 4479 14.81/15.14 c before 108.0 seconds: {10, 12, 18, 28, 29, 35, 36, 37, 38, 39} 5619 14.81/15.14 c before 126.0 seconds: {10, 12, 18, 28, 29, 33, 35, 36, 37, 38, 39} 6140 14.81/15.14 c before 162.0 seconds: {10, 12, 18, 28, 29, 31, 33, 35, 36, 37, 38, 39} 6672 14.81/15.14 c before 198.0 seconds: {10, 12, 18, 28, 29, 30, 31, 33, 35, 36, 37, 38, 39} 7208 14.81/15.14 c before 216.0 seconds: {10, 12, 18, 24, 28, 29, 30, 31, 33, 35, 36, 37, 38, 39} 7807 14.81/15.14 c before 252.0 seconds: {10, 12, 18, 24, 27, 28, 29, 30, 31, 33, 35, 36, 37, 38, 39} 8358 14.81/15.14 c 14.81/15.14 cTotal time: 45 14.81/15.14 c 810.0 seconds unused 14.81/15.14 c 0 c 13 c 25 14.81/15.14 c 0 c 0 c 13 14.81/15.14 c 0 c 1 c 0 14.81/15.14 c is solver0 dominated by: 14.81/15.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) 14.81/15.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) 14.81/15.14 c is dominated? false 14.81/15.14 c 14.81/15.14 c is solver1 dominated by: 14.81/15.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) 14.81/15.14 c is dominated? true 14.81/15.14 c 14.81/15.14 c is solver2 dominated by: 14.81/15.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) 14.81/15.14 c is dominated? true 14.81/15.14 c 14.81/15.14 c Number of non-dominated solvers: 1 14.81/15.14 c remove dominated solvers 14.81/15.14 c solver 0 is not dominated by another solver 14.81/15.14 c solver 2 is dominated by another solver 14.81/15.14 c solver 1 is dominated by another solver 14.81/15.14 c 14.81/15.14 c solver 0: 36.0 14.81/15.14 c 14.81/15.14 c+ 2/2 of 98 14.81/15.14 c 14.81/15.14 c solver 1: 0.0 14.81/15.14 c 14.81/15.14 c solver 2: 0.0 14.81/15.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} 25758 14.81/15.14 c do not run mistral 14.81/15.14 c do not run choco 14.81/15.14 c Starting solver: HOME/cpHydra_k_40/solver/abscon 14.81/15.14 c On Instance: HOME/instance-1094818-1215279912.xml 14.81/15.14 c Running for: 1800 seconds 35.86/36.28 s UNSATISFIABLE 35.86/36.28 d ASSIGNMENTS 0 35.86/36.28 d CHECKS 54328
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-1094818-1215279912/watcher-1094818-1215279912 -o /tmp/evaluation-result-1094818-1215279912/solver-1094818-1215279912 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1094818-1215279912.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.00 2.01 2.00 4/87 23935 /proc/meminfo: memFree=1703072/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=18572 CPUtime=0 /proc/23935/stat : 23935 (runsolver) R 23933 23935 22613 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 650924806 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 231493659943 0 0 4096 24578 0 0 0 17 1 0 0 /proc/23935/statm: 4643 292 257 25 0 2626 0 [startup+0.133761 s] /proc/loadavg: 2.00 2.01 2.00 4/87 23935 /proc/meminfo: memFree=1703072/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=0 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 650924806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201771 s] /proc/loadavg: 2.00 2.01 2.00 4/87 23935 /proc/meminfo: memFree=1703072/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=0 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 650924806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301783 s] /proc/loadavg: 2.00 2.01 2.00 4/87 23935 /proc/meminfo: memFree=1703072/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=0 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 650924806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701838 s] /proc/loadavg: 2.00 2.01 2.00 4/87 23935 /proc/meminfo: memFree=1703072/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=0 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 650924806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50196 s] /proc/loadavg: 2.00 2.01 2.00 3/89 23939 /proc/meminfo: memFree=1693584/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=0 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 650924806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 236 195 169 0 51 0 [pid=23939] ppid=23935 vsize=19472 CPUtime=1.47 /proc/23939/stat : 23939 (xsolve) R 23935 23935 22613 0 -1 4194304 2746 0 0 0 146 1 0 0 25 0 1 0 650924807 19939328 2705 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0 /proc/23939/statm: 4868 2705 417 177 0 3771 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 24832 [startup+3.10119 s] /proc/loadavg: 2.00 2.01 2.00 3/89 23939 /proc/meminfo: memFree=1693392/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=0 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 650924806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 236 195 169 0 51 0 [pid=23939] ppid=23935 vsize=19472 CPUtime=3.06 /proc/23939/stat : 23939 (xsolve) R 23935 23935 22613 0 -1 4194304 2747 0 0 0 305 1 0 0 25 0 1 0 650924807 19939328 2706 996147200 134512640 135239763 4294956176 18446744073709551615 134534761 0 0 4096 0 0 0 0 17 1 0 0 /proc/23939/statm: 4868 2706 418 177 0 3771 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 24832 [startup+6.30166 s] /proc/loadavg: 2.00 2.01 2.00 3/89 23939 /proc/meminfo: memFree=1693648/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=0 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 650924806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 236 195 169 0 51 0 [pid=23939] ppid=23935 vsize=19472 CPUtime=6.22 /proc/23939/stat : 23939 (xsolve) R 23935 23935 22613 0 -1 4194304 2747 0 0 0 621 1 0 0 25 0 1 0 650924807 19939328 2706 996147200 134512640 135239763 4294956176 18446744073709551615 134540177 0 0 4096 0 0 0 0 17 1 0 0 /proc/23939/statm: 4868 2706 418 177 0 3771 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 24832 [startup+12.7026 s] /proc/loadavg: 2.00 2.01 2.00 3/97 23951 /proc/meminfo: memFree=1684880/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=8.83 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 375 3346 0 0 0 0 882 1 18 0 1 0 650924806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 238 196 169 0 51 0 [pid=23943] ppid=23935 vsize=197020 CPUtime=3.7 /proc/23943/stat : 23943 (java) S 23935 23935 22613 0 -1 0 9073 0 1 0 358 12 0 0 18 0 9 0 650925701 201748480 7516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/23943/statm: 49255 7516 2541 9 0 43837 0 [pid=23943/tid=23944] ppid=23935 vsize=197020 CPUtime=2.82 /proc/23943/task/23944/stat : 23944 (java) R 23935 23935 22613 0 -1 64 3397 0 1 0 279 3 0 0 25 0 9 0 650925702 201748480 7516 996147200 134512640 134550740 4294955968 18446744073709551615 4126439407 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23945] ppid=23935 vsize=197020 CPUtime=0.67 /proc/23943/task/23945/stat : 23945 (java) S 23935 23935 22613 0 -1 64 4324 0 0 0 60 7 0 0 16 0 9 0 650925703 201748480 7516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23946] ppid=23935 vsize=197020 CPUtime=0 /proc/23943/task/23946/stat : 23946 (java) S 23935 23935 22613 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 650925703 201748480 7516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23947] ppid=23935 vsize=197020 CPUtime=0 /proc/23943/task/23947/stat : 23947 (java) S 23935 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 650925703 201748480 7516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23948] ppid=23935 vsize=197020 CPUtime=0 /proc/23943/task/23948/stat : 23948 (java) S 23935 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 650925705 201748480 7516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23949] ppid=23935 vsize=197020 CPUtime=0.17 /proc/23943/task/23949/stat : 23949 (java) S 23935 23935 22613 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 650925705 201748480 7516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23950] ppid=23935 vsize=197020 CPUtime=0 /proc/23943/task/23950/stat : 23950 (java) S 23935 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 650925705 201748480 7516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23951] ppid=23935 vsize=197020 CPUtime=0 /proc/23943/task/23951/stat : 23951 (java) S 23935 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 650925705 201748480 7516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 202380 [startup+25.5025 s] /proc/loadavg: 2.00 2.01 2.00 3/109 23963 /proc/meminfo: memFree=1623144/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=8.83 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 375 3346 0 0 0 0 882 1 18 0 1 0 650924806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 238 196 169 0 51 0 [pid=23943] ppid=23935 vsize=197344 CPUtime=6.02 /proc/23943/stat : 23943 (java) S 23935 23935 22613 0 -1 0 13964 0 1 0 583 19 0 0 18 0 10 0 650925701 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/23943/statm: 49336 9478 2544 9 0 43918 0 [pid=23953] ppid=23943 vsize=5356 CPUtime=0 /proc/23953/stat : 23953 (abscon) S 23943 23935 22613 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 650926320 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/23953/statm: 1339 235 194 169 0 50 0 [pid=23954] ppid=23953 vsize=655888 CPUtime=10.32 /proc/23954/stat : 23954 (java) S 23953 23935 22613 0 -1 0 15095 0 1 0 1020 12 0 0 18 0 9 0 650926321 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23954/statm: 163972 14597 2007 9 0 158500 0 [pid=23954/tid=23956] ppid=23953 vsize=655888 CPUtime=10.04 /proc/23954/task/23956/stat : 23956 (java) R 23953 23935 22613 0 -1 64 12453 0 1 0 994 10 0 0 25 0 9 0 650926322 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4126879415 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23957] ppid=23953 vsize=655888 CPUtime=0.03 /proc/23954/task/23957/stat : 23957 (java) S 23953 23935 22613 0 -1 64 1409 0 0 0 3 0 0 0 16 0 9 0 650926323 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23958] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23958/stat : 23958 (java) S 23953 23935 22613 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23959] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23959/stat : 23959 (java) S 23953 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23960] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23960/stat : 23960 (java) S 23953 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 650926325 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23961] ppid=23953 vsize=655888 CPUtime=0.23 /proc/23954/task/23961/stat : 23961 (java) S 23953 23935 22613 0 -1 64 688 0 0 0 22 1 0 0 15 0 9 0 650926325 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23962] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23962/stat : 23962 (java) S 23953 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 650926325 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23963] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23963/stat : 23963 (java) S 23953 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 650926325 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23955] ppid=23953 vsize=7044 CPUtime=0 /proc/23955/stat : 23955 (translate) S 23953 23935 22613 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 650926321 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231493828690 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/23955/statm: 1761 213 182 1 0 41 0 [pid=23943/tid=23944] ppid=23935 vsize=197344 CPUtime=4.63 /proc/23943/task/23944/stat : 23944 (java) S 23935 23935 22613 0 -1 64 3899 0 1 0 456 7 0 0 25 0 10 0 650925702 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=23943/tid=23945] ppid=23935 vsize=197344 CPUtime=1.11 /proc/23943/task/23945/stat : 23945 (java) S 23935 23935 22613 0 -1 64 8572 0 0 0 101 10 0 0 16 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23946] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23946/stat : 23946 (java) S 23935 23935 22613 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23947] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23947/stat : 23947 (java) S 23935 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23948] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23948/stat : 23948 (java) S 23935 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23949] ppid=23935 vsize=197344 CPUtime=0.24 /proc/23943/task/23949/stat : 23949 (java) S 23935 23935 22613 0 -1 64 668 0 0 0 23 1 0 0 16 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23950] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23950/stat : 23950 (java) S 23935 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23951] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23951/stat : 23951 (java) S 23935 23935 22613 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23952] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23952/stat : 23952 (java) S 23935 23935 22613 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 650926320 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.17 Current children cumulated vsize (KiB) 870992 Solver just ended. Dumping a history of the last processes samples [startup+25.6025 s] /proc/loadavg: 2.00 2.01 2.00 3/109 23963 /proc/meminfo: memFree=1623144/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=8.83 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 375 3346 0 0 0 0 882 1 18 0 1 0 650924806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 238 196 169 0 51 0 [pid=23943] ppid=23935 vsize=197344 CPUtime=6.02 /proc/23943/stat : 23943 (java) S 23935 23935 22613 0 -1 0 13964 0 1 0 583 19 0 0 18 0 10 0 650925701 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/23943/statm: 49336 9478 2544 9 0 43918 0 [pid=23953] ppid=23943 vsize=5356 CPUtime=0 /proc/23953/stat : 23953 (abscon) S 23943 23935 22613 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 650926320 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/23953/statm: 1339 235 194 169 0 50 0 [pid=23954] ppid=23953 vsize=655888 CPUtime=10.42 /proc/23954/stat : 23954 (java) S 23953 23935 22613 0 -1 0 15095 0 1 0 1030 12 0 0 18 0 9 0 650926321 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23954/statm: 163972 14597 2007 9 0 158500 0 [pid=23954/tid=23956] ppid=23953 vsize=655888 CPUtime=10.14 /proc/23954/task/23956/stat : 23956 (java) R 23953 23935 22613 0 -1 64 12453 0 1 0 1004 10 0 0 25 0 9 0 650926322 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4126875568 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23957] ppid=23953 vsize=655888 CPUtime=0.03 /proc/23954/task/23957/stat : 23957 (java) S 23953 23935 22613 0 -1 64 1409 0 0 0 3 0 0 0 16 0 9 0 650926323 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23958] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23958/stat : 23958 (java) S 23953 23935 22613 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23959] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23959/stat : 23959 (java) S 23953 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 14597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/23943/task/23951/stat : 23951 (java) S 23935 23935 22613 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23952] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23952/stat : 23952 (java) S 23935 23935 22613 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 650926320 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 33.26 Current children cumulated vsize (KiB) 870992 [startup+35.2029 s] /proc/loadavg: 2.00 2.01 2.00 4/109 23963 /proc/meminfo: memFree=1614888/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=8.83 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 375 3346 0 0 0 0 882 1 18 0 1 0 650924806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 238 196 169 0 51 0 [pid=23943] ppid=23935 vsize=197344 CPUtime=6.02 /proc/23943/stat : 23943 (java) S 23935 23935 22613 0 -1 0 13964 0 1 0 583 19 0 0 18 0 10 0 650925701 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/23943/statm: 49336 9478 2544 9 0 43918 0 [pid=23953] ppid=23943 vsize=5356 CPUtime=0 /proc/23953/stat : 23953 (abscon) S 23943 23935 22613 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 650926320 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/23953/statm: 1339 235 194 169 0 50 0 [pid=23954] ppid=23953 vsize=655888 CPUtime=20.01 /proc/23954/stat : 23954 (java) S 23953 23935 22613 0 -1 0 17137 0 1 0 1982 19 0 0 18 0 9 0 650926321 671629312 16637 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23954/statm: 163972 16637 2008 9 0 158500 0 [pid=23954/tid=23956] ppid=23953 vsize=655888 CPUtime=19.66 /proc/23954/task/23956/stat : 23956 (java) R 23953 23935 22613 0 -1 64 12459 0 1 0 1950 16 0 0 25 0 9 0 650926322 671629312 16637 996147200 134512640 134550740 4294955808 18446744073709551615 4126876801 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23957] ppid=23953 vsize=655888 CPUtime=0.08 /proc/23954/task/23957/stat : 23957 (java) S 23953 23935 22613 0 -1 64 3428 0 0 0 7 1 0 0 16 0 9 0 650926323 671629312 16637 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23958] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23958/stat : 23958 (java) S 23953 23935 22613 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 16637 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23959] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23959/stat : 23959 (java) S 23953 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 16637 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23960] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23960/stat : 23960 (java) S 23953 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 650926325 671629312 16637 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23961] ppid=23953 vsize=655888 CPUtime=0.25 /proc/23954/task/23961/stat : 23961 (java) S 23953 23935 22613 0 -1 64 705 0 0 0 24 1 0 0 16 0 9 0 650926325 671629312 16637 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23962] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23962/stat : 23962 (java) S 23953 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 650926325 671629312 16637 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23963] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23963/stat : 23963 (java) S 23953 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 650926325 671629312 16637 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23955] ppid=23953 vsize=7044 CPUtime=0 /proc/23955/stat : 23955 (translate) S 23953 23935 22613 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 650926321 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231493828690 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/23955/statm: 1761 213 182 1 0 41 0 [pid=23943/tid=23944] ppid=23935 vsize=197344 CPUtime=4.63 /proc/23943/task/23944/stat : 23944 (java) S 23935 23935 22613 0 -1 64 3899 0 1 0 456 7 0 0 25 0 10 0 650925702 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=23943/tid=23945] ppid=23935 vsize=197344 CPUtime=1.11 /proc/23943/task/23945/stat : 23945 (java) S 23935 23935 22613 0 -1 64 8572 0 0 0 101 10 0 0 16 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23946] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23946/stat : 23946 (java) S 23935 23935 22613 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23947] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23947/stat : 23947 (java) S 23935 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23948] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23948/stat : 23948 (java) S 23935 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23949] ppid=23935 vsize=197344 CPUtime=0.24 /proc/23943/task/23949/stat : 23949 (java) S 23935 23935 22613 0 -1 64 668 0 0 0 23 1 0 0 16 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23950] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23950/stat : 23950 (java) S 23935 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23951] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23951/stat : 23951 (java) S 23935 23935 22613 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23952] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23952/stat : 23952 (java) S 23935 23935 22613 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 650926320 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 34.86 Current children cumulated vsize (KiB) 870992 [startup+36.002 s] /proc/loadavg: 2.00 2.01 2.00 4/109 23963 /proc/meminfo: memFree=1614888/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=8.83 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 375 3346 0 0 0 0 882 1 18 0 1 0 650924806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 238 196 169 0 51 0 [pid=23943] ppid=23935 vsize=197344 CPUtime=6.02 /proc/23943/stat : 23943 (java) S 23935 23935 22613 0 -1 0 13964 0 1 0 583 19 0 0 18 0 10 0 650925701 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/23943/statm: 49336 9478 2544 9 0 43918 0 [pid=23953] ppid=23943 vsize=5356 CPUtime=0 /proc/23953/stat : 23953 (abscon) S 23943 23935 22613 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 650926320 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/23953/statm: 1339 235 194 169 0 50 0 [pid=23954] ppid=23953 vsize=655888 CPUtime=20.81 /proc/23954/stat : 23954 (java) S 23953 23935 22613 0 -1 0 17339 0 1 0 2061 20 0 0 18 0 9 0 650926321 671629312 16778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23954/statm: 163972 16778 2069 9 0 158500 0 [pid=23954/tid=23956] ppid=23953 vsize=655888 CPUtime=20.38 /proc/23954/task/23956/stat : 23956 (java) R 23953 23935 22613 0 -1 64 12490 0 1 0 2022 16 0 0 25 0 9 0 650926322 671629312 16778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23957] ppid=23953 vsize=655888 CPUtime=0.12 /proc/23954/task/23957/stat : 23957 (java) R 23953 23935 22613 0 -1 64 3589 0 0 0 11 1 0 0 16 0 9 0 650926323 671629312 16778 996147200 134512640 134550740 4294955808 18446744073709551615 104181377 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23958] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23958/stat : 23958 (java) S 23953 23935 22613 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 16778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23959] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23959/stat : 23959 (java) S 23953 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 16778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23960] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23960/stat : 23960 (java) S 23953 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 650926325 671629312 16778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23961] ppid=23953 vsize=655888 CPUtime=0.27 /proc/23954/task/23961/stat : 23961 (java) S 23953 23935 22613 0 -1 64 715 0 0 0 26 1 0 0 15 0 9 0 650926325 671629312 16778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23962] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23962/stat : 23962 (java) S 23953 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 650926325 671629312 16778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23963] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23963/stat : 23963 (java) S 23953 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 650926325 671629312 16778 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23955] ppid=23953 vsize=7044 CPUtime=0 /proc/23955/stat : 23955 (translate) S 23953 23935 22613 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 650926321 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231493828690 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/23955/statm: 1761 213 182 1 0 41 0 [pid=23943/tid=23944] ppid=23935 vsize=197344 CPUtime=4.63 /proc/23943/task/23944/stat : 23944 (java) S 23935 23935 22613 0 -1 64 3899 0 1 0 456 7 0 0 25 0 10 0 650925702 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=23943/tid=23945] ppid=23935 vsize=197344 CPUtime=1.11 /proc/23943/task/23945/stat : 23945 (java) S 23935 23935 22613 0 -1 64 8572 0 0 0 101 10 0 0 16 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23946] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23946/stat : 23946 (java) S 23935 23935 22613 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23947] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23947/stat : 23947 (java) S 23935 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23948] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23948/stat : 23948 (java) S 23935 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23949] ppid=23935 vsize=197344 CPUtime=0.24 /proc/23943/task/23949/stat : 23949 (java) S 23935 23935 22613 0 -1 64 668 0 0 0 23 1 0 0 16 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23950] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23950/stat : 23950 (java) S 23935 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23951] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23951/stat : 23951 (java) S 23935 23935 22613 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23952] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23952/stat : 23952 (java) S 23935 23935 22613 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 650926320 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 35.66 Current children cumulated vsize (KiB) 870992 [startup+36.2021 s] /proc/loadavg: 2.00 2.01 2.00 4/109 23963 /proc/meminfo: memFree=1614888/2055920 swapFree=4180840/4192956 [pid=23935] ppid=23933 vsize=5360 CPUtime=8.83 /proc/23935/stat : 23935 (hydra) S 23933 23935 22613 0 -1 4194304 375 3346 0 0 0 0 882 1 18 0 1 0 650924806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23935/statm: 1340 238 196 169 0 51 0 [pid=23943] ppid=23935 vsize=197344 CPUtime=6.02 /proc/23943/stat : 23943 (java) S 23935 23935 22613 0 -1 0 13964 0 1 0 583 19 0 0 18 0 10 0 650925701 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/23943/statm: 49336 9478 2544 9 0 43918 0 [pid=23953] ppid=23943 vsize=5356 CPUtime=0 /proc/23953/stat : 23953 (abscon) S 23943 23935 22613 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 650926320 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/23953/statm: 1339 235 194 169 0 50 0 [pid=23954] ppid=23953 vsize=655888 CPUtime=21.01 /proc/23954/stat : 23954 (java) S 23953 23935 22613 0 -1 0 19718 0 1 0 2080 21 0 0 18 0 9 0 650926321 671629312 19026 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23954/statm: 163972 19026 2617 9 0 158500 0 [pid=23954/tid=23956] ppid=23953 vsize=655888 CPUtime=20.5 /proc/23954/task/23956/stat : 23956 (java) R 23953 23935 22613 0 -1 64 12537 0 1 0 2033 17 0 0 25 0 9 0 650926322 671629312 19026 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23957] ppid=23953 vsize=655888 CPUtime=0.19 /proc/23954/task/23957/stat : 23957 (java) S 23953 23935 22613 0 -1 64 5907 0 0 0 17 2 0 0 17 0 9 0 650926323 671629312 19026 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23958] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23958/stat : 23958 (java) S 23953 23935 22613 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 19026 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23959] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23959/stat : 23959 (java) S 23953 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 650926323 671629312 19026 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23960] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23960/stat : 23960 (java) S 23953 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 650926325 671629312 19026 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23961] ppid=23953 vsize=655888 CPUtime=0.29 /proc/23954/task/23961/stat : 23961 (java) S 23953 23935 22613 0 -1 64 729 0 0 0 28 1 0 0 15 0 9 0 650926325 671629312 19026 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23962] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23962/stat : 23962 (java) S 23953 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 650926325 671629312 19026 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23954/tid=23963] ppid=23953 vsize=655888 CPUtime=0 /proc/23954/task/23963/stat : 23963 (java) S 23953 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 650926325 671629312 19026 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23955] ppid=23953 vsize=7044 CPUtime=0 /proc/23955/stat : 23955 (translate) S 23953 23935 22613 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 650926321 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231493828690 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/23955/statm: 1761 213 182 1 0 41 0 [pid=23943/tid=23944] ppid=23935 vsize=197344 CPUtime=4.63 /proc/23943/task/23944/stat : 23944 (java) S 23935 23935 22613 0 -1 64 3899 0 1 0 456 7 0 0 25 0 10 0 650925702 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=23943/tid=23945] ppid=23935 vsize=197344 CPUtime=1.11 /proc/23943/task/23945/stat : 23945 (java) S 23935 23935 22613 0 -1 64 8572 0 0 0 101 10 0 0 16 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23946] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23946/stat : 23946 (java) S 23935 23935 22613 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23947] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23947/stat : 23947 (java) S 23935 23935 22613 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 650925703 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23948] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23948/stat : 23948 (java) S 23935 23935 22613 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23949] ppid=23935 vsize=197344 CPUtime=0.24 /proc/23943/task/23949/stat : 23949 (java) S 23935 23935 22613 0 -1 64 668 0 0 0 23 1 0 0 16 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23950] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23950/stat : 23950 (java) S 23935 23935 22613 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23951] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23951/stat : 23951 (java) S 23935 23935 22613 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 650925705 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23943/tid=23952] ppid=23935 vsize=197344 CPUtime=0 /proc/23943/task/23952/stat : 23952 (java) S 23935 23935 22613 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 650926320 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 35.86 Current children cumulated vsize (KiB) 870992 Child status: 0 Real time (s): 36.305 CPU time (s): 35.9905 CPU user time (s): 35.5246 CPU system time (s): 0.465929 CPU usage (%): 99.1337 Max. virtual memory (cumulated for all children) (KiB): 870992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.5246 system time used= 0.465929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38145 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= 12099 involuntary context switches= 17260 runsolver used 0.19597 second user time and 0.297954 second system time The end
Begin job on node39 at 2008-07-05 19:45:12 IDJOB=1094818 IDBENCH=58833 IDSOLVER=366 FILE ID=node39/1094818-1215279912 PBS_JOBID= 7882215 Free space on /tmp= 66560 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/fapp/fapp20/normalized-fapp20-0420-2.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094818-1215279912/watcher-1094818-1215279912 -o /tmp/evaluation-result-1094818-1215279912/solver-1094818-1215279912 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1094818-1215279912.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= b5be1e11c64ae0a3fe8c3477a50c68b1 RANDOM SEED=73184731 node39.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.267 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.267 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: 1703552 kB Buffers: 48428 kB Cached: 215120 kB SwapCached: 6276 kB Active: 197288 kB Inactive: 98636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1703552 kB SwapTotal: 4192956 kB SwapFree: 4180840 kB Dirty: 24928 kB Writeback: 0 kB Mapped: 49808 kB Slab: 40864 kB Committed_AS: 1082940 kB PageTables: 2380 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= 66536 MiB End job on node39 at 2008-07-05 19:45:48