Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 11.2733 | 11.6102 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 4763 |
CHECKS | 569419 |
Name | csp/ chessboardColoration/normalized-cc-9-9-3.xml |
MD5SUM | 7da1eab70d7646969af163997fbe8b95 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.199969 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 81 |
Number of constraints | 1296 |
Maximum constraint arity | 4 |
Maximum domain size | 3 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1296 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.31/7.51 c CASE TO CLASSIFY: 7.31/7.51 c Case: 0 7.31/7.52 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.984000 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 9.974500 | c 14 > 11.488800 | c 11 > 6.339850 | c 12 > 9.832500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 10.339900 | 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 > 7.924810 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.31/7.53 c choco : 1801.0 7.31/7.53 c mistral : 1801.0 7.31/7.53 c abscon : 1801.0 7.31/7.53 c 7.31/7.53 c 7.40/7.61 c List of same ones: 40 7.40/7.61 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-9-9-3.xml 7.40/7.61 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.662800 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 9.689580 | c 14 > 11.180500 | c 11 > 6.339850 | c 12 > 9.540690 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 10.339900 | 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 > 7.924810 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.62 c choco : 7.71 7.40/7.62 c mistral : 0.4 7.40/7.62 c abscon : 1.68074 7.40/7.62 c 7.40/7.62 c 7.40/7.62 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-8-8-3.xml 7.40/7.62 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.837800 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 10.179500 | c 14 > 11.732600 | c 11 > 6.000000 | c 12 > 10.504000 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 9.614710 | 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 > 7.584960 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.62 c choco : 3.53 7.40/7.62 c mistral : 0.1 7.40/7.62 c abscon : 1.09083 7.40/7.62 c 7.40/7.62 c 7.40/7.62 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-7-7-3.xml 7.40/7.62 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.169600 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 10.740200 | c 14 > 12.654400 | c 11 > 5.614710 | c 12 > 11.504500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 8.784630 | 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 > 7.199670 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.63 c choco : 2.85 7.40/7.63 c mistral : 0.05 7.40/7.63 c abscon : 0.948855 7.40/7.63 c 7.40/7.63 c 7.40/7.63 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-6-6-3.xml 7.40/7.63 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 16.166300 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 7.742590 | c 14 > 9.339850 | c 11 > 5.169930 | c 12 > 7.878560 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 7.813780 | 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 > 6.754890 | c 31 > -1.000000 | c 4 > 5.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.64 c choco : 2.17 7.40/7.64 c mistral : 0.03 7.40/7.64 c abscon : 0.862868 7.40/7.64 c 7.40/7.64 c 7.40/7.64 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-7-7-2.xml 7.40/7.64 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 18.407800 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 9.750470 | c 14 > 11.221600 | c 11 > 5.614710 | c 12 > 9.853120 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 8.784630 | c 1 > 5.614710 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.614710 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.65 c choco : 22.64 7.40/7.65 c mistral : 0.340947 7.40/7.65 c abscon : 1.43778 7.40/7.65 c 7.40/7.65 c 7.40/7.65 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-8-8-2.xml 7.40/7.65 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 18.816600 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 10.062000 | c 14 > 11.120200 | c 11 > 6.000000 | c 12 > 9.609120 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 9.614710 | c 1 > 6.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.000000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.66 c choco : 28.81 7.40/7.66 c mistral : 0.586909 7.40/7.66 c abscon : 1.54976 7.40/7.66 c 7.40/7.66 c 7.40/7.66 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-9-9-2.xml 7.40/7.66 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.126600 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 10.179400 | c 14 > 11.050500 | c 11 > 6.339850 | c 12 > 9.417620 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 10.339900 | c 1 > 6.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.339850 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.67 c choco : 44.58 7.40/7.67 c mistral : 0.770882 7.40/7.67 c abscon : 1.75473 7.40/7.67 c 7.40/7.67 c 7.40/7.67 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-10-10-2.xml 7.40/7.67 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.461400 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 10.317600 | c 14 > 11.055300 | c 11 > 6.643860 | c 12 > 9.524050 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 10.983700 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.68 c choco : 55.6 7.40/7.68 c mistral : 1.2918 7.40/7.68 c abscon : 2.25766 7.40/7.68 c 7.40/7.68 c 7.40/7.68 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-6-6-2.xml 7.40/7.68 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.177800 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 8.727490 | c 14 > 10.109800 | c 11 > 5.169930 | c 12 > 9.338550 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 7.813780 | c 1 > 5.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.169930 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.69 c choco : 10.72 7.40/7.69 c mistral : 0.211967 7.40/7.69 c abscon : 1.16182 7.40/7.69 c 7.40/7.69 c 7.40/7.69 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-5-5-2.xml 7.40/7.69 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 16.568400 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 7.563110 | c 14 > 10.117600 | c 11 > 4.643860 | c 12 > 9.405060 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 6.643860 | c 1 > 4.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.70 c choco : 6.6 7.48/7.70 c mistral : 0.122981 7.48/7.70 c abscon : 1.09983 7.48/7.70 c 7.48/7.70 c 7.48/7.70 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-12-12-2.xml 7.48/7.70 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.314000 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 9.383440 | c 14 > 10.259700 | c 11 > 7.169930 | c 12 > 8.647560 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.088800 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.169930 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.57/7.90 c choco : 20.78 7.57/7.90 c mistral : 2.33364 7.57/7.90 c abscon : 3.05853 7.57/7.90 c 7.57/7.90 c 7.57/7.90 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-15-15-2.xml 7.57/7.90 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.339300 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 8.255540 | c 14 > 9.346510 | c 11 > 7.813780 | c 12 > 8.289180 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.428500 | c 1 > 7.813780 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.813780 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.92 c choco : 39.02 7.67/7.92 c mistral : 6.99994 7.67/7.92 c abscon : 5.30219 7.67/7.92 c 7.67/7.92 c 7.67/7.92 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-20-20-2.xml 7.67/7.92 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.392500 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 5.135710 | c 14 > 7.686500 | c 11 > 8.643860 | c 12 > 8.530250 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 15.139700 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.92 c choco : 86.08 7.67/7.92 c mistral : 18.29 7.67/7.92 c abscon : 11.5602 7.67/7.92 c 7.67/7.92 c 7.67/7.93 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-5-5-3.xml 7.67/7.93 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 9.756560 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 2.249070 | c 14 > 4.523560 | c 11 > 4.643860 | c 12 > 3.695990 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 6.643860 | 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 > 6.228820 | c 31 > -1.000000 | c 4 > 4.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.93 c choco : 1.44 7.67/7.93 c mistral : 0.02 7.67/7.93 c abscon : 0.777881 7.67/7.93 c 7.67/7.93 c 7.67/7.93 c /home/eomahony/cpZilla/CSP/chessboardColoration/cc-25-25-2.xml 7.67/7.93 c 19 > 100.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.076800 | c 34 > 110.000000 | c 16 > 4.000000 | c 13 > 2.439290 | c 14 > 6.599910 | c 11 > 9.287710 | c 12 > 9.172310 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 16.457600 | c 1 > 9.287710 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.287700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.94 c choco : 1801.0 7.67/7.94 c mistral : 29.78 7.67/7.94 c abscon : 32.1741 7.67/7.94 c 7.67/7.94 c 7.67/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-tlan3.xml 7.67/7.94 c 19 > 86.349600 | c 35 > 46.047300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.464400 | c 15 > 19.541200 | c 34 > 81.365800 | c 16 > 19.000000 | c 13 > 5.094480 | c 14 > 5.807350 | c 11 > 14.283700 | c 12 > 3.553150 | c 21 > 1.414210 | c 20 > 13.650400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 18.164200 | c 1 > 14.283700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.930600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.729100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.94 c choco : 1801.0 7.67/7.94 c mistral : 8.12976 7.67/7.94 c abscon : 1239.62 7.67/7.94 c 7.67/7.94 c 7.67/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-tlan2.xml 7.67/7.94 c 19 > 70.514900 | c 35 > 62.600900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.825500 | c 15 > 20.198900 | c 34 > 114.746000 | c 16 > 19.000000 | c 13 > 3.539740 | c 14 > 7.888740 | c 11 > 10.861900 | c 12 > 3.232880 | c 21 > 1.355700 | c 20 > 29.485100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 14.754400 | c 1 > 10.861900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.667300 | c 6 > 3.169930 | c 32 > -1.000000 | c 5 > 23.226900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.96 c choco : 14.02 7.67/7.96 c mistral : 4.44432 7.67/7.96 c abscon : 77.6532 7.67/7.96 c 7.67/7.96 c 7.67/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/44s-smv.xml 7.67/7.96 c 19 > 75.292900 | c 35 > 38.839200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.079900 | c 15 > 19.766000 | c 34 > 67.231100 | c 16 > 13.000000 | c 13 > 9.295790 | c 14 > 10.263300 | c 11 > 11.288300 | c 12 > 5.478330 | c 21 > 1.327260 | c 20 > 24.707100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.964700 | c 1 > 8.558420 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.751100 | c 6 > 3.700440 | c 32 > -1.000000 | c 5 > 17.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.96 c choco : 526.57 7.67/7.96 c mistral : 10.6244 7.67/7.96 c abscon : 22.7125 7.67/7.96 c 7.67/7.96 c 7.67/7.96 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml 7.67/7.96 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.500500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.992500 | c 14 > 13.532200 | c 11 > 6.906890 | c 12 > 11.311300 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 9.129280 | 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 > 8.491850 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.97 c choco : 11.33 7.67/7.97 c mistral : 0.71 7.67/7.97 c abscon : 1.44378 7.67/7.97 c 7.67/7.97 c 7.67/7.97 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml 7.67/7.97 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.572500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.863200 | c 14 > 13.762900 | c 11 > 6.714250 | c 12 > 11.623500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 8.829720 | 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 > 8.299210 | c 31 > -1.000000 | c 4 > 6.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.98 c choco : 2.57 7.67/7.98 c mistral : 0.23 7.67/7.98 c abscon : 1.16082 7.67/7.98 c 7.67/7.98 c 7.67/7.98 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml 7.67/7.98 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.531800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.088490 | c 14 > 10.597100 | c 11 > 4.584960 | c 12 > 9.666960 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 7.044390 | 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 > 6.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.99 c choco : 7.04 7.67/7.99 c mistral : 0.39 7.67/7.99 c abscon : 1.11383 7.67/7.99 c 7.67/7.99 c 7.67/7.99 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml 7.67/7.99 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.893500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.099220 | c 14 > 11.470700 | c 11 > 8.954200 | c 12 > 7.521510 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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.276100 | 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 > 10.954200 | c 31 > -1.000000 | c 4 > 8.954200 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.99 c choco : 1801.0 7.67/7.99 c mistral : 3.82 7.67/7.99 c abscon : 2.82057 7.67/7.99 c 7.67/7.99 c 7.67/7.99 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml 7.67/7.99 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.846800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.663050 | c 14 > 11.258000 | c 11 > 9.044390 | c 12 > 7.151360 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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.413600 | 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 > 11.044400 | c 31 > -1.000000 | c 4 > 9.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.00 c choco : 1801.0 7.74/8.00 c mistral : 20.05 7.74/8.00 c abscon : 4.68729 7.74/8.00 c 7.74/8.00 c 7.74/8.00 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml 7.74/8.00 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.714900 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.567570 | c 14 > 11.431000 | c 11 > 9.131860 | c 12 > 6.926300 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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.546900 | 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 > 11.131900 | c 31 > -1.000000 | c 4 > 9.131860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.01 c choco : 1801.0 7.74/8.01 c mistral : 26.38 7.74/8.01 c abscon : 9.93749 7.74/8.01 c 7.74/8.01 c 7.74/8.01 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml 7.74/8.01 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.659700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.011290 | c 14 > 11.151700 | c 11 > 9.216750 | c 12 > 6.484070 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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.676200 | 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 > 11.216700 | c 31 > -1.000000 | c 4 > 9.216750 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.01 c choco : 1801.0 7.74/8.01 c mistral : 1053.11 7.74/8.01 c abscon : 4.93525 7.74/8.01 c 7.74/8.01 c 7.74/8.01 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml 7.74/8.01 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.540600 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 4.542180 | c 14 > 6.209450 | c 11 > 6.044390 | c 12 > 5.198780 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 10.044400 | 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 > 8.044390 | c 31 > -1.000000 | c 4 > 6.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.02 c choco : 2.93 7.74/8.02 c mistral : 1800.03 7.74/8.02 c abscon : 753.112 7.74/8.02 c 7.74/8.02 c 7.74/8.02 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml 7.74/8.02 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 15.187400 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 3.029710 | c 14 > 8.285400 | c 11 > 8.764870 | c 12 > 4.249850 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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.987300 | 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 > 10.764900 | c 31 > -1.000000 | c 4 > 8.764870 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.02 c choco : 6.47 7.74/8.02 c mistral : 0.41 7.74/8.02 c abscon : 2.32765 7.74/8.02 c 7.74/8.02 c 7.74/8.02 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml 7.74/8.02 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.462300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.824500 | c 14 > 8.022370 | c 11 > 8.228820 | c 12 > 3.986710 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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.167400 | 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 > 10.228800 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.03 c choco : 4.54 7.74/8.03 c mistral : 0.22 7.74/8.03 c abscon : 1.44478 7.74/8.03 c 7.74/8.03 c 7.74/8.03 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-13-3.xml 7.74/8.03 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.997200 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.840080 | c 14 > 5.781360 | c 11 > 6.285400 | c 12 > 2.957770 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 8.159870 | 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 > 7.870360 | c 31 > -1.000000 | c 4 > 6.285400 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.03 c choco : 1.92 7.74/8.03 c mistral : 0.03 7.74/8.03 c abscon : 0.867867 7.74/8.03 c 7.74/8.03 c 7.74/8.03 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-23-3.xml 7.74/8.03 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.115000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.705710 | c 14 > 3.807350 | c 11 > 4.523560 | c 12 > 3.498810 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 6.918860 | 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 > 6.108520 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.04 c choco : 1.45 7.74/8.04 c mistral : 0.08 7.74/8.04 c abscon : 0.737886 7.74/8.04 c 7.74/8.04 c 7.74/8.04 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-10-3.xml 7.74/8.04 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 9.375040 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.310420 | c 14 > 5.321930 | c 11 > 5.491850 | c 12 > 2.485430 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 6.906890 | 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 > 7.076820 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.05 c choco : 1.46 7.74/8.05 c mistral : 0.02 7.74/8.05 c abscon : 0.777881 7.74/8.05 c 7.74/8.05 c 7.74/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-4-3.xml 7.74/8.05 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.05 c choco : 3.29 7.74/8.05 c mistral : 0.25796 7.74/8.05 c abscon : 1.26581 7.74/8.05 c 7.74/8.05 c 7.74/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-4-3.xml 7.74/8.05 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.06 c choco : 3.26 7.74/8.06 c mistral : 0.25996 7.74/8.06 c abscon : 1.22581 7.74/8.06 c 7.74/8.06 c 7.74/8.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/25s-smv.xml 7.74/8.06 c 19 > 81.899000 | c 35 > 34.137800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.248800 | c 15 > 19.683600 | c 34 > 57.433700 | c 16 > 15.000000 | c 13 > 8.543310 | c 14 > 10.347600 | c 11 > 11.964000 | c 12 > 5.683650 | c 21 > 1.337030 | c 20 > 18.101000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 15.377800 | c 1 > 11.964000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.025600 | c 6 > 8.285400 | c 32 > -1.000000 | c 5 > 21.753700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.07 c choco : 1801.0 7.74/8.07 c mistral : 7.27 7.74/8.07 c abscon : 1800.14 7.74/8.07 c 7.74/8.07 c 7.74/8.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-3.xml 7.74/8.07 c 19 > 59.302300 | c 35 > 62.093000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.953500 | c 15 > 14.301300 | c 34 > 114.147000 | c 16 > 13.000000 | c 13 > 1.404720 | c 14 > 7.330920 | c 11 > 10.636600 | c 12 > 0.788067 | c 21 > 1.414210 | c 20 > 40.697700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.247900 | c 1 > 8.098030 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.154200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.023000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.07 c choco : 2.31 7.74/8.07 c mistral : 0.12 7.74/8.07 c abscon : 1.45478 7.74/8.07 c 7.74/8.07 c 7.74/8.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-6-3.xml 7.74/8.07 c 19 > 59.922200 | c 35 > 47.315200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.898800 | c 15 > 19.062700 | c 34 > 88.145300 | c 16 > 20.000000 | c 13 > 4.547770 | c 14 > 7.672430 | c 11 > 9.076820 | c 12 > 5.377420 | c 21 > 1.414210 | c 20 > 40.077800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 14.759600 | c 1 > 9.076820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.607700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.933300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.08 c choco : 11.86 7.74/8.08 c mistral : 5.9011 7.74/8.08 c abscon : 13.311 7.74/8.08 c 7.74/8.08 c 7.74/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-6-3.xml 7.74/8.08 c 19 > 59.922200 | c 35 > 47.315200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.898800 | c 15 > 19.023000 | c 34 > 88.145300 | c 16 > 20.000000 | c 13 > 4.494980 | c 14 > 7.614710 | c 11 > 9.076820 | c 12 > 5.363920 | c 21 > 1.414210 | c 20 > 40.077800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 14.759600 | c 1 > 9.076820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.607700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.933300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.09 c choco : 11.83 7.74/8.09 c mistral : 5.75113 7.74/8.09 c abscon : 13.9009 7.74/8.09 c 7.74/8.09 c 7.74/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-13.xml 7.74/8.09 c 19 > 96.152600 | c 35 > 31.743800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.514400 | c 15 > 18.917900 | c 34 > 53.167200 | c 16 > 29.000000 | c 13 > 3.193410 | c 14 > 10.755700 | c 11 > 12.177400 | c 12 > 4.449120 | c 21 > 1.414210 | c 20 > 3.847390 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 15.580100 | c 1 > 12.177400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.217200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.241600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.74/8.09 c choco : 1801.0 7.74/8.09 c mistral : 926.13 7.74/8.09 c abscon : 1800.08 7.74/8.09 c 7.74/8.09 c 7.74/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-12-16.xml 7.74/8.09 c 19 > 96.228700 | c 35 > 31.725800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.526000 | c 15 > 18.840600 | c 34 > 53.130800 | c 16 > 29.000000 | c 13 > 3.183720 | c 14 > 10.765700 | c 11 > 12.186700 | c 12 > 4.473390 | c 21 > 1.414210 | c 20 > 3.771280 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 15.608100 | c 1 > 12.186700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.232600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.268800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.79/8.10 c choco : 1801.0 7.79/8.10 c mistral : 554.94 7.79/8.10 c abscon : 1800.07 7.79/8.10 c 7.79/8.10 c 7.79/8.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-4.xml 7.79/8.10 c 19 > 58.673500 | c 35 > 64.489800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.316300 | c 15 > 14.166000 | c 34 > 118.827000 | c 16 > 19.000000 | c 13 > 1.191390 | c 14 > 7.276120 | c 11 > 10.283100 | c 12 > 0.757201 | c 21 > 1.414210 | c 20 > 41.326500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 10.924800 | c 1 > 7.888740 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.836800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.932200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.79/8.10 c choco : 2.06 7.79/8.10 c mistral : 0.1 7.79/8.10 c abscon : 2.28665 7.79/8.10 c 7.79/8.10 c 7.79/8.11 c Length: 40 7.79/8.11 c 0.6037804340155458 1.2025575801598858 2.961638067303296 6.203188199450345 10.251697549459797 10.301861882339523 10.46099277564993 10.666009736466586 10.702733184397339 11.27884942727759 11.328900570072985 12.433907364380676 14.774919781254313 16.514962270562414 17.133338801056844 51.77126058437925 57.71938727179717 60.226331503735146 60.91876257048562 60.93616743332649 61.08594043427997 61.12777754982263 61.17522493925462 61.206254381951844 61.27155084503819 61.724415014302885 61.938278218404655 61.98446744512613 62.70988416598536 63.02343226893152 63.20260192753143 64.26208292797394 64.26208292797394 66.49874427823204 67.01836083990332 67.64703621241141 67.65601480527803 68.09722766710037 68.13332190980562 70.30369188022632 7.79/8.11 c 7.79/8.11 c 1.0 0.991482385260179 0.9672782315715823 0.9256380027859693 0.8784098154879235 0.8778548286326827 0.876098935301877 0.8738470506432608 0.8734449061141772 0.867184179269555 0.8666445020281215 0.8548985482415276 0.8310365827878056 0.8141457931859932 0.8083073176393233 0.5766643138858484 0.5496165799687374 0.5389621423086103 0.5360917470727018 0.5360199910287076 0.5354033060909477 0.5352312967400827 0.5350363549772743 0.5349089445705694 0.5346410280006332 0.5327902501805247 0.5319206753055981 0.5317332409716181 0.5288067570511685 0.5275517850290032 0.5268373316769784 0.5226518066407329 0.5226518066407329 0.5140305730354652 0.5120682632525743 0.5097140344257612 0.5096805686635522 0.5080414395943312 0.5079078139721738 0.5 7.79/8.12 c 7.79/8.12 c solver 0 7.79/8.12 c before 0.0 seconds: {} 0 7.79/8.12 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 21968 7.79/8.12 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 23316 7.79/8.12 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 23865 7.79/8.12 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 24398 7.79/8.12 c before 1242.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, 34, 35, 36, 39} 24975 7.79/8.12 c 7.79/8.12 c solver 1 7.79/8.12 c before 0.0 seconds: {} 0 7.79/8.12 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 16, 17, 18, 19, 20, 21, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 21712 7.79/8.12 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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 24421 7.79/8.12 c before 558.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 24929 7.79/8.12 c before 936.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25437 7.79/8.12 c before 1062.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25972 7.79/8.12 c 7.79/8.12 c solver 2 7.79/8.12 c before 0.0 seconds: {} 0 7.79/8.12 c before 18.0 seconds: {0, 1, 2, 3, 8, 9, 13, 16, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 14852 7.79/8.12 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9, 10, 13, 16, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 17475 7.79/8.12 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 19206 7.79/8.12 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 20080 7.79/8.12 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 20911 7.79/8.13 c before 540.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 21450 7.79/8.13 c 7.79/8.13 cTotal time: 158 7.79/8.13 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 24398 7.79/8.13 c run mistral for 936.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25437 7.79/8.13 c run choco for 90.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 20911 7.79/8.13 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.79/8.13 c On Instance: HOME/instance-1071477-1215169193.xml 7.79/8.13 c Running for: 756 seconds 11.17/11.58 s SAT 11.17/11.58 v 1 1 1 0 0 0 2 2 0 0 0 1 2 2 0 1 2 1 1 2 2 1 1 0 0 0 1 0 1 0 0 2 2 2 1 1 0 1 2 1 0 2 1 2 2 2 2 0 2 1 2 0 1 0 1 0 0 2 0 1 1 0 2 0 2 1 1 2 1 0 1 2 0 1 2 2 1 1 2 0 0 11.17/11.58 d ASSIGNMENTS 4763 11.17/11.58 d CHECKS 569419
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1071477-1215169193/watcher-1071477-1215169193 -o /tmp/evaluation-result-1071477-1215169193/solver-1071477-1215169193 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1071477-1215169193.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: 1.98 2.03 2.00 4/93 27750 /proc/meminfo: memFree=1626656/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=18572 CPUtime=0 /proc/27750/stat : 27750 (runsolver) R 27748 27750 26498 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1995891791 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 259415141671 0 0 4096 24578 0 0 0 17 1 0 0 /proc/27750/statm: 4643 292 257 25 0 2626 0 [startup+0.216391 s] /proc/loadavg: 1.98 2.03 2.00 4/93 27750 /proc/meminfo: memFree=1626656/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=0 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1995891791 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301397 s] /proc/loadavg: 1.98 2.03 2.00 4/93 27750 /proc/meminfo: memFree=1626656/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=0 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1995891791 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.401408 s] /proc/loadavg: 1.98 2.03 2.00 4/93 27750 /proc/meminfo: memFree=1626656/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=0 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1995891791 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701443 s] /proc/loadavg: 1.98 2.03 2.00 4/93 27750 /proc/meminfo: memFree=1626656/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=0 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1995891791 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50153 s] /proc/loadavg: 1.98 2.03 2.00 3/95 27754 /proc/meminfo: memFree=1624144/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=0 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1995891791 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 236 195 169 0 51 0 [pid=27754] ppid=27750 vsize=6564 CPUtime=1.46 /proc/27754/stat : 27754 (xsolve) R 27750 27750 26498 0 -1 4194304 990 0 0 0 146 0 0 0 25 0 1 0 1995891792 6721536 949 996147200 134512640 135239763 4294956176 18446744073709551615 135013668 0 0 4096 0 0 0 0 17 1 0 0 /proc/27754/statm: 1641 949 413 177 0 544 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 11924 [startup+3.10271 s] /proc/loadavg: 1.98 2.03 2.00 3/103 27766 /proc/meminfo: memFree=1618320/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=1.54 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 375 1586 0 0 0 0 154 0 18 0 1 0 1995891791 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 238 196 169 0 51 0 [pid=27758] ppid=27750 vsize=197108 CPUtime=1.46 /proc/27758/stat : 27758 (java) S 27750 27750 26498 0 -1 0 4963 0 1 0 141 5 0 0 18 0 9 0 1995891950 201838592 4168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27758/statm: 49277 4168 1679 9 0 43859 0 [pid=27758/tid=27759] ppid=27750 vsize=197108 CPUtime=1.17 /proc/27758/task/27759/stat : 27759 (java) R 27750 27750 26498 0 -1 64 2719 0 1 0 115 2 0 0 25 0 9 0 1995891951 201838592 4168 996147200 134512640 134550740 4294955968 18446744073709551615 4126595780 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27760] ppid=27750 vsize=197108 CPUtime=0.12 /proc/27758/task/27760/stat : 27760 (java) S 27750 27750 26498 0 -1 64 907 0 0 0 11 1 0 0 16 0 9 0 1995891953 201838592 4168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27761] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27761/stat : 27761 (java) S 27750 27750 26498 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995891953 201838592 4168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27762] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27762/stat : 27762 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995891953 201838592 4168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27763] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27763/stat : 27763 (java) S 27750 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995891955 201838592 4168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27764] ppid=27750 vsize=197108 CPUtime=0.14 /proc/27758/task/27764/stat : 27764 (java) S 27750 27750 26498 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 1995891955 201838592 4168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27765] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27765/stat : 27765 (java) S 27750 27750 26498 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995891955 201838592 4168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27766] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27766/stat : 27766 (java) S 27750 27750 26498 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995891955 201838592 4168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 202468 [startup+6.3016 s] /proc/loadavg: 2.06 2.04 2.00 3/103 27766 /proc/meminfo: memFree=1606160/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=1.54 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 375 1586 0 0 0 0 154 0 18 0 1 0 1995891791 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 238 196 169 0 51 0 [pid=27758] ppid=27750 vsize=197108 CPUtime=4.6 /proc/27758/stat : 27758 (java) S 27750 27750 26498 0 -1 0 9804 0 1 0 448 12 0 0 18 0 9 0 1995891950 201838592 8126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27758/statm: 49277 8126 2541 9 0 43859 0 [pid=27758/tid=27759] ppid=27750 vsize=197108 CPUtime=3.68 /proc/27758/task/27759/stat : 27759 (java) R 27750 27750 26498 0 -1 64 3518 0 1 0 364 4 0 0 25 0 9 0 1995891951 201838592 8126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27760] ppid=27750 vsize=197108 CPUtime=0.72 /proc/27758/task/27760/stat : 27760 (java) S 27750 27750 26498 0 -1 64 4934 0 0 0 66 6 0 0 15 0 9 0 1995891953 201838592 8126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27761] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27761/stat : 27761 (java) S 27750 27750 26498 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995891953 201838592 8126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27762] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27762/stat : 27762 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995891953 201838592 8126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27763] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27763/stat : 27763 (java) S 27750 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995891955 201838592 8126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27764] ppid=27750 vsize=197108 CPUtime=0.17 /proc/27758/task/27764/stat : 27764 (java) S 27750 27750 26498 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1995891955 201838592 8126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27765] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27765/stat : 27765 (java) S 27750 27750 26498 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995891955 201838592 8126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27766] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27766/stat : 27766 (java) S 27750 27750 26498 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995891955 201838592 8126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 202468 Solver just ended. Dumping a history of the last processes samples [startup+6.50109 s] /proc/loadavg: 2.06 2.04 2.00 3/103 27766 /proc/meminfo: memFree=1606160/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=1.54 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 375 1586 0 0 0 0 154 0 18 0 1 0 1995891791 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 238 196 169 0 51 0 [pid=27758] ppid=27750 vsize=197108 CPUtime=4.79 /proc/27758/stat : 27758 (java) S 27750 27750 26498 0 -1 0 10020 0 1 0 467 12 0 0 18 0 9 0 1995891950 201838592 8307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27758/statm: 49277 8307 2541 9 0 43859 0 [pid=27758/tid=27759] ppid=27750 vsize=197108 CPUtime=3.85 /proc/27758/task/27759/stat : 27759 (java) R 27750 27750 26498 0 -1 64 3553 0 1 0 381 4 0 0 25 0 9 0 1995891951 201838592 8307 996147200 134512640 134550740 4294955968 18446744073709551615 4126485175 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27760] ppid=27750 vsize=197108 CPUtime=0.74 /proc/27758/task/27760/stat : 27760 (java) S 27750 27750 26498 0 -1 64 5115 0 0 0 68 6 0 0 16 0 9 0 1995891953 201838592 8307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27761] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27761/stat : 27761 (java) S 27750 27750 26498 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995891953 201838592 8307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27762] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27762/stat : 27762 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995891953 201838592 8307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27763] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27763/stat : 27763 (java) S 27750 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995891955 201838592 8307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27764] ppid=27750 vsize=197108 CPUtime=0.17 /proc/27758/task/27764/stat : 27764 (java) S 27750 27750 26498 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1995891955 201838592 8307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27765] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27765/stat : 27765 (java) S 27750 27750 26498 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995891955 201838592 8307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27766] ppid=27750 vsize=197108 CPUtime=0 /proc/27758/task/27766/stat : 27766 (java) S 27750 27750 26498 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995891955 201838592 8307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.33 Current children cumulated vsize (KiB) 202468 [startup+9.70245 s] /proc/loadavg: 2.05 2.04 2.00 4/115 27778 /proc/meminfo: memFree=1564912/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=1.54 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 375 1586 0 0 0 0 154 0 18 0 1 0 1995891791 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 238 196 169 0 51 0 [pid=27758] ppid=27750 vsize=197432 CPUtime=6.28 /proc/27758/stat : 27758 (java) S 27750 27750 26498 0 -1 0 13943 0 1 0 611 17 0 0 18 0 10 0 1995891950 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27758/statm: 49358 9480 2544 9 0 43940 0 [pid=27768] ppid=27758 vsize=5356 CPUtime=0 /proc/27768/stat : 27768 (abscon) S 27758 27750 26498 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1995892605 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27768/statm: 1339 237 196 169 0 50 0 [pid=27769] ppid=27768 vsize=656016 CPUtime=1.54 /proc/27769/stat : 27769 (java) S 27768 27750 26498 0 -1 0 16224 0 1 0 140 14 0 0 18 0 9 0 1995892605 671760384 15542 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/27769/statm: 164004 15542 2615 9 0 158532 0 [pid=27769/tid=27771] ppid=27768 vsize=656016 CPUtime=1.22 /proc/27769/task/27771/stat : 27771 (java) R 27768 27750 26498 0 -1 64 12516 0 1 0 110 12 0 0 25 0 9 0 1995892606 671760384 15542 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27772] ppid=27768 vsize=656016 CPUtime=0.08 /proc/27769/task/27772/stat : 27772 (java) S 27768 27750 26498 0 -1 64 2468 0 0 0 8 0 0 0 16 0 9 0 1995892607 671760384 15542 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27773] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27773/stat : 27773 (java) S 27768 27750 26498 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995892608 671760384 15542 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27774] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27774/stat : 27774 (java) S 27768 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995892608 671760384 15542 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27775] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27775/stat : 27775 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995892609 671760384 15542 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27776] ppid=27768 vsize=656016 CPUtime=0.21 /proc/27769/task/27776/stat : 27776 (java) S 27768 27750 26498 0 -1 64 694 0 0 0 21 0 0 0 16 0 9 0 1995892609 671760384 15542 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27777] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27777/stat : 27777 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995892609 671760384 15542 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27778] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27778/stat : 27778 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995892609 671760384 15542 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27770] ppid=27768 vsize=7044 CPUtime=0 /proc/27770/stat : 27770 (translate) S 27768 27750 26498 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1995892605 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/27770/statm: 1761 213 182 1 0 41 0 [pid=27758/tid=27759] ppid=27750 vsize=197432 CPUtime=4.95 /proc/27758/task/27759/stat : 27759 (java) S 27750 27750 26498 0 -1 64 3900 0 1 0 488 7 0 0 25 0 10 0 1995891951 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27758/tid=27760] ppid=27750 vsize=197432 CPUtime=1.07 /proc/27758/task/27760/stat : 27760 (java) S 27750 27750 26498 0 -1 64 8575 0 0 0 99 8 0 0 16 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27761] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27761/stat : 27761 (java) S 27750 27750 26498 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27762] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27762/stat : 27762 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27763] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27763/stat : 27763 (java) S 27750 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27764] ppid=27750 vsize=197432 CPUtime=0.23 /proc/27758/task/27764/stat : 27764 (java) S 27750 27750 26498 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/27769/task/27774/stat : 27774 (java) S 27768 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995892608 671760384 15617 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27775] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27775/stat : 27775 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995892609 671760384 15617 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27776] ppid=27768 vsize=656016 CPUtime=0.28 /proc/27769/task/27776/stat : 27776 (java) S 27768 27750 26498 0 -1 64 740 0 0 0 28 0 0 0 16 0 9 0 1995892609 671760384 15617 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27777] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27777/stat : 27777 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995892609 671760384 15617 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27778] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27778/stat : 27778 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995892609 671760384 15617 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27770] ppid=27768 vsize=7044 CPUtime=0 /proc/27770/stat : 27770 (translate) S 27768 27750 26498 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995892605 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/27770/statm: 1761 213 182 1 0 41 0 [pid=27758/tid=27759] ppid=27750 vsize=197432 CPUtime=4.95 /proc/27758/task/27759/stat : 27759 (java) S 27750 27750 26498 0 -1 64 3900 0 1 0 488 7 0 0 25 0 10 0 1995891951 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27758/tid=27760] ppid=27750 vsize=197432 CPUtime=1.07 /proc/27758/task/27760/stat : 27760 (java) S 27750 27750 26498 0 -1 64 8575 0 0 0 99 8 0 0 16 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27761] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27761/stat : 27761 (java) S 27750 27750 26498 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27762] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27762/stat : 27762 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27763] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27763/stat : 27763 (java) S 27750 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27764] ppid=27750 vsize=197432 CPUtime=0.23 /proc/27758/task/27764/stat : 27764 (java) S 27750 27750 26498 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27765] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27765/stat : 27765 (java) S 27750 27750 26498 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27766] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27766/stat : 27766 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27758/tid=27767] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27767/stat : 27767 (java) S 27750 27750 26498 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995892605 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.16 Current children cumulated vsize (KiB) 871208 [startup+11.3036 s] /proc/loadavg: 2.05 2.04 2.00 3/115 27778 /proc/meminfo: memFree=1545264/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=1.54 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 375 1586 0 0 0 0 154 0 18 0 1 0 1995891791 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 238 196 169 0 51 0 [pid=27758] ppid=27750 vsize=197432 CPUtime=6.28 /proc/27758/stat : 27758 (java) S 27750 27750 26498 0 -1 0 13943 0 1 0 611 17 0 0 18 0 10 0 1995891950 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27758/statm: 49358 9480 2544 9 0 43940 0 [pid=27768] ppid=27758 vsize=5356 CPUtime=0 /proc/27768/stat : 27768 (abscon) S 27758 27750 26498 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1995892605 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27768/statm: 1339 237 196 169 0 50 0 [pid=27769] ppid=27768 vsize=656016 CPUtime=3.15 /proc/27769/stat : 27769 (java) S 27768 27750 26498 0 -1 0 16305 0 1 0 299 16 0 0 18 0 9 0 1995892605 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/27769/statm: 164004 15622 2615 9 0 158532 0 [pid=27769/tid=27771] ppid=27768 vsize=656016 CPUtime=2.74 /proc/27769/task/27771/stat : 27771 (java) R 27768 27750 26498 0 -1 64 12546 0 1 0 260 14 0 0 25 0 9 0 1995892606 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4127097559 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27772] ppid=27768 vsize=656016 CPUtime=0.08 /proc/27769/task/27772/stat : 27772 (java) S 27768 27750 26498 0 -1 64 2468 0 0 0 8 0 0 0 17 0 9 0 1995892607 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27773] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27773/stat : 27773 (java) S 27768 27750 26498 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995892608 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27774] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27774/stat : 27774 (java) S 27768 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995892608 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27775] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27775/stat : 27775 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995892609 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27776] ppid=27768 vsize=656016 CPUtime=0.29 /proc/27769/task/27776/stat : 27776 (java) S 27768 27750 26498 0 -1 64 745 0 0 0 29 0 0 0 15 0 9 0 1995892609 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27777] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27777/stat : 27777 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995892609 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27778] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27778/stat : 27778 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995892609 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27770] ppid=27768 vsize=7044 CPUtime=0 /proc/27770/stat : 27770 (translate) S 27768 27750 26498 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995892605 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/27770/statm: 1761 213 182 1 0 41 0 [pid=27758/tid=27759] ppid=27750 vsize=197432 CPUtime=4.95 /proc/27758/task/27759/stat : 27759 (java) S 27750 27750 26498 0 -1 64 3900 0 1 0 488 7 0 0 25 0 10 0 1995891951 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27758/tid=27760] ppid=27750 vsize=197432 CPUtime=1.07 /proc/27758/task/27760/stat : 27760 (java) S 27750 27750 26498 0 -1 64 8575 0 0 0 99 8 0 0 16 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27761] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27761/stat : 27761 (java) S 27750 27750 26498 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27762] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27762/stat : 27762 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27763] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27763/stat : 27763 (java) S 27750 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27764] ppid=27750 vsize=197432 CPUtime=0.23 /proc/27758/task/27764/stat : 27764 (java) S 27750 27750 26498 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27765] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27765/stat : 27765 (java) S 27750 27750 26498 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27766] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27766/stat : 27766 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27758/tid=27767] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27767/stat : 27767 (java) S 27750 27750 26498 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995892605 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.97 Current children cumulated vsize (KiB) 871208 [startup+11.5036 s] /proc/loadavg: 2.05 2.04 2.00 3/115 27778 /proc/meminfo: memFree=1545264/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=1.54 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 375 1586 0 0 0 0 154 0 18 0 1 0 1995891791 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 238 196 169 0 51 0 [pid=27758] ppid=27750 vsize=197432 CPUtime=6.28 /proc/27758/stat : 27758 (java) S 27750 27750 26498 0 -1 0 13943 0 1 0 611 17 0 0 18 0 10 0 1995891950 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27758/statm: 49358 9480 2544 9 0 43940 0 [pid=27768] ppid=27758 vsize=5356 CPUtime=0 /proc/27768/stat : 27768 (abscon) S 27758 27750 26498 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1995892605 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27768/statm: 1339 237 196 169 0 50 0 [pid=27769] ppid=27768 vsize=656016 CPUtime=3.35 /proc/27769/stat : 27769 (java) S 27768 27750 26498 0 -1 0 16305 0 1 0 319 16 0 0 18 0 9 0 1995892605 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/27769/statm: 164004 15622 2615 9 0 158532 0 [pid=27769/tid=27771] ppid=27768 vsize=656016 CPUtime=2.94 /proc/27769/task/27771/stat : 27771 (java) R 27768 27750 26498 0 -1 64 12546 0 1 0 280 14 0 0 25 0 9 0 1995892606 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4127055408 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27772] ppid=27768 vsize=656016 CPUtime=0.08 /proc/27769/task/27772/stat : 27772 (java) S 27768 27750 26498 0 -1 64 2468 0 0 0 8 0 0 0 17 0 9 0 1995892607 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27773] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27773/stat : 27773 (java) S 27768 27750 26498 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995892608 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27774] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27774/stat : 27774 (java) S 27768 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995892608 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27775] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27775/stat : 27775 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995892609 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27776] ppid=27768 vsize=656016 CPUtime=0.29 /proc/27769/task/27776/stat : 27776 (java) S 27768 27750 26498 0 -1 64 745 0 0 0 29 0 0 0 15 0 9 0 1995892609 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27777] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27777/stat : 27777 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995892609 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27769/tid=27778] ppid=27768 vsize=656016 CPUtime=0 /proc/27769/task/27778/stat : 27778 (java) S 27768 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995892609 671760384 15622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27770] ppid=27768 vsize=7044 CPUtime=0 /proc/27770/stat : 27770 (translate) S 27768 27750 26498 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995892605 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/27770/statm: 1761 213 182 1 0 41 0 [pid=27758/tid=27759] ppid=27750 vsize=197432 CPUtime=4.95 /proc/27758/task/27759/stat : 27759 (java) S 27750 27750 26498 0 -1 64 3900 0 1 0 488 7 0 0 25 0 10 0 1995891951 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27758/tid=27760] ppid=27750 vsize=197432 CPUtime=1.07 /proc/27758/task/27760/stat : 27760 (java) S 27750 27750 26498 0 -1 64 8575 0 0 0 99 8 0 0 16 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27761] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27761/stat : 27761 (java) S 27750 27750 26498 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27762] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27762/stat : 27762 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995891953 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27763] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27763/stat : 27763 (java) S 27750 27750 26498 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27764] ppid=27750 vsize=197432 CPUtime=0.23 /proc/27758/task/27764/stat : 27764 (java) S 27750 27750 26498 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27765] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27765/stat : 27765 (java) S 27750 27750 26498 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27766] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27766/stat : 27766 (java) S 27750 27750 26498 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995891955 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27758/tid=27767] ppid=27750 vsize=197432 CPUtime=0 /proc/27758/task/27767/stat : 27767 (java) S 27750 27750 26498 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1995892605 202170368 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.17 Current children cumulated vsize (KiB) 871208 [startup+11.6037 s] /proc/loadavg: 2.05 2.04 2.00 3/115 27778 /proc/meminfo: memFree=1545264/2055920 swapFree=4180096/4192956 [pid=27750] ppid=27748 vsize=5360 CPUtime=1.54 /proc/27750/stat : 27750 (hydra) S 27748 27750 26498 0 -1 4194304 375 1586 0 0 0 0 154 0 18 0 1 0 1995891791 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27750/statm: 1340 238 196 169 0 51 0 [pid=27758] ppid=27750 vsize=197432 CPUtime=9.69 /proc/27758/stat : 27758 (java) S 27750 27750 26498 0 -1 0 14010 16920 1 1 611 17 324 17 18 0 9 0 1995891950 202170368 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27758/statm: 49358 9482 2545 9 0 43940 0 [pid=27758/tid=27759] ppid=27750 vsize=197432 CPUtime=8.36 /proc/27758/task/27759/stat : 27759 (java) S 27750 27750 26498 0 -1 64 3948 16920 1 1 488 7 324 17 16 0 9 0 1995891951 202170368 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27758/tid=27760] ppid=27750 vsize=197432 CPUtime=4.48 /proc/27758/task/27760/stat : 27760 (java) S 27750 27750 26498 0 -1 64 8586 16920 0 1 99 8 324 17 16 0 9 0 1995891953 202170368 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=27758/tid=27761] ppid=27750 vsize=197432 CPUtime=3.41 /proc/27758/task/27761/stat : 27761 (java) S 27750 27750 26498 0 -1 64 11 16920 0 1 0 0 324 17 16 0 9 0 1995891953 202170368 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27762] ppid=27750 vsize=197432 CPUtime=3.41 /proc/27758/task/27762/stat : 27762 (java) S 27750 27750 26498 0 -1 64 5 16920 0 1 0 0 324 17 15 0 9 0 1995891953 202170368 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27763] ppid=27750 vsize=197432 CPUtime=3.41 /proc/27758/task/27763/stat : 27763 (java) S 27750 27750 26498 0 -1 64 1 16920 0 1 0 0 324 17 18 0 9 0 1995891955 202170368 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27764] ppid=27750 vsize=197432 CPUtime=3.64 /proc/27758/task/27764/stat : 27764 (java) S 27750 27750 26498 0 -1 64 667 16920 0 1 23 0 324 17 16 0 9 0 1995891955 202170368 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27765] ppid=27750 vsize=197432 CPUtime=3.41 /proc/27758/task/27765/stat : 27765 (java) S 27750 27750 26498 0 -1 64 0 16920 0 1 0 0 324 17 19 0 9 0 1995891955 202170368 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27758/tid=27766] ppid=27750 vsize=197432 CPUtime=3.41 /proc/27758/task/27766/stat : 27766 (java) S 27750 27750 26498 0 -1 64 5 16920 0 1 0 0 324 17 15 0 9 0 1995891955 202170368 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.23 Current children cumulated vsize (KiB) 202792 Child status: 0 Real time (s): 11.6102 CPU time (s): 11.2733 CPU user time (s): 10.9023 CPU system time (s): 0.370943 CPU usage (%): 97.098 Max. virtual memory (cumulated for all children) (KiB): 871208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.9023 system time used= 0.370943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32932 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= 11062 involuntary context switches= 16205 runsolver used 0.057991 second user time and 0.141978 second system time The end
Begin job on node42 at 2008-07-04 12:59:53 IDJOB=1071477 IDBENCH=56090 IDSOLVER=366 FILE ID=node42/1071477-1215169193 PBS_JOBID= 7881414 Free space on /tmp= 66524 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/chessboardColoration/normalized-cc-9-9-3.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1071477-1215169193/watcher-1071477-1215169193 -o /tmp/evaluation-result-1071477-1215169193/solver-1071477-1215169193 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1071477-1215169193.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 7da1eab70d7646969af163997fbe8b95 RANDOM SEED=1258525211 node42.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.214 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.214 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: 1627072 kB Buffers: 60756 kB Cached: 201064 kB SwapCached: 6848 kB Active: 278168 kB Inactive: 86692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1627072 kB SwapTotal: 4192956 kB SwapFree: 4180096 kB Dirty: 24528 kB Writeback: 0 kB Mapped: 119460 kB Slab: 48472 kB Committed_AS: 4220700 kB PageTables: 2276 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= 66500 MiB End job on node42 at 2008-07-04 13:00:05