| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cpHydra k_40 | SAT | 56.1355 | 56.4663 |
| Diagnostic | Value |
|---|---|
| ASSIGNMENTS | 17054 |
| CHECKS | 20229200 |
| Name | csp/pseudo/ii/ normalized-ii-32e2.xml |
| MD5SUM | 9a607de237210856721bcb33bfef4dc4 |
| 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 | 3.06353 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 534 |
| Number of constraints | 3013 |
| Maximum constraint arity | 32 |
| Maximum domain size | 2 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 3013 |
| Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0
7.67/7.86 c CASE TO CLASSIFY:
7.67/7.86 c Case: 0
7.67/7.86 c 19 > 8.861600 | c 35 > 18.589400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.316960 | c 15 > 19.715400 | c 34 > 20.361800 | c 16 > 32.000000 | c 13 > 3.606340 | c 14 > 7.988680 | c 11 > 13.295600 | c 12 > 1.809590 | c 21 > 1.414210 | c 20 > 91.138400 | 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 > 13.256800 | c 1 > 9.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.216900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.005100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.87 c choco : 1801.0
7.67/7.87 c mistral : 1801.0
7.67/7.87 c abscon : 1801.0
7.67/7.87 c
7.67/7.87 c
7.76/7.95 c List of same ones: 40
7.76/7.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e2.xml
7.76/7.95 c 19 > 8.861600 | c 35 > 18.589400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.316960 | c 15 > 19.203800 | c 34 > 20.361800 | c 16 > 32.000000 | c 13 > 3.100940 | c 14 > 7.800900 | c 11 > 13.295600 | c 12 > 1.642620 | c 21 > 1.414210 | c 20 > 91.138400 | 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 > 13.256800 | c 1 > 9.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.216900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.005100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.96 c choco : 1801.0
7.76/7.96 c mistral : 1.61175
7.76/7.96 c abscon : 1784.44
7.76/7.96 c
7.76/7.96 c
7.76/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b2.xml
7.76/7.96 c 19 > 9.258600 | c 35 > 18.442700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.555160 | c 15 > 19.224400 | c 34 > 20.294400 | c 16 > 32.000000 | c 13 > 2.783920 | c 14 > 7.700440 | c 11 > 13.292500 | c 12 > 1.612590 | c 21 > 1.414210 | c 20 > 90.741400 | 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 > 13.254400 | c 1 > 9.027910 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.215400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.036800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.97 c choco : 37.65
7.76/7.97 c mistral : 4.67629
7.76/7.97 c abscon : 13.5079
7.76/7.97 c
7.76/7.97 c
7.76/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c2.xml
7.76/7.97 c 19 > 10.242700 | c 35 > 18.079000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.145620 | c 15 > 19.372300 | c 34 > 20.127500 | c 16 > 32.000000 | c 13 > 2.722930 | c 14 > 7.531380 | c 11 > 13.286100 | c 12 > 1.582940 | c 21 > 1.414210 | c 20 > 89.757300 | 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 > 13.249700 | c 1 > 8.960000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.212300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.098200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.98 c choco : 1801.0
7.76/7.98 c mistral : 2.04969
7.76/7.98 c abscon : 35.6686
7.76/7.98 c
7.76/7.98 c
7.76/7.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d1.xml
7.76/7.98 c 19 > 10.939000 | c 35 > 19.308100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.563430 | c 15 > 19.426200 | c 34 > 21.495900 | c 16 > 32.000000 | c 13 > 2.401190 | c 14 > 7.707360 | c 11 > 12.798700 | c 12 > 1.614890 | c 21 > 1.414210 | c 20 > 89.061000 | 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.729800 | c 1 > 9.375040 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.657500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.208500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.99 c choco : 5.88
7.76/7.99 c mistral : 5.9101
7.76/7.99 c abscon : 1.74073
7.76/7.99 c
7.76/7.99 c
7.76/7.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d2.xml
7.76/7.99 c 19 > 7.270110 | c 35 > 19.226200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.362070 | c 15 > 19.723200 | c 34 > 20.680200 | c 16 > 32.000000 | c 13 > 3.628800 | c 14 > 8.113740 | c 11 > 9.658210 | c 12 > 4.554740 | c 21 > 1.414210 | c 20 > 92.729900 | 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 > 13.687300 | c 1 > 9.658210 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.642400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.214800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/8.00 c choco : 1801.0
7.76/8.00 c mistral : 65.521
7.76/8.00 c abscon : 1800.05
7.76/8.00 c
7.76/8.00 c
7.76/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c3.xml
7.76/8.00 c 19 > 7.856940 | c 35 > 18.037200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.714170 | c 15 > 19.685700 | c 34 > 19.608600 | c 16 > 32.000000 | c 13 > 4.633610 | c 14 > 7.483820 | c 11 > 9.124120 | c 12 > 5.041490 | c 21 > 1.414210 | c 20 > 92.143100 | 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 > 13.820800 | c 1 > 9.124120 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.792700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.674800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.01 c choco : 23.56
7.85/8.01 c mistral : 26.173
7.85/8.01 c abscon : 26.201
7.85/8.01 c
7.85/8.01 c
7.85/8.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml
7.85/8.01 c 19 > 6.168220 | c 35 > 18.358900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.700930 | c 15 > 19.678100 | c 34 > 19.592500 | c 16 > 32.000000 | c 13 > 4.952670 | c 14 > 7.531380 | c 11 > 9.366320 | c 12 > 5.241470 | c 21 > 1.414210 | c 20 > 93.831800 | 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 > 14.233000 | c 1 > 9.366320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.208100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.031600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.02 c choco : 1801.0
7.85/8.02 c mistral : 38.3842
7.85/8.02 c abscon : 864.371
7.85/8.02 c
7.85/8.02 c
7.85/8.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml
7.85/8.02 c 19 > 5.721800 | c 35 > 18.132200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.433080 | c 15 > 19.664900 | c 34 > 19.276600 | c 16 > 32.000000 | c 13 > 5.224600 | c 14 > 7.276120 | c 11 > 9.442940 | c 12 > 5.434720 | c 21 > 1.414210 | c 20 > 94.278200 | 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 > 14.548000 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.526900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.386700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.02 c choco : 1801.0
7.85/8.02 c mistral : 34.6827
7.85/8.02 c abscon : 227.057
7.85/8.02 c
7.85/8.02 c
7.85/8.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml
7.85/8.02 c 19 > 4.746150 | c 35 > 19.093200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.847690 | c 15 > 19.726400 | c 34 > 20.042400 | c 16 > 32.000000 | c 13 > 4.856550 | c 14 > 7.276120 | c 11 > 9.842350 | c 12 > 5.211620 | c 21 > 1.414210 | c 20 > 95.253900 | 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 > 14.565700 | c 1 > 9.842350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.538100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.139100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.03 c choco : 1801.0
7.85/8.03 c mistral : 171.472
7.85/8.03 c abscon : 613.015
7.85/8.03 c
7.85/8.03 c
7.85/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml
7.85/8.03 c 19 > 5.219890 | c 35 > 18.138100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.131940 | c 15 > 19.632900 | c 34 > 19.182100 | c 16 > 32.000000 | c 13 > 5.469140 | c 14 > 7.312880 | c 11 > 9.573650 | c 12 > 5.562700 | c 21 > 1.414210 | c 20 > 94.780100 | 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 > 14.808400 | c 1 > 9.573650 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.646000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.04 c choco : 1801.0
7.85/8.04 c mistral : 68.1926
7.85/8.04 c abscon : 1398.64
7.85/8.04 c
7.85/8.04 c
7.85/8.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml
7.85/8.04 c 19 > 5.164820 | c 35 > 18.205000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.098890 | c 15 > 19.645000 | c 34 > 19.238000 | c 16 > 32.000000 | c 13 > 5.455050 | c 14 > 7.266790 | c 11 > 9.596190 | c 12 > 5.548950 | c 21 > 1.414210 | c 20 > 94.835200 | 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 > 14.809200 | c 1 > 9.596190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.635700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.05 c choco : 1801.0
7.85/8.05 c mistral : 38.2112
7.85/8.05 c abscon : 762.347
7.85/8.05 c
7.85/8.05 c
7.85/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b1.xml
7.85/8.05 c 19 > 14.232200 | c 35 > 18.651700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.539330 | c 15 > 19.731000 | c 34 > 21.498100 | c 16 > 32.000000 | c 13 > 2.394650 | c 14 > 7.266790 | c 11 > 12.361400 | c 12 > 1.646680 | c 21 > 1.414210 | c 20 > 85.767800 | 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.297500 | c 1 > 8.832890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.230600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.031400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.07 c choco : 4.72
7.85/8.07 c mistral : 0.34
7.85/8.07 c abscon : 1.3318
7.85/8.07 c
7.85/8.07 c
7.85/8.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml
7.85/8.07 c 19 > 4.293470 | c 35 > 18.659300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.576080 | c 15 > 19.700800 | c 34 > 19.518000 | c 16 > 32.000000 | c 13 > 5.665320 | c 14 > 7.247930 | c 11 > 10.027900 | c 12 > 5.597150 | c 21 > 1.414210 | c 20 > 95.706500 | 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 > 15.227600 | c 1 > 10.027900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.207900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.956300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.08 c choco : 1801.0
7.85/8.08 c mistral : 28.4527
7.85/8.08 c abscon : 1800.08
7.85/8.08 c
7.85/8.08 c
7.85/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c1.xml
7.85/8.08 c 19 > 14.950200 | c 35 > 18.518300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.970100 | c 15 > 16.379400 | c 34 > 21.508300 | c 16 > 32.000000 | c 13 > 2.156740 | c 14 > 5.000000 | c 11 > 12.358400 | c 12 > 0.904159 | c 21 > 1.414210 | c 20 > 85.049800 | 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.295200 | c 1 > 8.813780 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.229100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.062500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.09 c choco : 3.65
7.85/8.09 c mistral : 0.234963
7.85/8.09 c abscon : 1.43478
7.85/8.09 c
7.85/8.09 c
7.85/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e1.xml
7.85/8.09 c 19 > 15.767000 | c 35 > 18.366500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.460230 | c 15 > 16.592800 | c 34 > 21.519900 | c 16 > 32.000000 | c 13 > 2.164430 | c 14 > 5.285400 | c 11 > 12.355400 | c 12 > 0.906450 | c 21 > 1.414210 | c 20 > 84.233000 | 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.292900 | c 1 > 8.794420 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.227600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.093000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.09 c choco : 3.45
7.85/8.09 c mistral : 0.232963
7.85/8.09 c abscon : 1.38179
7.85/8.09 c
7.85/8.09 c
7.85/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
7.85/8.09 c 19 > 3.510480 | c 35 > 17.836800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.106290 | c 15 > 19.658400 | c 34 > 18.538900 | c 16 > 32.000000 | c 13 > 7.016210 | c 14 > 5.754890 | c 11 > 10.568000 | c 12 > 6.261040 | c 21 > 1.414210 | c 20 > 96.489500 | 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 > 16.532600 | c 1 > 10.568000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.521000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.412700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.32 c choco : 1801.0
8.12/8.32 c mistral : 158.081
8.12/8.32 c abscon : 1800.11
8.12/8.32 c
8.12/8.32 c
8.12/8.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a1.xml
8.12/8.32 c 19 > 7.850410 | c 35 > 22.680600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.710250 | c 15 > 19.168600 | c 34 > 24.250600 | c 16 > 16.000000 | c 13 > 3.711370 | c 14 > 8.554590 | c 11 > 11.688300 | c 12 > 3.859460 | c 21 > 1.414210 | c 20 > 92.149600 | 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 > 14.702000 | c 1 > 11.688300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.609800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.666000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.32 c choco : 1801.0
8.12/8.32 c mistral : 17.7903
8.12/8.32 c abscon : 207.102
8.12/8.32 c
8.12/8.32 c
8.12/8.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a2.xml
8.12/8.32 c 19 > 6.438130 | c 35 > 22.572000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.862880 | c 15 > 18.387400 | c 34 > 23.859700 | c 16 > 16.000000 | c 13 > 4.792640 | c 14 > 6.686500 | c 11 > 11.645700 | c 12 > 4.049520 | c 21 > 1.414210 | c 20 > 93.561900 | 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 > 14.933100 | c 1 > 11.645700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.857300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.817200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.33 c choco : 24.25
8.12/8.33 c mistral : 2.88
8.12/8.33 c abscon : 1800.1
8.12/8.33 c
8.12/8.33 c
8.12/8.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c1.xml
8.12/8.33 c 19 > 8.754920 | c 35 > 28.691700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.252950 | c 15 > 19.421200 | c 34 > 30.442700 | c 16 > 20.000000 | c 13 > 3.984800 | c 14 > 8.813780 | c 11 > 11.625700 | c 12 > 4.053800 | c 21 > 1.414210 | c 20 > 91.245100 | 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 > 15.041900 | c 1 > 11.625700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.972700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.649800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.34 c choco : 1801.0
8.12/8.34 c mistral : 28.4047
8.12/8.34 c abscon : 99.5269
8.12/8.34 c
8.12/8.34 c
8.12/8.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b1.xml
8.12/8.34 c 19 > 6.515840 | c 35 > 25.315200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.909500 | c 15 > 19.382000 | c 34 > 26.618400 | c 16 > 16.000000 | c 13 > 4.704770 | c 14 > 7.139550 | c 11 > 11.754900 | c 12 > 4.281220 | c 21 > 1.414210 | c 20 > 93.484200 | 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 > 15.309800 | c 1 > 11.754900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.247000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.610300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.35 c choco : 1801.0
8.12/8.35 c mistral : 56.2854
8.12/8.35 c abscon : 132.43
8.12/8.35 c
8.12/8.35 c
8.12/8.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b2.xml
8.12/8.35 c 19 > 6.256910 | c 35 > 25.583500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.754140 | c 15 > 19.339800 | c 34 > 26.834900 | c 16 > 16.000000 | c 13 > 4.989890 | c 14 > 6.108520 | c 11 > 11.071500 | c 12 > 4.356670 | c 21 > 1.414210 | c 20 > 93.743100 | 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 > 14.709900 | c 1 > 11.071500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.650800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.037500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.35 c choco : 1801.0
8.12/8.35 c mistral : 105.677
8.12/8.35 c abscon : 10.7104
8.12/8.35 c
8.12/8.35 c
8.12/8.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c2.xml
8.12/8.35 c 19 > 6.274190 | c 35 > 27.913400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.764510 | c 15 > 19.331400 | c 34 > 29.168200 | c 16 > 16.000000 | c 13 > 5.072050 | c 14 > 6.491850 | c 11 > 10.851700 | c 12 > 4.481130 | c 21 > 1.414210 | c 20 > 93.725800 | 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 > 14.687200 | c 1 > 10.851700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.635800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.206900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.36 c choco : 1801.0
8.12/8.36 c mistral : 75.2366
8.12/8.36 c abscon : 1800.1
8.12/8.36 c
8.12/8.36 c
8.12/8.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d1.xml
8.12/8.36 c 19 > 7.179970 | c 35 > 29.332800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.307980 | c 15 > 19.476000 | c 34 > 30.768800 | c 16 > 16.000000 | c 13 > 4.377040 | c 14 > 7.781360 | c 11 > 11.264400 | c 12 > 4.362010 | c 21 > 1.414210 | c 20 > 92.820000 | 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 > 15.015400 | c 1 > 11.264400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.960800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.626900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.36 c choco : 1801.0
8.12/8.36 c mistral : 33.9608
8.12/8.36 c abscon : 55.5955
8.12/8.36 c
8.12/8.36 c
8.12/8.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d2.xml
8.12/8.36 c 19 > 6.287130 | c 35 > 29.657800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.772280 | c 15 > 19.536500 | c 34 > 30.915200 | c 16 > 16.000000 | c 13 > 5.139330 | c 14 > 6.569860 | c 11 > 10.707400 | c 12 > 4.567380 | c 21 > 1.414210 | c 20 > 93.712900 | 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 > 14.673900 | c 1 > 10.707400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.627000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.296500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.37 c choco : 1801.0
8.12/8.37 c mistral : 59.302
8.12/8.37 c abscon : 28.8566
8.12/8.37 c
8.12/8.37 c
8.12/8.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8e2.xml
8.12/8.37 c 19 > 12.444600 | c 35 > 23.301400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.466740 | c 15 > 18.879300 | c 34 > 25.790300 | c 16 > 10.000000 | c 13 > 3.282830 | c 14 > 8.247930 | c 11 > 13.311900 | c 12 > 1.682290 | c 21 > 1.414210 | c 20 > 87.555400 | 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 > 13.182900 | c 1 > 10.764900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.041100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.933500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.38 c choco : 15.93
8.12/8.38 c mistral : 0.815875
8.12/8.38 c abscon : 11.3283
8.12/8.38 c
8.12/8.38 c
8.12/8.38 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-4-8.xml
8.12/8.38 c 19 > 0.000000 | c 35 > 30.938700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.981300 | c 34 > 30.938700 | c 16 > 32.000000 | c 13 > 3.601170 | c 14 > 9.751540 | c 11 > 12.139600 | c 12 > 4.151730 | c 21 > 1.414210 | c 20 > 100.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 > 15.691700 | c 1 > 12.139600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.671500 | c 6 > 8.954200 | c 32 > -1.000000 | c 5 > 17.560700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.38 c choco : 1801.0
8.12/8.38 c mistral : 960.35
8.12/8.38 c abscon : 239.695
8.12/8.38 c
8.12/8.38 c
8.12/8.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8c2.xml
8.12/8.38 c 19 > 12.436200 | c 35 > 22.476800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.461710 | c 15 > 15.365900 | c 34 > 24.964000 | c 16 > 10.000000 | c 13 > 2.471200 | c 14 > 6.643860 | c 11 > 13.355500 | c 12 > 0.789169 | c 21 > 1.414210 | c 20 > 87.563800 | 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 > 13.218400 | c 1 > 10.891800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.066900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.39 c choco : 8.14
8.12/8.39 c mistral : 0.77
8.12/8.39 c abscon : 16.3695
8.12/8.39 c
8.12/8.39 c
8.12/8.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8d2.xml
8.12/8.39 c 19 > 12.438100 | c 35 > 22.669500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.462890 | c 15 > 15.577800 | c 34 > 25.157100 | c 16 > 10.000000 | c 13 > 2.448500 | c 14 > 6.321930 | c 11 > 13.344700 | c 12 > 0.792920 | c 21 > 1.414210 | c 20 > 87.561900 | 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 > 13.209600 | c 1 > 10.861100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.060500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.892000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.39 c choco : 8.3
8.12/8.39 c mistral : 0.75
8.12/8.39 c abscon : 19.783
8.12/8.39 c
8.12/8.39 c
8.12/8.39 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-8.xml
8.12/8.39 c 19 > 0.000000 | c 35 > 31.023600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.073800 | c 34 > 31.023600 | c 16 > 24.000000 | c 13 > 4.574770 | c 14 > 9.897850 | c 11 > 11.455300 | c 12 > 4.148820 | c 21 > 1.414210 | c 20 > 100.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 > 14.872100 | c 1 > 11.455300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.849400 | c 6 > 8.108520 | c 32 > -1.000000 | c 5 > 16.742300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.40 c choco : 20.92
8.19/8.40 c mistral : 4.84
8.19/8.40 c abscon : 43.4904
8.19/8.40 c
8.19/8.40 c
8.19/8.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8e1.xml
8.19/8.40 c 19 > 14.223200 | c 35 > 23.085300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.533920 | c 15 > 18.997200 | c 34 > 25.930000 | c 16 > 10.000000 | c 13 > 6.251360 | c 14 > 8.945440 | c 11 > 12.372900 | c 12 > 3.242050 | c 21 > 1.414210 | c 20 > 85.776800 | 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.224000 | c 1 > 10.022400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.058000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.963300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.41 c choco : 7.15
8.19/8.41 c mistral : 0.349945
8.19/8.41 c abscon : 3.46347
8.19/8.41 c
8.19/8.41 c
8.19/8.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8d1.xml
8.19/8.41 c 19 > 14.182500 | c 35 > 22.879300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.509500 | c 15 > 14.442600 | c 34 > 25.715800 | c 16 > 10.000000 | c 13 > 1.988400 | c 14 > 6.442940 | c 11 > 12.383400 | c 12 > 0.767582 | c 21 > 1.414210 | c 20 > 85.817500 | 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.232700 | c 1 > 10.049800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.064400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.949800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.41 c choco : 5.18
8.19/8.41 c mistral : 0.32695
8.19/8.41 c abscon : 4.84126
8.19/8.41 c
8.19/8.41 c
8.19/8.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8c1.xml
8.19/8.41 c 19 > 14.265700 | c 35 > 23.300700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.559440 | c 15 > 14.462600 | c 34 > 26.153800 | c 16 > 10.000000 | c 13 > 1.965640 | c 14 > 6.614710 | c 11 > 12.362200 | c 12 > 0.773491 | c 21 > 1.414210 | c 20 > 85.734300 | 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.215200 | c 1 > 9.994350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.051500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.976600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.42 c choco : 4.99
8.19/8.42 c mistral : 0.320951
8.19/8.42 c abscon : 2.57761
8.19/8.42 c
8.19/8.42 c
8.19/8.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8b4.xml
8.19/8.42 c 19 > 11.506100 | c 35 > 22.171900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.903680 | c 15 > 15.455400 | c 34 > 24.473200 | c 16 > 8.000000 | c 13 > 2.957960 | c 14 > 5.523560 | c 11 > 13.594100 | c 12 > 0.799835 | c 21 > 1.414210 | c 20 > 88.493900 | 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 > 13.463800 | c 1 > 11.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.320500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.017000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.42 c choco : 9.46
8.19/8.42 c mistral : 0.88
8.19/8.42 c abscon : 20.6129
8.19/8.42 c
8.19/8.42 c
8.19/8.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8b3.xml
8.19/8.42 c 19 > 11.785100 | c 35 > 22.253000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.071060 | c 15 > 15.046100 | c 34 > 24.610100 | c 16 > 8.000000 | c 13 > 2.754840 | c 14 > 5.554590 | c 11 > 13.183000 | c 12 > 0.796410 | c 21 > 1.414210 | c 20 > 88.214900 | 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 > 13.050500 | c 1 > 10.672400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.904600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.617700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.43 c choco : 7.57
8.19/8.43 c mistral : 0.64
8.19/8.43 c abscon : 10.8503
8.19/8.43 c
8.19/8.43 c
8.19/8.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein27.xml
8.19/8.43 c 19 > 0.000000 | c 35 > 29.745800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.662700 | c 34 > 29.745800 | c 16 > 27.000000 | c 13 > 1.905440 | c 14 > 3.000000 | c 11 > 8.164910 | c 12 > 0.857461 | c 21 > 1.414210 | c 20 > 100.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 > 8.022370 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.022370 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.162400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.43 c choco : 1.41
8.19/8.44 c mistral : 0.02
8.19/8.44 c abscon : 0.732888
8.19/8.44 c
8.19/8.44 c
8.19/8.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein27.xml
8.19/8.44 c 19 > 0.000000 | c 35 > 29.745800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.651900 | c 34 > 29.745800 | c 16 > 27.000000 | c 13 > 1.905080 | c 14 > 3.000000 | c 11 > 8.164910 | c 12 > 0.857461 | c 21 > 1.414210 | c 20 > 100.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 > 8.022370 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.022370 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.162400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.44 c choco : 1.39
8.19/8.44 c mistral : 0.02
8.19/8.44 c abscon : 0.763883
8.19/8.44 c
8.19/8.44 c
8.19/8.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8b2.xml
8.19/8.44 c 19 > 12.349900 | c 35 > 22.229800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.409950 | c 15 > 14.472900 | c 34 > 24.699800 | c 16 > 8.000000 | c 13 > 2.484830 | c 14 > 5.700440 | c 11 > 12.616500 | c 12 > 0.786463 | c 21 > 1.414210 | c 20 > 87.650100 | 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.477800 | c 1 > 10.169900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.324200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.046400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.45 c choco : 5.75
8.19/8.45 c mistral : 0.399938
8.19/8.45 c abscon : 1.9757
8.19/8.45 c
8.19/8.45 c
8.19/8.45 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-16.xml
8.19/8.45 c 19 > 0.000000 | c 35 > 17.110300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.449300 | c 34 > 25.470900 | c 16 > 17.000000 | c 13 > 3.811990 | c 14 > 9.011230 | c 11 > 11.455800 | c 12 > 3.267290 | c 21 > 4.000000 | c 20 > 100.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.013900 | c 1 > 11.455800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.385500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.968100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.512000 | c
8.19/8.46 c choco : 13.37
8.19/8.46 c mistral : 0.077987
8.19/8.46 c abscon : 26.506
8.19/8.46 c
8.19/8.46 c
8.19/8.46 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-7.xml
8.19/8.46 c 19 > 0.000000 | c 35 > 32.054800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.000400 | c 34 > 32.054800 | c 16 > 21.000000 | c 13 > 2.992920 | c 14 > 9.407270 | c 11 > 11.064700 | c 12 > 3.871940 | c 21 > 1.414210 | c 20 > 100.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 > 14.308200 | c 1 > 11.064700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.281100 | c 6 > 7.714250 | c 32 > -1.000000 | c 5 > 16.177800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.46 c choco : 14.12
8.19/8.46 c mistral : 3.42148
8.19/8.46 c abscon : 15.1667
8.19/8.46 c
8.19/8.46 c
8.19/8.46 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein45.xml
8.19/8.46 c 19 > 0.000000 | c 35 > 29.879200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.144700 | c 34 > 29.879200 | c 16 > 45.000000 | c 13 > 2.372830 | c 14 > 3.584960 | c 11 > 9.546890 | c 12 > 0.910486 | c 21 > 1.414210 | c 20 > 100.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 > 9.457380 | c 1 > 5.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.457380 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.608300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.47 c choco : 1.83
8.19/8.47 c mistral : 0.05
8.19/8.47 c abscon : 0.839872
8.19/8.47 c
8.19/8.47 c
8.19/8.47 c Length: 40
8.19/8.47 c 0.7617768894499212 1.1997772868745284 2.4483771637964624 3.9002053588753487 5.294757123995394 5.789126778625599 7.077281646324384 7.823312613957081 8.441134221122182 8.520618223556315 8.55010125304373 8.668753075229455 9.610787910353656 10.747908183649551 11.729211808446465 12.283063625447847 17.57092799359499 17.966128158971813 19.227786450556394 19.489747902112537 19.69939585375653 21.476565085581072 22.56350316431604 23.043829985267205 23.960143631059477 24.10391609136781 24.112435982740134 24.16273101745538 25.010097560159576 25.039530679930884 25.402802770262657 25.598219054098294 25.61253601827092 25.798630915816055 26.068324224327135 26.07210017628501 26.14691990648094 26.33038432258063 26.821183528903045 27.12727765564241
8.19/8.48 c
8.19/8.48 c 1.0 0.9836588364053295 0.9398761514544247 0.8936267625792488 0.8532943986975537 0.8398568532572557 0.8067530464319146 0.7887477782700875 0.7744341506844495 0.7726303026941452 0.7719633354683473 0.7692907869816344 0.7487112394343542 0.7252907028325618 0.7062262927437657 0.6959022525905152 0.6106708363364124 0.6051317490034298 0.5881019973163365 0.5846855370882221 0.5819798045484852 0.5600114474083131 0.5473742705536705 0.541969712207504 0.5319500291627199 0.5304114374190186 0.5303205404583077 0.5297845872735919 0.5209150389693675 0.5206122907580435 0.5169044532017846 0.5149316462815624 0.5147877025819193 0.5129239870934736 0.5102468691510348 0.510209585417299 0.5094719377141284 0.5076721576695156 0.5029193578194704 0.5
8.19/8.49 c
8.19/8.49 c solver 0
8.19/8.49 c before 0.0 seconds: {} 0
8.19/8.49 c before 18.0 seconds: {1, 3, 11, 13, 14, 20, 24, 26, 29, 30, 31, 33, 34, 35, 36, 38, 39} 10320
8.19/8.49 c before 36.0 seconds: {1, 2, 3, 5, 11, 13, 14, 20, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14194
8.19/8.49 c before 54.0 seconds: {1, 2, 3, 5, 11, 13, 14, 20, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14715
8.19/8.49 c before 72.0 seconds: {1, 2, 3, 5, 11, 13, 14, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15262
8.19/8.49 c before 108.0 seconds: {1, 2, 3, 5, 11, 13, 14, 18, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15850
8.19/8.49 c before 144.0 seconds: {1, 2, 3, 5, 11, 13, 14, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16435
8.19/8.49 c before 216.0 seconds: {1, 2, 3, 5, 11, 13, 14, 16, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17046
8.19/8.49 c before 234.0 seconds: {1, 2, 3, 5, 7, 11, 13, 14, 16, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17835
8.19/8.49 c before 252.0 seconds: {1, 2, 3, 5, 7, 11, 13, 14, 16, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18365
8.19/8.49 c before 630.0 seconds: {1, 2, 3, 5, 7, 8, 11, 13, 14, 16, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19139
8.19/8.49 c before 774.0 seconds: {1, 2, 3, 5, 7, 8, 10, 11, 13, 14, 16, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19911
8.19/8.49 c before 882.0 seconds: {1, 2, 3, 5, 6, 7, 8, 10, 11, 13, 14, 16, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20718
8.19/8.49 c before 1404.0 seconds: {1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 16, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21491
8.19/8.49 c before 1800.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 16, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22491
8.19/8.49 c
8.19/8.49 c solver 1
8.19/8.49 c before 0.0 seconds: {} 0
8.19/8.49 c before 18.0 seconds: {0, 1, 2, 3, 11, 13, 14, 16, 17, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14967
8.19/8.49 c before 36.0 seconds: {0, 1, 2, 3, 5, 7, 11, 12, 13, 14, 16, 17, 18, 22, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18480
8.19/8.49 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 22, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20058
8.19/8.49 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22811
8.19/8.49 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23371
8.19/8.49 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23953
8.19/8.49 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24649
8.19/8.49 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25423
8.19/8.49 c before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25954
8.19/8.49 c
8.19/8.49 c solver 2
8.19/8.49 c before 0.0 seconds: {} 0
8.19/8.49 c before 18.0 seconds: {3, 11, 13, 14, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 10307
8.19/8.49 c before 36.0 seconds: {3, 5, 11, 13, 14, 17, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12273
8.19/8.49 c before 54.0 seconds: {1, 3, 5, 11, 13, 14, 17, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13256
8.19/8.49 c
8.19/8.49 cTotal time: 157
8.19/8.50 c run abscon for 1404.0 seconds {1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 16, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21491
8.19/8.50 c run mistral for 180.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25423
8.19/8.50 c run choco for 54.0 seconds {1, 3, 5, 11, 13, 14, 17, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13256
8.19/8.50 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.19/8.50 c On Instance: HOME/instance-1061410-1215132819.xml
8.19/8.50 c Running for: 1404 seconds
56.06/56.43 s SAT
56.06/56.43 v 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1
56.06/56.43 d ASSIGNMENTS 17054
56.06/56.43 d CHECKS 20229163
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-1061410-1215132819/watcher-1061410-1215132819 -o /tmp/evaluation-result-1061410-1215132819/solver-1061410-1215132819 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1061410-1215132819.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/72 16462 /proc/meminfo: memFree=1472384/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=0 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1301527845 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 236 195 169 0 51 0 [pid=16464] ppid=16462 vsize=5360 CPUtime=0 /proc/16464/stat : 16464 (hydra) R 16462 16462 16367 0 -1 4194368 5 0 0 0 0 0 0 0 22 0 1 0 1301527846 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952436978 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/16464/statm: 1340 236 195 169 0 51 0 [startup+0.11108 s] /proc/loadavg: 1.92 1.98 1.99 4/72 16462 /proc/meminfo: memFree=1472384/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=0 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1301527845 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201069 s] /proc/loadavg: 1.92 1.98 1.99 4/72 16462 /proc/meminfo: memFree=1472384/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=0 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1301527845 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301081 s] /proc/loadavg: 1.92 1.98 1.99 4/72 16462 /proc/meminfo: memFree=1472384/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=0 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1301527845 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701162 s] /proc/loadavg: 1.92 1.98 1.99 4/72 16462 /proc/meminfo: memFree=1472384/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=0 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1301527845 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50132 s] /proc/loadavg: 1.92 1.98 1.99 3/74 16466 /proc/meminfo: memFree=1454640/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=0 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1301527845 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 236 195 169 0 51 0 [pid=16466] ppid=16462 vsize=22852 CPUtime=1.47 /proc/16466/stat : 16466 (xsolve) R 16462 16462 16367 0 -1 4194304 5298 0 0 0 144 3 0 0 25 0 1 0 1301527846 23400448 4774 996147200 134512640 135239763 4294956176 18446744073709551615 135096142 0 0 4096 0 0 0 0 17 1 0 0 /proc/16466/statm: 5713 4774 430 177 0 4616 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 28212 [startup+3.10263 s] /proc/loadavg: 1.92 1.98 1.99 4/82 16478 /proc/meminfo: memFree=1466416/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=1.79 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 375 5894 0 0 0 0 175 4 18 0 1 0 1301527845 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 238 196 169 0 51 0 [pid=16470] ppid=16462 vsize=197004 CPUtime=1.24 /proc/16470/stat : 16470 (java) S 16462 16462 16367 0 -1 0 4703 0 1 0 120 4 0 0 18 0 9 0 1301528028 201732096 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16470/statm: 49251 3969 1678 9 0 43833 0 [pid=16470/tid=16471] ppid=16462 vsize=197004 CPUtime=0.98 /proc/16470/task/16471/stat : 16471 (java) R 16462 16462 16367 0 -1 64 2660 0 1 0 97 1 0 0 25 0 9 0 1301528029 201732096 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4126492512 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16472] ppid=16462 vsize=197004 CPUtime=0.09 /proc/16470/task/16472/stat : 16472 (java) S 16462 16462 16367 0 -1 64 717 0 0 0 8 1 0 0 16 0 9 0 1301528031 201732096 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16473] ppid=16462 vsize=197004 CPUtime=0 /proc/16470/task/16473/stat : 16473 (java) S 16462 16462 16367 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1301528031 201732096 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16474] ppid=16462 vsize=197004 CPUtime=0 /proc/16470/task/16474/stat : 16474 (java) S 16462 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1301528031 201732096 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16475] ppid=16462 vsize=197004 CPUtime=0 /proc/16470/task/16475/stat : 16475 (java) S 16462 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1301528033 201732096 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16476] ppid=16462 vsize=197004 CPUtime=0.14 /proc/16470/task/16476/stat : 16476 (java) S 16462 16462 16367 0 -1 64 602 0 0 0 14 0 0 0 16 0 9 0 1301528033 201732096 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16477] ppid=16462 vsize=197004 CPUtime=0 /proc/16470/task/16477/stat : 16477 (java) S 16462 16462 16367 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1301528033 201732096 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16478] ppid=16462 vsize=197004 CPUtime=0 /proc/16470/task/16478/stat : 16478 (java) S 16462 16462 16367 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1301528033 201732096 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202364 [startup+6.30226 s] /proc/loadavg: 1.93 1.98 1.99 3/82 16478 /proc/meminfo: memFree=1453616/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=1.79 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 375 5894 0 0 0 0 175 4 18 0 1 0 1301527845 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 238 196 169 0 51 0 [pid=16470] ppid=16462 vsize=197112 CPUtime=4.39 /proc/16470/stat : 16470 (java) S 16462 16462 16367 0 -1 0 9448 0 1 0 425 14 0 0 18 0 9 0 1301528028 201842688 7825 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16470/statm: 49278 7825 2541 9 0 43860 0 [pid=16470/tid=16471] ppid=16462 vsize=197112 CPUtime=3.45 /proc/16470/task/16471/stat : 16471 (java) R 16462 16462 16367 0 -1 64 3465 0 1 0 340 5 0 0 25 0 9 0 1301528029 201842688 7825 996147200 134512640 134550740 4294955968 18446744073709551615 4126586816 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16472] ppid=16462 vsize=197112 CPUtime=0.73 /proc/16470/task/16472/stat : 16472 (java) S 16462 16462 16367 0 -1 64 4632 0 0 0 66 7 0 0 16 0 9 0 1301528031 201842688 7825 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16473] ppid=16462 vsize=197112 CPUtime=0 /proc/16470/task/16473/stat : 16473 (java) S 16462 16462 16367 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1301528031 201842688 7825 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16474] ppid=16462 vsize=197112 CPUtime=0 /proc/16470/task/16474/stat : 16474 (java) S 16462 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1301528031 201842688 7825 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16475] ppid=16462 vsize=197112 CPUtime=0 /proc/16470/task/16475/stat : 16475 (java) S 16462 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1301528033 201842688 7825 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16476] ppid=16462 vsize=197112 CPUtime=0.17 /proc/16470/task/16476/stat : 16476 (java) S 16462 16462 16367 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 1301528033 201842688 7825 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16477] ppid=16462 vsize=197112 CPUtime=0 /proc/16470/task/16477/stat : 16477 (java) S 16462 16462 16367 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1301528033 201842688 7825 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16478] ppid=16462 vsize=197112 CPUtime=0 /proc/16470/task/16478/stat : 16478 (java) S 16462 16462 16367 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1301528033 201842688 7825 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 202472 [startup+12.7025 s] /proc/loadavg: 1.93 1.98 1.99 3/94 16490 /proc/meminfo: memFree=1384336/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=1.79 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 375 5894 0 0 0 0 175 4 18 0 1 0 1301527845 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 238 196 169 0 51 0 [pid=16470] ppid=16462 vsize=197436 CPUtime=6.47 /proc/16470/stat : 16470 (java) S 16462 16462 16367 0 -1 0 13870 0 1 0 623 24 0 0 18 0 10 0 1301528028 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16470/statm: 49359 9412 2544 9 0 43941 0 [pid=16480] ppid=16470 vsize=5356 CPUtime=0 /proc/16480/stat : 16480 (abscon) S 16470 16462 16367 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1301528696 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16480/statm: 1339 237 196 169 0 50 0 [pid=16481] ppid=16480 vsize=655968 CPUtime=4.17 /proc/16481/stat : 16481 (java) S 16480 16462 16367 0 -1 0 18003 0 1 0 395 22 0 0 25 0 9 0 1301528697 671711232 17316 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16481/statm: 163992 17316 2616 9 0 158520 0 [pid=16481/tid=16483] ppid=16480 vsize=655968 CPUtime=3.7 /proc/16481/task/16483/stat : 16483 (java) R 16480 16462 16367 0 -1 64 12565 0 1 0 351 19 0 0 25 0 9 0 1301528697 671711232 17316 996147200 134512640 134550740 4294955808 18446744073709551615 4127177220 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16484] ppid=16480 vsize=655968 CPUtime=0.15 /proc/16481/task/16484/stat : 16484 (java) S 16480 16462 16367 0 -1 64 4154 0 0 0 14 1 0 0 16 0 9 0 1301528699 671711232 17316 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16485] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16485/stat : 16485 (java) S 16480 16462 16367 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1301528699 671711232 17316 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16486] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16486/stat : 16486 (java) S 16480 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1301528699 671711232 17316 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16487] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16487/stat : 16487 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1301528701 671711232 17316 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16488] ppid=16480 vsize=655968 CPUtime=0.3 /proc/16481/task/16488/stat : 16488 (java) S 16480 16462 16367 0 -1 64 738 0 0 0 30 0 0 0 16 0 9 0 1301528701 671711232 17316 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16489] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16489/stat : 16489 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1301528701 671711232 17316 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16490] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16490/stat : 16490 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1301528701 671711232 17316 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16482] ppid=16480 vsize=7044 CPUtime=0 /proc/16482/stat : 16482 (translate) S 16480 16462 16367 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1301528697 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 273952768082 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/16482/statm: 1761 213 182 1 0 41 0 [pid=16470/tid=16471] ppid=16462 vsize=197436 CPUtime=5.01 /proc/16470/task/16471/stat : 16471 (java) S 16462 16462 16367 0 -1 64 3859 0 1 0 492 9 0 0 25 0 10 0 1301528029 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16470/tid=16472] ppid=16462 vsize=197436 CPUtime=1.18 /proc/16470/task/16472/stat : 16472 (java) S 16462 16462 16367 0 -1 64 8522 0 0 0 106 12 0 0 16 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16473] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16473/stat : 16473 (java) S 16462 16462 16367 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16474] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16474/stat : 16474 (java) S 16462 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16475] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16475/stat : 16475 (java) S 16462 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16476] ppid=16462 vsize=197436 CPUtime=0.25 /proc/16470/task/16476/stat : 16476 (java) S 16462 16462 16367 0 -1 64 665 0 0 0 24 1 0 0 16 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16477] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16477/stat : 16477 (java) S 16462 16462 16367 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16478] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16478/stat : 16478 (java) S 16462 16462 16367 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16479] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16479/stat : 16479 (java) S 16462 16462 16367 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1301528696 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 871164 [startup+25.502 s] /proc/loadavg: 1.95 1.98 1.99 3/94 16490 /proc/meminfo: memFree=1384144/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=1.79 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 375 5894 0 0 0 0 175 4 18 0 1 0 1301527845 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 238 196 169 0 51 0 [pid=16470] ppid=16462 vsize=197436 CPUtime=6.47 /proc/16470/stat : 16470 (java) S 16462 16462 16367 0 -1 0 13870 0 1 0 623 24 0 0 18 0 10 0 1301528028 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16470/statm: 49359 9412 2544 9 0 43941 0 [pid=16480] ppid=16470 vsize=5356 CPUtime=0 /proc/16480/stat : 16480 (abscon) S 16470 16462 16367 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1301528696 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16480/statm: 1339 237 196 169 0 50 0 [pid=16481] ppid=16480 vsize=655968 CPUtime=16.95 /proc/16481/stat : 16481 (java) S 16480 16462 16367 0 -1 0 18028 0 1 0 1673 22 0 0 25 0 9 0 1301528697 671711232 17332 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16481/statm: 163992 17332 2616 9 0 158520 0 [pid=16481/tid=16483] ppid=16480 vsize=655968 CPUtime=16.44 /proc/16481/task/16483/stat : 16483 (java) R 16480 16462 16367 0 -1 64 12570 0 1 0 1625 19 0 0 23 0 9 0 1301528697 671711232 17332 996147200 134512640 134550740 4294955808 18446744073709551615 4127140104 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16484] ppid=16480 vsize=655968 CPUtime=0.15 ################ # More data... # ################ /proc/16470/task/16478/stat : 16478 (java) S 16462 16462 16367 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16479] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16479/stat : 16479 (java) S 16462 16462 16367 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1301528696 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 54.07 Current children cumulated vsize (KiB) 871164 [startup+55.2039 s] /proc/loadavg: 1.97 1.98 1.99 3/94 16490 /proc/meminfo: memFree=1384144/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=1.79 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 375 5894 0 0 0 0 175 4 18 0 1 0 1301527845 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 238 196 169 0 51 0 [pid=16470] ppid=16462 vsize=197436 CPUtime=6.47 /proc/16470/stat : 16470 (java) S 16462 16462 16367 0 -1 0 13870 0 1 0 623 24 0 0 18 0 10 0 1301528028 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16470/statm: 49359 9412 2544 9 0 43941 0 [pid=16480] ppid=16470 vsize=5356 CPUtime=0 /proc/16480/stat : 16480 (abscon) S 16470 16462 16367 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1301528696 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16480/statm: 1339 237 196 169 0 50 0 [pid=16481] ppid=16480 vsize=655968 CPUtime=46.61 /proc/16481/stat : 16481 (java) S 16480 16462 16367 0 -1 0 18034 0 1 0 4638 23 0 0 25 0 9 0 1301528697 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16481/statm: 163992 17334 2616 9 0 158520 0 [pid=16481/tid=16483] ppid=16480 vsize=655968 CPUtime=46.09 /proc/16481/task/16483/stat : 16483 (java) R 16480 16462 16367 0 -1 64 12572 0 1 0 4589 20 0 0 25 0 9 0 1301528697 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4127177269 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16484] ppid=16480 vsize=655968 CPUtime=0.15 /proc/16481/task/16484/stat : 16484 (java) S 16480 16462 16367 0 -1 64 4154 0 0 0 14 1 0 0 16 0 9 0 1301528699 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16485] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16485/stat : 16485 (java) S 16480 16462 16367 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1301528699 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16486] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16486/stat : 16486 (java) S 16480 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1301528699 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16487] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16487/stat : 16487 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1301528701 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16488] ppid=16480 vsize=655968 CPUtime=0.35 /proc/16481/task/16488/stat : 16488 (java) S 16480 16462 16367 0 -1 64 762 0 0 0 34 1 0 0 17 0 9 0 1301528701 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16489] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16489/stat : 16489 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1301528701 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16490] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16490/stat : 16490 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1301528701 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16482] ppid=16480 vsize=7044 CPUtime=0 /proc/16482/stat : 16482 (translate) S 16480 16462 16367 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1301528697 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 273952768082 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/16482/statm: 1761 213 182 1 0 41 0 [pid=16470/tid=16471] ppid=16462 vsize=197436 CPUtime=5.01 /proc/16470/task/16471/stat : 16471 (java) S 16462 16462 16367 0 -1 64 3859 0 1 0 492 9 0 0 25 0 10 0 1301528029 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16470/tid=16472] ppid=16462 vsize=197436 CPUtime=1.18 /proc/16470/task/16472/stat : 16472 (java) S 16462 16462 16367 0 -1 64 8522 0 0 0 106 12 0 0 16 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16473] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16473/stat : 16473 (java) S 16462 16462 16367 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16474] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16474/stat : 16474 (java) S 16462 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16475] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16475/stat : 16475 (java) S 16462 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16476] ppid=16462 vsize=197436 CPUtime=0.25 /proc/16470/task/16476/stat : 16476 (java) S 16462 16462 16367 0 -1 64 665 0 0 0 24 1 0 0 16 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16477] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16477/stat : 16477 (java) S 16462 16462 16367 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16478] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16478/stat : 16478 (java) S 16462 16462 16367 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16479] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16479/stat : 16479 (java) S 16462 16462 16367 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1301528696 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 54.87 Current children cumulated vsize (KiB) 871164 [startup+56.002 s] /proc/loadavg: 1.97 1.98 1.99 3/94 16490 /proc/meminfo: memFree=1384144/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=1.79 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 375 5894 0 0 0 0 175 4 18 0 1 0 1301527845 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 238 196 169 0 51 0 [pid=16470] ppid=16462 vsize=197436 CPUtime=6.47 /proc/16470/stat : 16470 (java) S 16462 16462 16367 0 -1 0 13870 0 1 0 623 24 0 0 18 0 10 0 1301528028 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16470/statm: 49359 9412 2544 9 0 43941 0 [pid=16480] ppid=16470 vsize=5356 CPUtime=0 /proc/16480/stat : 16480 (abscon) S 16470 16462 16367 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1301528696 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16480/statm: 1339 237 196 169 0 50 0 [pid=16481] ppid=16480 vsize=655968 CPUtime=47.41 /proc/16481/stat : 16481 (java) S 16480 16462 16367 0 -1 0 18034 0 1 0 4718 23 0 0 25 0 9 0 1301528697 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16481/statm: 163992 17334 2616 9 0 158520 0 [pid=16481/tid=16483] ppid=16480 vsize=655968 CPUtime=46.89 /proc/16481/task/16483/stat : 16483 (java) R 16480 16462 16367 0 -1 64 12572 0 1 0 4669 20 0 0 25 0 9 0 1301528697 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4126376576 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16484] ppid=16480 vsize=655968 CPUtime=0.15 /proc/16481/task/16484/stat : 16484 (java) S 16480 16462 16367 0 -1 64 4154 0 0 0 14 1 0 0 16 0 9 0 1301528699 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16485] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16485/stat : 16485 (java) S 16480 16462 16367 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1301528699 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16486] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16486/stat : 16486 (java) S 16480 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1301528699 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16487] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16487/stat : 16487 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1301528701 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16488] ppid=16480 vsize=655968 CPUtime=0.35 /proc/16481/task/16488/stat : 16488 (java) S 16480 16462 16367 0 -1 64 762 0 0 0 34 1 0 0 17 0 9 0 1301528701 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16489] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16489/stat : 16489 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1301528701 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16490] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16490/stat : 16490 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1301528701 671711232 17334 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16482] ppid=16480 vsize=7044 CPUtime=0 /proc/16482/stat : 16482 (translate) S 16480 16462 16367 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1301528697 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 273952768082 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/16482/statm: 1761 213 182 1 0 41 0 [pid=16470/tid=16471] ppid=16462 vsize=197436 CPUtime=5.01 /proc/16470/task/16471/stat : 16471 (java) S 16462 16462 16367 0 -1 64 3859 0 1 0 492 9 0 0 25 0 10 0 1301528029 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16470/tid=16472] ppid=16462 vsize=197436 CPUtime=1.18 /proc/16470/task/16472/stat : 16472 (java) S 16462 16462 16367 0 -1 64 8522 0 0 0 106 12 0 0 16 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16473] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16473/stat : 16473 (java) S 16462 16462 16367 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16474] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16474/stat : 16474 (java) S 16462 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16475] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16475/stat : 16475 (java) S 16462 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16476] ppid=16462 vsize=197436 CPUtime=0.25 /proc/16470/task/16476/stat : 16476 (java) S 16462 16462 16367 0 -1 64 665 0 0 0 24 1 0 0 16 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16477] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16477/stat : 16477 (java) S 16462 16462 16367 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16478] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16478/stat : 16478 (java) S 16462 16462 16367 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16479] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16479/stat : 16479 (java) S 16462 16462 16367 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1301528696 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 55.67 Current children cumulated vsize (KiB) 871164 [startup+56.4021 s] /proc/loadavg: 1.97 1.98 1.99 3/94 16490 /proc/meminfo: memFree=1384144/2055920 swapFree=4121052/4192956 [pid=16462] ppid=16460 vsize=5360 CPUtime=1.79 /proc/16462/stat : 16462 (hydra) S 16460 16462 16367 0 -1 4194304 375 5894 0 0 0 0 175 4 18 0 1 0 1301527845 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16462/statm: 1340 238 196 169 0 51 0 [pid=16470] ppid=16462 vsize=197436 CPUtime=6.47 /proc/16470/stat : 16470 (java) S 16462 16462 16367 0 -1 0 13874 0 1 0 623 24 0 0 18 0 10 0 1301528028 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16470/statm: 49359 9412 2544 9 0 43941 0 [pid=16480] ppid=16470 vsize=5356 CPUtime=0 /proc/16480/stat : 16480 (abscon) S 16470 16462 16367 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1301528696 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16480/statm: 1339 237 196 169 0 50 0 [pid=16481] ppid=16480 vsize=655968 CPUtime=47.8 /proc/16481/stat : 16481 (java) S 16480 16462 16367 0 -1 0 18037 0 1 0 4757 23 0 0 25 0 9 0 1301528697 671711232 17337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16481/statm: 163992 17337 2616 9 0 158520 0 [pid=16481/tid=16483] ppid=16480 vsize=655968 CPUtime=47.28 /proc/16481/task/16483/stat : 16483 (java) R 16480 16462 16367 0 -1 64 12575 0 1 0 4708 20 0 0 25 0 9 0 1301528697 671711232 17337 996147200 134512640 134550740 4294955808 18446744073709551615 4125977493 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16484] ppid=16480 vsize=655968 CPUtime=0.15 /proc/16481/task/16484/stat : 16484 (java) S 16480 16462 16367 0 -1 64 4154 0 0 0 14 1 0 0 16 0 9 0 1301528699 671711232 17337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16485] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16485/stat : 16485 (java) S 16480 16462 16367 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1301528699 671711232 17337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16486] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16486/stat : 16486 (java) S 16480 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1301528699 671711232 17337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16487] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16487/stat : 16487 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1301528701 671711232 17337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16488] ppid=16480 vsize=655968 CPUtime=0.35 /proc/16481/task/16488/stat : 16488 (java) S 16480 16462 16367 0 -1 64 762 0 0 0 34 1 0 0 16 0 9 0 1301528701 671711232 17337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16481/tid=16489] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16489/stat : 16489 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1301528701 671711232 17337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16481/tid=16490] ppid=16480 vsize=655968 CPUtime=0 /proc/16481/task/16490/stat : 16490 (java) S 16480 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1301528701 671711232 17337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16482] ppid=16480 vsize=7180 CPUtime=0 /proc/16482/stat : 16482 (translate) S 16480 16462 16367 0 -1 4194304 275 0 0 0 0 0 0 0 16 0 1 0 1301528697 7352320 238 996147200 4194304 4199737 548682068640 18446744073709551615 273952768082 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/16482/statm: 1795 238 204 1 0 75 0 [pid=16470/tid=16471] ppid=16462 vsize=197436 CPUtime=5.01 /proc/16470/task/16471/stat : 16471 (java) S 16462 16462 16367 0 -1 64 3863 0 1 0 492 9 0 0 16 0 10 0 1301528029 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=16470/tid=16472] ppid=16462 vsize=197436 CPUtime=1.18 /proc/16470/task/16472/stat : 16472 (java) S 16462 16462 16367 0 -1 64 8522 0 0 0 106 12 0 0 16 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16473] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16473/stat : 16473 (java) S 16462 16462 16367 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16474] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16474/stat : 16474 (java) S 16462 16462 16367 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1301528031 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16475] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16475/stat : 16475 (java) S 16462 16462 16367 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16476] ppid=16462 vsize=197436 CPUtime=0.25 /proc/16470/task/16476/stat : 16476 (java) S 16462 16462 16367 0 -1 64 665 0 0 0 24 1 0 0 16 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16477] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16477/stat : 16477 (java) S 16462 16462 16367 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16478] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16478/stat : 16478 (java) S 16462 16462 16367 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1301528033 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16470/tid=16479] ppid=16462 vsize=197436 CPUtime=0 /proc/16470/task/16479/stat : 16479 (java) S 16462 16462 16367 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1301528696 202174464 9412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 56.06 Current children cumulated vsize (KiB) 871300 Child status: 0 Real time (s): 56.4663 CPU time (s): 56.1355 CPU user time (s): 55.5806 CPU system time (s): 0.554915 CPU usage (%): 99.4141 Max. virtual memory (cumulated for all children) (KiB): 871300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 55.5806 system time used= 0.554915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38900 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= 12932 involuntary context switches= 16225 runsolver used 0.309952 second user time and 0.546916 second system time The end
Begin job on node20 at 2008-07-04 02:53:39 IDJOB=1061410 IDBENCH=54553 IDSOLVER=366 FILE ID=node20/1061410-1215132819 PBS_JOBID= 7877336 Free space on /tmp= 66544 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/ii/normalized-ii-32e2.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1061410-1215132819/watcher-1061410-1215132819 -o /tmp/evaluation-result-1061410-1215132819/solver-1061410-1215132819 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1061410-1215132819.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 9a607de237210856721bcb33bfef4dc4 RANDOM SEED=1204524386 node20.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.263 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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1472864 kB Buffers: 64832 kB Cached: 335708 kB SwapCached: 65804 kB Active: 293868 kB Inactive: 214556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1472864 kB SwapTotal: 4192956 kB SwapFree: 4121052 kB Dirty: 24728 kB Writeback: 0 kB Mapped: 114308 kB Slab: 59776 kB Committed_AS: 2626368 kB PageTables: 1944 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= 66520 MiB End job on node20 at 2008-07-04 02:54:36