Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 254.614 | 255.68 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 25304 |
CHECKS | 93659400 |
Name | csp/pseudo/ii/ normalized-ii-32e3.xml |
MD5SUM | 4e1ec6a2f5cc71969cf0fda2691199d0 |
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.23181 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 660 |
Number of constraints | 5350 |
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 | 5350 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.78/7.94 c CASE TO CLASSIFY: 7.78/7.94 c Case: 0 7.78/7.94 c 19 > 6.168220 | c 35 > 18.358900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.700930 | c 15 > 20.144300 | c 34 > 19.592500 | c 16 > 32.000000 | c 13 > 5.186280 | c 14 > 7.714250 | c 11 > 9.366320 | c 12 > 5.262410 | 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.78/7.95 c choco : 1801.0 7.78/7.95 c mistral : 1801.0 7.78/7.95 c abscon : 1801.0 7.78/7.95 c 7.78/7.95 c 7.88/8.03 c List of same ones: 40 7.88/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml 7.88/8.03 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.88/8.04 c choco : 1801.0 7.88/8.04 c mistral : 38.3842 7.88/8.04 c abscon : 864.371 7.88/8.04 c 7.88/8.04 c 7.88/8.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml 7.88/8.04 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.88/8.05 c choco : 1801.0 7.88/8.05 c mistral : 34.6827 7.88/8.05 c abscon : 227.057 7.88/8.05 c 7.88/8.05 c 7.88/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml 7.88/8.05 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.88/8.06 c choco : 1801.0 7.88/8.06 c mistral : 68.1926 7.88/8.06 c abscon : 1398.64 7.88/8.06 c 7.88/8.06 c 7.88/8.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml 7.88/8.06 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.88/8.07 c choco : 1801.0 7.88/8.07 c mistral : 38.2112 7.88/8.07 c abscon : 762.347 7.88/8.07 c 7.88/8.07 c 7.88/8.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml 7.88/8.07 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.88/8.08 c choco : 1801.0 7.88/8.08 c mistral : 171.472 7.88/8.08 c abscon : 613.015 7.88/8.08 c 7.88/8.08 c 7.88/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c3.xml 7.88/8.08 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.88/8.09 c choco : 23.56 7.88/8.09 c mistral : 26.173 7.88/8.09 c abscon : 26.201 7.88/8.09 c 7.88/8.09 c 7.88/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d2.xml 7.88/8.09 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.88/8.10 c choco : 1801.0 7.88/8.10 c mistral : 65.521 7.88/8.10 c abscon : 1800.05 7.88/8.10 c 7.88/8.10 c 7.88/8.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml 7.88/8.10 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.95/8.10 c choco : 1801.0 7.95/8.11 c mistral : 28.4527 7.95/8.11 c abscon : 1800.08 7.95/8.11 c 7.95/8.11 c 7.95/8.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml 7.95/8.11 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 7.95/8.11 c choco : 1801.0 7.95/8.11 c mistral : 158.081 7.95/8.11 c abscon : 1800.11 7.95/8.11 c 7.95/8.11 c 7.95/8.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e2.xml 7.95/8.11 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.95/8.12 c choco : 1801.0 7.95/8.12 c mistral : 1.61175 7.95/8.12 c abscon : 1784.44 7.95/8.12 c 7.95/8.12 c 7.95/8.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b2.xml 7.95/8.12 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 8.14/8.34 c choco : 37.65 8.14/8.34 c mistral : 4.67629 8.14/8.34 c abscon : 13.5079 8.14/8.34 c 8.14/8.34 c 8.14/8.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c2.xml 8.14/8.34 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 8.14/8.35 c choco : 1801.0 8.14/8.35 c mistral : 2.04969 8.14/8.35 c abscon : 35.6686 8.14/8.35 c 8.14/8.35 c 8.14/8.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d1.xml 8.14/8.35 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 8.14/8.37 c choco : 5.88 8.14/8.37 c mistral : 5.9101 8.14/8.37 c abscon : 1.74073 8.14/8.37 c 8.14/8.37 c 8.14/8.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b1.xml 8.14/8.37 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 8.14/8.37 c choco : 4.72 8.14/8.37 c mistral : 0.34 8.14/8.37 c abscon : 1.3318 8.14/8.37 c 8.14/8.37 c 8.14/8.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c1.xml 8.14/8.37 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 8.14/8.38 c choco : 3.65 8.14/8.38 c mistral : 0.234963 8.14/8.38 c abscon : 1.43478 8.14/8.38 c 8.14/8.38 c 8.14/8.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e1.xml 8.14/8.38 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 8.14/8.39 c choco : 3.45 8.14/8.39 c mistral : 0.232963 8.14/8.39 c abscon : 1.38179 8.14/8.39 c 8.14/8.39 c 8.14/8.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a2.xml 8.14/8.39 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.14/8.39 c choco : 24.25 8.14/8.39 c mistral : 2.88 8.14/8.39 c abscon : 1800.1 8.14/8.39 c 8.14/8.39 c 8.14/8.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a1.xml 8.14/8.39 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.22/8.40 c choco : 1801.0 8.22/8.40 c mistral : 17.7903 8.22/8.40 c abscon : 207.102 8.22/8.40 c 8.22/8.40 c 8.22/8.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b1.xml 8.22/8.40 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.22/8.41 c choco : 1801.0 8.22/8.41 c mistral : 56.2854 8.22/8.41 c abscon : 132.43 8.22/8.41 c 8.22/8.41 c 8.22/8.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b2.xml 8.22/8.41 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.22/8.42 c choco : 1801.0 8.22/8.42 c mistral : 105.677 8.22/8.42 c abscon : 10.7104 8.22/8.42 c 8.22/8.42 c 8.22/8.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c1.xml 8.22/8.42 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.22/8.42 c choco : 1801.0 8.22/8.42 c mistral : 28.4047 8.22/8.42 c abscon : 99.5269 8.22/8.42 c 8.22/8.42 c 8.22/8.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c2.xml 8.22/8.42 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.22/8.43 c choco : 1801.0 8.22/8.43 c mistral : 75.2366 8.22/8.43 c abscon : 1800.1 8.22/8.43 c 8.22/8.43 c 8.22/8.43 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-4-8.xml 8.22/8.43 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.22/8.44 c choco : 1801.0 8.22/8.44 c mistral : 960.35 8.22/8.44 c abscon : 239.695 8.22/8.44 c 8.22/8.44 c 8.22/8.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d1.xml 8.22/8.44 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.22/8.44 c choco : 1801.0 8.22/8.44 c mistral : 33.9608 8.22/8.44 c abscon : 55.5955 8.22/8.44 c 8.22/8.44 c 8.22/8.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d2.xml 8.22/8.44 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.22/8.45 c choco : 1801.0 8.22/8.45 c mistral : 59.302 8.22/8.45 c abscon : 28.8566 8.22/8.45 c 8.22/8.45 c 8.22/8.45 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-8.xml 8.22/8.45 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.22/8.45 c choco : 20.92 8.22/8.45 c mistral : 4.84 8.22/8.45 c abscon : 43.4904 8.22/8.45 c 8.22/8.45 c 8.22/8.45 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-16.xml 8.22/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.22/8.46 c choco : 13.37 8.22/8.46 c mistral : 0.077987 8.22/8.46 c abscon : 26.506 8.22/8.46 c 8.22/8.46 c 8.22/8.46 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-7.xml 8.22/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.22/8.46 c choco : 14.12 8.22/8.46 c mistral : 3.42148 8.22/8.47 c abscon : 15.1667 8.22/8.47 c 8.22/8.47 c 8.22/8.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein27.xml 8.22/8.47 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.22/8.47 c choco : 1.41 8.22/8.47 c mistral : 0.02 8.22/8.47 c abscon : 0.732888 8.22/8.47 c 8.22/8.47 c 8.22/8.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein27.xml 8.22/8.47 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.22/8.48 c choco : 1.39 8.22/8.48 c mistral : 0.02 8.22/8.48 c abscon : 0.763883 8.22/8.48 c 8.22/8.48 c 8.22/8.48 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-08.xml 8.22/8.48 c 19 > 0.000000 | c 35 > 19.335500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.449400 | c 34 > 29.596400 | c 16 > 17.000000 | c 13 > 3.811990 | c 14 > 9.011230 | c 11 > 11.455800 | c 12 > 3.267290 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | 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 > 18.911400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.512000 | c 8.22/8.48 c choco : 13.33 8.22/8.48 c mistral : 0.077987 8.22/8.48 c abscon : 26.9069 8.22/8.48 c 8.22/8.48 c 8.22/8.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8e2.xml 8.22/8.48 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.22/8.49 c choco : 15.93 8.22/8.49 c mistral : 0.815875 8.22/8.49 c abscon : 11.3283 8.22/8.49 c 8.22/8.49 c 8.22/8.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8c2.xml 8.22/8.49 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.22/8.49 c choco : 8.14 8.22/8.49 c mistral : 0.77 8.22/8.49 c abscon : 16.3695 8.22/8.49 c 8.22/8.49 c 8.22/8.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8d2.xml 8.22/8.49 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.28/8.50 c choco : 8.3 8.28/8.50 c mistral : 0.75 8.28/8.50 c abscon : 19.783 8.28/8.50 c 8.28/8.50 c 8.28/8.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein45.xml 8.28/8.50 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.28/8.51 c choco : 1.83 8.28/8.51 c mistral : 0.05 8.28/8.51 c abscon : 0.839872 8.28/8.51 c 8.28/8.51 c 8.28/8.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein45.xml 8.28/8.51 c 19 > 0.000000 | c 35 > 29.879200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.135400 | c 34 > 29.879200 | c 16 > 45.000000 | c 13 > 2.373190 | 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.28/8.52 c choco : 1.85 8.28/8.52 c mistral : 0.05 8.28/8.52 c abscon : 0.831872 8.28/8.52 c 8.28/8.52 c 8.28/8.52 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-6.xml 8.28/8.52 c 19 > 0.000000 | c 35 > 32.279100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.086000 | c 34 > 32.279100 | c 16 > 18.000000 | c 13 > 4.811540 | c 14 > 9.463520 | c 11 > 10.612900 | c 12 > 4.280860 | 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 > 13.658800 | c 1 > 10.612900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.625300 | c 6 > 7.257390 | c 32 > -1.000000 | c 5 > 15.527500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.28/8.52 c choco : 8.85 8.28/8.52 c mistral : 4.83926 8.28/8.52 c abscon : 20.2099 8.28/8.52 c 8.28/8.52 c 8.28/8.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8e1.xml 8.28/8.52 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.28/8.53 c choco : 7.15 8.28/8.53 c mistral : 0.349945 8.28/8.53 c abscon : 3.46347 8.28/8.53 c 8.28/8.53 c 8.28/8.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8b4.xml 8.28/8.53 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.28/8.53 c choco : 9.46 8.28/8.53 c mistral : 0.88 8.28/8.53 c abscon : 20.6129 8.28/8.53 c 8.28/8.53 c 8.28/8.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8b3.xml 8.28/8.53 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.28/8.54 c choco : 7.57 8.28/8.54 c mistral : 0.64 8.28/8.54 c abscon : 10.8503 8.28/8.54 c 8.28/8.54 c 8.28/8.54 c Length: 40 8.28/8.54 c 0.5529882391154447 1.1887515354774518 2.016048059298192 2.0664123745032112 2.583898403227186 2.835250247544296 3.085381155594881 3.5868116551332903 6.7578812377401265 7.391249363287643 7.8383640503551515 8.839657071832594 9.979203833563075 14.118543988071155 16.00710293902057 16.984776728924054 17.626050871468628 17.94113800475042 19.23464188432683 19.286710975892184 20.012866548113493 21.148749050650725 22.471911166803324 22.67634610331876 22.77221108278465 23.378582339669357 24.552258237099085 25.490211254626743 25.52061999436536 25.52468073122955 25.600418984067428 26.22442314985403 26.54067788328288 26.586988986338792 26.58763234325832 26.590393887941488 26.907775936728775 27.246178460022612 27.649253204541075 27.898653395088807 8.28/8.55 c 8.28/8.55 c 1.0 0.977279097904348 0.9492146972351722 0.9475581464089788 0.9308663402053137 0.9229692311660948 0.9152423858893872 0.90013579692665 0.8150584270451455 0.7999568256691467 0.7896287374631004 0.7674396284187478 0.7436569628182613 0.6684147906394721 0.6389206965095517 0.6246517985544864 0.6156336869053673 0.611297408993487 0.5941181426207577 0.5934467970716206 0.584239881253349 0.5703974090071153 0.555077515507384 0.5527836105600877 0.5517144547198525 0.545046418232281 0.5325873929722144 0.5230327954775807 0.5227287663092524 0.5226881934656159 0.5219326074504865 0.5157895305771918 0.5127310152989133 0.5122861803886961 0.5122800061483536 0.5122535055348455 0.5092259692954698 0.5060370906315064 0.5022905156925149 0.5 8.28/8.56 c 8.28/8.56 c solver 0 8.28/8.56 c before 0.0 seconds: {} 0 8.28/8.56 c before 18.0 seconds: {10, 12, 13, 14, 15, 19, 27, 28, 29, 31, 32, 34, 35, 37, 39} 8686 8.28/8.56 c before 36.0 seconds: {5, 10, 11, 12, 13, 14, 15, 19, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13506 8.28/8.56 c before 54.0 seconds: {5, 10, 11, 12, 13, 14, 15, 19, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14051 8.28/8.56 c before 72.0 seconds: {5, 10, 11, 12, 13, 14, 15, 19, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14604 8.28/8.56 c before 108.0 seconds: {5, 10, 11, 12, 13, 14, 15, 19, 20, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15188 8.28/8.56 c before 144.0 seconds: {5, 10, 11, 12, 13, 14, 15, 18, 19, 20, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15782 8.28/8.56 c before 216.0 seconds: {5, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16394 8.28/8.56 c before 234.0 seconds: {1, 5, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17371 8.28/8.56 c before 252.0 seconds: {1, 5, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17926 8.28/8.56 c before 630.0 seconds: {1, 4, 5, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18857 8.28/8.56 c before 774.0 seconds: {1, 3, 4, 5, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19804 8.28/8.56 c before 882.0 seconds: {0, 1, 3, 4, 5, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20804 8.28/8.56 c before 1404.0 seconds: {0, 1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21754 8.28/8.56 c before 1800.0 seconds: {0, 1, 2, 3, 4, 5, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22554 8.28/8.56 c 8.28/8.56 c solver 1 8.28/8.56 c before 0.0 seconds: {} 0 8.28/8.56 c before 18.0 seconds: {9, 10, 11, 12, 13, 14, 15, 16, 17, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14010 8.28/8.56 c before 36.0 seconds: {1, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17947 8.28/8.56 c before 54.0 seconds: {0, 1, 3, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19895 8.28/8.56 c before 72.0 seconds: {0, 1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22905 8.28/8.56 c before 90.0 seconds: {0, 1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23476 8.28/8.56 c before 108.0 seconds: {0, 1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24069 8.28/8.56 c before 162.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24884 8.28/8.56 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, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25815 8.28/8.56 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} 26370 8.28/8.56 c 8.28/8.56 c solver 2 8.28/8.56 c before 0.0 seconds: {} 0 8.28/8.56 c before 18.0 seconds: {12, 13, 14, 15, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 9881 8.28/8.56 c before 36.0 seconds: {5, 12, 13, 14, 15, 16, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11965 8.28/8.56 c before 54.0 seconds: {5, 10, 12, 13, 14, 15, 16, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12754 8.28/8.56 c 8.28/8.56 cTotal time: 157 8.28/8.57 c run abscon for 1404.0 seconds {0, 1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21754 8.28/8.57 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, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25815 8.28/8.57 c run choco for 54.0 seconds {5, 10, 12, 13, 14, 15, 16, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12754 8.28/8.57 c Starting solver: HOME/cpHydra_k_40/solver/abscon 8.28/8.57 c On Instance: HOME/instance-1061221-1215131797.xml 8.28/8.57 c Running for: 1404 seconds 254.54/255.63 s SAT 254.54/255.63 v 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 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 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 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 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 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 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 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 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 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 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 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 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 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 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 254.54/255.63 d ASSIGNMENTS 25304 254.54/255.63 d CHECKS 93659445
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-1061221-1215131797/watcher-1061221-1215131797 -o /tmp/evaluation-result-1061221-1215131797/solver-1061221-1215131797 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1061221-1215131797.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.95 1.98 4/72 22418 /proc/meminfo: memFree=1829400/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=0 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1992152197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 236 195 169 0 51 0 [pid=22420] ppid=22418 vsize=5360 CPUtime=0 /proc/22420/stat : 22420 (hydra) R 22418 22418 22148 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 1992152197 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 259415141671 0 0 4096 0 0 0 0 17 1 0 0 /proc/22420/statm: 1340 239 198 169 0 51 0 [startup+0.0895749 s] /proc/loadavg: 1.92 1.95 1.98 4/72 22418 /proc/meminfo: memFree=1829400/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=0 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992152197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102568 s] /proc/loadavg: 1.92 1.95 1.98 4/72 22418 /proc/meminfo: memFree=1829400/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=0 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992152197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301597 s] /proc/loadavg: 1.92 1.95 1.98 4/72 22418 /proc/meminfo: memFree=1829400/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=0 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992152197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701643 s] /proc/loadavg: 1.92 1.95 1.98 4/72 22418 /proc/meminfo: memFree=1829400/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=0 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992152197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50273 s] /proc/loadavg: 1.92 1.95 1.98 3/74 22422 /proc/meminfo: memFree=1795336/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=0 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992152197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 236 195 169 0 51 0 [pid=22422] ppid=22418 vsize=39856 CPUtime=1.48 /proc/22422/stat : 22422 (xsolve) R 22418 22418 22148 0 -1 4194304 9892 0 0 0 143 5 0 0 25 0 1 0 1992152198 40812544 8843 996147200 134512640 135239763 4294956176 18446744073709551615 134802979 0 0 4096 0 0 0 0 17 1 0 0 /proc/22422/statm: 9964 8843 430 177 0 8867 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 45216 [startup+3.1019 s] /proc/loadavg: 1.92 1.95 1.98 3/74 22422 /proc/meminfo: memFree=1794312/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=2.11 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 375 10489 0 0 0 0 204 7 18 0 1 0 1992152197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 5360 [startup+6.30226 s] /proc/loadavg: 1.93 1.95 1.98 3/82 22434 /proc/meminfo: memFree=1811264/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=2.11 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 375 10489 0 0 0 0 204 7 18 0 1 0 1992152197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 238 196 169 0 51 0 [pid=22426] ppid=22418 vsize=198120 CPUtime=4.09 /proc/22426/stat : 22426 (java) S 22418 22418 22148 0 -1 0 9381 0 1 0 395 14 0 0 18 0 9 0 1992152415 202874880 7774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22426/statm: 49530 7774 2541 9 0 44112 0 [pid=22426/tid=22427] ppid=22418 vsize=198120 CPUtime=3.15 /proc/22426/task/22427/stat : 22427 (java) R 22418 22418 22148 0 -1 64 3451 0 1 0 310 5 0 0 25 0 9 0 1992152416 202874880 7774 996147200 134512640 134550740 4294955968 18446744073709551615 103215090 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22428] ppid=22418 vsize=198120 CPUtime=0.72 /proc/22426/task/22428/stat : 22428 (java) S 22418 22418 22148 0 -1 64 4581 0 0 0 66 6 0 0 16 0 9 0 1992152418 202874880 7774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22429] ppid=22418 vsize=198120 CPUtime=0 /proc/22426/task/22429/stat : 22429 (java) S 22418 22418 22148 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992152418 202874880 7774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22430] ppid=22418 vsize=198120 CPUtime=0 /proc/22426/task/22430/stat : 22430 (java) S 22418 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992152418 202874880 7774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22431] ppid=22418 vsize=198120 CPUtime=0 /proc/22426/task/22431/stat : 22431 (java) S 22418 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1992152420 202874880 7774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22432] ppid=22418 vsize=198120 CPUtime=0.17 /proc/22426/task/22432/stat : 22432 (java) S 22418 22418 22148 0 -1 64 623 0 0 0 17 0 0 0 16 0 9 0 1992152420 202874880 7774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22433] ppid=22418 vsize=198120 CPUtime=0 /proc/22426/task/22433/stat : 22433 (java) S 22418 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 1992152420 202874880 7774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22434] ppid=22418 vsize=198120 CPUtime=0 /proc/22426/task/22434/stat : 22434 (java) S 22418 22418 22148 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1992152420 202874880 7774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 203480 [startup+12.703 s] /proc/loadavg: 1.93 1.96 1.98 3/94 22446 /proc/meminfo: memFree=1734560/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=2.11 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 375 10489 0 0 0 0 204 7 18 0 1 0 1992152197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 238 196 169 0 51 0 [pid=22426] ppid=22418 vsize=198444 CPUtime=6.22 /proc/22426/stat : 22426 (java) S 22418 22418 22148 0 -1 0 13973 0 1 0 601 21 0 0 18 0 10 0 1992152415 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22426/statm: 49611 9485 2544 9 0 44193 0 [pid=22436] ppid=22426 vsize=5356 CPUtime=0 /proc/22436/stat : 22436 (abscon) S 22426 22418 22148 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992153054 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22436/statm: 1339 237 196 169 0 50 0 [pid=22437] ppid=22436 vsize=655968 CPUtime=4.08 /proc/22437/stat : 22437 (java) S 22436 22418 22148 0 -1 0 19618 0 1 0 376 32 0 0 18 0 9 0 1992153055 671711232 18931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22437/statm: 163992 18931 2616 9 0 158520 0 [pid=22437/tid=22439] ppid=22436 vsize=655968 CPUtime=3.51 /proc/22437/task/22439/stat : 22439 (java) R 22436 22418 22148 0 -1 64 12547 0 1 0 323 28 0 0 25 0 9 0 1992153056 671711232 18931 996147200 134512640 134550740 4294955808 18446744073709551615 4127204759 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22440] ppid=22436 vsize=655968 CPUtime=0.24 /proc/22437/task/22440/stat : 22440 (java) S 22436 22418 22148 0 -1 64 5779 0 0 0 22 2 0 0 17 0 9 0 1992153057 671711232 18931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22441] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22441/stat : 22441 (java) S 22436 22418 22148 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22442] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22442/stat : 22442 (java) S 22436 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22443] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22443/stat : 22443 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992153059 671711232 18931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22444] ppid=22436 vsize=655968 CPUtime=0.31 /proc/22437/task/22444/stat : 22444 (java) S 22436 22418 22148 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 1992153059 671711232 18931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22445] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22445/stat : 22445 (java) S 22436 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992153059 671711232 18931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22446] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22446/stat : 22446 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992153059 671711232 18931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22438] ppid=22436 vsize=7044 CPUtime=0 /proc/22438/stat : 22438 (translate) S 22436 22418 22148 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992153055 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22438/statm: 1761 213 182 1 0 41 0 [pid=22426/tid=22427] ppid=22418 vsize=198444 CPUtime=4.77 /proc/22426/task/22427/stat : 22427 (java) S 22418 22418 22148 0 -1 64 3909 0 1 0 468 9 0 0 25 0 10 0 1992152416 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22426/tid=22428] ppid=22418 vsize=198444 CPUtime=1.18 /proc/22426/task/22428/stat : 22428 (java) S 22418 22418 22148 0 -1 64 8572 0 0 0 108 10 0 0 16 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22429] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22429/stat : 22429 (java) S 22418 22418 22148 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22430] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22430/stat : 22430 (java) S 22418 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22431] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22431/stat : 22431 (java) S 22418 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22432] ppid=22418 vsize=198444 CPUtime=0.23 /proc/22426/task/22432/stat : 22432 (java) S 22418 22418 22148 0 -1 64 663 0 0 0 23 0 0 0 16 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22433] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22433/stat : 22433 (java) S 22418 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22434] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22434/stat : 22434 (java) S 22418 22418 22148 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22435] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22435/stat : 22435 (java) S 22418 22418 22148 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992153054 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.41 Current children cumulated vsize (KiB) 872172 [startup+25.5024 s] /proc/loadavg: 1.95 1.96 1.98 3/94 22446 /proc/meminfo: memFree=1734368/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=2.11 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 375 10489 0 0 0 0 204 7 18 0 1 0 1992152197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 238 196 169 0 51 0 [pid=22426] ppid=22418 vsize=198444 CPUtime=6.22 /proc/22426/stat : 22426 (java) S 22418 22418 22148 0 -1 0 13973 0 1 0 601 21 0 0 18 0 10 0 1992152415 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22426/statm: 49611 9485 2544 9 0 44193 0 [pid=22436] ppid=22426 vsize=5356 CPUtime=0 /proc/22436/stat : 22436 (abscon) S 22426 22418 22148 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992153054 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22436/statm: 1339 237 196 169 0 50 0 [pid=22437] ppid=22436 vsize=655968 CPUtime=16.82 /proc/22437/stat : 22437 (java) S 22436 22418 22148 0 -1 0 19632 0 1 0 1650 32 0 0 18 0 9 0 1992153055 671711232 18941 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22437/statm: 163992 18941 2616 9 0 158520 0 [pid=22437/tid=22439] ppid=22436 vsize=655968 CPUtime=16.23 /proc/22437/task/22439/stat : 22439 (java) R 22436 22418 22148 0 -1 64 12548 0 1 0 1595 28 0 0 25 0 9 0 1992153056 671711232 18941 996147200 134512640 134550740 4294955808 18446744073709551615 4127207415 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22440] ppid=22436 vsize=655968 CPUtime=0.24 /proc/22437/task/22440/stat : 22440 (java) S 22436 22418 22148 0 -1 64 5779 0 0 0 22 2 0 0 16 0 9 0 1992153057 671711232 18941 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22441] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22441/stat : 22441 (java) S 22436 22418 22148 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18941 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22442] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22442/stat : 22442 (java) S 22436 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18941 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22443] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22443/stat : 22443 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992153059 671711232 18941 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22444] ppid=22436 vsize=655968 CPUtime=0.32 /proc/22437/task/22444/stat : 22444 (java) S 22436 22418 22148 0 -1 64 759 0 0 0 32 0 0 0 16 0 9 0 1992153059 671711232 18941 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22445] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22445/stat : 22445 (java) S 22436 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992153059 671711232 18941 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22446] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22446/stat : 22446 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992153059 671711232 18941 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22438] ppid=22436 vsize=7044 CPUtime=0 /proc/22438/stat : 22438 (translate) S 22436 22418 22148 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1992153055 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22438/statm: 1761 213 182 1 0 41 0 [pid=22426/tid=22427] ppid=22418 vsize=198444 CPUtime=4.77 /proc/22426/task/22427/stat : 22427 (java) S 22418 22418 22148 0 -1 64 3909 0 1 0 468 9 0 0 25 0 10 0 1992152416 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22426/tid=22428] ppid=22418 vsize=198444 CPUtime=1.18 ################ # More data... # ################ /proc/22426/task/22434/stat : 22434 (java) S 22418 22418 22148 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22435] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22435/stat : 22435 (java) S 22418 22418 22148 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992153054 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 253.24 Current children cumulated vsize (KiB) 872172 [startup+255.103 s] /proc/loadavg: 2.00 1.97 1.98 3/102 22482 /proc/meminfo: memFree=1622368/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=2.11 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 375 10489 0 0 0 0 204 7 18 0 1 0 1992152197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 238 196 169 0 51 0 [pid=22426] ppid=22418 vsize=198444 CPUtime=6.22 /proc/22426/stat : 22426 (java) S 22418 22418 22148 0 -1 0 13973 0 1 0 601 21 0 0 18 0 10 0 1992152415 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22426/statm: 49611 9485 2544 9 0 44193 0 [pid=22436] ppid=22426 vsize=5356 CPUtime=0 /proc/22436/stat : 22436 (abscon) S 22426 22418 22148 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992153054 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22436/statm: 1339 237 196 169 0 50 0 [pid=22437] ppid=22436 vsize=655968 CPUtime=245.71 /proc/22437/stat : 22437 (java) S 22436 22418 22148 0 -1 0 19652 0 1 0 24537 34 0 0 18 0 9 0 1992153055 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22437/statm: 163992 18950 2616 9 0 158520 0 [pid=22437/tid=22439] ppid=22436 vsize=655968 CPUtime=245.09 /proc/22437/task/22439/stat : 22439 (java) R 22436 22418 22148 0 -1 64 12555 0 1 0 24480 29 0 0 25 0 9 0 1992153056 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4127207451 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22440] ppid=22436 vsize=655968 CPUtime=0.24 /proc/22437/task/22440/stat : 22440 (java) S 22436 22418 22148 0 -1 64 5779 0 0 0 22 2 0 0 16 0 9 0 1992153057 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22441] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22441/stat : 22441 (java) S 22436 22418 22148 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22442] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22442/stat : 22442 (java) S 22436 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22443] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22443/stat : 22443 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992153059 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22444] ppid=22436 vsize=655968 CPUtime=0.34 /proc/22437/task/22444/stat : 22444 (java) S 22436 22418 22148 0 -1 64 772 0 0 0 34 0 0 0 17 0 9 0 1992153059 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22445] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22445/stat : 22445 (java) S 22436 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992153059 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22446] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22446/stat : 22446 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992153059 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22438] ppid=22436 vsize=7044 CPUtime=0 /proc/22438/stat : 22438 (translate) S 22436 22418 22148 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1992153055 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22438/statm: 1761 213 182 1 0 41 0 [pid=22426/tid=22427] ppid=22418 vsize=198444 CPUtime=4.77 /proc/22426/task/22427/stat : 22427 (java) S 22418 22418 22148 0 -1 64 3909 0 1 0 468 9 0 0 25 0 10 0 1992152416 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22426/tid=22428] ppid=22418 vsize=198444 CPUtime=1.18 /proc/22426/task/22428/stat : 22428 (java) S 22418 22418 22148 0 -1 64 8572 0 0 0 108 10 0 0 16 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22429] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22429/stat : 22429 (java) S 22418 22418 22148 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22430] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22430/stat : 22430 (java) S 22418 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22431] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22431/stat : 22431 (java) S 22418 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22432] ppid=22418 vsize=198444 CPUtime=0.23 /proc/22426/task/22432/stat : 22432 (java) S 22418 22418 22148 0 -1 64 663 0 0 0 23 0 0 0 16 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22433] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22433/stat : 22433 (java) S 22418 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22434] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22434/stat : 22434 (java) S 22418 22418 22148 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22435] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22435/stat : 22435 (java) S 22418 22418 22148 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992153054 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 254.04 Current children cumulated vsize (KiB) 872172 [startup+255.503 s] /proc/loadavg: 2.00 1.97 1.98 3/102 22482 /proc/meminfo: memFree=1622368/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=2.11 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 375 10489 0 0 0 0 204 7 18 0 1 0 1992152197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 238 196 169 0 51 0 [pid=22426] ppid=22418 vsize=198444 CPUtime=6.22 /proc/22426/stat : 22426 (java) S 22418 22418 22148 0 -1 0 13973 0 1 0 601 21 0 0 18 0 10 0 1992152415 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22426/statm: 49611 9485 2544 9 0 44193 0 [pid=22436] ppid=22426 vsize=5356 CPUtime=0 /proc/22436/stat : 22436 (abscon) S 22426 22418 22148 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992153054 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22436/statm: 1339 237 196 169 0 50 0 [pid=22437] ppid=22436 vsize=655968 CPUtime=246.11 /proc/22437/stat : 22437 (java) S 22436 22418 22148 0 -1 0 19652 0 1 0 24577 34 0 0 18 0 9 0 1992153055 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22437/statm: 163992 18950 2616 9 0 158520 0 [pid=22437/tid=22439] ppid=22436 vsize=655968 CPUtime=245.49 /proc/22437/task/22439/stat : 22439 (java) R 22436 22418 22148 0 -1 64 12555 0 1 0 24520 29 0 0 25 0 9 0 1992153056 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4127216761 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22440] ppid=22436 vsize=655968 CPUtime=0.24 /proc/22437/task/22440/stat : 22440 (java) S 22436 22418 22148 0 -1 64 5779 0 0 0 22 2 0 0 16 0 9 0 1992153057 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22441] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22441/stat : 22441 (java) S 22436 22418 22148 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22442] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22442/stat : 22442 (java) S 22436 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22443] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22443/stat : 22443 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992153059 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22444] ppid=22436 vsize=655968 CPUtime=0.34 /proc/22437/task/22444/stat : 22444 (java) S 22436 22418 22148 0 -1 64 772 0 0 0 34 0 0 0 17 0 9 0 1992153059 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22445] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22445/stat : 22445 (java) S 22436 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992153059 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22446] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22446/stat : 22446 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992153059 671711232 18950 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22438] ppid=22436 vsize=7044 CPUtime=0 /proc/22438/stat : 22438 (translate) S 22436 22418 22148 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1992153055 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22438/statm: 1761 213 182 1 0 41 0 [pid=22426/tid=22427] ppid=22418 vsize=198444 CPUtime=4.77 /proc/22426/task/22427/stat : 22427 (java) S 22418 22418 22148 0 -1 64 3909 0 1 0 468 9 0 0 25 0 10 0 1992152416 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22426/tid=22428] ppid=22418 vsize=198444 CPUtime=1.18 /proc/22426/task/22428/stat : 22428 (java) S 22418 22418 22148 0 -1 64 8572 0 0 0 108 10 0 0 16 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22429] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22429/stat : 22429 (java) S 22418 22418 22148 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22430] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22430/stat : 22430 (java) S 22418 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22431] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22431/stat : 22431 (java) S 22418 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22432] ppid=22418 vsize=198444 CPUtime=0.23 /proc/22426/task/22432/stat : 22432 (java) S 22418 22418 22148 0 -1 64 663 0 0 0 23 0 0 0 16 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22433] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22433/stat : 22433 (java) S 22418 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22434] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22434/stat : 22434 (java) S 22418 22418 22148 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22435] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22435/stat : 22435 (java) S 22418 22418 22148 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992153054 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 254.44 Current children cumulated vsize (KiB) 872172 [startup+255.603 s] /proc/loadavg: 2.00 1.97 1.98 3/102 22482 /proc/meminfo: memFree=1622368/2055920 swapFree=4180096/4192956 [pid=22418] ppid=22416 vsize=5360 CPUtime=2.11 /proc/22418/stat : 22418 (hydra) S 22416 22418 22148 0 -1 4194304 375 10489 0 0 0 0 204 7 18 0 1 0 1992152197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22418/statm: 1340 238 196 169 0 51 0 [pid=22426] ppid=22418 vsize=198444 CPUtime=6.22 /proc/22426/stat : 22426 (java) S 22418 22418 22148 0 -1 0 13973 0 1 0 601 21 0 0 18 0 10 0 1992152415 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/22426/statm: 49611 9485 2544 9 0 44193 0 [pid=22436] ppid=22426 vsize=5356 CPUtime=0 /proc/22436/stat : 22436 (abscon) S 22426 22418 22148 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992153054 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/22436/statm: 1339 237 196 169 0 50 0 [pid=22437] ppid=22436 vsize=655968 CPUtime=246.21 /proc/22437/stat : 22437 (java) S 22436 22418 22148 0 -1 0 19654 0 1 0 24587 34 0 0 18 0 9 0 1992153055 671711232 18952 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/22437/statm: 163992 18952 2616 9 0 158520 0 [pid=22437/tid=22439] ppid=22436 vsize=655968 CPUtime=245.58 /proc/22437/task/22439/stat : 22439 (java) R 22436 22418 22148 0 -1 64 12557 0 1 0 24529 29 0 0 25 0 9 0 1992153056 671711232 18952 996147200 134512640 134550740 4294955808 18446744073709551615 4127270176 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22440] ppid=22436 vsize=655968 CPUtime=0.24 /proc/22437/task/22440/stat : 22440 (java) S 22436 22418 22148 0 -1 64 5779 0 0 0 22 2 0 0 16 0 9 0 1992153057 671711232 18952 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22441] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22441/stat : 22441 (java) S 22436 22418 22148 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18952 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22442] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22442/stat : 22442 (java) S 22436 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992153057 671711232 18952 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22443] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22443/stat : 22443 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992153059 671711232 18952 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22444] ppid=22436 vsize=655968 CPUtime=0.34 /proc/22437/task/22444/stat : 22444 (java) S 22436 22418 22148 0 -1 64 772 0 0 0 34 0 0 0 16 0 9 0 1992153059 671711232 18952 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22445] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22445/stat : 22445 (java) S 22436 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992153059 671711232 18952 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22437/tid=22446] ppid=22436 vsize=655968 CPUtime=0 /proc/22437/task/22446/stat : 22446 (java) S 22436 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992153059 671711232 18952 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=22438] ppid=22436 vsize=7044 CPUtime=0 /proc/22438/stat : 22438 (translate) S 22436 22418 22148 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1992153055 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/22438/statm: 1761 213 182 1 0 41 0 [pid=22426/tid=22427] ppid=22418 vsize=198444 CPUtime=4.77 /proc/22426/task/22427/stat : 22427 (java) S 22418 22418 22148 0 -1 64 3909 0 1 0 468 9 0 0 25 0 10 0 1992152416 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=22426/tid=22428] ppid=22418 vsize=198444 CPUtime=1.18 /proc/22426/task/22428/stat : 22428 (java) S 22418 22418 22148 0 -1 64 8572 0 0 0 108 10 0 0 16 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22429] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22429/stat : 22429 (java) S 22418 22418 22148 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22430] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22430/stat : 22430 (java) S 22418 22418 22148 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992152418 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22431] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22431/stat : 22431 (java) S 22418 22418 22148 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22432] ppid=22418 vsize=198444 CPUtime=0.23 /proc/22426/task/22432/stat : 22432 (java) S 22418 22418 22148 0 -1 64 663 0 0 0 23 0 0 0 16 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22433] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22433/stat : 22433 (java) S 22418 22418 22148 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22434] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22434/stat : 22434 (java) S 22418 22418 22148 0 -1 64 34 0 0 0 0 0 0 0 15 0 10 0 1992152420 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=22426/tid=22435] ppid=22418 vsize=198444 CPUtime=0 /proc/22426/task/22435/stat : 22435 (java) S 22418 22418 22148 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992153054 203206656 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 254.54 Current children cumulated vsize (KiB) 872172 Child status: 0 Real time (s): 255.68 CPU time (s): 254.614 CPU user time (s): 253.951 CPU system time (s): 0.662899 CPU usage (%): 99.5833 Max. virtual memory (cumulated for all children) (KiB): 872264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 253.951 system time used= 0.662899 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45215 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= 21551 involuntary context switches= 24088 runsolver used 0.925859 second user time and 2.84357 second system time The end
Begin job on node42 at 2008-07-04 02:36:37 IDJOB=1061221 IDBENCH=54532 IDSOLVER=366 FILE ID=node42/1061221-1215131797 PBS_JOBID= 7877298 Free space on /tmp= 66536 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/ii/normalized-ii-32e3.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1061221-1215131797/watcher-1061221-1215131797 -o /tmp/evaluation-result-1061221-1215131797/solver-1061221-1215131797 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1061221-1215131797.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 4e1ec6a2f5cc71969cf0fda2691199d0 RANDOM SEED=1913378136 node42.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.214 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.214 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: 1829816 kB Buffers: 24860 kB Cached: 119588 kB SwapCached: 6580 kB Active: 133276 kB Inactive: 38952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1829816 kB SwapTotal: 4192956 kB SwapFree: 4180096 kB Dirty: 25088 kB Writeback: 0 kB Mapped: 35476 kB Slab: 39200 kB Committed_AS: 3528444 kB PageTables: 1836 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= 66504 MiB End job on node42 at 2008-07-04 02:40:53