Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.02 | 1834.14 |
Name | csp/latinSquare/ normalized-latinSquare-dg-11_all.xml |
MD5SUM | 14165ebb64384d7788391b193528de33 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.26981 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 121 |
Number of constraints | 44 |
Maximum constraint arity | 11 |
Maximum domain size | 11 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | alldifferent(44) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.10/7.22 c CASE TO CLASSIFY: 7.10/7.22 c Case: 0 7.10/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.161500 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 9.328390 | c 14 > 13.090100 | c 11 > 6.918860 | c 12 > 11.165600 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 44.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.918860 | c 2 > -1.000000 | c 10 > 11.266800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.378300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.23 c choco : 1801.0 7.10/7.23 c mistral : 1801.0 7.10/7.23 c abscon : 1801.0 7.10/7.23 c 7.10/7.23 c 7.19/7.30 c List of same ones: 40 7.19/7.30 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-6_all.xml 7.19/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 14.899600 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 7.409580 | c 14 > 8.957100 | c 11 > 5.169930 | c 12 > 7.622460 | c 21 > 2.449490 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 24.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.169930 | c 2 > -1.000000 | c 10 > 8.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.754890 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.31 c choco : 2.76 7.19/7.31 c mistral : 0.04 7.19/7.31 c abscon : 1.21281 7.19/7.31 c 7.19/7.31 c 7.19/7.31 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-7_all.xml 7.19/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 11.031400 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 2.958040 | c 14 > 3.700440 | c 11 > 5.614710 | c 12 > 3.970250 | c 21 > 2.645750 | c 20 > 0.000000 | c 22 > 2.645750 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 28.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.614710 | c 2 > -1.000000 | c 10 > 9.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.422060 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.32 c choco : 1.0 7.19/7.32 c mistral : 0.014997 7.19/7.32 c abscon : 0.732888 7.19/7.32 c 7.19/7.32 c 7.19/7.32 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-5_all.xml 7.19/7.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.084810 | c 34 > -1.000000 | c 16 > 5.000000 | c 13 > 2.709770 | c 14 > 2.321930 | c 11 > 4.643860 | c 12 > 3.485430 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 20.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 7.781360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.965780 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.33 c choco : 0.91 7.19/7.33 c mistral : 0.01 7.19/7.33 c abscon : 0.623904 7.19/7.33 c 7.19/7.33 c 7.19/7.33 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-4_all.xml 7.19/7.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.400880 | c 34 > -1.000000 | c 16 > 4.000000 | c 13 > 2.806430 | c 14 > 3.169930 | c 11 > 4.000000 | c 12 > 4.475730 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 6.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.34 c choco : 0.85 7.19/7.34 c mistral : 0.01 7.19/7.34 c abscon : 0.6499 7.19/7.34 c 7.19/7.34 c 7.19/7.34 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-3_all.xml 7.19/7.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.672430 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 2.319430 | c 14 > 1.584960 | c 11 > 3.169930 | c 12 > 3.863500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.169930 | c 2 > -1.000000 | c 10 > 5.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 4.754890 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.35 c choco : 0.82 7.19/7.35 c mistral : 0.01 7.19/7.35 c abscon : 0.599908 7.19/7.35 c 7.19/7.35 c 7.19/7.35 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-15_ext.xml 7.19/7.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.727920 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.906890 | c 12 > 3.906890 | c 21 > 3.741660 | c 20 > 0.000000 | c 22 > 3.741660 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.906890 | c 2 > -1.000000 | c 10 > 6.727920 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.714250 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.36 c choco : 0.77 7.19/7.36 c mistral : 0.01 7.19/7.36 c abscon : 0.618905 7.19/7.36 c 7.19/7.36 c 7.19/7.36 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-14_ext.xml 7.19/7.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.523560 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.807350 | c 12 > 3.807350 | c 21 > 3.605550 | c 20 > 0.000000 | c 22 > 3.605550 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.807350 | c 2 > -1.000000 | c 10 > 6.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.507790 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.37 c choco : 0.76 7.19/7.37 c mistral : 0.01 7.19/7.37 c abscon : 0.613906 7.19/7.37 c 7.19/7.37 c 7.19/7.37 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-18_ext.xml 7.19/7.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 7.266790 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 4.169930 | c 12 > 4.169930 | c 21 > 4.123110 | c 20 > 0.000000 | c 22 > 4.123110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.169930 | c 2 > -1.000000 | c 10 > 7.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.257390 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.37 c choco : 0.79 7.19/7.37 c mistral : 0.01 7.19/7.37 c abscon : 0.600907 7.19/7.37 c 7.19/7.37 c 7.19/7.37 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-13_ext.xml 7.19/7.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.303780 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.700440 | c 12 > 3.700440 | c 21 > 3.464100 | c 20 > 0.000000 | c 22 > 3.464100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.700440 | c 2 > -1.000000 | c 10 > 6.303780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.285400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.38 c choco : 0.76 7.19/7.38 c mistral : 0.01 7.19/7.38 c abscon : 0.603908 7.19/7.38 c 7.19/7.38 c 7.19/7.38 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-20_ext.xml 7.19/7.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 7.577430 | c 34 > -1.000000 | c 16 > 20.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 4.321930 | c 12 > 4.321930 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.321930 | c 2 > -1.000000 | c 10 > 7.577430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.569860 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.39 c choco : 0.77 7.19/7.39 c mistral : 0.009997 7.19/7.39 c abscon : 0.618905 7.19/7.39 c 7.19/7.39 c 7.19/7.39 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-12_ext.xml 7.19/7.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.066090 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.584960 | c 12 > 3.584960 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.584960 | c 2 > -1.000000 | c 10 > 6.066090 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.044390 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.40 c choco : 0.75 7.26/7.40 c mistral : 0.01 7.26/7.40 c abscon : 0.58791 7.26/7.40 c 7.26/7.40 c 7.26/7.40 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-11_ext.xml 7.26/7.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 5.807350 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.459430 | c 12 > 3.459430 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.459430 | c 2 > -1.000000 | c 10 > 5.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.781360 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.42 c choco : 0.76 7.26/7.42 c mistral : 0.009998 7.26/7.42 c abscon : 0.600908 7.26/7.42 c 7.26/7.42 c 7.26/7.42 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-10_ext.xml 7.26/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 5.523560 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.321930 | c 12 > 3.321930 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.321930 | c 2 > -1.000000 | c 10 > 5.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.491850 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.43 c choco : 0.77 7.26/7.43 c mistral : 0.01 7.26/7.43 c abscon : 0.591909 7.26/7.43 c 7.26/7.43 c 7.26/7.43 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-9_ext.xml 7.26/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 5.209450 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.169930 | c 12 > 3.169930 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.169930 | c 2 > -1.000000 | c 10 > 5.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.169930 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.43 c choco : 0.76 7.26/7.43 c mistral : 0.01 7.26/7.43 c abscon : 0.623904 7.26/7.43 c 7.26/7.43 c 7.26/7.43 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-25_ext.xml 7.26/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.233620 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 4.643860 | c 12 > 4.643860 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.233620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.228820 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.44 c choco : 0.77 7.26/7.44 c mistral : 0.01 7.26/7.44 c abscon : 0.601908 7.26/7.44 c 7.26/7.44 c 7.26/7.44 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-8_ext.xml 7.26/7.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 4.857980 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.000000 | c 12 > 3.000000 | c 21 > 2.645750 | c 20 > 0.000000 | c 22 > 2.645750 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.000000 | c 2 > -1.000000 | c 10 > 4.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 5.807350 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.44 c choco : 0.77 7.26/7.44 c mistral : 0.01 7.26/7.44 c abscon : 0.596909 7.26/7.44 c 7.26/7.44 c 7.26/7.44 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-7_ext.xml 7.26/7.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 4.459430 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 2.807350 | c 12 > 2.807350 | c 21 > 2.449490 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 2.807350 | c 2 > -1.000000 | c 10 > 4.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 5.392320 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.45 c choco : 0.77 7.26/7.45 c mistral : 0.01 7.26/7.45 c abscon : 0.613906 7.26/7.45 c 7.26/7.45 c 7.26/7.45 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-6_ext.xml 7.26/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 4.000000 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 2.584960 | c 12 > 2.584960 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 2.584960 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 4.906890 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.46 c choco : 0.77 7.26/7.46 c mistral : 0.01 7.26/7.46 c abscon : 0.628903 7.26/7.46 c 7.26/7.46 c 7.26/7.46 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-5_ext.xml 7.26/7.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 3.459430 | c 34 > -1.000000 | c 16 > 5.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 2.321930 | c 12 > 2.321930 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 2.321930 | c 2 > -1.000000 | c 10 > 3.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 4.321930 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.46 c choco : 0.77 7.26/7.46 c mistral : 0.01 7.26/7.46 c abscon : 0.602907 7.26/7.46 c 7.26/7.46 c 7.26/7.46 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-30_ext.xml 7.26/7.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.768180 | c 34 > -1.000000 | c 16 > 30.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 4.906890 | c 12 > 4.906890 | c 21 > 5.385160 | c 20 > 0.000000 | c 22 > 5.385160 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.906890 | c 2 > -1.000000 | c 10 > 8.768180 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.764870 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.47 c choco : 0.8 7.26/7.47 c mistral : 0.01 7.26/7.47 c abscon : 0.609906 7.26/7.47 c 7.26/7.47 c 7.26/7.47 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-35_ext.xml 7.26/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.219170 | c 34 > -1.000000 | c 16 > 35.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.129280 | c 12 > 5.129280 | c 21 > 5.830950 | c 20 > 0.000000 | c 22 > 5.830950 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 9.219170 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.216700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.49 c choco : 0.79 7.26/7.49 c mistral : 0.010997 7.26/7.49 c abscon : 0.605907 7.26/7.49 c 7.26/7.49 c 7.26/7.49 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-40_ext.xml 7.26/7.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.609180 | c 34 > -1.000000 | c 16 > 40.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.321930 | c 12 > 5.321930 | c 21 > 6.245000 | c 20 > 0.000000 | c 22 > 6.245000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.321930 | c 2 > -1.000000 | c 10 > 9.609180 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.607300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.49 c choco : 0.79 7.26/7.49 c mistral : 0.01 7.26/7.49 c abscon : 0.662898 7.26/7.49 c 7.26/7.49 c 7.26/7.49 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-45_ext.xml 7.26/7.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.952740 | c 34 > -1.000000 | c 16 > 45.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.491850 | c 12 > 5.491850 | c 21 > 6.633250 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.491850 | c 2 > -1.000000 | c 10 > 9.952740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.951300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.50 c choco : 0.8 7.26/7.50 c mistral : 0.01 7.26/7.50 c abscon : 0.6549 7.26/7.50 c 7.26/7.50 c 7.26/7.50 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-50_ext.xml 7.26/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 10.259700 | c 34 > -1.000000 | c 16 > 50.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.643860 | c 12 > 5.643860 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.643860 | c 2 > -1.000000 | c 10 > 10.259700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.258600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.50 c choco : 0.8 7.33/7.50 c mistral : 0.01 7.33/7.50 c abscon : 0.621905 7.33/7.50 c 7.33/7.50 c 7.33/7.50 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-77_glb.xml 7.33/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 12.432300 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 2.083160 | c 14 > 5.392320 | c 11 > 6.672430 | c 12 > 3.082460 | c 21 > 1.878380 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 48.281400 | c 24 > 20.000000 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.672430 | c 2 > -1.000000 | c 10 > 9.303780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.442940 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.51 c choco : 1.02 7.33/7.51 c mistral : 0.02 7.33/7.51 c abscon : 0.791878 7.33/7.51 c 7.33/7.51 c 7.33/7.51 c /home/eomahony/cpZilla/CSP/xml/nengfa/sudoku368.xml 7.33/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.785400 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > 5.743680 | c 14 > 8.144660 | c 11 > 8.144660 | c 12 > 5.181070 | c 21 > 1.347550 | c 20 > 0.000000 | c 22 > 3.316620 | c 23 > 84.661800 | c 24 > 9.090910 | c 25 > 75.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.144660 | c 2 > -1.000000 | c 10 > 12.317400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.399800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.52 c choco : 2.57 7.33/7.52 c mistral : 0.22 7.33/7.52 c abscon : 3.53246 7.33/7.52 c 7.33/7.52 c 7.33/7.52 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-13_glb.xml 7.33/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 11.575100 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 1.934030 | c 14 > 4.857980 | c 11 > 6.686500 | c 12 > 3.003500 | c 21 > 1.863250 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 45.260900 | c 24 > 20.000000 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.686500 | c 2 > -1.000000 | c 10 > 9.319670 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.442940 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.52 c choco : 1.02 7.33/7.52 c mistral : 0.021996 7.33/7.52 c abscon : 0.832872 7.33/7.52 c 7.33/7.52 c 7.33/7.52 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-99_glb.xml 7.33/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 12.431500 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.511690 | c 14 > 5.727920 | c 11 > 6.727920 | c 12 > 3.347560 | c 21 > 1.930390 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 42.731200 | c 24 > 21.428600 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.727920 | c 2 > -1.000000 | c 10 > 9.396600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.625710 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.53 c choco : 1.06 7.33/7.53 c mistral : 0.03 7.33/7.53 c abscon : 0.71289 7.33/7.53 c 7.33/7.53 c 7.33/7.53 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-91_glb.xml 7.33/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 15.448200 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.702900 | c 14 > 8.771490 | c 11 > 6.714250 | c 12 > 5.291030 | c 21 > 1.918140 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 43.486600 | c 24 > 20.000000 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.700440 | c 2 > -1.000000 | c 10 > 9.370690 | c 1 > 0.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.573650 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.53 c choco : 1.03 7.33/7.53 c mistral : 0.03 7.33/7.53 c abscon : 0.78688 7.33/7.53 c 7.33/7.53 c 7.33/7.53 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-11_glb.xml 7.33/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 12.835700 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 2.368770 | c 14 > 5.754890 | c 11 > 6.727920 | c 12 > 3.223360 | c 21 > 1.935270 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 49.756700 | c 24 > 16.666700 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.727920 | c 2 > -1.000000 | c 10 > 9.396600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.633000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.54 c choco : 1.06 7.33/7.54 c mistral : 0.017996 7.33/7.54 c abscon : 0.806876 7.33/7.54 c 7.33/7.54 c 7.33/7.54 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-63_glb.xml 7.33/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 15.686500 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.369950 | c 14 > 8.839200 | c 11 > 6.686500 | c 12 > 5.205660 | c 21 > 1.885900 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.300500 | c 24 > 21.428600 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.686500 | c 2 > -1.000000 | c 10 > 9.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.507790 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.54 c choco : 1.04 7.33/7.54 c mistral : 0.038993 7.33/7.54 c abscon : 0.809876 7.33/7.54 c 7.33/7.54 c 7.33/7.54 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-41_glb.xml 7.33/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 15.009700 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.323560 | c 14 > 8.118940 | c 11 > 6.727920 | c 12 > 4.897330 | c 21 > 1.885900 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.327300 | c 24 > 21.428600 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.727920 | c 2 > -1.000000 | c 10 > 9.396600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.558420 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.55 c choco : 1.02 7.33/7.55 c mistral : 0.021996 7.33/7.55 c abscon : 0.799877 7.33/7.55 c 7.33/7.55 c 7.33/7.55 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-67_glb.xml 7.33/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 15.321900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 4.652300 | c 14 > 8.027910 | c 11 > 6.727920 | c 12 > 4.539450 | c 21 > 1.868310 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.666300 | c 24 > 20.000000 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.727920 | c 2 > -1.000000 | c 10 > 9.396600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.531380 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.56 c choco : 1.05 7.33/7.56 c mistral : 0.040993 7.33/7.56 c abscon : 0.767882 7.33/7.56 c 7.33/7.56 c 7.33/7.56 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-75_glb.xml 7.33/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 12.491900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.768180 | c 14 > 6.392320 | c 11 > 6.727920 | c 12 > 3.572430 | c 21 > 1.957090 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 39.267800 | c 24 > 21.428600 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.727920 | c 2 > -1.000000 | c 10 > 9.396600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.665340 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.56 c choco : 1.07 7.33/7.56 c mistral : 0.02 7.33/7.56 c abscon : 0.765882 7.33/7.56 c 7.33/7.56 c 7.33/7.56 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-71_glb.xml 7.33/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 15.460900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.051130 | c 14 > 8.303780 | c 11 > 6.727920 | c 12 > 5.108520 | c 21 > 1.942570 | c 20 > 0.000000 | c 22 > 2.645750 | c 23 > 45.042000 | c 24 > 16.666700 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.727920 | c 2 > -1.000000 | c 10 > 9.396600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.643860 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.57 c choco : 1.04 7.33/7.57 c mistral : 0.03 7.33/7.57 c abscon : 0.870867 7.33/7.57 c 7.33/7.57 c 7.33/7.57 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-3_glb.xml 7.33/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 17.603100 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 7.340460 | c 14 > 10.934400 | c 11 > 6.727920 | c 12 > 7.231090 | c 21 > 1.937710 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 42.107600 | c 24 > 18.181800 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.727920 | c 2 > -1.000000 | c 10 > 9.396600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.636620 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.58 c choco : 1.05 7.33/7.58 c mistral : 0.02 7.33/7.58 c abscon : 0.769882 7.33/7.58 c 7.33/7.58 c 7.33/7.58 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-93_glb.xml 7.33/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 11.272600 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 2.472540 | c 14 > 5.129280 | c 11 > 6.714250 | c 12 > 3.109120 | c 21 > 1.900840 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 43.963800 | c 24 > 18.181800 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.714250 | c 2 > -1.000000 | c 10 > 9.370690 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.562240 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.58 c choco : 1.05 7.33/7.58 c mistral : 0.02 7.33/7.58 c abscon : 0.744886 7.33/7.58 c 7.33/7.58 c 7.33/7.58 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-31_glb.xml 7.33/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 15.219300 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.287940 | c 14 > 8.426260 | c 11 > 6.700440 | c 12 > 4.894350 | c 21 > 1.920590 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 44.055800 | c 24 > 16.666700 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.700440 | c 2 > -1.000000 | c 10 > 9.346510 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.554590 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.59 c choco : 1.02 7.33/7.59 c mistral : 0.04 7.33/7.59 c abscon : 0.792878 7.33/7.59 c 7.33/7.59 c 7.33/7.59 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-15_glb.xml 7.33/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 19.917900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 9.877710 | c 14 > 12.813600 | c 11 > 7.129280 | c 12 > 9.514210 | c 21 > 1.927770 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.287400 | c 24 > 17.647100 | c 25 > 36.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.129280 | c 2 > -1.000000 | c 10 > 9.949830 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.008430 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.33/7.59 c choco : 1.12 7.33/7.59 c mistral : 0.2 7.33/7.59 c abscon : 0.78188 7.33/7.59 c 7.33/7.59 c 7.33/7.59 c /home/eomahony/cpZilla/CSP/xml/bqwh-15-106_glb/bqwh-15-106-83_glb.xml 7.33/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 17.121900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 6.679740 | c 14 > 10.037500 | c 11 > 6.714250 | c 12 > 6.499310 | c 21 > 1.915680 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 43.198600 | c 24 > 16.666700 | c 25 > 30.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.714250 | c 2 > -1.000000 | c 10 > 9.372870 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.581200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.60 c choco : 1.16 7.38/7.60 c mistral : 0.027995 7.38/7.60 c abscon : 0.809876 7.38/7.60 c 7.38/7.60 c 7.38/7.60 c Length: 40 7.38/7.60 c 22.786501277357168 23.81738281522762 31.82877754151579 35.229195101680936 40.37058710062811 49.773763159967125 49.81854867331946 49.82089267057847 49.89633822887307 49.99111948249409 50.009360950646034 50.160423258587045 50.35315770746955 50.5924171618129 50.85027230454228 50.88486969581822 51.24001545726542 51.6719874565978 52.202926072666656 52.261319824349066 54.152846370259255 56.46115894326293 59.1283533060054 62.10249929607101 97.69368193225598 98.77743683418599 99.46276431098977 99.46288945153916 99.54074817509411 99.58787326016507 100.25926036795154 100.3337648647468 101.29569352614799 101.4128415646066 101.4353313688411 101.47288621759805 101.59764512123547 101.9888083091444 102.13533618432213 102.17572653050333 7.38/7.61 c 7.38/7.61 c 1.0 0.9871812960837101 0.8977482445846611 0.8645057845973245 0.8186708731703067 0.7463042575548748 0.7459901885867105 0.7459737580329255 0.7454452988570152 0.7447824628278479 0.7446550295674893 0.7436013953285192 0.7422614259611372 0.7406046991555107 0.7388274687662474 0.7385896598978081 0.7361573497715963 0.7332203817760488 0.7296424883982666 0.7292511143430948 0.7167966812423061 0.7021625580468068 0.6859801802400991 0.6687930241395367 0.5145241380441437 0.5109354041037238 0.5086917429641086 0.5086913350717946 0.5084376833661769 0.5082842799635015 0.5061087655194777 0.505868493934601 0.5027867062199801 0.5024139551166612 0.5023424584668789 0.5022231143439694 0.50182705455293 0.5005893070666064 0.5001272232574231 0.5 7.38/7.62 c 7.38/7.62 c solver 0 7.38/7.62 c before 0.0 seconds: {} 0 7.38/7.62 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26530 7.38/7.62 c 7.38/7.62 c solver 1 7.38/7.62 c before 0.0 seconds: {} 0 7.38/7.62 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26530 7.38/7.62 c 7.38/7.62 c solver 2 7.38/7.62 c before 0.0 seconds: {} 0 7.38/7.62 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26530 7.38/7.62 c 7.38/7.62 cTotal time: 3 7.38/7.62 c 54.0 seconds unused 7.38/7.62 c 0 c 0 c 0 7.38/7.62 c 0 c 0 c 0 7.38/7.62 c 0 c 0 c 0 7.38/7.62 c is solver0 dominated by: 7.38/7.62 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: true) (0 < 1: false) 7.38/7.62 c is dominated? true 7.38/7.62 c 7.38/7.62 c is solver1 dominated by: 7.38/7.62 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: true) (1 < 0: true) 7.38/7.62 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: true) (1 < 2: false) 7.38/7.62 c is dominated? true 7.38/7.62 c 7.38/7.62 c is solver2 dominated by: 7.38/7.62 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: true) (2 < 0: true) 7.38/7.62 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: true) (2 < 1: true) 7.38/7.62 c is dominated? false 7.38/7.62 c 7.38/7.62 c Number of non-dominated solvers: 1 7.38/7.62 c remove dominated solvers 7.38/7.62 c solver 2 is not dominated by another solver 7.38/7.62 c solver 1 is dominated by another solver 7.38/7.62 c solver 0 is dominated by another solver 7.38/7.62 c 7.38/7.62 c solver 0: 0.0 7.38/7.62 c 7.38/7.62 c solver 1: 0.0 7.38/7.62 c 7.38/7.62 c solver 2: 18.0 7.38/7.62 c 7.38/7.62 c+ 1/1 of 99 7.38/7.62 c do not run abscon 7.38/7.62 c do not run mistral 7.38/7.62 c run choco 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} 26530 7.38/7.62 c Starting solver: HOME/cpHydra_k_40/solver/choco 7.38/7.62 c On Instance: HOME/instance-1046422-1215026904.xml 7.38/7.62 c Running for: 1800 seconds
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected) Got answer:
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046422-1215026904/watcher-1046422-1215026904 -o /tmp/evaluation-result-1046422-1215026904/solver-1046422-1215026904 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046422-1215026904.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.00 1.93 4/72 30725 /proc/meminfo: memFree=1798760/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=0 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1981665235 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 236 195 169 0 51 0 [pid=30727] ppid=30725 vsize=0 CPUtime=0 /proc/30727/stat : 30727 (hydra) R 30725 30725 29053 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 1981665236 0 0 996147200 0 0 0 18446744073709551615 262910045479 0 0 4096 0 0 0 0 17 1 0 0 /proc/30727/statm: 0 0 0 0 0 0 0 [startup+0.107737 s] /proc/loadavg: 2.01 2.00 1.93 4/72 30725 /proc/meminfo: memFree=1798760/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=0 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981665235 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201749 s] /proc/loadavg: 2.01 2.00 1.93 4/72 30725 /proc/meminfo: memFree=1798760/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=0 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981665235 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301763 s] /proc/loadavg: 2.01 2.00 1.93 4/72 30725 /proc/meminfo: memFree=1798760/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=0 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981665235 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701808 s] /proc/loadavg: 2.01 2.00 1.93 4/72 30725 /proc/meminfo: memFree=1798760/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=0 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981665235 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50291 s] /proc/loadavg: 2.01 2.00 1.93 3/74 30729 /proc/meminfo: memFree=1797464/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=1.46 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 375 1292 0 0 0 0 145 1 18 0 1 0 1981665235 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 5360 [startup+3.1031 s] /proc/loadavg: 2.09 2.02 1.93 3/82 30741 /proc/meminfo: memFree=1790616/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=1.46 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 375 1292 0 0 0 0 145 1 18 0 1 0 1981665235 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 238 196 169 0 51 0 [pid=30733] ppid=30725 vsize=197000 CPUtime=1.58 /proc/30733/stat : 30733 (java) S 30725 30725 29053 0 -1 0 5332 0 1 0 153 5 0 0 18 0 9 0 1981665384 201728000 4463 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30733/statm: 49250 4463 1777 9 0 43832 0 [pid=30733/tid=30734] ppid=30725 vsize=197000 CPUtime=1.24 /proc/30733/task/30734/stat : 30734 (java) R 30725 30725 29053 0 -1 64 2772 0 1 0 122 2 0 0 25 0 9 0 1981665385 201728000 4463 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30735] ppid=30725 vsize=197000 CPUtime=0.17 /proc/30733/task/30735/stat : 30735 (java) R 30725 30725 29053 0 -1 64 1220 0 0 0 16 1 0 0 15 0 9 0 1981665387 201728000 4463 996147200 134512640 134550740 4294955968 18446744073709551615 102477848 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30736] ppid=30725 vsize=197000 CPUtime=0 /proc/30733/task/30736/stat : 30736 (java) S 30725 30725 29053 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981665387 201728000 4463 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30737] ppid=30725 vsize=197000 CPUtime=0 /proc/30733/task/30737/stat : 30737 (java) S 30725 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981665387 201728000 4463 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30738] ppid=30725 vsize=197000 CPUtime=0 /proc/30733/task/30738/stat : 30738 (java) S 30725 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981665389 201728000 4463 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30739] ppid=30725 vsize=197000 CPUtime=0.14 /proc/30733/task/30739/stat : 30739 (java) S 30725 30725 29053 0 -1 64 615 0 0 0 14 0 0 0 16 0 9 0 1981665389 201728000 4463 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30740] ppid=30725 vsize=197000 CPUtime=0 /proc/30733/task/30740/stat : 30740 (java) S 30725 30725 29053 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981665389 201728000 4463 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30741] ppid=30725 vsize=197000 CPUtime=0 /proc/30733/task/30741/stat : 30741 (java) S 30725 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981665389 201728000 4463 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202360 [startup+6.30247 s] /proc/loadavg: 2.09 2.02 1.93 3/82 30741 /proc/meminfo: memFree=1777112/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=1.46 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 375 1292 0 0 0 0 145 1 18 0 1 0 1981665235 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 238 196 169 0 51 0 [pid=30733] ppid=30725 vsize=197112 CPUtime=4.75 /proc/30733/stat : 30733 (java) S 30725 30725 29053 0 -1 0 10134 0 1 0 462 13 0 0 18 0 9 0 1981665384 201842688 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30733/statm: 49278 8413 2541 9 0 43860 0 [pid=30733/tid=30734] ppid=30725 vsize=197112 CPUtime=3.73 /proc/30733/task/30734/stat : 30734 (java) R 30725 30725 29053 0 -1 64 3578 0 1 0 368 5 0 0 25 0 9 0 1981665385 201842688 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4126442451 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30735] ppid=30725 vsize=197112 CPUtime=0.81 /proc/30733/task/30735/stat : 30735 (java) S 30725 30725 29053 0 -1 64 5200 0 0 0 75 6 0 0 16 0 9 0 1981665387 201842688 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30736] ppid=30725 vsize=197112 CPUtime=0 /proc/30733/task/30736/stat : 30736 (java) S 30725 30725 29053 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981665387 201842688 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30737] ppid=30725 vsize=197112 CPUtime=0 /proc/30733/task/30737/stat : 30737 (java) S 30725 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981665387 201842688 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30738] ppid=30725 vsize=197112 CPUtime=0 /proc/30733/task/30738/stat : 30738 (java) S 30725 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981665389 201842688 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30739] ppid=30725 vsize=197112 CPUtime=0.17 /proc/30733/task/30739/stat : 30739 (java) S 30725 30725 29053 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 1981665389 201842688 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30740] ppid=30725 vsize=197112 CPUtime=0 /proc/30733/task/30740/stat : 30740 (java) S 30725 30725 29053 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981665389 201842688 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30741] ppid=30725 vsize=197112 CPUtime=0 /proc/30733/task/30741/stat : 30741 (java) S 30725 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981665389 201842688 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202472 [startup+12.7022 s] /proc/loadavg: 2.07 2.02 1.93 3/93 30752 /proc/meminfo: memFree=1726216/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=1.46 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 375 1292 0 0 0 0 145 1 18 0 1 0 1981665235 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 238 196 169 0 51 0 [pid=30733] ppid=30725 vsize=197436 CPUtime=5.94 /proc/30733/stat : 30733 (java) S 30725 30725 29053 0 -1 0 11472 0 1 0 576 18 0 0 18 0 10 0 1981665384 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30733/statm: 49359 9427 2544 9 0 43941 0 [pid=30743] ppid=30733 vsize=5356 CPUtime=0 /proc/30743/stat : 30743 (choco) S 30733 30725 29053 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981665998 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30743/statm: 1339 238 197 169 0 50 0 [pid=30744] ppid=30743 vsize=655012 CPUtime=4.95 /proc/30744/stat : 30744 (java) S 30743 30725 29053 0 -1 0 13168 0 1 0 483 12 0 0 25 0 9 0 1981665999 670732288 12754 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30744/statm: 163753 12754 1907 9 0 158282 0 [pid=30744/tid=30745] ppid=30743 vsize=655012 CPUtime=4.79 /proc/30744/task/30745/stat : 30745 (java) R 30743 30725 29053 0 -1 64 12044 0 1 0 468 11 0 0 25 0 9 0 1981666000 670732288 12754 996147200 134512640 134550740 4294955936 18446744073709551615 4126552734 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30746] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30746/stat : 30746 (java) S 30743 30725 29053 0 -1 64 197 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 12754 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30747] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30747/stat : 30747 (java) S 30743 30725 29053 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 12754 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30748] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30748/stat : 30748 (java) S 30743 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 12754 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30749] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30749/stat : 30749 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981666003 670732288 12754 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30750] ppid=30743 vsize=655012 CPUtime=0.13 /proc/30744/task/30750/stat : 30750 (java) S 30743 30725 29053 0 -1 64 377 0 0 0 13 0 0 0 16 0 9 0 1981666003 670732288 12754 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30751] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30751/stat : 30751 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981666003 670732288 12754 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30752] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30752/stat : 30752 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981666003 670732288 12754 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30734] ppid=30725 vsize=197436 CPUtime=4.73 /proc/30733/task/30734/stat : 30734 (java) S 30725 30725 29053 0 -1 64 3859 0 1 0 465 8 0 0 25 0 10 0 1981665385 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30733/tid=30735] ppid=30725 vsize=197436 CPUtime=0.94 /proc/30733/task/30735/stat : 30735 (java) S 30725 30725 29053 0 -1 64 6124 0 0 0 87 7 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30736] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30736/stat : 30736 (java) S 30725 30725 29053 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30737] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30737/stat : 30737 (java) S 30725 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30738] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30738/stat : 30738 (java) S 30725 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30739] ppid=30725 vsize=197436 CPUtime=0.23 /proc/30733/task/30739/stat : 30739 (java) S 30725 30725 29053 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30740] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30740/stat : 30740 (java) S 30725 30725 29053 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30741] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30741/stat : 30741 (java) S 30725 30725 29053 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30742] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30742/stat : 30742 (java) S 30725 30725 29053 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981665998 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 863164 [startup+25.5027 s] /proc/loadavg: 2.14 2.03 1.94 3/93 30752 /proc/meminfo: memFree=1725448/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=1.46 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 375 1292 0 0 0 0 145 1 18 0 1 0 1981665235 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 238 196 169 0 51 0 [pid=30733] ppid=30725 vsize=197436 CPUtime=5.94 /proc/30733/stat : 30733 (java) S 30725 30725 29053 0 -1 0 11472 0 1 0 576 18 0 0 18 0 10 0 1981665384 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30733/statm: 49359 9427 2544 9 0 43941 0 [pid=30743] ppid=30733 vsize=5356 CPUtime=0 /proc/30743/stat : 30743 (choco) S 30733 30725 29053 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981665998 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30743/statm: 1339 238 197 169 0 50 0 [pid=30744] ppid=30743 vsize=655012 CPUtime=17.5 /proc/30744/stat : 30744 (java) S 30743 30725 29053 0 -1 0 13351 0 1 0 1721 29 0 0 25 0 9 0 1981665999 670732288 12932 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30744/statm: 163753 12932 1907 9 0 158282 0 [pid=30744/tid=30745] ppid=30743 vsize=655012 CPUtime=17.32 /proc/30744/task/30745/stat : 30745 (java) R 30743 30725 29053 0 -1 64 12049 0 1 0 1704 28 0 0 25 0 9 0 1981666000 670732288 12932 996147200 134512640 134550740 4294955936 18446744073709551615 4126680161 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30746] ppid=30743 vsize=655012 CPUtime=0.02 /proc/30744/task/30746/stat : 30746 (java) S 30743 30725 29053 0 -1 64 375 0 0 0 2 0 0 0 16 0 9 0 1981666001 670732288 12932 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30747] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30747/stat : 30747 (java) S 30743 30725 29053 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 12932 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30748] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30748/stat : 30748 (java) S 30743 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 12932 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30749] ppid=30743 vsize=655012 CPUtime=0 ################ # More data... # ################ /proc/30733/statm: 49359 9427 2544 9 0 43941 0 [pid=30743] ppid=30733 vsize=5356 CPUtime=0 /proc/30743/stat : 30743 (choco) S 30733 30725 29053 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981665998 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30743/statm: 1339 238 197 169 0 50 0 [pid=30744] ppid=30743 vsize=655012 CPUtime=1681.4 /proc/30744/stat : 30744 (java) S 30743 30725 29053 0 -1 0 14160 0 1 0 166039 2101 0 0 25 0 9 0 1981665999 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30744/statm: 163753 13111 1907 9 0 158282 0 [pid=30744/tid=30745] ppid=30743 vsize=655012 CPUtime=1680.87 /proc/30744/task/30745/stat : 30745 (java) R 30743 30725 29053 0 -1 64 12679 0 1 0 165990 2097 0 0 25 0 9 0 1981666000 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4126540256 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30746] ppid=30743 vsize=655012 CPUtime=0.37 /proc/30744/task/30746/stat : 30746 (java) S 30743 30725 29053 0 -1 64 554 0 0 0 34 3 0 0 16 0 9 0 1981666001 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30747] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30747/stat : 30747 (java) S 30743 30725 29053 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30748] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30748/stat : 30748 (java) S 30743 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30749] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30749/stat : 30749 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30750] ppid=30743 vsize=655012 CPUtime=0.13 /proc/30744/task/30750/stat : 30750 (java) S 30743 30725 29053 0 -1 64 377 0 0 0 13 0 0 0 16 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30751] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30751/stat : 30751 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30752] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30752/stat : 30752 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30734] ppid=30725 vsize=197436 CPUtime=4.73 /proc/30733/task/30734/stat : 30734 (java) S 30725 30725 29053 0 -1 64 3859 0 1 0 465 8 0 0 25 0 10 0 1981665385 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30733/tid=30735] ppid=30725 vsize=197436 CPUtime=0.94 /proc/30733/task/30735/stat : 30735 (java) S 30725 30725 29053 0 -1 64 6124 0 0 0 87 7 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30736] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30736/stat : 30736 (java) S 30725 30725 29053 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30737] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30737/stat : 30737 (java) S 30725 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30738] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30738/stat : 30738 (java) S 30725 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30739] ppid=30725 vsize=197436 CPUtime=0.23 /proc/30733/task/30739/stat : 30739 (java) S 30725 30725 29053 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30740] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30740/stat : 30740 (java) S 30725 30725 29053 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30741] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30741/stat : 30741 (java) S 30725 30725 29053 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30733/tid=30742] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30742/stat : 30742 (java) S 30725 30725 29053 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981665998 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1688.8 Current children cumulated vsize (KiB) 863164 [startup+1782.3 s] /proc/loadavg: 2.00 2.06 2.00 3/105 30800 /proc/meminfo: memFree=1665448/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=1.46 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 375 1292 0 0 0 0 145 1 18 0 1 0 1981665235 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 238 196 169 0 51 0 [pid=30733] ppid=30725 vsize=197436 CPUtime=5.94 /proc/30733/stat : 30733 (java) S 30725 30725 29053 0 -1 0 11472 0 1 0 576 18 0 0 18 0 10 0 1981665384 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30733/statm: 49359 9427 2544 9 0 43941 0 [pid=30743] ppid=30733 vsize=5356 CPUtime=0 /proc/30743/stat : 30743 (choco) S 30733 30725 29053 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981665998 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30743/statm: 1339 238 197 169 0 50 0 [pid=30744] ppid=30743 vsize=655012 CPUtime=1740.84 /proc/30744/stat : 30744 (java) S 30743 30725 29053 0 -1 0 14184 0 1 0 171901 2183 0 0 25 0 9 0 1981665999 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30744/statm: 163753 13111 1907 9 0 158282 0 [pid=30744/tid=30745] ppid=30743 vsize=655012 CPUtime=1740.29 /proc/30744/task/30745/stat : 30745 (java) R 30743 30725 29053 0 -1 64 12703 0 1 0 171851 2178 0 0 25 0 9 0 1981666000 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30744/tid=30746] ppid=30743 vsize=655012 CPUtime=0.38 /proc/30744/task/30746/stat : 30746 (java) S 30743 30725 29053 0 -1 64 554 0 0 0 35 3 0 0 16 0 9 0 1981666001 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30744/tid=30747] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30747/stat : 30747 (java) S 30743 30725 29053 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30748] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30748/stat : 30748 (java) S 30743 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30749] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30749/stat : 30749 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30750] ppid=30743 vsize=655012 CPUtime=0.13 /proc/30744/task/30750/stat : 30750 (java) S 30743 30725 29053 0 -1 64 377 0 0 0 13 0 0 0 16 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30751] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30751/stat : 30751 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30752] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30752/stat : 30752 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30734] ppid=30725 vsize=197436 CPUtime=4.73 /proc/30733/task/30734/stat : 30734 (java) S 30725 30725 29053 0 -1 64 3859 0 1 0 465 8 0 0 25 0 10 0 1981665385 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30733/tid=30735] ppid=30725 vsize=197436 CPUtime=0.94 /proc/30733/task/30735/stat : 30735 (java) S 30725 30725 29053 0 -1 64 6124 0 0 0 87 7 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30736] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30736/stat : 30736 (java) S 30725 30725 29053 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30737] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30737/stat : 30737 (java) S 30725 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30738] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30738/stat : 30738 (java) S 30725 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30739] ppid=30725 vsize=197436 CPUtime=0.23 /proc/30733/task/30739/stat : 30739 (java) S 30725 30725 29053 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30740] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30740/stat : 30740 (java) S 30725 30725 29053 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30741] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30741/stat : 30741 (java) S 30725 30725 29053 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30733/tid=30742] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30742/stat : 30742 (java) S 30725 30725 29053 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981665998 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1748.24 Current children cumulated vsize (KiB) 863164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1834.1 s] /proc/loadavg: 2.00 2.05 2.00 3/105 30800 /proc/meminfo: memFree=1665384/2055920 swapFree=4179968/4192956 [pid=30725] ppid=30723 vsize=5360 CPUtime=1.46 /proc/30725/stat : 30725 (hydra) S 30723 30725 29053 0 -1 4194304 375 1292 0 0 0 0 145 1 18 0 1 0 1981665235 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30725/statm: 1340 238 196 169 0 51 0 [pid=30733] ppid=30725 vsize=197436 CPUtime=5.94 /proc/30733/stat : 30733 (java) S 30725 30725 29053 0 -1 0 11472 0 1 0 576 18 0 0 18 0 10 0 1981665384 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30733/statm: 49359 9427 2544 9 0 43941 0 [pid=30743] ppid=30733 vsize=5356 CPUtime=0 /proc/30743/stat : 30743 (choco) S 30733 30725 29053 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981665998 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30743/statm: 1339 238 197 169 0 50 0 [pid=30744] ppid=30743 vsize=655012 CPUtime=1792.62 /proc/30744/stat : 30744 (java) S 30743 30725 29053 0 -1 0 14205 0 1 0 177010 2252 0 0 25 0 9 0 1981665999 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30744/statm: 163753 13111 1907 9 0 158282 0 [pid=30744/tid=30745] ppid=30743 vsize=655012 CPUtime=1792.07 /proc/30744/task/30745/stat : 30745 (java) R 30743 30725 29053 0 -1 64 12724 0 1 0 176960 2247 0 0 25 0 9 0 1981666000 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30744/tid=30746] ppid=30743 vsize=655012 CPUtime=0.39 /proc/30744/task/30746/stat : 30746 (java) S 30743 30725 29053 0 -1 64 554 0 0 0 36 3 0 0 16 0 9 0 1981666001 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30744/tid=30747] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30747/stat : 30747 (java) S 30743 30725 29053 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30748] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30748/stat : 30748 (java) S 30743 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981666001 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30749] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30749/stat : 30749 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30750] ppid=30743 vsize=655012 CPUtime=0.13 /proc/30744/task/30750/stat : 30750 (java) S 30743 30725 29053 0 -1 64 377 0 0 0 13 0 0 0 16 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30751] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30751/stat : 30751 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30744/tid=30752] ppid=30743 vsize=655012 CPUtime=0 /proc/30744/task/30752/stat : 30752 (java) S 30743 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981666003 670732288 13111 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30734] ppid=30725 vsize=197436 CPUtime=4.73 /proc/30733/task/30734/stat : 30734 (java) S 30725 30725 29053 0 -1 64 3859 0 1 0 465 8 0 0 25 0 10 0 1981665385 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30733/tid=30735] ppid=30725 vsize=197436 CPUtime=0.94 /proc/30733/task/30735/stat : 30735 (java) S 30725 30725 29053 0 -1 64 6124 0 0 0 87 7 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30736] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30736/stat : 30736 (java) S 30725 30725 29053 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30737] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30737/stat : 30737 (java) S 30725 30725 29053 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981665387 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30738] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30738/stat : 30738 (java) S 30725 30725 29053 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30739] ppid=30725 vsize=197436 CPUtime=0.23 /proc/30733/task/30739/stat : 30739 (java) S 30725 30725 29053 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30740] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30740/stat : 30740 (java) S 30725 30725 29053 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30733/tid=30741] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30741/stat : 30741 (java) S 30725 30725 29053 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 1981665389 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30733/tid=30742] ppid=30725 vsize=197436 CPUtime=0 /proc/30733/task/30742/stat : 30742 (java) S 30725 30725 29053 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1981665998 202174464 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 863164 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30725 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=453778 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=17997 # CPU time returned by wait4() is 1.47178 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1834.14 CPU time (s): 1800.02 CPU user time (s): 1777.31 CPU system time (s): 22.71 CPU usage (%): 98.14 Max. virtual memory (cumulated for all children) (KiB): 863164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.45378 system time used= 0.017997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1667 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30 involuntary context switches= 41 runsolver used 4.72128 second user time and 22.0007 second system time The end
Begin job on node11 at 2008-07-02 21:28:24 IDJOB=1046422 IDBENCH=53803 IDSOLVER=366 FILE ID=node11/1046422-1215026904 PBS_JOBID= 7874447 Free space on /tmp= 66544 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/latinSquare/normalized-latinSquare-dg-11_all.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046422-1215026904/watcher-1046422-1215026904 -o /tmp/evaluation-result-1046422-1215026904/solver-1046422-1215026904 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046422-1215026904.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 14165ebb64384d7788391b193528de33 RANDOM SEED=1894379405 node11.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.224 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.224 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: 1799176 kB Buffers: 28716 kB Cached: 159184 kB SwapCached: 7396 kB Active: 147488 kB Inactive: 53284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1799176 kB SwapTotal: 4192956 kB SwapFree: 4179968 kB Dirty: 24296 kB Writeback: 0 kB Mapped: 20476 kB Slab: 41208 kB Committed_AS: 3254232 kB PageTables: 1808 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= 66496 MiB End job on node11 at 2008-07-02 21:59:00