Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 560.795 | 570.71 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 307706 |
CHECKS | 1313960000 |
Name | csp/costasArray/ normalized-costasArray-17.xml |
MD5SUM | a859df5bbc3805b2a959faf75cbcf472 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 13.8329 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 150 |
Number of constraints | 149 |
Maximum constraint arity | 17 |
Maximum domain size | 32 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 134 |
Global constraints used (with number of constraints) | alldifferent(15) |
0.19/0.20 c cpHydra_k_40 version 0.0 7.52/8.42 c CASE TO CLASSIFY: 7.52/8.42 c Case: 0 7.52/8.43 c 19 > 0.000000 | c 35 > 30.074600 | c 17 > 0.000000 | c 18 > 10.067100 | c 33 > 0.000000 | c 15 > 20.518300 | c 34 > 20.074600 | c 16 > 17.000000 | c 13 > 8.453330 | c 14 > 11.606400 | c 11 > 7.247930 | c 12 > 7.526600 | c 21 > 5.504540 | c 20 > 89.932900 | c 22 > 5.656850 | c 23 > 97.313100 | c 24 > 96.969700 | c 25 > 15.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.228820 | c 2 > -1.000000 | c 10 > 9.915880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.170900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.52/8.44 c choco : 1801.0 7.52/8.44 c mistral : 1801.0 7.52/8.44 c abscon : 1801.0 7.52/8.44 c 7.52/8.44 c 7.61/8.51 c List of same ones: 40 7.61/8.51 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml 7.61/8.51 c 19 > 0.000000 | c 35 > 30.074600 | c 17 > 0.000000 | c 18 > 10.067100 | c 33 > 0.000000 | c 15 > 19.717200 | c 34 > 20.074600 | c 16 > 17.000000 | c 13 > 7.763330 | c 14 > 10.791200 | c 11 > 7.247930 | c 12 > 6.864670 | c 21 > 5.504540 | c 20 > 89.932900 | c 22 > 5.656850 | c 23 > 97.313100 | c 24 > 96.969700 | c 25 > 15.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.228820 | c 2 > -1.000000 | c 10 > 9.915880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.170900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.61/8.51 c choco : 24.02 7.61/8.51 c mistral : 1801.0 7.61/8.51 c abscon : 1801.0 7.61/8.51 c 7.61/8.51 c 7.61/8.51 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml 7.61/8.51 c 19 > 0.000000 | c 35 > 30.084700 | c 17 > 0.000000 | c 18 > 10.606100 | c 33 > 0.000000 | c 15 > 19.923600 | c 34 > 20.084700 | c 16 > 16.000000 | c 13 > 8.520580 | c 14 > 11.147200 | c 11 > 7.076820 | c 12 > 7.612850 | c 21 > 5.321260 | c 20 > 89.393900 | c 22 > 5.477230 | c 23 > 97.162300 | c 24 > 96.774200 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.055280 | c 2 > -1.000000 | c 10 > 9.667110 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.902400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.61/8.52 c choco : 81.95 7.61/8.52 c mistral : 110.72 7.61/8.52 c abscon : 72.55 7.61/8.52 c 7.61/8.52 c 7.61/8.52 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml 7.61/8.52 c 19 > 0.000000 | c 35 > 30.066200 | c 17 > 0.000000 | c 18 > 9.580840 | c 33 > 0.000000 | c 15 > 19.566600 | c 34 > 20.066200 | c 16 > 18.000000 | c 13 > 7.171760 | c 14 > 10.479800 | c 11 > 7.409390 | c 12 > 6.242450 | c 21 > 5.682050 | c 20 > 90.419200 | c 22 > 5.830950 | c 23 > 97.449000 | c 24 > 97.142900 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.392320 | c 2 > -1.000000 | c 10 > 10.151000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.423600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.61/8.53 c choco : 229.74 7.61/8.53 c mistral : 552.16 7.61/8.53 c abscon : 1801.0 7.61/8.53 c 7.61/8.53 c 7.61/8.53 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml 7.61/8.53 c 19 > 0.000000 | c 35 > 30.097100 | c 17 > 0.000000 | c 18 > 11.206900 | c 33 > 0.000000 | c 15 > 20.200100 | c 34 > 20.097100 | c 16 > 15.000000 | c 13 > 8.563910 | c 14 > 11.674600 | c 11 > 6.894820 | c 12 > 7.884080 | c 21 > 5.131600 | c 20 > 88.793100 | c 22 > 5.291500 | c 23 > 96.993800 | c 24 > 96.551700 | c 25 > 13.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.870360 | c 2 > -1.000000 | c 10 > 9.403010 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.616100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.61/8.54 c choco : 33.25 7.61/8.54 c mistral : 36.8 7.61/8.54 c abscon : 10.75 7.61/8.54 c 7.61/8.54 c 7.61/8.54 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml 7.61/8.54 c 19 > 0.000000 | c 35 > 30.112400 | c 17 > 0.000000 | c 18 > 11.881200 | c 33 > 0.000000 | c 15 > 20.330700 | c 34 > 20.112400 | c 16 > 14.000000 | c 13 > 8.939850 | c 14 > 11.970800 | c 11 > 6.700440 | c 12 > 8.323700 | c 21 > 4.934870 | c 20 > 88.118800 | c 22 > 5.099020 | c 23 > 96.804600 | c 24 > 96.296300 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.672430 | c 2 > -1.000000 | c 10 > 9.121530 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.309500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.61/8.55 c choco : 17.59 7.61/8.55 c mistral : 7.72 7.61/8.55 c abscon : 7.11 7.61/8.55 c 7.61/8.55 c 7.61/8.55 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-13.xml 7.61/8.55 c 19 > 0.000000 | c 35 > 30.131600 | c 17 > 0.000000 | c 18 > 12.643700 | c 33 > 0.000000 | c 15 > 17.286500 | c 34 > 20.131600 | c 16 > 13.000000 | c 13 > 6.100340 | c 14 > 9.131860 | c 11 > 6.491850 | c 12 > 5.083210 | c 21 > 4.730220 | c 20 > 87.356300 | c 22 > 4.898980 | c 23 > 96.590900 | c 24 > 96.000000 | c 25 > 11.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.459430 | c 2 > -1.000000 | c 10 > 8.820180 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.979400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.61/8.56 c choco : 17.72 7.61/8.56 c mistral : 0.2 7.61/8.56 c abscon : 6.83 7.61/8.56 c 7.61/8.56 c 7.61/8.56 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-12.xml 7.61/8.56 c 19 > 0.000000 | c 35 > 30.156200 | c 17 > 0.000000 | c 18 > 13.513500 | c 33 > 0.000000 | c 15 > 15.511500 | c 34 > 20.156200 | c 16 > 12.000000 | c 13 > 4.685810 | c 14 > 7.569860 | c 11 > 6.266790 | c 12 > 4.069720 | c 21 > 4.516640 | c 20 > 86.486500 | c 22 > 4.690420 | c 23 > 96.347800 | c 24 > 95.652200 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.228820 | c 2 > -1.000000 | c 10 > 8.495860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.622100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.61/8.57 c choco : 12.41 7.61/8.57 c mistral : 0.15 7.61/8.57 c abscon : 5.75 7.61/8.57 c 7.61/8.57 c 7.61/8.57 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-11.xml 7.61/8.57 c 19 > 0.000000 | c 35 > 30.188700 | c 17 > 0.000000 | c 18 > 14.516100 | c 33 > 0.000000 | c 15 > 16.090600 | c 34 > 20.188700 | c 16 > 11.000000 | c 13 > 5.307610 | c 14 > 8.426260 | c 11 > 6.022370 | c 12 > 4.572890 | c 21 > 4.292850 | c 20 > 85.483900 | c 22 > 4.472140 | c 23 > 96.069500 | c 24 > 95.238100 | c 25 > 9.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.977280 | c 2 > -1.000000 | c 10 > 8.144660 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.232400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.61/8.57 c choco : 16.54 7.61/8.57 c mistral : 0.03 7.61/8.57 c abscon : 4.59 7.61/8.57 c 7.61/8.57 c 7.61/8.57 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-10.xml 7.61/8.57 c 19 > 0.000000 | c 35 > 30.232600 | c 17 > 0.000000 | c 18 > 15.686300 | c 33 > 0.000000 | c 15 > 11.582600 | c 34 > 20.232600 | c 16 > 10.000000 | c 13 > 2.476970 | c 14 > 4.087460 | c 11 > 5.754890 | c 12 > 2.567040 | c 21 > 4.057280 | c 20 > 84.313700 | c 22 > 4.242640 | c 23 > 95.749000 | c 24 > 94.736800 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 7.761550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.804130 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 7.61/8.58 c choco : 3.04 7.61/8.58 c mistral : 0.03 7.61/8.58 c abscon : 2.48 7.61/8.58 c 7.61/8.58 c 7.61/8.58 c /home/eomahony/cpZilla/CSP/xml/nengfa/protein.xml 7.61/8.58 c 19 > 3.236250 | c 35 > 24.350600 | c 17 > 0.000000 | c 18 > 0.323625 | c 33 > 8.766230 | c 15 > 20.288100 | c 34 > 25.746800 | c 16 > 27.000000 | c 13 > 8.883710 | c 14 > 12.222500 | c 11 > 8.988680 | c 12 > 7.640540 | c 21 > 9.363670 | c 20 > 96.440100 | c 22 > 31.796200 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.199670 | c 2 > 6.442940 | c 10 > 9.660000 | c 1 > 5.643860 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 4.643860 | c 6 > 6.000000 | c 32 > 0.000000 | c 5 > 15.647000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.321930 | c 7.61/8.59 c choco : 53.77 7.61/8.59 c mistral : 0.019996 7.61/8.59 c abscon : 639.803 7.61/8.59 c 7.61/8.59 c 7.61/8.59 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml 7.61/8.59 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.374100 | c 33 > 30.000000 | c 15 > 20.367100 | c 34 > 30.000000 | c 16 > 13.000000 | c 13 > 5.641070 | c 14 > 11.004200 | c 11 > 12.284200 | c 12 > 2.935000 | c 21 > 4.848200 | c 20 > 97.625900 | c 22 > 6.708200 | c 23 > 94.525000 | c 24 > 66.666700 | c 25 > 66.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.209450 | c 2 > -1.000000 | c 10 > 13.356700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.240800 | c 32 > 0.000000 | c 5 > 13.806700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/8.60 c choco : 1801.0 7.68/8.60 c mistral : 6.57 7.68/8.60 c abscon : 10.45 7.68/8.60 c 7.68/8.60 c 7.68/8.60 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml 7.68/8.60 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.949030 | c 33 > 30.000000 | c 15 > 21.524000 | c 34 > 30.000000 | c 16 > 12.000000 | c 13 > 6.061550 | c 14 > 11.531900 | c 11 > 12.669100 | c 12 > 2.868540 | c 21 > 4.887740 | c 20 > 98.051000 | c 22 > 6.708200 | c 23 > 99.350000 | c 24 > 50.000000 | c 25 > 65.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.451210 | c 2 > -1.000000 | c 10 > 13.477300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.629800 | c 32 > 0.000000 | c 5 > 14.089200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/8.61 c choco : 1801.0 7.68/8.61 c mistral : 1801.0 7.68/8.61 c abscon : 11.05 7.68/8.61 c 7.68/8.61 c 7.68/8.61 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml 7.68/8.61 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.459890 | c 33 > 30.000000 | c 15 > 21.370900 | c 34 > 30.000000 | c 16 > 19.000000 | c 13 > 11.389900 | c 14 > 16.796700 | c 11 > 12.409400 | c 12 > 7.399610 | c 21 > 4.865700 | c 20 > 97.540100 | c 22 > 6.708200 | c 23 > 92.808300 | c 24 > 50.000000 | c 25 > 69.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.375040 | c 2 > -1.000000 | c 10 > 13.713900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.364700 | c 32 > 0.000000 | c 5 > 13.896400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/8.62 c choco : 1801.0 7.68/8.62 c mistral : 26.31 7.68/8.62 c abscon : 11.66 7.68/8.62 c 7.68/8.62 c 7.68/8.62 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml 7.68/8.62 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.537630 | c 33 > 30.000000 | c 15 > 21.497200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.743320 | c 14 > 13.117000 | c 11 > 12.028600 | c 12 > 4.472700 | c 21 > 4.829600 | c 20 > 97.462400 | c 22 > 6.708200 | c 23 > 95.033300 | c 24 > 40.000000 | c 25 > 59.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.076820 | c 2 > -1.000000 | c 10 > 13.196600 | c 1 > 4.087460 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.975100 | c 32 > 0.000000 | c 5 > 13.629000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/8.63 c choco : 1801.0 7.68/8.63 c mistral : 1801.0 7.68/8.63 c abscon : 9.29 7.68/8.63 c 7.68/8.63 c 7.68/8.63 c /home/eomahony/cpZilla/CSP/xml/nengfa/queens2.xml 7.68/8.63 c 19 > 0.000000 | c 35 > 19.807700 | c 17 > 0.000000 | c 18 > 1.421800 | c 33 > 0.000000 | c 15 > 15.868300 | c 34 > 19.807700 | c 16 > 104.000000 | c 13 > 5.052650 | c 14 > 6.523560 | c 11 > 8.276120 | c 12 > 5.750310 | c 21 > 10.198000 | c 20 > 98.578200 | c 22 > 10.198000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 3.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.276120 | c 2 > -1.000000 | c 10 > 13.990500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.976600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/8.64 c choco : 7.96 7.68/8.64 c mistral : 0.043992 7.68/8.64 c abscon : 4.92825 7.68/8.64 c 7.68/8.64 c 7.68/8.64 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml 7.68/8.64 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 4.399320 | c 33 > 30.000000 | c 15 > 16.020600 | c 34 > 30.000000 | c 16 > 17.000000 | c 13 > 4.058140 | c 14 > 7.118940 | c 11 > 11.503300 | c 12 > 1.983760 | c 21 > 4.826490 | c 20 > 95.600700 | c 22 > 6.708200 | c 23 > 95.233300 | c 24 > 40.000000 | c 25 > 78.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.118940 | c 2 > -1.000000 | c 10 > 13.119600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.432500 | c 32 > 0.000000 | c 5 > 13.305800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/8.64 c choco : 13.82 7.68/8.64 c mistral : 0.32 7.68/8.64 c abscon : 7.62 7.68/8.64 c 7.68/8.64 c 7.68/8.64 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-10.xml 7.68/8.64 c 19 > 0.000000 | c 35 > 21.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.183700 | c 34 > 13.000000 | c 16 > 3.000000 | c 13 > 8.575760 | c 14 > 10.623000 | c 11 > 5.209450 | c 12 > 8.485450 | c 21 > 3.086470 | c 20 > 100.000000 | c 22 > 3.162280 | 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 > 4.247930 | c 2 > -1.000000 | c 10 > 6.781360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.169930 | c 7.68/8.65 c choco : 1.36 7.68/8.65 c mistral : 0.02 7.68/8.65 c abscon : 0.719889 7.68/8.65 c 7.68/8.65 c 7.68/8.65 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-11.xml 7.68/8.65 c 19 > 0.000000 | c 35 > 20.909100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.434500 | c 34 > 12.727300 | c 16 > 3.000000 | c 13 > 10.750700 | c 14 > 12.743200 | c 11 > 5.357550 | c 12 > 10.739700 | c 21 > 3.244040 | c 20 > 100.000000 | c 22 > 3.316620 | 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 > 4.392320 | c 2 > -1.000000 | c 10 > 7.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.052570 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.321930 | c 7.68/8.66 c choco : 1.42 7.68/8.66 c mistral : 0.02 7.68/8.66 c abscon : 0.757884 7.68/8.66 c 7.68/8.66 c 7.68/8.66 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-30.xml 7.68/8.66 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.68/8.67 c choco : 2.42 7.68/8.67 c mistral : 1.26 7.68/8.67 c abscon : 1.59976 7.68/8.67 c 7.68/8.67 c 7.68/8.67 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml 7.68/8.67 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.68/8.68 c choco : 2.63 7.68/8.68 c mistral : 1800.03 7.68/8.68 c abscon : 2.32365 7.68/8.68 c 7.68/8.68 c 7.68/8.68 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-25.xml 7.68/8.68 c 19 > 0.000000 | c 35 > 20.400000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.516200 | c 34 > 11.200000 | c 16 > 3.000000 | c 13 > 10.776900 | c 14 > 12.690700 | c 11 > 6.599910 | c 12 > 10.916300 | c 21 > 4.950780 | c 20 > 100.000000 | c 22 > 5.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 > 5.614710 | c 2 > -1.000000 | c 10 > 9.344300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.528000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.584960 | c 7.68/8.68 c choco : 2.2 7.68/8.68 c mistral : 4.04 7.68/8.68 c abscon : 1.11883 7.68/8.68 c 7.68/8.68 c 7.68/8.68 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-20.xml 7.68/8.68 c 19 > 0.000000 | c 35 > 20.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.589400 | c 34 > 11.500000 | c 16 > 3.000000 | c 13 > 11.125000 | c 14 > 13.128300 | c 11 > 6.266790 | c 12 > 11.344100 | c 21 > 4.417330 | c 20 > 100.000000 | c 22 > 4.472140 | 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.285400 | c 2 > -1.000000 | c 10 > 8.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.863400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.247930 | c 7.68/8.69 c choco : 1.97 7.68/8.69 c mistral : 1.67 7.68/8.69 c abscon : 0.926858 7.68/8.69 c 7.68/8.69 c 7.68/8.69 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml 7.68/8.69 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.68/8.70 c choco : 2.94 7.68/8.70 c mistral : 1800.01 7.68/8.70 c abscon : 3.38349 7.68/8.70 c 7.68/8.70 c 7.68/8.70 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-18.xml 7.68/8.70 c 19 > 0.000000 | c 35 > 20.555600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.651400 | c 34 > 11.666700 | c 16 > 3.000000 | c 13 > 11.358300 | c 14 > 13.383800 | c 11 > 6.108520 | c 12 > 11.529200 | c 21 > 4.185010 | c 20 > 100.000000 | c 22 > 4.242640 | 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.129280 | c 2 > -1.000000 | c 10 > 8.417850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.547900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.087460 | c 7.75/8.70 c choco : 1.78 7.75/8.70 c mistral : 0.66 7.75/8.70 c abscon : 0.834872 7.75/8.70 c 7.75/8.70 c 7.75/8.70 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-13.xml 7.75/8.70 c 19 > 0.000000 | c 35 > 20.769200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.673100 | c 34 > 12.307700 | c 16 > 3.000000 | c 13 > 11.884400 | c 14 > 13.793500 | c 11 > 5.614710 | c 12 > 11.868100 | c 21 > 3.538360 | c 20 > 100.000000 | c 22 > 3.605550 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 7.507790 | 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.564150 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.584960 | c 7.75/8.71 c choco : 1.52 7.75/8.71 c mistral : 0.03 7.75/8.71 c abscon : 0.804877 7.75/8.71 c 7.75/8.71 c 7.75/8.71 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml 7.75/8.71 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.75/8.71 c choco : 3.28 7.75/8.71 c mistral : 1800.02 7.75/8.71 c abscon : 5.34119 7.75/8.71 c 7.75/8.71 c 7.75/8.71 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-14.xml 7.75/8.71 c 19 > 0.000000 | c 35 > 20.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.718800 | c 34 > 12.142900 | c 16 > 3.000000 | c 13 > 11.908500 | c 14 > 13.678700 | c 11 > 5.727920 | c 12 > 12.135200 | c 21 > 3.676750 | c 20 > 100.000000 | c 22 > 3.741660 | 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 > 4.754890 | c 2 > -1.000000 | c 10 > 7.714250 | 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.789530 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.700440 | c 7.75/8.72 c choco : 1.58 7.75/8.72 c mistral : 0.04 7.75/8.72 c abscon : 0.793879 7.75/8.72 c 7.75/8.72 c 7.75/8.72 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-9.xml 7.75/8.72 c 19 > 0.000000 | c 35 > 21.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.200800 | c 34 > 13.333300 | c 16 > 3.000000 | c 13 > 6.695150 | c 14 > 8.794420 | c 11 > 5.044390 | c 12 > 6.626260 | c 21 > 2.920520 | c 20 > 100.000000 | c 22 > 3.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 > 4.087460 | c 2 > -1.000000 | c 10 > 6.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.430450 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.000000 | c 7.75/8.72 c choco : 1.29 7.75/8.72 c mistral : 0.015996 7.75/8.72 c abscon : 0.676896 7.75/8.72 c 7.75/8.72 c 7.75/8.72 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-16.xml 7.75/8.72 c 19 > 0.000000 | c 35 > 20.625000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.580100 | c 34 > 11.875000 | c 16 > 3.000000 | c 13 > 12.194200 | c 14 > 13.336900 | c 11 > 5.930740 | c 12 > 12.201500 | c 21 > 3.939050 | c 20 > 100.000000 | c 22 > 4.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 > 4.954200 | c 2 > -1.000000 | c 10 > 8.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.193500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.906890 | c 7.75/8.73 c choco : 1.68 7.75/8.73 c mistral : 0.21 7.75/8.73 c abscon : 0.808876 7.75/8.73 c 7.75/8.73 c 7.75/8.73 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-15.xml 7.75/8.73 c 19 > 0.000000 | c 35 > 20.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.640100 | c 34 > 12.000000 | c 16 > 3.000000 | c 13 > 12.122100 | c 14 > 13.485100 | c 11 > 5.832890 | c 12 > 12.348600 | c 21 > 3.810150 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > 4.857980 | c 2 > -1.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.998590 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.807350 | c 7.75/8.73 c choco : 1.62 7.75/8.73 c mistral : 0.150976 7.75/8.73 c abscon : 0.78188 7.75/8.73 c 7.75/8.73 c 7.75/8.73 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-12.xml 7.75/8.73 c 19 > 0.000000 | c 35 > 20.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.618500 | c 34 > 12.500000 | c 16 > 3.000000 | c 13 > 12.222100 | c 14 > 13.773400 | c 11 > 5.491850 | c 12 > 12.438100 | c 21 > 3.394370 | c 20 > 100.000000 | c 22 > 3.464100 | 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 > 4.523560 | c 2 > -1.000000 | c 10 > 7.285400 | 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.319670 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.459430 | c 7.75/8.74 c choco : 1.44 7.75/8.74 c mistral : 0.03 7.75/8.74 c abscon : 0.726888 7.75/8.74 c 7.75/8.74 c 7.75/8.74 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml 7.75/8.74 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.75/8.74 c choco : 3.47 7.75/8.74 c mistral : 25.06 7.75/8.74 c abscon : 7.93379 7.75/8.74 c 7.75/8.74 c 7.75/8.74 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-7-a4.xml 7.75/8.74 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.918100 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 6.133140 | c 14 > 7.994350 | c 11 > 8.479780 | c 12 > 3.996460 | c 21 > 4.242640 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 2.807350 | c 10 > 9.092760 | 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.595300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c 7.75/8.75 c choco : 2.24 7.75/8.75 c mistral : 0.108983 7.75/8.75 c abscon : 0.937856 7.75/8.75 c 7.75/8.75 c 7.75/8.75 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-55-10-a3.xml 7.75/8.75 c 19 > 0.000000 | c 35 > 20.416700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.990200 | c 34 > 10.416700 | c 16 > 3.000000 | c 13 > 10.402300 | c 14 > 12.573200 | c 11 > 5.781360 | c 12 > 10.441500 | c 21 > 7.428450 | c 20 > 100.000000 | c 22 > 7.483310 | 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.491850 | c 2 > 3.321930 | c 10 > 10.076800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.563200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/8.75 c choco : 1801.0 7.75/8.75 c mistral : 6.87196 7.75/8.75 c abscon : 130.402 7.75/8.75 c 7.75/8.75 c 7.75/8.75 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-67-11-a3.xml 7.75/8.76 c 19 > 0.000000 | c 35 > 20.344800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.105200 | c 34 > 10.344800 | c 16 > 3.000000 | c 13 > 9.954950 | c 14 > 12.186700 | c 11 > 6.044390 | c 12 > 9.765150 | c 21 > 8.195530 | 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 > 5.781360 | c 2 > 3.459430 | c 10 > 10.639300 | 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.110800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/8.76 c choco : 1801.0 7.75/8.76 c mistral : 822.148 7.75/8.76 c abscon : 1800.08 7.75/8.76 c 7.75/8.76 c 7.75/8.76 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-7-a4.xml 7.75/8.76 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.726300 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 5.987050 | c 14 > 8.027910 | c 11 > 8.479780 | c 12 > 3.319910 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 2.807350 | c 10 > 9.092760 | 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.138300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c 7.75/8.77 c choco : 2.14 7.75/8.77 c mistral : 1.10983 7.75/8.77 c abscon : 0.921859 7.75/8.77 c 7.75/8.77 c 7.75/8.77 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-44-9-a3.xml 7.75/8.77 c 19 > 0.000000 | c 35 > 20.512800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.005900 | c 34 > 10.512800 | c 16 > 3.000000 | c 13 > 11.342000 | c 14 > 12.987100 | c 11 > 5.491850 | c 12 > 11.397100 | c 21 > 6.648310 | 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 > 5.169930 | c 2 > 3.169930 | c 10 > 9.455330 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.952000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/8.77 c choco : 23.9 7.75/8.77 c mistral : 1.00185 7.75/8.77 c abscon : 20.9298 7.75/8.78 c 7.75/8.78 c 7.75/8.78 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-34-8-a3.xml 7.75/8.78 c 19 > 0.000000 | c 35 > 20.645200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.619100 | c 34 > 10.645200 | c 16 > 3.000000 | c 13 > 6.547850 | c 14 > 8.761550 | c 11 > 5.169930 | c 12 > 6.356090 | c 21 > 5.849980 | 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 > 4.807350 | c 2 > 3.000000 | c 10 > 8.761550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.258600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/8.78 c choco : 2.1 7.75/8.78 c mistral : 0.082986 7.75/8.78 c abscon : 3.39848 7.75/8.78 c 7.75/8.78 c 7.75/8.78 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-70-12-a3.xml 7.75/8.78 c 19 > 0.000000 | c 35 > 20.289900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.749400 | c 34 > 10.289900 | c 16 > 3.000000 | c 13 > 9.961920 | c 14 > 12.747800 | c 11 > 6.285400 | c 12 > 9.443420 | c 21 > 8.375790 | c 20 > 100.000000 | c 22 > 8.426150 | 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.152900 | 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.414900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/8.79 c choco : 1801.0 7.75/8.79 c mistral : 757.64 7.75/8.79 c abscon : 1800.07 7.75/8.79 c 7.75/8.79 c 7.75/8.79 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-25-7-a3.xml 7.75/8.79 c 19 > 0.000000 | c 35 > 20.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.088700 | c 34 > 10.833300 | c 16 > 3.000000 | c 13 > 6.624280 | c 14 > 8.912890 | c 11 > 4.807350 | c 12 > 6.608910 | c 21 > 5.024940 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 4.392320 | c 2 > 2.807350 | c 10 > 7.977280 | 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.453270 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/8.79 c choco : 1.81 7.75/8.79 c mistral : 0.02 7.75/8.79 c abscon : 1.43678 7.75/8.79 c 7.75/8.79 c 7.75/8.80 c Length: 40 7.75/8.80 c 1.490155553927174 1.86492082791737 2.867355729779616 3.495494703686451 5.380974036631291 8.931881504565542 12.338152550981853 13.316571503052128 19.60180367303734 39.19523585163795 70.77109876466452 78.92800448077223 81.3861845550392 81.5462546118827 90.11005349508288 93.06104818094626 105.1006451194159 105.12546637469963 105.15953098416709 105.16052803109301 105.1667323099634 105.17531890636177 105.18331953308899 105.18587760055101 105.21077746504632 105.21818904837795 105.22255052849412 105.2290081173718 105.23351461929084 105.23775968761308 105.245349284738 105.24744667368182 105.25490553987592 105.25862097181256 105.27717542198357 105.28079902826443 105.28648059091063 105.28807008431345 105.30526272096186 105.30975874662994 7.80/8.80 c 7.80/8.80 c 1.0 0.9964032098902736 0.9869083457695246 0.9810504111283164 0.9638770471586363 0.9331148925872441 0.9053961452136184 0.897736073953215 0.851460163622913 0.7335794762595967 0.5997647341374279 0.5727742610230936 0.5651103390220819 0.5646183912389713 0.5394921654909466 0.5313441821064445 0.5005040580767078 0.5004441745157175 0.5003620138367346 0.500359609458373 0.5003446483610009 0.500323943980918 0.500304654058794 0.500298486740524 0.5002384628848073 0.5002205992313707 0.5002100876380519 0.5001945250290188 0.5001836650588083 0.5001734355343126 0.5001551475970266 0.5001500939523026 0.5001321226911231 0.5001231712765567 0.5000784737118835 0.5000697453975187 0.5000560606209692 0.5000522322551448 0.5000108267679818 0.5 7.80/8.81 c 7.80/8.81 c solver 0 7.80/8.81 c before 0.0 seconds: {} 0 7.80/8.81 c before 18.0 seconds: {3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 37, 39} 18910 7.80/8.81 c before 36.0 seconds: {3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 39} 19410 7.80/8.81 c before 90.0 seconds: {1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 39} 20406 7.80/8.81 c before 144.0 seconds: {1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 20907 7.80/8.81 c before 648.0 seconds: {1, 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, 35, 36, 37, 39} 21640 7.80/8.81 c 7.80/8.81 c solver 1 7.80/8.81 c before 0.0 seconds: {} 0 7.80/8.81 c before 18.0 seconds: {4, 5, 6, 7, 8, 9, 10, 14, 15, 16, 17, 18, 20, 21, 23, 24, 26, 27, 28, 29, 30, 32, 33, 35, 36, 37, 39} 15959 7.80/8.81 c before 36.0 seconds: {4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 17024 7.80/8.81 c before 54.0 seconds: {3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 18005 7.80/8.81 c before 126.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 19002 7.80/8.81 c before 558.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 19989 7.80/8.81 c before 774.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 20489 7.80/8.81 c before 828.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20989 7.80/8.81 c 7.80/8.81 c solver 2 7.80/8.81 c before 0.0 seconds: {} 0 7.80/8.81 c before 18.0 seconds: {4, 5, 6, 7, 8, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 37, 39} 15627 7.80/8.81 c before 36.0 seconds: {0, 3, 4, 5, 6, 7, 8, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 39} 18108 7.80/8.81 c before 54.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 39} 18841 7.80/8.81 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 39} 19838 7.80/8.81 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 39} 20825 7.80/8.81 c 7.80/8.81 cTotal time: 95 7.80/8.81 c 1710.0 seconds unused 7.80/8.81 c 0 c 5 c 5 7.80/8.81 c 3 c 0 c 5 7.80/8.81 c 2 c 4 c 0 7.80/8.81 c is solver0 dominated by: 7.80/8.81 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: true) (0 is equally as fast as 1: false) (0 < 1: false) 7.80/8.81 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.80/8.81 c is dominated? false 7.80/8.81 c 7.80/8.81 c is solver1 dominated by: 7.80/8.81 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: false) (1 is equally as fast as 0: false) (1 < 0: true) 7.80/8.81 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: false) (1 is equally as fast as 2: false) (1 < 2: false) 7.80/8.81 c is dominated? false 7.80/8.81 c 7.80/8.81 c is solver2 dominated by: 7.80/8.81 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.80/8.81 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: true) (2 is equally as fast as 1: false) (2 < 1: true) 7.80/8.81 c is dominated? false 7.80/8.81 c 7.80/8.81 c Number of non-dominated solvers: 3 7.80/8.81 c remove dominated solvers 7.80/8.81 c solver 0 is not dominated by another solver 7.80/8.81 c solver 1 is not dominated by another solver 7.80/8.81 c solver 2 is not dominated by another solver 7.80/8.81 c 7.80/8.81 c solver 0: 648.0 7.80/8.81 c 7.80/8.81 c+ 36/95 of 5 7.80/8.81 c 7.80/8.81 c solver 1: 828.0 7.80/8.81 c 7.80/8.81 c+ 46/95 of 5 7.80/8.81 c 7.80/8.81 c solver 2: 234.0 7.80/8.81 c 7.80/8.81 c+ 13/95 of 5 7.80/8.81 c run abscon for 666.0 seconds {1, 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, 35, 36, 37, 39} 21640 7.80/8.81 c run mistral for 864.0 seconds {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20989 7.80/8.82 c run choco for 234.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 39} 20825 7.80/8.82 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.80/8.82 c On Instance: HOME/instance-1046404-1215026637.xml 7.80/8.82 c Running for: 666 seconds 560.69/570.66 s SAT 560.69/570.66 v 11 3 5 14 9 12 1 8 2 13 4 10 7 17 15 16 6 8 -2 -9 5 -3 11 -7 6 -11 9 -6 3 -10 2 -1 10 6 -11 -4 2 8 4 -1 -5 -2 3 -3 -7 -8 1 9 -3 -6 -7 13 1 10 -12 4 -8 6 -13 -5 -9 11 2 -9 4 6 7 -1 -3 -2 -5 -4 -11 -6 1 -1 2 -3 12 -4 8 -9 1 -15 -2 -12 4 10 -5 3 1 5 2 -6 -9 -13 -3 -2 3 1 -8 10 -1 5 -16 -7 -14 7 9 -10 1 4 2 -5 -14 -8 -4 -2 -1 -5 7 -8 -3 -15 2 7 -7 -2 -3 -6 -4 -5 1 -4 -12 -1 -7 6 4 -14 -10 -2 3 -6 -12 -11 8 -4 -13 -1 560.69/570.66 d ASSIGNMENTS 307706 560.69/570.66 d CHECKS 1313958167
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-1046404-1215026637/watcher-1046404-1215026637 -o /tmp/evaluation-result-1046404-1215026637/solver-1046404-1215026637 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046404-1215026637.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/80 13901 /proc/meminfo: memFree=862764/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=0 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658390356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13901/statm: 1340 236 195 169 0 51 0 [pid=13904] ppid=13901 vsize=5116 CPUtime=0.11 /proc/13904/stat : 13904 (xsolve) R 13901 13901 12806 0 -1 4194304 656 0 0 0 11 0 0 0 18 0 1 0 658390356 5238784 615 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/13904/statm: 1279 615 428 177 0 182 0 [startup+0.20129 s] /proc/loadavg: 2.00 2.00 2.00 4/80 13901 /proc/meminfo: memFree=862764/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=0 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658390356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13901/statm: 1340 236 195 169 0 51 0 [pid=13904] ppid=13901 vsize=5116 CPUtime=0.19 /proc/13904/stat : 13904 (xsolve) R 13901 13901 12806 0 -1 4194304 656 0 0 0 19 0 0 0 18 0 1 0 658390356 5238784 615 996147200 134512640 135239763 4294956176 18446744073709551615 135015951 0 0 4096 0 0 0 0 17 0 0 0 /proc/13904/statm: 1279 615 428 177 0 182 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10476 [startup+0.3013 s] /proc/loadavg: 2.00 2.00 2.00 4/80 13901 /proc/meminfo: memFree=862764/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=0 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658390356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13901/statm: 1340 236 195 169 0 51 0 [pid=13904] ppid=13901 vsize=5116 CPUtime=0.29 /proc/13904/stat : 13904 (xsolve) R 13901 13901 12806 0 -1 4194304 656 0 0 0 29 0 0 0 19 0 1 0 658390356 5238784 615 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/13904/statm: 1279 615 428 177 0 182 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10476 [startup+0.401309 s] /proc/loadavg: 2.00 2.00 2.00 4/80 13901 /proc/meminfo: memFree=862764/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=0 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658390356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13901/statm: 1340 236 195 169 0 51 0 [pid=13904] ppid=13901 vsize=5116 CPUtime=0.39 /proc/13904/stat : 13904 (xsolve) R 13901 13901 12806 0 -1 4194304 656 0 0 0 39 0 0 0 20 0 1 0 658390356 5238784 615 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/13904/statm: 1279 615 428 177 0 182 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 10476 [startup+0.70134 s] /proc/loadavg: 2.00 2.00 2.00 4/80 13901 /proc/meminfo: memFree=862764/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=0 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658390356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13901/statm: 1340 236 195 169 0 51 0 [pid=13904] ppid=13901 vsize=5116 CPUtime=0.69 /proc/13904/stat : 13904 (xsolve) R 13901 13901 12806 0 -1 4194304 656 0 0 0 69 0 0 0 23 0 1 0 658390356 5238784 615 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/13904/statm: 1279 615 428 177 0 182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10476 [startup+1.50142 s] /proc/loadavg: 2.00 2.00 2.00 3/82 13905 /proc/meminfo: memFree=861660/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=1.48 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 375 1251 0 0 0 0 147 1 20 0 1 0 658390356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13901/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5360 [startup+3.10159 s] /proc/loadavg: 2.00 2.00 2.00 3/90 13917 /proc/meminfo: memFree=853660/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=1.48 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 375 1251 0 0 0 0 147 1 20 0 1 0 658390356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13901/statm: 1340 238 196 169 0 51 0 [pid=13909] ppid=13901 vsize=196996 CPUtime=1.14 /proc/13909/stat : 13909 (java) S 13901 13901 12806 0 -1 0 4654 0 1 0 110 4 0 0 21 0 9 0 658390505 201723904 3921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13909/statm: 49249 3921 1678 9 0 43831 0 [pid=13909/tid=13910] ppid=13901 vsize=196996 CPUtime=0.87 /proc/13909/task/13910/stat : 13910 (java) R 13901 13901 12806 0 -1 64 2659 0 1 0 85 2 0 0 25 0 9 0 658390506 201723904 3921 996147200 134512640 134550740 4294955968 18446744073709551615 4126468951 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13911] ppid=13901 vsize=196996 CPUtime=0.12 /proc/13909/task/13911/stat : 13911 (java) S 13901 13901 12806 0 -1 64 665 0 0 0 11 1 0 0 15 0 9 0 658390507 201723904 3921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13912] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13912/stat : 13912 (java) S 13901 13901 12806 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 658390507 201723904 3921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13913] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13913/stat : 13913 (java) S 13901 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 658390507 201723904 3921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13914] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13914/stat : 13914 (java) S 13901 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658390509 201723904 3921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13915] ppid=13901 vsize=196996 CPUtime=0.12 /proc/13909/task/13915/stat : 13915 (java) S 13901 13901 12806 0 -1 64 605 0 0 0 12 0 0 0 16 0 9 0 658390509 201723904 3921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13916] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13916/stat : 13916 (java) S 13901 13901 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 658390509 201723904 3921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13917] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13917/stat : 13917 (java) S 13901 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 658390509 201723904 3921 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.62 Current children cumulated vsize (KiB) 202356 [startup+6.30292 s] /proc/loadavg: 2.16 2.03 2.01 3/90 13917 /proc/meminfo: memFree=845148/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=1.48 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 375 1251 0 0 0 0 147 1 20 0 1 0 658390356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13901/statm: 1340 238 196 169 0 51 0 [pid=13909] ppid=13901 vsize=196996 CPUtime=3.99 /proc/13909/stat : 13909 (java) S 13901 13901 12806 0 -1 0 8683 0 1 0 388 11 0 0 21 0 9 0 658390505 201723904 7173 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13909/statm: 49249 7173 2541 9 0 43831 0 [pid=13909/tid=13910] ppid=13901 vsize=196996 CPUtime=3.2 /proc/13909/task/13910/stat : 13910 (java) R 13901 13901 12806 0 -1 64 3272 0 1 0 316 4 0 0 25 0 9 0 658390506 201723904 7173 996147200 134512640 134550740 4294955968 18446744073709551615 4126444450 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13911] ppid=13901 vsize=196996 CPUtime=0.59 /proc/13909/task/13911/stat : 13911 (java) S 13901 13901 12806 0 -1 64 4056 0 0 0 54 5 0 0 16 0 9 0 658390507 201723904 7173 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13912] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13912/stat : 13912 (java) S 13901 13901 12806 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 658390507 201723904 7173 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13913] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13913/stat : 13913 (java) S 13901 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658390507 201723904 7173 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13914] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13914/stat : 13914 (java) S 13901 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658390509 201723904 7173 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13915] ppid=13901 vsize=196996 CPUtime=0.16 /proc/13909/task/13915/stat : 13915 (java) S 13901 13901 12806 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 658390509 201723904 7173 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13916] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13916/stat : 13916 (java) S 13901 13901 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 658390509 201723904 7173 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13917] ppid=13901 vsize=196996 CPUtime=0 /proc/13909/task/13917/stat : 13917 (java) S 13901 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 658390509 201723904 7173 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.47 Current children cumulated vsize (KiB) 202356 [startup+12.7548 s] /proc/loadavg: 2.31 2.07 2.02 3/102 13929 /proc/meminfo: memFree=799340/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=1.48 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 375 1251 0 0 0 0 147 1 20 0 1 0 658390356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13901/statm: 1340 238 196 169 0 51 0 [pid=13909] ppid=13901 vsize=197428 CPUtime=6.34 /proc/13909/stat : 13909 (java) S 13901 13901 12806 0 -1 0 12700 0 1 0 616 18 0 0 21 0 10 0 658390505 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13909/statm: 49357 9445 2544 9 0 43939 0 [pid=13919] ppid=13909 vsize=5356 CPUtime=0 /proc/13919/stat : 13919 (abscon) S 13909 13901 12806 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 658391238 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13919/statm: 1339 237 196 169 0 50 0 [pid=13920] ppid=13919 vsize=655444 CPUtime=3.61 /proc/13920/stat : 13920 (java) S 13919 13901 12806 0 -1 0 11519 0 1 0 352 9 0 0 19 0 9 0 658391238 671174656 10835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13920/statm: 163861 10835 2612 9 0 158389 0 [pid=13920/tid=13922] ppid=13919 vsize=655444 CPUtime=3.34 /proc/13920/task/13922/stat : 13922 (java) R 13919 13901 12806 0 -1 64 9256 0 1 0 327 7 0 0 25 0 9 0 658391239 671174656 10835 996147200 134512640 134550740 4294955808 18446744073709551615 4126829607 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13923] ppid=13919 vsize=655444 CPUtime=0.03 /proc/13920/task/13923/stat : 13923 (java) S 13919 13901 12806 0 -1 64 1186 0 0 0 3 0 0 0 17 0 9 0 658391240 671174656 10835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13924] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13924/stat : 13924 (java) S 13919 13901 12806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 658391241 671174656 10835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13925] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13925/stat : 13925 (java) S 13919 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 658391241 671174656 10835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13926] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13926/stat : 13926 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 658391242 671174656 10835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13927] ppid=13919 vsize=655444 CPUtime=0.21 /proc/13920/task/13927/stat : 13927 (java) S 13919 13901 12806 0 -1 64 531 0 0 0 20 1 0 0 15 0 9 0 658391242 671174656 10835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13928] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13928/stat : 13928 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 658391242 671174656 10835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13929] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13929/stat : 13929 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 658391242 671174656 10835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13921] ppid=13919 vsize=7044 CPUtime=0 /proc/13921/stat : 13921 (translate) S 13919 13901 12806 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 658391239 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 256365002834 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/13921/statm: 1761 213 182 1 0 41 0 [pid=13909/tid=13910] ppid=13901 vsize=197428 CPUtime=5.13 /proc/13909/task/13910/stat : 13910 (java) S 13901 13901 12806 0 -1 64 3856 0 1 0 506 7 0 0 25 0 10 0 658390506 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=13909/tid=13911] ppid=13901 vsize=197428 CPUtime=0.95 /proc/13909/task/13911/stat : 13911 (java) S 13901 13901 12806 0 -1 64 7354 0 0 0 87 8 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13912] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13912/stat : 13912 (java) S 13901 13901 12806 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13913] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13913/stat : 13913 (java) S 13901 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13914] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13914/stat : 13914 (java) S 13901 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13915] ppid=13901 vsize=197428 CPUtime=0.22 /proc/13909/task/13915/stat : 13915 (java) S 13901 13901 12806 0 -1 64 669 0 0 0 22 0 0 0 16 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13916] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13916/stat : 13916 (java) S 13901 13901 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13917] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13917/stat : 13917 (java) S 13901 13901 12806 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13918] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13918/stat : 13918 (java) S 13901 13901 12806 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 658391238 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.43 Current children cumulated vsize (KiB) 870632 [startup+25.5029 s] /proc/loadavg: 2.53 2.13 2.04 4/102 13929 /proc/meminfo: memFree=799212/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=1.48 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 375 1251 0 0 0 0 147 1 20 0 1 0 658390356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13901/statm: 1340 238 196 169 0 51 0 [pid=13909] ppid=13901 vsize=197428 CPUtime=6.34 /proc/13909/stat : 13909 (java) S 13901 13901 12806 0 -1 0 12700 0 1 0 616 18 0 0 21 0 10 0 658390505 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13909/statm: 49357 9445 2544 9 0 43939 0 ################ # More data... # ################ /proc/13920/task/13923/stat : 13923 (java) S 13919 13901 12806 0 -1 64 1186 0 0 0 3 0 0 0 16 0 9 0 658391240 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13924] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13924/stat : 13924 (java) S 13919 13901 12806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 658391241 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13925] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13925/stat : 13925 (java) S 13919 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 658391241 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13926] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13926/stat : 13926 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13927] ppid=13919 vsize=655444 CPUtime=0.24 /proc/13920/task/13927/stat : 13927 (java) S 13919 13901 12806 0 -1 64 549 0 0 0 23 1 0 0 16 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13928] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13928/stat : 13928 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13929] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13929/stat : 13929 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13921] ppid=13919 vsize=7044 CPUtime=0 /proc/13921/stat : 13921 (translate) S 13919 13901 12806 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 658391239 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 256365002834 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/13921/statm: 1761 213 182 1 0 41 0 [pid=13909/tid=13910] ppid=13901 vsize=197428 CPUtime=5.13 /proc/13909/task/13910/stat : 13910 (java) S 13901 13901 12806 0 -1 64 3856 0 1 0 506 7 0 0 25 0 10 0 658390506 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=13909/tid=13911] ppid=13901 vsize=197428 CPUtime=0.95 /proc/13909/task/13911/stat : 13911 (java) S 13901 13901 12806 0 -1 64 7354 0 0 0 87 8 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13912] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13912/stat : 13912 (java) S 13901 13901 12806 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13913] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13913/stat : 13913 (java) S 13901 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13914] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13914/stat : 13914 (java) S 13901 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13915] ppid=13901 vsize=197428 CPUtime=0.22 /proc/13909/task/13915/stat : 13915 (java) S 13901 13901 12806 0 -1 64 669 0 0 0 22 0 0 0 16 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13916] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13916/stat : 13916 (java) S 13901 13901 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13917] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13917/stat : 13917 (java) S 13901 13901 12806 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13918] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13918/stat : 13918 (java) S 13901 13901 12806 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 658391238 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 560.12 Current children cumulated vsize (KiB) 870632 [startup+570.402 s] /proc/loadavg: 2.15 2.11 2.07 4/95 14135 /proc/meminfo: memFree=828988/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=1.48 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 375 1251 0 0 0 0 147 1 20 0 1 0 658390356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13901/statm: 1340 238 196 169 0 51 0 [pid=13909] ppid=13901 vsize=197428 CPUtime=6.34 /proc/13909/stat : 13909 (java) S 13901 13901 12806 0 -1 0 12700 0 1 0 616 18 0 0 21 0 10 0 658390505 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13909/statm: 49357 9445 2544 9 0 43939 0 [pid=13919] ppid=13909 vsize=5356 CPUtime=0 /proc/13919/stat : 13919 (abscon) S 13909 13901 12806 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 658391238 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13919/statm: 1339 237 196 169 0 50 0 [pid=13920] ppid=13919 vsize=655444 CPUtime=552.69 /proc/13920/stat : 13920 (java) S 13919 13901 12806 0 -1 0 11556 0 1 0 55256 13 0 0 19 0 9 0 658391238 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13920/statm: 163861 10862 2612 9 0 158389 0 [pid=13920/tid=13922] ppid=13919 vsize=655444 CPUtime=552.4 /proc/13920/task/13922/stat : 13922 (java) R 13919 13901 12806 0 -1 64 9275 0 1 0 55229 11 0 0 25 0 9 0 658391239 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4126818962 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13923] ppid=13919 vsize=655444 CPUtime=0.03 /proc/13920/task/13923/stat : 13923 (java) S 13919 13901 12806 0 -1 64 1186 0 0 0 3 0 0 0 16 0 9 0 658391240 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13924] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13924/stat : 13924 (java) S 13919 13901 12806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 658391241 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13925] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13925/stat : 13925 (java) S 13919 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 658391241 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13926] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13926/stat : 13926 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13927] ppid=13919 vsize=655444 CPUtime=0.24 /proc/13920/task/13927/stat : 13927 (java) S 13919 13901 12806 0 -1 64 549 0 0 0 23 1 0 0 16 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13928] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13928/stat : 13928 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13929] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13929/stat : 13929 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13921] ppid=13919 vsize=7044 CPUtime=0 /proc/13921/stat : 13921 (translate) S 13919 13901 12806 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 658391239 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 256365002834 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/13921/statm: 1761 213 182 1 0 41 0 [pid=13909/tid=13910] ppid=13901 vsize=197428 CPUtime=5.13 /proc/13909/task/13910/stat : 13910 (java) S 13901 13901 12806 0 -1 64 3856 0 1 0 506 7 0 0 25 0 10 0 658390506 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=13909/tid=13911] ppid=13901 vsize=197428 CPUtime=0.95 /proc/13909/task/13911/stat : 13911 (java) S 13901 13901 12806 0 -1 64 7354 0 0 0 87 8 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13912] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13912/stat : 13912 (java) S 13901 13901 12806 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13913] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13913/stat : 13913 (java) S 13901 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13914] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13914/stat : 13914 (java) S 13901 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13915] ppid=13901 vsize=197428 CPUtime=0.22 /proc/13909/task/13915/stat : 13915 (java) S 13901 13901 12806 0 -1 64 669 0 0 0 22 0 0 0 16 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13916] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13916/stat : 13916 (java) S 13901 13901 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13917] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13917/stat : 13917 (java) S 13901 13901 12806 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13918] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13918/stat : 13918 (java) S 13901 13901 12806 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 658391238 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 560.51 Current children cumulated vsize (KiB) 870632 [startup+570.602 s] /proc/loadavg: 2.15 2.11 2.07 4/95 14135 /proc/meminfo: memFree=828988/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=1.48 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 375 1251 0 0 0 0 147 1 20 0 1 0 658390356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13901/statm: 1340 238 196 169 0 51 0 [pid=13909] ppid=13901 vsize=197428 CPUtime=6.34 /proc/13909/stat : 13909 (java) S 13901 13901 12806 0 -1 0 12700 0 1 0 616 18 0 0 21 0 10 0 658390505 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13909/statm: 49357 9445 2544 9 0 43939 0 [pid=13919] ppid=13909 vsize=5356 CPUtime=0 /proc/13919/stat : 13919 (abscon) S 13909 13901 12806 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 658391238 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13919/statm: 1339 237 196 169 0 50 0 [pid=13920] ppid=13919 vsize=655444 CPUtime=552.87 /proc/13920/stat : 13920 (java) S 13919 13901 12806 0 -1 0 11556 0 1 0 55274 13 0 0 19 0 9 0 658391238 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13920/statm: 163861 10862 2612 9 0 158389 0 [pid=13920/tid=13922] ppid=13919 vsize=655444 CPUtime=552.57 /proc/13920/task/13922/stat : 13922 (java) R 13919 13901 12806 0 -1 64 9275 0 1 0 55246 11 0 0 25 0 9 0 658391239 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4126835859 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13923] ppid=13919 vsize=655444 CPUtime=0.03 /proc/13920/task/13923/stat : 13923 (java) S 13919 13901 12806 0 -1 64 1186 0 0 0 3 0 0 0 16 0 9 0 658391240 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13924] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13924/stat : 13924 (java) S 13919 13901 12806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 658391241 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13925] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13925/stat : 13925 (java) S 13919 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 658391241 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13926] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13926/stat : 13926 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13927] ppid=13919 vsize=655444 CPUtime=0.24 /proc/13920/task/13927/stat : 13927 (java) S 13919 13901 12806 0 -1 64 549 0 0 0 23 1 0 0 16 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13928] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13928/stat : 13928 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13920/tid=13929] ppid=13919 vsize=655444 CPUtime=0 /proc/13920/task/13929/stat : 13929 (java) S 13919 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 658391242 671174656 10862 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13921] ppid=13919 vsize=7044 CPUtime=0 /proc/13921/stat : 13921 (translate) S 13919 13901 12806 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 658391239 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 256365002834 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/13921/statm: 1761 213 182 1 0 41 0 [pid=13909/tid=13910] ppid=13901 vsize=197428 CPUtime=5.13 /proc/13909/task/13910/stat : 13910 (java) S 13901 13901 12806 0 -1 64 3856 0 1 0 506 7 0 0 25 0 10 0 658390506 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=13909/tid=13911] ppid=13901 vsize=197428 CPUtime=0.95 /proc/13909/task/13911/stat : 13911 (java) S 13901 13901 12806 0 -1 64 7354 0 0 0 87 8 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13912] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13912/stat : 13912 (java) S 13901 13901 12806 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13913] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13913/stat : 13913 (java) S 13901 13901 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 658390507 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13914] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13914/stat : 13914 (java) S 13901 13901 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13915] ppid=13901 vsize=197428 CPUtime=0.22 /proc/13909/task/13915/stat : 13915 (java) S 13901 13901 12806 0 -1 64 669 0 0 0 22 0 0 0 16 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13916] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13916/stat : 13916 (java) S 13901 13901 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13917] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13917/stat : 13917 (java) S 13901 13901 12806 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 658390509 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13909/tid=13918] ppid=13901 vsize=197428 CPUtime=0 /proc/13909/task/13918/stat : 13918 (java) S 13901 13901 12806 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 658391238 202166272 9445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 560.69 Current children cumulated vsize (KiB) 870632 [startup+570.704 s] /proc/loadavg: 2.15 2.11 2.07 4/95 14135 /proc/meminfo: memFree=828988/2055920 swapFree=4149808/4192956 [pid=13901] ppid=13899 vsize=5360 CPUtime=1.48 /proc/13901/stat : 13901 (hydra) S 13899 13901 12806 0 -1 4194304 375 1251 0 0 0 0 147 1 20 0 1 0 658390356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13901/statm: 1340 238 196 169 0 51 0 [pid=13909] ppid=13901 vsize=197428 CPUtime=559.28 /proc/13909/stat : 13909 (java) R 13901 13901 12806 0 -1 0 12809 12265 1 1 616 19 55278 15 16 0 7 0 658390505 202166272 9447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 256 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13909/statm: 49357 9447 2545 9 0 43939 0 [pid=13909/tid=13910] ppid=13901 vsize=197428 CPUtime=558.06 /proc/13909/task/13910/stat : 13910 (java) R 13901 13901 12806 0 -1 64 3911 12265 1 1 506 7 55278 15 16 0 7 0 658390506 202166272 9447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 1 0 0 [pid=13909/tid=13912] ppid=13901 vsize=197428 CPUtime=552.93 /proc/13909/task/13912/stat : 13912 (java) R 13901 13901 12806 0 -1 64 11 12265 0 1 0 0 55278 15 16 0 7 0 658390507 202166272 9447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 1 0 0 [pid=13909/tid=13913] ppid=13901 vsize=197428 CPUtime=552.93 /proc/13909/task/13913/stat : 13913 (java) R 13901 13901 12806 0 -1 64 5 12265 0 1 0 0 55278 15 16 0 7 0 658390507 202166272 9447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 1 0 0 [pid=13909/tid=13914] ppid=13901 vsize=197428 CPUtime=552.93 /proc/13909/task/13914/stat : 13914 (java) R 13901 13901 12806 0 -1 64 1 12265 0 1 0 0 55278 15 16 0 7 0 658390509 202166272 9447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 1 0 0 [pid=13909/tid=13915] ppid=13901 vsize=197428 CPUtime=553.15 /proc/13909/task/13915/stat : 13915 (java) R 13901 13901 12806 0 -1 64 669 12265 0 1 22 0 55278 15 16 0 7 0 658390509 202166272 9447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 1 0 0 [pid=13909/tid=13916] ppid=13901 vsize=197428 CPUtime=552.93 /proc/13909/task/13916/stat : 13916 (java) R 13901 13901 12806 0 -1 64 0 12265 0 1 0 0 55278 15 16 0 7 0 658390509 202166272 9447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 560.76 Current children cumulated vsize (KiB) 202788 Child status: 0 Real time (s): 570.71 CPU time (s): 560.795 CPU user time (s): 560.424 CPU system time (s): 0.370943 CPU usage (%): 98.2627 Max. virtual memory (cumulated for all children) (KiB): 870632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 560.424 system time used= 0.370943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26716 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= 33501 involuntary context switches= 34125 runsolver used 3.02854 second user time and 6.18706 second system time The end
Begin job on node90 at 2008-07-02 21:23:58 IDJOB=1046404 IDBENCH=53785 IDSOLVER=366 FILE ID=node90/1046404-1215026637 PBS_JOBID= 7874292 Free space on /tmp= 65540 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/costasArray/normalized-costasArray-17.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046404-1215026637/watcher-1046404-1215026637 -o /tmp/evaluation-result-1046404-1215026637/solver-1046404-1215026637 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046404-1215026637.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= a859df5bbc3805b2a959faf75cbcf472 RANDOM SEED=895531064 node90.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.236 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.236 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 863180 kB Buffers: 74940 kB Cached: 936124 kB SwapCached: 37428 kB Active: 517248 kB Inactive: 593844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 863180 kB SwapTotal: 4192956 kB SwapFree: 4149808 kB Dirty: 24352 kB Writeback: 0 kB Mapped: 113296 kB Slab: 66816 kB Committed_AS: 1590232 kB PageTables: 2000 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= 65492 MiB End job on node90 at 2008-07-02 21:33:29