Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800 | 1811.43 |
Name | csp/costasArray/ normalized-costasArray-20.xml |
MD5SUM | 145c5c87867fde59caf4355db1528459 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 207 |
Number of constraints | 206 |
Maximum constraint arity | 20 |
Maximum domain size | 38 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 188 |
Global constraints used (with number of constraints) | alldifferent(18) |
0.19/0.20 c cpHydra_k_40 version 0.0 6.66/6.72 c CASE TO CLASSIFY: 6.66/6.72 c Case: 0 6.66/6.72 c 19 > 0.000000 | c 35 > 30.053200 | c 17 > 0.000000 | c 18 > 8.737860 | c 33 > 0.000000 | c 15 > 20.259000 | c 34 > 20.053200 | c 16 > 20.000000 | c 13 > 7.828060 | c 14 > 10.911400 | c 11 > 7.707360 | c 12 > 6.805070 | c 21 > 6.021700 | c 20 > 91.262100 | c 22 > 6.164410 | c 23 > 97.683600 | c 24 > 97.435900 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.693490 | c 2 > -1.000000 | c 10 > 10.585900 | 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.888700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c 6.66/6.73 c choco : 1801.0 6.66/6.73 c mistral : 1801.0 6.66/6.73 c abscon : 1801.0 6.66/6.73 c 6.66/6.73 c 6.75/6.80 c List of same ones: 40 6.75/6.80 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml 6.75/6.80 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 6.75/6.81 c choco : 229.74 6.75/6.81 c mistral : 552.16 6.75/6.81 c abscon : 1801.0 6.75/6.81 c 6.75/6.81 c 6.75/6.81 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml 6.75/6.81 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 6.75/6.82 c choco : 24.02 6.75/6.82 c mistral : 1801.0 6.75/6.82 c abscon : 1801.0 6.75/6.82 c 6.75/6.82 c 6.75/6.82 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml 6.75/6.82 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 6.75/6.83 c choco : 81.95 6.75/6.83 c mistral : 110.72 6.75/6.83 c abscon : 72.55 6.75/6.83 c 6.75/6.83 c 6.75/6.83 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml 6.75/6.83 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 6.75/6.84 c choco : 33.25 6.75/6.84 c mistral : 36.8 6.75/6.84 c abscon : 10.75 6.75/6.84 c 6.75/6.84 c 6.75/6.84 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml 6.75/6.84 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 6.75/6.85 c choco : 17.59 6.75/6.85 c mistral : 7.72 6.75/6.85 c abscon : 7.11 6.75/6.85 c 6.75/6.85 c 6.75/6.85 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-13.xml 6.75/6.85 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 6.75/6.86 c choco : 17.72 6.75/6.86 c mistral : 0.2 6.75/6.86 c abscon : 6.83 6.75/6.86 c 6.75/6.86 c 6.75/6.86 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-12.xml 6.75/6.86 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 6.75/6.86 c choco : 12.41 6.75/6.86 c mistral : 0.15 6.75/6.86 c abscon : 5.75 6.75/6.86 c 6.75/6.86 c 6.75/6.86 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-11.xml 6.75/6.86 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 6.75/6.87 c choco : 16.54 6.75/6.87 c mistral : 0.03 6.75/6.87 c abscon : 4.59 6.75/6.87 c 6.75/6.87 c 6.75/6.87 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-10.xml 6.75/6.87 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 6.75/6.88 c choco : 3.04 6.75/6.88 c mistral : 0.03 6.75/6.88 c abscon : 2.48 6.75/6.88 c 6.75/6.88 c 6.75/6.88 c /home/eomahony/cpZilla/CSP/xml/nengfa/protein.xml 6.75/6.88 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 6.75/6.89 c choco : 53.77 6.75/6.89 c mistral : 0.019996 6.75/6.89 c abscon : 639.803 6.75/6.89 c 6.75/6.89 c 6.75/6.89 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml 6.75/6.89 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 6.75/6.90 c choco : 1801.0 6.75/6.90 c mistral : 6.57 6.75/6.90 c abscon : 10.45 6.75/6.90 c 6.75/6.90 c 6.75/6.90 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml 6.75/6.90 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 6.82/6.91 c choco : 1801.0 6.82/6.91 c mistral : 1801.0 6.82/6.91 c abscon : 11.05 6.82/6.91 c 6.82/6.91 c 6.82/6.91 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml 6.82/6.91 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 6.82/6.92 c choco : 1801.0 6.82/6.92 c mistral : 26.31 6.82/6.92 c abscon : 11.66 6.82/6.92 c 6.82/6.92 c 6.82/6.92 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml 6.82/6.92 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 6.82/6.93 c choco : 1801.0 6.82/6.93 c mistral : 1801.0 6.82/6.93 c abscon : 9.29 6.82/6.93 c 6.82/6.93 c 6.82/6.93 c /home/eomahony/cpZilla/CSP/xml/nengfa/queens2.xml 6.82/6.93 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 6.82/6.94 c choco : 7.96 6.82/6.94 c mistral : 0.043992 6.82/6.94 c abscon : 4.92825 6.82/6.94 c 6.82/6.94 c 6.82/6.94 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml 6.82/6.94 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 6.82/6.94 c choco : 13.82 6.82/6.94 c mistral : 0.32 6.82/6.94 c abscon : 7.62 6.82/6.94 c 6.82/6.94 c 6.82/6.94 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml 6.82/6.94 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 6.82/6.95 c choco : 2.63 6.82/6.95 c mistral : 1800.03 6.82/6.95 c abscon : 2.32365 6.82/6.95 c 6.82/6.95 c 6.82/6.95 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml 6.82/6.95 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 6.82/6.95 c choco : 2.94 6.82/6.95 c mistral : 1800.01 6.82/6.95 c abscon : 3.38349 6.82/6.95 c 6.82/6.95 c 6.82/6.95 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-10.xml 6.82/6.95 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 6.82/6.96 c choco : 1.36 6.82/6.96 c mistral : 0.02 6.82/6.96 c abscon : 0.719889 6.82/6.96 c 6.82/6.96 c 6.82/6.96 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-30.xml 6.82/6.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 6.82/6.97 c choco : 2.42 6.82/6.97 c mistral : 1.26 6.82/6.97 c abscon : 1.59976 6.82/6.97 c 6.82/6.97 c 6.82/6.97 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-7-a4.xml 6.82/6.97 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 6.82/6.97 c choco : 2.24 6.82/6.97 c mistral : 0.108983 6.82/6.97 c abscon : 0.937856 6.82/6.97 c 6.82/6.97 c 6.82/6.97 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml 6.82/6.97 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 6.82/6.98 c choco : 3.28 6.82/6.98 c mistral : 1800.02 6.82/6.98 c abscon : 5.34119 6.82/6.98 c 6.82/6.98 c 6.82/6.98 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-7-a4.xml 6.82/6.98 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 6.82/6.98 c choco : 2.14 6.82/6.98 c mistral : 1.10983 6.82/6.98 c abscon : 0.921859 6.82/6.98 c 6.82/6.98 c 6.82/6.98 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml 6.82/6.98 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 6.82/6.99 c choco : 3.47 6.82/6.99 c mistral : 25.06 6.82/6.99 c abscon : 7.93379 6.82/6.99 c 6.82/6.99 c 6.82/6.99 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-25.xml 6.82/6.99 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 6.82/7.00 c choco : 2.2 6.82/7.00 c mistral : 4.04 6.82/7.00 c abscon : 1.11883 6.82/7.00 c 6.82/7.00 c 6.82/7.00 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-11.xml 6.82/7.00 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 6.89/7.00 c choco : 1.42 6.89/7.00 c mistral : 0.02 6.89/7.00 c abscon : 0.757884 6.89/7.00 c 6.89/7.00 c 6.89/7.00 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml 6.89/7.00 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 6.89/7.01 c choco : 4.06 6.89/7.01 c mistral : 1800.09 6.89/7.01 c abscon : 19.4 6.89/7.01 c 6.89/7.01 c 6.89/7.01 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-20.xml 6.89/7.01 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 6.89/7.01 c choco : 1.97 6.89/7.01 c mistral : 1.67 6.89/7.01 c abscon : 0.926858 6.89/7.01 c 6.89/7.01 c 6.89/7.01 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-6-a4.xml 6.89/7.01 c 19 > 0.000000 | c 35 > 33.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.037900 | c 34 > 27.000000 | c 16 > 4.000000 | c 13 > 4.840150 | c 14 > 6.285400 | c 11 > 7.459430 | c 12 > 2.641230 | 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.584960 | c 10 > 8.076820 | 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.564600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.409390 | c 6.89/7.02 c choco : 1.71 6.89/7.02 c mistral : 0.030994 6.89/7.02 c abscon : 0.751885 6.89/7.02 c 6.89/7.02 c 6.89/7.02 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-34-8-a3.xml 6.89/7.02 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 6.89/7.02 c choco : 2.1 6.89/7.02 c mistral : 0.082986 6.89/7.02 c abscon : 3.39848 6.89/7.02 c 6.89/7.02 c 6.89/7.02 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-9.xml 6.89/7.02 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 6.89/7.03 c choco : 1.29 6.89/7.03 c mistral : 0.015996 6.89/7.03 c abscon : 0.676896 6.89/7.03 c 6.89/7.03 c 6.89/7.03 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-67-11-a3.xml 6.89/7.03 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 6.89/7.03 c choco : 1801.0 6.89/7.03 c mistral : 822.148 6.89/7.03 c abscon : 1800.08 6.89/7.03 c 6.89/7.03 c 6.89/7.03 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-18.xml 6.89/7.03 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 6.89/7.04 c choco : 1.78 6.89/7.04 c mistral : 0.66 6.89/7.04 c abscon : 0.834872 6.89/7.04 c 6.89/7.04 c 6.89/7.04 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-55-10-a3.xml 6.89/7.04 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 6.89/7.04 c choco : 1801.0 6.89/7.04 c mistral : 6.87196 6.89/7.04 c abscon : 130.402 6.89/7.04 c 6.89/7.04 c 6.89/7.04 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-8-a4.xml 6.89/7.04 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.605800 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.576820 | c 14 > 8.879580 | c 11 > 9.348730 | c 12 > 4.144250 | 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 > 3.000000 | c 10 > 9.957100 | 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.012400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c 6.89/7.05 c choco : 9.13 6.89/7.05 c mistral : 1.35979 6.89/7.05 c abscon : 2.70059 6.89/7.05 c 6.89/7.05 c 6.89/7.05 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-8-a4.xml 6.89/7.05 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.304700 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.487570 | c 14 > 8.778080 | c 11 > 9.348730 | c 12 > 4.055880 | c 21 > 5.916080 | 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 > -1.000000 | c 2 > 3.000000 | c 10 > 9.957100 | 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.448500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c 6.89/7.06 c choco : 4.6 6.89/7.06 c mistral : 1.09783 6.89/7.06 c abscon : 1.09283 6.89/7.06 c 6.89/7.06 c 6.89/7.06 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-70-12-a3.xml 6.89/7.06 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 6.89/7.06 c choco : 1801.0 6.89/7.06 c mistral : 757.64 6.89/7.06 c abscon : 1800.07 6.89/7.06 c 6.89/7.06 c 6.89/7.06 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-25-7-a3.xml 6.89/7.06 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 6.89/7.07 c choco : 1.81 6.89/7.07 c mistral : 0.02 6.89/7.07 c abscon : 1.43678 6.89/7.07 c 6.89/7.07 c 6.89/7.07 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-70.xml 6.89/7.07 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 6.89/7.07 c choco : 4.77 6.89/7.07 c mistral : 1800.06 6.89/7.07 c abscon : 41.2627 6.89/7.07 c 6.89/7.07 c 6.89/7.07 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-67-12-a3.xml 6.89/7.07 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 6.89/7.08 c choco : 1801.0 6.89/7.08 c mistral : 0.33 6.89/7.08 c abscon : 1437.46 6.89/7.08 c 6.89/7.08 c 6.89/7.08 c Length: 40 6.89/7.08 c 3.4331895270578943 4.911328438813678 6.676597358849792 8.464989221074061 10.369185207358392 12.75790296297162 15.742454498117503 17.19847791489991 22.559309885639237 38.758317517037874 68.69546964373924 77.21677657103798 79.49093001032445 80.15538252450423 87.21635523390954 91.10893973727276 105.84359962290067 105.84685534060283 105.84704290882387 105.86698227323946 105.86776285078382 105.87304742899771 105.8758153305683 105.89243292244777 105.8985372286374 105.91280024257078 105.92445250242551 105.93167813187091 105.9402531461715 105.94092116298074 105.94104482074688 105.95164598178594 105.95428799655491 105.95981593466978 105.96493541105897 105.97316931471333 105.97339248099308 105.98616368306855 105.98693844966463 106.00670945499958 6.89/7.09 c 6.89/7.09 c 1.0 0.985794182156836 0.9693488754544421 0.9532383741650132 0.9366630777081215 0.9166679119446606 0.8928537031733584 0.8816793072997768 0.8428416031998792 0.743832673319569 0.6111539963504219 0.5816239656521053 0.5742193146474921 0.5720913135866587 0.5504150257799547 0.5391532900675735 0.5003978600470778 0.5003899124567678 0.500389454588343 0.500340785847923 0.5003388807778559 0.5003259836685213 0.5003192288196724 0.5002786787113911 0.5002637846853447 0.5002289875120026 0.5002005633327417 0.5001829389677935 0.5001620248676854 0.5001603956761458 0.5001600940947996 0.5001342409249373 0.500127798230042 0.5001143185930572 0.5001018356202978 0.5000817599532278 0.5000812158580576 0.5000500807368223 0.5000481920454695 0.5 6.89/7.10 c 6.89/7.10 c solver 0 6.89/7.10 c before 0.0 seconds: {} 0 6.95/7.10 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, 27, 28, 29, 30, 32, 34, 35, 37} 17856 6.95/7.10 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, 32, 34, 35, 37} 18357 6.95/7.10 c before 54.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, 32, 34, 35, 37, 38} 18857 6.95/7.10 c before 90.0 seconds: {2, 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, 32, 34, 35, 37, 38} 19826 6.95/7.10 c before 144.0 seconds: {2, 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, 32, 33, 34, 35, 37, 38} 20326 6.95/7.10 c before 648.0 seconds: {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, 32, 33, 34, 35, 37, 38} 21070 6.95/7.10 c before 1440.0 seconds: {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, 32, 33, 34, 35, 37, 38, 39} 21570 6.95/7.10 c 6.95/7.10 c solver 1 6.95/7.10 c before 0.0 seconds: {} 0 6.95/7.10 c before 18.0 seconds: {4, 5, 6, 7, 8, 9, 10, 14, 15, 18, 19, 20, 22, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 37, 39} 14918 6.95/7.10 c before 36.0 seconds: {4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 37, 39} 15992 6.95/7.10 c before 54.0 seconds: {3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 37, 39} 16946 6.95/7.10 c before 126.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 37, 39} 17915 6.95/7.10 c before 558.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 37, 39} 18915 6.95/7.10 c before 774.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 39} 19415 6.95/7.10 c before 828.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 19915 6.95/7.10 c 6.95/7.10 c solver 2 6.95/7.10 c before 0.0 seconds: {} 0 6.95/7.10 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, 32, 34, 35, 37, 38} 15564 6.95/7.10 c before 36.0 seconds: {1, 3, 4, 5, 6, 7, 8, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 35, 37, 38} 17503 6.95/7.10 c before 54.0 seconds: {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, 32, 34, 35, 37, 38} 18247 6.95/7.10 c before 90.0 seconds: {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, 32, 34, 35, 37, 38} 19217 6.95/7.10 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, 32, 34, 35, 37, 38} 20217 6.95/7.10 c 6.95/7.10 cTotal time: 139 6.95/7.10 c run abscon for 648.0 seconds {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, 32, 33, 34, 35, 37, 38} 21070 6.95/7.10 c run mistral for 828.0 seconds {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 19915 6.95/7.10 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, 32, 34, 35, 37, 38} 20217 6.95/7.10 c Starting solver: HOME/cpHydra_k_40/solver/abscon 6.95/7.10 c On Instance: HOME/instance-1046397-1215026567.xml 6.95/7.10 c Running for: 648 seconds 655.09/660.46 c Starting solver: HOME/cpHydra_k_40/solver/mistral 655.09/660.46 c On Instance: HOME/instance-1046397-1215026567.xml 655.09/660.46 c Running for: 828 seconds 1482.99/1488.73 c Starting solver: HOME/cpHydra_k_40/solver/choco 1482.99/1488.73 c On Instance: HOME/instance-1046397-1215026567.xml 1482.99/1488.73 c Running for: 234 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-1046397-1215026567/watcher-1046397-1215026567 -o /tmp/evaluation-result-1046397-1215026567/solver-1046397-1215026567 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046397-1215026567.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: 1.92 1.98 1.99 4/73 7626 /proc/meminfo: memFree=1787432/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=0 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615874509 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7626/statm: 1340 236 195 169 0 51 0 [pid=7629] ppid=7626 vsize=5380 CPUtime=0.06 /proc/7629/stat : 7629 (xsolve) R 7626 7626 4059 0 -1 4194304 722 0 0 0 6 0 0 0 18 0 1 0 615874510 5509120 681 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/7629/statm: 1345 681 428 177 0 248 0 [startup+0.0933839 s] /proc/loadavg: 1.92 1.98 1.99 4/73 7626 /proc/meminfo: memFree=1787432/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=0 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615874509 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7626/statm: 1340 236 195 169 0 51 0 [pid=7629] ppid=7626 vsize=5380 CPUtime=0.08 /proc/7629/stat : 7629 (xsolve) R 7626 7626 4059 0 -1 4194304 722 0 0 0 8 0 0 0 18 0 1 0 615874510 5509120 681 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/7629/statm: 1345 681 428 177 0 248 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10740 [startup+0.101385 s] /proc/loadavg: 1.92 1.98 1.99 4/73 7626 /proc/meminfo: memFree=1787432/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=0 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615874509 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7626/statm: 1340 236 195 169 0 51 0 [pid=7629] ppid=7626 vsize=5380 CPUtime=0.09 /proc/7629/stat : 7629 (xsolve) R 7626 7626 4059 0 -1 4194304 722 0 0 0 9 0 0 0 18 0 1 0 615874510 5509120 681 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/7629/statm: 1345 681 428 177 0 248 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10740 [startup+0.301425 s] /proc/loadavg: 1.92 1.98 1.99 4/73 7626 /proc/meminfo: memFree=1787432/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=0 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615874509 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7626/statm: 1340 236 195 169 0 51 0 [pid=7629] ppid=7626 vsize=5380 CPUtime=0.29 /proc/7629/stat : 7629 (xsolve) R 7626 7626 4059 0 -1 4194304 722 0 0 0 29 0 0 0 19 0 1 0 615874510 5509120 681 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/7629/statm: 1345 681 428 177 0 248 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10740 [startup+0.701504 s] /proc/loadavg: 1.92 1.98 1.99 4/73 7626 /proc/meminfo: memFree=1787432/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=0 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615874509 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7626/statm: 1340 236 195 169 0 51 0 [pid=7629] ppid=7626 vsize=5380 CPUtime=0.69 /proc/7629/stat : 7629 (xsolve) R 7626 7626 4059 0 -1 4194304 722 0 0 0 69 0 0 0 23 0 1 0 615874510 5509120 681 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/7629/statm: 1345 681 428 177 0 248 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10740 [startup+1.50166 s] /proc/loadavg: 1.92 1.98 1.99 3/75 7630 /proc/meminfo: memFree=1786144/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=1.47 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 375 1318 0 0 0 0 147 0 19 0 1 0 615874509 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7626/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 5360 [startup+3.10298 s] /proc/loadavg: 1.92 1.98 1.99 3/83 7642 /proc/meminfo: memFree=1779040/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=1.47 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 375 1318 0 0 0 0 147 0 19 0 1 0 615874509 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7626/statm: 1340 238 196 169 0 51 0 [pid=7634] ppid=7626 vsize=197028 CPUtime=1.59 /proc/7634/stat : 7634 (java) S 7626 7626 4059 0 -1 0 6609 0 1 0 154 5 0 0 20 0 9 0 615874658 201756672 5550 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7634/statm: 49257 5550 2541 9 0 43839 0 [pid=7634/tid=7635] ppid=7626 vsize=197028 CPUtime=1.22 /proc/7634/task/7635/stat : 7635 (java) R 7626 7626 4059 0 -1 64 2821 0 1 0 120 2 0 0 25 0 9 0 615874659 201756672 5550 996147200 134512640 134550740 4294955968 18446744073709551615 4126506714 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7636] ppid=7626 vsize=197028 CPUtime=0.23 /proc/7634/task/7636/stat : 7636 (java) S 7626 7626 4059 0 -1 64 2450 0 0 0 21 2 0 0 16 0 9 0 615874660 201756672 5550 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7637] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7637/stat : 7637 (java) S 7626 7626 4059 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 615874660 201756672 5550 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7638] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7638/stat : 7638 (java) S 7626 7626 4059 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 615874660 201756672 5550 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7639] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7639/stat : 7639 (java) S 7626 7626 4059 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 615874662 201756672 5550 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7640] ppid=7626 vsize=197028 CPUtime=0.13 /proc/7634/task/7640/stat : 7640 (java) S 7626 7626 4059 0 -1 64 613 0 0 0 13 0 0 0 16 0 9 0 615874662 201756672 5550 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7641] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7641/stat : 7641 (java) S 7626 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 615874662 201756672 5550 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7642] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7642/stat : 7642 (java) S 7626 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 615874662 201756672 5550 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 202388 [startup+6.30161 s] /proc/loadavg: 2.17 2.03 2.01 3/83 7642 /proc/meminfo: memFree=1764192/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=1.47 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 375 1318 0 0 0 0 147 0 19 0 1 0 615874509 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7626/statm: 1340 238 196 169 0 51 0 [pid=7634] ppid=7626 vsize=197028 CPUtime=4.78 /proc/7634/stat : 7634 (java) S 7626 7626 4059 0 -1 0 10648 0 1 0 465 13 0 0 20 0 9 0 615874658 201756672 8845 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7634/statm: 49257 8845 2541 9 0 43839 0 [pid=7634/tid=7635] ppid=7626 vsize=197028 CPUtime=3.82 /proc/7634/task/7635/stat : 7635 (java) R 7626 7626 4059 0 -1 64 3661 0 1 0 378 4 0 0 25 0 9 0 615874659 201756672 8845 996147200 134512640 134550740 4294955968 18446744073709551615 4126488383 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7636] ppid=7626 vsize=197028 CPUtime=0.79 /proc/7634/task/7636/stat : 7636 (java) S 7626 7626 4059 0 -1 64 5632 0 0 0 71 8 0 0 16 0 9 0 615874660 201756672 8845 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7637] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7637/stat : 7637 (java) S 7626 7626 4059 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 615874660 201756672 8845 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7638] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7638/stat : 7638 (java) S 7626 7626 4059 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 615874660 201756672 8845 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7639] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7639/stat : 7639 (java) S 7626 7626 4059 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 615874662 201756672 8845 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7640] ppid=7626 vsize=197028 CPUtime=0.15 /proc/7634/task/7640/stat : 7640 (java) S 7626 7626 4059 0 -1 64 630 0 0 0 15 0 0 0 16 0 9 0 615874662 201756672 8845 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7641] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7641/stat : 7641 (java) S 7626 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 615874662 201756672 8845 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7642] ppid=7626 vsize=197028 CPUtime=0 /proc/7634/task/7642/stat : 7642 (java) S 7626 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 615874662 201756672 8845 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 202388 [startup+12.7029 s] /proc/loadavg: 2.23 2.05 2.02 3/95 7654 /proc/meminfo: memFree=1723464/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=1.47 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 375 1318 0 0 0 0 147 0 19 0 1 0 615874509 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7626/statm: 1340 238 196 169 0 51 0 [pid=7634] ppid=7626 vsize=197352 CPUtime=5.49 /proc/7634/stat : 7634 (java) S 7626 7626 4059 0 -1 0 11470 0 1 0 531 18 0 0 20 0 10 0 615874658 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7634/statm: 49338 9426 2544 9 0 43920 0 [pid=7644] ppid=7634 vsize=5356 CPUtime=0 /proc/7644/stat : 7644 (abscon) S 7634 7626 4059 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 615875220 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/7644/statm: 1339 237 196 169 0 50 0 [pid=7645] ppid=7644 vsize=655416 CPUtime=5.56 /proc/7645/stat : 7645 (java) S 7644 7626 4059 0 -1 0 11763 0 1 0 549 7 0 0 25 0 9 0 615875221 671145984 11078 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7645/statm: 163854 11078 2611 9 0 158382 0 [pid=7645/tid=7647] ppid=7644 vsize=655416 CPUtime=5.3 /proc/7645/task/7647/stat : 7647 (java) R 7644 7626 4059 0 -1 64 9468 0 1 0 524 6 0 0 25 0 9 0 615875222 671145984 11078 996147200 134512640 134550740 4294955808 18446744073709551615 4126837071 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7645/tid=7648] ppid=7644 vsize=655416 CPUtime=0.03 /proc/7645/task/7648/stat : 7648 (java) S 7644 7626 4059 0 -1 64 1231 0 0 0 3 0 0 0 17 0 9 0 615875223 671145984 11078 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7645/tid=7649] ppid=7644 vsize=655416 CPUtime=0 /proc/7645/task/7649/stat : 7649 (java) S 7644 7626 4059 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 615875224 671145984 11078 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7645/tid=7650] ppid=7644 vsize=655416 CPUtime=0 /proc/7645/task/7650/stat : 7650 (java) S 7644 7626 4059 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 615875224 671145984 11078 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7645/tid=7651] ppid=7644 vsize=655416 CPUtime=0 /proc/7645/task/7651/stat : 7651 (java) S 7644 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 615875226 671145984 11078 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7645/tid=7652] ppid=7644 vsize=655416 CPUtime=0.21 /proc/7645/task/7652/stat : 7652 (java) S 7644 7626 4059 0 -1 64 519 0 0 0 21 0 0 0 15 0 9 0 615875226 671145984 11078 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7645/tid=7653] ppid=7644 vsize=655416 CPUtime=0 /proc/7645/task/7653/stat : 7653 (java) S 7644 7626 4059 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 615875226 671145984 11078 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7645/tid=7654] ppid=7644 vsize=655416 CPUtime=0 /proc/7645/task/7654/stat : 7654 (java) S 7644 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 615875226 671145984 11078 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7646] ppid=7644 vsize=7044 CPUtime=0 /proc/7646/stat : 7646 (translate) S 7644 7626 4059 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 615875221 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/7646/statm: 1761 213 182 1 0 41 0 [pid=7634/tid=7635] ppid=7626 vsize=197352 CPUtime=4.39 /proc/7634/task/7635/stat : 7635 (java) S 7626 7626 4059 0 -1 64 3855 0 1 0 432 7 0 0 25 0 10 0 615874659 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=7634/tid=7636] ppid=7626 vsize=197352 CPUtime=0.85 /proc/7634/task/7636/stat : 7636 (java) S 7626 7626 4059 0 -1 64 6121 0 0 0 77 8 0 0 16 0 10 0 615874660 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7637] ppid=7626 vsize=197352 CPUtime=0 /proc/7634/task/7637/stat : 7637 (java) S 7626 7626 4059 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 615874660 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7638] ppid=7626 vsize=197352 CPUtime=0 /proc/7634/task/7638/stat : 7638 (java) S 7626 7626 4059 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 615874660 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7639] ppid=7626 vsize=197352 CPUtime=0 /proc/7634/task/7639/stat : 7639 (java) S 7626 7626 4059 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 615874662 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7640] ppid=7626 vsize=197352 CPUtime=0.21 /proc/7634/task/7640/stat : 7640 (java) S 7626 7626 4059 0 -1 64 669 0 0 0 21 0 0 0 16 0 10 0 615874662 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7641] ppid=7626 vsize=197352 CPUtime=0 /proc/7634/task/7641/stat : 7641 (java) S 7626 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 615874662 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7642] ppid=7626 vsize=197352 CPUtime=0 /proc/7634/task/7642/stat : 7642 (java) S 7626 7626 4059 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 615874662 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7643] ppid=7626 vsize=197352 CPUtime=0 /proc/7634/task/7643/stat : 7643 (java) S 7626 7626 4059 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 615875220 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 870528 [startup+25.5025 s] /proc/loadavg: 2.48 2.11 2.04 3/95 7654 /proc/meminfo: memFree=1723976/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=1.47 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 375 1318 0 0 0 0 147 0 19 0 1 0 615874509 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7626/statm: 1340 238 196 169 0 51 0 [pid=7634] ppid=7626 vsize=197352 CPUtime=5.49 /proc/7634/stat : 7634 (java) S 7626 7626 4059 0 -1 0 11470 0 1 0 531 18 0 0 20 0 10 0 615874658 202088448 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7634/statm: 49338 9426 2544 9 0 43920 0 ################ # More data... # ################ /proc/7634/statm: 49419 9432 2545 9 0 44001 0 [pid=7687] ppid=7634 vsize=5356 CPUtime=0 /proc/7687/stat : 7687 (choco) S 7634 7626 4059 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 616023383 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/7687/statm: 1339 238 197 169 0 50 0 [pid=7688] ppid=7687 vsize=655564 CPUtime=229.43 /proc/7688/stat : 7688 (java) S 7687 7626 4059 0 -1 0 14391 0 1 0 22802 141 0 0 18 0 9 0 616023384 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/7688/statm: 163891 13907 1932 9 0 158420 0 [pid=7688/tid=7689] ppid=7687 vsize=655564 CPUtime=229.02 /proc/7688/task/7689/stat : 7689 (java) R 7687 7626 4059 0 -1 64 12212 0 1 0 22763 139 0 0 25 0 9 0 616023384 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4126938676 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7690] ppid=7687 vsize=655564 CPUtime=0.12 /proc/7688/task/7690/stat : 7690 (java) S 7687 7626 4059 0 -1 64 1032 0 0 0 12 0 0 0 16 0 9 0 616023386 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7691] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7691/stat : 7691 (java) S 7687 7626 4059 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 616023386 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7692] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7692/stat : 7692 (java) S 7687 7626 4059 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 616023386 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7693] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7693/stat : 7693 (java) S 7687 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7694] ppid=7687 vsize=655564 CPUtime=0.25 /proc/7688/task/7694/stat : 7694 (java) S 7687 7626 4059 0 -1 64 600 0 0 0 25 0 0 0 15 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7695] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7695/stat : 7695 (java) S 7687 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7696] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7696/stat : 7696 (java) S 7687 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7634/tid=7635] ppid=7626 vsize=197676 CPUtime=1480.47 /proc/7634/task/7635/stat : 7635 (java) S 7626 7626 4059 0 -1 64 4010 13387 1 1 432 7 147596 12 16 0 10 0 615874659 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=7634/tid=7636] ppid=7626 vsize=197676 CPUtime=1476.93 /proc/7634/task/7636/stat : 7636 (java) S 7626 7626 4059 0 -1 64 6167 13387 0 1 77 8 147596 12 16 0 10 0 615874660 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7637] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7637/stat : 7637 (java) S 7626 7626 4059 0 -1 64 11 13387 0 1 0 0 147596 12 16 0 10 0 615874660 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7638] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7638/stat : 7638 (java) S 7626 7626 4059 0 -1 64 6 13387 0 1 0 0 147596 12 16 0 10 0 615874660 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7639] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7639/stat : 7639 (java) S 7626 7626 4059 0 -1 64 0 13387 0 1 0 0 147596 12 25 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7640] ppid=7626 vsize=197676 CPUtime=1476.29 /proc/7634/task/7640/stat : 7640 (java) S 7626 7626 4059 0 -1 64 702 13387 0 1 21 0 147596 12 16 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7634/tid=7641] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7641/stat : 7641 (java) S 7626 7626 4059 0 -1 64 1 13387 0 1 0 0 147596 12 25 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7642] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7642/stat : 7642 (java) S 7626 7626 4059 0 -1 64 43 13387 0 1 0 0 147596 12 15 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7686] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7686/stat : 7686 (java) S 7626 7626 4059 0 -1 64 51 13387 0 1 0 0 147596 12 17 0 10 0 616023382 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1712.47 Current children cumulated vsize (KiB) 863956 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/94 7696 /proc/meminfo: memFree=1705016/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=1.47 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 375 1318 0 0 0 0 147 0 19 0 1 0 615874509 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7626/statm: 1340 238 196 169 0 51 0 [pid=7634] ppid=7626 vsize=197676 CPUtime=1481.57 /proc/7634/stat : 7634 (java) S 7626 7626 4059 0 -1 0 11825 13387 1 1 531 18 147596 12 20 0 10 0 615874658 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7634/statm: 49419 9432 2545 9 0 44001 0 [pid=7687] ppid=7634 vsize=5356 CPUtime=0 /proc/7687/stat : 7687 (choco) S 7634 7626 4059 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 616023383 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/7687/statm: 1339 238 197 169 0 50 0 [pid=7688] ppid=7687 vsize=655564 CPUtime=288.37 /proc/7688/stat : 7688 (java) S 7687 7626 4059 0 -1 0 14407 0 1 0 28660 177 0 0 18 0 9 0 616023384 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/7688/statm: 163891 13907 1932 9 0 158420 0 [pid=7688/tid=7689] ppid=7687 vsize=655564 CPUtime=287.96 /proc/7688/task/7689/stat : 7689 (java) R 7687 7626 4059 0 -1 64 12228 0 1 0 28621 175 0 0 25 0 9 0 616023384 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4126909114 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7690] ppid=7687 vsize=655564 CPUtime=0.13 /proc/7688/task/7690/stat : 7690 (java) S 7687 7626 4059 0 -1 64 1032 0 0 0 13 0 0 0 16 0 9 0 616023386 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7691] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7691/stat : 7691 (java) S 7687 7626 4059 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 616023386 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7692] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7692/stat : 7692 (java) S 7687 7626 4059 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 616023386 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7693] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7693/stat : 7693 (java) S 7687 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7694] ppid=7687 vsize=655564 CPUtime=0.25 /proc/7688/task/7694/stat : 7694 (java) S 7687 7626 4059 0 -1 64 600 0 0 0 25 0 0 0 15 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7695] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7695/stat : 7695 (java) S 7687 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7696] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7696/stat : 7696 (java) S 7687 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7634/tid=7635] ppid=7626 vsize=197676 CPUtime=1480.47 /proc/7634/task/7635/stat : 7635 (java) S 7626 7626 4059 0 -1 64 4010 13387 1 1 432 7 147596 12 16 0 10 0 615874659 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=7634/tid=7636] ppid=7626 vsize=197676 CPUtime=1476.93 /proc/7634/task/7636/stat : 7636 (java) S 7626 7626 4059 0 -1 64 6167 13387 0 1 77 8 147596 12 16 0 10 0 615874660 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7637] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7637/stat : 7637 (java) S 7626 7626 4059 0 -1 64 11 13387 0 1 0 0 147596 12 16 0 10 0 615874660 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7638] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7638/stat : 7638 (java) S 7626 7626 4059 0 -1 64 6 13387 0 1 0 0 147596 12 16 0 10 0 615874660 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7639] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7639/stat : 7639 (java) S 7626 7626 4059 0 -1 64 0 13387 0 1 0 0 147596 12 25 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7640] ppid=7626 vsize=197676 CPUtime=1476.29 /proc/7634/task/7640/stat : 7640 (java) S 7626 7626 4059 0 -1 64 702 13387 0 1 21 0 147596 12 16 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7634/tid=7641] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7641/stat : 7641 (java) S 7626 7626 4059 0 -1 64 1 13387 0 1 0 0 147596 12 25 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7642] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7642/stat : 7642 (java) S 7626 7626 4059 0 -1 64 43 13387 0 1 0 0 147596 12 15 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7686] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7686/stat : 7686 (java) S 7626 7626 4059 0 -1 64 51 13387 0 1 0 0 147596 12 17 0 10 0 616023382 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1771.41 Current children cumulated vsize (KiB) 863956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1811.4 s] /proc/loadavg: 2.00 2.00 2.00 3/94 7696 /proc/meminfo: memFree=1704960/2055920 swapFree=4165996/4192956 [pid=7626] ppid=7624 vsize=5360 CPUtime=1.47 /proc/7626/stat : 7626 (hydra) S 7624 7626 4059 0 -1 4194304 375 1318 0 0 0 0 147 0 19 0 1 0 615874509 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7626/statm: 1340 238 196 169 0 51 0 [pid=7634] ppid=7626 vsize=197676 CPUtime=1481.57 /proc/7634/stat : 7634 (java) S 7626 7626 4059 0 -1 0 11825 13387 1 1 531 18 147596 12 20 0 10 0 615874658 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7634/statm: 49419 9432 2545 9 0 44001 0 [pid=7687] ppid=7634 vsize=5356 CPUtime=0 /proc/7687/stat : 7687 (choco) S 7634 7626 4059 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 616023383 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/7687/statm: 1339 238 197 169 0 50 0 [pid=7688] ppid=7687 vsize=655564 CPUtime=316.96 /proc/7688/stat : 7688 (java) S 7687 7626 4059 0 -1 0 14415 0 1 0 31501 195 0 0 18 0 9 0 616023384 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/7688/statm: 163891 13907 1932 9 0 158420 0 [pid=7688/tid=7689] ppid=7687 vsize=655564 CPUtime=316.54 /proc/7688/task/7689/stat : 7689 (java) R 7687 7626 4059 0 -1 64 12236 0 1 0 31461 193 0 0 25 0 9 0 616023384 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4126859003 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7690] ppid=7687 vsize=655564 CPUtime=0.13 /proc/7688/task/7690/stat : 7690 (java) S 7687 7626 4059 0 -1 64 1032 0 0 0 13 0 0 0 16 0 9 0 616023386 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7691] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7691/stat : 7691 (java) S 7687 7626 4059 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 616023386 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7692] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7692/stat : 7692 (java) S 7687 7626 4059 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 616023386 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7693] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7693/stat : 7693 (java) S 7687 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7694] ppid=7687 vsize=655564 CPUtime=0.25 /proc/7688/task/7694/stat : 7694 (java) S 7687 7626 4059 0 -1 64 600 0 0 0 25 0 0 0 15 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7695] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7695/stat : 7695 (java) S 7687 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7688/tid=7696] ppid=7687 vsize=655564 CPUtime=0 /proc/7688/task/7696/stat : 7696 (java) S 7687 7626 4059 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 616023388 671297536 13907 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7634/tid=7635] ppid=7626 vsize=197676 CPUtime=1480.47 /proc/7634/task/7635/stat : 7635 (java) S 7626 7626 4059 0 -1 64 4010 13387 1 1 432 7 147596 12 16 0 10 0 615874659 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=7634/tid=7636] ppid=7626 vsize=197676 CPUtime=1476.93 /proc/7634/task/7636/stat : 7636 (java) S 7626 7626 4059 0 -1 64 6167 13387 0 1 77 8 147596 12 16 0 10 0 615874660 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7637] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7637/stat : 7637 (java) S 7626 7626 4059 0 -1 64 11 13387 0 1 0 0 147596 12 16 0 10 0 615874660 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7638] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7638/stat : 7638 (java) S 7626 7626 4059 0 -1 64 6 13387 0 1 0 0 147596 12 16 0 10 0 615874660 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7639] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7639/stat : 7639 (java) S 7626 7626 4059 0 -1 64 0 13387 0 1 0 0 147596 12 25 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7640] ppid=7626 vsize=197676 CPUtime=1476.29 /proc/7634/task/7640/stat : 7640 (java) S 7626 7626 4059 0 -1 64 702 13387 0 1 21 0 147596 12 16 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7634/tid=7641] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7641/stat : 7641 (java) S 7626 7626 4059 0 -1 64 1 13387 0 1 0 0 147596 12 25 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7642] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7642/stat : 7642 (java) S 7626 7626 4059 0 -1 64 43 13387 0 1 0 0 147596 12 15 0 10 0 615874662 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7634/tid=7686] ppid=7626 vsize=197676 CPUtime=1476.08 /proc/7634/task/7686/stat : 7686 (java) S 7626 7626 4059 0 -1 64 51 13387 0 1 0 0 147596 12 17 0 10 0 616023382 202420224 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 863956 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 7626 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=477775 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=8998 # CPU time returned by wait4() is 1.48677 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1811.43 CPU time (s): 1800 CPU user time (s): 1797.75 CPU system time (s): 2.25 CPU usage (%): 99.3688 Max. virtual memory (cumulated for all children) (KiB): 870528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.47778 system time used= 0.008998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1693 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31 involuntary context switches= 16 runsolver used 4.82627 second user time and 12.4001 second system time The end
Begin job on node77 at 2008-07-02 21:22:47 IDJOB=1046397 IDBENCH=53778 IDSOLVER=366 FILE ID=node77/1046397-1215026567 PBS_JOBID= 7874317 Free space on /tmp= 66500 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/costasArray/normalized-costasArray-20.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046397-1215026567/watcher-1046397-1215026567 -o /tmp/evaluation-result-1046397-1215026567/solver-1046397-1215026567 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046397-1215026567.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 145c5c87867fde59caf4355db1528459 RANDOM SEED=17648561 node77.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.274 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.274 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: 1787912 kB Buffers: 36256 kB Cached: 147872 kB SwapCached: 20620 kB Active: 171164 kB Inactive: 38068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787912 kB SwapTotal: 4192956 kB SwapFree: 4165996 kB Dirty: 24332 kB Writeback: 0 kB Mapped: 32696 kB Slab: 44164 kB Committed_AS: 1081604 kB PageTables: 1728 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= 66476 MiB End job on node77 at 2008-07-02 21:53:01