| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cpHydra k_40 | ? (TO) | 1800.06 | 1803.03 |
| Name | csp/ortholatin/ normalized-ortholatin-7.xml |
| MD5SUM | ecb6f233f61e5d259266e5fb1cd34725 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.288955 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 147 |
| Number of constraints | 78 |
| Maximum constraint arity | 49 |
| Maximum domain size | 49 |
| Number of constraints which are defined in extension | 49 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) | alldifferent(29) |
0.00/0.00 c cpHydra_k_40 version 0.0
7.28/7.47 c CASE TO CLASSIFY:
7.28/7.47 c Case: 0
7.28/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 62.820500 | c 18 > 37.179500 | c 33 > -1.000000 | c 15 > 20.547800 | c 34 > -1.000000 | c 16 > 49.000000 | c 13 > 9.309310 | c 14 > 12.754300 | c 11 > 7.199670 | c 12 > 9.928640 | c 21 > 4.582580 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 29.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > 100.000000 | c 3 > 7.199670 | c 2 > -1.000000 | c 10 > 10.847100 | 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.592000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.48 c choco : 1801.0
7.28/7.48 c mistral : 1801.0
7.28/7.48 c abscon : 1801.0
7.28/7.48 c
7.28/7.48 c
7.38/7.56 c List of same ones: 40
7.38/7.56 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-50_ext.xml
7.38/7.56 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.38/7.56 c choco : 0.8
7.38/7.56 c mistral : 0.01
7.38/7.56 c abscon : 0.621905
7.38/7.56 c
7.38/7.56 c
7.38/7.56 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-45_ext.xml
7.38/7.56 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.38/7.57 c choco : 0.8
7.38/7.57 c mistral : 0.01
7.38/7.57 c abscon : 0.6549
7.38/7.57 c
7.38/7.57 c
7.38/7.57 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-40_ext.xml
7.38/7.57 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.38/7.58 c choco : 0.79
7.38/7.58 c mistral : 0.01
7.38/7.58 c abscon : 0.662898
7.38/7.58 c
7.38/7.58 c
7.38/7.58 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-35_ext.xml
7.38/7.58 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.38/7.59 c choco : 0.79
7.38/7.59 c mistral : 0.010997
7.38/7.59 c abscon : 0.605907
7.38/7.59 c
7.38/7.59 c
7.38/7.59 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-30_ext.xml
7.38/7.59 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.47/7.60 c choco : 0.8
7.47/7.60 c mistral : 0.01
7.47/7.60 c abscon : 0.609906
7.47/7.60 c
7.47/7.60 c
7.47/7.60 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-25_ext.xml
7.47/7.60 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.47/7.61 c choco : 0.77
7.47/7.61 c mistral : 0.01
7.47/7.61 c abscon : 0.601908
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-6_all.xml
7.47/7.61 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.47/7.62 c choco : 2.76
7.47/7.62 c mistral : 0.04
7.47/7.62 c abscon : 1.21281
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-7_all.xml
7.47/7.62 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.47/7.63 c choco : 1.0
7.47/7.63 c mistral : 0.014997
7.47/7.63 c abscon : 0.732888
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-20_ext.xml
7.47/7.63 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.47/7.64 c choco : 0.77
7.47/7.64 c mistral : 0.009997
7.47/7.64 c abscon : 0.618905
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-18_ext.xml
7.47/7.64 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.47/7.65 c choco : 0.79
7.47/7.65 c mistral : 0.01
7.47/7.65 c abscon : 0.600907
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-5_all.xml
7.47/7.65 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.65/7.85 c choco : 0.91
7.65/7.85 c mistral : 0.01
7.65/7.85 c abscon : 0.623904
7.65/7.85 c
7.65/7.85 c
7.65/7.85 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-15_ext.xml
7.65/7.85 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.65/7.86 c choco : 0.77
7.65/7.86 c mistral : 0.01
7.65/7.86 c abscon : 0.618905
7.65/7.86 c
7.65/7.86 c
7.65/7.86 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-4_all.xml
7.65/7.86 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.65/7.87 c choco : 0.85
7.65/7.87 c mistral : 0.01
7.65/7.87 c abscon : 0.6499
7.65/7.87 c
7.65/7.87 c
7.65/7.87 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-14_ext.xml
7.65/7.87 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.65/7.88 c choco : 0.76
7.65/7.88 c mistral : 0.01
7.65/7.88 c abscon : 0.613906
7.65/7.88 c
7.65/7.88 c
7.65/7.88 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-13_ext.xml
7.65/7.88 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.65/7.88 c choco : 0.76
7.65/7.88 c mistral : 0.01
7.65/7.88 c abscon : 0.603908
7.65/7.88 c
7.65/7.88 c
7.65/7.88 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-12_ext.xml
7.65/7.88 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.65/7.89 c choco : 0.75
7.65/7.89 c mistral : 0.01
7.65/7.89 c abscon : 0.58791
7.65/7.89 c
7.65/7.89 c
7.65/7.89 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-11_ext.xml
7.65/7.89 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.65/7.89 c choco : 0.76
7.65/7.89 c mistral : 0.009998
7.65/7.89 c abscon : 0.600908
7.65/7.89 c
7.65/7.89 c
7.65/7.89 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-3_all.xml
7.65/7.89 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.74/7.90 c choco : 0.82
7.74/7.90 c mistral : 0.01
7.74/7.90 c abscon : 0.599908
7.74/7.90 c
7.74/7.90 c
7.74/7.90 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-10_ext.xml
7.74/7.90 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.74/7.91 c choco : 0.77
7.74/7.91 c mistral : 0.01
7.74/7.91 c abscon : 0.591909
7.74/7.91 c
7.74/7.91 c
7.74/7.91 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-9_ext.xml
7.74/7.91 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.74/7.92 c choco : 0.76
7.74/7.92 c mistral : 0.01
7.74/7.92 c abscon : 0.623904
7.74/7.92 c
7.74/7.92 c
7.74/7.92 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-8_ext.xml
7.74/7.92 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.74/7.93 c choco : 0.77
7.74/7.93 c mistral : 0.01
7.74/7.93 c abscon : 0.596909
7.74/7.93 c
7.74/7.93 c
7.74/7.93 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-7_ext.xml
7.74/7.93 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.74/7.94 c choco : 0.77
7.74/7.94 c mistral : 0.01
7.74/7.94 c abscon : 0.613906
7.74/7.94 c
7.74/7.94 c
7.74/7.94 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-6_ext.xml
7.74/7.94 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.74/7.94 c choco : 0.77
7.74/7.94 c mistral : 0.01
7.74/7.94 c abscon : 0.628903
7.74/7.94 c
7.74/7.94 c
7.74/7.94 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-5_ext.xml
7.74/7.94 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.74/7.95 c choco : 0.77
7.74/7.95 c mistral : 0.01
7.74/7.95 c abscon : 0.602907
7.74/7.95 c
7.74/7.95 c
7.74/7.95 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-35_ext.xml
7.74/7.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.811000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.650150 | c 14 > 9.607330 | c 11 > 4.392320 | c 12 > 11.817600 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.74/7.95 c choco : 1801.0
7.74/7.95 c mistral : 22.94
7.74/7.95 c abscon : 161.89
7.74/7.95 c
7.74/7.95 c
7.74/7.95 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-7_ext.xml
7.74/7.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.918800 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.011690 | c 14 > 9.675960 | c 11 > 4.392320 | c 12 > 11.861400 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.74/7.96 c choco : 1801.0
7.74/7.96 c mistral : 20.66
7.74/7.96 c abscon : 56.28
7.74/7.96 c
7.74/7.96 c
7.74/7.96 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-19_ext.xml
7.74/7.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.809800 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.195200 | c 14 > 9.569860 | c 11 > 4.392320 | c 12 > 11.740900 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.74/7.97 c choco : 1801.0
7.74/7.97 c mistral : 23.56
7.74/7.97 c abscon : 118.29
7.74/7.97 c
7.74/7.97 c
7.74/7.97 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-6_ext.xml
7.74/7.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.712000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.535540 | c 14 > 9.575540 | c 11 > 4.392320 | c 12 > 11.760200 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.74/7.98 c choco : 1801.0
7.74/7.98 c mistral : 28.26
7.74/7.98 c abscon : 107.14
7.74/7.98 c
7.74/7.98 c
7.74/7.98 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-31_ext.xml
7.74/7.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.752300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.284330 | c 14 > 9.509780 | c 11 > 4.392320 | c 12 > 11.693500 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.74/7.98 c choco : 1801.0
7.74/7.98 c mistral : 34.27
7.74/7.98 c abscon : 150.03
7.74/7.98 c
7.74/7.98 c
7.74/7.98 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-11_ext.xml
7.74/7.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.769500 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.673050 | c 14 > 9.592460 | c 11 > 4.392320 | c 12 > 12.035300 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.74/7.99 c choco : 1801.0
7.74/7.99 c mistral : 29.97
7.74/7.99 c abscon : 16.0
7.74/7.99 c
7.74/7.99 c
7.74/7.99 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-34_ext.xml
7.74/7.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.911300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.903150 | c 14 > 9.625710 | c 11 > 4.392320 | c 12 > 12.035900 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.74/7.99 c choco : 1801.0
7.74/7.99 c mistral : 18.89
7.74/7.99 c abscon : 78.43
7.74/7.99 c
7.74/7.99 c
7.74/7.99 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-4_ext.xml
7.74/7.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.825200 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.805450 | c 14 > 9.521600 | c 11 > 4.392320 | c 12 > 11.706500 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.80/8.00 c choco : 1801.0
7.80/8.00 c mistral : 27.34
7.80/8.00 c abscon : 38.51
7.80/8.00 c
7.80/8.00 c
7.80/8.00 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-28_ext.xml
7.80/8.00 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.787000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.807150 | c 14 > 9.539160 | c 11 > 4.392320 | c 12 > 11.722000 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.80/8.01 c choco : 1801.0
7.80/8.01 c mistral : 27.5
7.80/8.01 c abscon : 143.02
7.80/8.01 c
7.80/8.01 c
7.80/8.01 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-24_ext.xml
7.80/8.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.751100 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.220840 | c 14 > 9.449150 | c 11 > 4.392320 | c 12 > 11.884800 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.80/8.02 c choco : 1801.0
7.80/8.02 c mistral : 20.71
7.80/8.02 c abscon : 112.94
7.80/8.02 c
7.80/8.02 c
7.80/8.02 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-2_ext.xml
7.80/8.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.797900 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.643850 | c 14 > 9.517670 | c 11 > 4.392320 | c 12 > 11.696800 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.80/8.02 c choco : 1801.0
7.80/8.02 c mistral : 21.48
7.80/8.02 c abscon : 18.4
7.80/8.02 c
7.80/8.02 c
7.80/8.02 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-9_ext.xml
7.80/8.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.827700 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.754500 | c 14 > 9.631180 | c 11 > 4.392320 | c 12 > 12.041800 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.80/8.03 c choco : 1801.0
7.80/8.03 c mistral : 16.52
7.80/8.03 c abscon : 8.65
7.80/8.03 c
7.80/8.03 c
7.80/8.03 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-30_ext.xml
7.80/8.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.687300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.194530 | c 14 > 9.485830 | c 11 > 4.392320 | c 12 > 11.890700 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.80/8.03 c choco : 1801.0
7.80/8.03 c mistral : 36.67
7.80/8.03 c abscon : 148.43
7.80/8.03 c
7.80/8.03 c
7.80/8.03 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-21_ext.xml
7.80/8.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.765600 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.882100 | c 14 > 9.509780 | c 11 > 4.392320 | c 12 > 11.946000 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.80/8.04 c choco : 1801.0
7.80/8.04 c mistral : 21.19
7.80/8.04 c abscon : 137.86
7.80/8.04 c
7.80/8.04 c
7.80/8.04 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-13_ext.xml
7.80/8.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.702300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.093350 | c 14 > 9.430450 | c 11 > 4.392320 | c 12 > 11.874700 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.80/8.04 c choco : 1801.0
7.80/8.04 c mistral : 37.04
7.80/8.04 c abscon : 151.12
7.80/8.04 c
7.80/8.04 c
7.80/8.04 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-29_ext.xml
7.80/8.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.776200 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.405220 | c 14 > 9.541100 | c 11 > 4.392320 | c 12 > 11.695400 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.80/8.05 c choco : 1801.0
7.80/8.05 c mistral : 35.56
7.80/8.05 c abscon : 158.55
7.80/8.05 c
7.80/8.05 c
7.80/8.05 c Length: 40
7.80/8.05 c 96.08141665386236 96.20091949243313 96.59221410901917 97.2558714782357 98.19213989732123 99.40248805398332 99.9920815140899 100.34683169676511 100.89286925091982 101.57079083273251 102.12835036534125 102.68182386935236 103.05821398502161 103.07913900664721 103.49109638203231 103.91870041132636 104.36326030058854 104.72127507224499 104.8265204463713 105.31085799328909 105.81959449588815 106.35751983988438 106.93183862425539 107.55395626499521 123.27508533040121 123.27587802991792 123.27820462889171 123.27874154059855 123.2800671321605 123.28013843774025 123.28141362468594 123.28263214313198 123.28353610123453 123.28514583399169 123.28550027303982 123.28565532484183 123.28647807968439 123.28753190665185 123.28819272066283 123.28898380404999
7.80/8.06 c
7.80/8.06 c 1.0 0.9956269428584942 0.9815718761756126 0.958619761994899 0.9280066055994767 0.891214559252352 0.8743288224434262 0.864473756673774 0.8497314210416629 0.8321135263501929 0.818161946359286 0.8047677407673727 0.7959067709166797 0.7954198764440588 0.7859541010234867 0.7763641860507154 0.7666390210274674 0.7589824574192644 0.7567606644177455 0.7467014521223004 0.7364195025955443 0.7258512015005322 0.7148976543133899 0.7033994843415166 0.5001277404220471 0.5001204529912496 0.5000990653701662 0.5000941299859991 0.5000819453389536 0.500081289925145 0.5000695691811089 0.5000583698128306 0.5000500618837942 0.5000352681365556 0.5000320108925287 0.5000305860020443 0.500023025209691 0.5000133412896722 0.5000072690704361 0.5
7.80/8.07 c
7.80/8.07 c solver 0
7.80/8.07 c before 0.0 seconds: {} 0
7.80/8.07 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, 29, 35} 20862
7.80/8.07 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, 29, 34, 35} 21362
7.80/8.07 c before 54.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, 29, 31, 34, 35} 21862
7.80/8.07 c before 72.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, 25, 29, 31, 34, 35} 22362
7.80/8.07 c before 90.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, 25, 29, 30, 31, 34, 35} 22862
7.80/8.07 c before 108.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, 25, 27, 29, 30, 31, 34, 35} 23362
7.80/8.07 c before 126.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, 25, 26, 27, 29, 30, 31, 33, 34, 35} 24362
7.80/8.07 c before 144.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, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37} 25362
7.80/8.07 c before 162.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} 27862
7.80/8.07 c
7.80/8.07 c solver 1
7.80/8.07 c before 0.0 seconds: {} 0
7.80/8.07 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, 35} 20361
7.80/8.07 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 39} 26862
7.80/8.07 c before 54.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} 27862
7.80/8.07 c
7.80/8.07 c solver 2
7.80/8.07 c before 0.0 seconds: {} 0
7.80/8.07 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} 19861
7.80/8.07 c
7.80/8.07 cTotal time: 13
7.80/8.07 c 234.0 seconds unused
7.80/8.07 c 0 c 0 c 16
7.80/8.07 c 0 c 0 c 16
7.80/8.07 c 0 c 0 c 0
7.80/8.07 c is solver0 dominated by:
7.80/8.07 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: false) (0 < 1: false)
7.80/8.07 c is dominated? true
7.80/8.07 c
7.80/8.07 c is solver1 dominated by:
7.80/8.07 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.80/8.07 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.80/8.07 c is dominated? false
7.80/8.07 c
7.80/8.07 c is solver2 dominated by:
7.80/8.07 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.80/8.07 c is dominated? true
7.80/8.07 c
7.80/8.07 c Number of non-dominated solvers: 1
7.80/8.07 c remove dominated solvers
7.80/8.07 c solver 1 is not dominated by another solver
7.80/8.07 c solver 2 is dominated by another solver
7.80/8.07 c solver 0 is dominated by another solver
7.80/8.07 c
7.80/8.07 c solver 0: 0.0
7.80/8.07 c
7.80/8.07 c solver 1: 54.0
7.80/8.07 c
7.80/8.07 c+ 3/3 of 97
7.80/8.07 c
7.80/8.07 c solver 2: 0.0
7.80/8.07 c do not run abscon
7.80/8.08 c run mistral 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} 27862
7.80/8.08 c do not run choco
7.80/8.08 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.80/8.08 c On Instance: HOME/instance-1046557-1215028886.xml
7.80/8.08 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-1046557-1215028886/watcher-1046557-1215028886 -o /tmp/evaluation-result-1046557-1215028886/solver-1046557-1215028886 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046557-1215028886.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.05 2.02 2.00 4/84 8512 /proc/meminfo: memFree=1720016/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=0 /proc/8512/stat : 8512 (hydra) R 8510 8512 6790 0 -1 4194304 312 247 0 0 0 0 0 0 22 0 1 0 408505991 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627583647 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/8512/statm: 1340 236 195 169 0 51 0 [pid=8515] ppid=8512 vsize=5360 CPUtime=0 /proc/8515/stat : 8515 (hydra) R 8512 8512 6790 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 408505992 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627583647 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/8515/statm: 1340 236 195 169 0 51 0 [startup+0.104973 s] /proc/loadavg: 2.05 2.02 2.00 4/84 8512 /proc/meminfo: memFree=1720016/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=0 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 408505991 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 236 195 169 0 51 0 [pid=8515] ppid=8512 vsize=5248 CPUtime=0.08 /proc/8515/stat : 8515 (xsolve) R 8512 8512 6790 0 -1 4194304 690 0 0 0 8 0 0 0 23 0 1 0 408505992 5373952 649 996147200 134512640 135239763 4294956176 18446744073709551615 134821040 0 0 4096 0 0 0 0 17 1 0 0 /proc/8515/statm: 1312 649 418 177 0 215 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10608 [startup+0.201984 s] /proc/loadavg: 2.05 2.02 2.00 4/84 8512 /proc/meminfo: memFree=1720016/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=0 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 408505991 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 236 195 169 0 51 0 [pid=8515] ppid=8512 vsize=5248 CPUtime=0.18 /proc/8515/stat : 8515 (xsolve) R 8512 8512 6790 0 -1 4194304 690 0 0 0 18 0 0 0 24 0 1 0 408505992 5373952 649 996147200 134512640 135239763 4294956176 18446744073709551615 135016058 0 0 4096 0 0 0 0 17 1 0 0 /proc/8515/statm: 1312 649 418 177 0 215 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 10608 [startup+0.301999 s] /proc/loadavg: 2.05 2.02 2.00 4/84 8512 /proc/meminfo: memFree=1720016/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=0 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 408505991 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 236 195 169 0 51 0 [pid=8515] ppid=8512 vsize=5248 CPUtime=0.27 /proc/8515/stat : 8515 (xsolve) R 8512 8512 6790 0 -1 4194304 690 0 0 0 27 0 0 0 25 0 1 0 408505992 5373952 649 996147200 134512640 135239763 4294956176 18446744073709551615 134789410 0 0 4096 0 0 0 0 17 1 0 0 /proc/8515/statm: 1312 649 418 177 0 215 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 10608 [startup+0.701055 s] /proc/loadavg: 2.05 2.02 2.00 4/84 8512 /proc/meminfo: memFree=1720016/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=0 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 408505991 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 236 195 169 0 51 0 [pid=8515] ppid=8512 vsize=5248 CPUtime=0.67 /proc/8515/stat : 8515 (xsolve) R 8512 8512 6790 0 -1 4194304 690 0 0 0 67 0 0 0 25 0 1 0 408505992 5373952 649 996147200 134512640 135239763 4294956176 18446744073709551615 135013682 0 0 4096 0 0 0 0 17 1 0 0 /proc/8515/statm: 1312 649 418 177 0 215 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 10608 [startup+1.50118 s] /proc/loadavg: 2.05 2.02 2.00 3/86 8516 /proc/meminfo: memFree=1718720/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=1.46 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 375 1287 0 0 0 0 145 1 18 0 1 0 408505991 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 5360 [startup+3.1024 s] /proc/loadavg: 2.05 2.02 2.00 3/94 8528 /proc/meminfo: memFree=1712128/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=1.46 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 375 1287 0 0 0 0 145 1 18 0 1 0 408505991 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 238 196 169 0 51 0 [pid=8520] ppid=8512 vsize=197000 CPUtime=1.57 /proc/8520/stat : 8520 (java) S 8512 8512 6790 0 -1 0 5036 0 1 0 151 6 0 0 18 0 9 0 408506141 201728000 4224 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8520/statm: 49250 4224 1679 9 0 43832 0 [pid=8520/tid=8521] ppid=8512 vsize=197000 CPUtime=1.27 /proc/8520/task/8521/stat : 8521 (java) R 8512 8512 6790 0 -1 64 2737 0 1 0 125 2 0 0 25 0 9 0 408506142 201728000 4224 996147200 134512640 134550740 4294955968 18446744073709551615 103215852 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8522] ppid=8512 vsize=197000 CPUtime=0.13 /proc/8520/task/8522/stat : 8522 (java) S 8512 8512 6790 0 -1 64 958 0 0 0 11 2 0 0 16 0 9 0 408506143 201728000 4224 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8523] ppid=8512 vsize=197000 CPUtime=0 /proc/8520/task/8523/stat : 8523 (java) S 8512 8512 6790 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 408506143 201728000 4224 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8524] ppid=8512 vsize=197000 CPUtime=0 /proc/8520/task/8524/stat : 8524 (java) S 8512 8512 6790 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 408506143 201728000 4224 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8525] ppid=8512 vsize=197000 CPUtime=0 /proc/8520/task/8525/stat : 8525 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 408506145 201728000 4224 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8526] ppid=8512 vsize=197000 CPUtime=0.14 /proc/8520/task/8526/stat : 8526 (java) S 8512 8512 6790 0 -1 64 615 0 0 0 14 0 0 0 16 0 9 0 408506145 201728000 4224 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8527] ppid=8512 vsize=197000 CPUtime=0 /proc/8520/task/8527/stat : 8527 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 408506145 201728000 4224 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8528] ppid=8512 vsize=197000 CPUtime=0 /proc/8520/task/8528/stat : 8528 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 408506145 201728000 4224 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202360 [startup+6.30286 s] /proc/loadavg: 2.13 2.03 2.01 4/94 8528 /proc/meminfo: memFree=1699584/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=1.46 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 375 1287 0 0 0 0 145 1 18 0 1 0 408505991 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 238 196 169 0 51 0 [pid=8520] ppid=8512 vsize=197112 CPUtime=4.74 /proc/8520/stat : 8520 (java) S 8512 8512 6790 0 -1 0 9865 0 1 0 459 15 0 0 18 0 9 0 408506141 201842688 8179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8520/statm: 49278 8179 2541 9 0 43860 0 [pid=8520/tid=8521] ppid=8512 vsize=197112 CPUtime=3.78 /proc/8520/task/8521/stat : 8521 (java) R 8512 8512 6790 0 -1 64 3527 0 1 0 374 4 0 0 25 0 9 0 408506142 201842688 8179 996147200 134512640 134550740 4294955968 18446744073709551615 4126591999 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8522] ppid=8512 vsize=197112 CPUtime=0.75 /proc/8520/task/8522/stat : 8522 (java) S 8512 8512 6790 0 -1 64 4982 0 0 0 67 8 0 0 16 0 9 0 408506143 201842688 8179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8523] ppid=8512 vsize=197112 CPUtime=0 /proc/8520/task/8523/stat : 8523 (java) S 8512 8512 6790 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 408506143 201842688 8179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8524] ppid=8512 vsize=197112 CPUtime=0 /proc/8520/task/8524/stat : 8524 (java) S 8512 8512 6790 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 408506143 201842688 8179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8525] ppid=8512 vsize=197112 CPUtime=0 /proc/8520/task/8525/stat : 8525 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 408506145 201842688 8179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8526] ppid=8512 vsize=197112 CPUtime=0.17 /proc/8520/task/8526/stat : 8526 (java) S 8512 8512 6790 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 408506145 201842688 8179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8527] ppid=8512 vsize=197112 CPUtime=0 /proc/8520/task/8527/stat : 8527 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 408506145 201842688 8179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8528] ppid=8512 vsize=197112 CPUtime=0 /proc/8520/task/8528/stat : 8528 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 408506145 201842688 8179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 202472 [startup+12.7028 s] /proc/loadavg: 2.12 2.03 2.01 3/97 8531 /proc/meminfo: memFree=1690024/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=1.46 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 375 1287 0 0 0 0 145 1 18 0 1 0 408505991 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 238 196 169 0 51 0 [pid=8520] ppid=8512 vsize=197436 CPUtime=6.4 /proc/8520/stat : 8520 (java) S 8512 8512 6790 0 -1 0 13968 0 1 0 618 22 0 0 18 0 10 0 408506141 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8520/statm: 49359 9480 2544 9 0 43941 0 [pid=8530] ppid=8520 vsize=5356 CPUtime=0 /proc/8530/stat : 8530 (mistral) S 8520 8512 6790 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 408506799 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/8530/statm: 1339 236 196 169 0 50 0 [pid=8531] ppid=8530 vsize=5248 CPUtime=4.56 /proc/8531/stat : 8531 (xsolve) R 8530 8512 6790 0 -1 4194304 667 0 0 0 456 0 0 0 25 0 1 0 408506800 5373952 631 996147200 134512640 135239763 4294955968 18446744073709551615 134821040 0 4 0 0 0 0 0 17 1 0 0 /proc/8531/statm: 1312 631 400 177 0 215 0 [pid=8520/tid=8521] ppid=8512 vsize=197436 CPUtime=5.02 /proc/8520/task/8521/stat : 8521 (java) S 8512 8512 6790 0 -1 64 3903 0 1 0 494 8 0 0 23 0 10 0 408506142 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=8520/tid=8522] ppid=8512 vsize=197436 CPUtime=1.11 /proc/8520/task/8522/stat : 8522 (java) S 8512 8512 6790 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8523] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8523/stat : 8523 (java) S 8512 8512 6790 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8524] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8524/stat : 8524 (java) S 8512 8512 6790 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8525] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8525/stat : 8525 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8526] ppid=8512 vsize=197436 CPUtime=0.23 /proc/8520/task/8526/stat : 8526 (java) S 8512 8512 6790 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8527] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8527/stat : 8527 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8528] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8528/stat : 8528 (java) S 8512 8512 6790 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8529] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8529/stat : 8529 (java) S 8512 8512 6790 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 408506799 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 213400 [startup+25.5016 s] /proc/loadavg: 2.09 2.03 2.01 3/97 8531 /proc/meminfo: memFree=1690216/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=1.46 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 375 1287 0 0 0 0 145 1 18 0 1 0 408505991 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 238 196 169 0 51 0 [pid=8520] ppid=8512 vsize=197436 CPUtime=6.4 /proc/8520/stat : 8520 (java) S 8512 8512 6790 0 -1 0 13968 0 1 0 618 22 0 0 18 0 10 0 408506141 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8520/statm: 49359 9480 2544 9 0 43941 0 [pid=8530] ppid=8520 vsize=5356 CPUtime=0 /proc/8530/stat : 8530 (mistral) S 8520 8512 6790 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 408506799 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/8530/statm: 1339 236 196 169 0 50 0 [pid=8531] ppid=8530 vsize=5248 CPUtime=17.23 /proc/8531/stat : 8531 (xsolve) R 8530 8512 6790 0 -1 4194304 667 0 0 0 1723 0 0 0 25 0 1 0 408506800 5373952 631 996147200 134512640 135239763 4294955968 18446744073709551615 134820605 0 4 0 0 0 0 0 17 1 0 0 /proc/8531/statm: 1312 631 400 177 0 215 0 [pid=8520/tid=8521] ppid=8512 vsize=197436 CPUtime=5.02 /proc/8520/task/8521/stat : 8521 (java) S 8512 8512 6790 0 -1 64 3903 0 1 0 494 8 0 0 23 0 10 0 408506142 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=8520/tid=8522] ppid=8512 vsize=197436 CPUtime=1.11 /proc/8520/task/8522/stat : 8522 (java) S 8512 8512 6790 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8523] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8523/stat : 8523 (java) S 8512 8512 6790 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8524] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8524/stat : 8524 (java) S 8512 8512 6790 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8525] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8525/stat : 8525 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8526] ppid=8512 vsize=197436 CPUtime=0.23 /proc/8520/task/8526/stat : 8526 (java) S 8512 8512 6790 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8527] ppid=8512 vsize=197436 CPUtime=0 ################ # More data... # ################ /proc/8520/task/8529/stat : 8529 (java) S 8512 8512 6790 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 408506799 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1659.41 Current children cumulated vsize (KiB) 213400 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.17 2/77 8982 /proc/meminfo: memFree=1755736/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=1.46 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 375 1287 0 0 0 0 145 1 18 0 1 0 408505991 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 238 196 169 0 51 0 [pid=8520] ppid=8512 vsize=197436 CPUtime=6.4 /proc/8520/stat : 8520 (java) S 8512 8512 6790 0 -1 0 13968 0 1 0 618 22 0 0 18 0 10 0 408506141 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8520/statm: 49359 9480 2544 9 0 43941 0 [pid=8530] ppid=8520 vsize=5356 CPUtime=0 /proc/8530/stat : 8530 (mistral) S 8520 8512 6790 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 408506799 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/8530/statm: 1339 236 196 169 0 50 0 [pid=8531] ppid=8530 vsize=5248 CPUtime=1711.53 /proc/8531/stat : 8531 (xsolve) R 8530 8512 6790 0 -1 4194304 667 0 0 0 171148 5 0 0 25 0 1 0 408506800 5373952 631 996147200 134512640 135239763 4294955968 18446744073709551615 134820567 0 4 0 0 0 0 0 17 0 0 0 /proc/8531/statm: 1312 631 400 177 0 215 0 [pid=8520/tid=8521] ppid=8512 vsize=197436 CPUtime=5.02 /proc/8520/task/8521/stat : 8521 (java) S 8512 8512 6790 0 -1 64 3903 0 1 0 494 8 0 0 23 0 10 0 408506142 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=8520/tid=8522] ppid=8512 vsize=197436 CPUtime=1.11 /proc/8520/task/8522/stat : 8522 (java) S 8512 8512 6790 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8523] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8523/stat : 8523 (java) S 8512 8512 6790 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8524] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8524/stat : 8524 (java) S 8512 8512 6790 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8525] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8525/stat : 8525 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8526] ppid=8512 vsize=197436 CPUtime=0.23 /proc/8520/task/8526/stat : 8526 (java) S 8512 8512 6790 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8527] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8527/stat : 8527 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8528] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8528/stat : 8528 (java) S 8512 8512 6790 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8520/tid=8529] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8529/stat : 8529 (java) S 8512 8512 6790 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 408506799 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1719.39 Current children cumulated vsize (KiB) 213400 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.16 2/77 8984 /proc/meminfo: memFree=1755544/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=1.46 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 375 1287 0 0 0 0 145 1 18 0 1 0 408505991 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 238 196 169 0 51 0 [pid=8520] ppid=8512 vsize=197436 CPUtime=6.4 /proc/8520/stat : 8520 (java) S 8512 8512 6790 0 -1 0 13968 0 1 0 618 22 0 0 18 0 10 0 408506141 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8520/statm: 49359 9480 2544 9 0 43941 0 [pid=8530] ppid=8520 vsize=5356 CPUtime=0 /proc/8530/stat : 8530 (mistral) S 8520 8512 6790 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 408506799 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/8530/statm: 1339 236 196 169 0 50 0 [pid=8531] ppid=8530 vsize=5248 CPUtime=1771.5 /proc/8531/stat : 8531 (xsolve) R 8530 8512 6790 0 -1 4194304 667 0 0 0 177145 5 0 0 25 0 1 0 408506800 5373952 631 996147200 134512640 135239763 4294955968 18446744073709551615 134790121 0 4 0 0 0 0 0 17 0 0 0 /proc/8531/statm: 1312 631 400 177 0 215 0 [pid=8520/tid=8521] ppid=8512 vsize=197436 CPUtime=5.02 /proc/8520/task/8521/stat : 8521 (java) S 8512 8512 6790 0 -1 64 3903 0 1 0 494 8 0 0 23 0 10 0 408506142 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=8520/tid=8522] ppid=8512 vsize=197436 CPUtime=1.11 /proc/8520/task/8522/stat : 8522 (java) S 8512 8512 6790 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8523] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8523/stat : 8523 (java) S 8512 8512 6790 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8524] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8524/stat : 8524 (java) S 8512 8512 6790 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8525] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8525/stat : 8525 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8526] ppid=8512 vsize=197436 CPUtime=0.23 /proc/8520/task/8526/stat : 8526 (java) S 8512 8512 6790 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8527] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8527/stat : 8527 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8528] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8528/stat : 8528 (java) S 8512 8512 6790 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8520/tid=8529] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8529/stat : 8529 (java) S 8512 8512 6790 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 408506799 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1779.36 Current children cumulated vsize (KiB) 213400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1803.01 s] /proc/loadavg: 1.00 1.00 1.16 2/77 8984 /proc/meminfo: memFree=1755544/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=1.46 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 375 1287 0 0 0 0 145 1 18 0 1 0 408505991 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 238 196 169 0 51 0 [pid=8520] ppid=8512 vsize=197436 CPUtime=6.4 /proc/8520/stat : 8520 (java) S 8512 8512 6790 0 -1 0 13968 0 1 0 618 22 0 0 18 0 10 0 408506141 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8520/statm: 49359 9480 2544 9 0 43941 0 [pid=8530] ppid=8520 vsize=5356 CPUtime=0 /proc/8530/stat : 8530 (mistral) S 8520 8512 6790 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 408506799 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/8530/statm: 1339 236 196 169 0 50 0 [pid=8531] ppid=8530 vsize=5248 CPUtime=1792.2 /proc/8531/stat : 8531 (xsolve) R 8530 8512 6790 0 -1 4194304 667 0 0 0 179215 5 0 0 25 0 1 0 408506800 5373952 631 996147200 134512640 135239763 4294955968 18446744073709551615 134819917 0 4 0 0 0 0 0 17 0 0 0 /proc/8531/statm: 1312 631 400 177 0 215 0 [pid=8520/tid=8521] ppid=8512 vsize=197436 CPUtime=5.02 /proc/8520/task/8521/stat : 8521 (java) S 8512 8512 6790 0 -1 64 3903 0 1 0 494 8 0 0 23 0 10 0 408506142 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=8520/tid=8522] ppid=8512 vsize=197436 CPUtime=1.11 /proc/8520/task/8522/stat : 8522 (java) S 8512 8512 6790 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8523] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8523/stat : 8523 (java) S 8512 8512 6790 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8524] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8524/stat : 8524 (java) S 8512 8512 6790 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8525] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8525/stat : 8525 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8526] ppid=8512 vsize=197436 CPUtime=0.23 /proc/8520/task/8526/stat : 8526 (java) S 8512 8512 6790 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8527] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8527/stat : 8527 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8528] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8528/stat : 8528 (java) S 8512 8512 6790 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8520/tid=8529] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8529/stat : 8529 (java) S 8512 8512 6790 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 408506799 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 213400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1803.01 s] /proc/loadavg: 1.00 1.00 1.16 2/77 8984 /proc/meminfo: memFree=1755544/2055920 swapFree=4180288/4192956 [pid=8512] ppid=8510 vsize=5360 CPUtime=1.46 /proc/8512/stat : 8512 (hydra) S 8510 8512 6790 0 -1 4194304 375 1287 0 0 0 0 145 1 18 0 1 0 408505991 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8512/statm: 1340 238 196 169 0 51 0 [pid=8520] ppid=8512 vsize=197436 CPUtime=6.4 /proc/8520/stat : 8520 (java) S 8512 8512 6790 0 -1 0 13968 0 1 0 618 22 0 0 18 0 10 0 408506141 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8520/statm: 49359 9480 2544 9 0 43941 0 [pid=8530] ppid=8520 vsize=5356 CPUtime=0 /proc/8530/stat : 8530 (mistral) S 8520 8512 6790 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 408506799 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/8530/statm: 1339 236 196 169 0 50 0 [pid=8531] ppid=8530 vsize=5248 CPUtime=1792.2 /proc/8531/stat : 8531 (xsolve) R 8530 8512 6790 0 -1 4194304 667 0 0 0 179215 5 0 0 25 0 1 0 408506800 5373952 631 996147200 134512640 135239763 4294955968 18446744073709551615 134819917 0 4 0 0 0 0 0 17 0 0 0 /proc/8531/statm: 1312 631 400 177 0 215 0 [pid=8520/tid=8521] ppid=8512 vsize=197436 CPUtime=5.02 /proc/8520/task/8521/stat : 8521 (java) S 8512 8512 6790 0 -1 64 3903 0 1 0 494 8 0 0 23 0 10 0 408506142 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=8520/tid=8522] ppid=8512 vsize=197436 CPUtime=1.11 /proc/8520/task/8522/stat : 8522 (java) S 8512 8512 6790 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8523] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8523/stat : 8523 (java) S 8512 8512 6790 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8524] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8524/stat : 8524 (java) S 8512 8512 6790 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 408506143 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8525] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8525/stat : 8525 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8526] ppid=8512 vsize=197436 CPUtime=0.23 /proc/8520/task/8526/stat : 8526 (java) S 8512 8512 6790 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8527] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8527/stat : 8527 (java) S 8512 8512 6790 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8520/tid=8528] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8528/stat : 8528 (java) S 8512 8512 6790 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 408506145 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8520/tid=8529] ppid=8512 vsize=197436 CPUtime=0 /proc/8520/task/8529/stat : 8529 (java) S 8512 8512 6790 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 408506799 202174464 9480 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 213400 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8512 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=20996 # CPU time returned by wait4() is 1.47477 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1803.03 CPU time (s): 1800.06 CPU user time (s): 1799.78 CPU system time (s): 0.28 CPU usage (%): 99.8352 Max. virtual memory (cumulated for all children) (KiB): 213400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.45378 system time used= 0.020996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1662 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= 31 involuntary context switches= 71 runsolver used 1.78773 second user time and 5.21221 second system time The end
Begin job on node49 at 2008-07-02 22:01:26 IDJOB=1046557 IDBENCH=53938 IDSOLVER=366 FILE ID=node49/1046557-1215028886 PBS_JOBID= 7874371 Free space on /tmp= 66516 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/ortholatin/normalized-ortholatin-7.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046557-1215028886/watcher-1046557-1215028886 -o /tmp/evaluation-result-1046557-1215028886/solver-1046557-1215028886 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046557-1215028886.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= ecb6f233f61e5d259266e5fb1cd34725 RANDOM SEED=1895519338 node49.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.249 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.249 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: 1720496 kB Buffers: 29580 kB Cached: 193700 kB SwapCached: 6084 kB Active: 202216 kB Inactive: 70616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1720496 kB SwapTotal: 4192956 kB SwapFree: 4180288 kB Dirty: 24324 kB Writeback: 0 kB Mapped: 66524 kB Slab: 47348 kB Committed_AS: 762736 kB PageTables: 1956 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66516 MiB End job on node49 at 2008-07-02 22:31:31