Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.03 | 1833.54 |
Name | csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-1.xml |
MD5SUM | daaf1af72f8f417d373a93d1048498fa |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 276.089 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Maximum constraint arity | 2 |
Maximum domain size | 1247 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 5580 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.02/7.18 c CASE TO CLASSIFY: 7.02/7.18 c Case: 0 7.02/7.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 21.529800 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.936620 | c 14 > 7.294620 | c 11 > 8.813780 | c 12 > 5.532800 | c 21 > 34.585100 | c 20 > 100.000000 | c 22 > 35.312900 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.588500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.02/7.19 c choco : 1801.0 7.02/7.19 c mistral : 1801.0 7.02/7.19 c abscon : 1801.0 7.02/7.19 c 7.02/7.19 c 7.12/7.26 c List of same ones: 40 7.12/7.26 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-29.xml 7.12/7.26 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.686100 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.937190 | c 14 > 5.930740 | c 11 > 8.813780 | c 12 > 5.529470 | c 21 > 34.254900 | c 20 > 100.000000 | c 22 > 35.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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.560900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.27 c choco : 339.04 7.12/7.27 c mistral : 1801.0 7.12/7.27 c abscon : 1801.0 7.12/7.27 c 7.12/7.27 c 7.12/7.27 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-22.xml 7.12/7.27 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.698900 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.938780 | c 14 > 6.129280 | c 11 > 8.813780 | c 12 > 5.522660 | c 21 > 33.919400 | c 20 > 100.000000 | c 22 > 34.641000 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.532600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.27 c choco : 153.97 7.12/7.27 c mistral : 1801.0 7.12/7.27 c abscon : 1801.0 7.12/7.27 c 7.12/7.27 c 7.12/7.27 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-21.xml 7.12/7.27 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.626600 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.906370 | c 14 > 5.554590 | c 11 > 8.813780 | c 12 > 5.525860 | c 21 > 33.676800 | c 20 > 100.000000 | c 22 > 34.423800 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.511900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.28 c choco : 26.3 7.12/7.28 c mistral : 1801.0 7.12/7.28 c abscon : 1801.0 7.12/7.28 c 7.12/7.28 c 7.12/7.28 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-23.xml 7.12/7.28 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.734800 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.933570 | c 14 > 5.672430 | c 11 > 8.813780 | c 12 > 5.527950 | c 21 > 33.500800 | c 20 > 100.000000 | c 22 > 34.219900 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.496700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.12/7.29 c choco : 102.83 7.12/7.29 c mistral : 1801.0 7.12/7.29 c abscon : 1801.0 7.12/7.29 c 7.12/7.29 c 7.12/7.29 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-25.xml 7.12/7.29 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.687000 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.902660 | c 14 > 9.189820 | c 11 > 8.813780 | c 12 > 5.520350 | c 21 > 33.540900 | c 20 > 100.000000 | c 22 > 34.263700 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.500200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.30 c choco : 933.36 7.20/7.30 c mistral : 1801.0 7.20/7.30 c abscon : 1801.0 7.20/7.30 c 7.20/7.30 c 7.20/7.30 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-28.xml 7.20/7.30 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.679300 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.908040 | c 14 > 5.169930 | c 11 > 8.813780 | c 12 > 5.521330 | c 21 > 33.321500 | c 20 > 100.000000 | c 22 > 34.058800 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.481300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.31 c choco : 199.72 7.20/7.31 c mistral : 1801.0 7.20/7.31 c abscon : 1801.0 7.20/7.31 c 7.20/7.31 c 7.20/7.31 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-24.xml 7.20/7.31 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.676300 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.914280 | c 14 > 5.906890 | c 11 > 8.813780 | c 12 > 5.526000 | c 21 > 32.777100 | c 20 > 100.000000 | c 22 > 33.496300 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.433900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.32 c choco : 128.09 7.20/7.32 c mistral : 1801.0 7.20/7.32 c abscon : 1801.0 7.20/7.32 c 7.20/7.32 c 7.20/7.32 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-24.xml 7.20/7.32 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.642200 | c 34 > 46.161000 | c 16 > 2.000000 | c 13 > 4.318020 | c 14 > 5.930740 | c 11 > 9.228820 | c 12 > 5.928010 | c 21 > 35.232100 | c 20 > 100.000000 | c 22 > 35.888700 | 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 > 9.228820 | c 2 > -1.000000 | c 10 > 15.449000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.130900 | c 6 > 14.061700 | c 32 > -1.000000 | c 5 > 24.458100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.32 c choco : 32.64 7.20/7.32 c mistral : 1801.0 7.20/7.32 c abscon : 1801.0 7.20/7.32 c 7.20/7.32 c 7.20/7.32 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-22.xml 7.20/7.32 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.637600 | c 34 > 46.161000 | c 16 > 2.000000 | c 13 > 5.384260 | c 14 > 8.654640 | c 11 > 9.228820 | c 12 > 5.979110 | c 21 > 35.512500 | c 20 > 100.000000 | c 22 > 36.221500 | 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 > 9.228820 | c 2 > -1.000000 | c 10 > 15.449000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.130900 | c 6 > 14.061700 | c 32 > -1.000000 | c 5 > 24.481000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.33 c choco : 34.97 7.20/7.33 c mistral : 1801.0 7.20/7.33 c abscon : 1801.0 7.20/7.33 c 7.20/7.33 c 7.20/7.33 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-28.xml 7.20/7.33 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.738100 | c 34 > 46.161000 | c 16 > 2.000000 | c 13 > 4.318660 | c 14 > 5.459430 | c 11 > 9.228820 | c 12 > 5.928690 | c 21 > 36.211500 | c 20 > 100.000000 | c 22 > 36.878200 | 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 > 9.228820 | c 2 > -1.000000 | c 10 > 15.449000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.130900 | c 6 > 14.061700 | c 32 > -1.000000 | c 5 > 24.537100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.34 c choco : 34.79 7.20/7.34 c mistral : 1801.0 7.20/7.34 c abscon : 1801.0 7.20/7.34 c 7.20/7.34 c 7.20/7.34 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-27.xml 7.20/7.34 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.641100 | c 34 > 46.161000 | c 16 > 2.000000 | c 13 > 4.317320 | c 14 > 5.554590 | c 11 > 9.228820 | c 12 > 5.928650 | c 21 > 37.002500 | c 20 > 100.000000 | c 22 > 37.682900 | 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 > 9.228820 | c 2 > -1.000000 | c 10 > 15.449000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.130900 | c 6 > 14.061700 | c 32 > -1.000000 | c 5 > 24.599400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.35 c choco : 33.84 7.20/7.35 c mistral : 1801.0 7.20/7.35 c abscon : 1801.0 7.20/7.35 c 7.20/7.35 c 7.20/7.35 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20/super-js-taillard-20-28.xml 7.20/7.35 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.429700 | c 15 > 20.715300 | c 34 > 46.120600 | c 16 > 2.000000 | c 13 > 4.320260 | c 14 > 5.426260 | c 11 > 9.643860 | c 12 > 5.928810 | c 21 > 38.749100 | c 20 > 100.000000 | c 22 > 39.382700 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 15.865000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.547100 | c 6 > 14.476700 | c 32 > -1.000000 | c 5 > 25.148500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.37 c choco : 42.0 7.20/7.37 c mistral : 1801.0 7.20/7.37 c abscon : 1801.0 7.20/7.37 c 7.20/7.37 c 7.20/7.37 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-20/super-os-taillard-20-25.xml 7.20/7.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.482800 | c 15 > 20.542400 | c 34 > 49.310300 | c 16 > 2.000000 | c 13 > 5.253210 | c 14 > 7.491850 | c 11 > 9.643860 | c 12 > 6.846650 | c 21 > 34.441000 | c 20 > 100.000000 | c 22 > 35.156800 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 16.803700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.476700 | c 6 > 15.476700 | c 32 > -1.000000 | c 5 > 25.716300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.37 c choco : 45.75 7.20/7.37 c mistral : 1801.0 7.20/7.37 c abscon : 1801.0 7.20/7.37 c 7.20/7.37 c 7.20/7.37 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-20/super-os-taillard-20-23.xml 7.20/7.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.482800 | c 15 > 20.428400 | c 34 > 49.310300 | c 16 > 2.000000 | c 13 > 5.266960 | c 14 > 7.714250 | c 11 > 9.643860 | c 12 > 6.848530 | c 21 > 34.344600 | c 20 > 100.000000 | c 22 > 35.057100 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 16.803700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.476700 | c 6 > 15.476700 | c 32 > -1.000000 | c 5 > 25.708300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.38 c choco : 40.22 7.20/7.38 c mistral : 1801.0 7.20/7.38 c abscon : 1801.0 7.20/7.38 c 7.20/7.38 c 7.20/7.38 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-20/super-os-taillard-20-24.xml 7.20/7.38 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.482800 | c 15 > 20.417100 | c 34 > 49.310300 | c 16 > 2.000000 | c 13 > 5.260990 | c 14 > 7.832890 | c 11 > 9.643860 | c 12 > 6.848390 | c 21 > 34.561400 | c 20 > 100.000000 | c 22 > 35.284600 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 16.803700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.476700 | c 6 > 15.476700 | c 32 > -1.000000 | c 5 > 25.726400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.20/7.39 c choco : 45.7 7.20/7.39 c mistral : 1801.0 7.20/7.39 c abscon : 1801.0 7.20/7.39 c 7.20/7.39 c 7.20/7.39 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-20/super-os-taillard-20-30.xml 7.20/7.39 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.482800 | c 15 > 20.522500 | c 34 > 49.310300 | c 16 > 2.000000 | c 13 > 5.275380 | c 14 > 8.033420 | c 11 > 9.643860 | c 12 > 6.849640 | c 21 > 34.209800 | c 20 > 100.000000 | c 22 > 34.928500 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 16.803700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.476700 | c 6 > 15.476700 | c 32 > -1.000000 | c 5 > 25.696900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.40 c choco : 42.08 7.28/7.40 c mistral : 1801.0 7.28/7.40 c abscon : 1801.0 7.28/7.40 c 7.28/7.40 c 7.28/7.40 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-20/super-os-taillard-20-26.xml 7.28/7.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.482800 | c 15 > 20.739500 | c 34 > 49.310300 | c 16 > 2.000000 | c 13 > 5.256680 | c 14 > 7.971540 | c 11 > 9.643860 | c 12 > 6.847320 | c 21 > 33.781900 | c 20 > 100.000000 | c 22 > 34.481900 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 16.803700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.476700 | c 6 > 15.476700 | c 32 > -1.000000 | c 5 > 25.660700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.40 c choco : 41.6 7.28/7.40 c mistral : 1801.0 7.28/7.40 c abscon : 1801.0 7.28/7.40 c 7.28/7.40 c 7.28/7.40 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-20/super-os-taillard-20-29.xml 7.28/7.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.482800 | c 15 > 20.278800 | c 34 > 49.310300 | c 16 > 2.000000 | c 13 > 5.289320 | c 14 > 8.224000 | c 11 > 9.643860 | c 12 > 6.852780 | c 21 > 34.719800 | c 20 > 100.000000 | c 22 > 35.440100 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 16.803700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.476700 | c 6 > 15.476700 | c 32 > -1.000000 | c 5 > 25.739600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.41 c choco : 43.93 7.28/7.41 c mistral : 1801.0 7.28/7.41 c abscon : 1801.0 7.28/7.41 c 7.28/7.41 c 7.28/7.41 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-20/super-os-taillard-20-27.xml 7.28/7.41 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.482800 | c 15 > 20.269100 | c 34 > 49.310300 | c 16 > 2.000000 | c 13 > 5.266090 | c 14 > 8.339850 | c 11 > 9.643860 | c 12 > 6.850450 | c 21 > 35.111100 | c 20 > 100.000000 | c 22 > 35.832900 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 16.803700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.476700 | c 6 > 15.476700 | c 32 > -1.000000 | c 5 > 25.771800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.41 c choco : 42.26 7.28/7.41 c mistral : 1801.0 7.28/7.42 c abscon : 1801.0 7.28/7.42 c 7.28/7.42 c 7.28/7.42 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-20/super-os-taillard-20-21.xml 7.28/7.42 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.482800 | c 15 > 20.736200 | c 34 > 49.310300 | c 16 > 2.000000 | c 13 > 5.281570 | c 14 > 7.942510 | c 11 > 9.643860 | c 12 > 6.850410 | c 21 > 33.281100 | c 20 > 100.000000 | c 22 > 33.970600 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 16.803700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.476700 | c 6 > 15.476700 | c 32 > -1.000000 | c 5 > 25.617700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.42 c choco : 46.13 7.28/7.42 c mistral : 1801.0 7.28/7.43 c abscon : 1801.0 7.28/7.43 c 7.28/7.43 c 7.28/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-15/super-os-taillard-15-25.xml 7.28/7.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.302300 | c 15 > 20.490000 | c 34 > 49.069800 | c 16 > 2.000000 | c 13 > 4.970890 | c 14 > 8.900870 | c 11 > 8.813780 | c 12 > 6.427530 | c 21 > 29.831500 | c 20 > 100.000000 | c 22 > 30.692000 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 15.534900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.206100 | c 6 > 14.206100 | c 32 > -1.000000 | c 5 > 24.040700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.43 c choco : 28.92 7.28/7.43 c mistral : 1801.0 7.28/7.43 c abscon : 1801.0 7.28/7.43 c 7.28/7.43 c 7.28/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-15/super-os-taillard-15-26.xml 7.28/7.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.302300 | c 15 > 20.774600 | c 34 > 49.069800 | c 16 > 2.000000 | c 13 > 4.807350 | c 14 > 7.665340 | c 11 > 8.813780 | c 12 > 6.409390 | c 21 > 29.368700 | c 20 > 100.000000 | c 22 > 30.182800 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 15.534900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.206100 | c 6 > 14.206100 | c 32 > -1.000000 | c 5 > 23.995700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.44 c choco : 27.05 7.28/7.44 c mistral : 1801.0 7.28/7.44 c abscon : 1801.0 7.28/7.44 c 7.28/7.44 c 7.28/7.44 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-15/super-os-taillard-15-21.xml 7.28/7.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.302300 | c 15 > 20.430700 | c 34 > 49.069800 | c 16 > 2.000000 | c 13 > 5.001150 | c 14 > 9.144660 | c 11 > 8.813780 | c 12 > 6.436410 | c 21 > 29.309300 | c 20 > 100.000000 | c 22 > 30.133000 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 15.534900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.206100 | c 6 > 14.206100 | c 32 > -1.000000 | c 5 > 23.989900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.44 c choco : 26.82 7.28/7.44 c mistral : 1801.0 7.28/7.44 c abscon : 1801.0 7.28/7.44 c 7.28/7.44 c 7.28/7.44 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-15/super-os-taillard-15-22.xml 7.28/7.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.302300 | c 15 > 20.514800 | c 34 > 49.069800 | c 16 > 2.000000 | c 13 > 5.202600 | c 14 > 9.126700 | c 11 > 8.813780 | c 12 > 6.449270 | c 21 > 29.307900 | c 20 > 100.000000 | c 22 > 30.149600 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 15.534900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.206100 | c 6 > 14.206100 | c 32 > -1.000000 | c 5 > 23.989800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.45 c choco : 24.44 7.28/7.45 c mistral : 1801.0 7.28/7.45 c abscon : 1801.0 7.28/7.45 c 7.28/7.45 c 7.28/7.45 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-15/super-os-taillard-15-24.xml 7.28/7.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.302300 | c 15 > 20.475000 | c 34 > 49.069800 | c 16 > 2.000000 | c 13 > 5.231410 | c 14 > 9.019590 | c 11 > 8.813780 | c 12 > 6.444560 | c 21 > 29.164100 | c 20 > 100.000000 | c 22 > 29.983300 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 15.534900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.206100 | c 6 > 14.206100 | c 32 > -1.000000 | c 5 > 23.975600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.45 c choco : 27.94 7.28/7.45 c mistral : 1801.0 7.28/7.45 c abscon : 1801.0 7.28/7.45 c 7.28/7.45 c 7.28/7.45 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-15/super-os-taillard-15-27.xml 7.28/7.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.302300 | c 15 > 20.554100 | c 34 > 49.069800 | c 16 > 2.000000 | c 13 > 4.957800 | c 14 > 8.778080 | c 11 > 8.813780 | c 12 > 6.426380 | c 21 > 28.910700 | c 20 > 100.000000 | c 22 > 29.732100 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 15.534900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.206100 | c 6 > 14.206100 | c 32 > -1.000000 | c 5 > 23.950500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.46 c choco : 28.23 7.28/7.46 c mistral : 1801.0 7.28/7.46 c abscon : 1801.0 7.28/7.46 c 7.28/7.46 c 7.28/7.46 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-15/super-os-taillard-15-30.xml 7.28/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.302300 | c 15 > 20.478800 | c 34 > 49.069800 | c 16 > 2.000000 | c 13 > 5.018350 | c 14 > 9.167420 | c 11 > 8.813780 | c 12 > 6.435330 | c 21 > 28.973200 | c 20 > 100.000000 | c 22 > 29.799300 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 15.534900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.206100 | c 6 > 14.206100 | c 32 > -1.000000 | c 5 > 23.956700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.46 c choco : 25.28 7.28/7.46 c mistral : 1801.0 7.28/7.46 c abscon : 1801.0 7.28/7.46 c 7.28/7.46 c 7.28/7.46 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-15/super-os-taillard-15-28.xml 7.28/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.302300 | c 15 > 20.574600 | c 34 > 49.069800 | c 16 > 2.000000 | c 13 > 5.052180 | c 14 > 9.164910 | c 11 > 8.813780 | c 12 > 6.431730 | c 21 > 28.680900 | c 20 > 100.000000 | c 22 > 29.495800 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 15.534900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.206100 | c 6 > 14.206100 | c 32 > -1.000000 | c 5 > 23.927500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.47 c choco : 25.42 7.28/7.47 c mistral : 1801.0 7.28/7.47 c abscon : 1801.0 7.28/7.47 c 7.28/7.47 c 7.28/7.47 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-15/super-os-taillard-15-23.xml 7.28/7.47 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.302300 | c 15 > 20.521500 | c 34 > 49.069800 | c 16 > 2.000000 | c 13 > 4.983070 | c 14 > 8.870360 | c 11 > 8.813780 | c 12 > 6.430290 | c 21 > 28.410300 | c 20 > 100.000000 | c 22 > 29.223300 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 15.534900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.206100 | c 6 > 14.206100 | c 32 > -1.000000 | c 5 > 23.900200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.47 c choco : 24.34 7.28/7.47 c mistral : 1801.0 7.28/7.47 c abscon : 1801.0 7.28/7.47 c 7.28/7.47 c 7.28/7.47 c /home/eomahony/cpZilla/CSP/os-gp/gp10-10-1092.xml 7.28/7.47 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.254700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.037670 | c 14 > 9.278450 | c 11 > 10.891800 | c 12 > 3.430640 | c 21 > 32.896600 | c 20 > 100.000000 | c 22 > 33.060600 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.055600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.48 c choco : 5.92 7.28/7.48 c mistral : 0.305952 7.28/7.48 c abscon : 1800.09 7.28/7.48 c 7.28/7.48 c 7.28/7.48 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-10-1092.xml 7.28/7.48 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.301700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.062940 | c 14 > 9.317410 | c 11 > 10.891800 | c 12 > 3.460120 | c 21 > 32.896600 | c 20 > 100.000000 | c 22 > 33.060600 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.055600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.48 c choco : 13.97 7.28/7.48 c mistral : 0.8 7.28/7.48 c abscon : 1801.0 7.28/7.48 c 7.28/7.48 c 7.28/7.48 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-3.xml 7.28/7.48 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.744100 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.564180 | c 14 > 7.693490 | c 11 > 11.720700 | c 12 > 2.286000 | c 21 > 34.530200 | c 20 > 100.000000 | c 22 > 35.213600 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.029500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.49 c choco : 39.45 7.28/7.49 c mistral : 1146.73 7.28/7.49 c abscon : 1800.07 7.28/7.49 c 7.28/7.49 c 7.28/7.49 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-1.xml 7.28/7.49 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.646800 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 4.145940 | c 14 > 7.774790 | c 11 > 11.720700 | c 12 > 2.462110 | c 21 > 33.919400 | c 20 > 100.000000 | c 22 > 34.641000 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.978100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.49 c choco : 20.19 7.28/7.49 c mistral : 73.1569 7.28/7.49 c abscon : 1800.11 7.28/7.49 c 7.28/7.49 c 7.28/7.50 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-08-1093.xml 7.28/7.50 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.175600 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.081010 | c 14 > 9.364130 | c 11 > 10.891800 | c 12 > 3.440180 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.50 c choco : 14.17 7.35/7.50 c mistral : 1.52 7.35/7.50 c abscon : 1801.0 7.35/7.50 c 7.35/7.50 c 7.35/7.50 c /home/eomahony/cpZilla/CSP/os-gp/gp10-08-1093.xml 7.35/7.50 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.284400 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.189530 | c 14 > 9.459430 | c 11 > 10.891800 | c 12 > 3.523690 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.51 c choco : 5.52 7.35/7.51 c mistral : 0.348946 7.35/7.51 c abscon : 1800.07 7.35/7.51 c 7.35/7.51 c 7.35/7.51 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-9.xml 7.35/7.51 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.644600 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.711880 | c 14 > 7.459430 | c 11 > 11.720700 | c 12 > 2.316190 | c 21 > 34.022500 | c 20 > 100.000000 | c 22 > 34.741900 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.986800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.51 c choco : 31.0 7.35/7.51 c mistral : 1800.05 7.35/7.51 c abscon : 1800.13 7.35/7.51 c 7.35/7.51 c 7.35/7.51 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-9.xml 7.35/7.52 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.827700 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.136540 | c 14 > 7.033420 | c 11 > 11.720700 | c 12 > 2.124030 | c 21 > 34.936100 | c 20 > 100.000000 | c 22 > 35.637100 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.063100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.52 c choco : 1065.61 7.35/7.52 c mistral : 1800.03 7.35/7.52 c abscon : 1800.14 7.35/7.52 c 7.35/7.52 c 7.35/7.52 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-07-1079.xml 7.35/7.52 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.253700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.214810 | c 14 > 9.057990 | c 11 > 10.891800 | c 12 > 3.343030 | c 21 > 32.700400 | c 20 > 100.000000 | c 22 > 32.863400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.038300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.53 c choco : 16.56 7.35/7.53 c mistral : 5.33 7.35/7.53 c abscon : 1801.0 7.35/7.53 c 7.35/7.53 c 7.35/7.53 c /home/eomahony/cpZilla/CSP/os-gp/gp10-07-1079.xml 7.35/7.53 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.301100 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.249350 | c 14 > 9.079480 | c 11 > 10.891800 | c 12 > 3.361690 | c 21 > 32.700400 | c 20 > 100.000000 | c 22 > 32.863400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.038300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.53 c choco : 7.45 7.35/7.53 c mistral : 0.532918 7.35/7.53 c abscon : 1800.11 7.35/7.53 c 7.35/7.53 c 7.35/7.53 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-05-1071.xml 7.35/7.53 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.131600 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.133260 | c 14 > 9.087460 | c 11 > 10.891800 | c 12 > 3.593980 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.54 c choco : 20.25 7.35/7.54 c mistral : 14.08 7.35/7.54 c abscon : 1801.0 7.35/7.54 c 7.35/7.54 c 7.35/7.54 c Length: 40 7.35/7.54 c 1.667246223027661 1.7164645410843764 2.337907852546801 2.3753612253928855 2.549975359508399 2.9016460558448536 3.040987148690373 3.066832817696463 3.5174075409738967 3.904103367355945 4.642327949057456 7.015207975683973 7.767186369999114 7.796794016658386 7.801768875114155 7.816894423362771 7.840029965070285 7.870546205797917 7.923540048431636 7.9685278891085005 9.171613357981245 9.505893203660557 9.789793319810178 9.794488799202334 9.948403551454875 10.144073320929813 10.151776027562864 10.474215469551883 10.730415141093097 14.391082174576031 14.393363228491804 14.395257546973589 14.397723403739914 14.402498631313941 14.41138024495572 14.413156238971395 14.446432201498752 14.449614480473173 14.45170574475553 14.452674244097526 7.35/7.54 c 7.35/7.54 c 1.0 0.9961651987319142 0.9501592478250332 0.9475219368897111 0.9354171066146179 0.9119532817605209 0.9029787037056493 0.9013334400716145 0.8735847750924518 0.8510974116321138 0.8112318843889369 0.7050765565958838 0.6770017882259743 0.6759420760735585 0.675764342198304 0.6752245341699075 0.6744005278993044 0.6733167181332128 0.6714428518678042 0.6698602446747066 0.6301408132883118 0.6199273431663858 0.6115096248681184 0.611372323855877 0.6069055714990417 0.6013204126057919 0.6011026503154882 0.5921263796057634 0.585183023728565 0.5012072490524934 0.5011624348024402 0.5011252245600347 0.5010767958244682 0.5009830383034355 0.5008087486787329 0.5007739117524675 0.5001220836465374 0.5000598362798072 0.5000189382792626 0.5 7.35/7.55 c 7.35/7.55 c solver 0 7.35/7.55 c before 0.0 seconds: {} 0 7.35/7.55 c 7.35/7.55 c solver 1 7.35/7.55 c before 0.0 seconds: {} 0 7.35/7.55 c before 18.0 seconds: {29, 30, 33, 34, 37, 38, 39} 3504 7.35/7.56 c before 90.0 seconds: {29, 30, 32, 33, 34, 37, 38, 39} 4005 7.35/7.56 c before 1152.0 seconds: {29, 30, 31, 32, 33, 34, 37, 38, 39} 4506 7.35/7.56 c 7.35/7.56 c solver 2 7.35/7.56 c before 0.0 seconds: {} 0 7.35/7.56 c before 18.0 seconds: {29, 30, 33, 34, 37, 38} 3004 7.35/7.56 c before 36.0 seconds: {2, 7, 8, 9, 10, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 37, 38, 39} 14353 7.35/7.56 c before 54.0 seconds: {2, 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, 37, 38, 39} 20952 7.35/7.56 c before 108.0 seconds: {2, 3, 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, 37, 38, 39} 21899 7.35/7.56 c before 144.0 seconds: {2, 3, 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, 37, 38, 39} 22802 7.35/7.56 c before 162.0 seconds: {1, 2, 3, 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, 37, 38, 39} 23798 7.35/7.56 c before 216.0 seconds: {1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 24710 7.35/7.56 c before 342.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 25710 7.35/7.56 c before 936.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, 37, 38, 39} 26646 7.35/7.56 c before 1080.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} 27146 7.35/7.56 c 7.35/7.56 cTotal time: 124 7.35/7.56 c do not run abscon 7.35/7.56 c run mistral for 90.0 seconds {29, 30, 32, 33, 34, 37, 38, 39} 4005 7.35/7.56 c run choco for 1080.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} 27146 7.35/7.56 c Starting solver: HOME/cpHydra_k_40/solver/mistral 7.35/7.56 c On Instance: HOME/instance-1083155-1215225515.xml 7.35/7.56 c Running for: 90 seconds 97.36/98.41 c Starting solver: HOME/cpHydra_k_40/solver/choco 97.36/98.41 c On Instance: HOME/instance-1083155-1215225515.xml 97.36/98.41 c Running for: 1080 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-1083155-1215225515/watcher-1083155-1215225515 -o /tmp/evaluation-result-1083155-1215225515/solver-1083155-1215225515 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1083155-1215225515.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: 2.00 2.00 2.00 4/74 23323 /proc/meminfo: memFree=1621848/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5356 CPUtime=0 /proc/23323/stat : 23323 (hydra) R 23321 23323 19192 0 -1 4194304 238 0 0 0 0 0 0 0 20 0 1 0 678279128 5484544 206 996147200 4194304 4889804 548682068816 18446744073709551615 4540272 0 0 4100 65536 0 0 0 17 1 0 0 /proc/23323/statm: 1339 206 169 169 0 50 0 [startup+0.082901 s] /proc/loadavg: 2.00 2.00 2.00 4/74 23323 /proc/meminfo: memFree=1621848/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=0 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 678279128 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.1019 s] /proc/loadavg: 2.00 2.00 2.00 4/74 23323 /proc/meminfo: memFree=1621848/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=0 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 678279128 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301919 s] /proc/loadavg: 2.00 2.00 2.00 4/74 23323 /proc/meminfo: memFree=1621848/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=0 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 678279128 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.70196 s] /proc/loadavg: 2.00 2.00 2.00 4/74 23323 /proc/meminfo: memFree=1621848/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=0 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 678279128 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50104 s] /proc/loadavg: 2.00 2.00 2.00 3/76 23327 /proc/meminfo: memFree=1594696/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=0 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 678279128 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 236 195 169 0 51 0 [pid=23327] ppid=23323 vsize=30904 CPUtime=1.49 /proc/23327/stat : 23327 (xsolve) R 23323 23323 19192 0 -1 4194304 7069 0 0 0 145 4 0 0 25 0 1 0 678279129 31645696 6930 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/23327/statm: 7726 6930 430 177 0 6629 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36264 [startup+3.1022 s] /proc/loadavg: 2.00 2.00 2.00 3/84 23339 /proc/meminfo: memFree=1614536/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=1.82 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 375 7674 0 0 0 0 177 5 19 0 1 0 678279128 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 238 196 169 0 51 0 [pid=23331] ppid=23323 vsize=197024 CPUtime=1.24 /proc/23331/stat : 23331 (java) S 23323 23323 19192 0 -1 0 4998 0 1 0 119 5 0 0 20 0 9 0 678279312 201752576 4194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23331/statm: 49256 4194 1679 9 0 43838 0 [pid=23331/tid=23332] ppid=23323 vsize=197024 CPUtime=0.96 /proc/23331/task/23332/stat : 23332 (java) R 23323 23323 19192 0 -1 64 2731 0 1 0 94 2 0 0 25 0 9 0 678279313 201752576 4194 996147200 134512640 134550740 4294955968 18446744073709551615 4126546717 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23333] ppid=23323 vsize=197024 CPUtime=0.13 /proc/23331/task/23333/stat : 23333 (java) S 23323 23323 19192 0 -1 64 930 0 0 0 11 2 0 0 16 0 9 0 678279314 201752576 4194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23334] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23334/stat : 23334 (java) S 23323 23323 19192 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 678279314 201752576 4194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23335] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23335/stat : 23335 (java) S 23323 23323 19192 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 678279314 201752576 4194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23336] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23336/stat : 23336 (java) S 23323 23323 19192 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 678279316 201752576 4194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23337] ppid=23323 vsize=197024 CPUtime=0.13 /proc/23331/task/23337/stat : 23337 (java) S 23323 23323 19192 0 -1 64 612 0 0 0 13 0 0 0 16 0 9 0 678279316 201752576 4194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23338] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23338/stat : 23338 (java) S 23323 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 678279316 201752576 4194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23339] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23339/stat : 23339 (java) S 23323 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 678279316 201752576 4194 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 202384 [startup+6.30152 s] /proc/loadavg: 2.08 2.02 2.01 3/84 23339 /proc/meminfo: memFree=1600648/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=1.82 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 375 7674 0 0 0 0 177 5 19 0 1 0 678279128 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 238 196 169 0 51 0 [pid=23331] ppid=23323 vsize=197024 CPUtime=4.42 /proc/23331/stat : 23331 (java) S 23323 23323 19192 0 -1 0 10133 0 1 0 430 12 0 0 20 0 9 0 678279312 201752576 8411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23331/statm: 49256 8411 2541 9 0 43838 0 [pid=23331/tid=23332] ppid=23323 vsize=197024 CPUtime=3.51 /proc/23331/task/23332/stat : 23332 (java) R 23323 23323 19192 0 -1 64 3581 0 1 0 348 3 0 0 25 0 9 0 678279313 201752576 8411 996147200 134512640 134550740 4294955968 18446744073709551615 4126443183 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23333] ppid=23323 vsize=197024 CPUtime=0.71 /proc/23331/task/23333/stat : 23333 (java) S 23323 23323 19192 0 -1 64 5199 0 0 0 65 6 0 0 16 0 9 0 678279314 201752576 8411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23334] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23334/stat : 23334 (java) S 23323 23323 19192 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 678279314 201752576 8411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23335] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23335/stat : 23335 (java) S 23323 23323 19192 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 678279314 201752576 8411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23336] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23336/stat : 23336 (java) S 23323 23323 19192 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 678279316 201752576 8411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23337] ppid=23323 vsize=197024 CPUtime=0.16 /proc/23331/task/23337/stat : 23337 (java) S 23323 23323 19192 0 -1 64 628 0 0 0 16 0 0 0 16 0 9 0 678279316 201752576 8411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23338] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23338/stat : 23338 (java) S 23323 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 678279316 201752576 8411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23339] ppid=23323 vsize=197024 CPUtime=0 /proc/23331/task/23339/stat : 23339 (java) S 23323 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 678279316 201752576 8411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 202384 [startup+12.7012 s] /proc/loadavg: 2.07 2.02 2.00 3/87 23342 /proc/meminfo: memFree=1566960/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=1.82 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 375 7674 0 0 0 0 177 5 19 0 1 0 678279128 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 238 196 169 0 51 0 [pid=23331] ppid=23323 vsize=197348 CPUtime=5.57 /proc/23331/stat : 23331 (java) S 23323 23323 19192 0 -1 0 11472 0 1 0 540 17 0 0 20 0 10 0 678279312 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23331/statm: 49337 9425 2544 9 0 43919 0 [pid=23341] ppid=23331 vsize=5356 CPUtime=0 /proc/23341/stat : 23341 (mistral) S 23331 23323 19192 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 678279885 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/23341/statm: 1339 238 198 169 0 50 0 [pid=23342] ppid=23341 vsize=31160 CPUtime=5.06 /proc/23342/stat : 23342 (xsolve) R 23341 23323 19192 0 -1 4194304 7134 0 0 0 503 3 0 0 25 0 1 0 678279886 31907840 6935 996147200 134512640 135239763 4294955952 18446744073709551615 135030850 0 4 0 0 0 0 0 17 0 0 0 /proc/23342/statm: 7790 6935 412 177 0 6693 0 [pid=23331/tid=23332] ppid=23323 vsize=197348 CPUtime=4.49 /proc/23331/task/23332/stat : 23332 (java) S 23323 23323 19192 0 -1 64 3861 0 1 0 442 7 0 0 24 0 10 0 678279313 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=23331/tid=23333] ppid=23323 vsize=197348 CPUtime=0.83 /proc/23331/task/23333/stat : 23333 (java) S 23323 23323 19192 0 -1 64 6121 0 0 0 75 8 0 0 16 0 10 0 678279314 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23334] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23334/stat : 23334 (java) S 23323 23323 19192 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 678279314 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23335] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23335/stat : 23335 (java) S 23323 23323 19192 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 678279314 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23336] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23336/stat : 23336 (java) S 23323 23323 19192 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 678279316 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23337] ppid=23323 vsize=197348 CPUtime=0.22 /proc/23331/task/23337/stat : 23337 (java) S 23323 23323 19192 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 678279316 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23338] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23338/stat : 23338 (java) S 23323 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 678279316 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23339] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23339/stat : 23339 (java) S 23323 23323 19192 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 678279316 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23340] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23340/stat : 23340 (java) S 23323 23323 19192 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 678279885 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 239224 [startup+25.5024 s] /proc/loadavg: 2.06 2.01 2.00 3/87 23342 /proc/meminfo: memFree=1567088/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=1.82 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 375 7674 0 0 0 0 177 5 19 0 1 0 678279128 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 238 196 169 0 51 0 [pid=23331] ppid=23323 vsize=197348 CPUtime=5.57 /proc/23331/stat : 23331 (java) S 23323 23323 19192 0 -1 0 11472 0 1 0 540 17 0 0 20 0 10 0 678279312 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23331/statm: 49337 9425 2544 9 0 43919 0 [pid=23341] ppid=23331 vsize=5356 CPUtime=0 /proc/23341/stat : 23341 (mistral) S 23331 23323 19192 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 678279885 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/23341/statm: 1339 238 198 169 0 50 0 [pid=23342] ppid=23341 vsize=31160 CPUtime=17.75 /proc/23342/stat : 23342 (xsolve) R 23341 23323 19192 0 -1 4194304 7134 0 0 0 1772 3 0 0 25 0 1 0 678279886 31907840 6935 996147200 134512640 135239763 4294955952 18446744073709551615 135030786 0 4 0 0 0 0 0 17 0 0 0 /proc/23342/statm: 7790 6935 412 177 0 6693 0 [pid=23331/tid=23332] ppid=23323 vsize=197348 CPUtime=4.49 /proc/23331/task/23332/stat : 23332 (java) S 23323 23323 19192 0 -1 64 3861 0 1 0 442 7 0 0 24 0 10 0 678279313 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=23331/tid=23333] ppid=23323 vsize=197348 CPUtime=0.83 /proc/23331/task/23333/stat : 23333 (java) S 23323 23323 19192 0 -1 64 6121 0 0 0 75 8 0 0 16 0 10 0 678279314 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23334] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23334/stat : 23334 (java) S 23323 23323 19192 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 678279314 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23335] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23335/stat : 23335 (java) S 23323 23323 19192 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 678279314 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23336] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23336/stat : 23336 (java) S 23323 23323 19192 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 678279316 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23337] ppid=23323 vsize=197348 CPUtime=0.22 /proc/23331/task/23337/stat : 23337 (java) S 23323 23323 19192 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 678279316 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23338] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23338/stat : 23338 (java) S 23323 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 678279316 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23339] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23339/stat : 23339 (java) S 23323 23323 19192 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 678279316 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23340] ppid=23323 vsize=197348 CPUtime=0 /proc/23331/task/23340/stat : 23340 (java) S 23323 23323 19192 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 678279885 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 239224 [startup+51.103 s] /proc/loadavg: 2.23 2.06 2.02 3/87 23342 /proc/meminfo: memFree=1567024/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=1.82 ################ # More data... # ################ /proc/23331/statm: 49418 9432 2545 9 0 44000 0 [pid=23344] ppid=23331 vsize=5356 CPUtime=0 /proc/23344/stat : 23344 (choco) S 23331 23323 19192 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 678288970 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/23344/statm: 1339 238 197 169 0 50 0 [pid=23345] ppid=23344 vsize=655736 CPUtime=1652.37 /proc/23345/stat : 23345 (java) S 23344 23323 19192 0 -1 0 22085 0 1 0 165202 35 0 0 19 0 9 0 678288971 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23345/statm: 163934 20512 1945 9 0 158463 0 [pid=23345/tid=23346] ppid=23344 vsize=655736 CPUtime=1648.47 /proc/23345/task/23346/stat : 23346 (java) R 23344 23323 19192 0 -1 64 13369 0 1 0 164825 22 0 0 25 0 9 0 678288972 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 101444400 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23347] ppid=23344 vsize=655736 CPUtime=3.36 /proc/23345/task/23347/stat : 23347 (java) S 23344 23323 19192 0 -1 64 7385 0 0 0 327 9 0 0 16 0 9 0 678288973 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23348] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23348/stat : 23348 (java) S 23344 23323 19192 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 678288973 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23349] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23349/stat : 23349 (java) S 23344 23323 19192 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 678288973 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23350] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23350/stat : 23350 (java) S 23344 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 678288975 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23351] ppid=23344 vsize=655736 CPUtime=0.48 /proc/23345/task/23351/stat : 23351 (java) S 23344 23323 19192 0 -1 64 785 0 0 0 47 1 0 0 15 0 9 0 678288975 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23352] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23352/stat : 23352 (java) S 23344 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 678288976 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23353] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23353/stat : 23353 (java) S 23344 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 678288976 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23332] ppid=23323 vsize=197672 CPUtime=94.48 /proc/23331/task/23332/stat : 23332 (java) S 23323 23323 19192 0 -1 64 3937 7440 1 0 442 7 8995 4 16 0 10 0 678279313 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=23331/tid=23333] ppid=23323 vsize=197672 CPUtime=90.82 /proc/23331/task/23333/stat : 23333 (java) S 23323 23323 19192 0 -1 64 6140 7440 0 0 75 8 8995 4 16 0 10 0 678279314 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23334] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23334/stat : 23334 (java) S 23323 23323 19192 0 -1 64 11 7440 0 0 0 0 8995 4 16 0 10 0 678279314 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23335] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23335/stat : 23335 (java) S 23323 23323 19192 0 -1 64 5 7440 0 0 0 0 8995 4 16 0 10 0 678279314 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23336] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23336/stat : 23336 (java) S 23323 23323 19192 0 -1 64 0 7440 0 0 0 0 8995 4 25 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23337] ppid=23323 vsize=197672 CPUtime=90.21 /proc/23331/task/23337/stat : 23337 (java) S 23323 23323 19192 0 -1 64 699 7440 0 0 22 0 8995 4 16 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23338] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23338/stat : 23338 (java) S 23323 23323 19192 0 -1 64 1 7440 0 0 0 0 8995 4 25 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23339] ppid=23323 vsize=197672 CPUtime=90.01 /proc/23331/task/23339/stat : 23339 (java) S 23323 23323 19192 0 -1 64 37 7440 0 0 1 1 8995 4 15 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23343] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23343/stat : 23343 (java) S 23323 23323 19192 0 -1 64 49 7440 0 0 0 0 8995 4 17 0 10 0 678288970 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1749.79 Current children cumulated vsize (KiB) 864124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1833.5 s] /proc/loadavg: 2.00 2.00 2.00 3/103 23401 /proc/meminfo: memFree=1096232/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=1.82 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 375 7674 0 0 0 0 177 5 19 0 1 0 678279128 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 238 196 169 0 51 0 [pid=23331] ppid=23323 vsize=197672 CPUtime=95.6 /proc/23331/stat : 23331 (java) S 23323 23323 19192 0 -1 0 11659 7440 1 0 542 19 8995 4 20 0 10 0 678279312 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23331/statm: 49418 9432 2545 9 0 44000 0 [pid=23344] ppid=23331 vsize=5356 CPUtime=0 /proc/23344/stat : 23344 (choco) S 23331 23323 19192 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 678288970 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/23344/statm: 1339 238 197 169 0 50 0 [pid=23345] ppid=23344 vsize=655736 CPUtime=1702.61 /proc/23345/stat : 23345 (java) S 23344 23323 19192 0 -1 0 22119 0 1 0 170225 36 0 0 19 0 9 0 678288971 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23345/statm: 163934 20512 1945 9 0 158463 0 [pid=23345/tid=23346] ppid=23344 vsize=655736 CPUtime=1698.63 /proc/23345/task/23346/stat : 23346 (java) R 23344 23323 19192 0 -1 64 13403 0 1 0 169840 23 0 0 25 0 9 0 678288972 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4127439441 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23347] ppid=23344 vsize=655736 CPUtime=3.45 /proc/23345/task/23347/stat : 23347 (java) S 23344 23323 19192 0 -1 64 7385 0 0 0 335 10 0 0 16 0 9 0 678288973 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23348] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23348/stat : 23348 (java) S 23344 23323 19192 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 678288973 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23349] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23349/stat : 23349 (java) S 23344 23323 19192 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 678288973 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23350] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23350/stat : 23350 (java) S 23344 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 678288975 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23351] ppid=23344 vsize=655736 CPUtime=0.48 /proc/23345/task/23351/stat : 23351 (java) S 23344 23323 19192 0 -1 64 785 0 0 0 47 1 0 0 15 0 9 0 678288975 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23352] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23352/stat : 23352 (java) S 23344 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 678288976 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23353] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23353/stat : 23353 (java) S 23344 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 678288976 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23332] ppid=23323 vsize=197672 CPUtime=94.48 /proc/23331/task/23332/stat : 23332 (java) S 23323 23323 19192 0 -1 64 3937 7440 1 0 442 7 8995 4 16 0 10 0 678279313 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=23331/tid=23333] ppid=23323 vsize=197672 CPUtime=90.82 /proc/23331/task/23333/stat : 23333 (java) S 23323 23323 19192 0 -1 64 6140 7440 0 0 75 8 8995 4 16 0 10 0 678279314 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23334] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23334/stat : 23334 (java) S 23323 23323 19192 0 -1 64 11 7440 0 0 0 0 8995 4 16 0 10 0 678279314 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23335] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23335/stat : 23335 (java) S 23323 23323 19192 0 -1 64 5 7440 0 0 0 0 8995 4 16 0 10 0 678279314 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23336] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23336/stat : 23336 (java) S 23323 23323 19192 0 -1 64 0 7440 0 0 0 0 8995 4 25 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23337] ppid=23323 vsize=197672 CPUtime=90.21 /proc/23331/task/23337/stat : 23337 (java) S 23323 23323 19192 0 -1 64 699 7440 0 0 22 0 8995 4 16 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23338] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23338/stat : 23338 (java) S 23323 23323 19192 0 -1 64 1 7440 0 0 0 0 8995 4 25 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23339] ppid=23323 vsize=197672 CPUtime=90.01 /proc/23331/task/23339/stat : 23339 (java) S 23323 23323 19192 0 -1 64 37 7440 0 0 1 1 8995 4 15 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23343] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23343/stat : 23343 (java) S 23323 23323 19192 0 -1 64 49 7440 0 0 0 0 8995 4 17 0 10 0 678288970 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 864124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1833.5 s] /proc/loadavg: 2.00 2.00 2.00 3/103 23401 /proc/meminfo: memFree=1096232/2055920 swapFree=4179808/4192956 [pid=23323] ppid=23321 vsize=5360 CPUtime=1.82 /proc/23323/stat : 23323 (hydra) S 23321 23323 19192 0 -1 4194304 375 7674 0 0 0 0 177 5 19 0 1 0 678279128 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23323/statm: 1340 238 196 169 0 51 0 [pid=23331] ppid=23323 vsize=197672 CPUtime=95.6 /proc/23331/stat : 23331 (java) S 23323 23323 19192 0 -1 0 11659 7440 1 0 542 19 8995 4 20 0 10 0 678279312 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23331/statm: 49418 9432 2545 9 0 44000 0 [pid=23344] ppid=23331 vsize=5356 CPUtime=0 /proc/23344/stat : 23344 (choco) S 23331 23323 19192 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 678288970 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/23344/statm: 1339 238 197 169 0 50 0 [pid=23345] ppid=23344 vsize=655736 CPUtime=1702.61 /proc/23345/stat : 23345 (java) S 23344 23323 19192 0 -1 0 22119 0 1 0 170225 36 0 0 19 0 9 0 678288971 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23345/statm: 163934 20512 1945 9 0 158463 0 [pid=23345/tid=23346] ppid=23344 vsize=655736 CPUtime=1698.63 /proc/23345/task/23346/stat : 23346 (java) R 23344 23323 19192 0 -1 64 13403 0 1 0 169840 23 0 0 25 0 9 0 678288972 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4127439441 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23347] ppid=23344 vsize=655736 CPUtime=3.45 /proc/23345/task/23347/stat : 23347 (java) S 23344 23323 19192 0 -1 64 7385 0 0 0 335 10 0 0 16 0 9 0 678288973 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23348] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23348/stat : 23348 (java) S 23344 23323 19192 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 678288973 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23349] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23349/stat : 23349 (java) S 23344 23323 19192 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 678288973 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23350] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23350/stat : 23350 (java) S 23344 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 678288975 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23351] ppid=23344 vsize=655736 CPUtime=0.48 /proc/23345/task/23351/stat : 23351 (java) S 23344 23323 19192 0 -1 64 785 0 0 0 47 1 0 0 15 0 9 0 678288975 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23352] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23352/stat : 23352 (java) S 23344 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 678288976 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23345/tid=23353] ppid=23344 vsize=655736 CPUtime=0 /proc/23345/task/23353/stat : 23353 (java) S 23344 23323 19192 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 678288976 671473664 20512 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23332] ppid=23323 vsize=197672 CPUtime=94.48 /proc/23331/task/23332/stat : 23332 (java) S 23323 23323 19192 0 -1 64 3937 7440 1 0 442 7 8995 4 16 0 10 0 678279313 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=23331/tid=23333] ppid=23323 vsize=197672 CPUtime=90.82 /proc/23331/task/23333/stat : 23333 (java) S 23323 23323 19192 0 -1 64 6140 7440 0 0 75 8 8995 4 16 0 10 0 678279314 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23334] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23334/stat : 23334 (java) S 23323 23323 19192 0 -1 64 11 7440 0 0 0 0 8995 4 16 0 10 0 678279314 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23335] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23335/stat : 23335 (java) S 23323 23323 19192 0 -1 64 5 7440 0 0 0 0 8995 4 16 0 10 0 678279314 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23336] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23336/stat : 23336 (java) S 23323 23323 19192 0 -1 64 0 7440 0 0 0 0 8995 4 25 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23337] ppid=23323 vsize=197672 CPUtime=90.21 /proc/23331/task/23337/stat : 23337 (java) S 23323 23323 19192 0 -1 64 699 7440 0 0 22 0 8995 4 16 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23338] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23338/stat : 23338 (java) S 23323 23323 19192 0 -1 64 1 7440 0 0 0 0 8995 4 25 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23339] ppid=23323 vsize=197672 CPUtime=90.01 /proc/23331/task/23339/stat : 23339 (java) S 23323 23323 19192 0 -1 64 37 7440 0 0 1 1 8995 4 15 0 10 0 678279316 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23331/tid=23343] ppid=23323 vsize=197672 CPUtime=89.99 /proc/23331/task/23343/stat : 23343 (java) S 23323 23323 19192 0 -1 64 49 7440 0 0 0 0 8995 4 17 0 10 0 678288970 202416128 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 864124 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23323 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=776729 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=52991 # CPU time returned by wait4() is 1.82972 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1833.54 CPU time (s): 1800.03 CPU user time (s): 1799.39 CPU system time (s): 0.64 CPU usage (%): 98.1727 Max. virtual memory (cumulated for all children) (KiB): 864124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.77673 system time used= 0.052991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8049 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= 30 involuntary context switches= 11 runsolver used 6.76197 second user time and 17.6503 second system time The end
Begin job on node89 at 2008-07-05 04:38:35 IDJOB=1083155 IDBENCH=57417 IDSOLVER=366 FILE ID=node89/1083155-1215225515 PBS_JOBID= 7881653 Free space on /tmp= 66492 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-1.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1083155-1215225515/watcher-1083155-1215225515 -o /tmp/evaluation-result-1083155-1215225515/solver-1083155-1215225515 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1083155-1215225515.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= daaf1af72f8f417d373a93d1048498fa RANDOM SEED=1713394998 node89.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.213 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.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1622392 kB Buffers: 73592 kB Cached: 288104 kB SwapCached: 7136 kB Active: 263164 kB Inactive: 113284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1622392 kB SwapTotal: 4192956 kB SwapFree: 4179808 kB Dirty: 24992 kB Writeback: 0 kB Mapped: 19836 kB Slab: 42436 kB Committed_AS: 1925884 kB PageTables: 1776 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= 66496 MiB End job on node89 at 2008-07-05 05:09:11