Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 31.4502 | 31.735 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 26821 |
CHECKS | 39642 |
Name | csp/lexVg/ normalized-crossword-m1c-lex-vg5-9_ext.xml |
MD5SUM | cc349870ad14cc63690440668c347c92 |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 24.4223 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 45 |
Number of constraints | 14 |
Maximum constraint arity | 9 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 14 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.00/7.13 c CASE TO CLASSIFY: 7.00/7.13 c Case: 0 7.00/7.13 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.836000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.936960 | c 14 > 9.103290 | c 11 > 5.491850 | c 12 > 8.530170 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.00/7.14 c choco : 1801.0 7.00/7.14 c mistral : 1801.0 7.00/7.14 c abscon : 1801.0 7.00/7.14 c 7.00/7.14 c 7.09/7.22 c List of same ones: 40 7.09/7.22 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-8_ext.xml 7.09/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.480800 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.882850 | c 14 > 8.894820 | c 11 > 5.321930 | c 12 > 8.183640 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.022400 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.23 c choco : 952.36 7.09/7.23 c mistral : 331.59 7.09/7.23 c abscon : 52.73 7.09/7.23 c 7.09/7.23 c 7.09/7.23 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-9_ext.xml 7.09/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.311500 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.201180 | c 14 > 8.647460 | c 11 > 5.491850 | c 12 > 7.766420 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.24 c choco : 257.0 7.09/7.24 c mistral : 85.15 7.09/7.24 c abscon : 27.98 7.09/7.24 c 7.09/7.24 c 7.09/7.24 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-9_ext.xml 7.09/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.120000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.652310 | c 14 > 8.199670 | c 11 > 5.754890 | c 12 > 7.535280 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.455300 | c 31 > -1.000000 | c 4 > 5.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.25 c choco : 419.03 7.09/7.25 c mistral : 108.95 7.09/7.25 c abscon : 41.83 7.09/7.25 c 7.09/7.25 c 7.09/7.25 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-8_ext.xml 7.09/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.250000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.285280 | c 14 > 8.396600 | c 11 > 5.584960 | c 12 > 7.741750 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.285400 | c 31 > -1.000000 | c 4 > 5.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.26 c choco : 1149.65 7.09/7.26 c mistral : 387.27 7.09/7.26 c abscon : 83.11 7.09/7.26 c 7.09/7.26 c 7.09/7.26 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-7_ext.xml 7.09/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.352500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 5.541390 | c 14 > 8.592460 | c 11 > 5.614710 | c 12 > 7.926510 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.315100 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.27 c choco : 1801.0 7.09/7.27 c mistral : 461.55 7.09/7.27 c abscon : 119.24 7.09/7.27 c 7.09/7.27 c 7.09/7.27 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-10_ext.xml 7.09/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.317900 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.604050 | c 14 > 8.204570 | c 11 > 5.906890 | c 12 > 7.565550 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.607300 | c 31 > -1.000000 | c 4 > 5.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.28 c choco : 113.92 7.09/7.28 c mistral : 1801.0 7.09/7.28 c abscon : 16.64 7.09/7.28 c 7.09/7.28 c 7.09/7.28 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-7_ext.xml 7.09/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.530000 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 6.792590 | c 14 > 9.174930 | c 11 > 5.129280 | c 12 > 8.975560 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.829720 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.28 c choco : 1801.0 7.09/7.28 c mistral : 492.76 7.09/7.28 c abscon : 95.65 7.09/7.28 c 7.09/7.28 c 7.09/7.28 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-7_ext.xml 7.09/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.116400 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 5.893840 | c 14 > 8.396600 | c 11 > 5.392320 | c 12 > 7.851300 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.092800 | c 31 > -1.000000 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.29 c choco : 1801.0 7.09/7.29 c mistral : 711.03 7.09/7.29 c abscon : 160.78 7.09/7.29 c 7.09/7.29 c 7.09/7.29 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-8_ext.xml 7.09/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.891400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 4.986610 | c 14 > 7.954200 | c 11 > 5.807350 | c 12 > 7.031060 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.507800 | c 31 > -1.000000 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.30 c choco : 1078.47 7.17/7.30 c mistral : 441.78 7.17/7.30 c abscon : 97.35 7.17/7.30 c 7.17/7.30 c 7.17/7.30 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-9_ext.xml 7.17/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.974500 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.384800 | c 14 > 7.781360 | c 11 > 5.977280 | c 12 > 6.698680 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.677700 | c 31 > -1.000000 | c 4 > 5.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.31 c choco : 422.1 7.17/7.31 c mistral : 144.09 7.17/7.31 c abscon : 38.22 7.17/7.31 c 7.17/7.31 c 7.17/7.31 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-8_ext.xml 7.17/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.245700 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.324780 | c 14 > 7.741470 | c 11 > 5.321930 | c 12 > 6.751210 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.022400 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.51 c choco : 1801.0 7.36/7.51 c mistral : 693.86 7.36/7.51 c abscon : 1801.0 7.36/7.51 c 7.36/7.51 c 7.36/7.51 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-7_ext.xml 7.36/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.616300 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 4.827460 | c 14 > 8.199670 | c 11 > 5.129280 | c 12 > 7.288310 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.829720 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.52 c choco : 61.64 7.36/7.52 c mistral : 39.17 7.36/7.52 c abscon : 7.89 7.36/7.52 c 7.36/7.52 c 7.36/7.52 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-6_ext.xml 7.36/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.860800 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 6.508230 | c 14 > 9.364130 | c 11 > 5.169930 | c 12 > 8.629960 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.870360 | c 31 > -1.000000 | c 4 > 5.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.53 c choco : 15.86 7.36/7.53 c mistral : 34.19 7.36/7.53 c abscon : 6.11 7.36/7.53 c 7.36/7.53 c 7.36/7.53 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-10_ext.xml 7.36/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.948500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.412020 | c 14 > 7.761550 | c 11 > 6.129280 | c 12 > 6.525800 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.829700 | c 31 > -1.000000 | c 4 > 6.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.53 c choco : 109.22 7.36/7.53 c mistral : 1801.0 7.36/7.53 c abscon : 13.55 7.36/7.53 c 7.36/7.53 c 7.36/7.53 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-9_ext.xml 7.36/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.228000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.132830 | c 14 > 7.577430 | c 11 > 5.491850 | c 12 > 6.683700 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.54 c choco : 1801.0 7.36/7.54 c mistral : 256.55 7.36/7.54 c abscon : 1801.0 7.36/7.54 c 7.36/7.54 c 7.36/7.54 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-9_ext.xml 7.36/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.034100 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.012300 | c 14 > 7.741470 | c 11 > 6.339850 | c 12 > 6.046820 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.040300 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.55 c choco : 128.5 7.36/7.55 c mistral : 26.94 7.36/7.55 c abscon : 13.66 7.36/7.55 c 7.36/7.55 c 7.36/7.55 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-8_ext.xml 7.36/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.104700 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.650460 | c 14 > 8.060700 | c 11 > 6.000000 | c 12 > 6.738090 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.700400 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.55 c choco : 679.84 7.36/7.55 c mistral : 200.01 7.36/7.55 c abscon : 45.48 7.36/7.55 c 7.36/7.55 c 7.36/7.55 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-10_ext.xml 7.36/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.922200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.743700 | c 14 > 7.607330 | c 11 > 6.321930 | c 12 > 6.297370 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.022400 | c 31 > -1.000000 | c 4 > 6.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.56 c choco : 91.35 7.36/7.56 c mistral : 1801.0 7.36/7.56 c abscon : 10.8 7.36/7.56 c 7.36/7.56 c 7.36/7.56 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-6_ext.xml 7.36/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.160400 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 6.896720 | c 14 > 9.945440 | c 11 > 4.906890 | c 12 > 9.893550 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.607330 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.57 c choco : 195.58 7.36/7.57 c mistral : 69.51 7.36/7.57 c abscon : 19.8 7.36/7.57 c 7.36/7.57 c 7.36/7.57 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-10_ext.xml 7.36/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.142600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 5.295870 | c 14 > 7.562240 | c 11 > 6.643860 | c 12 > 6.217230 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.344300 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.58 c choco : 42.25 7.36/7.58 c mistral : 28.91 7.36/7.58 c abscon : 6.97 7.36/7.58 c 7.36/7.58 c 7.36/7.58 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-11_ext.xml 7.36/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.985300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 5.468270 | c 14 > 7.554590 | c 11 > 6.459430 | c 12 > 6.648930 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.159900 | c 31 > -1.000000 | c 4 > 6.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.59 c choco : 37.76 7.36/7.59 c mistral : 19.41 7.36/7.59 c abscon : 7.14 7.36/7.59 c 7.36/7.59 c 7.36/7.59 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-11_ext.xml 7.36/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.068100 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.716250 | c 14 > 7.721100 | c 11 > 6.266790 | c 12 > 6.515190 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.967200 | c 31 > -1.000000 | c 4 > 6.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.36/7.59 c choco : 34.64 7.36/7.59 c mistral : 40.69 7.36/7.59 c abscon : 8.57 7.36/7.59 c 7.36/7.59 c 7.36/7.59 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-9_ext.xml 7.36/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.692900 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.272910 | c 14 > 7.546890 | c 11 > 6.169930 | c 12 > 6.054080 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.870400 | c 31 > -1.000000 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.61 c choco : 267.94 7.44/7.61 c mistral : 64.45 7.44/7.61 c abscon : 23.72 7.44/7.61 c 7.44/7.61 c 7.44/7.61 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-6_ext.xml 7.44/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.139200 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 6.045130 | c 14 > 8.179910 | c 11 > 4.906890 | c 12 > 7.007490 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.607330 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.61 c choco : 7.99 7.44/7.61 c mistral : 4.74 7.44/7.61 c abscon : 5.29 7.44/7.61 c 7.44/7.61 c 7.44/7.61 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-10_ext.xml 7.44/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.909000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.246160 | c 14 > 7.285400 | c 11 > 6.491850 | c 12 > 6.158970 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.192300 | c 31 > -1.000000 | c 4 > 6.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.62 c choco : 64.01 7.44/7.62 c mistral : 51.8 7.44/7.62 c abscon : 9.14 7.44/7.62 c 7.44/7.62 c 7.44/7.62 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-6_ext.xml 7.44/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.950400 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 6.102740 | c 14 > 7.826550 | c 11 > 5.169930 | c 12 > 7.013090 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.870360 | c 31 > -1.000000 | c 4 > 5.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.62 c choco : 10.76 7.44/7.62 c mistral : 4.42 7.44/7.62 c abscon : 4.74 7.44/7.62 c 7.44/7.62 c 7.44/7.62 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-9_ext.xml 7.44/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.111100 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.236350 | c 14 > 7.108520 | c 11 > 5.754890 | c 12 > 5.768180 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.455300 | c 31 > -1.000000 | c 4 > 5.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.63 c choco : 1801.0 7.44/7.63 c mistral : 661.42 7.44/7.63 c abscon : 1801.0 7.44/7.63 c 7.44/7.63 c 7.44/7.63 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-7_ext.xml 7.44/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.338500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 3.888940 | c 14 > 7.562240 | c 11 > 5.614710 | c 12 > 6.084430 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.315100 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.63 c choco : 374.35 7.44/7.63 c mistral : 168.5 7.44/7.63 c abscon : 32.25 7.44/7.63 c 7.44/7.63 c 7.44/7.63 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-11_ext.xml 7.44/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.983300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 5.086970 | c 14 > 7.366320 | c 11 > 6.781360 | c 12 > 6.170470 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.392320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.481800 | c 31 > -1.000000 | c 4 > 6.781360 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.64 c choco : 17.99 7.44/7.64 c mistral : 8.62 7.44/7.64 c abscon : 4.92 7.44/7.64 c 7.44/7.64 c 7.44/7.64 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-12_ext.xml 7.44/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.990600 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 5.581350 | c 14 > 7.577430 | c 11 > 6.584960 | c 12 > 6.637830 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.285400 | c 31 > -1.000000 | c 4 > 6.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.65 c choco : 20.1 7.44/7.65 c mistral : 8.13 7.44/7.65 c abscon : 5.46 7.44/7.65 c 7.44/7.65 c 7.44/7.65 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-11_ext.xml 7.44/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.910500 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.586530 | c 14 > 7.266790 | c 11 > 6.629360 | c 12 > 6.053640 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.329800 | c 31 > -1.000000 | c 4 > 6.629360 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.65 c choco : 35.48 7.44/7.65 c mistral : 27.07 7.44/7.65 c abscon : 5.43 7.44/7.65 c 7.44/7.65 c 7.44/7.65 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-10_ext.xml 7.44/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.068200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 3.985900 | c 14 > 7.149750 | c 11 > 5.906890 | c 12 > 5.597930 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.607300 | c 31 > -1.000000 | c 4 > 5.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.66 c choco : 452.6 7.44/7.66 c mistral : 83.31 7.44/7.66 c abscon : 101.93 7.44/7.66 c 7.44/7.66 c 7.44/7.66 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-10_ext.xml 7.44/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.455800 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.572090 | c 14 > 6.942510 | c 11 > 6.643860 | c 12 > 5.501440 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.344300 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.66 c choco : 89.14 7.44/7.66 c mistral : 1801.0 7.44/7.66 c abscon : 19.07 7.44/7.66 c 7.44/7.66 c 7.44/7.66 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-7_ext.xml 7.44/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.867500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 4.876290 | c 14 > 6.988680 | c 11 > 5.129280 | c 12 > 6.104340 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.829720 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.67 c choco : 14.28 7.44/7.67 c mistral : 10.24 7.44/7.67 c abscon : 5.09 7.44/7.67 c 7.44/7.67 c 7.44/7.67 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-11_ext.xml 7.44/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.002900 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.430250 | c 14 > 6.794420 | c 11 > 6.266790 | c 12 > 5.645730 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.967200 | c 31 > -1.000000 | c 4 > 6.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.68 c choco : 71.34 7.44/7.68 c mistral : 34.14 7.44/7.68 c abscon : 33.08 7.44/7.68 c 7.44/7.68 c 7.44/7.68 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-11_ext.xml 7.44/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.564700 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.926420 | c 14 > 6.845490 | c 11 > 6.918860 | c 12 > 5.745140 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.619300 | c 31 > -1.000000 | c 4 > 6.918860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.68 c choco : 12.8 7.44/7.68 c mistral : 3.26 7.44/7.68 c abscon : 4.72 7.44/7.68 c 7.44/7.68 c 7.44/7.68 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-9_ext.xml 7.44/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.184400 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.922820 | c 14 > 6.629360 | c 11 > 6.339850 | c 12 > 5.187630 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.040300 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.69 c choco : 565.32 7.44/7.69 c mistral : 112.49 7.44/7.69 c abscon : 85.82 7.44/7.69 c 7.44/7.69 c 7.44/7.69 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-12_ext.xml 7.44/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.454800 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 5.268380 | c 14 > 7.087460 | c 11 > 6.754890 | c 12 > 5.884680 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.392320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.455300 | c 31 > -1.000000 | c 4 > 6.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.70 c choco : 15.24 7.44/7.70 c mistral : 5.3 7.44/7.70 c abscon : 4.18 7.44/7.70 c 7.44/7.70 c 7.44/7.70 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-9_ext.xml 7.44/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.843000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.459370 | c 14 > 6.714250 | c 11 > 5.977280 | c 12 > 5.114820 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.677700 | c 31 > -1.000000 | c 4 > 5.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.44/7.70 c choco : 1801.0 7.44/7.70 c mistral : 629.74 7.44/7.70 c abscon : 1801.0 7.44/7.70 c 7.44/7.70 c 7.44/7.70 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-8_ext.xml 7.44/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.826600 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.546870 | c 14 > 6.768180 | c 11 > 6.000000 | c 12 > 5.118940 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.700400 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.49/7.71 c choco : 1801.0 7.49/7.71 c mistral : 717.88 7.49/7.71 c abscon : 1801.0 7.49/7.71 c 7.49/7.71 c 7.49/7.71 c Length: 40 7.49/7.71 c 1.1792705731934465 1.2678988562972988 1.617860974805932 1.7073682171986215 2.249637650511744 2.3102210904153737 2.3394612236367585 2.349702357172074 2.5829637752589556 2.9995415004463593 3.0035166400904125 3.0856505444233306 3.124952423813841 3.350856302499407 3.40268265599365 3.436334808615132 3.4457421627277927 3.561009394595864 3.7070191387420706 3.7232347697667416 3.7260809227524834 3.7394378165975697 3.753266424795873 4.026116072122114 4.103603034955988 4.107911241847856 4.206246282601625 4.340350264633028 4.400625113787813 4.427165930694263 4.509179676216063 4.5716471143888615 4.780810437028434 4.973638036508086 5.021384639539178 5.1015389961363615 5.13480496732836 5.2483139739825 5.312874994247465 5.352677822417486 7.49/7.71 c 7.49/7.71 c 1.0 0.9792051749846759 0.9049022929287629 0.8876747645704453 0.7958785007393556 0.7867884168040029 0.7824750436256788 0.7809754791066069 0.748311292879628 0.6963015240963676 0.6958400276332076 0.6864396890706396 0.6820308024817192 0.6577481272786103 0.6524191215360438 0.6490048605594533 0.6480567963649261 0.6366612130773156 0.6227891672096006 0.6212857637692636 0.6210226362282937 0.6197907595428009 0.6185205162431829 0.5944810534524161 0.5879910251941232 0.5876343411761625 0.5796090670734017 0.5690114772835674 0.5643734535127637 0.5623550837884286 0.5562083555192805 0.5516159812164896 0.5367762878044873 0.5237857996482327 0.5206657290171999 0.5155106773326249 0.5134010591198622 0.5063308749343146 0.5023957368636205 0.5 7.49/7.73 c 7.49/7.73 c solver 0 7.49/7.73 c before 0.0 seconds: {} 0 7.49/7.73 c before 18.0 seconds: {5, 11, 12, 13, 15, 17, 19, 20, 21, 23, 24, 25, 28, 29, 30, 33, 35, 37} 10959 7.49/7.73 c before 36.0 seconds: {1, 5, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 37} 14806 7.49/7.73 c before 54.0 seconds: {0, 1, 2, 5, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 37} 18055 7.49/7.73 c before 90.0 seconds: {0, 1, 2, 3, 5, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37} 19456 7.49/7.73 c before 108.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 21539 7.49/7.73 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 22335 7.49/7.73 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 23116 7.49/7.73 c 7.49/7.73 c solver 1 7.49/7.73 c before 0.0 seconds: {} 0 7.49/7.73 c before 18.0 seconds: {23, 25, 28, 29, 33, 35, 37} 3854 7.49/7.73 c before 36.0 seconds: {12, 15, 19, 20, 23, 25, 28, 29, 30, 33, 34, 35, 37} 7504 7.49/7.73 c before 54.0 seconds: {11, 12, 15, 19, 20, 21, 23, 24, 25, 28, 29, 30, 33, 34, 35, 37} 9398 7.49/7.73 c before 72.0 seconds: {11, 12, 15, 18, 19, 20, 21, 22, 23, 24, 25, 28, 29, 30, 33, 34, 35, 37} 10640 7.49/7.73 c before 90.0 seconds: {1, 11, 12, 15, 18, 19, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31, 33, 34, 35, 37} 12171 7.49/7.73 c before 126.0 seconds: {1, 2, 11, 12, 15, 18, 19, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31, 33, 34, 35, 36, 37} 13589 7.49/7.73 c before 162.0 seconds: {1, 2, 9, 11, 12, 15, 18, 19, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31, 33, 34, 35, 36, 37} 14285 7.49/7.73 c before 180.0 seconds: {1, 2, 9, 11, 12, 15, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37} 14854 7.49/7.73 c before 216.0 seconds: {1, 2, 9, 11, 12, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37} 15502 7.49/7.73 c before 270.0 seconds: {1, 2, 9, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37} 16155 7.49/7.73 c before 342.0 seconds: {0, 1, 2, 9, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37} 17155 7.49/7.73 c before 396.0 seconds: {0, 1, 2, 3, 9, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37} 18042 7.49/7.73 c before 450.0 seconds: {0, 1, 2, 3, 8, 9, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37} 18791 7.49/7.73 c before 468.0 seconds: {0, 1, 2, 3, 4, 8, 9, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37} 19586 7.49/7.73 c before 504.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37} 20369 7.49/7.73 c before 630.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38} 20871 7.49/7.73 c before 666.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38} 21451 7.49/7.73 c before 702.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38} 22147 7.49/7.73 c before 720.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 23428 7.49/7.73 c 7.49/7.73 c solver 2 7.49/7.73 c before 0.0 seconds: {} 0 7.49/7.73 c before 18.0 seconds: {12, 23, 25, 28, 33, 35, 37} 3974 7.49/7.73 c before 36.0 seconds: {12, 21, 23, 25, 28, 29, 30, 33, 35, 37} 5712 7.49/7.73 c before 54.0 seconds: {12, 19, 20, 21, 23, 25, 28, 29, 30, 33, 35, 37} 6954 7.49/7.73 c before 72.0 seconds: {11, 12, 19, 20, 21, 23, 24, 25, 28, 29, 30, 33, 34, 35, 37} 8749 7.49/7.73 c before 90.0 seconds: {11, 12, 19, 20, 21, 23, 24, 25, 28, 29, 30, 32, 33, 34, 35, 37} 9286 7.49/7.73 c before 108.0 seconds: {11, 12, 17, 19, 20, 21, 23, 24, 25, 28, 29, 30, 32, 33, 34, 35, 37} 9923 7.49/7.73 c before 126.0 seconds: {5, 11, 12, 13, 17, 19, 20, 21, 23, 24, 25, 28, 29, 30, 32, 33, 34, 35, 37} 11367 7.49/7.73 c before 144.0 seconds: {5, 11, 12, 13, 15, 17, 19, 20, 21, 23, 24, 25, 28, 29, 30, 32, 33, 34, 35, 37} 12016 7.49/7.73 c before 198.0 seconds: {5, 11, 12, 13, 15, 17, 18, 19, 20, 21, 23, 24, 25, 28, 29, 30, 32, 33, 34, 35, 37} 12639 7.49/7.73 c before 270.0 seconds: {1, 5, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 28, 29, 30, 32, 33, 34, 35, 37} 14237 7.49/7.73 c before 378.0 seconds: {1, 5, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 37} 14806 7.49/7.73 c before 432.0 seconds: {1, 2, 5, 9, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 37} 16407 7.49/7.73 c before 468.0 seconds: {1, 2, 5, 9, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37} 16959 7.49/7.73 c before 576.0 seconds: {1, 2, 5, 9, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 17472 7.49/7.73 c before 684.0 seconds: {1, 2, 5, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 18120 7.49/7.73 c before 954.0 seconds: {0, 1, 2, 5, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 19120 7.49/7.73 c before 1080.0 seconds: {0, 1, 2, 5, 8, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 19869 7.49/7.73 c before 1152.0 seconds: {0, 1, 2, 3, 5, 8, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 20756 7.49/7.73 c 7.49/7.73 cTotal time: 113 7.49/7.74 c run abscon for 162.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 23116 7.49/7.74 c run mistral for 720.0 seconds {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 23428 7.49/7.74 c run choco for 684.0 seconds {1, 2, 5, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 18120 7.49/7.74 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.49/7.74 c On Instance: HOME/instance-1079623-1215210488.xml 7.49/7.74 c Running for: 162 seconds 31.35/31.68 s UNSATISFIABLE 31.35/31.68 d ASSIGNMENTS 26821 31.35/31.68 d CHECKS 39642
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079623-1215210488/watcher-1079623-1215210488 -o /tmp/evaluation-result-1079623-1215210488/solver-1079623-1215210488 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1079623-1215210488.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.95 1.99 1.99 4/72 20546 /proc/meminfo: memFree=1493824/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=18572 CPUtime=0 /proc/20546/stat : 20546 (runsolver) R 20544 20546 19302 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 705015194 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 226238197031 0 0 4096 24578 0 0 0 17 1 0 0 /proc/20546/statm: 4643 292 257 25 0 2626 0 [startup+0.044664 s] /proc/loadavg: 1.95 1.99 1.99 4/72 20546 /proc/meminfo: memFree=1493824/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=0 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 705015194 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101667 s] /proc/loadavg: 1.95 1.99 1.99 4/72 20546 /proc/meminfo: memFree=1493824/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=0 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 705015194 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.3017 s] /proc/loadavg: 1.95 1.99 1.99 4/72 20546 /proc/meminfo: memFree=1493824/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=0 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 705015194 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701768 s] /proc/loadavg: 1.95 1.99 1.99 4/72 20546 /proc/meminfo: memFree=1493824/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=0 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 705015194 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50191 s] /proc/loadavg: 1.95 1.99 1.99 3/74 20550 /proc/meminfo: memFree=1492720/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=0 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 705015194 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 236 195 169 0 51 0 [pid=20550] ppid=20546 vsize=5120 CPUtime=1.47 /proc/20550/stat : 20550 (xsolve) R 20546 20546 19302 0 -1 4194304 648 0 0 0 147 0 0 0 25 0 1 0 705015195 5242880 607 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/20550/statm: 1280 607 412 177 0 183 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 10480 [startup+3.10217 s] /proc/loadavg: 1.95 1.99 1.99 3/82 20562 /proc/meminfo: memFree=1485744/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=1.48 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 375 1243 0 0 0 0 148 0 20 0 1 0 705015194 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 238 196 169 0 51 0 [pid=20554] ppid=20546 vsize=196988 CPUtime=1.56 /proc/20554/stat : 20554 (java) S 20546 20546 19302 0 -1 0 6477 0 1 0 150 6 0 0 18 0 9 0 705015345 201715712 5445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20554/statm: 49247 5445 2541 9 0 43829 0 [pid=20554/tid=20555] ppid=20546 vsize=196988 CPUtime=1.18 /proc/20554/task/20555/stat : 20555 (java) R 20546 20546 19302 0 -1 64 2792 0 1 0 116 2 0 0 25 0 9 0 705015345 201715712 5445 996147200 134512640 134550740 4294955968 18446744073709551615 4126439407 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20556] ppid=20546 vsize=196988 CPUtime=0.21 /proc/20554/task/20556/stat : 20556 (java) S 20546 20546 19302 0 -1 64 2349 0 0 0 19 2 0 0 16 0 9 0 705015347 201715712 5445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20557] ppid=20546 vsize=196988 CPUtime=0 /proc/20554/task/20557/stat : 20557 (java) S 20546 20546 19302 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 705015347 201715712 5445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20558] ppid=20546 vsize=196988 CPUtime=0 /proc/20554/task/20558/stat : 20558 (java) S 20546 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 705015347 201715712 5445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20559] ppid=20546 vsize=196988 CPUtime=0 /proc/20554/task/20559/stat : 20559 (java) S 20546 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 705015349 201715712 5445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20560] ppid=20546 vsize=196988 CPUtime=0.14 /proc/20554/task/20560/stat : 20560 (java) S 20546 20546 19302 0 -1 64 611 0 0 0 14 0 0 0 16 0 9 0 705015349 201715712 5445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20561] ppid=20546 vsize=196988 CPUtime=0 /proc/20554/task/20561/stat : 20561 (java) S 20546 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 705015349 201715712 5445 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20562] ppid=20546 vsize=196988 CPUtime=0 /proc/20554/task/20562/stat : 20562 (java) S 20546 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 705015349 201715712 5445 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) 202348 [startup+6.30276 s] /proc/loadavg: 1.95 1.99 1.99 3/82 20562 /proc/meminfo: memFree=1472816/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=1.48 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 375 1243 0 0 0 0 148 0 20 0 1 0 705015194 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 238 196 169 0 51 0 [pid=20554] ppid=20546 vsize=197096 CPUtime=4.72 /proc/20554/stat : 20554 (java) S 20546 20546 19302 0 -1 0 10210 0 1 0 459 13 0 0 18 0 9 0 705015345 201826304 8465 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20554/statm: 49274 8465 2541 9 0 43856 0 [pid=20554/tid=20555] ppid=20546 vsize=197096 CPUtime=3.72 /proc/20554/task/20555/stat : 20555 (java) R 20546 20546 19302 0 -1 64 3585 0 1 0 368 4 0 0 25 0 9 0 705015345 201826304 8465 996147200 134512640 134550740 4294955968 18446744073709551615 4126442999 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20556] ppid=20546 vsize=197096 CPUtime=0.8 /proc/20554/task/20556/stat : 20556 (java) S 20546 20546 19302 0 -1 64 5273 0 0 0 73 7 0 0 16 0 9 0 705015347 201826304 8465 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20557] ppid=20546 vsize=197096 CPUtime=0 /proc/20554/task/20557/stat : 20557 (java) S 20546 20546 19302 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 705015347 201826304 8465 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20558] ppid=20546 vsize=197096 CPUtime=0 /proc/20554/task/20558/stat : 20558 (java) S 20546 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 705015347 201826304 8465 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20559] ppid=20546 vsize=197096 CPUtime=0 /proc/20554/task/20559/stat : 20559 (java) S 20546 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 705015349 201826304 8465 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20560] ppid=20546 vsize=197096 CPUtime=0.17 /proc/20554/task/20560/stat : 20560 (java) S 20546 20546 19302 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 705015349 201826304 8465 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20561] ppid=20546 vsize=197096 CPUtime=0 /proc/20554/task/20561/stat : 20561 (java) S 20546 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 705015349 201826304 8465 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20562] ppid=20546 vsize=197096 CPUtime=0 /proc/20554/task/20562/stat : 20562 (java) R 20546 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 705015349 201826304 8465 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) 202456 [startup+12.7028 s] /proc/loadavg: 1.96 1.99 1.99 2/92 20575 /proc/meminfo: memFree=1437088/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=1.48 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 375 1243 0 0 0 0 148 0 20 0 1 0 705015194 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 238 196 169 0 51 0 [pid=20554] ppid=20546 vsize=197420 CPUtime=6.05 /proc/20554/stat : 20554 (java) S 20546 20546 19302 0 -1 0 13981 0 1 0 586 19 0 0 18 0 10 0 705015345 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20554/statm: 49355 9491 2544 9 0 43937 0 [pid=20564] ppid=20554 vsize=5356 CPUtime=0 /proc/20564/stat : 20564 (abscon) S 20554 20546 19302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 705015968 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 226238194500 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20564/statm: 1339 237 196 169 0 50 0 [pid=20565] ppid=20564 vsize=654936 CPUtime=4.93 /proc/20565/stat : 20565 (java) S 20564 20546 19302 0 -1 0 10908 0 1 0 487 6 0 0 18 0 9 0 705015969 670654464 10221 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20565/statm: 163734 10221 2610 9 0 158262 0 [pid=20565/tid=20567] ppid=20564 vsize=654936 CPUtime=4.67 /proc/20565/task/20567/stat : 20567 (java) R 20564 20546 19302 0 -1 64 8608 0 1 0 463 4 0 0 25 0 9 0 705015970 670654464 10221 996147200 134512640 134550740 4294955808 18446744073709551615 4126727717 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20568] ppid=20564 vsize=654936 CPUtime=0.03 /proc/20565/task/20568/stat : 20568 (java) S 20564 20546 19302 0 -1 64 1366 0 0 0 3 0 0 0 16 0 9 0 705015971 670654464 10221 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20569] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20569/stat : 20569 (java) S 20564 20546 19302 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 705015971 670654464 10221 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20570] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20570/stat : 20570 (java) S 20564 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 705015971 670654464 10221 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20571] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20571/stat : 20571 (java) S 20564 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 705015973 670654464 10221 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20572] ppid=20564 vsize=654936 CPUtime=0.2 /proc/20565/task/20572/stat : 20572 (java) S 20564 20546 19302 0 -1 64 389 0 0 0 19 1 0 0 16 0 9 0 705015973 670654464 10221 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20573] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20573/stat : 20573 (java) S 20564 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 705015973 670654464 10221 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20574] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20574/stat : 20574 (java) S 20564 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 705015973 670654464 10221 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20566] ppid=20564 vsize=7044 CPUtime=0 /proc/20566/stat : 20566 (translate) S 20564 20546 19302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 705015969 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 226238365778 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20566/statm: 1761 213 182 1 0 41 0 [pid=20554/tid=20555] ppid=20546 vsize=197420 CPUtime=4.67 /proc/20554/task/20555/stat : 20555 (java) S 20546 20546 19302 0 -1 64 3912 0 1 0 460 7 0 0 25 0 10 0 705015345 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=20554/tid=20556] ppid=20546 vsize=197420 CPUtime=1.11 /proc/20554/task/20556/stat : 20556 (java) S 20546 20546 19302 0 -1 64 8572 0 0 0 101 10 0 0 16 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20557] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20557/stat : 20557 (java) S 20546 20546 19302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20558] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20558/stat : 20558 (java) S 20546 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20559] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20559/stat : 20559 (java) S 20546 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20560] ppid=20546 vsize=197420 CPUtime=0.24 /proc/20554/task/20560/stat : 20560 (java) S 20546 20546 19302 0 -1 64 668 0 0 0 23 1 0 0 15 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20561] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20561/stat : 20561 (java) S 20546 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20562] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20562/stat : 20562 (java) S 20546 20546 19302 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20563] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20563/stat : 20563 (java) S 20546 20546 19302 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 705015968 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.46 Current children cumulated vsize (KiB) 870116 [startup+25.5029 s] /proc/loadavg: 1.96 1.99 1.99 3/96 20625 /proc/meminfo: memFree=1404352/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=1.48 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 375 1243 0 0 0 0 148 0 20 0 1 0 705015194 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 238 196 169 0 51 0 [pid=20554] ppid=20546 vsize=197420 CPUtime=6.05 /proc/20554/stat : 20554 (java) S 20546 20546 19302 0 -1 0 13981 0 1 0 586 19 0 0 18 0 10 0 705015345 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20554/statm: 49355 9491 2544 9 0 43937 0 [pid=20564] ppid=20554 vsize=5356 CPUtime=0 /proc/20564/stat : 20564 (abscon) S 20554 20546 19302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 705015968 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 226238194500 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20564/statm: 1339 237 196 169 0 50 0 [pid=20565] ppid=20564 vsize=654936 CPUtime=17.72 /proc/20565/stat : 20565 (java) S 20564 20546 19302 0 -1 0 10994 0 1 0 1765 7 0 0 18 0 9 0 705015969 670654464 10306 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20565/statm: 163734 10306 2610 9 0 158262 0 [pid=20565/tid=20567] ppid=20564 vsize=654936 CPUtime=17.46 /proc/20565/task/20567/stat : 20567 (java) R 20564 20546 19302 0 -1 64 8693 0 1 0 1742 4 0 0 25 0 9 0 705015970 670654464 10306 996147200 134512640 134550740 4294955808 18446744073709551615 4126727907 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20568] ppid=20564 vsize=654936 CPUtime=0.03 /proc/20565/task/20568/stat : 20568 (java) S 20564 20546 19302 0 -1 64 1366 0 0 0 3 0 0 0 16 0 9 0 705015971 670654464 10306 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20569] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20569/stat : 20569 (java) S 20564 20546 19302 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 705015971 670654464 10306 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/20565/task/20570/stat : 20570 (java) S 20564 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 705015971 670654464 10342 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20571] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20571/stat : 20571 (java) S 20564 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 705015973 670654464 10342 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20572] ppid=20564 vsize=654936 CPUtime=0.2 /proc/20565/task/20572/stat : 20572 (java) S 20564 20546 19302 0 -1 64 390 0 0 0 19 1 0 0 16 0 9 0 705015973 670654464 10342 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20573] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20573/stat : 20573 (java) S 20564 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 705015973 670654464 10342 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20574] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20574/stat : 20574 (java) S 20564 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 705015973 670654464 10342 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20566] ppid=20564 vsize=7044 CPUtime=0 /proc/20566/stat : 20566 (translate) S 20564 20546 19302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 705015969 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 226238365778 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20566/statm: 1761 213 182 1 0 41 0 [pid=20554/tid=20555] ppid=20546 vsize=197420 CPUtime=4.67 /proc/20554/task/20555/stat : 20555 (java) S 20546 20546 19302 0 -1 64 3912 0 1 0 460 7 0 0 25 0 10 0 705015345 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=20554/tid=20556] ppid=20546 vsize=197420 CPUtime=1.11 /proc/20554/task/20556/stat : 20556 (java) S 20546 20546 19302 0 -1 64 8572 0 0 0 101 10 0 0 16 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20557] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20557/stat : 20557 (java) S 20546 20546 19302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20558] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20558/stat : 20558 (java) S 20546 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20559] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20559/stat : 20559 (java) S 20546 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20560] ppid=20546 vsize=197420 CPUtime=0.24 /proc/20554/task/20560/stat : 20560 (java) S 20546 20546 19302 0 -1 64 668 0 0 0 23 1 0 0 15 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20561] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20561/stat : 20561 (java) S 20546 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20562] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20562/stat : 20562 (java) S 20546 20546 19302 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20563] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20563/stat : 20563 (java) S 20546 20546 19302 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 705015968 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.04 Current children cumulated vsize (KiB) 870116 [startup+31.1029 s] /proc/loadavg: 1.97 1.99 1.99 3/103 20683 /proc/meminfo: memFree=1360520/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=1.48 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 375 1243 0 0 0 0 148 0 20 0 1 0 705015194 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 238 196 169 0 51 0 [pid=20554] ppid=20546 vsize=197420 CPUtime=6.05 /proc/20554/stat : 20554 (java) S 20546 20546 19302 0 -1 0 13981 0 1 0 586 19 0 0 18 0 10 0 705015345 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20554/statm: 49355 9491 2544 9 0 43937 0 [pid=20564] ppid=20554 vsize=5356 CPUtime=0 /proc/20564/stat : 20564 (abscon) S 20554 20546 19302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 705015968 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 226238194500 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20564/statm: 1339 237 196 169 0 50 0 [pid=20565] ppid=20564 vsize=654936 CPUtime=23.31 /proc/20565/stat : 20565 (java) S 20564 20546 19302 0 -1 0 11036 0 1 0 2324 7 0 0 18 0 9 0 705015969 670654464 10348 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20565/statm: 163734 10348 2610 9 0 158262 0 [pid=20565/tid=20567] ppid=20564 vsize=654936 CPUtime=23.06 /proc/20565/task/20567/stat : 20567 (java) R 20564 20546 19302 0 -1 64 8735 0 1 0 2301 5 0 0 25 0 9 0 705015970 670654464 10348 996147200 134512640 134550740 4294955808 18446744073709551615 4126727721 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20568] ppid=20564 vsize=654936 CPUtime=0.03 /proc/20565/task/20568/stat : 20568 (java) S 20564 20546 19302 0 -1 64 1366 0 0 0 3 0 0 0 16 0 9 0 705015971 670654464 10348 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20569] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20569/stat : 20569 (java) S 20564 20546 19302 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 705015971 670654464 10348 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20570] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20570/stat : 20570 (java) S 20564 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 705015971 670654464 10348 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20571] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20571/stat : 20571 (java) S 20564 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 705015973 670654464 10348 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20572] ppid=20564 vsize=654936 CPUtime=0.2 /proc/20565/task/20572/stat : 20572 (java) S 20564 20546 19302 0 -1 64 390 0 0 0 19 1 0 0 16 0 9 0 705015973 670654464 10348 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20573] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20573/stat : 20573 (java) S 20564 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 705015973 670654464 10348 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20574] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20574/stat : 20574 (java) S 20564 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 705015973 670654464 10348 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20566] ppid=20564 vsize=7044 CPUtime=0 /proc/20566/stat : 20566 (translate) S 20564 20546 19302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 705015969 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 226238365778 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20566/statm: 1761 213 182 1 0 41 0 [pid=20554/tid=20555] ppid=20546 vsize=197420 CPUtime=4.67 /proc/20554/task/20555/stat : 20555 (java) S 20546 20546 19302 0 -1 64 3912 0 1 0 460 7 0 0 25 0 10 0 705015345 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=20554/tid=20556] ppid=20546 vsize=197420 CPUtime=1.11 /proc/20554/task/20556/stat : 20556 (java) S 20546 20546 19302 0 -1 64 8572 0 0 0 101 10 0 0 16 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20557] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20557/stat : 20557 (java) S 20546 20546 19302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20558] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20558/stat : 20558 (java) S 20546 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20559] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20559/stat : 20559 (java) S 20546 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20560] ppid=20546 vsize=197420 CPUtime=0.24 /proc/20554/task/20560/stat : 20560 (java) S 20546 20546 19302 0 -1 64 668 0 0 0 23 1 0 0 15 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20561] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20561/stat : 20561 (java) S 20546 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20562] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20562/stat : 20562 (java) S 20546 20546 19302 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20563] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20563/stat : 20563 (java) S 20546 20546 19302 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 705015968 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.84 Current children cumulated vsize (KiB) 870116 [startup+31.5029 s] /proc/loadavg: 1.97 1.99 1.99 3/103 20683 /proc/meminfo: memFree=1360520/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=1.48 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 375 1243 0 0 0 0 148 0 20 0 1 0 705015194 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 238 196 169 0 51 0 [pid=20554] ppid=20546 vsize=197420 CPUtime=6.05 /proc/20554/stat : 20554 (java) S 20546 20546 19302 0 -1 0 13981 0 1 0 586 19 0 0 18 0 10 0 705015345 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20554/statm: 49355 9491 2544 9 0 43937 0 [pid=20564] ppid=20554 vsize=5356 CPUtime=0 /proc/20564/stat : 20564 (abscon) S 20554 20546 19302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 705015968 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 226238194500 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20564/statm: 1339 237 196 169 0 50 0 [pid=20565] ppid=20564 vsize=654936 CPUtime=23.72 /proc/20565/stat : 20565 (java) S 20564 20546 19302 0 -1 0 11039 0 1 0 2364 8 0 0 18 0 9 0 705015969 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20565/statm: 163734 10351 2610 9 0 158262 0 [pid=20565/tid=20567] ppid=20564 vsize=654936 CPUtime=23.46 /proc/20565/task/20567/stat : 20567 (java) R 20564 20546 19302 0 -1 64 8738 0 1 0 2341 5 0 0 25 0 9 0 705015970 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4126778176 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20568] ppid=20564 vsize=654936 CPUtime=0.03 /proc/20565/task/20568/stat : 20568 (java) S 20564 20546 19302 0 -1 64 1366 0 0 0 3 0 0 0 16 0 9 0 705015971 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20569] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20569/stat : 20569 (java) S 20564 20546 19302 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 705015971 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20570] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20570/stat : 20570 (java) S 20564 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 705015971 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20571] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20571/stat : 20571 (java) S 20564 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 705015973 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20572] ppid=20564 vsize=654936 CPUtime=0.2 /proc/20565/task/20572/stat : 20572 (java) S 20564 20546 19302 0 -1 64 390 0 0 0 19 1 0 0 16 0 9 0 705015973 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20573] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20573/stat : 20573 (java) S 20564 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 705015973 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20565/tid=20574] ppid=20564 vsize=654936 CPUtime=0 /proc/20565/task/20574/stat : 20574 (java) S 20564 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 705015973 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20566] ppid=20564 vsize=7044 CPUtime=0 /proc/20566/stat : 20566 (translate) S 20564 20546 19302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 705015969 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 226238365778 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20566/statm: 1761 213 182 1 0 41 0 [pid=20554/tid=20555] ppid=20546 vsize=197420 CPUtime=4.67 /proc/20554/task/20555/stat : 20555 (java) S 20546 20546 19302 0 -1 64 3912 0 1 0 460 7 0 0 25 0 10 0 705015345 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=20554/tid=20556] ppid=20546 vsize=197420 CPUtime=1.11 /proc/20554/task/20556/stat : 20556 (java) S 20546 20546 19302 0 -1 64 8572 0 0 0 101 10 0 0 16 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20557] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20557/stat : 20557 (java) S 20546 20546 19302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20558] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20558/stat : 20558 (java) S 20546 20546 19302 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 705015347 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20559] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20559/stat : 20559 (java) S 20546 20546 19302 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20560] ppid=20546 vsize=197420 CPUtime=0.24 /proc/20554/task/20560/stat : 20560 (java) S 20546 20546 19302 0 -1 64 668 0 0 0 23 1 0 0 15 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20561] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20561/stat : 20561 (java) S 20546 20546 19302 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20562] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20562/stat : 20562 (java) S 20546 20546 19302 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 705015349 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20563] ppid=20546 vsize=197420 CPUtime=0 /proc/20554/task/20563/stat : 20563 (java) S 20546 20546 19302 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 705015968 202158080 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.25 Current children cumulated vsize (KiB) 870116 [startup+31.703 s] /proc/loadavg: 1.97 1.99 1.99 3/103 20683 /proc/meminfo: memFree=1360520/2055920 swapFree=4156344/4192956 [pid=20546] ppid=20544 vsize=5360 CPUtime=1.48 /proc/20546/stat : 20546 (hydra) S 20544 20546 19302 0 -1 4194304 375 1243 0 0 0 0 148 0 20 0 1 0 705015194 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20546/statm: 1340 238 196 169 0 51 0 [pid=20554] ppid=20546 vsize=197420 CPUtime=29.93 /proc/20554/stat : 20554 (java) S 20546 20546 19302 0 -1 0 14046 11739 1 1 586 19 2379 9 18 0 9 0 705015345 202158080 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20554/statm: 49355 9493 2545 9 0 43937 0 [pid=20554/tid=20555] ppid=20546 vsize=197420 CPUtime=28.55 /proc/20554/task/20555/stat : 20555 (java) S 20546 20546 19302 0 -1 64 3959 11739 1 1 460 7 2379 9 16 0 9 0 705015345 202158080 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20554/tid=20556] ppid=20546 vsize=197420 CPUtime=24.99 /proc/20554/task/20556/stat : 20556 (java) S 20546 20546 19302 0 -1 64 8581 11739 0 1 101 10 2379 9 16 0 9 0 705015347 202158080 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20554/tid=20557] ppid=20546 vsize=197420 CPUtime=23.88 /proc/20554/task/20557/stat : 20557 (java) S 20546 20546 19302 0 -1 64 11 11739 0 1 0 0 2379 9 16 0 9 0 705015347 202158080 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20558] ppid=20546 vsize=197420 CPUtime=23.88 /proc/20554/task/20558/stat : 20558 (java) S 20546 20546 19302 0 -1 64 5 11739 0 1 0 0 2379 9 15 0 9 0 705015347 202158080 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20559] ppid=20546 vsize=197420 CPUtime=23.88 /proc/20554/task/20559/stat : 20559 (java) S 20546 20546 19302 0 -1 64 0 11739 0 1 0 0 2379 9 18 0 9 0 705015349 202158080 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20560] ppid=20546 vsize=197420 CPUtime=24.12 /proc/20554/task/20560/stat : 20560 (java) S 20546 20546 19302 0 -1 64 668 11739 0 1 23 1 2379 9 15 0 9 0 705015349 202158080 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20561] ppid=20546 vsize=197420 CPUtime=23.88 /proc/20554/task/20561/stat : 20561 (java) S 20546 20546 19302 0 -1 64 1 11739 0 1 0 0 2379 9 19 0 9 0 705015349 202158080 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20554/tid=20562] ppid=20546 vsize=197420 CPUtime=23.88 /proc/20554/task/20562/stat : 20562 (java) S 20546 20546 19302 0 -1 64 32 11739 0 1 0 0 2379 9 15 0 9 0 705015349 202158080 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.41 Current children cumulated vsize (KiB) 202780 Child status: 0 Real time (s): 31.735 CPU time (s): 31.4502 CPU user time (s): 31.1423 CPU system time (s): 0.307953 CPU usage (%): 99.1026 Max. virtual memory (cumulated for all children) (KiB): 870116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.1423 system time used= 0.307953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27444 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11735 involuntary context switches= 16474 runsolver used 0.138978 second user time and 0.352946 second system time The end
Begin job on node58 at 2008-07-05 00:28:08 IDJOB=1079623 IDBENCH=56892 IDSOLVER=366 FILE ID=node58/1079623-1215210488 PBS_JOBID= 7881662 Free space on /tmp= 66556 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/lexVg/normalized-crossword-m1c-lex-vg5-9_ext.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079623-1215210488/watcher-1079623-1215210488 -o /tmp/evaluation-result-1079623-1215210488/solver-1079623-1215210488 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1079623-1215210488.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= cc349870ad14cc63690440668c347c92 RANDOM SEED=1885079963 node58.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.261 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.261 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: 1494304 kB Buffers: 104676 kB Cached: 327044 kB SwapCached: 30952 kB Active: 211220 kB Inactive: 272416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1494304 kB SwapTotal: 4192956 kB SwapFree: 4156344 kB Dirty: 24608 kB Writeback: 0 kB Mapped: 59364 kB Slab: 63228 kB Committed_AS: 1199432 kB PageTables: 1792 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= 66528 MiB End job on node58 at 2008-07-05 00:28:40