Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.02 | 1803.63 |
Name | csp/golombRulerArity4/ normalized-ruler-67-12-a4.xml |
MD5SUM | 392a4a957087c54a1fc308e1f7b31eeb |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 427.269 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 12 |
Number of constraints | 1991 |
Maximum constraint arity | 4 |
Maximum domain size | 68 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1991 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.28/7.42 c CASE TO CLASSIFY: 7.28/7.42 c Case: 0 7.28/7.42 c 19 > 0.000000 | c 35 > 7.292820 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.161100 | c 34 > 6.961330 | c 16 > 4.000000 | c 13 > 5.418250 | c 14 > 6.870360 | c 11 > 11.915100 | c 12 > 2.249150 | c 21 > 8.246210 | c 20 > 100.000000 | c 22 > 8.246210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 3.584960 | c 10 > 12.512000 | 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 > 18.989700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.910600 | c 7.28/7.43 c choco : 1801.0 7.28/7.43 c mistral : 1801.0 7.28/7.43 c abscon : 1801.0 7.28/7.43 c 7.28/7.43 c 7.38/7.51 c List of same ones: 40 7.38/7.51 c /home/eomahony/cpZilla/CSP/zhou/queens1.xml 7.38/7.51 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.671100 | c 34 > 16.666700 | c 16 > 2.000000 | c 13 > 4.844620 | c 14 > 5.672430 | c 11 > 13.169900 | c 12 > 2.306820 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.569860 | c 2 > -1.000000 | c 10 > 14.476700 | 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 > 19.754900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > 13.154800 | c 7.38/7.52 c choco : 22.46 7.38/7.52 c mistral : 1.11783 7.38/7.52 c abscon : 3.40848 7.38/7.52 c 7.38/7.52 c 7.38/7.52 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-80.xml 7.38/7.52 c 19 > 0.000000 | c 35 > 20.125000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.037700 | c 34 > 10.375000 | c 16 > 3.000000 | c 13 > 7.676200 | c 14 > 6.954200 | c 11 > 7.894820 | c 12 > 7.527940 | c 21 > 8.916450 | c 20 > 100.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 12.661800 | 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 > 14.940500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.303780 | c 7.38/7.53 c choco : 5.54 7.38/7.53 c mistral : 1800.04 7.38/7.53 c abscon : 78.831 7.38/7.53 c 7.38/7.53 c 7.38/7.53 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-70.xml 7.38/7.53 c 19 > 0.000000 | c 35 > 20.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.073400 | c 34 > 10.428600 | c 16 > 3.000000 | c 13 > 7.768240 | c 14 > 9.493860 | c 11 > 8.113740 | c 12 > 7.355010 | c 21 > 8.336880 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.118940 | c 2 > -1.000000 | c 10 > 12.279000 | 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 > 14.551500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.108520 | c 7.38/7.54 c choco : 4.77 7.38/7.54 c mistral : 1800.06 7.38/7.54 c abscon : 41.2627 7.38/7.54 c 7.38/7.54 c 7.38/7.54 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-100.xml 7.38/7.54 c 19 > 0.000000 | c 35 > 20.100000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.449100 | c 34 > 10.300000 | c 16 > 3.000000 | c 13 > 7.251880 | c 14 > 5.523560 | c 11 > 8.219170 | c 12 > 7.283660 | c 21 > 9.975090 | c 20 > 100.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.636620 | c 2 > -1.000000 | c 10 > 13.302100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.589400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.629360 | c 7.38/7.54 c choco : 7.48 7.38/7.54 c mistral : 1800.02 7.38/7.55 c abscon : 233.382 7.38/7.55 c 7.38/7.55 c 7.38/7.55 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-90.xml 7.38/7.55 c 19 > 0.000000 | c 35 > 20.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.782800 | c 34 > 10.333300 | c 16 > 3.000000 | c 13 > 7.694210 | c 14 > 6.066090 | c 11 > 8.066090 | c 12 > 7.577090 | c 21 > 9.460590 | c 20 > 100.000000 | c 22 > 9.486830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.483820 | c 2 > -1.000000 | c 10 > 12.999600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.283100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.475730 | c 7.38/7.56 c choco : 6.42 7.38/7.56 c mistral : 1800.02 7.38/7.56 c abscon : 133.526 7.38/7.56 c 7.38/7.56 c 7.38/7.56 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml 7.38/7.56 c 19 > 0.000000 | c 35 > 20.166700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.987900 | c 34 > 10.500000 | c 16 > 3.000000 | c 13 > 8.556550 | c 14 > 10.303800 | c 11 > 7.888740 | c 12 > 8.578890 | c 21 > 7.713900 | c 20 > 100.000000 | c 22 > 7.745970 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.894820 | c 2 > -1.000000 | c 10 > 11.837600 | 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 > 14.101900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.882640 | c 7.38/7.57 c choco : 4.06 7.38/7.57 c mistral : 1800.09 7.38/7.57 c abscon : 19.4 7.38/7.57 c 7.38/7.57 c 7.38/7.57 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-2-7.xml 7.38/7.57 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 16.091000 | c 34 > 6.000000 | c 16 > 9.000000 | c 13 > 3.616460 | c 14 > 8.614710 | c 11 > 6.643860 | c 12 > 2.392320 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.137900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.57 c choco : 1.66 7.38/7.57 c mistral : 0.021995 7.38/7.57 c abscon : 1800.1 7.38/7.57 c 7.38/7.57 c 7.38/7.57 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-5.xml 7.38/7.57 c 19 > 0.000000 | c 35 > 2.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.500000 | c 15 > 21.335300 | c 34 > 4.500000 | c 16 > 8.000000 | c 13 > 5.816180 | c 14 > 9.499850 | c 11 > 6.643860 | c 12 > 4.890450 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.704700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.58 c choco : 48.39 7.38/7.58 c mistral : 0.036993 7.38/7.58 c abscon : 1800.07 7.38/7.58 c 7.38/7.58 c 7.38/7.58 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-5.xml 7.38/7.58 c 19 > 0.000000 | c 35 > 2.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.500000 | c 15 > 20.970000 | c 34 > 4.500000 | c 16 > 8.000000 | c 13 > 4.691640 | c 14 > 8.894820 | c 11 > 6.643860 | c 12 > 3.825790 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.624300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.59 c choco : 23.56 7.38/7.59 c mistral : 0.037993 7.38/7.59 c abscon : 1800.09 7.38/7.59 c 7.38/7.59 c 7.38/7.59 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-3-5.xml 7.38/7.59 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 14.069400 | c 34 > 6.000000 | c 16 > 8.000000 | c 13 > 3.355950 | c 14 > 8.219170 | c 11 > 6.643860 | c 12 > 1.815580 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.643860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.491850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.588700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.60 c choco : 1.61 7.45/7.60 c mistral : 0.020996 7.45/7.60 c abscon : 1800.05 7.45/7.60 c 7.45/7.60 c 7.45/7.60 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-3-5.xml 7.45/7.60 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 13.880800 | c 34 > 6.000000 | c 16 > 8.000000 | c 13 > 2.576490 | c 14 > 8.330920 | c 11 > 6.643860 | c 12 > 1.575310 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.643860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.491850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.842700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.80 c choco : 1.51 7.65/7.80 c mistral : 0.019996 7.65/7.81 c abscon : 232.067 7.65/7.81 c 7.65/7.81 c 7.65/7.81 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-3-7.xml 7.65/7.81 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 15.870400 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 3.723660 | c 14 > 8.962900 | c 11 > 6.643860 | c 12 > 2.620590 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.385400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.82 c choco : 1.77 7.65/7.82 c mistral : 0.022995 7.65/7.82 c abscon : 61.2477 7.65/7.82 c 7.65/7.82 c 7.65/7.82 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml 7.65/7.82 c 19 > 0.000000 | c 35 > 20.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.610900 | c 34 > 10.600000 | c 16 > 3.000000 | c 13 > 9.356060 | c 14 > 11.174900 | c 11 > 7.622050 | c 12 > 9.409190 | c 21 > 7.035980 | c 20 > 100.000000 | c 22 > 7.071070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.629360 | c 2 > -1.000000 | c 10 > 11.316300 | 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 > 13.569000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.614710 | c 7.65/7.83 c choco : 3.47 7.65/7.83 c mistral : 25.06 7.65/7.83 c abscon : 7.93379 7.65/7.83 c 7.65/7.83 c 7.65/7.83 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-3-5.xml 7.65/7.83 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 14.189500 | c 34 > 6.000000 | c 16 > 8.000000 | c 13 > 3.354300 | c 14 > 8.475730 | c 11 > 6.643860 | c 12 > 2.292780 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.643860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.491850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.972200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.83 c choco : 1.55 7.65/7.83 c mistral : 0.020996 7.65/7.83 c abscon : 106.887 7.65/7.83 c 7.65/7.83 c 7.65/7.83 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml 7.65/7.83 c 19 > 0.000000 | c 35 > 20.222200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.700700 | c 34 > 10.666700 | c 16 > 3.000000 | c 13 > 9.470560 | c 14 > 11.063400 | c 11 > 7.467610 | c 12 > 9.504530 | c 21 > 6.671250 | c 20 > 100.000000 | c 22 > 6.708200 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.475730 | c 2 > -1.000000 | c 10 > 11.015400 | 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 > 13.260500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.459430 | c 7.65/7.84 c choco : 3.28 7.65/7.84 c mistral : 1800.02 7.65/7.84 c abscon : 5.34119 7.65/7.84 c 7.65/7.84 c 7.65/7.84 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-2-7.xml 7.65/7.84 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 14.015200 | c 34 > 6.000000 | c 16 > 9.000000 | c 13 > 3.179720 | c 14 > 8.710810 | c 11 > 6.643860 | c 12 > 2.277980 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.117900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.85 c choco : 1.48 7.65/7.85 c mistral : 0.020996 7.65/7.85 c abscon : 1800.07 7.65/7.85 c 7.65/7.85 c 7.65/7.85 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-3-3.xml 7.65/7.85 c 19 > 0.000000 | c 35 > 4.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.000000 | c 15 > 14.994200 | c 34 > 9.000000 | c 16 > 6.000000 | c 13 > 3.623480 | c 14 > 8.921840 | c 11 > 6.643860 | c 12 > 2.397800 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.375040 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.189820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.391700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.86 c choco : 1.49 7.65/7.86 c mistral : 0.016997 7.65/7.86 c abscon : 1800.12 7.65/7.86 c 7.65/7.86 c 7.65/7.86 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-3-3.xml 7.65/7.86 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 20.287100 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 8.283490 | c 14 > 11.358100 | c 11 > 6.643860 | c 12 > 6.670870 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.707200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.86 c choco : 2.39 7.65/7.86 c mistral : 0.030994 7.65/7.86 c abscon : 29.2126 7.65/7.86 c 7.65/7.86 c 7.65/7.86 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml 7.65/7.86 c 19 > 0.000000 | c 35 > 20.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.533600 | c 34 > 10.750000 | c 16 > 3.000000 | c 13 > 9.269850 | c 14 > 11.296900 | c 11 > 7.294620 | c 12 > 9.328520 | c 21 > 6.285410 | c 20 > 100.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.303780 | c 2 > -1.000000 | c 10 > 10.679500 | 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 > 12.914900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.285400 | c 7.65/7.87 c choco : 2.94 7.65/7.87 c mistral : 1800.01 7.65/7.87 c abscon : 3.38349 7.65/7.87 c 7.65/7.87 c 7.65/7.87 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-2-7.xml 7.65/7.87 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 14.259600 | c 34 > 6.000000 | c 16 > 9.000000 | c 13 > 2.600520 | c 14 > 8.330920 | c 11 > 6.643860 | c 12 > 1.835920 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.315800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.88 c choco : 1.56 7.65/7.88 c mistral : 0.020996 7.65/7.88 c abscon : 1800.13 7.65/7.88 c 7.65/7.88 c 7.65/7.88 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-3-3.xml 7.65/7.88 c 19 > 0.000000 | c 35 > 4.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.000000 | c 15 > 13.505100 | c 34 > 9.000000 | c 16 > 6.000000 | c 13 > 2.669170 | c 14 > 8.033420 | c 11 > 6.643860 | c 12 > 1.636910 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.375040 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.189820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.996000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.89 c choco : 1.46 7.65/7.89 c mistral : 0.018997 7.65/7.89 c abscon : 43.3554 7.65/7.89 c 7.65/7.89 c 7.65/7.89 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-3.xml 7.65/7.89 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 20.720500 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 5.964230 | c 14 > 9.871910 | c 11 > 6.643860 | c 12 > 4.590360 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.400880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.219170 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.079400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.89 c choco : 2.05 7.65/7.89 c mistral : 0.034994 7.65/7.89 c abscon : 10.5924 7.65/7.89 c 7.65/7.89 c 7.65/7.89 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-3-7.xml 7.65/7.89 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 14.773800 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 4.415290 | c 14 > 9.052570 | c 11 > 6.643860 | c 12 > 2.604070 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.839900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.90 c choco : 1.52 7.71/7.90 c mistral : 0.022995 7.71/7.90 c abscon : 1800.08 7.71/7.90 c 7.71/7.90 c 7.71/7.90 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-3-7.xml 7.71/7.90 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 15.737600 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 8.055940 | c 14 > 9.823370 | c 11 > 6.643860 | c 12 > 5.108940 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.425300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.91 c choco : 1.79 7.71/7.91 c mistral : 0.023995 7.71/7.91 c abscon : 1800.04 7.71/7.91 c 7.71/7.91 c 7.71/7.91 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-3-3.xml 7.71/7.91 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 21.759200 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 7.404920 | c 14 > 11.591500 | c 11 > 6.643860 | c 12 > 5.464670 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.185100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.91 c choco : 16.72 7.71/7.91 c mistral : 0.029994 7.71/7.91 c abscon : 12.0972 7.71/7.91 c 7.71/7.91 c 7.71/7.91 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-3-3.xml 7.71/7.91 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 21.778200 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 8.235810 | c 14 > 11.286600 | c 11 > 6.643860 | c 12 > 6.792860 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.608500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.92 c choco : 17.72 7.71/7.92 c mistral : 0.028994 7.71/7.92 c abscon : 53.3069 7.71/7.92 c 7.71/7.92 c 7.71/7.92 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-3-3.xml 7.71/7.92 c 19 > 0.000000 | c 35 > 4.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.000000 | c 15 > 14.374300 | c 34 > 9.000000 | c 16 > 6.000000 | c 13 > 8.117730 | c 14 > 9.774790 | c 11 > 6.643860 | c 12 > 5.059180 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.375040 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.189820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.035500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.92 c choco : 1.42 7.71/7.92 c mistral : 0.019996 7.71/7.92 c abscon : 13.063 7.71/7.92 c 7.71/7.92 c 7.71/7.92 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-80-3-3.xml 7.71/7.92 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 19.410300 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 5.259780 | c 14 > 8.379380 | c 11 > 6.643860 | c 12 > 3.606440 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.400880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.219170 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.628700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.93 c choco : 2.8 7.71/7.93 c mistral : 0.034993 7.71/7.93 c abscon : 6.04908 7.71/7.93 c 7.71/7.93 c 7.71/7.93 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-3.xml 7.71/7.93 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 21.243000 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 7.076170 | c 14 > 9.927780 | c 11 > 6.643860 | c 12 > 5.404970 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.400880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.219170 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.998200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.93 c choco : 17.78 7.71/7.93 c mistral : 0.031994 7.71/7.93 c abscon : 6.25605 7.71/7.93 c 7.71/7.93 c 7.71/7.93 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml 7.71/7.93 c 19 > 0.000000 | c 35 > 20.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.970600 | c 34 > 10.857100 | c 16 > 3.000000 | c 13 > 9.583130 | c 14 > 11.806500 | c 11 > 7.098030 | c 12 > 9.672770 | c 21 > 5.874290 | c 20 > 100.000000 | c 22 > 5.916080 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.108520 | c 2 > -1.000000 | c 10 > 10.299200 | 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 > 12.522300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.087460 | c 7.71/7.94 c choco : 2.63 7.71/7.94 c mistral : 1800.03 7.71/7.94 c abscon : 2.32365 7.71/7.94 c 7.71/7.94 c 7.71/7.94 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-7.xml 7.71/7.94 c 19 > 0.000000 | c 35 > 3.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.500000 | c 15 > 21.390300 | c 34 > 7.500000 | c 16 > 10.000000 | c 13 > 7.141140 | c 14 > 10.596200 | c 11 > 6.643860 | c 12 > 5.817370 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.948370 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.826550 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.253600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.95 c choco : 3.68 7.71/7.95 c mistral : 0.043992 7.71/7.95 c abscon : 18.5052 7.71/7.95 c 7.71/7.95 c 7.71/7.95 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-80-3-7.xml 7.71/7.95 c 19 > 0.000000 | c 35 > 3.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.500000 | c 15 > 21.026400 | c 34 > 7.500000 | c 16 > 10.000000 | c 13 > 6.250280 | c 14 > 9.629360 | c 11 > 6.643860 | c 12 > 4.682010 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.948370 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.826550 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.716500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.95 c choco : 1801.0 7.71/7.95 c mistral : 0.043992 7.71/7.95 c abscon : 101.677 7.71/7.95 c 7.71/7.95 c 7.71/7.95 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-3-3.xml 7.71/7.95 c 19 > 0.000000 | c 35 > 4.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.000000 | c 15 > 21.675200 | c 34 > 9.000000 | c 16 > 6.000000 | c 13 > 9.231910 | c 14 > 12.901200 | c 11 > 6.643860 | c 12 > 7.828520 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.199670 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.576200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.96 c choco : 1801.0 7.71/7.96 c mistral : 0.023996 7.71/7.96 c abscon : 1800.03 7.71/7.96 c 7.71/7.96 c 7.71/7.96 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-2-5.xml 7.71/7.96 c 19 > 0.000000 | c 35 > 6.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.000000 | c 15 > 17.776700 | c 34 > 12.000000 | c 16 > 7.000000 | c 13 > 7.536720 | c 14 > 9.722810 | c 11 > 6.643860 | c 12 > 5.109780 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.475730 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.303780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.421700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.96 c choco : 1.85 7.71/7.96 c mistral : 0.019996 7.71/7.96 c abscon : 130.547 7.71/7.96 c 7.71/7.96 c 7.71/7.96 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-30.xml 7.71/7.96 c 19 > 0.000000 | c 35 > 20.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.178300 | c 34 > 11.000000 | c 16 > 3.000000 | c 13 > 10.203700 | c 14 > 12.354500 | c 11 > 6.870360 | c 12 > 10.327600 | c 21 > 5.432170 | c 20 > 100.000000 | c 22 > 5.477230 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.882640 | c 2 > -1.000000 | c 10 > 9.861090 | 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 > 12.067800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.857980 | c 7.71/7.97 c choco : 2.42 7.71/7.97 c mistral : 1.26 7.71/7.97 c abscon : 1.59976 7.71/7.97 c 7.71/7.97 c 7.71/7.97 c /home/ehebrard/new_instances/competition_4c/data/register/fpsol/fpsol2-i-1-65.xml 7.71/7.97 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.516700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.853780 | c 14 > 8.948370 | c 11 > 8.954200 | c 12 > 4.570100 | c 21 > 8.062260 | c 20 > 100.000000 | c 22 > 8.062260 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.826550 | c 10 > 13.508800 | 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 > 14.976600 | c 31 > -1.000000 | c 4 > 8.071460 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.98 c choco : 22.73 7.71/7.98 c mistral : 0.76 7.71/7.98 c abscon : 9.18 7.71/7.98 c 7.71/7.98 c 7.71/7.98 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-1-49.xml 7.71/7.98 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.045400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.138890 | c 14 > 7.714250 | c 11 > 7.721100 | c 12 > 4.361050 | c 21 > 7.000000 | c 20 > 100.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.409390 | c 10 > 12.003200 | 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 > 13.335800 | c 31 > -1.000000 | c 4 > 6.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.98 c choco : 13.77 7.71/7.98 c mistral : 0.22 7.71/7.98 c abscon : 6.26 7.71/7.98 c 7.71/7.98 c 7.71/7.98 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-1-49.xml 7.71/7.98 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.992100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.875410 | c 14 > 7.599910 | c 11 > 7.622050 | c 12 > 4.417550 | c 21 > 7.000000 | c 20 > 100.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 5.882640 | c 10 > 11.940700 | 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 > 13.236800 | c 31 > -1.000000 | c 4 > 7.108520 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.99 c choco : 13.83 7.71/7.99 c mistral : 0.25 7.71/7.99 c abscon : 5.42 7.71/7.99 c 7.71/7.99 c 7.71/7.99 c /home/ehebrard/new_instances/competition_4c/data/register/inithx/inithx-i-1-54.xml 7.71/7.99 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.202000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 6.150270 | c 14 > 9.749870 | c 11 > 9.754890 | c 12 > 4.456540 | c 21 > 7.348470 | c 20 > 100.000000 | c 22 > 7.348470 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 8.430450 | c 10 > 14.191700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.509800 | c 31 > -1.000000 | c 4 > 9.019590 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/8.00 c choco : 28.77 7.71/8.00 c mistral : 1.14 7.71/8.00 c abscon : 9.69 7.71/8.00 c 7.71/8.00 c 7.71/8.00 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-67-12-a3.xml 7.71/8.00 c 19 > 0.000000 | c 35 > 20.289900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.336400 | c 34 > 10.289900 | c 16 > 3.000000 | c 13 > 7.361790 | c 14 > 7.303780 | c 11 > 6.285400 | c 12 > 8.788280 | c 21 > 8.194750 | c 20 > 100.000000 | c 22 > 8.246210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.044390 | c 2 > 3.584960 | c 10 > 11.153600 | 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 > 12.351800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.78/8.00 c choco : 1801.0 7.78/8.00 c mistral : 0.33 7.78/8.00 c abscon : 1437.46 7.78/8.00 c 7.78/8.00 c 7.78/8.01 c Length: 40 7.78/8.01 c 18.798477928710078 19.102639848499997 19.110311307804487 19.139617611783684 19.15138865741072 19.80049017810923 20.173225209884016 20.34556332201692 20.41829188936479 20.536090518328944 20.539008142118256 20.62930892604258 20.635031839784013 20.696368979738935 20.85826643728093 20.934481864767992 21.006652810167072 21.05330182065512 21.055648798189527 21.074616585043728 21.16271040591682 21.21601735843464 21.25452284759411 21.259454811069357 21.27456459509571 21.32420999953105 21.383632614785075 21.435803149539325 21.62672239180963 21.640133474530604 21.78256059990652 21.93035055230536 22.459013780531418 22.47023262974151 22.507892935306053 22.568984505500023 22.843130479960493 22.89757625629621 22.907698280084798 23.013430397702557 7.78/8.01 c 7.78/8.01 c 1.0 0.9326943525605531 0.9311137328870558 0.9251244988714928 0.9227405214589459 0.8079319482712417 0.7540570437378127 0.7315037786493332 0.7223858092374988 0.7080901136720665 0.7077432164227923 0.6971722511184477 0.6965129348415594 0.6895240251426831 0.6717333008747194 0.6636720834110393 0.6562149929500507 0.6514834878128153 0.6512472412164556 0.6493442146493836 0.640649640260903 0.6355005830927286 0.6318324268350775 0.6313656492094281 0.6299398918034113 0.6253003599407617 0.6198361838829958 0.6151169960979994 0.5984430805544035 0.5973057395486027 0.5854885254639648 0.5737107411533399 0.535198872411879 0.5344375514552926 0.5318976539107914 0.5278284497894502 0.5103092046971185 0.5069673703132787 0.506350908366478 0.5 7.78/8.02 c 7.78/8.02 c solver 0 7.78/8.02 c before 0.0 seconds: {} 0 7.78/8.02 c before 18.0 seconds: {0, 12, 14, 18, 21, 24, 26, 27, 28, 29, 34, 35, 36, 37, 38} 9298 7.78/8.02 c before 36.0 seconds: {0, 5, 12, 14, 17, 18, 21, 24, 26, 27, 28, 29, 30, 34, 35, 36, 37, 38} 11343 7.78/8.02 c before 54.0 seconds: {0, 2, 5, 12, 14, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 34, 35, 36, 37, 38} 13540 7.78/8.02 c before 72.0 seconds: {0, 2, 5, 11, 12, 14, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 34, 35, 36, 37, 38} 14238 7.78/8.02 c before 90.0 seconds: {0, 1, 2, 5, 11, 12, 14, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 34, 35, 36, 37, 38} 15170 7.78/8.02 c before 108.0 seconds: {0, 1, 2, 5, 11, 12, 13, 14, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38} 16434 7.78/8.02 c before 144.0 seconds: {0, 1, 2, 4, 5, 11, 12, 13, 14, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38} 17891 7.78/8.02 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38} 19524 7.78/8.02 c before 1440.0 seconds: {0, 1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20024 7.78/8.02 c 7.78/8.02 c solver 1 7.78/8.02 c before 0.0 seconds: {} 0 7.78/8.02 c before 18.0 seconds: {0, 6, 7, 8, 9, 10, 11, 13, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19571 7.78/8.02 c before 36.0 seconds: {0, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20267 7.78/8.02 c 7.78/8.02 c solver 2 7.78/8.02 c before 0.0 seconds: {} 0 7.78/8.02 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 36, 37} 21610 7.78/8.02 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38} 24367 7.78/8.02 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, 33, 34, 35, 36, 37, 38} 25098 7.78/8.02 c 7.78/8.02 cTotal time: 85 7.78/8.02 c 1530.0 seconds unused 7.78/8.02 c 0 c 8 c 2 7.78/8.02 c 10 c 0 c 3 7.78/8.02 c 9 c 8 c 0 7.78/8.02 c is solver0 dominated by: 7.78/8.02 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false) 7.78/8.02 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false) 7.78/8.02 c is dominated? false 7.78/8.02 c 7.78/8.02 c is solver1 dominated by: 7.78/8.02 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true) 7.78/8.02 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false) 7.78/8.02 c is dominated? false 7.78/8.02 c 7.78/8.02 c is solver2 dominated by: 7.78/8.02 c solver 0 (2 solves instances that 0 can't: true) (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.78/8.02 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true) 7.78/8.02 c is dominated? false 7.78/8.02 c 7.78/8.02 c Number of non-dominated solvers: 3 7.78/8.02 c remove dominated solvers 7.78/8.02 c solver 0 is not dominated by another solver 7.78/8.02 c solver 1 is not dominated by another solver 7.78/8.02 c solver 2 is not dominated by another solver 7.78/8.02 c 7.78/8.02 c solver 0: 1440.0 7.78/8.03 c 7.78/8.03 c+ 80/85 of 15 7.78/8.03 c 7.78/8.03 c solver 1: 36.0 7.78/8.03 c 7.78/8.03 c+ 2/85 of 15 7.78/8.03 c 7.78/8.03 c solver 2: 54.0 7.78/8.03 c 7.78/8.03 c+ 3/85 of 15 7.78/8.03 c run abscon for 1692.0 seconds {0, 1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20024 7.78/8.03 c run mistral for 36.0 seconds {0, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20267 7.78/8.03 c run choco for 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, 33, 34, 35, 36, 37, 38} 25098 7.78/8.03 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.78/8.03 c On Instance: HOME/instance-1051274-1215052783.xml 7.78/8.03 c Running for: 1692 seconds 1699.96/1701.90 c Starting solver: HOME/cpHydra_k_40/solver/mistral 1699.96/1701.90 c On Instance: HOME/instance-1051274-1215052783.xml 1699.96/1701.90 c Running for: 36 seconds 1735.90/1738.27 c Starting solver: HOME/cpHydra_k_40/solver/choco 1735.90/1738.27 c On Instance: HOME/instance-1051274-1215052783.xml 1735.90/1738.27 c Running for: 54 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-1051274-1215052783/watcher-1051274-1215052783 -o /tmp/evaluation-result-1051274-1215052783/solver-1051274-1215052783 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1051274-1215052783.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/81 30059 /proc/meminfo: memFree=1697008/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=18572 CPUtime=0 /proc/30059/stat : 30059 (runsolver) R 30057 30059 27538 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1984250571 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 208717540647 0 0 4096 24578 0 0 0 17 1 0 0 /proc/30059/statm: 4643 292 257 25 0 2626 0 [startup+0.074097 s] /proc/loadavg: 2.00 2.00 2.00 4/81 30059 /proc/meminfo: memFree=1697008/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=0 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984250571 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102109 s] /proc/loadavg: 2.00 2.00 2.00 4/81 30059 /proc/meminfo: memFree=1697008/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=0 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984250571 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302144 s] /proc/loadavg: 2.00 2.00 2.00 4/81 30059 /proc/meminfo: memFree=1697008/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=0 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984250571 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702222 s] /proc/loadavg: 2.00 2.00 2.00 4/81 30059 /proc/meminfo: memFree=1697008/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=0 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984250571 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50137 s] /proc/loadavg: 2.00 2.00 2.00 3/83 30063 /proc/meminfo: memFree=1684896/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=0 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984250571 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 236 195 169 0 51 0 [pid=30063] ppid=30059 vsize=16096 CPUtime=1.46 /proc/30063/stat : 30063 (xsolve) R 30059 30059 27538 0 -1 4194304 3415 0 0 0 145 1 0 0 25 0 1 0 1984250572 16482304 3341 996147200 134512640 135239763 4294956176 18446744073709551615 135071082 0 0 4096 0 0 0 0 17 1 0 0 /proc/30063/statm: 4024 3341 427 177 0 2927 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 21456 [startup+3.10267 s] /proc/loadavg: 2.00 2.00 2.00 3/91 30075 /proc/meminfo: memFree=1690528/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=1.6 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 375 4013 0 0 0 0 158 2 18 0 1 0 1984250571 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 238 196 169 0 51 0 [pid=30067] ppid=30059 vsize=197004 CPUtime=1.44 /proc/30067/stat : 30067 (java) S 30059 30059 27538 0 -1 0 4973 0 1 0 141 3 0 0 18 0 9 0 1984250735 201732096 4176 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30067/statm: 49251 4176 1679 9 0 43833 0 [pid=30067/tid=30068] ppid=30059 vsize=197004 CPUtime=1.14 /proc/30067/task/30068/stat : 30068 (java) R 30059 30059 27538 0 -1 64 2723 0 1 0 113 1 0 0 25 0 9 0 1984250736 201732096 4176 996147200 134512640 134550740 4294955968 18446744073709551615 4126491404 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30069] ppid=30059 vsize=197004 CPUtime=0.13 /proc/30067/task/30069/stat : 30069 (java) S 30059 30059 27538 0 -1 64 910 0 0 0 12 1 0 0 16 0 9 0 1984250737 201732096 4176 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30070] ppid=30059 vsize=197004 CPUtime=0 /proc/30067/task/30070/stat : 30070 (java) S 30059 30059 27538 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984250737 201732096 4176 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30071] ppid=30059 vsize=197004 CPUtime=0 /proc/30067/task/30071/stat : 30071 (java) S 30059 30059 27538 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1984250737 201732096 4176 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30072] ppid=30059 vsize=197004 CPUtime=0 /proc/30067/task/30072/stat : 30072 (java) S 30059 30059 27538 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984250739 201732096 4176 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30073] ppid=30059 vsize=197004 CPUtime=0.15 /proc/30067/task/30073/stat : 30073 (java) S 30059 30059 27538 0 -1 64 615 0 0 0 15 0 0 0 16 0 9 0 1984250739 201732096 4176 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30074] ppid=30059 vsize=197004 CPUtime=0 /proc/30067/task/30074/stat : 30074 (java) S 30059 30059 27538 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984250739 201732096 4176 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30075] ppid=30059 vsize=197004 CPUtime=0 /proc/30067/task/30075/stat : 30075 (java) S 30059 30059 27538 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984250739 201732096 4176 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202364 [startup+6.30127 s] /proc/loadavg: 2.08 2.02 2.01 3/91 30075 /proc/meminfo: memFree=1676576/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=1.6 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 375 4013 0 0 0 0 158 2 18 0 1 0 1984250571 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 238 196 169 0 51 0 [pid=30067] ppid=30059 vsize=197116 CPUtime=4.59 /proc/30067/stat : 30067 (java) S 30059 30059 27538 0 -1 0 9885 0 1 0 448 11 0 0 18 0 9 0 1984250735 201846784 8195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30067/statm: 49279 8195 2541 9 0 43861 0 [pid=30067/tid=30068] ppid=30059 vsize=197116 CPUtime=3.64 /proc/30067/task/30068/stat : 30068 (java) R 30059 30059 27538 0 -1 64 3532 0 1 0 361 3 0 0 25 0 9 0 1984250736 201846784 8195 996147200 134512640 134550740 4294955968 18446744073709551615 4126504496 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30069] ppid=30059 vsize=197116 CPUtime=0.75 /proc/30067/task/30069/stat : 30069 (java) S 30059 30059 27538 0 -1 64 4997 0 0 0 68 7 0 0 16 0 9 0 1984250737 201846784 8195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30070] ppid=30059 vsize=197116 CPUtime=0 /proc/30067/task/30070/stat : 30070 (java) S 30059 30059 27538 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984250737 201846784 8195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30071] ppid=30059 vsize=197116 CPUtime=0 /proc/30067/task/30071/stat : 30071 (java) S 30059 30059 27538 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984250737 201846784 8195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30072] ppid=30059 vsize=197116 CPUtime=0 /proc/30067/task/30072/stat : 30072 (java) S 30059 30059 27538 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984250739 201846784 8195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30073] ppid=30059 vsize=197116 CPUtime=0.17 /proc/30067/task/30073/stat : 30073 (java) S 30059 30059 27538 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 1984250739 201846784 8195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30074] ppid=30059 vsize=197116 CPUtime=0 /proc/30067/task/30074/stat : 30074 (java) S 30059 30059 27538 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984250739 201846784 8195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30075] ppid=30059 vsize=197116 CPUtime=0 /proc/30067/task/30075/stat : 30075 (java) S 30059 30059 27538 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984250739 201846784 8195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202476 [startup+12.7025 s] /proc/loadavg: 2.07 2.02 2.00 3/103 30087 /proc/meminfo: memFree=1623352/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=1.6 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 375 4013 0 0 0 0 158 2 18 0 1 0 1984250571 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 238 196 169 0 51 0 [pid=30067] ppid=30059 vsize=197440 CPUtime=6.22 /proc/30067/stat : 30067 (java) S 30059 30059 27538 0 -1 0 13974 0 1 0 604 18 0 0 18 0 10 0 1984250735 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30067/statm: 49360 9484 2544 9 0 43942 0 [pid=30077] ppid=30067 vsize=5356 CPUtime=0 /proc/30077/stat : 30077 (abscon) S 30067 30059 27538 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1984251375 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30077/statm: 1339 237 196 169 0 50 0 [pid=30078] ppid=30077 vsize=656004 CPUtime=4.64 /proc/30078/stat : 30078 (java) S 30077 30059 27538 0 -1 0 14335 0 1 0 454 10 0 0 18 0 9 0 1984251375 671748096 13647 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30078/statm: 164001 13647 2613 9 0 158529 0 [pid=30078/tid=30080] ppid=30077 vsize=656004 CPUtime=4.3 /proc/30078/task/30080/stat : 30080 (java) R 30077 30059 27538 0 -1 64 11570 0 1 0 422 8 0 0 25 0 9 0 1984251376 671748096 13647 996147200 134512640 134550740 4294955808 18446744073709551615 4127072587 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30078/tid=30081] ppid=30077 vsize=656004 CPUtime=0.05 /proc/30078/task/30081/stat : 30081 (java) S 30077 30059 27538 0 -1 64 1501 0 0 0 5 0 0 0 16 0 9 0 1984251377 671748096 13647 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30078/tid=30082] ppid=30077 vsize=656004 CPUtime=0 /proc/30078/task/30082/stat : 30082 (java) S 30077 30059 27538 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984251378 671748096 13647 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30078/tid=30083] ppid=30077 vsize=656004 CPUtime=0 /proc/30078/task/30083/stat : 30083 (java) S 30077 30059 27538 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984251378 671748096 13647 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30078/tid=30084] ppid=30077 vsize=656004 CPUtime=0 /proc/30078/task/30084/stat : 30084 (java) S 30077 30059 27538 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1984251379 671748096 13647 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30078/tid=30085] ppid=30077 vsize=656004 CPUtime=0.26 /proc/30078/task/30085/stat : 30085 (java) S 30077 30059 27538 0 -1 64 720 0 0 0 26 0 0 0 15 0 9 0 1984251379 671748096 13647 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30078/tid=30086] ppid=30077 vsize=656004 CPUtime=0 /proc/30078/task/30086/stat : 30086 (java) S 30077 30059 27538 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1984251379 671748096 13647 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30078/tid=30087] ppid=30077 vsize=656004 CPUtime=0 /proc/30078/task/30087/stat : 30087 (java) S 30077 30059 27538 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984251379 671748096 13647 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30079] ppid=30077 vsize=7044 CPUtime=0 /proc/30079/stat : 30079 (translate) S 30077 30059 27538 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1984251375 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30079/statm: 1761 213 182 1 0 41 0 [pid=30067/tid=30068] ppid=30059 vsize=197440 CPUtime=4.85 /proc/30067/task/30068/stat : 30068 (java) S 30059 30059 27538 0 -1 64 3904 0 1 0 479 6 0 0 25 0 10 0 1984250736 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30067/tid=30069] ppid=30059 vsize=197440 CPUtime=1.1 /proc/30067/task/30069/stat : 30069 (java) S 30059 30059 27538 0 -1 64 8572 0 0 0 100 10 0 0 16 0 10 0 1984250737 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30070] ppid=30059 vsize=197440 CPUtime=0 /proc/30067/task/30070/stat : 30070 (java) S 30059 30059 27538 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984250737 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30071] ppid=30059 vsize=197440 CPUtime=0 /proc/30067/task/30071/stat : 30071 (java) S 30059 30059 27538 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984250737 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30072] ppid=30059 vsize=197440 CPUtime=0 /proc/30067/task/30072/stat : 30072 (java) S 30059 30059 27538 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984250739 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30073] ppid=30059 vsize=197440 CPUtime=0.23 /proc/30067/task/30073/stat : 30073 (java) S 30059 30059 27538 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1984250739 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30074] ppid=30059 vsize=197440 CPUtime=0 /proc/30067/task/30074/stat : 30074 (java) S 30059 30059 27538 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984250739 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30075] ppid=30059 vsize=197440 CPUtime=0 /proc/30067/task/30075/stat : 30075 (java) S 30059 30059 27538 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1984250739 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30076] ppid=30059 vsize=197440 CPUtime=0 /proc/30067/task/30076/stat : 30076 (java) S 30059 30059 27538 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1984251375 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.46 Current children cumulated vsize (KiB) 871204 [startup+25.5029 s] /proc/loadavg: 2.06 2.01 2.00 3/103 30088 /proc/meminfo: memFree=1623032/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=1.6 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 375 4013 0 0 0 0 158 2 18 0 1 0 1984250571 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 238 196 169 0 51 0 [pid=30067] ppid=30059 vsize=197440 CPUtime=6.22 /proc/30067/stat : 30067 (java) S 30059 30059 27538 0 -1 0 13974 0 1 0 604 18 0 0 18 0 10 0 1984250735 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30067/statm: 49360 9484 2544 9 0 43942 0 [pid=30077] ppid=30067 vsize=5356 CPUtime=0 /proc/30077/stat : 30077 (abscon) S 30067 30059 27538 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1984251375 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30077/statm: 1339 237 196 169 0 50 0 [pid=30078] ppid=30077 vsize=656004 CPUtime=17.44 /proc/30078/stat : 30078 (java) S 30077 30059 27538 0 -1 0 14377 0 1 0 1733 11 0 0 18 0 9 0 1984251375 671748096 13679 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30078/statm: 164001 13679 2613 9 0 158529 0 [pid=30078/tid=30080] ppid=30077 vsize=656004 CPUtime=17.05 /proc/30078/task/30080/stat : 30080 (java) R 30077 30059 27538 0 -1 64 11588 0 1 0 1696 9 0 0 25 0 9 0 1984251376 671748096 13679 996147200 134512640 134550740 4294955808 18446744073709551615 4127080264 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30078/tid=30081] ppid=30077 vsize=656004 CPUtime=0.05 /proc/30078/task/30081/stat : 30081 (java) S 30077 30059 27538 0 -1 64 1501 0 0 0 5 0 0 0 17 0 9 0 1984251377 671748096 13679 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30078/tid=30082] ppid=30077 vsize=656004 CPUtime=0 /proc/30078/task/30082/stat : 30082 (java) S 30077 30059 27538 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984251378 671748096 13679 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/30067/task/30074/stat : 30074 (java) S 30059 30059 27538 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984250739 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30075] ppid=30059 vsize=197440 CPUtime=0 /proc/30067/task/30075/stat : 30075 (java) S 30059 30059 27538 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1984250739 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30076] ppid=30059 vsize=197440 CPUtime=0 /proc/30067/task/30076/stat : 30076 (java) S 30059 30059 27538 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1984251375 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1660.39 Current children cumulated vsize (KiB) 871204 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.02 3/86 30179 /proc/meminfo: memFree=880056/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=1.6 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 375 4013 0 0 0 0 158 2 18 0 1 0 1984250571 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 238 196 169 0 51 0 [pid=30067] ppid=30059 vsize=197764 CPUtime=1698.38 /proc/30067/stat : 30067 (java) S 30059 30059 27538 0 -1 0 14154 14984 1 1 604 18 169197 19 18 0 10 0 1984250735 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30067/statm: 49441 9508 2545 9 0 44023 0 [pid=30178] ppid=30067 vsize=5356 CPUtime=0 /proc/30178/stat : 30178 (mistral) S 30067 30059 27538 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1984420762 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/30178/statm: 1339 238 198 169 0 50 0 [pid=30179] ppid=30178 vsize=16352 CPUtime=20.18 /proc/30179/stat : 30179 (xsolve) R 30178 30059 27538 0 -1 4194304 3486 0 0 0 2017 1 0 0 25 0 1 0 1984420763 16744448 3352 996147200 134512640 135239763 4294955968 18446744073709551615 135067212 0 4 0 0 0 0 0 17 1 0 0 /proc/30179/statm: 4088 3352 409 177 0 2991 0 [pid=30067/tid=30068] ppid=30059 vsize=197764 CPUtime=1697.01 /proc/30067/task/30068/stat : 30068 (java) S 30059 30059 27538 0 -1 64 3982 14984 1 1 479 6 169197 19 16 0 10 0 1984250736 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30067/tid=30069] ppid=30059 vsize=197764 CPUtime=1693.26 /proc/30067/task/30069/stat : 30069 (java) S 30059 30059 27538 0 -1 64 8583 14984 0 1 100 10 169197 19 16 0 10 0 1984250737 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30067/tid=30070] ppid=30059 vsize=197764 CPUtime=1692.16 /proc/30067/task/30070/stat : 30070 (java) S 30059 30059 27538 0 -1 64 11 14984 0 1 0 0 169197 19 16 0 10 0 1984250737 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30071] ppid=30059 vsize=197764 CPUtime=1692.16 /proc/30067/task/30071/stat : 30071 (java) S 30059 30059 27538 0 -1 64 5 14984 0 1 0 0 169197 19 15 0 10 0 1984250737 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30072] ppid=30059 vsize=197764 CPUtime=1692.16 /proc/30067/task/30072/stat : 30072 (java) S 30059 30059 27538 0 -1 64 0 14984 0 1 0 0 169197 19 18 0 10 0 1984250739 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30073] ppid=30059 vsize=197764 CPUtime=1692.39 /proc/30067/task/30073/stat : 30073 (java) S 30059 30059 27538 0 -1 64 701 14984 0 1 23 0 169197 19 16 0 10 0 1984250739 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30067/tid=30074] ppid=30059 vsize=197764 CPUtime=1692.16 /proc/30067/task/30074/stat : 30074 (java) S 30059 30059 27538 0 -1 64 1 14984 0 1 0 0 169197 19 19 0 10 0 1984250739 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30075] ppid=30059 vsize=197764 CPUtime=1692.16 /proc/30067/task/30075/stat : 30075 (java) S 30059 30059 27538 0 -1 64 36 14984 0 1 0 0 169197 19 15 0 10 0 1984250739 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30177] ppid=30059 vsize=197764 CPUtime=1692.16 /proc/30067/task/30177/stat : 30177 (java) S 30059 30059 27538 0 -1 64 50 14984 0 1 0 0 169197 19 17 0 10 0 1984420762 202510336 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1720.16 Current children cumulated vsize (KiB) 224832 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.01 3/94 30190 /proc/meminfo: memFree=840112/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=1.6 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 375 4013 0 0 0 0 158 2 18 0 1 0 1984250571 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 238 196 169 0 51 0 [pid=30067] ppid=30059 vsize=197764 CPUtime=1734.37 /proc/30067/stat : 30067 (java) S 30059 30059 27538 0 -1 0 14325 18782 1 1 604 18 172794 21 18 0 10 0 1984250735 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30067/statm: 49441 9525 2545 9 0 44023 0 [pid=30181] ppid=30067 vsize=5356 CPUtime=0 /proc/30181/stat : 30181 (choco) S 30067 30059 27538 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1984424398 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30181/statm: 1339 238 197 169 0 50 0 [pid=30182] ppid=30181 vsize=655748 CPUtime=43.16 /proc/30182/stat : 30182 (java) S 30181 30059 27538 0 -1 0 15206 0 1 0 4298 18 0 0 18 0 9 0 1984424399 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30182/statm: 163937 14763 1937 9 0 158466 0 [pid=30182/tid=30183] ppid=30181 vsize=655748 CPUtime=42.59 /proc/30182/task/30183/stat : 30183 (java) R 30181 30059 27538 0 -1 64 12221 0 1 0 4244 15 0 0 25 0 9 0 1984424400 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4127434360 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30184] ppid=30181 vsize=655748 CPUtime=0.06 /proc/30182/task/30184/stat : 30184 (java) S 30181 30059 27538 0 -1 64 1684 0 0 0 6 0 0 0 16 0 9 0 1984424401 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30185] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30185/stat : 30185 (java) S 30181 30059 27538 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984424402 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30186] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30186/stat : 30186 (java) S 30181 30059 27538 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984424402 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30187] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30187/stat : 30187 (java) S 30181 30059 27538 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984424404 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30188] ppid=30181 vsize=655748 CPUtime=0.48 /proc/30182/task/30188/stat : 30188 (java) S 30181 30059 27538 0 -1 64 756 0 0 0 47 1 0 0 16 0 9 0 1984424404 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30189] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30189/stat : 30189 (java) S 30181 30059 27538 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1984424404 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30190] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30190/stat : 30190 (java) S 30181 30059 27538 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984424404 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30068] ppid=30059 vsize=197764 CPUtime=1733.01 /proc/30067/task/30068/stat : 30068 (java) S 30059 30059 27538 0 -1 64 4061 18782 1 1 480 6 172794 21 17 0 10 0 1984250736 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30067/tid=30069] ppid=30059 vsize=197764 CPUtime=1729.25 /proc/30067/task/30069/stat : 30069 (java) S 30059 30059 27538 0 -1 64 8611 18782 0 1 100 10 172794 21 16 0 10 0 1984250737 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30070] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30070/stat : 30070 (java) S 30059 30059 27538 0 -1 64 11 18782 0 1 0 0 172794 21 16 0 10 0 1984250737 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30071] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30071/stat : 30071 (java) S 30059 30059 27538 0 -1 64 5 18782 0 1 0 0 172794 21 15 0 10 0 1984250737 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30072] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30072/stat : 30072 (java) S 30059 30059 27538 0 -1 64 0 18782 0 1 0 0 172794 21 18 0 10 0 1984250739 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30073] ppid=30059 vsize=197764 CPUtime=1728.38 /proc/30067/task/30073/stat : 30073 (java) S 30059 30059 27538 0 -1 64 701 18782 0 1 23 0 172794 21 16 0 10 0 1984250739 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30067/tid=30074] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30074/stat : 30074 (java) S 30059 30059 27538 0 -1 64 1 18782 0 1 0 0 172794 21 19 0 10 0 1984250739 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30075] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30075/stat : 30075 (java) S 30059 30059 27538 0 -1 64 42 18782 0 1 0 0 172794 21 15 0 10 0 1984250739 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30180] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30180/stat : 30180 (java) S 30059 30059 27538 0 -1 64 53 18782 0 1 0 0 172794 21 18 0 10 0 1984424398 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1779.13 Current children cumulated vsize (KiB) 864228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1803.6 s] /proc/loadavg: 2.00 2.00 2.01 3/94 30190 /proc/meminfo: memFree=840112/2055920 swapFree=4116764/4192956 [pid=30059] ppid=30057 vsize=5360 CPUtime=1.6 /proc/30059/stat : 30059 (hydra) S 30057 30059 27538 0 -1 4194304 375 4013 0 0 0 0 158 2 18 0 1 0 1984250571 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30059/statm: 1340 238 196 169 0 51 0 [pid=30067] ppid=30059 vsize=197764 CPUtime=1734.37 /proc/30067/stat : 30067 (java) S 30059 30059 27538 0 -1 0 14325 18782 1 1 604 18 172794 21 18 0 10 0 1984250735 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30067/statm: 49441 9525 2545 9 0 44023 0 [pid=30181] ppid=30067 vsize=5356 CPUtime=0 /proc/30181/stat : 30181 (choco) S 30067 30059 27538 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1984424398 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30181/statm: 1339 238 197 169 0 50 0 [pid=30182] ppid=30181 vsize=655748 CPUtime=64.05 /proc/30182/stat : 30182 (java) S 30181 30059 27538 0 -1 0 15206 0 1 0 6384 21 0 0 18 0 9 0 1984424399 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30182/statm: 163937 14763 1937 9 0 158466 0 [pid=30182/tid=30183] ppid=30181 vsize=655748 CPUtime=63.47 /proc/30182/task/30183/stat : 30183 (java) R 30181 30059 27538 0 -1 64 12221 0 1 0 6329 18 0 0 25 0 9 0 1984424400 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4127393276 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30184] ppid=30181 vsize=655748 CPUtime=0.06 /proc/30182/task/30184/stat : 30184 (java) S 30181 30059 27538 0 -1 64 1684 0 0 0 6 0 0 0 16 0 9 0 1984424401 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30185] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30185/stat : 30185 (java) S 30181 30059 27538 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984424402 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30186] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30186/stat : 30186 (java) S 30181 30059 27538 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984424402 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30187] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30187/stat : 30187 (java) S 30181 30059 27538 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984424404 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30188] ppid=30181 vsize=655748 CPUtime=0.48 /proc/30182/task/30188/stat : 30188 (java) S 30181 30059 27538 0 -1 64 756 0 0 0 47 1 0 0 16 0 9 0 1984424404 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30189] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30189/stat : 30189 (java) S 30181 30059 27538 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1984424404 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30182/tid=30190] ppid=30181 vsize=655748 CPUtime=0 /proc/30182/task/30190/stat : 30190 (java) S 30181 30059 27538 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984424404 671485952 14763 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30068] ppid=30059 vsize=197764 CPUtime=1733.01 /proc/30067/task/30068/stat : 30068 (java) S 30059 30059 27538 0 -1 64 4061 18782 1 1 480 6 172794 21 17 0 10 0 1984250736 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30067/tid=30069] ppid=30059 vsize=197764 CPUtime=1729.25 /proc/30067/task/30069/stat : 30069 (java) S 30059 30059 27538 0 -1 64 8611 18782 0 1 100 10 172794 21 16 0 10 0 1984250737 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30070] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30070/stat : 30070 (java) S 30059 30059 27538 0 -1 64 11 18782 0 1 0 0 172794 21 16 0 10 0 1984250737 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30071] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30071/stat : 30071 (java) S 30059 30059 27538 0 -1 64 5 18782 0 1 0 0 172794 21 15 0 10 0 1984250737 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30072] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30072/stat : 30072 (java) S 30059 30059 27538 0 -1 64 0 18782 0 1 0 0 172794 21 18 0 10 0 1984250739 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30073] ppid=30059 vsize=197764 CPUtime=1728.38 /proc/30067/task/30073/stat : 30073 (java) S 30059 30059 27538 0 -1 64 701 18782 0 1 23 0 172794 21 16 0 10 0 1984250739 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30067/tid=30074] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30074/stat : 30074 (java) S 30059 30059 27538 0 -1 64 1 18782 0 1 0 0 172794 21 19 0 10 0 1984250739 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30075] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30075/stat : 30075 (java) S 30059 30059 27538 0 -1 64 42 18782 0 1 0 0 172794 21 15 0 10 0 1984250739 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30067/tid=30180] ppid=30059 vsize=197764 CPUtime=1728.15 /proc/30067/task/30180/stat : 30180 (java) S 30059 30059 27538 0 -1 64 53 18782 0 1 0 0 172794 21 18 0 10 0 1984424398 202510336 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 864228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30059 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=582759 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=28995 # CPU time returned by wait4() is 1.61175 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1803.63 CPU time (s): 1800.02 CPU user time (s): 1799.4 CPU system time (s): 0.62 CPU usage (%): 99.7996 Max. virtual memory (cumulated for all children) (KiB): 871204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.58276 system time used= 0.028995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4388 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= 32 involuntary context switches= 72 runsolver used 7.02693 second user time and 18.8671 second system time The end
Begin job on node47 at 2008-07-03 04:39:43 IDJOB=1051274 IDBENCH=55431 IDSOLVER=366 FILE ID=node47/1051274-1215052783 PBS_JOBID= 7875081 Free space on /tmp= 66540 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/golombRulerArity4/normalized-ruler-67-12-a4.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051274-1215052783/watcher-1051274-1215052783 -o /tmp/evaluation-result-1051274-1215052783/solver-1051274-1215052783 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1051274-1215052783.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 392a4a957087c54a1fc308e1f7b31eeb RANDOM SEED=867002467 node47.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.281 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.281 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: 1697488 kB Buffers: 30160 kB Cached: 164548 kB SwapCached: 70084 kB Active: 221308 kB Inactive: 78852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1697488 kB SwapTotal: 4192956 kB SwapFree: 4116764 kB Dirty: 24548 kB Writeback: 0 kB Mapped: 121408 kB Slab: 43140 kB Committed_AS: 3964464 kB PageTables: 2112 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= 66288 MiB End job on node47 at 2008-07-03 05:09:49