Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 45.882 | 46.106 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 2157 |
CHECKS | 2020660 |
Name | csp/pseudo/routing/ normalized-s4-4-3-6.xml |
MD5SUM | d728e2220465bf5d4aabcd0a25789a21 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.57676 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 624 |
Number of constraints | 1884 |
Maximum constraint arity | 26 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1884 |
Global constraints used (with number of constraints) |
0.18/0.20 c cpHydra_k_40 version 0.0 7.00/7.11 c CASE TO CLASSIFY: 7.00/7.11 c Case: 0 7.00/7.11 c 19 > 47.133800 | c 35 > 29.766500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.929900 | c 15 > 20.378400 | c 34 > 46.072200 | c 16 > 26.000000 | c 13 > 7.001250 | c 14 > 10.296900 | c 11 > 12.309500 | c 12 > 4.732970 | c 21 > 1.414210 | c 20 > 52.866200 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.382600 | c 1 > 9.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.120200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.320000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.00/7.12 c choco : 1801.0 7.00/7.12 c mistral : 1801.0 7.00/7.12 c abscon : 1801.0 7.00/7.12 c 7.00/7.12 c 7.00/7.19 c List of same ones: 40 7.00/7.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-7.xml 7.00/7.19 c 19 > 47.586200 | c 35 > 29.832500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.093600 | c 15 > 18.920100 | c 34 > 46.187200 | c 16 > 28.000000 | c 13 > 5.632540 | c 14 > 9.449150 | c 11 > 12.414700 | c 12 > 3.311130 | c 21 > 1.414210 | c 20 > 52.413800 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.490300 | c 1 > 9.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.225200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.470300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.20 c choco : 1801.0 7.10/7.20 c mistral : 85.33 7.10/7.20 c abscon : 1800.06 7.10/7.20 c 7.10/7.20 c 7.10/7.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-6.xml 7.10/7.20 c 19 > 47.133800 | c 35 > 29.766500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.929900 | c 15 > 18.923000 | c 34 > 46.072200 | c 16 > 26.000000 | c 13 > 4.580620 | c 14 > 9.245550 | c 11 > 12.309500 | c 12 > 2.987220 | c 21 > 1.414210 | c 20 > 52.866200 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.382600 | c 1 > 9.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.120200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.320000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.21 c choco : 115.52 7.10/7.21 c mistral : 13.55 7.10/7.21 c abscon : 1800.09 7.10/7.21 c 7.10/7.21 c 7.10/7.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-2.xml 7.10/7.21 c 19 > 47.336100 | c 35 > 29.661900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.002000 | c 15 > 18.878800 | c 34 > 45.932400 | c 16 > 27.000000 | c 13 > 4.721630 | c 14 > 9.216750 | c 11 > 12.357000 | c 12 > 2.893890 | c 21 > 1.414210 | c 20 > 52.663900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.431000 | c 1 > 9.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.166800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.389900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.22 c choco : 168.81 7.10/7.22 c mistral : 1800.08 7.10/7.22 c abscon : 1800.08 7.10/7.22 c 7.10/7.22 c 7.10/7.22 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-3.xml 7.10/7.22 c 19 > 47.901700 | c 35 > 29.662200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.173000 | c 15 > 19.027700 | c 34 > 45.957000 | c 16 > 27.000000 | c 13 > 4.643430 | c 14 > 9.219170 | c 11 > 12.351500 | c 12 > 2.910160 | c 21 > 1.414210 | c 20 > 52.098300 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.428900 | c 1 > 9.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.160500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.387600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.22 c choco : 1801.0 7.10/7.22 c mistral : 144.397 7.10/7.23 c abscon : 1800.11 7.10/7.23 c 7.10/7.23 c 7.10/7.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-1.xml 7.10/7.23 c 19 > 47.633100 | c 35 > 29.773200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.106500 | c 15 > 18.915500 | c 34 > 46.104500 | c 16 > 28.000000 | c 13 > 4.165760 | c 14 > 9.124120 | c 11 > 12.411500 | c 12 > 2.654240 | c 21 > 1.414210 | c 20 > 52.366900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.487300 | c 1 > 9.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.221600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.467400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.23 c choco : 67.18 7.10/7.23 c mistral : 1800.04 7.10/7.24 c abscon : 1800.08 7.10/7.24 c 7.10/7.24 c 7.10/7.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-4.xml 7.10/7.24 c 19 > 47.519100 | c 35 > 29.704200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.082100 | c 15 > 18.930700 | c 34 > 46.001900 | c 16 > 29.000000 | c 13 > 4.453170 | c 14 > 9.189820 | c 11 > 12.459900 | c 12 > 2.651520 | c 21 > 1.414210 | c 20 > 52.480900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.534800 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.269700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.536000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.24 c choco : 1801.0 7.10/7.24 c mistral : 20.45 7.10/7.24 c abscon : 1800.05 7.10/7.24 c 7.10/7.24 c 7.10/7.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-5.xml 7.10/7.24 c 19 > 48.155000 | c 35 > 29.667900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.284100 | c 15 > 18.858100 | c 34 > 45.977900 | c 16 > 30.000000 | c 13 > 4.361410 | c 14 > 9.033420 | c 11 > 12.500800 | c 12 > 2.617730 | c 21 > 1.414210 | c 20 > 51.845000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.579300 | c 1 > 9.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.309500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.601300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.25 c choco : 1801.0 7.10/7.25 c mistral : 1502.73 7.10/7.25 c abscon : 1800.11 7.10/7.25 c 7.10/7.25 c 7.10/7.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-2.xml 7.10/7.25 c 19 > 52.528100 | c 35 > 30.702200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.410100 | c 15 > 19.408300 | c 34 > 49.016900 | c 16 > 22.000000 | c 13 > 7.150000 | c 14 > 9.670660 | c 11 > 10.787900 | c 12 > 5.503750 | c 21 > 1.414210 | c 20 > 47.471900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.875000 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.554600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.755700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.26 c choco : 3.99 7.10/7.26 c mistral : 0.58 7.10/7.26 c abscon : 1800.1 7.10/7.26 c 7.10/7.26 c 7.10/7.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-9.xml 7.10/7.26 c 19 > 48.218500 | c 35 > 29.730800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.349200 | c 15 > 18.779300 | c 34 > 46.072800 | c 16 > 35.000000 | c 13 > 4.285030 | c 14 > 9.194760 | c 11 > 12.724900 | c 12 > 2.443260 | c 21 > 1.414210 | c 20 > 51.781500 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.803300 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.533800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.925100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.27 c choco : 1801.0 7.10/7.27 c mistral : 29.25 7.10/7.27 c abscon : 1800.08 7.10/7.27 c 7.10/7.27 c 7.10/7.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-10.xml 7.10/7.27 c 19 > 47.705700 | c 35 > 29.825900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.196200 | c 15 > 18.687000 | c 34 > 46.186700 | c 16 > 35.000000 | c 13 > 3.720270 | c 14 > 9.103290 | c 11 > 12.734300 | c 12 > 2.188530 | c 21 > 1.414210 | c 20 > 52.294300 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.809800 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.544500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.930900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.27 c choco : 16.55 7.10/7.28 c mistral : 95.65 7.10/7.28 c abscon : 1800.08 7.10/7.28 c 7.10/7.28 c 7.10/7.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-8.xml 7.10/7.28 c 19 > 48.773000 | c 35 > 32.392600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.355800 | c 15 > 19.166300 | c 34 > 51.779100 | c 16 > 18.000000 | c 13 > 5.271550 | c 14 > 9.250300 | c 11 > 11.733000 | c 12 > 3.502030 | c 21 > 1.414210 | c 20 > 51.227000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 11.817000 | c 1 > 8.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.537200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.565100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.10/7.28 c choco : 16.59 7.10/7.28 c mistral : 3.77743 7.10/7.28 c abscon : 1641.68 7.10/7.28 c 7.10/7.28 c 7.10/7.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-1.xml 7.10/7.29 c 19 > 52.397300 | c 35 > 30.513700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.486300 | c 15 > 19.461800 | c 34 > 48.732900 | c 16 > 18.000000 | c 13 > 7.380370 | c 14 > 9.985840 | c 11 > 10.491900 | c 12 > 6.035350 | c 21 > 1.414210 | c 20 > 47.602700 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.579300 | c 1 > 7.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.257400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.30 c choco : 4.69 7.17/7.30 c mistral : 0.385941 7.17/7.30 c abscon : 12.0472 7.17/7.30 c 7.17/7.30 c 7.17/7.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-5.xml 7.17/7.30 c 19 > 53.560400 | c 35 > 30.340600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.767800 | c 15 > 16.941000 | c 34 > 48.544900 | c 16 > 20.000000 | c 13 > 4.360510 | c 14 > 8.209450 | c 11 > 10.622100 | c 12 > 2.455100 | c 21 > 1.414210 | c 20 > 46.439600 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.716000 | c 1 > 7.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.383700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.539600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.31 c choco : 4.22 7.17/7.31 c mistral : 0.225965 7.17/7.31 c abscon : 1.49977 7.17/7.31 c 7.17/7.31 c 7.17/7.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-3.xml 7.17/7.31 c 19 > 53.395100 | c 35 > 30.524700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.722200 | c 15 > 17.197600 | c 34 > 48.796300 | c 16 > 20.000000 | c 13 > 3.780610 | c 14 > 8.149750 | c 11 > 10.633000 | c 12 > 2.232160 | c 21 > 1.414210 | c 20 > 46.604900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.726200 | c 1 > 7.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.396600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.550700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.32 c choco : 4.29 7.17/7.32 c mistral : 0.508921 7.17/7.32 c abscon : 34.9107 7.17/7.32 c 7.17/7.32 c 7.17/7.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s3-3-3-4.xml 7.17/7.32 c 19 > 52.922100 | c 35 > 30.519500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.610400 | c 15 > 16.763100 | c 34 > 48.766200 | c 16 > 19.000000 | c 13 > 3.226770 | c 14 > 7.960000 | c 11 > 10.564100 | c 12 > 2.037390 | c 21 > 1.414210 | c 20 > 47.077900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.654600 | c 1 > 7.832890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.328700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.451200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.33 c choco : 3.82 7.17/7.33 c mistral : 0.133978 7.17/7.33 c abscon : 11.3753 7.17/7.33 c 7.17/7.33 c 7.17/7.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/cm42a.xml 7.17/7.33 c 19 > 52.432400 | c 35 > 33.837800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.891900 | c 15 > 11.971500 | c 34 > 41.891900 | c 16 > 20.000000 | c 13 > 1.399500 | c 14 > 5.584960 | c 11 > 8.951280 | c 12 > 0.864099 | c 21 > 1.414210 | c 20 > 47.567600 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 8.945440 | c 1 > 6.629360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.629360 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.138300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.33 c choco : 1.73 7.17/7.33 c mistral : 0.030994 7.17/7.33 c abscon : 0.921859 7.17/7.33 c 7.17/7.33 c 7.17/7.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-6.xml 7.17/7.33 c 19 > 46.666700 | c 35 > 28.444400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.000000 | c 15 > 18.259800 | c 34 > 42.666700 | c 16 > 44.000000 | c 13 > 5.892450 | c 14 > 9.592460 | c 11 > 10.209500 | c 12 > 3.688200 | c 21 > 1.412840 | c 20 > 53.333300 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 9.982990 | c 1 > 8.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.857980 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.671300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.34 c choco : 1801.0 7.17/7.34 c mistral : 0.1 7.17/7.34 c abscon : 1800.07 7.17/7.34 c 7.17/7.34 c 7.17/7.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/b1.xml 7.17/7.34 c 19 > 51.111100 | c 35 > 32.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 37.333300 | c 15 > 9.262090 | c 34 > 39.333300 | c 16 > 9.000000 | c 13 > 0.966209 | c 14 > 3.584960 | c 11 > 6.781360 | c 12 > 0.750022 | c 21 > 1.414210 | c 20 > 48.888900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 6.768180 | c 1 > 4.584960 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.426260 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.651050 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.34 c choco : 1.25 7.17/7.34 c mistral : 0.016997 7.17/7.34 c abscon : 0.687894 7.17/7.34 c 7.17/7.34 c 7.17/7.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/9symml.xml 7.17/7.34 c 19 > 34.648100 | c 35 > 40.491500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 36.353200 | c 15 > 15.494100 | c 34 > 49.599500 | c 16 > 42.000000 | c 13 > 1.732350 | c 14 > 8.353150 | c 11 > 12.565300 | c 12 > 0.794272 | c 21 > 1.406590 | c 20 > 65.351900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.547600 | c 1 > 9.315150 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.404300 | c 6 > 1.584960 | c 32 > -1.000000 | c 5 > 14.786500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.35 c choco : 4.07 7.17/7.35 c mistral : 0.25596 7.17/7.35 c abscon : 1.61275 7.17/7.35 c 7.17/7.35 c 7.17/7.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mux.xml 7.17/7.35 c 19 > 31.119500 | c 35 > 43.719200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 34.838700 | c 15 > 13.772900 | c 34 > 53.548400 | c 16 > 27.000000 | c 13 > 1.514770 | c 14 > 6.539160 | c 11 > 11.047100 | c 12 > 0.801499 | c 21 > 1.414210 | c 20 > 68.880500 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 11.000000 | c 1 > 7.857980 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.879600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.237800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.36 c choco : 2.48 7.17/7.36 c mistral : 0.078987 7.17/7.36 c abscon : 1.01684 7.17/7.36 c 7.17/7.36 c 7.17/7.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/my-adder.xml 7.17/7.36 c 19 > 28.744300 | c 35 > 37.647500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 33.857800 | c 15 > 14.703400 | c 34 > 46.399400 | c 16 > 17.000000 | c 13 > 1.420870 | c 14 > 8.299210 | c 11 > 12.157700 | c 12 > 0.744147 | c 21 > 1.414210 | c 20 > 71.255700 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.094100 | c 1 > 9.172430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.962900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.094700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.36 c choco : 3.51 7.17/7.36 c mistral : 0.179972 7.17/7.36 c abscon : 1.3318 7.17/7.36 c 7.17/7.36 c 7.17/7.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/c8.xml 7.17/7.36 c 19 > 30.592700 | c 35 > 42.179700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 34.646300 | c 15 > 13.747900 | c 34 > 51.376700 | c 16 > 36.000000 | c 13 > 1.699380 | c 14 > 6.357550 | c 11 > 11.050500 | c 12 > 0.781966 | c 21 > 1.412730 | c 20 > 69.407300 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.996500 | c 1 > 7.894820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.878800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.376300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.37 c choco : 2.43 7.17/7.37 c mistral : 0.084986 7.17/7.37 c abscon : 1.16082 7.17/7.37 c 7.17/7.37 c 7.17/7.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/cc.xml 7.17/7.37 c 19 > 27.397300 | c 35 > 35.114200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.369900 | c 15 > 12.214900 | c 34 > 42.831100 | c 16 > 31.000000 | c 13 > 1.286480 | c 14 > 4.857980 | c 11 > 9.584960 | c 12 > 0.668885 | c 21 > 1.384660 | c 20 > 72.602700 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 9.461480 | c 1 > 6.930740 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.326430 | c 6 > 2.000000 | c 32 > -1.000000 | c 5 > 11.884200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.38 c choco : 1.79 7.17/7.38 c mistral : 0.038993 7.17/7.38 c abscon : 0.891863 7.17/7.38 c 7.17/7.38 c 7.17/7.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/cmb.xml 7.17/7.38 c 19 > 28.806000 | c 35 > 46.806000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 34.746300 | c 15 > 14.826100 | c 34 > 56.000000 | c 16 > 28.000000 | c 13 > 1.595110 | c 14 > 7.303780 | c 11 > 11.636200 | c 12 > 0.808326 | c 21 > 1.413050 | c 20 > 71.194000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 11.585400 | c 1 > 8.243170 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.491900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.150200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.38 c choco : 2.7 7.17/7.38 c mistral : 0.12198 7.17/7.38 c abscon : 1.25681 7.17/7.38 c 7.17/7.38 c 7.17/7.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-4.xml 7.17/7.38 c 19 > 39.230800 | c 35 > 26.076900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.538500 | c 15 > 20.080700 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 10.359300 | c 14 > 13.017900 | c 11 > 10.011200 | c 12 > 9.209880 | c 21 > 1.414210 | c 20 > 60.769200 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 9.707360 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.303780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.396600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.39 c choco : 97.7 7.17/7.39 c mistral : 12.3971 7.17/7.39 c abscon : 4.75328 7.17/7.39 c 7.17/7.39 c 7.17/7.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/C17.xml 7.17/7.39 c 19 > 55.000000 | c 35 > 27.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 37.500000 | c 15 > 7.321930 | c 34 > 34.500000 | c 16 > 5.000000 | c 13 > 0.693585 | c 14 > 2.807350 | c 11 > 5.247930 | c 12 > 0.634716 | c 21 > 1.316560 | c 20 > 45.000000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 5.129280 | c 1 > 3.459430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.754890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.845490 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.39 c choco : 1.14 7.17/7.39 c mistral : 0.01 7.17/7.39 c abscon : 0.678896 7.17/7.39 c 7.17/7.39 c 7.17/7.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-1.xml 7.17/7.39 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 20.202000 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 8.324630 | c 14 > 12.436500 | c 11 > 10.019600 | c 12 > 7.104540 | c 21 > 1.414210 | c 20 > 61.346200 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 9.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.40 c choco : 45.97 7.23/7.40 c mistral : 1.4 7.23/7.40 c abscon : 3.53646 7.23/7.40 c 7.23/7.40 c 7.23/7.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-2.xml 7.23/7.40 c 19 > 38.846200 | c 35 > 26.115400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.307700 | c 15 > 18.541400 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.915430 | c 14 > 11.476200 | c 11 > 9.016810 | c 12 > 6.489690 | c 21 > 1.414210 | c 20 > 61.153800 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 8.710810 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.312880 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.40 c choco : 4.61 7.23/7.40 c mistral : 0.036993 7.23/7.40 c abscon : 1.13283 7.23/7.40 c 7.23/7.40 c 7.23/7.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-3.xml 7.23/7.40 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 19.954900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 9.940520 | c 14 > 12.803100 | c 11 > 10.019600 | c 12 > 8.670580 | c 21 > 1.414210 | c 20 > 61.346200 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 9.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.41 c choco : 73.01 7.23/7.41 c mistral : 0.493924 7.23/7.41 c abscon : 7.12592 7.23/7.41 c 7.23/7.41 c 7.23/7.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-2.xml 7.23/7.41 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 19.935200 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 10.386500 | c 14 > 12.940100 | c 11 > 10.019600 | c 12 > 9.285440 | c 21 > 1.414210 | c 20 > 61.346200 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 9.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.41 c choco : 42.29 7.23/7.41 c mistral : 4.09 7.23/7.41 c abscon : 5.17121 7.23/7.41 c 7.23/7.41 c 7.23/7.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-3.xml 7.23/7.41 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 18.137200 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.967320 | c 14 > 11.473200 | c 11 > 9.022370 | c 12 > 6.629220 | c 21 > 1.414210 | c 20 > 61.538500 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 8.714250 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.42 c choco : 3.49 7.23/7.42 c mistral : 0.219965 7.23/7.42 c abscon : 1.37479 7.23/7.42 c 7.23/7.42 c 7.23/7.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-4.xml 7.23/7.42 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 17.680100 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.944640 | c 14 > 10.893300 | c 11 > 9.022370 | c 12 > 6.333710 | c 21 > 1.414210 | c 20 > 61.538500 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 8.714250 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.42 c choco : 2.78 7.23/7.42 c mistral : 0.056991 7.23/7.43 c abscon : 1.06884 7.23/7.43 c 7.23/7.43 c 7.23/7.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-1.xml 7.23/7.43 c 19 > 38.846200 | c 35 > 26.115400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.307700 | c 15 > 15.249400 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 5.125640 | c 14 > 8.625710 | c 11 > 9.016810 | c 12 > 3.243820 | c 21 > 1.414210 | c 20 > 61.153800 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 8.710810 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.312880 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.43 c choco : 3.25 7.23/7.43 c mistral : 0.06 7.23/7.43 c abscon : 1.07783 7.23/7.43 c 7.23/7.43 c 7.23/7.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-3.xml 7.23/7.43 c 19 > 40.000000 | c 35 > 26.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 13.581900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 3.460210 | c 14 > 7.044390 | c 11 > 8.000000 | c 12 > 2.292320 | c 21 > 1.414210 | c 20 > 60.000000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 7.700440 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.285400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.383700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.44 c choco : 1.69 7.23/7.44 c mistral : 0.029995 7.23/7.44 c abscon : 0.835872 7.23/7.44 c 7.23/7.44 c 7.23/7.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-4.xml 7.23/7.44 c 19 > 40.000000 | c 35 > 26.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 12.714900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 2.653550 | c 14 > 6.285400 | c 11 > 8.000000 | c 12 > 1.350940 | c 21 > 1.414210 | c 20 > 60.000000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 7.700440 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.285400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.383700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.44 c choco : 1.71 7.23/7.44 c mistral : 0.03 7.23/7.44 c abscon : 0.760884 7.23/7.44 c 7.23/7.44 c 7.23/7.44 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-1.xml 7.23/7.44 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.558400 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 1.534240 | c 14 > 6.285400 | c 11 > 6.741470 | c 12 > 0.201048 | c 21 > 5.291500 | c 20 > 52.500000 | c 22 > 5.291500 | 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 > 3.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.502900 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.45 c choco : 1.42 7.23/7.45 c mistral : 0.019996 7.23/7.45 c abscon : 1.01284 7.23/7.45 c 7.23/7.45 c 7.23/7.45 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-1.xml 7.23/7.45 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.779700 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 2.199930 | c 14 > 6.339850 | c 11 > 6.643860 | c 12 > 0.765535 | c 21 > 6.782330 | c 20 > 52.500000 | c 22 > 6.782330 | 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 > 3.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.697100 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.46 c choco : 1.47 7.23/7.46 c mistral : 0.02 7.23/7.46 c abscon : 1.80672 7.23/7.46 c 7.23/7.46 c 7.23/7.46 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-2-1.xml 7.23/7.46 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.348700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.036060 | c 14 > 5.727920 | c 11 > 6.794420 | c 12 > 0.490986 | c 21 > 5.291500 | c 20 > 50.000000 | c 22 > 5.291500 | 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 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.972900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.46 c choco : 1.54 7.23/7.46 c mistral : 0.024995 7.23/7.46 c abscon : 1.10383 7.23/7.46 c 7.23/7.46 c 7.23/7.46 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-2-1.xml 7.23/7.46 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.392300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.548740 | c 14 > 6.000000 | c 11 > 6.643860 | c 12 > 1.182690 | c 21 > 6.782330 | c 20 > 50.000000 | c 22 > 6.782330 | 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 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.209900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.47 c choco : 1.56 7.23/7.47 c mistral : 0.02 7.23/7.47 c abscon : 2.07768 7.23/7.47 c 7.23/7.47 c 7.23/7.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-1.xml 7.23/7.47 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 13.887000 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 4.663000 | c 14 > 7.761550 | c 11 > 8.022370 | c 12 > 3.073030 | c 21 > 1.414210 | c 20 > 61.538500 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 7.714250 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.409390 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.23/7.47 c choco : 1.78 7.23/7.47 c mistral : 0.028995 7.23/7.47 c abscon : 0.859868 7.23/7.47 c 7.23/7.47 c 7.23/7.48 c Length: 40 7.23/7.48 c 3.3558513850586396 3.4829037658109367 3.6230597767356816 3.7607842525063826 4.524631996947375 4.859538836854788 5.81492326828996 9.945380661824865 10.049545304370739 10.215984215365642 10.944740551228248 12.186226832883918 13.056411219286103 13.058553504439148 13.473900017697174 18.08622982995464 24.193969809931982 27.784946745275306 28.57427193973985 30.68417681636972 31.389646717456525 31.766857594578287 34.15310651600415 34.91000241992595 35.51295932552228 35.538456925294895 35.58334530352508 35.77358177042103 35.8440267034216 35.96606194906527 36.10675686891997 36.10887766524459 36.13719749198739 36.37672858039052 36.78534217141524 36.7922576969963 37.016485775413976 37.09992631522408 37.24030760418877 37.24463911510756 7.23/7.48 c 7.23/7.48 c 1.0 0.9962649053988246 0.9921768233394581 0.9881922153562626 0.966661104372987 0.9575139222653892 0.9323461708778895 0.8372084176410601 0.8350595220581467 0.8316487225680982 0.8170367837823271 0.793292405774492 0.7774557231001653 0.7774175153706633 0.7700800723494536 0.6970252761659442 0.6192344883176059 0.5811045589154047 0.573344414556013 0.553583564790497 0.5472767131802825 0.5439630789617279 0.5238964424346291 0.5178371932804552 0.5131096699651423 0.5129116559025251 0.5125634243953265 0.5110928562266386 0.5105504405998843 0.5096135069613266 0.5085375711629933 0.5085213875607328 0.5083053802308849 0.5064856888439432 0.5034113836079482 0.5033596740755707 0.5016887882422363 0.5010698408598384 0.5000319559066851 0.5 7.23/7.49 c 7.23/7.49 c solver 0 7.23/7.49 c before 0.0 seconds: {} 0 7.23/7.49 c before 18.0 seconds: {11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14990 7.23/7.49 c before 36.0 seconds: {11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15767 7.23/7.49 c before 1656.0 seconds: {10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16584 7.23/7.49 c 7.23/7.49 c solver 1 7.23/7.49 c before 0.0 seconds: {} 0 7.23/7.49 c before 18.0 seconds: {1, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19037 7.23/7.49 c before 36.0 seconds: {1, 5, 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, 34, 35, 36, 37, 38, 39} 20829 7.23/7.49 c before 90.0 seconds: {0, 1, 5, 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, 34, 35, 36, 37, 38, 39} 21829 7.23/7.49 c before 108.0 seconds: {0, 1, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22661 7.23/7.49 c before 162.0 seconds: {0, 1, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23649 7.23/7.49 c before 1512.0 seconds: {0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24582 7.23/7.49 c 7.23/7.49 c solver 2 7.23/7.49 c before 0.0 seconds: {} 0 7.23/7.49 c before 18.0 seconds: {7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16207 7.23/7.49 c before 54.0 seconds: {7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17229 7.23/7.49 c before 72.0 seconds: {4, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18196 7.23/7.49 c before 90.0 seconds: {4, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18706 7.23/7.49 c before 108.0 seconds: {4, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19220 7.23/7.49 c before 126.0 seconds: {1, 4, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20216 7.23/7.49 c before 180.0 seconds: {1, 2, 4, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21208 7.23/7.49 c 7.23/7.49 cTotal time: 186 7.23/7.50 c run abscon for 36.0 seconds {11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15767 7.23/7.50 c run mistral for 1512.0 seconds {0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24582 7.23/7.50 c run choco for 180.0 seconds {1, 2, 4, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21208 7.23/7.50 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.23/7.50 c On Instance: HOME/instance-1049930-1215047243.xml 7.30/7.50 c Running for: 36 seconds 43.66/43.91 c Starting solver: HOME/cpHydra_k_40/solver/mistral 43.66/43.91 c On Instance: HOME/instance-1049930-1215047243.xml 43.66/43.91 c Running for: 1512 seconds 45.76/46.07 c mistral-prime version 1.313 45.76/46.07 s SATISFIABLE 45.76/46.07 v 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 45.76/46.07 d CHECKS 2020659 45.76/46.07 d ASSIGNMENTS 2157
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-1049930-1215047243/watcher-1049930-1215047243 -o /tmp/evaluation-result-1049930-1215047243/solver-1049930-1215047243 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1049930-1215047243.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/88 15902 /proc/meminfo: memFree=1085424/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=0 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 660453265 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15902/statm: 1340 236 195 169 0 51 0 [pid=15905] ppid=15902 vsize=5780 CPUtime=0.04 /proc/15905/stat : 15905 (xsolve) R 15902 15902 14372 0 -1 4194304 757 0 0 0 4 0 0 0 18 0 1 0 660453266 5918720 716 996147200 134512640 135239763 4294956176 18446744073709551615 4158664983 0 0 4096 0 0 0 0 17 0 0 0 /proc/15905/statm: 1445 716 376 177 0 348 0 [startup+0.0974741 s] /proc/loadavg: 1.92 1.98 1.99 4/88 15902 /proc/meminfo: memFree=1085424/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=0 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 660453265 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15902/statm: 1340 236 195 169 0 51 0 [pid=15905] ppid=15902 vsize=7000 CPUtime=0.08 /proc/15905/stat : 15905 (xsolve) R 15902 15902 14372 0 -1 4194304 1062 0 0 0 8 0 0 0 18 0 1 0 660453266 7168000 1021 996147200 134512640 135239763 4294956176 18446744073709551615 134941758 0 0 4096 0 0 0 0 17 0 0 0 /proc/15905/statm: 1750 1021 381 177 0 653 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12360 [startup+0.101474 s] /proc/loadavg: 1.92 1.98 1.99 4/88 15902 /proc/meminfo: memFree=1085424/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=0 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 660453265 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15902/statm: 1340 236 195 169 0 51 0 [pid=15905] ppid=15902 vsize=7564 CPUtime=0.09 /proc/15905/stat : 15905 (xsolve) R 15902 15902 14372 0 -1 4194304 1222 0 0 0 9 0 0 0 18 0 1 0 660453266 7745536 1181 996147200 134512640 135239763 4294956176 18446744073709551615 6813307 0 0 4096 0 0 0 0 17 0 0 0 /proc/15905/statm: 1891 1184 403 177 0 794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12924 [startup+0.301497 s] /proc/loadavg: 1.92 1.98 1.99 4/88 15902 /proc/meminfo: memFree=1085424/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=0 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 660453265 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15902/statm: 1340 236 195 169 0 51 0 [pid=15905] ppid=15902 vsize=13176 CPUtime=0.28 /proc/15905/stat : 15905 (xsolve) R 15902 15902 14372 0 -1 4194304 2657 0 0 0 28 0 0 0 19 0 1 0 660453266 13492224 2616 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15905/statm: 3294 2616 432 177 0 2197 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 18536 [startup+0.701542 s] /proc/loadavg: 1.92 1.98 1.99 4/88 15902 /proc/meminfo: memFree=1085424/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=0 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 660453265 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15902/statm: 1340 236 195 169 0 51 0 [pid=15905] ppid=15902 vsize=13176 CPUtime=0.68 /proc/15905/stat : 15905 (xsolve) R 15902 15902 14372 0 -1 4194304 2658 0 0 0 68 0 0 0 23 0 1 0 660453266 13492224 2617 996147200 134512640 135239763 4294956176 18446744073709551615 135096142 0 0 4096 0 0 0 0 17 0 0 0 /proc/15905/statm: 3294 2617 432 177 0 2197 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 18536 [startup+1.50163 s] /proc/loadavg: 1.92 1.98 1.99 3/90 15906 /proc/meminfo: memFree=1076320/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=0 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 660453265 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15902/statm: 1340 236 195 169 0 51 0 [pid=15905] ppid=15902 vsize=13176 CPUtime=1.48 /proc/15905/stat : 15905 (xsolve) R 15902 15902 14372 0 -1 4194304 2658 0 0 0 148 0 0 0 25 0 1 0 660453266 13492224 2617 996147200 134512640 135239763 4294956176 18446744073709551615 134802979 0 0 4096 0 0 0 0 17 0 0 0 /proc/15905/statm: 3294 2617 432 177 0 2197 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 18536 [startup+3.10182 s] /proc/loadavg: 1.92 1.98 1.99 5/98 15918 /proc/meminfo: memFree=1078752/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=1.6 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 375 3254 0 0 0 0 159 1 20 0 1 0 660453265 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15902/statm: 1340 238 196 169 0 51 0 [pid=15910] ppid=15902 vsize=197004 CPUtime=1.45 /proc/15910/stat : 15910 (java) S 15902 15902 14372 0 -1 0 5042 0 1 0 141 4 0 0 18 0 9 0 660453427 201732096 4234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15910/statm: 49251 4234 1679 9 0 43833 0 [pid=15910/tid=15911] ppid=15902 vsize=197004 CPUtime=1.15 /proc/15910/task/15911/stat : 15911 (java) R 15902 15902 14372 0 -1 64 2735 0 1 0 114 1 0 0 25 0 9 0 660453428 201732096 4234 996147200 134512640 134550740 4294955968 18446744073709551615 4126441101 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15912] ppid=15902 vsize=197004 CPUtime=0.13 /proc/15910/task/15912/stat : 15912 (java) S 15902 15902 14372 0 -1 64 970 0 0 0 12 1 0 0 16 0 9 0 660453429 201732096 4234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15913] ppid=15902 vsize=197004 CPUtime=0 /proc/15910/task/15913/stat : 15913 (java) S 15902 15902 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 660453429 201732096 4234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15914] ppid=15902 vsize=197004 CPUtime=0 /proc/15910/task/15914/stat : 15914 (java) S 15902 15902 14372 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 660453429 201732096 4234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15915] ppid=15902 vsize=197004 CPUtime=0 /proc/15910/task/15915/stat : 15915 (java) S 15902 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 660453431 201732096 4234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15916] ppid=15902 vsize=197004 CPUtime=0.13 /proc/15910/task/15916/stat : 15916 (java) S 15902 15902 14372 0 -1 64 612 0 0 0 13 0 0 0 16 0 9 0 660453431 201732096 4234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15917] ppid=15902 vsize=197004 CPUtime=0 /proc/15910/task/15917/stat : 15917 (java) S 15902 15902 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 660453431 201732096 4234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15918] ppid=15902 vsize=197004 CPUtime=0 /proc/15910/task/15918/stat : 15918 (java) S 15902 15902 14372 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 660453431 201732096 4234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 202364 [startup+6.30117 s] /proc/loadavg: 2.01 2.00 2.00 3/98 15918 /proc/meminfo: memFree=1063840/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=1.6 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 375 3254 0 0 0 0 159 1 20 0 1 0 660453265 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15902/statm: 1340 238 196 169 0 51 0 [pid=15910] ppid=15902 vsize=197116 CPUtime=4.61 /proc/15910/stat : 15910 (java) S 15902 15902 14372 0 -1 0 10184 0 1 0 450 11 0 0 18 0 9 0 660453427 201846784 8450 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15910/statm: 49279 8450 2541 9 0 43861 0 [pid=15910/tid=15911] ppid=15902 vsize=197116 CPUtime=3.71 /proc/15910/task/15911/stat : 15911 (java) R 15902 15902 14372 0 -1 64 3593 0 1 0 367 4 0 0 25 0 9 0 660453428 201846784 8450 996147200 134512640 134550740 4294955968 18446744073709551615 4126380487 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15912] ppid=15902 vsize=197116 CPUtime=0.72 /proc/15910/task/15912/stat : 15912 (java) S 15902 15902 14372 0 -1 64 5239 0 0 0 66 6 0 0 16 0 9 0 660453429 201846784 8450 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15913] ppid=15902 vsize=197116 CPUtime=0 /proc/15910/task/15913/stat : 15913 (java) S 15902 15902 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 660453429 201846784 8450 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15914] ppid=15902 vsize=197116 CPUtime=0 /proc/15910/task/15914/stat : 15914 (java) S 15902 15902 14372 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 660453429 201846784 8450 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15915] ppid=15902 vsize=197116 CPUtime=0 /proc/15910/task/15915/stat : 15915 (java) S 15902 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 660453431 201846784 8450 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15916] ppid=15902 vsize=197116 CPUtime=0.15 /proc/15910/task/15916/stat : 15916 (java) S 15902 15902 14372 0 -1 64 627 0 0 0 15 0 0 0 16 0 9 0 660453431 201846784 8450 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15917] ppid=15902 vsize=197116 CPUtime=0 /proc/15910/task/15917/stat : 15917 (java) S 15902 15902 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 660453431 201846784 8450 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15918] ppid=15902 vsize=197116 CPUtime=0 /proc/15910/task/15918/stat : 15918 (java) S 15902 15902 14372 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 660453431 201846784 8450 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202476 [startup+12.7039 s] /proc/loadavg: 2.01 2.00 2.00 3/110 15930 /proc/meminfo: memFree=1010928/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=1.6 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 375 3254 0 0 0 0 159 1 20 0 1 0 660453265 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15902/statm: 1340 238 196 169 0 51 0 [pid=15910] ppid=15902 vsize=197440 CPUtime=5.71 /proc/15910/stat : 15910 (java) S 15902 15902 14372 0 -1 0 11463 0 1 0 555 16 0 0 18 0 10 0 660453427 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15910/statm: 49360 9408 2544 9 0 43942 0 [pid=15920] ppid=15910 vsize=5356 CPUtime=0 /proc/15920/stat : 15920 (abscon) S 15910 15902 14372 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 660454016 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/15920/statm: 1339 237 196 169 0 50 0 [pid=15921] ppid=15920 vsize=655940 CPUtime=5.16 /proc/15921/stat : 15921 (java) S 15920 15902 14372 0 -1 0 14563 0 1 0 504 12 0 0 20 0 9 0 660454016 671682560 13878 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15921/statm: 163985 13878 2612 9 0 158513 0 [pid=15921/tid=15923] ppid=15920 vsize=655940 CPUtime=4.81 /proc/15921/task/15923/stat : 15923 (java) R 15920 15902 14372 0 -1 64 11551 0 1 0 471 10 0 0 25 0 9 0 660454017 671682560 13878 996147200 134512640 134550740 4294955808 18446744073709551615 4127070069 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15924] ppid=15920 vsize=655940 CPUtime=0.06 /proc/15921/task/15924/stat : 15924 (java) S 15920 15902 14372 0 -1 64 1753 0 0 0 6 0 0 0 16 0 9 0 660454018 671682560 13878 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15925] ppid=15920 vsize=655940 CPUtime=0 /proc/15921/task/15925/stat : 15925 (java) S 15920 15902 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 660454018 671682560 13878 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15926] ppid=15920 vsize=655940 CPUtime=0 /proc/15921/task/15926/stat : 15926 (java) S 15920 15902 14372 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 660454018 671682560 13878 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15927] ppid=15920 vsize=655940 CPUtime=0 /proc/15921/task/15927/stat : 15927 (java) S 15920 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 660454020 671682560 13878 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15928] ppid=15920 vsize=655940 CPUtime=0.28 /proc/15921/task/15928/stat : 15928 (java) S 15920 15902 14372 0 -1 64 714 0 0 0 27 1 0 0 16 0 9 0 660454020 671682560 13878 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15929] ppid=15920 vsize=655940 CPUtime=0 /proc/15921/task/15929/stat : 15929 (java) S 15920 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 660454020 671682560 13878 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15930] ppid=15920 vsize=655940 CPUtime=0 /proc/15921/task/15930/stat : 15930 (java) S 15920 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 660454020 671682560 13878 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15922] ppid=15920 vsize=7044 CPUtime=0 /proc/15922/stat : 15922 (translate) S 15920 15902 14372 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 660454016 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240154017874 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/15922/statm: 1761 213 182 1 0 41 0 [pid=15910/tid=15911] ppid=15902 vsize=197440 CPUtime=4.62 /proc/15910/task/15911/stat : 15911 (java) S 15902 15902 14372 0 -1 64 3865 0 1 0 455 7 0 0 24 0 10 0 660453428 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15910/tid=15912] ppid=15902 vsize=197440 CPUtime=0.84 /proc/15910/task/15912/stat : 15912 (java) S 15902 15902 14372 0 -1 64 6105 0 0 0 77 7 0 0 16 0 10 0 660453429 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15913] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15913/stat : 15913 (java) S 15902 15902 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 660453429 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15914] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15914/stat : 15914 (java) S 15902 15902 14372 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 660453429 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15915] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15915/stat : 15915 (java) S 15902 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 660453431 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15916] ppid=15902 vsize=197440 CPUtime=0.21 /proc/15910/task/15916/stat : 15916 (java) S 15902 15902 14372 0 -1 64 666 0 0 0 21 0 0 0 16 0 10 0 660453431 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15917] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15917/stat : 15917 (java) S 15902 15902 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 660453431 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15918] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15918/stat : 15918 (java) S 15902 15902 14372 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 660453431 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15919] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15919/stat : 15919 (java) S 15902 15902 14372 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 660454016 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 871140 [startup+25.5023 s] /proc/loadavg: 2.00 2.00 2.00 3/110 15930 /proc/meminfo: memFree=1010864/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=1.6 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 375 3254 0 0 0 0 159 1 20 0 1 0 660453265 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15902/statm: 1340 238 196 169 0 51 0 ################ # More data... # ################ /proc/15921/task/15925/stat : 15925 (java) S 15920 15902 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 660454018 671682560 13886 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15926] ppid=15920 vsize=655940 CPUtime=0 /proc/15921/task/15926/stat : 15926 (java) S 15920 15902 14372 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 660454018 671682560 13886 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15927] ppid=15920 vsize=655940 CPUtime=0 /proc/15921/task/15927/stat : 15927 (java) S 15920 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 660454020 671682560 13886 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15928] ppid=15920 vsize=655940 CPUtime=0.29 /proc/15921/task/15928/stat : 15928 (java) S 15920 15902 14372 0 -1 64 725 0 0 0 28 1 0 0 16 0 9 0 660454020 671682560 13886 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15929] ppid=15920 vsize=655940 CPUtime=0 /proc/15921/task/15929/stat : 15929 (java) S 15920 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 660454020 671682560 13886 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15921/tid=15930] ppid=15920 vsize=655940 CPUtime=0 /proc/15921/task/15930/stat : 15930 (java) S 15920 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 660454020 671682560 13886 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15922] ppid=15920 vsize=7044 CPUtime=0 /proc/15922/stat : 15922 (translate) S 15920 15902 14372 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 660454016 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240154017874 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/15922/statm: 1761 213 182 1 0 41 0 [pid=15910/tid=15911] ppid=15902 vsize=197440 CPUtime=4.62 /proc/15910/task/15911/stat : 15911 (java) S 15902 15902 14372 0 -1 64 3865 0 1 0 455 7 0 0 24 0 10 0 660453428 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15910/tid=15912] ppid=15902 vsize=197440 CPUtime=0.84 /proc/15910/task/15912/stat : 15912 (java) S 15902 15902 14372 0 -1 64 6105 0 0 0 77 7 0 0 16 0 10 0 660453429 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15913] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15913/stat : 15913 (java) S 15902 15902 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 660453429 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15914] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15914/stat : 15914 (java) S 15902 15902 14372 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 660453429 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15915] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15915/stat : 15915 (java) S 15902 15902 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 660453431 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15916] ppid=15902 vsize=197440 CPUtime=0.21 /proc/15910/task/15916/stat : 15916 (java) S 15902 15902 14372 0 -1 64 666 0 0 0 21 0 0 0 16 0 10 0 660453431 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15917] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15917/stat : 15917 (java) S 15902 15902 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 660453431 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15918] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15918/stat : 15918 (java) S 15902 15902 14372 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 660453431 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15919] ppid=15902 vsize=197440 CPUtime=0 /proc/15910/task/15919/stat : 15919 (java) S 15902 15902 14372 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 660454016 202178560 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.86 Current children cumulated vsize (KiB) 871140 [startup+44.7024 s] /proc/loadavg: 2.00 2.00 2.00 3/110 15930 /proc/meminfo: memFree=1010608/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=1.6 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 375 3254 0 0 0 0 159 1 20 0 1 0 660453265 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15902/statm: 1340 238 196 169 0 51 0 [pid=15910] ppid=15902 vsize=197764 CPUtime=42.09 /proc/15910/stat : 15910 (java) S 15902 15902 14372 0 -1 0 11655 15154 1 1 555 16 3624 14 18 0 10 0 660453427 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15910/statm: 49441 9414 2545 9 0 44023 0 [pid=15910/tid=15911] ppid=15902 vsize=197764 CPUtime=41 /proc/15910/task/15911/stat : 15911 (java) S 15902 15902 14372 0 -1 64 3950 15154 1 1 455 7 3624 14 16 0 10 0 660453428 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15910/tid=15912] ppid=15902 vsize=197764 CPUtime=37.22 /proc/15910/task/15912/stat : 15912 (java) S 15902 15902 14372 0 -1 64 6120 15154 0 1 77 7 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15910/tid=15913] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15913/stat : 15913 (java) S 15902 15902 14372 0 -1 64 11 15154 0 1 0 0 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15914] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15914/stat : 15914 (java) S 15902 15902 14372 0 -1 64 6 15154 0 1 0 0 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15915] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15915/stat : 15915 (java) S 15902 15902 14372 0 -1 64 1 15154 0 1 0 0 3624 14 18 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15916] ppid=15902 vsize=197764 CPUtime=36.59 /proc/15910/task/15916/stat : 15916 (java) S 15902 15902 14372 0 -1 64 698 15154 0 1 21 0 3624 14 16 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15910/tid=15917] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15917/stat : 15917 (java) S 15902 15902 14372 0 -1 64 0 15154 0 1 0 0 3624 14 19 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15918] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15918/stat : 15918 (java) S 15902 15902 14372 0 -1 64 36 15154 0 1 0 0 3624 14 15 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 43.69 Current children cumulated vsize (KiB) 203124 [startup+45.5025 s] /proc/loadavg: 2.00 2.00 2.00 3/101 15933 /proc/meminfo: memFree=1047728/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=1.6 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 375 3254 0 0 0 0 159 1 20 0 1 0 660453265 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15902/statm: 1340 238 196 169 0 51 0 [pid=15910] ppid=15902 vsize=197764 CPUtime=42.09 /proc/15910/stat : 15910 (java) S 15902 15902 14372 0 -1 0 11659 15154 1 1 555 16 3624 14 18 0 10 0 660453427 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15910/statm: 49441 9414 2545 9 0 44023 0 [pid=15932] ppid=15910 vsize=5356 CPUtime=0 /proc/15932/stat : 15932 (mistral) S 15910 15902 14372 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 660457657 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15932/statm: 1339 238 198 169 0 50 0 [pid=15933] ppid=15932 vsize=13176 CPUtime=1.57 /proc/15933/stat : 15933 (xsolve) R 15932 15902 14372 0 -1 4194304 2635 0 0 0 156 1 0 0 25 0 1 0 660457658 13492224 2599 996147200 134512640 135239763 4294955968 18446744073709551615 134802977 0 4 0 0 0 0 0 17 0 0 0 /proc/15933/statm: 3294 2599 414 177 0 2197 0 [pid=15910/tid=15911] ppid=15902 vsize=197764 CPUtime=41 /proc/15910/task/15911/stat : 15911 (java) S 15902 15902 14372 0 -1 64 3950 15154 1 1 455 7 3624 14 16 0 10 0 660453428 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15910/tid=15912] ppid=15902 vsize=197764 CPUtime=37.22 /proc/15910/task/15912/stat : 15912 (java) S 15902 15902 14372 0 -1 64 6124 15154 0 1 77 7 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15910/tid=15913] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15913/stat : 15913 (java) S 15902 15902 14372 0 -1 64 11 15154 0 1 0 0 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15914] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15914/stat : 15914 (java) S 15902 15902 14372 0 -1 64 6 15154 0 1 0 0 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15915] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15915/stat : 15915 (java) S 15902 15902 14372 0 -1 64 1 15154 0 1 0 0 3624 14 18 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15916] ppid=15902 vsize=197764 CPUtime=36.59 /proc/15910/task/15916/stat : 15916 (java) S 15902 15902 14372 0 -1 64 698 15154 0 1 21 0 3624 14 16 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15910/tid=15917] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15917/stat : 15917 (java) S 15902 15902 14372 0 -1 64 0 15154 0 1 0 0 3624 14 19 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15918] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15918/stat : 15918 (java) S 15902 15902 14372 0 -1 64 36 15154 0 1 0 0 3624 14 15 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15931] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15931/stat : 15931 (java) S 15902 15902 14372 0 -1 64 51 15154 0 1 0 0 3624 14 17 0 10 0 660457657 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 45.26 Current children cumulated vsize (KiB) 221656 [startup+45.9026 s] /proc/loadavg: 2.00 2.00 2.00 3/101 15933 /proc/meminfo: memFree=1047728/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=1.6 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 375 3254 0 0 0 0 159 1 20 0 1 0 660453265 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15902/statm: 1340 238 196 169 0 51 0 [pid=15910] ppid=15902 vsize=197764 CPUtime=42.09 /proc/15910/stat : 15910 (java) S 15902 15902 14372 0 -1 0 11659 15154 1 1 555 16 3624 14 18 0 10 0 660453427 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15910/statm: 49441 9414 2545 9 0 44023 0 [pid=15932] ppid=15910 vsize=5356 CPUtime=0 /proc/15932/stat : 15932 (mistral) S 15910 15902 14372 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 660457657 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15932/statm: 1339 238 198 169 0 50 0 [pid=15933] ppid=15932 vsize=13176 CPUtime=1.97 /proc/15933/stat : 15933 (xsolve) R 15932 15902 14372 0 -1 4194304 2639 0 0 0 196 1 0 0 25 0 1 0 660457658 13492224 2603 996147200 134512640 135239763 4294955968 18446744073709551615 135067218 0 4 0 0 0 0 0 17 0 0 0 /proc/15933/statm: 3294 2603 414 177 0 2197 0 [pid=15910/tid=15911] ppid=15902 vsize=197764 CPUtime=41 /proc/15910/task/15911/stat : 15911 (java) S 15902 15902 14372 0 -1 64 3950 15154 1 1 455 7 3624 14 16 0 10 0 660453428 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15910/tid=15912] ppid=15902 vsize=197764 CPUtime=37.22 /proc/15910/task/15912/stat : 15912 (java) S 15902 15902 14372 0 -1 64 6124 15154 0 1 77 7 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15910/tid=15913] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15913/stat : 15913 (java) S 15902 15902 14372 0 -1 64 11 15154 0 1 0 0 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15914] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15914/stat : 15914 (java) S 15902 15902 14372 0 -1 64 6 15154 0 1 0 0 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15915] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15915/stat : 15915 (java) S 15902 15902 14372 0 -1 64 1 15154 0 1 0 0 3624 14 18 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15916] ppid=15902 vsize=197764 CPUtime=36.59 /proc/15910/task/15916/stat : 15916 (java) S 15902 15902 14372 0 -1 64 698 15154 0 1 21 0 3624 14 16 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15910/tid=15917] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15917/stat : 15917 (java) S 15902 15902 14372 0 -1 64 0 15154 0 1 0 0 3624 14 19 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15918] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15918/stat : 15918 (java) S 15902 15902 14372 0 -1 64 36 15154 0 1 0 0 3624 14 15 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15931] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15931/stat : 15931 (java) S 15902 15902 14372 0 -1 64 51 15154 0 1 0 0 3624 14 17 0 10 0 660457657 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 45.66 Current children cumulated vsize (KiB) 221656 [startup+46.0026 s] /proc/loadavg: 2.00 2.00 2.00 3/101 15933 /proc/meminfo: memFree=1047728/2055920 swapFree=4181044/4192956 [pid=15902] ppid=15900 vsize=5360 CPUtime=1.6 /proc/15902/stat : 15902 (hydra) S 15900 15902 14372 0 -1 4194304 375 3254 0 0 0 0 159 1 20 0 1 0 660453265 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15902/statm: 1340 238 196 169 0 51 0 [pid=15910] ppid=15902 vsize=197764 CPUtime=42.09 /proc/15910/stat : 15910 (java) S 15902 15902 14372 0 -1 0 11659 15154 1 1 555 16 3624 14 18 0 10 0 660453427 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15910/statm: 49441 9414 2545 9 0 44023 0 [pid=15932] ppid=15910 vsize=5356 CPUtime=0 /proc/15932/stat : 15932 (mistral) S 15910 15902 14372 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 660457657 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15932/statm: 1339 238 198 169 0 50 0 [pid=15933] ppid=15932 vsize=13176 CPUtime=2.07 /proc/15933/stat : 15933 (xsolve) R 15932 15902 14372 0 -1 4194304 2639 0 0 0 206 1 0 0 25 0 1 0 660457658 13492224 2603 996147200 134512640 135239763 4294955968 18446744073709551615 134820982 0 4 0 0 0 0 0 17 0 0 0 /proc/15933/statm: 3294 2603 414 177 0 2197 0 [pid=15910/tid=15911] ppid=15902 vsize=197764 CPUtime=41 /proc/15910/task/15911/stat : 15911 (java) S 15902 15902 14372 0 -1 64 3950 15154 1 1 455 7 3624 14 16 0 10 0 660453428 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15910/tid=15912] ppid=15902 vsize=197764 CPUtime=37.22 /proc/15910/task/15912/stat : 15912 (java) S 15902 15902 14372 0 -1 64 6124 15154 0 1 77 7 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15910/tid=15913] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15913/stat : 15913 (java) S 15902 15902 14372 0 -1 64 11 15154 0 1 0 0 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15914] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15914/stat : 15914 (java) S 15902 15902 14372 0 -1 64 6 15154 0 1 0 0 3624 14 16 0 10 0 660453429 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15915] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15915/stat : 15915 (java) S 15902 15902 14372 0 -1 64 1 15154 0 1 0 0 3624 14 18 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15916] ppid=15902 vsize=197764 CPUtime=36.59 /proc/15910/task/15916/stat : 15916 (java) S 15902 15902 14372 0 -1 64 698 15154 0 1 21 0 3624 14 16 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15910/tid=15917] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15917/stat : 15917 (java) S 15902 15902 14372 0 -1 64 0 15154 0 1 0 0 3624 14 19 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15918] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15918/stat : 15918 (java) S 15902 15902 14372 0 -1 64 36 15154 0 1 0 0 3624 14 15 0 10 0 660453431 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15910/tid=15931] ppid=15902 vsize=197764 CPUtime=36.38 /proc/15910/task/15931/stat : 15931 (java) S 15902 15902 14372 0 -1 64 51 15154 0 1 0 0 3624 14 17 0 10 0 660457657 202510336 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 45.76 Current children cumulated vsize (KiB) 221656 Child status: 0 Real time (s): 46.106 CPU time (s): 45.882 CPU user time (s): 45.5331 CPU system time (s): 0.348946 CPU usage (%): 99.5142 Max. virtual memory (cumulated for all children) (KiB): 871140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 45.5331 system time used= 0.348946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33545 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= 12019 involuntary context switches= 17118 runsolver used 0.203968 second user time and 0.489925 second system time The end
Begin job on node86 at 2008-07-03 03:07:23 IDJOB=1049930 IDBENCH=54853 IDSOLVER=366 FILE ID=node86/1049930-1215047243 PBS_JOBID= 7875006 Free space on /tmp= 66532 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/routing/normalized-s4-4-3-6.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049930-1215047243/watcher-1049930-1215047243 -o /tmp/evaluation-result-1049930-1215047243/solver-1049930-1215047243 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1049930-1215047243.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= d728e2220465bf5d4aabcd0a25789a21 RANDOM SEED=1205609906 node86.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.220 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.220 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: 1085904 kB Buffers: 32076 kB Cached: 165692 kB SwapCached: 6096 kB Active: 845716 kB Inactive: 55188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1085904 kB SwapTotal: 4192956 kB SwapFree: 4181044 kB Dirty: 24564 kB Writeback: 0 kB Mapped: 720168 kB Slab: 52220 kB Committed_AS: 1778316 kB PageTables: 3876 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= 66508 MiB End job on node86 at 2008-07-03 03:08:09