Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 56.2075 | 56.9513 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 203502 |
CHECKS | 94414500 |
Name | csp/tdsp/ normalized-C2-2-15.xml |
MD5SUM | 7caca28b0e7a326e4c0f9138ac2e1ac3 |
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 | 5.17521 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 77 |
Number of constraints | 350 |
Maximum constraint arity | 6 |
Maximum domain size | 41 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 350 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.49/7.60 c CASE TO CLASSIFY: 7.49/7.60 c Case: 0 7.49/7.61 c 19 > 0.000000 | c 35 > 55.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.714300 | c 15 > 22.001200 | c 34 > 168.571000 | c 16 > 6.000000 | c 13 > 6.765810 | c 14 > 11.733400 | c 11 > 12.444800 | c 12 > 4.132160 | c 21 > 4.379710 | c 20 > 100.000000 | c 22 > 6.403120 | 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 > 5.643860 | c 10 > 12.514200 | c 1 > 4.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.258600 | c 6 > 11.574600 | c 32 > -1.000000 | c 5 > 15.760900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.49/7.62 c choco : 1801.0 7.49/7.62 c mistral : 1801.0 7.49/7.62 c abscon : 1801.0 7.49/7.62 c 7.49/7.62 c 7.49/7.69 c List of same ones: 40 7.49/7.69 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-42.xml 7.49/7.69 c 19 > 0.000000 | c 35 > 55.781200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.781200 | c 34 > 167.344000 | c 16 > 15.000000 | c 13 > 0.268520 | c 14 > 6.906890 | c 11 > 10.124100 | c 12 > 0.492428 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.016800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.721100 | c 6 > 9.103290 | c 32 > -1.000000 | c 5 > 12.115700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.49/7.70 c choco : 12.29 7.49/7.70 c mistral : 0.08 7.49/7.70 c abscon : 41.84 7.49/7.70 c 7.49/7.70 c 7.49/7.70 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-30.xml 7.49/7.70 c 19 > 0.000000 | c 35 > 57.031200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.342900 | c 34 > 171.094000 | c 16 > 14.000000 | c 13 > 0.068618 | c 14 > 6.727920 | c 11 > 10.209500 | c 12 > 0.407095 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.108500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.832890 | c 6 > 9.189820 | c 32 > -1.000000 | c 5 > 12.220100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.71 c choco : 51.8 7.58/7.71 c mistral : 0.09 7.58/7.71 c abscon : 4.82 7.58/7.71 c 7.58/7.71 c 7.58/7.71 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-24.xml 7.58/7.71 c 19 > 0.000000 | c 35 > 55.468800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.111500 | c 34 > 166.406000 | c 16 > 14.000000 | c 13 > -0.023684 | c 14 > 6.392320 | c 11 > 10.116300 | c 12 > 0.391451 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.007000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.714250 | c 6 > 9.092760 | c 32 > -1.000000 | c 5 > 12.101300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.72 c choco : 34.67 7.58/7.72 c mistral : 0.07 7.58/7.72 c abscon : 28.95 7.58/7.72 c 7.58/7.72 c 7.58/7.72 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-35.xml 7.58/7.72 c 19 > 0.000000 | c 35 > 56.718800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.536700 | c 34 > 170.156000 | c 16 > 17.000000 | c 13 > 0.146494 | c 14 > 7.066090 | c 11 > 10.434600 | c 12 > 0.388739 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.308300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.071460 | c 6 > 9.379380 | c 32 > -1.000000 | c 5 > 12.535800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.73 c choco : 10.61 7.58/7.73 c mistral : 0.11 7.58/7.73 c abscon : 5.1 7.58/7.73 c 7.58/7.73 c 7.58/7.73 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-31.xml 7.58/7.73 c 19 > 0.000000 | c 35 > 55.937500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.514200 | c 34 > 167.812000 | c 16 > 17.000000 | c 13 > 0.274392 | c 14 > 6.741470 | c 11 > 10.238400 | c 12 > 0.459432 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.159870 | c 10 > 10.139600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.876520 | c 6 > 9.216750 | c 32 > -1.000000 | c 5 > 12.308100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.74 c choco : 13.02 7.58/7.74 c mistral : 0.1 7.58/7.74 c abscon : 6.04 7.58/7.74 c 7.58/7.74 c 7.58/7.74 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-15.xml 7.58/7.74 c 19 > 0.000000 | c 35 > 56.093800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.860100 | c 34 > 168.281000 | c 16 > 18.000000 | c 13 > 0.204628 | c 14 > 7.199670 | c 11 > 10.430500 | c 12 > 0.419734 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.303800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.066090 | c 6 > 9.375040 | c 32 > -1.000000 | c 5 > 12.537700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.75 c choco : 10.9 7.58/7.75 c mistral : 0.11 7.58/7.75 c abscon : 6.3 7.58/7.75 c 7.58/7.75 c 7.58/7.75 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-21.xml 7.58/7.75 c 19 > 1.562500 | c 35 > 54.375000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.713400 | c 34 > 163.125000 | c 16 > 16.000000 | c 13 > 0.609884 | c 14 > 6.820180 | c 11 > 10.189800 | c 12 > 0.494924 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.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 > 7.149750 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.810570 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.225200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.76 c choco : 32.65 7.58/7.76 c mistral : 0.11 7.58/7.76 c abscon : 8.27 7.58/7.76 c 7.58/7.76 c 7.58/7.76 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-29.xml 7.58/7.76 c 19 > 0.000000 | c 35 > 57.343800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.086100 | c 34 > 172.031000 | c 16 > 16.000000 | c 13 > -0.057458 | c 14 > 6.409390 | c 11 > 10.129300 | c 12 > 0.391336 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.022400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.727920 | c 6 > 9.108520 | c 32 > -1.000000 | c 5 > 12.133500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.76 c choco : 1801.0 7.58/7.76 c mistral : 0.08 7.58/7.76 c abscon : 32.27 7.58/7.76 c 7.58/7.76 c 7.58/7.76 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-40.xml 7.58/7.76 c 19 > 3.125000 | c 35 > 53.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.167300 | c 34 > 161.250000 | c 16 > 16.000000 | c 13 > 1.878620 | c 14 > 7.098030 | c 11 > 10.182400 | c 12 > 0.749082 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.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 > 0.000000 | c 2 > 7.139550 | c 10 > 10.078200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > 9.154820 | c 32 > -1.000000 | c 5 > 12.221900 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.77 c choco : 17.85 7.58/7.77 c mistral : 0.12 7.58/7.77 c abscon : 6.92 7.58/7.77 c 7.58/7.77 c 7.58/7.77 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-26.xml 7.58/7.77 c 19 > 1.562500 | c 35 > 54.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.539600 | c 34 > 163.594000 | c 16 > 17.000000 | c 13 > 0.654081 | c 14 > 6.768180 | c 11 > 10.209500 | c 12 > 0.503074 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.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 > 7.149750 | c 10 > 10.107200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.839200 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.274100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.78 c choco : 14.45 7.58/7.78 c mistral : 0.08 7.58/7.78 c abscon : 74.2 7.58/7.78 c 7.58/7.78 c 7.58/7.78 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-17.xml 7.58/7.78 c 19 > 0.000000 | c 35 > 53.437500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.803700 | c 34 > 160.312000 | c 16 > 18.000000 | c 13 > 0.149812 | c 14 > 7.228820 | c 11 > 10.503800 | c 12 > 0.403065 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.159870 | c 6 > 9.451210 | c 32 > -1.000000 | c 5 > 12.656400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.79 c choco : 36.18 7.58/7.79 c mistral : 0.13 7.58/7.79 c abscon : 5.94 7.58/7.79 c 7.58/7.79 c 7.58/7.79 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-6.xml 7.58/7.79 c 19 > 1.562500 | c 35 > 60.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.694100 | c 34 > 180.000000 | c 16 > 14.000000 | c 13 > 0.084552 | c 14 > 6.727920 | c 11 > 10.189800 | c 12 > 0.444079 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.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 > 0.000000 | c 2 > 7.149750 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.810570 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.192900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.81 c choco : 20.41 7.65/7.81 c mistral : 0.09 7.65/7.81 c abscon : 35.64 7.65/7.81 c 7.65/7.81 c 7.65/7.81 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-4.xml 7.65/7.81 c 19 > 1.562500 | c 35 > 59.843800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.775800 | c 34 > 179.531000 | c 16 > 16.000000 | c 13 > 0.758195 | c 14 > 6.794420 | c 11 > 10.184900 | c 12 > 0.534513 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.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 > 0.000000 | c 2 > 7.149750 | c 10 > 10.082100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.804130 | c 6 > 9.162390 | c 32 > -1.000000 | c 5 > 12.206400 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.81 c choco : 17.14 7.65/7.81 c mistral : 0.1 7.65/7.81 c abscon : 7.25 7.65/7.81 c 7.65/7.81 c 7.65/7.81 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-25.xml 7.65/7.81 c 19 > 0.000000 | c 35 > 56.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.224600 | c 34 > 170.625000 | c 16 > 15.000000 | c 13 > 0.139135 | c 14 > -1.000000 | c 11 > 10.189800 | c 12 > 1.069920 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > 9.169930 | c 32 > -1.000000 | c 5 > 12.213700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.82 c choco : 1801.0 7.65/7.82 c mistral : 0.07 7.65/7.82 c abscon : 58.09 7.65/7.82 c 7.65/7.82 c 7.65/7.82 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-16.xml 7.65/7.82 c 19 > 0.000000 | c 35 > 54.062500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.998600 | c 34 > 162.188000 | c 16 > 15.000000 | c 13 > 0.216449 | c 14 > -1.000000 | c 11 > 10.207000 | c 12 > 1.141710 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.105900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.829720 | c 6 > 9.187350 | c 32 > -1.000000 | c 5 > 12.241700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.83 c choco : 3.65 7.65/7.83 c mistral : 0.06 7.65/7.83 c abscon : 3.12 7.65/7.83 c 7.65/7.83 c 7.65/7.83 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-32.xml 7.65/7.83 c 19 > 3.125000 | c 35 > 56.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.940300 | c 34 > 168.750000 | c 16 > 16.000000 | c 13 > 0.229432 | c 14 > -1.000000 | c 11 > 10.214300 | c 12 > 1.132750 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.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.584960 | c 2 > 7.118940 | c 10 > 10.113700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.854870 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.279000 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.84 c choco : 1801.0 7.65/7.84 c mistral : 0.08 7.65/7.84 c abscon : 3.32 7.65/7.84 c 7.65/7.84 c 7.65/7.84 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-34.xml 7.65/7.84 c 19 > 0.000000 | c 35 > 58.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.868100 | c 34 > 174.844000 | c 16 > 15.000000 | c 13 > 0.191895 | c 14 > -1.000000 | c 11 > 10.202100 | c 12 > 1.163650 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.100700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.823370 | c 6 > 9.182390 | c 32 > -1.000000 | c 5 > 12.218300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.85 c choco : 3.83 7.65/7.85 c mistral : 0.08 7.65/7.85 c abscon : 3.21 7.65/7.85 c 7.65/7.85 c 7.65/7.85 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-10.xml 7.65/7.85 c 19 > 0.000000 | c 35 > 60.937500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.260900 | c 34 > 182.812000 | c 16 > 17.000000 | c 13 > 3.616220 | c 14 > 7.247930 | c 11 > 10.202100 | c 12 > 1.253200 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.100700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.823370 | c 6 > 9.182390 | c 32 > -1.000000 | c 5 > 12.221600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.85 c choco : 1801.0 7.65/7.85 c mistral : 0.09 7.65/7.85 c abscon : 8.47 7.65/7.85 c 7.65/7.85 c 7.65/7.85 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-27.xml 7.65/7.85 c 19 > 0.000000 | c 35 > 60.625000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.466100 | c 34 > 181.875000 | c 16 > 16.000000 | c 13 > 0.068218 | c 14 > 6.781360 | c 11 > 10.231200 | c 12 > 0.415338 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.131900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.861090 | c 6 > 9.211890 | c 32 > -1.000000 | c 5 > 12.260900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.86 c choco : 14.05 7.65/7.86 c mistral : 0.09 7.65/7.86 c abscon : 6.38 7.65/7.86 c 7.65/7.86 c 7.65/7.86 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-9.xml 7.65/7.86 c 19 > 0.000000 | c 35 > 53.906200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.997900 | c 34 > 161.719000 | c 16 > 16.000000 | c 13 > 0.168345 | c 14 > -1.000000 | c 11 > 10.187400 | c 12 > 1.130060 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.084800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.804130 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.196300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.87 c choco : 10.7 7.65/7.87 c mistral : 0.07 7.65/7.87 c abscon : 3.28 7.65/7.87 c 7.65/7.87 c 7.65/7.87 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-5.xml 7.65/7.87 c 19 > 0.000000 | c 35 > 54.218800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.888000 | c 34 > 162.656000 | c 16 > 17.000000 | c 13 > 0.218287 | c 14 > -1.000000 | c 11 > 10.278400 | c 12 > 1.178420 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.182400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.921840 | c 6 > 9.259740 | c 32 > -1.000000 | c 5 > 12.361400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.87 c choco : 13.29 7.65/7.87 c mistral : 0.08 7.65/7.87 c abscon : 3.99 7.65/7.88 c 7.65/7.88 c 7.65/7.88 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-20.xml 7.65/7.88 c 19 > 0.000000 | c 35 > 54.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.074100 | c 34 > 163.594000 | c 16 > 18.000000 | c 13 > 0.153624 | c 14 > -1.000000 | c 11 > 10.290000 | c 12 > 1.150850 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.194800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 9.271460 | c 32 > -1.000000 | c 5 > 12.375600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.88 c choco : 14.84 7.65/7.88 c mistral : 0.07 7.65/7.88 c abscon : 3.77 7.65/7.88 c 7.65/7.88 c 7.65/7.88 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-10.xml 7.65/7.88 c 19 > 0.000000 | c 35 > 51.718800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.155800 | c 34 > 155.156000 | c 16 > 19.000000 | c 13 > 0.310330 | c 14 > 7.199670 | c 11 > 10.529400 | c 12 > 0.465630 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.411500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.192290 | c 6 > 9.477760 | c 32 > -1.000000 | c 5 > 12.711200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.89 c choco : 12.17 7.65/7.89 c mistral : 0.12 7.65/7.89 c abscon : 6.6 7.65/7.89 c 7.65/7.89 c 7.65/7.89 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-44.xml 7.65/7.89 c 19 > 3.125000 | c 35 > 58.906200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.886500 | c 34 > 176.719000 | c 16 > 15.000000 | c 13 > 0.153429 | c 14 > -1.000000 | c 11 > 10.144700 | c 12 > 1.129140 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.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 > 7.139550 | c 10 > 10.038900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.754890 | c 6 > 9.118940 | c 32 > -1.000000 | c 5 > 12.156400 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.65/7.89 c choco : 1801.0 7.65/7.89 c mistral : 0.06 7.65/7.89 c abscon : 5.75 7.65/7.89 c 7.65/7.89 c 7.65/7.89 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-12.xml 7.65/7.89 c 19 > 1.562500 | c 35 > 58.437500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 9.890260 | c 34 > 175.312000 | c 16 > 16.000000 | c 13 > 0.054065 | c 14 > -1.000000 | c 11 > 10.197200 | c 12 > 1.169110 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.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 > 7.149750 | c 10 > 10.095400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.820180 | c 6 > 9.174930 | c 32 > -1.000000 | c 5 > 12.236900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.90 c choco : 10.99 7.71/7.90 c mistral : 0.06 7.71/7.90 c abscon : 3.5 7.71/7.90 c 7.71/7.90 c 7.71/7.90 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-36.xml 7.71/7.90 c 19 > 3.125000 | c 35 > 53.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.826500 | c 34 > 159.844000 | c 16 > 15.000000 | c 13 > 0.206993 | c 14 > -1.000000 | c 11 > 10.139600 | c 12 > 1.128410 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.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 > 0.000000 | c 2 > 7.139550 | c 10 > 10.033400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.748190 | c 6 > 9.113740 | c 32 > -1.000000 | c 5 > 12.155100 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.90 c choco : 3.9 7.71/7.91 c mistral : 0.07 7.71/7.91 c abscon : 3.47 7.71/7.91 c 7.71/7.91 c 7.71/7.91 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-28.xml 7.71/7.91 c 19 > 1.562500 | c 35 > 61.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.930600 | c 34 > 184.219000 | c 16 > 16.000000 | c 13 > 0.302261 | c 14 > 6.845490 | c 11 > 10.207000 | c 12 > 0.475102 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.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 > 7.149750 | c 10 > 10.105900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.832890 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.241100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.91 c choco : 10.45 7.71/7.91 c mistral : 0.13 7.71/7.91 c abscon : 7.19 7.71/7.91 c 7.71/7.91 c 7.71/7.91 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-37.xml 7.71/7.91 c 19 > 0.000000 | c 35 > 61.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.196000 | c 34 > 184.219000 | c 16 > 17.000000 | c 13 > 0.030748 | c 14 > 6.507790 | c 11 > 10.199700 | c 12 > 0.403954 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.098000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.820180 | c 6 > 9.179910 | c 32 > -1.000000 | c 5 > 12.211900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.92 c choco : 1801.0 7.71/7.92 c mistral : 0.08 7.71/7.92 c abscon : 73.51 7.71/7.92 c 7.71/7.92 c 7.71/7.92 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-27.xml 7.71/7.92 c 19 > 0.000000 | c 35 > 51.093800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.078500 | c 34 > 153.281000 | c 16 > 20.000000 | c 13 > 0.164806 | c 14 > 7.339850 | c 11 > 10.568000 | c 12 > 0.420018 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.453300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.240790 | c 6 > 9.517670 | c 32 > -1.000000 | c 5 > 12.772100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.92 c choco : 25.29 7.71/7.92 c mistral : 0.15 7.71/7.92 c abscon : 6.78 7.71/7.92 c 7.71/7.92 c 7.71/7.92 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-38.xml 7.71/7.92 c 19 > 0.000000 | c 35 > 50.312500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.343200 | c 34 > 150.938000 | c 16 > 17.000000 | c 13 > 0.102914 | c 14 > 6.584960 | c 11 > 10.256200 | c 12 > 0.411790 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.159870 | c 10 > 10.158600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.900870 | c 6 > 9.233620 | c 32 > -1.000000 | c 5 > 12.346500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.93 c choco : 10.64 7.71/7.93 c mistral : 0.11 7.71/7.93 c abscon : 5.46 7.71/7.93 c 7.71/7.93 c 7.71/7.93 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-1.xml 7.71/7.93 c 19 > 0.000000 | c 35 > 50.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.482100 | c 34 > 150.000000 | c 16 > 17.000000 | c 13 > 0.280339 | c 14 > 7.383700 | c 11 > 10.497900 | c 12 > 0.453433 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.377200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.152280 | c 6 > 9.445010 | c 32 > -1.000000 | c 5 > 12.635500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.93 c choco : 9.34 7.71/7.93 c mistral : 0.15 7.71/7.93 c abscon : 6.23 7.71/7.93 c 7.71/7.93 c 7.71/7.93 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-13.xml 7.71/7.93 c 19 > 0.000000 | c 35 > 50.312500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.884400 | c 34 > 150.938000 | c 16 > 18.000000 | c 13 > 0.172016 | c 14 > 7.108520 | c 11 > 10.473700 | c 12 > 0.408173 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.350900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.121530 | c 6 > 9.419960 | c 32 > -1.000000 | c 5 > 12.606600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.94 c choco : 5.18 7.71/7.94 c mistral : 0.15 7.71/7.94 c abscon : 5.38 7.71/7.94 c 7.71/7.94 c 7.71/7.94 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-14.xml 7.71/7.94 c 19 > 1.562500 | c 35 > 60.781200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.232400 | c 34 > 182.344000 | c 16 > 14.000000 | c 13 > 0.220540 | c 14 > -1.000000 | c 11 > 10.066100 | c 12 > 1.154290 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.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 > 0.000000 | c 2 > 7.149750 | c 10 > 9.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.647460 | c 6 > 9.041660 | c 32 > -1.000000 | c 5 > 12.026900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.94 c choco : 3.78 7.71/7.95 c mistral : 0.06 7.71/7.95 c abscon : 3.56 7.71/7.95 c 7.71/7.95 c 7.71/7.95 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-34.xml 7.71/7.95 c 19 > 0.000000 | c 35 > 50.156200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.809000 | c 34 > 150.469000 | c 16 > 18.000000 | c 13 > 0.196089 | c 14 > 7.139550 | c 11 > 10.525500 | c 12 > 0.412589 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.407300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.187350 | c 6 > 9.473710 | c 32 > -1.000000 | c 5 > 12.690400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.95 c choco : 14.41 7.71/7.95 c mistral : 0.13 7.71/7.95 c abscon : 8.32 7.71/7.95 c 7.71/7.95 c 7.71/7.95 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-18.xml 7.71/7.95 c 19 > 0.000000 | c 35 > 58.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 4.643860 | c 34 > 174.844000 | c 16 > 16.000000 | c 13 > 0.068442 | c 14 > -1.000000 | c 11 > 10.118900 | c 12 > 1.158930 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.009800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.717680 | c 6 > 9.095400 | c 32 > -1.000000 | c 5 > 12.122500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.96 c choco : 3.49 7.71/7.96 c mistral : 0.07 7.71/7.96 c abscon : 4.13 7.71/7.96 c 7.71/7.96 c 7.71/7.96 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-33.xml 7.71/7.96 c 19 > 0.000000 | c 35 > 51.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 7.515700 | c 34 > 155.625000 | c 16 > 16.000000 | c 13 > 0.036607 | c 14 > -1.000000 | c 11 > 10.226400 | c 12 > 1.171800 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.126700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.854870 | c 6 > 9.207010 | c 32 > -1.000000 | c 5 > 12.284800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.97 c choco : 3.81 7.71/7.97 c mistral : 0.06 7.71/7.97 c abscon : 3.13 7.71/7.97 c 7.71/7.97 c 7.71/7.97 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-39.xml 7.71/7.97 c 19 > 0.000000 | c 35 > 61.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.030000 | c 34 > 185.625000 | c 16 > 14.000000 | c 13 > 0.170768 | c 14 > -1.000000 | c 11 > 10.194800 | c 12 > 1.107310 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.092800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.813780 | c 6 > 9.174930 | c 32 > -1.000000 | c 5 > 12.198400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.97 c choco : 37.36 7.71/7.97 c mistral : 0.07 7.71/7.97 c abscon : 4.18 7.71/7.97 c 7.71/7.97 c 7.71/7.97 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-45.xml 7.71/7.97 c 19 > 0.000000 | c 35 > 63.125000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.417300 | c 34 > 189.375000 | c 16 > 15.000000 | c 13 > 0.465477 | c 14 > 6.857980 | c 11 > 10.113700 | c 12 > 0.470281 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.169930 | c 10 > 10.005600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.707360 | c 6 > 9.092760 | c 32 > -1.000000 | c 5 > 12.084800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.98 c choco : 34.18 7.71/7.98 c mistral : 0.08 7.71/7.98 c abscon : 5.48 7.71/7.98 c 7.71/7.98 c 7.71/7.98 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-46.xml 7.71/7.98 c 19 > 1.562500 | c 35 > 51.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.164900 | c 34 > 154.219000 | c 16 > 19.000000 | c 13 > 0.056922 | c 14 > -1.000000 | c 11 > 10.337600 | c 12 > 1.183980 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.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 > 7.149750 | c 10 > 10.245600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.000000 | c 6 > 9.317410 | c 32 > -1.000000 | c 5 > 12.477800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.99 c choco : 4.81 7.71/7.99 c mistral : 0.07 7.71/7.99 c abscon : 3.08 7.71/7.99 c 7.71/7.99 c 7.71/7.99 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-47.xml 7.71/7.99 c 19 > 0.000000 | c 35 > 49.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.884200 | c 34 > 148.594000 | c 16 > 19.000000 | c 13 > 0.197185 | c 14 > 7.285400 | c 11 > 10.545000 | c 12 > 0.414313 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.428400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.211890 | c 6 > 9.493860 | c 32 > -1.000000 | c 5 > 12.722000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.71/7.99 c choco : 7.16 7.71/7.99 c mistral : 0.13 7.71/7.99 c abscon : 7.53 7.71/7.99 c 7.71/7.99 c 7.71/8.00 c Length: 40 7.71/8.00 c 31.688960264974366 31.694101269093444 31.833356126626395 32.31354216057716 32.34602818917198 32.491462587076626 32.519568452688176 32.55002595463531 32.751305918118504 32.79726612923457 33.5910634302433 33.84787475814063 34.03659342987242 34.26275243376727 34.853311715111396 34.905451294667195 34.93663943795002 34.94711163201618 35.06905062797437 35.24132901810777 35.33305863201386 35.453592207827064 35.58707350407026 35.743557422330824 35.77433426706816 35.83098936080176 36.09220802723996 36.55925665310948 36.796104311976826 37.31734242197341 37.3398657034418 37.35267156359376 37.39504234993189 37.58949027410697 37.696568940115796 38.247877278044214 38.51953455584016 38.67578346399889 38.84995744187172 38.9029821045371 7.77/8.00 c 7.77/8.00 c 1.0 0.9992878669964376 0.980376778335349 0.9203197512331446 0.91652135296146 0.8998939807429479 0.8967499829205934 0.8933676339055455 0.8716410727193692 0.8668274185176469 0.7913474020748076 0.7696650850355581 0.7544741821575017 0.7370411650041865 0.6951014034851148 0.6916267617890977 0.6895649025829262 0.6888753363067968 0.6809463314743494 0.6700501693164178 0.664389572255452 0.657095303535072 0.6492021369878411 0.6401868624305275 0.6384431469306888 0.6352579678099959 0.6209739540199177 0.5969738386256532 0.585498312901443 0.5617345351769112 0.5607510780012213 0.5601934565776454 0.5583563322483569 0.550077648309454 0.5456227075427504 0.5237823181204232 0.5136510706728754 0.507999476084728 0.501844333652869 0.5 7.77/8.01 c 7.77/8.01 c solver 0 7.77/8.01 c before 0.0 seconds: {} 0 7.77/8.01 c before 18.0 seconds: {1, 3, 4, 5, 6, 8, 10, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22141 7.77/8.01 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24784 7.77/8.01 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25784 7.77/8.01 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26521 7.77/8.01 c before 90.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} 27985 7.77/8.01 c 7.77/8.01 c solver 1 7.77/8.01 c before 0.0 seconds: {} 0 7.77/8.01 c before 18.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} 27985 7.77/8.01 c 7.77/8.01 c solver 2 7.77/8.01 c before 0.0 seconds: {} 0 7.77/8.01 c before 18.0 seconds: {0, 3, 4, 5, 8, 9, 12, 14, 16, 18, 19, 20, 21, 22, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 38, 39} 17693 7.77/8.01 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21433 7.77/8.01 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23737 7.77/8.01 c 7.77/8.01 cTotal time: 9 7.77/8.01 c 162.0 seconds unused 7.77/8.01 c 0 c 0 c 6 7.77/8.01 c 0 c 0 c 6 7.77/8.01 c 0 c 0 c 0 7.77/8.01 c is solver0 dominated by: 7.77/8.01 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false) 7.77/8.01 c is dominated? true 7.77/8.01 c 7.77/8.01 c is solver1 dominated by: 7.77/8.01 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true) 7.77/8.01 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false) 7.77/8.01 c is dominated? false 7.77/8.01 c 7.77/8.01 c is solver2 dominated by: 7.77/8.01 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true) 7.77/8.01 c is dominated? true 7.77/8.01 c 7.77/8.01 c Number of non-dominated solvers: 1 7.77/8.01 c remove dominated solvers 7.77/8.01 c solver 1 is not dominated by another solver 7.77/8.01 c solver 2 is dominated by another solver 7.77/8.01 c solver 0 is dominated by another solver 7.77/8.01 c 7.77/8.01 c solver 0: 0.0 7.77/8.01 c 7.77/8.01 c solver 1: 18.0 7.77/8.01 c 7.77/8.01 c+ 1/1 of 99 7.77/8.01 c 7.77/8.01 c solver 2: 0.0 7.77/8.02 c do not run abscon 7.77/8.02 c run mistral for 1800.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} 27985 7.77/8.02 c do not run choco 7.77/8.02 c Starting solver: HOME/cpHydra_k_40/solver/mistral 7.77/8.02 c On Instance: HOME/instance-1064602-1215142741.xml 7.77/8.02 c Running for: 1800 seconds 56.07/56.89 c mistral-prime version 1.313 56.07/56.89 s SATISFIABLE 56.07/56.89 v 15 40 38 0 0 27 6 1 9 4 1 0 0 0 0 10 1 0 8 1 34 4 0 37 0 0 9 11 0 19 6 1 37 8 1 29 4 0 36 8 0 23 0 1 35 0 0 30 9 0 4 0 1 19 4 1 34 8 0 19 9 1 4 4 1 14 11 1 15 0 1 35 6 1 7 4 0 56.07/56.89 d CHECKS 94414535 56.07/56.89 d ASSIGNMENTS 203502
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-1064602-1215142741/watcher-1064602-1215142741 -o /tmp/evaluation-result-1064602-1215142741/solver-1064602-1215142741 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1064602-1215142741.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.99 1.98 1.99 4/74 27296 /proc/meminfo: memFree=1694016/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=18572 CPUtime=0 /proc/27296/stat : 27296 (runsolver) R 27294 27296 25978 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1993244490 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 251255123239 0 0 4096 24578 0 0 0 17 1 0 0 /proc/27296/statm: 4643 292 257 25 0 2626 0 [startup+0.062442 s] /proc/loadavg: 1.99 1.98 1.99 4/74 27296 /proc/meminfo: memFree=1694016/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=0 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993244490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101444 s] /proc/loadavg: 1.99 1.98 1.99 4/74 27296 /proc/meminfo: memFree=1694016/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=0 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993244490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301462 s] /proc/loadavg: 1.99 1.98 1.99 4/74 27296 /proc/meminfo: memFree=1694016/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=0 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993244490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701507 s] /proc/loadavg: 1.99 1.98 1.99 4/74 27296 /proc/meminfo: memFree=1694016/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=0 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993244490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50159 s] /proc/loadavg: 1.99 1.98 1.99 3/76 27300 /proc/meminfo: memFree=1687344/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=0 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993244490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 236 195 169 0 51 0 [pid=27300] ppid=27296 vsize=10760 CPUtime=1.47 /proc/27300/stat : 27300 (xsolve) R 27296 27296 25978 0 -1 4194304 2055 0 0 0 146 1 0 0 25 0 1 0 1993244491 11018240 2014 996147200 134512640 135239763 4294956176 18446744073709551615 135096170 0 0 4096 0 0 0 0 17 1 0 0 /proc/27300/statm: 2690 2014 436 177 0 1593 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 16120 [startup+3.10277 s] /proc/loadavg: 1.99 1.98 1.99 4/84 27312 /proc/meminfo: memFree=1687024/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=1.51 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 375 2651 0 0 0 0 150 1 18 0 1 0 1993244490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 238 196 169 0 51 0 [pid=27304] ppid=27296 vsize=197108 CPUtime=1.53 /proc/27304/stat : 27304 (java) S 27296 27296 25978 0 -1 0 5021 0 1 0 148 5 0 0 18 0 9 0 1993244644 201838592 4214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27304/statm: 49277 4214 1679 9 0 43859 0 [pid=27304/tid=27305] ppid=27296 vsize=197108 CPUtime=1.22 /proc/27304/task/27305/stat : 27305 (java) R 27296 27296 25978 0 -1 64 2733 0 1 0 120 2 0 0 25 0 9 0 1993244645 201838592 4214 996147200 134512640 134550740 4294955968 18446744073709551615 4126431477 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27306] ppid=27296 vsize=197108 CPUtime=0.14 /proc/27304/task/27306/stat : 27306 (java) S 27296 27296 25978 0 -1 64 948 0 0 0 13 1 0 0 16 0 9 0 1993244647 201838592 4214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27307] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27307/stat : 27307 (java) S 27296 27296 25978 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993244647 201838592 4214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27308] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27308/stat : 27308 (java) S 27296 27296 25978 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993244647 201838592 4214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27309] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27309/stat : 27309 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993244649 201838592 4214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27310] ppid=27296 vsize=197108 CPUtime=0.14 /proc/27304/task/27310/stat : 27310 (java) S 27296 27296 25978 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 1993244650 201838592 4214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27311] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27311/stat : 27311 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993244650 201838592 4214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27312] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27312/stat : 27312 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993244650 201838592 4214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202468 [startup+6.30112 s] /proc/loadavg: 2.07 2.00 2.00 3/84 27312 /proc/meminfo: memFree=1673968/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=1.51 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 375 2651 0 0 0 0 150 1 18 0 1 0 1993244490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 238 196 169 0 51 0 [pid=27304] ppid=27296 vsize=197108 CPUtime=4.69 /proc/27304/stat : 27304 (java) S 27296 27296 25978 0 -1 0 9884 0 1 0 457 12 0 0 18 0 9 0 1993244644 201838592 8200 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27304/statm: 49277 8200 2541 9 0 43859 0 [pid=27304/tid=27305] ppid=27296 vsize=197108 CPUtime=3.72 /proc/27304/task/27305/stat : 27305 (java) R 27296 27296 25978 0 -1 64 3526 0 1 0 368 4 0 0 25 0 9 0 1993244645 201838592 8200 996147200 134512640 134550740 4294955968 18446744073709551615 4126374205 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27306] ppid=27296 vsize=197108 CPUtime=0.78 /proc/27304/task/27306/stat : 27306 (java) S 27296 27296 25978 0 -1 64 5003 0 0 0 71 7 0 0 16 0 9 0 1993244647 201838592 8200 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27307] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27307/stat : 27307 (java) S 27296 27296 25978 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993244647 201838592 8200 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27308] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27308/stat : 27308 (java) S 27296 27296 25978 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993244647 201838592 8200 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27309] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27309/stat : 27309 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993244649 201838592 8200 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27310] ppid=27296 vsize=197108 CPUtime=0.17 /proc/27304/task/27310/stat : 27310 (java) S 27296 27296 25978 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1993244650 201838592 8200 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27311] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27311/stat : 27311 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993244650 201838592 8200 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27312] ppid=27296 vsize=197108 CPUtime=0 /proc/27304/task/27312/stat : 27312 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993244650 201838592 8200 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) 202468 [startup+12.7018 s] /proc/loadavg: 2.07 2.00 2.00 3/87 27315 /proc/meminfo: memFree=1658712/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=1.51 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 375 2651 0 0 0 0 150 1 18 0 1 0 1993244490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 238 196 169 0 51 0 [pid=27304] ppid=27296 vsize=197432 CPUtime=6.29 /proc/27304/stat : 27304 (java) S 27296 27296 25978 0 -1 0 13934 0 1 0 610 19 0 0 18 0 10 0 1993244644 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27304/statm: 49358 9477 2544 9 0 43940 0 [pid=27314] ppid=27304 vsize=5356 CPUtime=0 /proc/27314/stat : 27314 (mistral) S 27304 27296 25978 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993245293 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251255120708 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27314/statm: 1339 236 196 169 0 50 0 [pid=27315] ppid=27314 vsize=10760 CPUtime=4.61 /proc/27315/stat : 27315 (xsolve) R 27314 27296 25978 0 -1 4194304 2032 0 0 0 461 0 0 0 25 0 1 0 1993245294 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 135073835 0 4 0 0 0 0 0 17 1 0 0 /proc/27315/statm: 2690 1996 419 177 0 1593 0 [pid=27304/tid=27305] ppid=27296 vsize=197432 CPUtime=4.91 /proc/27304/task/27305/stat : 27305 (java) S 27296 27296 25978 0 -1 64 3967 0 1 0 484 7 0 0 23 0 10 0 1993244645 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27304/tid=27306] ppid=27296 vsize=197432 CPUtime=1.12 /proc/27304/task/27306/stat : 27306 (java) S 27296 27296 25978 0 -1 64 8475 0 0 0 102 10 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27307] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27307/stat : 27307 (java) S 27296 27296 25978 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27308] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27308/stat : 27308 (java) S 27296 27296 25978 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27309] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27309/stat : 27309 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993244649 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27310] ppid=27296 vsize=197432 CPUtime=0.24 /proc/27304/task/27310/stat : 27310 (java) S 27296 27296 25978 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27311] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27311/stat : 27311 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27312] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27312/stat : 27312 (java) R 27296 27296 25978 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27313] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27313/stat : 27313 (java) S 27296 27296 25978 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993245293 202170368 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.41 Current children cumulated vsize (KiB) 218908 [startup+25.5022 s] /proc/loadavg: 2.05 2.00 2.00 3/87 27315 /proc/meminfo: memFree=1658840/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=1.51 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 375 2651 0 0 0 0 150 1 18 0 1 0 1993244490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 238 196 169 0 51 0 [pid=27304] ppid=27296 vsize=197432 CPUtime=6.29 /proc/27304/stat : 27304 (java) S 27296 27296 25978 0 -1 0 13934 0 1 0 610 19 0 0 18 0 10 0 1993244644 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27304/statm: 49358 9477 2544 9 0 43940 0 [pid=27314] ppid=27304 vsize=5356 CPUtime=0 /proc/27314/stat : 27314 (mistral) S 27304 27296 25978 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993245293 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251255120708 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27314/statm: 1339 236 196 169 0 50 0 [pid=27315] ppid=27314 vsize=10760 CPUtime=17.29 /proc/27315/stat : 27315 (xsolve) R 27314 27296 25978 0 -1 4194304 2032 0 0 0 1729 0 0 0 25 0 1 0 1993245294 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 135095046 0 4 0 0 0 0 0 17 1 0 0 /proc/27315/statm: 2690 1996 419 177 0 1593 0 [pid=27304/tid=27305] ppid=27296 vsize=197432 CPUtime=4.91 /proc/27304/task/27305/stat : 27305 (java) S 27296 27296 25978 0 -1 64 3967 0 1 0 484 7 0 0 23 0 10 0 1993244645 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27304/tid=27306] ppid=27296 vsize=197432 CPUtime=1.12 /proc/27304/task/27306/stat : 27306 (java) S 27296 27296 25978 0 -1 64 8475 0 0 0 102 10 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27307] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27307/stat : 27307 (java) S 27296 27296 25978 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27308] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27308/stat : 27308 (java) S 27296 27296 25978 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27309] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27309/stat : 27309 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993244649 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27310] ppid=27296 vsize=197432 CPUtime=0.24 /proc/27304/task/27310/stat : 27310 (java) S 27296 27296 25978 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27311] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27311/stat : 27311 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27312] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27312/stat : 27312 (java) S 27296 27296 25978 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27313] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27313/stat : 27313 (java) S 27296 27296 25978 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993245293 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.09 Current children cumulated vsize (KiB) 218908 [startup+51.103 s] /proc/loadavg: 2.03 2.00 2.00 3/87 27315 /proc/meminfo: memFree=1658712/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=1.51 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 375 2651 0 0 0 0 150 1 18 0 1 0 1993244490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 238 196 169 0 51 0 [pid=27304] ppid=27296 vsize=197432 CPUtime=6.29 /proc/27304/stat : 27304 (java) S 27296 27296 25978 0 -1 0 13934 0 1 0 610 19 0 0 18 0 10 0 1993244644 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27304/statm: 49358 9477 2544 9 0 43940 0 [pid=27314] ppid=27304 vsize=5356 CPUtime=0 /proc/27314/stat : 27314 (mistral) S 27304 27296 25978 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993245293 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251255120708 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27314/statm: 1339 236 196 169 0 50 0 [pid=27315] ppid=27314 vsize=10760 CPUtime=42.63 /proc/27315/stat : 27315 (xsolve) R 27314 27296 25978 0 -1 4194304 2032 0 0 0 4262 1 0 0 25 0 1 0 1993245294 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 1 0 0 /proc/27315/statm: 2690 1996 419 177 0 1593 0 [pid=27304/tid=27305] ppid=27296 vsize=197432 CPUtime=4.91 /proc/27304/task/27305/stat : 27305 (java) S 27296 27296 25978 0 -1 64 3967 0 1 0 484 7 0 0 23 0 10 0 1993244645 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27304/tid=27306] ppid=27296 vsize=197432 CPUtime=1.12 /proc/27304/task/27306/stat : 27306 (java) S 27296 27296 25978 0 -1 64 8475 0 0 0 102 10 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27307] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27307/stat : 27307 (java) S 27296 27296 25978 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27308] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27308/stat : 27308 (java) S 27296 27296 25978 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27309] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27309/stat : 27309 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993244649 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27310] ppid=27296 vsize=197432 CPUtime=0.24 /proc/27304/task/27310/stat : 27310 (java) S 27296 27296 25978 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27311] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27311/stat : 27311 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27312] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27312/stat : 27312 (java) S 27296 27296 25978 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27313] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27313/stat : 27313 (java) S 27296 27296 25978 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993245293 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.43 Current children cumulated vsize (KiB) 218908 Solver just ended. Dumping a history of the last processes samples [startup+54.3024 s] /proc/loadavg: 2.03 2.00 2.00 3/87 27315 /proc/meminfo: memFree=1658776/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=1.51 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 375 2651 0 0 0 0 150 1 18 0 1 0 1993244490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 238 196 169 0 51 0 [pid=27304] ppid=27296 vsize=197432 CPUtime=6.29 /proc/27304/stat : 27304 (java) S 27296 27296 25978 0 -1 0 13934 0 1 0 610 19 0 0 18 0 10 0 1993244644 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27304/statm: 49358 9477 2544 9 0 43940 0 [pid=27314] ppid=27304 vsize=5356 CPUtime=0 /proc/27314/stat : 27314 (mistral) S 27304 27296 25978 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993245293 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251255120708 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27314/statm: 1339 236 196 169 0 50 0 [pid=27315] ppid=27314 vsize=10760 CPUtime=45.8 /proc/27315/stat : 27315 (xsolve) R 27314 27296 25978 0 -1 4194304 2032 0 0 0 4579 1 0 0 25 0 1 0 1993245294 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 134803647 0 4 0 0 0 0 0 17 1 0 0 /proc/27315/statm: 2690 1996 419 177 0 1593 0 [pid=27304/tid=27305] ppid=27296 vsize=197432 CPUtime=4.91 /proc/27304/task/27305/stat : 27305 (java) S 27296 27296 25978 0 -1 64 3967 0 1 0 484 7 0 0 23 0 10 0 1993244645 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27304/tid=27306] ppid=27296 vsize=197432 CPUtime=1.12 /proc/27304/task/27306/stat : 27306 (java) S 27296 27296 25978 0 -1 64 8475 0 0 0 102 10 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27307] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27307/stat : 27307 (java) S 27296 27296 25978 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27308] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27308/stat : 27308 (java) S 27296 27296 25978 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27309] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27309/stat : 27309 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993244649 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27310] ppid=27296 vsize=197432 CPUtime=0.24 /proc/27304/task/27310/stat : 27310 (java) S 27296 27296 25978 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27311] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27311/stat : 27311 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27312] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27312/stat : 27312 (java) S 27296 27296 25978 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27313] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27313/stat : 27313 (java) S 27296 27296 25978 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993245293 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 53.6 Current children cumulated vsize (KiB) 218908 [startup+55.9015 s] /proc/loadavg: 2.03 2.00 2.00 3/87 27315 /proc/meminfo: memFree=1658776/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=1.51 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 375 2651 0 0 0 0 150 1 18 0 1 0 1993244490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 238 196 169 0 51 0 [pid=27304] ppid=27296 vsize=197432 CPUtime=6.29 /proc/27304/stat : 27304 (java) S 27296 27296 25978 0 -1 0 13934 0 1 0 610 19 0 0 18 0 10 0 1993244644 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27304/statm: 49358 9477 2544 9 0 43940 0 [pid=27314] ppid=27304 vsize=5356 CPUtime=0 /proc/27314/stat : 27314 (mistral) S 27304 27296 25978 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993245293 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251255120708 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27314/statm: 1339 236 196 169 0 50 0 [pid=27315] ppid=27314 vsize=10760 CPUtime=47.38 /proc/27315/stat : 27315 (xsolve) R 27314 27296 25978 0 -1 4194304 2032 0 0 0 4737 1 0 0 25 0 1 0 1993245294 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 135074150 0 4 0 0 0 0 0 17 1 0 0 /proc/27315/statm: 2690 1996 419 177 0 1593 0 [pid=27304/tid=27305] ppid=27296 vsize=197432 CPUtime=4.91 /proc/27304/task/27305/stat : 27305 (java) S 27296 27296 25978 0 -1 64 3967 0 1 0 484 7 0 0 23 0 10 0 1993244645 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27304/tid=27306] ppid=27296 vsize=197432 CPUtime=1.12 /proc/27304/task/27306/stat : 27306 (java) S 27296 27296 25978 0 -1 64 8475 0 0 0 102 10 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27307] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27307/stat : 27307 (java) S 27296 27296 25978 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27308] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27308/stat : 27308 (java) S 27296 27296 25978 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27309] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27309/stat : 27309 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993244649 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27310] ppid=27296 vsize=197432 CPUtime=0.24 /proc/27304/task/27310/stat : 27310 (java) S 27296 27296 25978 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27311] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27311/stat : 27311 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27312] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27312/stat : 27312 (java) S 27296 27296 25978 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27313] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27313/stat : 27313 (java) S 27296 27296 25978 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993245293 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 55.18 Current children cumulated vsize (KiB) 218908 [startup+56.7016 s] /proc/loadavg: 2.03 2.00 2.00 3/87 27315 /proc/meminfo: memFree=1658776/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=1.51 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 375 2651 0 0 0 0 150 1 18 0 1 0 1993244490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 238 196 169 0 51 0 [pid=27304] ppid=27296 vsize=197432 CPUtime=6.29 /proc/27304/stat : 27304 (java) S 27296 27296 25978 0 -1 0 13934 0 1 0 610 19 0 0 18 0 10 0 1993244644 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27304/statm: 49358 9477 2544 9 0 43940 0 [pid=27314] ppid=27304 vsize=5356 CPUtime=0 /proc/27314/stat : 27314 (mistral) S 27304 27296 25978 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993245293 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251255120708 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27314/statm: 1339 236 196 169 0 50 0 [pid=27315] ppid=27314 vsize=10760 CPUtime=48.17 /proc/27315/stat : 27315 (xsolve) R 27314 27296 25978 0 -1 4194304 2032 0 0 0 4816 1 0 0 25 0 1 0 1993245294 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 135031215 0 4 0 0 0 0 0 17 1 0 0 /proc/27315/statm: 2690 1996 419 177 0 1593 0 [pid=27304/tid=27305] ppid=27296 vsize=197432 CPUtime=4.91 /proc/27304/task/27305/stat : 27305 (java) S 27296 27296 25978 0 -1 64 3967 0 1 0 484 7 0 0 23 0 10 0 1993244645 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27304/tid=27306] ppid=27296 vsize=197432 CPUtime=1.12 /proc/27304/task/27306/stat : 27306 (java) S 27296 27296 25978 0 -1 64 8475 0 0 0 102 10 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27307] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27307/stat : 27307 (java) S 27296 27296 25978 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27308] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27308/stat : 27308 (java) S 27296 27296 25978 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993244647 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27309] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27309/stat : 27309 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993244649 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27310] ppid=27296 vsize=197432 CPUtime=0.24 /proc/27304/task/27310/stat : 27310 (java) S 27296 27296 25978 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27311] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27311/stat : 27311 (java) S 27296 27296 25978 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27312] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27312/stat : 27312 (java) S 27296 27296 25978 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1993244650 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27313] ppid=27296 vsize=197432 CPUtime=0 /proc/27304/task/27313/stat : 27313 (java) S 27296 27296 25978 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993245293 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 55.97 Current children cumulated vsize (KiB) 218908 [startup+56.9017 s] /proc/loadavg: 2.03 2.00 2.00 3/87 27315 /proc/meminfo: memFree=1658776/2055920 swapFree=4178936/4192956 [pid=27296] ppid=27294 vsize=5360 CPUtime=1.51 /proc/27296/stat : 27296 (hydra) S 27294 27296 25978 0 -1 4194304 375 2651 0 0 0 0 150 1 18 0 1 0 1993244490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27296/statm: 1340 238 196 169 0 51 0 [pid=27304] ppid=27296 vsize=197432 CPUtime=54.67 /proc/27304/stat : 27304 (java) S 27296 27296 25978 0 -1 0 14022 2345 1 0 610 19 4836 2 18 0 9 0 1993244644 202170368 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27304/statm: 49358 9479 2545 9 0 43940 0 [pid=27304/tid=27305] ppid=27296 vsize=197432 CPUtime=53.29 /proc/27304/task/27305/stat : 27305 (java) S 27296 27296 25978 0 -1 64 4016 2345 1 0 484 7 4836 2 16 0 9 0 1993244645 202170368 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27306] ppid=27296 vsize=197432 CPUtime=49.5 /proc/27304/task/27306/stat : 27306 (java) S 27296 27296 25978 0 -1 64 8504 2345 0 0 102 10 4836 2 16 0 9 0 1993244647 202170368 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27307] ppid=27296 vsize=197432 CPUtime=48.38 /proc/27304/task/27307/stat : 27307 (java) S 27296 27296 25978 0 -1 64 11 2345 0 0 0 0 4836 2 16 0 9 0 1993244647 202170368 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27308] ppid=27296 vsize=197432 CPUtime=48.38 /proc/27304/task/27308/stat : 27308 (java) S 27296 27296 25978 0 -1 64 5 2345 0 0 0 0 4836 2 16 0 9 0 1993244647 202170368 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27309] ppid=27296 vsize=197432 CPUtime=48.38 /proc/27304/task/27309/stat : 27309 (java) S 27296 27296 25978 0 -1 64 1 2345 0 0 0 0 4836 2 18 0 9 0 1993244649 202170368 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27310] ppid=27296 vsize=197432 CPUtime=48.62 /proc/27304/task/27310/stat : 27310 (java) S 27296 27296 25978 0 -1 64 667 2345 0 0 24 0 4836 2 16 0 9 0 1993244650 202170368 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27311] ppid=27296 vsize=197432 CPUtime=48.38 /proc/27304/task/27311/stat : 27311 (java) S 27296 27296 25978 0 -1 64 1 2345 0 0 0 0 4836 2 19 0 9 0 1993244650 202170368 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27304/tid=27312] ppid=27296 vsize=197432 CPUtime=48.38 /proc/27304/task/27312/stat : 27312 (java) S 27296 27296 25978 0 -1 64 30 2345 0 0 0 0 4836 2 15 0 9 0 1993244650 202170368 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 56.18 Current children cumulated vsize (KiB) 202792 Child status: 0 Real time (s): 56.9513 CPU time (s): 56.2075 CPU user time (s): 55.9665 CPU system time (s): 0.240963 CPU usage (%): 98.694 Max. virtual memory (cumulated for all children) (KiB): 218908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 55.9665 system time used= 0.240963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19430 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9970 involuntary context switches= 16136 runsolver used 0.119981 second user time and 0.267959 second system time The end
Begin job on node64 at 2008-07-04 05:39:01 IDJOB=1064602 IDBENCH=54966 IDSOLVER=366 FILE ID=node64/1064602-1215142741 PBS_JOBID= 7877315 Free space on /tmp= 66560 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/tdsp/normalized-C2-2-15.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064602-1215142741/watcher-1064602-1215142741 -o /tmp/evaluation-result-1064602-1215142741/solver-1064602-1215142741 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1064602-1215142741.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 7caca28b0e7a326e4c0f9138ac2e1ac3 RANDOM SEED=742648798 node64.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.248 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.248 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: 1694432 kB Buffers: 49548 kB Cached: 230624 kB SwapCached: 7196 kB Active: 106992 kB Inactive: 190548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1694432 kB SwapTotal: 4192956 kB SwapFree: 4178936 kB Dirty: 24332 kB Writeback: 0 kB Mapped: 24112 kB Slab: 48940 kB Committed_AS: 4021588 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66536 MiB End job on node64 at 2008-07-04 05:39:58