Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 316.589 | 316.989 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 1219540 |
CHECKS | 1838650000 |
Name | csp/rand-2-40-19-fcd/ normalized-rand-2-40-19-443-230-fcd-41_ext.xml |
MD5SUM | 1fc04d1398e0254b5b3bf41ada6a47d9 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.37764 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 339 |
Maximum constraint arity | 2 |
Maximum domain size | 19 |
Number of constraints which are defined in extension | 339 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.37/7.53 c CASE TO CLASSIFY: 7.37/7.53 c Case: 0 7.37/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.463100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.411700 | c 14 > 13.379600 | c 11 > 5.321930 | c 12 > 11.630800 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.405140 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.55 c choco : 1801.0 7.37/7.55 c mistral : 1801.0 7.37/7.55 c abscon : 1801.0 7.37/7.55 c 7.37/7.55 c 7.47/7.63 c List of same ones: 40 7.47/7.63 c /home/eomahony/cpZilla/CSP/frb/frb35-17/frb35-17-3-mgd_ext.xml 7.47/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.105600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.299600 | c 14 > 13.308100 | c 11 > 5.129280 | c 12 > 11.746600 | c 21 > 4.123110 | c 20 > 0.000000 | c 22 > 4.123110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.055280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.216750 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.64 c choco : 13.76 7.47/7.64 c mistral : 2.03669 7.47/7.64 c abscon : 1.07084 7.47/7.64 c 7.47/7.64 c 7.47/7.64 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml 7.47/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.187900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.588700 | c 14 > 13.515800 | c 11 > 5.321930 | c 12 > 11.687400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.64 c choco : 75.11 7.47/7.64 c mistral : 11.29 7.47/7.64 c abscon : 17.3174 7.47/7.64 c 7.47/7.64 c 7.47/7.65 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-29_ext.xml 7.47/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.119500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.369700 | c 14 > 13.490500 | c 11 > 5.321930 | c 12 > 11.553400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.66 c choco : 1801.0 7.47/7.66 c mistral : 20.49 7.47/7.66 c abscon : 26.285 7.47/7.66 c 7.47/7.66 c 7.47/7.66 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-47_ext.xml 7.47/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.134300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.544800 | c 14 > 13.501000 | c 11 > 5.321930 | c 12 > 11.662700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.66 c choco : 88.64 7.47/7.66 c mistral : 16.37 7.47/7.66 c abscon : 21.6117 7.47/7.66 c 7.47/7.66 c 7.47/7.66 c /home/eomahony/cpZilla/CSP/frb/frb35-17/frb35-17-1-mgd_ext.xml 7.47/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.092400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.370400 | c 14 > 13.220200 | c 11 > 5.129280 | c 12 > 11.400200 | c 21 > 4.123110 | c 20 > 0.000000 | c 22 > 4.123110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.033420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.216750 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.68 c choco : 26.57 7.47/7.68 c mistral : 2.67 7.47/7.68 c abscon : 3.61445 7.47/7.68 c 7.47/7.68 c 7.47/7.68 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-7_ext.xml 7.47/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.175300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.261200 | c 14 > 13.565600 | c 11 > 5.321930 | c 12 > 11.772900 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.68 c choco : 110.69 7.47/7.68 c mistral : 21.86 7.47/7.68 c abscon : 26.8269 7.47/7.69 c 7.47/7.69 c 7.47/7.69 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml 7.47/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.177900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614500 | c 14 > 13.581300 | c 11 > 5.321930 | c 12 > 11.645700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.69 c choco : 1801.0 7.47/7.69 c mistral : 29.08 7.47/7.69 c abscon : 40.2689 7.47/7.69 c 7.47/7.69 c 7.47/7.69 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-71_ext.xml 7.47/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.159900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.353600 | c 14 > 13.465900 | c 11 > 5.321930 | c 12 > 11.382500 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.47/7.70 c choco : 51.1 7.47/7.70 c mistral : 8.18 7.47/7.70 c abscon : 11.9162 7.47/7.70 c 7.47/7.70 c 7.47/7.70 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml 7.47/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.116100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.585400 | c 14 > 13.438900 | c 11 > 5.321930 | c 12 > 11.522900 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.71 c choco : 44.45 7.54/7.71 c mistral : 6.96 7.54/7.71 c abscon : 11.4633 7.54/7.71 c 7.54/7.71 c 7.54/7.71 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-65_ext.xml 7.54/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.063500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.490500 | c 14 > 13.393400 | c 11 > 5.321930 | c 12 > 11.650700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.72 c choco : 64.63 7.54/7.72 c mistral : 11.81 7.54/7.72 c abscon : 14.0419 7.54/7.72 c 7.54/7.72 c 7.54/7.72 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-79_ext.xml 7.54/7.72 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.157700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.247300 | c 14 > 13.542900 | c 11 > 5.321930 | c 12 > 11.775400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.73 c choco : 1801.0 7.54/7.73 c mistral : 20.68 7.54/7.73 c abscon : 28.7956 7.54/7.73 c 7.54/7.73 c 7.54/7.73 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-25_ext.xml 7.54/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.032000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.418600 | c 14 > 13.435000 | c 11 > 5.321930 | c 12 > 11.670200 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.74 c choco : 15.93 7.54/7.74 c mistral : 4.93 7.54/7.74 c abscon : 14.7028 7.54/7.74 c 7.54/7.74 c 7.54/7.74 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-75_ext.xml 7.54/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.104500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.184700 | c 14 > 13.522300 | c 11 > 5.321930 | c 12 > 11.753300 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.75 c choco : 66.65 7.54/7.75 c mistral : 5.25 7.54/7.75 c abscon : 15.5486 7.54/7.75 c 7.54/7.75 c 7.54/7.75 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-61_ext.xml 7.54/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.103100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.227900 | c 14 > 13.424400 | c 11 > 5.321930 | c 12 > 11.396100 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.76 c choco : 29.18 7.54/7.76 c mistral : 4.83 7.54/7.76 c abscon : 6.89095 7.54/7.76 c 7.54/7.76 c 7.54/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-19_ext.xml 7.54/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.001700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.485300 | c 14 > 13.309900 | c 11 > 5.321930 | c 12 > 11.640400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.77 c choco : 36.05 7.54/7.77 c mistral : 5.88 7.54/7.77 c abscon : 8.30274 7.54/7.77 c 7.54/7.77 c 7.54/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml 7.54/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.234000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.439000 | c 14 > 13.635600 | c 11 > 5.321930 | c 12 > 11.956000 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.77 c choco : 37.72 7.54/7.77 c mistral : 7.42687 7.54/7.77 c abscon : 4.5723 7.54/7.77 c 7.54/7.77 c 7.54/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-33_ext.xml 7.54/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.028300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.456000 | c 14 > 13.353600 | c 11 > 5.321930 | c 12 > 11.422200 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.78 c choco : 66.83 7.54/7.78 c mistral : 6.4 7.54/7.78 c abscon : 3.10753 7.54/7.78 c 7.54/7.78 c 7.54/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-31_ext.xml 7.54/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.043900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.413200 | c 14 > 13.456200 | c 11 > 5.321930 | c 12 > 11.886800 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.78 c choco : 18.16 7.54/7.78 c mistral : 1.89971 7.54/7.78 c abscon : 12.2961 7.54/7.78 c 7.54/7.78 c 7.54/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-77_ext.xml 7.54/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.974500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.301700 | c 14 > 13.385100 | c 11 > 5.321930 | c 12 > 11.721800 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.79 c choco : 17.86 7.54/7.79 c mistral : 3.27 7.54/7.79 c abscon : 1.18482 7.54/7.79 c 7.54/7.79 c 7.54/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-41_ext.xml 7.54/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.017700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.651400 | c 14 > 13.344300 | c 11 > 5.321930 | c 12 > 11.676700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.80 c choco : 44.86 7.61/7.80 c mistral : 7.36 7.61/7.80 c abscon : 9.11261 7.61/7.80 c 7.61/7.80 c 7.61/7.80 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-37_ext.xml 7.61/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.075700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.067300 | c 14 > 13.519900 | c 11 > 5.321930 | c 12 > 11.702400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.81 c choco : 26.75 7.61/7.81 c mistral : 9.51 7.61/7.81 c abscon : 8.14576 7.61/7.81 c 7.61/7.81 c 7.61/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-63_ext.xml 7.61/7.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.994100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.137800 | c 14 > 13.378600 | c 11 > 5.321930 | c 12 > 11.601400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.82 c choco : 101.4 7.61/7.82 c mistral : 19.28 7.61/7.82 c abscon : 22.4766 7.61/7.82 c 7.61/7.82 c 7.61/7.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-1_ext.xml 7.61/7.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.998800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.251200 | c 14 > 13.368200 | c 11 > 5.321930 | c 12 > 11.379900 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.83 c choco : 67.45 7.61/7.83 c mistral : 10.59 7.61/7.83 c abscon : 19.2171 7.61/7.83 c 7.61/7.83 c 7.61/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-17_ext.xml 7.61/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.926400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.379200 | c 14 > 13.300600 | c 11 > 5.321930 | c 12 > 11.514100 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.83 c choco : 32.57 7.61/7.83 c mistral : 4.99 7.61/7.83 c abscon : 9.98948 7.61/7.83 c 7.61/7.83 c 7.61/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-35_ext.xml 7.61/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.949500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.196600 | c 14 > 13.342100 | c 11 > 5.321930 | c 12 > 11.636800 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.84 c choco : 1801.0 7.61/7.84 c mistral : 23.22 7.61/7.84 c abscon : 31.3442 7.61/7.84 c 7.61/7.84 c 7.61/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml 7.61/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.267000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.534600 | c 14 > 13.735500 | c 11 > 5.321930 | c 12 > 12.002200 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.84 c choco : 1801.0 7.61/7.84 c mistral : 29.78 7.61/7.84 c abscon : 45.5191 7.61/7.84 c 7.61/7.84 c 7.61/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-59_ext.xml 7.61/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.877500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.299800 | c 14 > 13.269100 | c 11 > 5.321930 | c 12 > 11.618800 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.85 c choco : 51.33 7.61/7.85 c mistral : 7.51 7.61/7.85 c abscon : 11.3503 7.61/7.85 c 7.61/7.85 c 7.61/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-51_ext.xml 7.61/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.879400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.352500 | c 14 > 13.292500 | c 11 > 5.321930 | c 12 > 11.418100 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.86 c choco : 32.35 7.61/7.86 c mistral : 1.92871 7.61/7.86 c abscon : 2.44963 7.61/7.86 c 7.61/7.86 c 7.61/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-5_ext.xml 7.61/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.959500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.066300 | c 14 > 13.358700 | c 11 > 5.321930 | c 12 > 11.411900 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.86 c choco : 69.67 7.61/7.86 c mistral : 2.65 7.61/7.86 c abscon : 3.80042 7.61/7.86 c 7.61/7.86 c 7.61/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-23_ext.xml 7.61/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.959000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.031600 | c 14 > 13.302500 | c 11 > 5.321930 | c 12 > 11.460500 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.87 c choco : 78.96 7.61/7.87 c mistral : 2.81357 7.61/7.87 c abscon : 3.06453 7.61/7.87 c 7.61/7.87 c 7.61/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-11_ext.xml 7.61/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.881300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.142900 | c 14 > 13.211600 | c 11 > 5.321930 | c 12 > 11.442000 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.87 c choco : 101.93 7.61/7.87 c mistral : 16.51 7.61/7.87 c abscon : 21.4507 7.61/7.87 c 7.61/7.87 c 7.61/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-27_ext.xml 7.61/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.865500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.149000 | c 14 > 13.259700 | c 11 > 5.321930 | c 12 > 11.328300 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.88 c choco : 114.14 7.61/7.88 c mistral : 19.46 7.61/7.88 c abscon : 25.1922 7.61/7.88 c 7.61/7.88 c 7.61/7.88 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-23_ext.xml 7.61/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.821200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.156000 | c 14 > 12.858800 | c 11 > 5.321930 | c 12 > 11.050600 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.88 c choco : 65.95 7.61/7.88 c mistral : 6.46 7.61/7.88 c abscon : 25.4031 7.61/7.88 c 7.61/7.88 c 7.61/7.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-45_ext.xml 7.61/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.932500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.540600 | c 14 > 13.134300 | c 11 > 5.321930 | c 12 > 11.164700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.89 c choco : 16.17 7.61/7.89 c mistral : 2.7 7.61/7.89 c abscon : 4.42833 7.61/7.89 c 7.61/7.89 c 7.61/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-55_ext.xml 7.61/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.859800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.027700 | c 14 > 13.194900 | c 11 > 5.321930 | c 12 > 11.438400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.90 c choco : 76.27 7.68/7.90 c mistral : 12.64 7.68/7.90 c abscon : 15.4846 7.68/7.90 c 7.68/7.90 c 7.68/7.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-3_ext.xml 7.68/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.835400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.281800 | c 14 > 13.140500 | c 11 > 5.321930 | c 12 > 11.183900 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.91 c choco : 63.81 7.68/7.91 c mistral : 10.36 7.68/7.91 c abscon : 12.7161 7.68/7.91 c 7.68/7.91 c 7.68/7.91 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-49_ext.xml 7.68/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.878800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.742350 | c 14 > 12.938500 | c 11 > 5.321930 | c 12 > 11.135900 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.442940 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.91 c choco : 32.14 7.68/7.91 c mistral : 2.98854 7.68/7.91 c abscon : 14.2088 7.68/7.91 c 7.68/7.91 c 7.68/7.91 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-19_ext.xml 7.68/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.692500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.179600 | c 14 > 12.720000 | c 11 > 5.321930 | c 12 > 11.246400 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.388020 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.92 c choco : 1801.0 7.68/7.92 c mistral : 73.92 7.68/7.92 c abscon : 2.17767 7.68/7.92 c 7.68/7.92 c 7.68/7.92 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml 7.68/7.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.814500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.956240 | c 14 > 12.898800 | c 11 > 5.321930 | c 12 > 11.009500 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.409390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.92 c choco : 383.01 7.68/7.92 c mistral : 136.456 7.68/7.92 c abscon : 83.8203 7.68/7.92 c 7.68/7.92 c 7.68/7.92 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml 7.68/7.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.733100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.911780 | c 14 > 12.824800 | c 11 > 5.321930 | c 12 > 11.179700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.93 c choco : 1056.91 7.68/7.93 c mistral : 387.366 7.68/7.93 c abscon : 379.2 7.68/7.93 c 7.68/7.93 c 7.68/7.94 c Length: 40 7.68/7.94 c 0.769028695758489 0.8005891296414167 0.8063742583317017 0.8085205838443452 0.8160840788178637 0.8199953746820772 0.8218860593172269 0.8225152548737321 0.8233252725988687 0.8237723984815223 0.8246195998762104 0.8382369918465784 0.8530049322835123 0.8559196717566432 0.8575442172273109 0.8582820366872413 0.864481581353819 0.8713549015757011 0.8782175838025572 0.8782454466150109 0.8975665348596727 0.8988728967434723 0.9036262637285406 0.9061390315508986 0.9075351973890602 0.9112010231008305 0.9380448467424144 0.9535003641845139 0.966122691225086 0.9724526901088824 0.9933473886309874 1.0218337558037514 1.042087499973011 1.0429275068287347 1.0462713101772414 1.0862295496348837 1.1092159269051287 1.1094247988935537 1.1159418282778029 1.137883049350855 7.68/7.94 c 7.68/7.94 c 1.0 0.9211806484922211 0.908061126831967 0.9032882293135542 0.8868615497242465 0.878599033930842 0.8746599598516761 0.8733569078772333 0.8716850822356647 0.8707649813145679 0.8690269166449442 0.8420127894067815 0.8145526420747022 0.8093431345171999 0.8064684049053732 0.8051695223716924 0.7944187005089033 0.7828301618695094 0.771592026549118 0.7715470568286592 0.7415764843330026 0.7396338934749326 0.7326506023607176 0.7290120463561834 0.7270059362981193 0.7217907936190391 0.6857679505644798 0.6666130615850674 0.6517456128384909 0.6445366226388486 0.6218326267362091 0.5933383224007205 0.5746172190215977 0.5738662582641374 0.5708962769594957 0.5376452938142906 0.5202154027794282 0.5200622010090843 0.5153270590651198 0.5 7.68/7.95 c 7.68/7.95 c solver 0 7.68/7.95 c before 0.0 seconds: {} 0 7.68/7.95 c before 18.0 seconds: {0, 1, 4, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 23, 26, 27, 28, 29, 33, 34, 35, 36, 37} 19463 7.68/7.95 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 27011 7.68/7.95 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} 28608 7.68/7.95 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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 29123 7.68/7.95 c before 396.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} 29623 7.68/7.95 c 7.68/7.95 c solver 1 7.68/7.95 c before 0.0 seconds: {} 0 7.68/7.95 c before 18.0 seconds: {0, 1, 3, 4, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36} 21776 7.68/7.95 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36} 28088 7.68/7.95 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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 28608 7.68/7.95 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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 29123 7.68/7.95 c before 396.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} 29623 7.68/7.95 c 7.68/7.95 c solver 2 7.68/7.95 c before 0.0 seconds: {} 0 7.68/7.95 c before 18.0 seconds: {0, 11, 18, 33} 3187 7.68/7.95 c before 36.0 seconds: {0, 4, 11, 13, 17, 18, 20, 23, 27, 33, 36} 8323 7.68/7.95 c before 54.0 seconds: {0, 4, 7, 8, 11, 13, 14, 15, 17, 18, 19, 20, 23, 26, 27, 33, 36} 13137 7.68/7.95 c before 72.0 seconds: {0, 4, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 32, 33, 35, 36} 18114 7.68/7.95 c before 90.0 seconds: {0, 1, 3, 4, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 32, 33, 34, 35, 36} 21154 7.68/7.95 c before 108.0 seconds: {0, 1, 3, 4, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36} 22515 7.68/7.95 c before 126.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36} 23987 7.68/7.95 c before 396.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38} 24502 7.68/7.95 c before 1062.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 25002 7.68/7.95 c 7.68/7.95 cTotal time: 103 7.68/7.96 c run abscon for 396.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} 29623 7.68/7.96 c run mistral for 396.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} 29623 7.68/7.96 c run choco for 396.0 seconds {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38} 24502 7.68/7.96 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.68/7.96 c On Instance: HOME/instance-1101563-1215293739.xml 7.68/7.96 c Running for: 396 seconds 316.53/316.93 s SAT 316.53/316.93 v 9 0 5 0 17 8 5 12 2 9 11 11 12 10 0 4 12 17 13 5 18 1 10 0 6 5 11 10 3 4 6 3 11 10 18 5 3 2 13 5 316.53/316.93 d ASSIGNMENTS 1219535 316.53/316.93 d CHECKS 1838654129
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1101563-1215293739/watcher-1101563-1215293739 -o /tmp/evaluation-result-1101563-1215293739/solver-1101563-1215293739 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1101563-1215293739.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/73 6618 /proc/meminfo: memFree=1636008/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=18572 CPUtime=0 /proc/6618/stat : 6618 (runsolver) R 6616 6618 6134 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2008346400 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 221954764071 0 0 4096 24578 0 0 0 17 1 0 0 /proc/6618/statm: 4643 292 257 25 0 2626 0 [startup+0.0129771 s] /proc/loadavg: 2.00 2.00 2.00 4/73 6618 /proc/meminfo: memFree=1636008/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=0 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008346400 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102983 s] /proc/loadavg: 2.00 2.00 2.00 4/73 6618 /proc/meminfo: memFree=1636008/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=0 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008346400 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301998 s] /proc/loadavg: 2.00 2.00 2.00 4/73 6618 /proc/meminfo: memFree=1636008/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=0 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008346400 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702032 s] /proc/loadavg: 2.00 2.00 2.00 4/73 6618 /proc/meminfo: memFree=1636008/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=0 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008346400 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50111 s] /proc/loadavg: 2.00 2.00 2.00 3/75 6622 /proc/meminfo: memFree=1634072/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=0 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008346400 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 236 195 169 0 51 0 [pid=6622] ppid=6618 vsize=5912 CPUtime=1.47 /proc/6622/stat : 6622 (xsolve) R 6618 6618 6134 0 -1 4194304 846 0 0 0 146 1 0 0 25 0 1 0 2008346401 6053888 805 996147200 134512640 135239763 4294956176 18446744073709551615 135103080 0 0 4096 0 0 0 0 17 1 0 0 /proc/6622/statm: 1478 805 411 177 0 381 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 11272 [startup+3.10225 s] /proc/loadavg: 2.00 2.00 2.00 4/83 6634 /proc/meminfo: memFree=1629336/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=1.5 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 375 1443 0 0 0 0 149 1 18 0 1 0 2008346400 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 238 196 169 0 51 0 [pid=6626] ppid=6618 vsize=197000 CPUtime=1.52 /proc/6626/stat : 6626 (java) S 6618 6618 6134 0 -1 0 4995 0 1 0 146 6 0 0 18 0 9 0 2008346554 201728000 4196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6626/statm: 49250 4196 1679 9 0 43832 0 [pid=6626/tid=6627] ppid=6618 vsize=197000 CPUtime=1.2 /proc/6626/task/6627/stat : 6627 (java) R 6618 6618 6134 0 -1 64 2724 0 1 0 118 2 0 0 25 0 9 0 2008346555 201728000 4196 996147200 134512640 134550740 4294955968 18446744073709551615 4126440972 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6628] ppid=6618 vsize=197000 CPUtime=0.14 /proc/6626/task/6628/stat : 6628 (java) S 6618 6618 6134 0 -1 64 931 0 0 0 13 1 0 0 16 0 9 0 2008346556 201728000 4196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6629] ppid=6618 vsize=197000 CPUtime=0 /proc/6626/task/6629/stat : 6629 (java) S 6618 6618 6134 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2008346556 201728000 4196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6630] ppid=6618 vsize=197000 CPUtime=0 /proc/6626/task/6630/stat : 6630 (java) S 6618 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2008346556 201728000 4196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6631] ppid=6618 vsize=197000 CPUtime=0 /proc/6626/task/6631/stat : 6631 (java) S 6618 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2008346558 201728000 4196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6632] ppid=6618 vsize=197000 CPUtime=0.14 /proc/6626/task/6632/stat : 6632 (java) S 6618 6618 6134 0 -1 64 615 0 0 0 14 0 0 0 16 0 9 0 2008346558 201728000 4196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6633] ppid=6618 vsize=197000 CPUtime=0 /proc/6626/task/6633/stat : 6633 (java) S 6618 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2008346558 201728000 4196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6634] ppid=6618 vsize=197000 CPUtime=0 /proc/6626/task/6634/stat : 6634 (java) S 6618 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2008346558 201728000 4196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 202360 [startup+6.30254 s] /proc/loadavg: 2.00 2.00 2.00 3/83 6634 /proc/meminfo: memFree=1616472/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=1.5 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 375 1443 0 0 0 0 149 1 18 0 1 0 2008346400 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 238 196 169 0 51 0 [pid=6626] ppid=6618 vsize=197112 CPUtime=4.68 /proc/6626/stat : 6626 (java) S 6618 6618 6134 0 -1 0 9815 0 1 0 454 14 0 0 18 0 9 0 2008346554 201842688 8139 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6626/statm: 49278 8139 2541 9 0 43860 0 [pid=6626/tid=6627] ppid=6618 vsize=197112 CPUtime=3.73 /proc/6626/task/6627/stat : 6627 (java) R 6618 6618 6134 0 -1 64 3533 0 1 0 368 5 0 0 25 0 9 0 2008346555 201842688 8139 996147200 134512640 134550740 4294955968 18446744073709551615 4126460814 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6628] ppid=6618 vsize=197112 CPUtime=0.75 /proc/6626/task/6628/stat : 6628 (java) S 6618 6618 6134 0 -1 64 4927 0 0 0 68 7 0 0 16 0 9 0 2008346556 201842688 8139 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6629] ppid=6618 vsize=197112 CPUtime=0 /proc/6626/task/6629/stat : 6629 (java) S 6618 6618 6134 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2008346556 201842688 8139 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6630] ppid=6618 vsize=197112 CPUtime=0 /proc/6626/task/6630/stat : 6630 (java) S 6618 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2008346556 201842688 8139 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6631] ppid=6618 vsize=197112 CPUtime=0 /proc/6626/task/6631/stat : 6631 (java) S 6618 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2008346558 201842688 8139 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6632] ppid=6618 vsize=197112 CPUtime=0.17 /proc/6626/task/6632/stat : 6632 (java) S 6618 6618 6134 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 2008346558 201842688 8139 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6633] ppid=6618 vsize=197112 CPUtime=0 /proc/6626/task/6633/stat : 6633 (java) S 6618 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2008346558 201842688 8139 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6634] ppid=6618 vsize=197112 CPUtime=0 /proc/6626/task/6634/stat : 6634 (java) S 6618 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2008346558 201842688 8139 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 202472 [startup+12.7021 s] /proc/loadavg: 2.00 2.00 2.00 3/95 6646 /proc/meminfo: memFree=1575096/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=1.5 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 375 1443 0 0 0 0 149 1 18 0 1 0 2008346400 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 238 196 169 0 51 0 [pid=6626] ppid=6618 vsize=197436 CPUtime=6.23 /proc/6626/stat : 6626 (java) S 6618 6618 6134 0 -1 0 11453 0 1 0 602 21 0 0 18 0 10 0 2008346554 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6626/statm: 49359 9407 2544 9 0 43941 0 [pid=6636] ppid=6626 vsize=5356 CPUtime=0 /proc/6636/stat : 6636 (abscon) S 6626 6618 6134 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2008347197 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/6636/statm: 1339 237 196 169 0 50 0 [pid=6637] ppid=6636 vsize=655360 CPUtime=4.72 /proc/6637/stat : 6637 (java) S 6636 6618 6134 0 -1 0 11192 0 1 0 465 7 0 0 18 0 9 0 2008347197 671088640 10505 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6637/statm: 163840 10505 2612 9 0 158368 0 [pid=6637/tid=6639] ppid=6636 vsize=655360 CPUtime=4.42 /proc/6637/task/6639/stat : 6639 (java) R 6636 6618 6134 0 -1 64 8583 0 1 0 437 5 0 0 25 0 9 0 2008347198 671088640 10505 996147200 134512640 134550740 4294955808 18446744073709551615 4126846591 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6640] ppid=6636 vsize=655360 CPUtime=0.04 /proc/6637/task/6640/stat : 6640 (java) S 6636 6618 6134 0 -1 64 1534 0 0 0 4 0 0 0 16 0 9 0 2008347199 671088640 10505 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6641] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6641/stat : 6641 (java) S 6636 6618 6134 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2008347200 671088640 10505 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6642] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6642/stat : 6642 (java) S 6636 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2008347200 671088640 10505 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6643] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6643/stat : 6643 (java) S 6636 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2008347201 671088640 10505 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6644] ppid=6636 vsize=655360 CPUtime=0.22 /proc/6637/task/6644/stat : 6644 (java) S 6636 6618 6134 0 -1 64 530 0 0 0 22 0 0 0 16 0 9 0 2008347201 671088640 10505 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6645] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6645/stat : 6645 (java) S 6636 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2008347201 671088640 10505 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6646] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6646/stat : 6646 (java) S 6636 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2008347201 671088640 10505 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6638] ppid=6636 vsize=7044 CPUtime=0 /proc/6638/stat : 6638 (translate) S 6636 6618 6134 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2008347197 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221954932818 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/6638/statm: 1761 213 182 1 0 41 0 [pid=6626/tid=6627] ppid=6618 vsize=197436 CPUtime=5.02 /proc/6626/task/6627/stat : 6627 (java) S 6618 6618 6134 0 -1 64 3861 0 1 0 493 9 0 0 25 0 10 0 2008346555 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=6626/tid=6628] ppid=6618 vsize=197436 CPUtime=0.93 /proc/6626/task/6628/stat : 6628 (java) S 6618 6618 6134 0 -1 64 6102 0 0 0 84 9 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6629] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6629/stat : 6629 (java) S 6618 6618 6134 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6630] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6630/stat : 6630 (java) S 6618 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6631] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6631/stat : 6631 (java) S 6618 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6632] ppid=6618 vsize=197436 CPUtime=0.23 /proc/6626/task/6632/stat : 6632 (java) S 6618 6618 6134 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6633] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6633/stat : 6633 (java) S 6618 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6634] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6634/stat : 6634 (java) S 6618 6618 6134 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6635] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6635/stat : 6635 (java) S 6618 6618 6134 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2008347197 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 870556 [startup+25.5033 s] /proc/loadavg: 2.00 2.00 2.00 3/95 6646 /proc/meminfo: memFree=1574904/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=1.5 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 375 1443 0 0 0 0 149 1 18 0 1 0 2008346400 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 238 196 169 0 51 0 [pid=6626] ppid=6618 vsize=197436 CPUtime=6.23 /proc/6626/stat : 6626 (java) S 6618 6618 6134 0 -1 0 11453 0 1 0 602 21 0 0 18 0 10 0 2008346554 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6626/statm: 49359 9407 2544 9 0 43941 0 [pid=6636] ppid=6626 vsize=5356 CPUtime=0 /proc/6636/stat : 6636 (abscon) S 6626 6618 6134 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2008347197 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/6636/statm: 1339 237 196 169 0 50 0 [pid=6637] ppid=6636 vsize=655360 CPUtime=17.52 /proc/6637/stat : 6637 (java) S 6636 6618 6134 0 -1 0 11196 0 1 0 1745 7 0 0 18 0 9 0 2008347197 671088640 10508 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6637/statm: 163840 10508 2612 9 0 158368 0 [pid=6637/tid=6639] ppid=6636 vsize=655360 CPUtime=17.22 /proc/6637/task/6639/stat : 6639 (java) R 6636 6618 6134 0 -1 64 8586 0 1 0 1717 5 0 0 25 0 9 0 2008347198 671088640 10508 996147200 134512640 134550740 4294955808 18446744073709551615 4126861776 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6640] ppid=6636 vsize=655360 CPUtime=0.04 /proc/6637/task/6640/stat : 6640 (java) S 6636 6618 6134 0 -1 64 1534 0 0 0 4 0 0 0 16 0 9 0 2008347199 671088640 10508 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6641] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6641/stat : 6641 (java) S 6636 6618 6134 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2008347200 671088640 10508 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=6626/tid=6633] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6633/stat : 6633 (java) S 6618 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6634] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6634/stat : 6634 (java) S 6618 6618 6134 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6635] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6635/stat : 6635 (java) S 6618 6618 6134 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2008347197 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 314.75 Current children cumulated vsize (KiB) 870556 [startup+315.903 s] /proc/loadavg: 2.00 2.00 2.00 3/95 6646 /proc/meminfo: memFree=1558392/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=1.5 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 375 1443 0 0 0 0 149 1 18 0 1 0 2008346400 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 238 196 169 0 51 0 [pid=6626] ppid=6618 vsize=197436 CPUtime=6.23 /proc/6626/stat : 6626 (java) S 6618 6618 6134 0 -1 0 11453 0 1 0 602 21 0 0 18 0 10 0 2008346554 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6626/statm: 49359 9407 2544 9 0 43941 0 [pid=6636] ppid=6626 vsize=5356 CPUtime=0 /proc/6636/stat : 6636 (abscon) S 6626 6618 6134 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2008347197 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/6636/statm: 1339 237 196 169 0 50 0 [pid=6637] ppid=6636 vsize=655360 CPUtime=307.82 /proc/6637/stat : 6637 (java) S 6636 6618 6134 0 -1 0 11204 0 1 0 30774 8 0 0 18 0 9 0 2008347197 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6637/statm: 163840 10516 2612 9 0 158368 0 [pid=6637/tid=6639] ppid=6636 vsize=655360 CPUtime=307.52 /proc/6637/task/6639/stat : 6639 (java) R 6636 6618 6134 0 -1 64 8594 0 1 0 30746 6 0 0 25 0 9 0 2008347198 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4126848843 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6640] ppid=6636 vsize=655360 CPUtime=0.04 /proc/6637/task/6640/stat : 6640 (java) S 6636 6618 6134 0 -1 64 1534 0 0 0 4 0 0 0 16 0 9 0 2008347199 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6641] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6641/stat : 6641 (java) S 6636 6618 6134 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2008347200 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6642] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6642/stat : 6642 (java) S 6636 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2008347200 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6643] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6643/stat : 6643 (java) S 6636 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2008347201 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6644] ppid=6636 vsize=655360 CPUtime=0.22 /proc/6637/task/6644/stat : 6644 (java) S 6636 6618 6134 0 -1 64 531 0 0 0 22 0 0 0 16 0 9 0 2008347201 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6645] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6645/stat : 6645 (java) S 6636 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2008347201 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6646] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6646/stat : 6646 (java) S 6636 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2008347201 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6638] ppid=6636 vsize=7044 CPUtime=0 /proc/6638/stat : 6638 (translate) S 6636 6618 6134 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2008347197 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221954932818 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/6638/statm: 1761 213 182 1 0 41 0 [pid=6626/tid=6627] ppid=6618 vsize=197436 CPUtime=5.02 /proc/6626/task/6627/stat : 6627 (java) S 6618 6618 6134 0 -1 64 3861 0 1 0 493 9 0 0 25 0 10 0 2008346555 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=6626/tid=6628] ppid=6618 vsize=197436 CPUtime=0.93 /proc/6626/task/6628/stat : 6628 (java) S 6618 6618 6134 0 -1 64 6102 0 0 0 84 9 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6629] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6629/stat : 6629 (java) S 6618 6618 6134 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6630] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6630/stat : 6630 (java) S 6618 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6631] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6631/stat : 6631 (java) S 6618 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6632] ppid=6618 vsize=197436 CPUtime=0.23 /proc/6626/task/6632/stat : 6632 (java) S 6618 6618 6134 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6633] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6633/stat : 6633 (java) S 6618 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6634] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6634/stat : 6634 (java) S 6618 6618 6134 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6635] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6635/stat : 6635 (java) S 6618 6618 6134 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2008347197 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 315.55 Current children cumulated vsize (KiB) 870556 [startup+316.703 s] /proc/loadavg: 2.00 2.00 2.00 3/95 6646 /proc/meminfo: memFree=1558136/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=1.5 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 375 1443 0 0 0 0 149 1 18 0 1 0 2008346400 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 238 196 169 0 51 0 [pid=6626] ppid=6618 vsize=197436 CPUtime=6.23 /proc/6626/stat : 6626 (java) S 6618 6618 6134 0 -1 0 11453 0 1 0 602 21 0 0 18 0 10 0 2008346554 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6626/statm: 49359 9407 2544 9 0 43941 0 [pid=6636] ppid=6626 vsize=5356 CPUtime=0 /proc/6636/stat : 6636 (abscon) S 6626 6618 6134 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2008347197 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/6636/statm: 1339 237 196 169 0 50 0 [pid=6637] ppid=6636 vsize=655360 CPUtime=308.62 /proc/6637/stat : 6637 (java) S 6636 6618 6134 0 -1 0 11204 0 1 0 30854 8 0 0 18 0 9 0 2008347197 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6637/statm: 163840 10516 2612 9 0 158368 0 [pid=6637/tid=6639] ppid=6636 vsize=655360 CPUtime=308.32 /proc/6637/task/6639/stat : 6639 (java) R 6636 6618 6134 0 -1 64 8594 0 1 0 30826 6 0 0 25 0 9 0 2008347198 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4126835296 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6640] ppid=6636 vsize=655360 CPUtime=0.04 /proc/6637/task/6640/stat : 6640 (java) S 6636 6618 6134 0 -1 64 1534 0 0 0 4 0 0 0 16 0 9 0 2008347199 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6641] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6641/stat : 6641 (java) S 6636 6618 6134 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2008347200 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6642] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6642/stat : 6642 (java) S 6636 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2008347200 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6643] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6643/stat : 6643 (java) S 6636 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2008347201 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6644] ppid=6636 vsize=655360 CPUtime=0.22 /proc/6637/task/6644/stat : 6644 (java) S 6636 6618 6134 0 -1 64 531 0 0 0 22 0 0 0 16 0 9 0 2008347201 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6645] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6645/stat : 6645 (java) S 6636 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2008347201 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6646] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6646/stat : 6646 (java) S 6636 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2008347201 671088640 10516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6638] ppid=6636 vsize=7044 CPUtime=0 /proc/6638/stat : 6638 (translate) S 6636 6618 6134 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2008347197 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221954932818 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/6638/statm: 1761 213 182 1 0 41 0 [pid=6626/tid=6627] ppid=6618 vsize=197436 CPUtime=5.02 /proc/6626/task/6627/stat : 6627 (java) S 6618 6618 6134 0 -1 64 3861 0 1 0 493 9 0 0 25 0 10 0 2008346555 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=6626/tid=6628] ppid=6618 vsize=197436 CPUtime=0.93 /proc/6626/task/6628/stat : 6628 (java) S 6618 6618 6134 0 -1 64 6102 0 0 0 84 9 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6629] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6629/stat : 6629 (java) S 6618 6618 6134 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6630] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6630/stat : 6630 (java) S 6618 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6631] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6631/stat : 6631 (java) S 6618 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6632] ppid=6618 vsize=197436 CPUtime=0.23 /proc/6626/task/6632/stat : 6632 (java) S 6618 6618 6134 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6633] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6633/stat : 6633 (java) S 6618 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6634] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6634/stat : 6634 (java) S 6618 6618 6134 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6635] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6635/stat : 6635 (java) S 6618 6618 6134 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2008347197 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 316.35 Current children cumulated vsize (KiB) 870556 [startup+316.903 s] /proc/loadavg: 2.00 2.00 2.00 3/95 6646 /proc/meminfo: memFree=1558136/2055920 swapFree=4179776/4192956 [pid=6618] ppid=6616 vsize=5360 CPUtime=1.5 /proc/6618/stat : 6618 (hydra) S 6616 6618 6134 0 -1 4194304 375 1443 0 0 0 0 149 1 18 0 1 0 2008346400 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6618/statm: 1340 238 196 169 0 51 0 [pid=6626] ppid=6618 vsize=197436 CPUtime=6.23 /proc/6626/stat : 6626 (java) S 6618 6618 6134 0 -1 0 11455 0 1 0 602 21 0 0 18 0 10 0 2008346554 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6626/statm: 49359 9407 2544 9 0 43941 0 [pid=6636] ppid=6626 vsize=5356 CPUtime=0 /proc/6636/stat : 6636 (abscon) S 6626 6618 6134 0 -1 4194304 304 288 0 0 0 0 0 0 16 0 1 0 2008347197 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/6636/statm: 1339 237 196 169 0 50 0 [pid=6637] ppid=6636 vsize=655360 CPUtime=308.8 /proc/6637/stat : 6637 (java) S 6636 6618 6134 0 -1 0 11302 0 1 0 30872 8 0 0 18 0 9 0 2008347197 671088640 10613 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6637/statm: 163840 10613 2612 9 0 158368 0 [pid=6637/tid=6639] ppid=6636 vsize=655360 CPUtime=308.5 /proc/6637/task/6639/stat : 6639 (java) S 6636 6618 6134 0 -1 64 8691 0 1 0 30844 6 0 0 25 0 9 0 2008347198 671088640 10613 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6640] ppid=6636 vsize=655360 CPUtime=0.04 /proc/6637/task/6640/stat : 6640 (java) S 6636 6618 6134 0 -1 64 1534 0 0 0 4 0 0 0 16 0 9 0 2008347199 671088640 10613 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6641] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6641/stat : 6641 (java) S 6636 6618 6134 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2008347200 671088640 10613 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6642] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6642/stat : 6642 (java) S 6636 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2008347200 671088640 10613 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6643] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6643/stat : 6643 (java) S 6636 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2008347201 671088640 10613 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6644] ppid=6636 vsize=655360 CPUtime=0.22 /proc/6637/task/6644/stat : 6644 (java) S 6636 6618 6134 0 -1 64 532 0 0 0 22 0 0 0 16 0 9 0 2008347201 671088640 10613 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6645] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6645/stat : 6645 (java) S 6636 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2008347201 671088640 10613 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6637/tid=6646] ppid=6636 vsize=655360 CPUtime=0 /proc/6637/task/6646/stat : 6646 (java) S 6636 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2008347201 671088640 10613 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6626/tid=6627] ppid=6618 vsize=197436 CPUtime=5.02 /proc/6626/task/6627/stat : 6627 (java) S 6618 6618 6134 0 -1 64 3863 0 1 0 493 9 0 0 16 0 10 0 2008346555 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=6626/tid=6628] ppid=6618 vsize=197436 CPUtime=0.93 /proc/6626/task/6628/stat : 6628 (java) S 6618 6618 6134 0 -1 64 6102 0 0 0 84 9 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6629] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6629/stat : 6629 (java) S 6618 6618 6134 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6630] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6630/stat : 6630 (java) S 6618 6618 6134 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2008346556 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6631] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6631/stat : 6631 (java) S 6618 6618 6134 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6632] ppid=6618 vsize=197436 CPUtime=0.23 /proc/6626/task/6632/stat : 6632 (java) S 6618 6618 6134 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6633] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6633/stat : 6633 (java) S 6618 6618 6134 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6634] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6634/stat : 6634 (java) S 6618 6618 6134 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2008346558 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6626/tid=6635] ppid=6618 vsize=197436 CPUtime=0 /proc/6626/task/6635/stat : 6635 (java) S 6618 6618 6134 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2008347197 202174464 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 316.53 Current children cumulated vsize (KiB) 863512 Child status: 0 Real time (s): 316.989 CPU time (s): 316.589 CPU user time (s): 316.25 CPU system time (s): 0.338948 CPU usage (%): 99.8739 Max. virtual memory (cumulated for all children) (KiB): 870556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 316.25 system time used= 0.338948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25317 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22841 involuntary context switches= 22506 runsolver used 1.55276 second user time and 3.09253 second system time The end
Begin job on node43 at 2008-07-05 23:35:39 IDJOB=1101563 IDBENCH=60050 IDSOLVER=366 FILE ID=node43/1101563-1215293739 PBS_JOBID= 7882357 Free space on /tmp= 66508 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-41_ext.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1101563-1215293739/watcher-1101563-1215293739 -o /tmp/evaluation-result-1101563-1215293739/solver-1101563-1215293739 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1101563-1215293739.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 1fc04d1398e0254b5b3bf41ada6a47d9 RANDOM SEED=2145162870 node43.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.230 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.230 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: 1636424 kB Buffers: 53528 kB Cached: 203564 kB SwapCached: 6816 kB Active: 281880 kB Inactive: 82828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1636424 kB SwapTotal: 4192956 kB SwapFree: 4179776 kB Dirty: 24488 kB Writeback: 0 kB Mapped: 114316 kB Slab: 39960 kB Committed_AS: 3879908 kB PageTables: 2064 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= 66484 MiB End job on node43 at 2008-07-05 23:40:56