Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800 | 1807.53 |
Name | csp/compet08/ normalized-patat-08-comp-1.xml |
MD5SUM | 4d169279fa4e9bed6ceba6b2cb05fd73 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 37537 |
Maximum constraint arity | 25 |
Maximum domain size | 34 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 37037 |
Global constraints used (with number of constraints) | alldifferent(500) |
0.00/0.00 c cpHydra_k_40 version 0.0 9.95/10.19 c CASE TO CLASSIFY: 9.95/10.19 c Case: 0 9.95/10.19 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.332020 | c 33 > 30.000000 | c 15 > 21.464300 | c 34 > 30.000000 | c 16 > 25.000000 | c 13 > 8.173450 | c 14 > 8.546890 | c 11 > 9.445010 | c 12 > 9.007460 | c 21 > 3.835360 | c 20 > 98.668000 | c 22 > 5.830950 | c 23 > 69.360000 | c 24 > 28.571400 | c 25 > 500.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.445010 | c 2 > -1.000000 | c 10 > 17.720200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.153100 | c 32 > 0.000000 | c 5 > 17.264200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.04/10.20 c choco : 1801.0 10.04/10.20 c mistral : 1801.0 10.04/10.20 c abscon : 1801.0 10.04/10.20 c 10.04/10.20 c 10.04/10.28 c List of same ones: 40 10.04/10.28 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-8.xml 10.04/10.28 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 14.579000 | c 33 > 30.000000 | c 15 > 19.452200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.059480 | c 14 > 9.417850 | c 11 > 12.164600 | c 12 > 4.765530 | c 21 > 3.107250 | c 20 > 85.421000 | c 22 > 5.000000 | c 23 > 65.371600 | c 24 > 25.000000 | c 25 > 490.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.960000 | c 2 > -1.000000 | c 10 > 15.614100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.084100 | c 32 > 0.000000 | c 5 > 13.597500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.04/10.29 c choco : 1801.0 10.04/10.29 c mistral : 3.36 10.04/10.29 c abscon : 15.51 10.04/10.29 c 10.04/10.29 c 10.04/10.29 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-15.xml 10.04/10.29 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 23.800200 | c 33 > 30.000000 | c 15 > 19.804600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.050950 | c 14 > 8.751540 | c 11 > 11.493900 | c 12 > 5.236670 | c 21 > 3.089090 | c 20 > 76.199800 | c 22 > 5.099020 | c 23 > 60.156700 | c 24 > 10.000000 | c 25 > 486.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.033420 | c 2 > -1.000000 | c 10 > 15.550000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.356500 | c 32 > 0.000000 | c 5 > 13.123300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.04/10.29 c choco : 1801.0 10.04/10.29 c mistral : 3.46 10.04/10.29 c abscon : 14.39 10.04/10.29 c 10.04/10.29 c 10.04/10.29 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-7.xml 10.04/10.30 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 12.442600 | c 33 > 30.000000 | c 15 > 19.734000 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.396280 | c 14 > 8.434630 | c 11 > 12.538400 | c 12 > 4.143190 | c 21 > 3.130890 | c 20 > 87.557400 | c 22 > 4.898980 | c 23 > 64.366700 | c 24 > 20.000000 | c 25 > 461.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.174930 | c 2 > -1.000000 | c 10 > 15.494700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.466600 | c 32 > 0.000000 | c 5 > 13.885100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.31 c choco : 1801.0 10.13/10.31 c mistral : 5.03 10.13/10.31 c abscon : 102.03 10.13/10.31 c 10.13/10.31 c 10.13/10.31 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml 10.13/10.31 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.049790 | c 33 > 30.000000 | c 15 > 20.795500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.418740 | c 14 > 8.118940 | c 11 > 9.219170 | c 12 > 8.571470 | c 21 > 4.902910 | c 20 > 98.950200 | c 22 > 6.708200 | c 23 > 82.224100 | c 24 > 22.222200 | c 25 > 350.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.219170 | c 2 > -1.000000 | c 10 > 17.177700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.980400 | c 32 > 0.000000 | c 5 > 17.155900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.32 c choco : 1801.0 10.13/10.32 c mistral : 137.37 10.13/10.32 c abscon : 1046.72 10.13/10.32 c 10.13/10.32 c 10.13/10.32 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml 10.13/10.32 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.032270 | c 33 > 30.000000 | c 15 > 20.714300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.395630 | c 14 > 8.348730 | c 11 > 9.192290 | c 12 > 8.606890 | c 21 > 4.892560 | c 20 > 98.967700 | c 22 > 6.708200 | c 23 > 86.853200 | c 24 > 25.000000 | c 25 > 348.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.192290 | c 2 > -1.000000 | c 10 > 17.188200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994700 | c 32 > 0.000000 | c 5 > 17.167700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.33 c choco : 1801.0 10.13/10.33 c mistral : 98.85 10.13/10.33 c abscon : 1801.0 10.13/10.33 c 10.13/10.33 c 10.13/10.33 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml 10.13/10.33 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.644026 | c 33 > 30.000000 | c 15 > 20.714400 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.106580 | c 14 > 8.422060 | c 11 > 9.392320 | c 12 > 8.650280 | c 21 > 4.920950 | c 20 > 99.356000 | c 22 > 6.708200 | c 23 > 78.650500 | c 24 > 25.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.392320 | c 2 > -1.000000 | c 10 > 17.473800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.489900 | c 32 > 0.000000 | c 5 > 17.616800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.34 c choco : 1801.0 10.13/10.34 c mistral : 654.08 10.13/10.34 c abscon : 1801.0 10.13/10.34 c 10.13/10.34 c 10.13/10.34 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml 10.13/10.34 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.226990 | c 33 > 30.000000 | c 15 > 20.404900 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.487570 | c 14 > 8.546890 | c 11 > 9.255030 | c 12 > 8.456330 | c 21 > 3.902400 | c 20 > 98.773000 | c 22 > 6.000000 | c 23 > 66.609100 | c 24 > 13.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.255030 | c 2 > -1.000000 | c 10 > 17.018100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.512500 | c 32 > 0.000000 | c 5 > 16.686600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.34 c choco : 1801.0 10.13/10.34 c mistral : 43.86 10.13/10.34 c abscon : 262.21 10.13/10.34 c 10.13/10.34 c 10.13/10.34 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml 10.13/10.34 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.468187 | c 33 > 30.000000 | c 15 > 20.496000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.978730 | c 14 > 8.690000 | c 11 > 9.611020 | c 12 > 8.780590 | c 21 > 4.946840 | c 20 > 99.531800 | c 22 > 6.708200 | c 23 > 84.598700 | c 24 > 33.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.611020 | c 2 > -1.000000 | c 10 > 17.848000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.958200 | c 32 > 0.000000 | c 5 > 18.064900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.35 c choco : 1801.0 10.13/10.35 c mistral : 265.78 10.13/10.35 c abscon : 1801.0 10.13/10.35 c 10.13/10.35 c 10.13/10.35 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml 10.13/10.35 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.399450 | c 33 > 30.000000 | c 15 > 20.959000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.186680 | c 14 > 8.194760 | c 11 > 9.090110 | c 12 > 8.259910 | c 21 > 4.857540 | c 20 > 98.600600 | c 22 > 6.708200 | c 23 > 83.019000 | c 24 > 20.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.090110 | c 2 > -1.000000 | c 10 > 16.675800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.264400 | c 32 > 0.000000 | c 5 > 16.536900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.36 c choco : 1801.0 10.13/10.36 c mistral : 106.17 10.13/10.36 c abscon : 39.95 10.13/10.36 c 10.13/10.36 c 10.13/10.36 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml 10.13/10.36 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.895683 | c 33 > 30.000000 | c 15 > 20.466700 | c 34 > 30.000000 | c 16 > 23.000000 | c 13 > 7.445010 | c 14 > 8.507790 | c 11 > 9.394460 | c 12 > 8.546470 | c 21 > 4.014350 | c 20 > 99.104300 | c 22 > 5.830950 | c 23 > 63.995800 | c 24 > 12.500000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.394460 | c 2 > -1.000000 | c 10 > 17.300500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994000 | c 32 > 0.000000 | c 5 > 17.128600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.37 c choco : 1801.0 10.13/10.37 c mistral : 38.33 10.13/10.37 c abscon : 568.38 10.13/10.37 c 10.13/10.37 c 10.13/10.37 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml 10.13/10.37 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.716829 | c 33 > 30.000000 | c 15 > 20.502000 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.462510 | c 14 > 8.149750 | c 11 > 9.467610 | c 12 > 8.672580 | c 21 > 4.149400 | c 20 > 99.283200 | c 22 > 5.830950 | c 23 > 65.344800 | c 24 > 11.764700 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.467610 | c 2 > -1.000000 | c 10 > 17.526000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.333300 | c 32 > 0.000000 | c 5 > 17.448100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.38 c choco : 1801.0 10.13/10.38 c mistral : 1156.77 10.13/10.38 c abscon : 1801.0 10.13/10.38 c 10.13/10.38 c 10.13/10.38 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-6.xml 10.13/10.38 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.753258 | c 33 > 30.000000 | c 15 > 20.543200 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.454780 | c 14 > 8.353150 | c 11 > 9.493860 | c 12 > 8.600780 | c 21 > 4.062170 | c 20 > 99.246700 | c 22 > 6.000000 | c 23 > 61.086600 | c 24 > 13.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.493860 | c 2 > -1.000000 | c 10 > 17.464800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.264800 | c 32 > 0.000000 | c 5 > 17.380300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.13/10.39 c choco : 1801.0 10.13/10.39 c mistral : 963.3 10.13/10.39 c abscon : 1801.0 10.13/10.39 c 10.13/10.39 c 10.13/10.40 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml 10.13/10.40 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.658299 | c 33 > 30.000000 | c 15 > 20.669000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.208980 | c 14 > 8.592460 | c 11 > 9.411510 | c 12 > 8.640030 | c 21 > 4.928780 | c 20 > 99.341700 | c 22 > 6.708200 | c 23 > 83.238900 | c 24 > 40.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.411510 | c 2 > -1.000000 | c 10 > 17.463900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.462700 | c 32 > 0.000000 | c 5 > 17.592400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.40 c choco : 1801.0 10.20/10.40 c mistral : 467.31 10.20/10.40 c abscon : 1801.0 10.20/10.40 c 10.20/10.40 c 10.20/10.40 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml 10.20/10.40 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.849594 | c 33 > 30.000000 | c 15 > 20.736900 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.115770 | c 14 > 8.299210 | c 11 > 9.400880 | c 12 > 8.339510 | c 21 > 4.870700 | c 20 > 99.150400 | c 22 > 6.708200 | c 23 > 87.351200 | c 24 > 22.222200 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.400880 | c 2 > -1.000000 | c 10 > 17.155900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.044900 | c 32 > 0.000000 | c 5 > 17.233300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.42 c choco : 1801.0 10.20/10.42 c mistral : 293.62 10.20/10.42 c abscon : 1801.0 10.20/10.42 c 10.20/10.42 c 10.20/10.42 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml 10.20/10.42 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 5.178660 | c 33 > 30.000000 | c 15 > 19.878000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.754490 | c 14 > 10.632100 | c 11 > 11.879600 | c 12 > 5.045030 | c 21 > 4.801340 | c 20 > 94.821300 | c 22 > 6.708200 | c 23 > 97.911900 | c 24 > 25.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.554590 | c 2 > -1.000000 | c 10 > 15.707800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.727900 | c 32 > 0.000000 | c 5 > 14.463800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.42 c choco : 1801.0 10.20/10.42 c mistral : 440.15 10.20/10.42 c abscon : 13.8 10.20/10.42 c 10.20/10.42 c 10.20/10.42 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml 10.20/10.42 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.579810 | c 33 > 30.000000 | c 15 > 20.881300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.129480 | c 14 > 8.209450 | c 11 > 8.774790 | c 12 > 8.261650 | c 21 > 4.836470 | c 20 > 97.420200 | c 22 > 6.708200 | c 23 > 93.217300 | c 24 > 28.571400 | c 25 > 299.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.774790 | c 2 > -1.000000 | c 10 > 16.155800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 14.022200 | c 32 > 0.000000 | c 5 > 15.591900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.43 c choco : 1801.0 10.20/10.43 c mistral : 71.99 10.20/10.43 c abscon : 45.66 10.20/10.43 c 10.20/10.43 c 10.20/10.43 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-13.xml 10.20/10.43 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.827705 | c 33 > 30.000000 | c 15 > 20.694100 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.951770 | c 14 > 8.379380 | c 11 > 9.308340 | c 12 > 8.185690 | c 21 > 4.869800 | c 20 > 99.172300 | c 22 > 6.708200 | c 23 > 85.063200 | c 24 > 33.333300 | c 25 > 250.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.308340 | c 2 > -1.000000 | c 10 > 16.904800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.759000 | c 32 > 0.000000 | c 5 > 16.985000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.44 c choco : 1801.0 10.20/10.44 c mistral : 114.2 10.20/10.44 c abscon : 1801.0 10.20/10.44 c 10.20/10.44 c 10.20/10.44 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-11.xml 10.20/10.44 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.765670 | c 33 > 30.000000 | c 15 > 20.735200 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.584730 | c 14 > 8.588710 | c 11 > 9.353150 | c 12 > 8.024060 | c 21 > 4.851030 | c 20 > 99.234300 | c 22 > 6.708200 | c 23 > 83.020000 | c 24 > 25.000000 | c 25 > 220.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.353150 | c 2 > -1.000000 | c 10 > 16.798500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.711800 | c 32 > 0.000000 | c 5 > 16.943200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.44 c choco : 1801.0 10.20/10.44 c mistral : 807.54 10.20/10.44 c abscon : 1801.0 10.20/10.44 c 10.20/10.44 c 10.20/10.44 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-9.xml 10.20/10.44 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.450580 | c 33 > 30.000000 | c 15 > 20.707300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.953550 | c 14 > 8.451210 | c 11 > 9.552670 | c 12 > 8.368340 | c 21 > 4.877240 | c 20 > 99.549400 | c 22 > 6.708200 | c 23 > 84.802900 | c 24 > 25.000000 | c 25 > 220.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.552670 | c 2 > -1.000000 | c 10 > 17.406200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.513100 | c 32 > 0.000000 | c 5 > 17.665300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.45 c choco : 1801.0 10.20/10.45 c mistral : 499.22 10.20/10.45 c abscon : 1801.0 10.20/10.45 c 10.20/10.45 c 10.20/10.45 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-16.xml 10.20/10.45 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.498934 | c 33 > 30.000000 | c 15 > 20.578600 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.573960 | c 14 > 8.339850 | c 11 > 9.513730 | c 12 > 8.266280 | c 21 > 4.907900 | c 20 > 99.501100 | c 22 > 6.708200 | c 23 > 87.740100 | c 24 > 28.571400 | c 25 > 220.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.513730 | c 2 > -1.000000 | c 10 > 17.297500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.360800 | c 32 > 0.000000 | c 5 > 17.530800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.46 c choco : 1801.0 10.20/10.46 c mistral : 793.29 10.20/10.46 c abscon : 1801.0 10.20/10.46 c 10.20/10.46 c 10.20/10.46 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-3.xml 10.20/10.46 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.312402 | c 33 > 30.000000 | c 15 > 20.565500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.410480 | c 14 > 8.643860 | c 11 > 9.605480 | c 12 > 8.645100 | c 21 > 4.940900 | c 20 > 99.687600 | c 22 > 6.708200 | c 23 > 80.177400 | c 24 > 28.571400 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.605480 | c 2 > -1.000000 | c 10 > 17.754100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.958200 | c 32 > 0.000000 | c 5 > 18.064700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.47 c choco : 1801.0 10.20/10.47 c mistral : 407.7 10.20/10.47 c abscon : 1801.0 10.20/10.47 c 10.20/10.47 c 10.20/10.47 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-2.xml 10.20/10.47 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.307064 | c 33 > 30.000000 | c 15 > 20.498000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.362750 | c 14 > 8.658210 | c 11 > 9.599910 | c 12 > 8.664880 | c 21 > 4.940900 | c 20 > 99.692900 | c 22 > 6.708200 | c 23 > 80.681200 | c 24 > 30.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.599910 | c 2 > -1.000000 | c 10 > 17.774600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.981900 | c 32 > 0.000000 | c 5 > 18.086700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.47 c choco : 1801.0 10.20/10.47 c mistral : 628.57 10.20/10.47 c abscon : 1801.0 10.20/10.47 c 10.20/10.47 c 10.20/10.47 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-12.xml 10.20/10.47 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.704225 | c 33 > 30.000000 | c 15 > 20.751900 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.592960 | c 14 > 8.897850 | c 11 > 9.262090 | c 12 > 8.033320 | c 21 > 4.845360 | c 20 > 99.295800 | c 22 > 6.708200 | c 23 > 87.711200 | c 24 > 30.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.262090 | c 2 > -1.000000 | c 10 > 16.738200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.657900 | c 32 > 0.000000 | c 5 > 16.896500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.48 c choco : 1801.0 10.20/10.48 c mistral : 62.47 10.20/10.48 c abscon : 40.58 10.20/10.48 c 10.20/10.48 c 10.20/10.48 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-1.xml 10.20/10.48 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.590982 | c 33 > 30.000000 | c 15 > 20.740500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.609820 | c 14 > 8.471680 | c 11 > 9.381540 | c 12 > 8.121300 | c 21 > 4.845750 | c 20 > 99.409000 | c 22 > 6.708200 | c 23 > 86.663700 | c 24 > 20.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.381540 | c 2 > -1.000000 | c 10 > 16.960100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.961200 | c 32 > 0.000000 | c 5 > 17.158000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.48 c choco : 1801.0 10.20/10.48 c mistral : 223.88 10.20/10.48 c abscon : 1801.0 10.20/10.48 c 10.20/10.48 c 10.20/10.48 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-2.xml 10.20/10.49 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.880514 | c 33 > 30.000000 | c 15 > 20.863000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.515360 | c 14 > 8.523560 | c 11 > 9.209450 | c 12 > 7.870430 | c 21 > 4.843420 | c 20 > 99.119500 | c 22 > 6.708200 | c 23 > 89.800000 | c 24 > 25.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.209450 | c 2 > -1.000000 | c 10 > 16.477400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.303100 | c 32 > 0.000000 | c 5 > 16.601200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.49 c choco : 1801.0 10.20/10.49 c mistral : 126.19 10.20/10.49 c abscon : 898.95 10.20/10.49 c 10.20/10.49 c 10.20/10.49 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-18.xml 10.20/10.49 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.116690 | c 33 > 30.000000 | c 15 > 20.815500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.401820 | c 14 > 9.033420 | c 11 > 9.164910 | c 12 > 7.749760 | c 21 > 4.834770 | c 20 > 98.883300 | c 22 > 6.708200 | c 23 > 93.380500 | c 24 > 25.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.154820 | c 2 > -1.000000 | c 10 > 16.226100 | c 1 > 2.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 14.852000 | c 32 > 0.000000 | c 5 > 16.244200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.20/10.50 c choco : 1801.0 10.20/10.50 c mistral : 138.39 10.20/10.50 c abscon : 905.44 10.20/10.50 c 10.20/10.50 c 10.20/10.50 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-10.xml 10.20/10.50 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 13.307800 | c 33 > 30.000000 | c 15 > 19.710600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.895210 | c 14 > 7.614710 | c 11 > 13.554300 | c 12 > 4.125610 | c 21 > 3.910240 | c 20 > 86.692200 | c 22 > 5.744560 | c 23 > 60.011500 | c 24 > 13.333300 | c 25 > 904.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.451210 | c 2 > -1.000000 | c 10 > 16.522500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.511800 | c 32 > 0.000000 | c 5 > 14.844800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.50 c choco : 1801.0 10.26/10.50 c mistral : 4.88 10.26/10.50 c abscon : 39.29 10.26/10.50 c 10.26/10.50 c 10.26/10.50 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-3.xml 10.26/10.50 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 11.664500 | c 33 > 30.000000 | c 15 > 20.195600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.881810 | c 14 > 7.876520 | c 11 > 8.370690 | c 12 > 9.230150 | c 21 > 3.787810 | c 20 > 88.335500 | c 22 > 5.916080 | c 23 > 71.686300 | c 24 > 28.571400 | c 25 > 918.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.370690 | c 2 > -1.000000 | c 10 > 16.626100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.728300 | c 32 > 0.000000 | c 5 > 15.002000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.51 c choco : 1801.0 10.26/10.51 c mistral : 17.86 10.26/10.51 c abscon : 189.77 10.26/10.51 c 10.26/10.51 c 10.26/10.51 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml 10.26/10.51 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 4.399320 | c 33 > 30.000000 | c 15 > 16.020600 | c 34 > 30.000000 | c 16 > 17.000000 | c 13 > 4.058140 | c 14 > 7.118940 | c 11 > 11.503300 | c 12 > 1.983760 | c 21 > 4.826490 | c 20 > 95.600700 | c 22 > 6.708200 | c 23 > 95.233300 | c 24 > 40.000000 | c 25 > 78.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.118940 | c 2 > -1.000000 | c 10 > 13.119600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.432500 | c 32 > 0.000000 | c 5 > 13.305800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.51 c choco : 13.82 10.26/10.52 c mistral : 0.32 10.26/10.52 c abscon : 7.62 10.26/10.52 c 10.26/10.52 c 10.26/10.52 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-11.xml 10.26/10.52 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 13.099600 | c 33 > 30.000000 | c 15 > 20.173700 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.806410 | c 14 > 7.781360 | c 11 > 8.495860 | c 12 > 9.051860 | c 21 > 4.004060 | c 20 > 86.900400 | c 22 > 5.744560 | c 23 > 61.404600 | c 24 > 10.000000 | c 25 > 923.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.495860 | c 2 > -1.000000 | c 10 > 16.557900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.572200 | c 32 > 0.000000 | c 5 > 14.907500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.52 c choco : 1801.0 10.26/10.52 c mistral : 51.41 10.26/10.52 c abscon : 1801.0 10.26/10.52 c 10.26/10.52 c 10.26/10.52 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml 10.26/10.52 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.459890 | c 33 > 30.000000 | c 15 > 21.370900 | c 34 > 30.000000 | c 16 > 19.000000 | c 13 > 11.389900 | c 14 > 16.796700 | c 11 > 12.409400 | c 12 > 7.399610 | c 21 > 4.865700 | c 20 > 97.540100 | c 22 > 6.708200 | c 23 > 92.808300 | c 24 > 50.000000 | c 25 > 69.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.375040 | c 2 > -1.000000 | c 10 > 13.713900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.364700 | c 32 > 0.000000 | c 5 > 13.896400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.53 c choco : 1801.0 10.26/10.53 c mistral : 26.31 10.26/10.53 c abscon : 11.66 10.26/10.53 c 10.26/10.53 c 10.26/10.53 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml 10.26/10.53 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.374100 | c 33 > 30.000000 | c 15 > 20.367100 | c 34 > 30.000000 | c 16 > 13.000000 | c 13 > 5.641070 | c 14 > 11.004200 | c 11 > 12.284200 | c 12 > 2.935000 | c 21 > 4.848200 | c 20 > 97.625900 | c 22 > 6.708200 | c 23 > 94.525000 | c 24 > 66.666700 | c 25 > 66.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.209450 | c 2 > -1.000000 | c 10 > 13.356700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.240800 | c 32 > 0.000000 | c 5 > 13.806700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.54 c choco : 1801.0 10.26/10.54 c mistral : 6.57 10.26/10.54 c abscon : 10.45 10.26/10.54 c 10.26/10.54 c 10.26/10.54 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml 10.26/10.54 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.949030 | c 33 > 30.000000 | c 15 > 21.524000 | c 34 > 30.000000 | c 16 > 12.000000 | c 13 > 6.061550 | c 14 > 11.531900 | c 11 > 12.669100 | c 12 > 2.868540 | c 21 > 4.887740 | c 20 > 98.051000 | c 22 > 6.708200 | c 23 > 99.350000 | c 24 > 50.000000 | c 25 > 65.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.451210 | c 2 > -1.000000 | c 10 > 13.477300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.629800 | c 32 > 0.000000 | c 5 > 14.089200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.54 c choco : 1801.0 10.26/10.54 c mistral : 1801.0 10.26/10.54 c abscon : 11.05 10.26/10.54 c 10.26/10.54 c 10.26/10.54 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml 10.26/10.54 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.537630 | c 33 > 30.000000 | c 15 > 21.497200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.743320 | c 14 > 13.117000 | c 11 > 12.028600 | c 12 > 4.472700 | c 21 > 4.829600 | c 20 > 97.462400 | c 22 > 6.708200 | c 23 > 95.033300 | c 24 > 40.000000 | c 25 > 59.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.076820 | c 2 > -1.000000 | c 10 > 13.196600 | c 1 > 4.087460 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.975100 | c 32 > 0.000000 | c 5 > 13.629000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.55 c choco : 1801.0 10.26/10.55 c mistral : 1801.0 10.26/10.55 c abscon : 9.29 10.26/10.55 c 10.26/10.55 c 10.26/10.55 c /home/eomahony/cpZilla/CSP/xml/nengfa/sudoku368.xml 10.26/10.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.785400 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > 5.743680 | c 14 > 8.144660 | c 11 > 8.144660 | c 12 > 5.181070 | c 21 > 1.347550 | c 20 > 0.000000 | c 22 > 3.316620 | c 23 > 84.661800 | c 24 > 9.090910 | c 25 > 75.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.144660 | c 2 > -1.000000 | c 10 > 12.317400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.399800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.56 c choco : 2.57 10.26/10.56 c mistral : 0.22 10.26/10.56 c abscon : 3.53246 10.26/10.56 c 10.26/10.56 c 10.26/10.56 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-15_glb.xml 10.26/10.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 19.917900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 9.877710 | c 14 > 12.813600 | c 11 > 7.129280 | c 12 > 9.514210 | c 21 > 1.927770 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.287400 | c 24 > 17.647100 | c 25 > 36.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.129280 | c 2 > -1.000000 | c 10 > 9.949830 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.008430 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.56 c choco : 1.12 10.26/10.56 c mistral : 0.2 10.26/10.56 c abscon : 0.78188 10.26/10.56 c 10.26/10.56 c 10.26/10.56 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-47_glb.xml 10.26/10.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.091400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.363300 | c 14 > 13.909700 | c 11 > 7.139550 | c 12 > 11.893200 | c 21 > 1.938780 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.510700 | c 24 > 16.666700 | c 25 > 36.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.139550 | c 2 > -1.000000 | c 10 > 9.968670 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.049850 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.57 c choco : 1.46 10.26/10.57 c mistral : 0.59 10.26/10.57 c abscon : 2.04269 10.26/10.57 c 10.26/10.57 c 10.26/10.57 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-73_glb.xml 10.26/10.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.997900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 10.735500 | c 14 > 13.888600 | c 11 > 7.129280 | c 12 > 11.325400 | c 21 > 1.964220 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.117700 | c 24 > 15.384600 | c 25 > 36.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.129280 | c 2 > -1.000000 | c 10 > 9.949830 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.057990 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.57 c choco : 1.17 10.26/10.57 c mistral : 1.21381 10.26/10.57 c abscon : 1.00785 10.26/10.57 c 10.26/10.57 c 10.26/10.57 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-11_glb.xml 10.26/10.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 17.873900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 8.502950 | c 14 > 11.037500 | c 11 > 7.108520 | c 12 > 7.411230 | c 21 > 1.933280 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 39.498100 | c 24 > 15.384600 | c 25 > 36.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.108520 | c 2 > -1.000000 | c 10 > 9.912890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.58 c choco : 1.15 10.26/10.58 c mistral : 0.09 10.26/10.58 c abscon : 1.00485 10.26/10.58 c 10.26/10.58 c 10.26/10.58 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-53_glb.xml 10.26/10.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 15.030900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 6.358170 | c 14 > 8.807350 | c 11 > 7.129280 | c 12 > 5.248740 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 41.184500 | c 24 > 12.500000 | c 25 > 36.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.129280 | c 2 > -1.000000 | c 10 > 9.949830 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.118940 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.59 c choco : 1.19 10.26/10.59 c mistral : 0.028995 10.26/10.59 c abscon : 0.846871 10.26/10.59 c 10.26/10.59 c 10.26/10.59 c Length: 40 10.26/10.59 c 25.474082737178193 42.49305203438558 45.15115524165578 150.78028355052194 153.13930339081702 200.32251693028678 200.60914210057103 200.71668752687802 200.72726269757703 200.7322648572879 200.75420019575105 200.7587171519213 200.88076303418265 200.98207096889186 202.35373860963776 202.51626960971828 250.5999581907757 280.41394711337716 280.5040784639476 280.6606018924609 300.25236948834095 300.27497347417227 300.61915211810543 300.67452382889115 300.7739412979775 301.058311336049 404.94937391802637 418.40178635490696 423.24380189117596 423.94834077462315 432.37275444211224 436.69026279504595 436.87658466867003 442.16097878118387 452.4836018697566 489.99553260970646 490.02816459838425 490.0775924944423 490.0975110931596 490.1186118389306 10.26/10.59 c 10.26/10.59 c 1.0 0.9646662673136368 0.9593718875242824 0.787598871466135 0.7844620644749453 0.7265827081313974 0.726257194632376 0.7261351330445296 0.7261231326843568 0.7261174565341925 0.7260925666783966 0.7260874415356681 0.725948990141311 0.7258341044056401 0.724282170469427 0.7240987191019974 0.6736220139819981 0.6457123491186298 0.6456314807203494 0.6454910915927018 0.6283881415882341 0.6283689324941374 0.6280765910398657 0.6280295843333914 0.6279452035166343 0.6277039688988582 0.550448547631775 0.5418138687026978 0.538771860554838 0.5383320766795197 0.5331285112105572 0.5305004828308536 0.5303876534502177 0.5272074906723173 0.5211040425620785 0.500066231024386 0.5000486694875989 0.5000220712569589 0.5000113534237361 0.5 10.33/10.61 c 10.33/10.61 c solver 0 10.33/10.61 c before 0.0 seconds: {} 0 10.33/10.61 c before 18.0 seconds: {0, 1, 14, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 8370 10.33/10.61 c before 54.0 seconds: {0, 1, 8, 14, 15, 22, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 10998 10.33/10.61 c before 108.0 seconds: {0, 1, 2, 8, 14, 15, 22, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11958 10.33/10.61 c before 198.0 seconds: {0, 1, 2, 8, 14, 15, 22, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12500 10.33/10.61 c before 270.0 seconds: {0, 1, 2, 6, 8, 14, 15, 22, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13226 10.33/10.61 c before 576.0 seconds: {0, 1, 2, 6, 8, 9, 14, 15, 22, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13952 10.33/10.61 c before 900.0 seconds: {0, 1, 2, 6, 8, 9, 14, 15, 22, 24, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14580 10.33/10.61 c before 918.0 seconds: {0, 1, 2, 6, 8, 9, 14, 15, 22, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15208 10.33/10.61 c before 1062.0 seconds: {0, 1, 2, 3, 6, 8, 9, 14, 15, 22, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15995 10.33/10.61 c 10.33/10.61 c solver 1 10.33/10.61 c before 0.0 seconds: {} 0 10.33/10.61 c before 18.0 seconds: {0, 1, 2, 26, 27, 28, 31, 34, 35, 36, 37, 38, 39} 8106 10.33/10.61 c before 36.0 seconds: {0, 1, 2, 26, 27, 28, 30, 31, 34, 35, 36, 37, 38, 39} 8639 10.33/10.61 c before 54.0 seconds: {0, 1, 2, 6, 9, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 10630 10.33/10.61 c before 72.0 seconds: {0, 1, 2, 6, 9, 15, 22, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 11982 10.33/10.61 c before 108.0 seconds: {0, 1, 2, 4, 6, 8, 9, 15, 22, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 13493 10.33/10.61 c before 126.0 seconds: {0, 1, 2, 4, 6, 8, 9, 15, 16, 22, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 14167 10.33/10.61 c before 144.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 15, 16, 22, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 16210 10.33/10.61 c before 234.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 15, 16, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 16838 10.33/10.61 c before 270.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 15, 16, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 17564 10.33/10.61 c before 306.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 13, 15, 16, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 18290 10.33/10.61 c before 414.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 13, 15, 16, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 18918 10.33/10.61 c before 450.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 13, 14, 15, 16, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 19642 10.33/10.61 c before 468.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 15, 16, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 20368 10.33/10.61 c before 504.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 15, 16, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 21014 10.33/10.61 c before 630.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 21642 10.33/10.61 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 22369 10.33/10.61 c before 810.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 23660 10.33/10.61 c before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 24386 10.33/10.61 c before 1170.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, 34, 35, 36, 37, 38, 39} 25112 10.33/10.61 c 10.33/10.61 c solver 2 10.33/10.61 c before 0.0 seconds: {} 0 10.33/10.61 c before 18.0 seconds: {28, 34, 35, 36, 37, 38, 39} 3560 10.33/10.61 c 10.33/10.61 cTotal time: 125 10.33/10.61 c run abscon for 576.0 seconds {0, 1, 2, 6, 8, 9, 14, 15, 22, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13952 10.33/10.61 c run mistral for 1170.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, 34, 35, 36, 37, 38, 39} 25112 10.33/10.62 c run choco for 18.0 seconds {28, 34, 35, 36, 37, 38, 39} 3560 10.33/10.62 c Starting solver: HOME/cpHydra_k_40/solver/abscon 10.33/10.62 c On Instance: HOME/instance-1058003-1215112293.xml 10.33/10.62 c Running for: 576 seconds 591.07/593.91 c Starting solver: HOME/cpHydra_k_40/solver/mistral 591.07/593.91 c On Instance: HOME/instance-1058003-1215112293.xml 591.07/593.91 c Running for: 1170 seconds 1760.88/1767.65 c Starting solver: HOME/cpHydra_k_40/solver/choco 1760.88/1767.65 c On Instance: HOME/instance-1058003-1215112293.xml 1760.88/1767.65 c Running for: 18 seconds
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected) Got answer:
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058003-1215112293/watcher-1058003-1215112293 -o /tmp/evaluation-result-1058003-1215112293/solver-1058003-1215112293 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1058003-1215112293.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.91 1.97 1.99 4/72 20779 /proc/meminfo: memFree=1805736/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=0 /proc/20779/stat : 20779 (hydra) R 20777 20779 20250 0 -1 4194304 289 124 0 0 0 0 0 0 23 0 1 0 1990201826 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415141023 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/20779/statm: 1340 236 195 169 0 51 0 [pid=20781] ppid=20779 vsize=5360 CPUtime=0 /proc/20781/stat : 20781 (hydra) R 20779 20779 20250 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 1990201827 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415141023 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/20781/statm: 1340 236 195 169 0 51 0 [startup+0.0803279 s] /proc/loadavg: 1.91 1.97 1.99 4/72 20779 /proc/meminfo: memFree=1805736/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=0 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990201826 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101325 s] /proc/loadavg: 1.91 1.97 1.99 4/72 20779 /proc/meminfo: memFree=1805736/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=0 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990201826 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30135 s] /proc/loadavg: 1.91 1.97 1.99 4/72 20779 /proc/meminfo: memFree=1805736/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=0 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990201826 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701394 s] /proc/loadavg: 1.91 1.97 1.99 4/72 20779 /proc/meminfo: memFree=1805736/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=0 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990201826 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50149 s] /proc/loadavg: 1.91 1.97 1.99 3/74 20783 /proc/meminfo: memFree=1791576/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=0 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990201826 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 236 195 169 0 51 0 [pid=20783] ppid=20779 vsize=23620 CPUtime=1.46 /proc/20783/stat : 20783 (xsolve) R 20779 20779 20250 0 -1 4194304 5346 0 0 0 141 5 0 0 25 0 1 0 1990201827 24186880 5109 996147200 134512640 135239763 4294956176 18446744073709551615 4159732930 0 0 4096 0 0 0 0 17 1 0 0 /proc/20783/statm: 5905 5109 377 177 0 4808 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 28980 [startup+3.10166 s] /proc/loadavg: 1.91 1.97 1.99 3/74 20783 /proc/meminfo: memFree=1753368/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=0 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990201826 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 236 195 169 0 51 0 [pid=20783] ppid=20779 vsize=86552 CPUtime=3.03 /proc/20783/stat : 20783 (xsolve) R 20779 20779 20250 0 -1 4194304 21094 0 0 0 293 10 0 0 25 0 1 0 1990201827 88629248 20530 996147200 134512640 135239763 4294956176 18446744073709551615 135030883 0 0 4096 0 0 0 0 17 1 0 0 /proc/20783/statm: 21638 20530 431 177 0 20541 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 91912 [startup+6.3031 s] /proc/loadavg: 1.92 1.97 1.99 3/82 20795 /proc/meminfo: memFree=1795608/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=3.96 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 375 21690 0 0 0 0 384 12 18 0 1 0 1990201826 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 238 196 169 0 51 0 [pid=20787] ppid=20779 vsize=197004 CPUtime=2.22 /proc/20787/stat : 20787 (java) S 20779 20779 20250 0 -1 0 7019 0 1 0 217 5 0 0 18 0 9 0 1990202230 201732096 5880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20787/statm: 49251 5880 2541 9 0 43833 0 [pid=20787/tid=20788] ppid=20779 vsize=197004 CPUtime=1.78 /proc/20787/task/20788/stat : 20788 (java) R 20779 20779 20250 0 -1 64 2902 0 1 0 176 2 0 0 25 0 9 0 1990202231 201732096 5880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20789] ppid=20779 vsize=197004 CPUtime=0.27 /proc/20787/task/20789/stat : 20789 (java) S 20779 20779 20250 0 -1 64 2776 0 0 0 25 2 0 0 15 0 9 0 1990202232 201732096 5880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20790] ppid=20779 vsize=197004 CPUtime=0 /proc/20787/task/20790/stat : 20790 (java) S 20779 20779 20250 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990202233 201732096 5880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20791] ppid=20779 vsize=197004 CPUtime=0 /proc/20787/task/20791/stat : 20791 (java) S 20779 20779 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990202233 201732096 5880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20792] ppid=20779 vsize=197004 CPUtime=0 /proc/20787/task/20792/stat : 20792 (java) S 20779 20779 20250 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1990202235 201732096 5880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20793] ppid=20779 vsize=197004 CPUtime=0.15 /proc/20787/task/20793/stat : 20793 (java) S 20779 20779 20250 0 -1 64 616 0 0 0 15 0 0 0 16 0 9 0 1990202235 201732096 5880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20794] ppid=20779 vsize=197004 CPUtime=0 /proc/20787/task/20794/stat : 20794 (java) S 20779 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1990202235 201732096 5880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20795] ppid=20779 vsize=197004 CPUtime=0 /proc/20787/task/20795/stat : 20795 (java) S 20779 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990202235 201732096 5880 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) 202364 [startup+12.7027 s] /proc/loadavg: 1.93 1.97 1.99 3/94 20807 /proc/meminfo: memFree=1727928/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=3.96 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 375 21690 0 0 0 0 384 12 18 0 1 0 1990201826 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 238 196 169 0 51 0 [pid=20787] ppid=20779 vsize=197436 CPUtime=6.38 /proc/20787/stat : 20787 (java) S 20779 20779 20250 0 -1 0 13912 0 1 0 620 18 0 0 18 0 10 0 1990202230 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20787/statm: 49359 9477 2544 9 0 43941 0 [pid=20797] ppid=20787 vsize=5356 CPUtime=0 /proc/20797/stat : 20797 (abscon) S 20787 20779 20250 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1990202888 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20797/statm: 1339 237 196 169 0 50 0 [pid=20798] ppid=20797 vsize=655888 CPUtime=2.03 /proc/20798/stat : 20798 (java) S 20797 20779 20250 0 -1 0 17381 0 1 0 192 11 0 0 18 0 9 0 1990202889 671629312 16889 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20798/statm: 163972 16890 2006 9 0 158500 0 [pid=20798/tid=20800] ppid=20797 vsize=655888 CPUtime=1.66 /proc/20798/task/20800/stat : 20800 (java) R 20797 20779 20250 0 -1 64 12420 0 1 0 158 8 0 0 25 0 9 0 1990202890 671629312 16891 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20801] ppid=20797 vsize=655888 CPUtime=0.17 /proc/20798/task/20801/stat : 20801 (java) R 20797 20779 20250 0 -1 64 3784 0 0 0 16 1 0 0 16 0 9 0 1990202891 671629312 16893 996147200 134512640 134550740 4294955808 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20802] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20802/stat : 20802 (java) S 20797 20779 20250 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990202891 671629312 16895 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20803] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20803/stat : 20803 (java) S 20797 20779 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990202891 671629312 16896 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20804] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20804/stat : 20804 (java) S 20797 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1990202893 671629312 16898 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20805] ppid=20797 vsize=655888 CPUtime=0.16 /proc/20798/task/20805/stat : 20805 (java) S 20797 20779 20250 0 -1 64 637 0 0 0 16 0 0 0 17 0 9 0 1990202893 671629312 16900 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20806] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20806/stat : 20806 (java) S 20797 20779 20250 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1990202893 671629312 16901 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20807] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20807/stat : 20807 (java) S 20797 20779 20250 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990202893 671629312 16903 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20799] ppid=20797 vsize=7044 CPUtime=0 /proc/20799/stat : 20799 (translate) S 20797 20779 20250 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1990202889 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20799/statm: 1761 213 182 1 0 41 0 [pid=20787/tid=20788] ppid=20779 vsize=197436 CPUtime=4.97 /proc/20787/task/20788/stat : 20788 (java) S 20779 20779 20250 0 -1 64 3968 0 1 0 491 6 0 0 25 0 10 0 1990202231 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=20787/tid=20789] ppid=20779 vsize=197436 CPUtime=1.13 /proc/20787/task/20789/stat : 20789 (java) S 20779 20779 20250 0 -1 64 8473 0 0 0 103 10 0 0 16 0 10 0 1990202232 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20790] ppid=20779 vsize=197436 CPUtime=0 /proc/20787/task/20790/stat : 20790 (java) S 20779 20779 20250 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990202233 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20791] ppid=20779 vsize=197436 CPUtime=0 /proc/20787/task/20791/stat : 20791 (java) S 20779 20779 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990202233 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20792] ppid=20779 vsize=197436 CPUtime=0 /proc/20787/task/20792/stat : 20792 (java) S 20779 20779 20250 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1990202235 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20793] ppid=20779 vsize=197436 CPUtime=0.24 /proc/20787/task/20793/stat : 20793 (java) S 20779 20779 20250 0 -1 64 668 0 0 0 24 0 0 0 15 0 10 0 1990202235 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20794] ppid=20779 vsize=197436 CPUtime=0 /proc/20787/task/20794/stat : 20794 (java) S 20779 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1990202235 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20795] ppid=20779 vsize=197436 CPUtime=0 /proc/20787/task/20795/stat : 20795 (java) S 20779 20779 20250 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1990202235 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20796] ppid=20779 vsize=197436 CPUtime=0 /proc/20787/task/20796/stat : 20796 (java) S 20779 20779 20250 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1990202888 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 871084 [startup+25.5021 s] /proc/loadavg: 2.01 1.98 1.99 3/94 20807 /proc/meminfo: memFree=1645752/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=3.96 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 375 21690 0 0 0 0 384 12 18 0 1 0 1990201826 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 238 196 169 0 51 0 [pid=20787] ppid=20779 vsize=197436 CPUtime=6.38 /proc/20787/stat : 20787 (java) S 20779 20779 20250 0 -1 0 13934 0 1 0 620 18 0 0 18 0 10 0 1990202230 202174464 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20787/statm: 49359 9477 2544 9 0 43941 0 [pid=20797] ppid=20787 vsize=5356 CPUtime=0 /proc/20797/stat : 20797 (abscon) S 20787 20779 20250 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1990202888 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20797/statm: 1339 237 196 169 0 50 0 [pid=20798] ppid=20797 vsize=655888 CPUtime=14.77 /proc/20798/stat : 20798 (java) S 20797 20779 20250 0 -1 0 35030 0 1 0 1405 72 0 0 18 0 9 0 1990202889 671629312 34528 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20798/statm: 163972 34528 2007 9 0 158500 0 [pid=20798/tid=20800] ppid=20797 vsize=655888 CPUtime=13.72 /proc/20798/task/20800/stat : 20800 (java) R 20797 20779 20250 0 -1 64 12460 0 1 0 1310 62 0 0 25 0 9 0 1990202890 671629312 34528 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20801] ppid=20797 vsize=655888 CPUtime=0.76 /proc/20798/task/20801/stat : 20801 (java) S 20797 20779 20250 0 -1 64 21325 0 0 0 69 7 0 0 16 0 9 0 1990202891 671629312 34528 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20802] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20802/stat : 20802 (java) S 20797 20779 20250 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990202891 671629312 34528 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20803] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20803/stat : 20803 (java) S 20797 20779 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990202891 671629312 34528 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20804] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20804/stat : 20804 (java) S 20797 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1990202893 671629312 34528 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20805] ppid=20797 vsize=655888 CPUtime=0.25 /proc/20798/task/20805/stat : 20805 (java) S 20797 20779 20250 0 -1 64 700 0 0 0 25 0 0 0 16 0 9 0 1990202893 671629312 34528 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20806] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20806/stat : 20806 (java) S 20797 20779 20250 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1990202893 671629312 34528 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20798/tid=20807] ppid=20797 vsize=655888 CPUtime=0 /proc/20798/task/20807/stat : 20807 (java) S 20797 20779 20250 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990202893 671629312 34528 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20799] ppid=20797 vsize=7044 CPUtime=0 /proc/20799/stat : 20799 (translate) S 20797 20779 20250 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1990202889 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259415310418 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20799/statm: 1761 213 182 1 0 41 0 ################ # More data... # ################ /proc/20787/statm: 49440 9483 2545 9 0 44022 0 [pid=20984] ppid=20787 vsize=5356 CPUtime=0 /proc/20984/stat : 20984 (choco) S 20787 20779 20250 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1990378592 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20984/statm: 1339 238 197 169 0 50 0 [pid=20985] ppid=20984 vsize=655520 CPUtime=14.35 /proc/20985/stat : 20985 (java) S 20984 20779 20250 0 -1 0 30761 0 1 0 1418 17 0 0 18 0 9 0 1990378593 671252480 30281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20985/statm: 163880 30281 1925 9 0 158409 0 [pid=20985/tid=20986] ppid=20984 vsize=655520 CPUtime=13.07 /proc/20985/task/20986/stat : 20986 (java) R 20984 20779 20250 0 -1 64 12108 0 1 0 1300 7 0 0 25 0 9 0 1990378594 671252480 30281 996147200 134512640 134550740 4294955936 18446744073709551615 4126846839 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20987] ppid=20984 vsize=655520 CPUtime=0.96 /proc/20985/task/20987/stat : 20987 (java) S 20984 20779 20250 0 -1 64 17483 0 0 0 88 8 0 0 16 0 9 0 1990378595 671252480 30281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20988] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20988/stat : 20988 (java) S 20984 20779 20250 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1990378595 671252480 30281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20989] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20989/stat : 20989 (java) S 20984 20779 20250 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1990378595 671252480 30281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20990] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20990/stat : 20990 (java) S 20984 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990378597 671252480 30281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20991] ppid=20984 vsize=655520 CPUtime=0.28 /proc/20985/task/20991/stat : 20991 (java) S 20984 20779 20250 0 -1 64 616 0 0 0 28 0 0 0 15 0 9 0 1990378597 671252480 30281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20992] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20992/stat : 20992 (java) S 20984 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1990378597 671252480 30281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20993] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20993/stat : 20993 (java) S 20984 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990378597 671252480 30281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20788] ppid=20779 vsize=197760 CPUtime=1755.56 /proc/20787/task/20788/stat : 20788 (java) S 20779 20779 20250 0 -1 64 4123 110943 1 1 491 6 174896 163 16 0 10 0 1990202231 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=20787/tid=20789] ppid=20779 vsize=197760 CPUtime=1751.72 /proc/20787/task/20789/stat : 20789 (java) S 20779 20779 20250 0 -1 64 8526 110943 0 1 103 10 174896 163 16 0 10 0 1990202232 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20787/tid=20790] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20790/stat : 20790 (java) S 20779 20779 20250 0 -1 64 11 110943 0 1 0 0 174896 163 16 0 10 0 1990202233 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20791] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20791/stat : 20791 (java) S 20779 20779 20250 0 -1 64 5 110943 0 1 0 0 174896 163 16 0 10 0 1990202233 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20792] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20792/stat : 20792 (java) S 20779 20779 20250 0 -1 64 0 110943 0 1 0 0 174896 163 18 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20793] ppid=20779 vsize=197760 CPUtime=1750.83 /proc/20787/task/20793/stat : 20793 (java) S 20779 20779 20250 0 -1 64 701 110943 0 1 24 0 174896 163 16 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20787/tid=20794] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20794/stat : 20794 (java) S 20779 20779 20250 0 -1 64 1 110943 0 1 0 0 174896 163 19 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20795] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20795/stat : 20795 (java) S 20779 20779 20250 0 -1 64 43 110943 0 1 0 0 174896 163 15 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20983] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20983/stat : 20983 (java) S 20779 20779 20250 0 -1 64 51 110943 0 1 0 0 174896 163 16 0 10 0 1990378592 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1775.29 Current children cumulated vsize (KiB) 863996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1807.5 s] /proc/loadavg: 2.04 2.04 2.00 4/93 20995 /proc/meminfo: memFree=1578032/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=3.96 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 375 21690 0 0 0 0 384 12 18 0 1 0 1990201826 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 238 196 169 0 51 0 [pid=20787] ppid=20779 vsize=197760 CPUtime=1756.98 /proc/20787/stat : 20787 (java) S 20779 20779 20250 0 -1 0 14296 110943 1 1 620 19 174896 163 18 0 10 0 1990202230 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20787/statm: 49440 9483 2545 9 0 44022 0 [pid=20984] ppid=20787 vsize=5356 CPUtime=0 /proc/20984/stat : 20984 (choco) S 20787 20779 20250 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1990378592 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20984/statm: 1339 238 197 169 0 50 0 [pid=20985] ppid=20984 vsize=655520 CPUtime=39.06 /proc/20985/stat : 20985 (java) S 20984 20779 20250 0 -1 0 60117 0 1 0 3874 32 0 0 18 0 9 0 1990378593 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20985/statm: 163880 59591 1939 9 0 158409 0 [pid=20985/tid=20986] ppid=20984 vsize=655520 CPUtime=35.79 /proc/20985/task/20986/stat : 20986 (java) R 20984 20779 20250 0 -1 64 12257 0 1 0 3571 8 0 0 25 0 9 0 1990378594 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4127608736 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20987] ppid=20984 vsize=655520 CPUtime=2.73 /proc/20985/task/20987/stat : 20987 (java) S 20984 20779 20250 0 -1 64 46552 0 0 0 252 21 0 0 16 0 9 0 1990378595 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20988] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20988/stat : 20988 (java) S 20984 20779 20250 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1990378595 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20989] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20989/stat : 20989 (java) S 20984 20779 20250 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1990378595 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20990] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20990/stat : 20990 (java) S 20984 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990378597 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20991] ppid=20984 vsize=655520 CPUtime=0.5 /proc/20985/task/20991/stat : 20991 (java) S 20984 20779 20250 0 -1 64 754 0 0 0 49 1 0 0 16 0 9 0 1990378597 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20992] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20992/stat : 20992 (java) S 20984 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1990378597 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20993] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20993/stat : 20993 (java) S 20984 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990378597 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20788] ppid=20779 vsize=197760 CPUtime=1755.56 /proc/20787/task/20788/stat : 20788 (java) S 20779 20779 20250 0 -1 64 4123 110943 1 1 491 6 174896 163 16 0 10 0 1990202231 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=20787/tid=20789] ppid=20779 vsize=197760 CPUtime=1751.72 /proc/20787/task/20789/stat : 20789 (java) S 20779 20779 20250 0 -1 64 8526 110943 0 1 103 10 174896 163 16 0 10 0 1990202232 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20787/tid=20790] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20790/stat : 20790 (java) S 20779 20779 20250 0 -1 64 11 110943 0 1 0 0 174896 163 16 0 10 0 1990202233 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20791] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20791/stat : 20791 (java) S 20779 20779 20250 0 -1 64 5 110943 0 1 0 0 174896 163 16 0 10 0 1990202233 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20792] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20792/stat : 20792 (java) S 20779 20779 20250 0 -1 64 0 110943 0 1 0 0 174896 163 18 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20793] ppid=20779 vsize=197760 CPUtime=1750.83 /proc/20787/task/20793/stat : 20793 (java) S 20779 20779 20250 0 -1 64 701 110943 0 1 24 0 174896 163 16 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20787/tid=20794] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20794/stat : 20794 (java) S 20779 20779 20250 0 -1 64 1 110943 0 1 0 0 174896 163 19 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20795] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20795/stat : 20795 (java) S 20779 20779 20250 0 -1 64 43 110943 0 1 0 0 174896 163 15 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20983] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20983/stat : 20983 (java) S 20779 20779 20250 0 -1 64 51 110943 0 1 0 0 174896 163 16 0 10 0 1990378592 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 863996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1807.5 s] /proc/loadavg: 2.04 2.04 2.00 4/93 20995 /proc/meminfo: memFree=1578032/2055920 swapFree=4180096/4192956 [pid=20779] ppid=20777 vsize=5360 CPUtime=3.96 /proc/20779/stat : 20779 (hydra) S 20777 20779 20250 0 -1 4194304 375 21690 0 0 0 0 384 12 18 0 1 0 1990201826 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20779/statm: 1340 238 196 169 0 51 0 [pid=20787] ppid=20779 vsize=197760 CPUtime=1756.98 /proc/20787/stat : 20787 (java) S 20779 20779 20250 0 -1 0 14296 110943 1 1 620 19 174896 163 18 0 10 0 1990202230 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20787/statm: 49440 9483 2545 9 0 44022 0 [pid=20984] ppid=20787 vsize=5356 CPUtime=0 /proc/20984/stat : 20984 (choco) S 20787 20779 20250 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1990378592 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20984/statm: 1339 238 197 169 0 50 0 [pid=20985] ppid=20984 vsize=655520 CPUtime=39.06 /proc/20985/stat : 20985 (java) S 20984 20779 20250 0 -1 0 60117 0 1 0 3874 32 0 0 18 0 9 0 1990378593 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20985/statm: 163880 59591 1939 9 0 158409 0 [pid=20985/tid=20986] ppid=20984 vsize=655520 CPUtime=35.79 /proc/20985/task/20986/stat : 20986 (java) R 20984 20779 20250 0 -1 64 12257 0 1 0 3571 8 0 0 25 0 9 0 1990378594 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4127608736 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20987] ppid=20984 vsize=655520 CPUtime=2.73 /proc/20985/task/20987/stat : 20987 (java) S 20984 20779 20250 0 -1 64 46552 0 0 0 252 21 0 0 16 0 9 0 1990378595 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20988] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20988/stat : 20988 (java) S 20984 20779 20250 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1990378595 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20989] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20989/stat : 20989 (java) S 20984 20779 20250 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1990378595 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20990] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20990/stat : 20990 (java) S 20984 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990378597 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20991] ppid=20984 vsize=655520 CPUtime=0.5 /proc/20985/task/20991/stat : 20991 (java) S 20984 20779 20250 0 -1 64 754 0 0 0 49 1 0 0 16 0 9 0 1990378597 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20992] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20992/stat : 20992 (java) S 20984 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1990378597 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20985/tid=20993] ppid=20984 vsize=655520 CPUtime=0 /proc/20985/task/20993/stat : 20993 (java) S 20984 20779 20250 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990378597 671252480 59591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20788] ppid=20779 vsize=197760 CPUtime=1755.56 /proc/20787/task/20788/stat : 20788 (java) S 20779 20779 20250 0 -1 64 4123 110943 1 1 491 6 174896 163 16 0 10 0 1990202231 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=20787/tid=20789] ppid=20779 vsize=197760 CPUtime=1751.72 /proc/20787/task/20789/stat : 20789 (java) S 20779 20779 20250 0 -1 64 8526 110943 0 1 103 10 174896 163 16 0 10 0 1990202232 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20787/tid=20790] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20790/stat : 20790 (java) S 20779 20779 20250 0 -1 64 11 110943 0 1 0 0 174896 163 16 0 10 0 1990202233 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20791] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20791/stat : 20791 (java) S 20779 20779 20250 0 -1 64 5 110943 0 1 0 0 174896 163 16 0 10 0 1990202233 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20792] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20792/stat : 20792 (java) S 20779 20779 20250 0 -1 64 0 110943 0 1 0 0 174896 163 18 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20793] ppid=20779 vsize=197760 CPUtime=1750.83 /proc/20787/task/20793/stat : 20793 (java) S 20779 20779 20250 0 -1 64 701 110943 0 1 24 0 174896 163 16 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20787/tid=20794] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20794/stat : 20794 (java) S 20779 20779 20250 0 -1 64 1 110943 0 1 0 0 174896 163 19 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20795] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20795/stat : 20795 (java) S 20779 20779 20250 0 -1 64 43 110943 0 1 0 0 174896 163 15 0 10 0 1990202235 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20787/tid=20983] ppid=20779 vsize=197760 CPUtime=1750.59 /proc/20787/task/20983/stat : 20983 (java) S 20779 20779 20250 0 -1 64 51 110943 0 1 0 0 174896 163 16 0 10 0 1990378592 202506240 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 863996 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20779 and gives # childrusage.ru_utime.tv_sec=3 # childrusage.ru_utime.tv_usec=850414 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=129980 # CPU time returned by wait4() is 3.98039 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1807.53 CPU time (s): 1800 CPU user time (s): 1797.74 CPU system time (s): 2.26 CPU usage (%): 99.5831 Max. virtual memory (cumulated for all children) (KiB): 871088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.85041 system time used= 0.12998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22065 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32 involuntary context switches= 99 runsolver used 3.38748 second user time and 11.3553 second system time The end
Begin job on node42 at 2008-07-03 21:11:33 IDJOB=1058003 IDBENCH=54100 IDSOLVER=366 FILE ID=node42/1058003-1215112293 PBS_JOBID= 7877121 Free space on /tmp= 66524 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-1.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058003-1215112293/watcher-1058003-1215112293 -o /tmp/evaluation-result-1058003-1215112293/solver-1058003-1215112293 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1058003-1215112293.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 4d169279fa4e9bed6ceba6b2cb05fd73 RANDOM SEED=928459893 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: 1806152 kB Buffers: 5376 kB Cached: 100856 kB SwapCached: 6580 kB Active: 174912 kB Inactive: 20912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806152 kB SwapTotal: 4192956 kB SwapFree: 4180096 kB Dirty: 29636 kB Writeback: 0 kB Mapped: 97288 kB Slab: 38996 kB Committed_AS: 3574768 kB PageTables: 1960 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-03 21:41:43