Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 153.346 | 153.795 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 92389 |
CHECKS | 502155 |
Name | csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-3_ext.xml |
MD5SUM | 8f0b2a49e1135ea84dc0e5c626ff8a69 |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 12.97 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 20 |
Number of constraints | 18 |
Maximum constraint arity | 8 |
Maximum domain size | 5 |
Number of constraints which are defined in extension | 18 |
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 10.17/10.37 c CASE TO CLASSIFY: 10.17/10.37 c Case: 0 10.17/10.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.307500 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.946700 | c 14 > 12.758600 | c 11 > 4.321930 | c 12 > 13.493800 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.17/10.39 c choco : 1801.0 10.17/10.39 c mistral : 1801.0 10.17/10.39 c abscon : 1801.0 10.17/10.39 c 10.17/10.39 c 10.26/10.46 c List of same ones: 40 10.26/10.46 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-13_ext.xml 10.26/10.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.376900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.847200 | c 14 > 12.758000 | c 11 > 4.321930 | c 12 > 13.525400 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.47 c choco : 1801.0 10.26/10.47 c mistral : 0.394939 10.26/10.47 c abscon : 54.6227 10.26/10.47 c 10.26/10.47 c 10.26/10.47 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-15_ext.xml 10.26/10.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.235400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 12.017500 | c 14 > 12.640000 | c 11 > 4.321930 | c 12 > 13.456800 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.48 c choco : 1801.0 10.26/10.48 c mistral : 0.400938 10.26/10.48 c abscon : 23.1755 10.26/10.48 c 10.26/10.48 c 10.26/10.48 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-5_ext.xml 10.26/10.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.266900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.746800 | c 14 > 12.757400 | c 11 > 4.321930 | c 12 > 13.701400 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.26/10.49 c choco : 1801.0 10.26/10.49 c mistral : 0.364944 10.26/10.49 c abscon : 238.94 10.26/10.49 c 10.26/10.49 c 10.26/10.49 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-17_ext.xml 10.26/10.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.168900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.906000 | c 14 > 12.528900 | c 11 > 4.321930 | c 12 > 13.384000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.35/10.50 c choco : 1801.0 10.35/10.50 c mistral : 0.372942 10.35/10.50 c abscon : 17.1624 10.35/10.50 c 10.35/10.50 c 10.35/10.50 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-19_ext.xml 10.35/10.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.154200 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.865400 | c 14 > 12.509500 | c 11 > 4.321930 | c 12 > 13.544000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.35/10.51 c choco : 1801.0 10.35/10.51 c mistral : 0.39294 10.35/10.51 c abscon : 110.339 10.35/10.51 c 10.35/10.51 c 10.35/10.51 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-11_ext.xml 10.35/10.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.033000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.993700 | c 14 > 12.472200 | c 11 > 4.321930 | c 12 > 13.306700 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.35/10.52 c choco : 1801.0 10.35/10.52 c mistral : 0.378941 10.35/10.52 c abscon : 108.028 10.35/10.52 c 10.35/10.52 c 10.35/10.52 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-1_ext.xml 10.35/10.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.985200 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.789600 | c 14 > 12.374200 | c 11 > 4.321930 | c 12 > 13.244200 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.35/10.53 c choco : 1801.0 10.35/10.53 c mistral : 0.395938 10.35/10.53 c abscon : 283.768 10.35/10.53 c 10.35/10.53 c 10.35/10.53 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-7_ext.xml 10.35/10.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.026400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 12.432000 | c 14 > 12.470400 | c 11 > 4.321930 | c 12 > 13.399000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.35/10.54 c choco : 1801.0 10.35/10.54 c mistral : 0.400938 10.35/10.54 c abscon : 22.6236 10.35/10.54 c 10.35/10.54 c 10.35/10.54 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-3_ext.xml 10.35/10.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.980300 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.568500 | c 14 > 12.435100 | c 11 > 4.321930 | c 12 > 13.097600 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.35/10.55 c choco : 1801.0 10.35/10.55 c mistral : 0.381941 10.35/10.55 c abscon : 114.395 10.35/10.55 c 10.35/10.55 c 10.35/10.55 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-9_ext.xml 10.35/10.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.071500 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.387400 | c 14 > 12.391200 | c 11 > 4.321930 | c 12 > 13.208400 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.35/10.56 c choco : 1801.0 10.35/10.56 c mistral : 0.376941 10.35/10.56 c abscon : 120.175 10.35/10.56 c 10.35/10.56 c 10.35/10.56 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-6_ext.xml 10.35/10.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 10.53/10.78 c choco : 195.58 10.53/10.78 c mistral : 69.51 10.53/10.78 c abscon : 19.8 10.53/10.78 c 10.53/10.78 c 10.53/10.78 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-7_ext.xml 10.53/10.78 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 10.53/10.79 c choco : 1801.0 10.53/10.79 c mistral : 492.76 10.53/10.79 c abscon : 95.65 10.53/10.79 c 10.53/10.79 c 10.53/10.79 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-6_ext.xml 10.53/10.79 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 10.62/10.80 c choco : 15.86 10.62/10.80 c mistral : 34.19 10.62/10.80 c abscon : 6.11 10.62/10.80 c 10.62/10.80 c 10.62/10.80 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-8_ext.xml 10.62/10.80 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 10.62/10.81 c choco : 952.36 10.62/10.81 c mistral : 331.59 10.62/10.81 c abscon : 52.73 10.62/10.81 c 10.62/10.81 c 10.62/10.81 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-7_ext.xml 10.62/10.81 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 10.62/10.82 c choco : 1801.0 10.62/10.82 c mistral : 711.03 10.62/10.82 c abscon : 160.78 10.62/10.82 c 10.62/10.82 c 10.62/10.82 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-7_ext.xml 10.62/10.82 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 10.62/10.82 c choco : 1801.0 10.62/10.82 c mistral : 461.55 10.62/10.82 c abscon : 119.24 10.62/10.82 c 10.62/10.82 c 10.62/10.82 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-9_ext.xml 10.62/10.82 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 10.62/10.83 c choco : 257.0 10.62/10.83 c mistral : 85.15 10.62/10.83 c abscon : 27.98 10.62/10.83 c 10.62/10.83 c 10.62/10.83 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-8_ext.xml 10.62/10.83 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 10.62/10.84 c choco : 1149.65 10.62/10.84 c mistral : 387.27 10.62/10.84 c abscon : 83.11 10.62/10.84 c 10.62/10.84 c 10.62/10.84 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-9_ext.xml 10.62/10.84 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 10.62/10.85 c choco : 419.03 10.62/10.85 c mistral : 108.95 10.62/10.85 c abscon : 41.83 10.62/10.85 c 10.62/10.85 c 10.62/10.85 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-6_ext.xml 10.62/10.85 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 10.62/10.86 c choco : 7.99 10.62/10.86 c mistral : 4.74 10.62/10.86 c abscon : 5.29 10.62/10.86 c 10.62/10.86 c 10.62/10.86 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-11_ext.xml 10.62/10.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.961400 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.976610 | c 14 > 7.467610 | c 11 > 4.321930 | c 12 > 7.614710 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.62/10.87 c choco : 17.79 10.62/10.87 c mistral : 0.368943 10.62/10.87 c abscon : 12.0622 10.62/10.87 c 10.62/10.87 c 10.62/10.87 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-6_ext.xml 10.62/10.87 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 10.62/10.87 c choco : 10.76 10.62/10.87 c mistral : 4.42 10.62/10.87 c abscon : 4.74 10.62/10.87 c 10.62/10.87 c 10.62/10.87 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-7_ext.xml 10.62/10.87 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 10.62/10.88 c choco : 61.64 10.62/10.88 c mistral : 39.17 10.62/10.88 c abscon : 7.89 10.62/10.88 c 10.62/10.88 c 10.62/10.88 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-19_ext.xml 10.62/10.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.839200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.996420 | c 14 > 7.400880 | c 11 > 4.321930 | c 12 > 7.554590 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.62/10.88 c choco : 16.19 10.62/10.88 c mistral : 0.367943 10.62/10.88 c abscon : 18.0253 10.62/10.88 c 10.62/10.88 c 10.62/10.88 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-15_ext.xml 10.62/10.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.884900 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.563780 | c 14 > 7.475730 | c 11 > 4.321930 | c 12 > 7.629360 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.62/10.89 c choco : 19.01 10.62/10.89 c mistral : 0.372942 10.62/10.89 c abscon : 4.08338 10.62/10.89 c 10.62/10.89 c 10.62/10.89 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-7_ext.xml 10.62/10.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.687400 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 7.246250 | c 14 > 7.285400 | c 11 > 4.321930 | c 12 > 7.442940 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.62/10.90 c choco : 15.04 10.62/10.90 c mistral : 0.364943 10.62/10.90 c abscon : 13.8239 10.62/10.90 c 10.62/10.90 c 10.62/10.90 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-1_ext.xml 10.62/10.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.802500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.831110 | c 14 > 7.417850 | c 11 > 4.321930 | c 12 > 7.558420 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 0.000000 | c 10 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.68/10.90 c choco : 17.5 10.68/10.90 c mistral : 0.370943 10.68/10.90 c abscon : 3.36349 10.68/10.90 c 10.68/10.90 c 10.68/10.90 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-10_ext.xml 10.68/10.90 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 10.68/10.91 c choco : 113.92 10.68/10.91 c mistral : 1801.0 10.68/10.91 c abscon : 16.64 10.68/10.91 c 10.68/10.91 c 10.68/10.91 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-8_ext.xml 10.68/10.91 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 10.68/10.91 c choco : 1078.47 10.68/10.91 c mistral : 441.78 10.68/10.91 c abscon : 97.35 10.68/10.91 c 10.68/10.91 c 10.68/10.91 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-8_ext.xml 10.68/10.91 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 10.68/10.92 c choco : 1801.0 10.68/10.92 c mistral : 693.86 10.68/10.92 c abscon : 1801.0 10.68/10.92 c 10.68/10.92 c 10.68/10.92 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-5_ext.xml 10.68/10.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.879600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.378470 | c 14 > 7.321930 | c 11 > 4.321930 | c 12 > 7.438790 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.68/10.93 c choco : 18.94 10.68/10.93 c mistral : 0.335948 10.68/10.93 c abscon : 4.94625 10.68/10.93 c 10.68/10.93 c 10.68/10.93 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-13_ext.xml 10.68/10.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.730500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.610230 | c 14 > 7.348730 | c 11 > 4.321930 | c 12 > 7.463520 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 0.000000 | c 10 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.68/10.93 c choco : 17.39 10.68/10.93 c mistral : 0.360944 10.68/10.93 c abscon : 3.55346 10.68/10.93 c 10.68/10.93 c 10.68/10.93 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-9_ext.xml 10.68/10.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.692600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.745710 | c 14 > 7.228820 | c 11 > 4.321930 | c 12 > 7.353150 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.68/10.94 c choco : 19.8 10.68/10.94 c mistral : 0.338947 10.68/10.94 c abscon : 21.2268 10.68/10.94 c 10.68/10.94 c 10.68/10.94 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-17_ext.xml 10.68/10.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.660000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.695210 | c 14 > 7.312880 | c 11 > 4.321930 | c 12 > 7.471680 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.68/10.95 c choco : 19.83 10.68/10.95 c mistral : 0.362944 10.68/10.95 c abscon : 3.61945 10.68/10.95 c 10.68/10.95 c 10.68/10.95 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg4-8_ext.xml 10.68/10.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.725000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 6.965660 | c 14 > 9.483820 | c 11 > 5.000000 | c 12 > 9.495110 | 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 > 6.666670 | c 28 > 3.333330 | 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.700440 | c 31 > -1.000000 | c 4 > 5.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.68/10.95 c choco : 1801.0 10.68/10.95 c mistral : 85.4 10.68/10.95 c abscon : 10.28 10.68/10.95 c 10.68/10.95 c 10.68/10.95 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-9_ext.xml 10.68/10.95 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 10.68/10.96 c choco : 422.1 10.68/10.96 c mistral : 144.09 10.68/10.96 c abscon : 38.22 10.68/10.96 c 10.68/10.96 c 10.68/10.96 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-3_ext.xml 10.68/10.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.544000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.161690 | c 14 > 6.894820 | c 11 > 4.321930 | c 12 > 7.027910 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 0.000000 | c 10 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.68/10.97 c choco : 17.53 10.68/10.97 c mistral : 0.372942 10.68/10.97 c abscon : 3.39048 10.68/10.97 c 10.68/10.97 c 10.68/10.97 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-11_ext.xml 10.68/10.97 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 10.68/10.97 c choco : 37.76 10.68/10.97 c mistral : 19.41 10.68/10.97 c abscon : 7.14 10.68/10.97 c 10.68/10.97 c 10.68/10.97 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-9_ext.xml 10.68/10.97 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 10.68/10.98 c choco : 1801.0 10.68/10.98 c mistral : 256.55 10.68/10.98 c abscon : 1801.0 10.68/10.98 c 10.68/10.98 c 10.68/10.98 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-9_ext.xml 10.68/10.98 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 10.68/10.98 c choco : 128.5 10.68/10.98 c mistral : 26.94 10.68/10.98 c abscon : 13.66 10.68/10.98 c 10.68/10.98 c 10.68/10.99 c Length: 40 10.68/10.99 c 0.12536159699046392 0.16014371670471556 0.2910456493404422 0.292719285322986 0.30770347739341647 0.4411242682056832 0.5819116943317099 0.6376359306061742 0.7153473072571115 0.7648192008573015 9.019550551862329 9.834888245379306 10.164955903165543 10.858868431986824 11.379153155331903 11.508972790636008 11.706224478549862 11.781836811961877 11.923224568077211 12.066654854855177 12.302686217021876 12.330635577864587 12.360783623747322 12.425417092359517 12.510076912837107 12.524368771331352 12.545235840078895 12.644779520916922 12.679392438468806 12.688974579062723 12.748735014114144 12.753670894467993 12.78490837625362 12.889458367639039 13.193943448643397 13.357090568027903 13.456085324447075 13.486011741374837 13.556332502325251 13.575559207955303 10.68/10.99 c 10.68/10.99 c 1.0 0.9974206769006022 0.9878315590244604 0.9877101517376503 0.9866245111177993 0.9770620672483 0.9671706061749749 0.963310627541526 0.9579787744384738 0.9546150992258701 0.6019497367419084 0.5807581066312831 0.5725975631631953 0.5561677964192574 0.5444544813708133 0.5416083258427848 0.5373403022609397 0.535722025145053 0.5327220111522686 0.5297127955364064 0.5248341017805049 0.5242623415756412 0.5236469978404564 0.5223326370977084 0.5206209770889616 0.5203331291108327 0.5199134230026303 0.5179205519193736 0.5172311739824432 0.5170406528048198 0.5158555993912464 0.51575796337522 0.5151409148225441 0.5130863877228276 0.5071951984036417 0.5040939442520385 0.5022305782911364 0.5016699857348338 0.500357624067168 0.5 10.74/11.01 c 10.74/11.01 c solver 0 10.74/11.01 c before 0.0 seconds: {} 0 10.74/11.01 c before 18.0 seconds: {3, 12, 19, 20, 21, 22, 24, 25, 26, 27, 30, 31, 33, 34, 36, 37, 39} 9297 10.74/11.01 c before 36.0 seconds: {1, 3, 7, 10, 12, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 36, 37, 39} 13434 10.74/11.01 c before 54.0 seconds: {1, 3, 7, 10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 39} 15027 10.74/11.01 c before 72.0 seconds: {0, 1, 3, 7, 10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 39} 16027 10.74/11.01 c before 90.0 seconds: {0, 1, 3, 7, 10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 39} 16563 10.74/11.01 c before 108.0 seconds: {0, 1, 3, 7, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 39} 17661 10.74/11.01 c before 126.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 39} 22079 10.74/11.01 c before 162.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 39} 22623 10.74/11.01 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 39} 23611 10.74/11.01 c before 288.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, 30, 31, 32, 33, 34, 35, 36, 37, 39} 24578 10.74/11.01 c 10.74/11.01 c solver 1 10.74/11.01 c before 0.0 seconds: {} 0 10.74/11.01 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 36} 16003 10.74/11.01 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37, 39} 17578 10.74/11.01 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37, 39} 18101 10.74/11.01 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37, 39} 18703 10.74/11.01 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 36, 37, 39} 19748 10.74/11.01 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 36, 37, 39} 20280 10.74/11.01 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 36, 37, 39} 20785 10.74/11.01 c before 270.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21285 10.74/11.01 c before 342.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21841 10.74/11.01 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22377 10.74/11.01 c before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22894 10.74/11.01 c before 468.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23436 10.74/11.01 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24016 10.74/11.01 c before 702.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24533 10.74/11.01 c before 720.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, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25078 10.74/11.01 c 10.74/11.01 c solver 2 10.74/11.01 c before 0.0 seconds: {} 0 10.74/11.01 c before 18.0 seconds: {12, 19, 20, 21, 23, 25, 26, 31, 36} 4731 10.74/11.01 c before 36.0 seconds: {12, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 36} 6796 10.74/11.01 c before 54.0 seconds: {12, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37} 7298 10.74/11.01 c before 72.0 seconds: {12, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37} 7821 10.74/11.01 c before 126.0 seconds: {12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37} 8339 10.74/11.01 c before 144.0 seconds: {12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37, 39} 8839 10.74/11.01 c before 198.0 seconds: {10, 12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37, 39} 9441 10.74/11.01 c before 270.0 seconds: {10, 12, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37, 39} 9979 10.74/11.01 c before 432.0 seconds: {10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 35, 36, 37, 39} 11016 10.74/11.01 c before 954.0 seconds: {10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 35, 36, 37, 39} 11572 10.74/11.01 c before 1080.0 seconds: {10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 35, 36, 37, 39} 12089 10.74/11.01 c before 1152.0 seconds: {10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 35, 36, 37, 39} 12625 10.74/11.02 c 10.74/11.02 cTotal time: 120 10.74/11.02 c run abscon for 288.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, 30, 31, 32, 33, 34, 35, 36, 37, 39} 24578 10.74/11.02 c run mistral for 720.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, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25078 10.74/11.02 c run choco for 432.0 seconds {10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 35, 36, 37, 39} 11016 10.74/11.02 c Starting solver: HOME/cpHydra_k_40/solver/abscon 10.74/11.02 c On Instance: HOME/instance-1084870-1215232232.xml 10.74/11.02 c Running for: 288 seconds 153.26/153.74 s SAT 153.26/153.74 v 1 0 0 4 3 4 2 3 0 0 4 0 4 4 2 0 4 2 2 3 153.26/153.74 d ASSIGNMENTS 92389 153.26/153.74 d CHECKS 502155
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084870-1215232232/watcher-1084870-1215232232 -o /tmp/evaluation-result-1084870-1215232232/solver-1084870-1215232232 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1084870-1215232232.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.94 2.00 1.99 4/81 31703 /proc/meminfo: memFree=1372464/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=18572 CPUtime=0 /proc/31703/stat : 31703 (runsolver) R 31701 31703 31347 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2002196653 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 213116316967 0 0 4096 24578 0 0 0 17 1 0 0 /proc/31703/statm: 4643 292 257 25 0 2626 0 [startup+0.121537 s] /proc/loadavg: 1.94 2.00 1.99 4/81 31703 /proc/meminfo: memFree=1372464/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=0 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002196653 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.202545 s] /proc/loadavg: 1.94 2.00 1.99 4/81 31703 /proc/meminfo: memFree=1372464/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=0 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002196653 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302556 s] /proc/loadavg: 1.94 2.00 1.99 4/81 31703 /proc/meminfo: memFree=1372464/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=0 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002196653 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.7026 s] /proc/loadavg: 1.94 2.00 1.99 4/81 31703 /proc/meminfo: memFree=1372464/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=0 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002196653 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.5027 s] /proc/loadavg: 1.94 2.00 1.99 3/83 31707 /proc/meminfo: memFree=1330528/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=0 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002196653 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 236 195 169 0 51 0 [pid=31707] ppid=31703 vsize=35520 CPUtime=1.47 /proc/31707/stat : 31707 (xsolve) R 31703 31703 31347 0 -1 4194304 8115 0 0 0 143 4 0 0 25 0 1 0 2002196654 36372480 8074 996147200 134512640 135239763 4294956176 18446744073709551615 134670869 0 0 4096 0 0 0 0 17 1 0 0 /proc/31707/statm: 8880 8074 355 177 0 7783 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 40880 [startup+3.10186 s] /proc/loadavg: 1.94 2.00 1.99 3/83 31707 /proc/meminfo: memFree=1275808/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=0 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002196653 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 236 195 169 0 51 0 [pid=31707] ppid=31703 vsize=66268 CPUtime=3.05 /proc/31707/stat : 31707 (xsolve) R 31703 31703 31347 0 -1 4194304 15927 0 0 0 297 8 0 0 25 0 1 0 2002196654 67858432 15886 996147200 134512640 135239763 4294956176 18446744073709551615 134819934 0 0 4096 0 0 0 0 17 1 0 0 /proc/31707/statm: 16567 15886 411 177 0 15470 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 71628 [startup+6.30221 s] /proc/loadavg: 2.10 2.03 2.01 3/91 31719 /proc/meminfo: memFree=1302048/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=4.56 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 375 16526 0 0 0 0 445 11 19 0 1 0 2002196653 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 238 196 169 0 51 0 [pid=31711] ppid=31703 vsize=196988 CPUtime=1.65 /proc/31711/stat : 31711 (java) S 31703 31703 31347 0 -1 0 6519 0 1 0 160 5 0 0 18 0 9 0 2002197115 201715712 5477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31711/statm: 49247 5477 2541 9 0 43829 0 [pid=31711/tid=31712] ppid=31703 vsize=196988 CPUtime=1.25 /proc/31711/task/31712/stat : 31712 (java) R 31703 31703 31347 0 -1 64 2802 0 1 0 124 1 0 0 25 0 9 0 2002197116 201715712 5477 996147200 134512640 134550740 4294955968 18446744073709551615 4126559300 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31713] ppid=31703 vsize=196988 CPUtime=0.22 /proc/31711/task/31713/stat : 31713 (java) S 31703 31703 31347 0 -1 64 2382 0 0 0 20 2 0 0 16 0 9 0 2002197117 201715712 5477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31714] ppid=31703 vsize=196988 CPUtime=0 /proc/31711/task/31714/stat : 31714 (java) S 31703 31703 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002197117 201715712 5477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31715] ppid=31703 vsize=196988 CPUtime=0 /proc/31711/task/31715/stat : 31715 (java) S 31703 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002197117 201715712 5477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31716] ppid=31703 vsize=196988 CPUtime=0 /proc/31711/task/31716/stat : 31716 (java) S 31703 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002197120 201715712 5477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31717] ppid=31703 vsize=196988 CPUtime=0.14 /proc/31711/task/31717/stat : 31717 (java) S 31703 31703 31347 0 -1 64 611 0 0 0 14 0 0 0 16 0 9 0 2002197120 201715712 5477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31718] ppid=31703 vsize=196988 CPUtime=0 /proc/31711/task/31718/stat : 31718 (java) S 31703 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002197120 201715712 5477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31719] ppid=31703 vsize=196988 CPUtime=0 /proc/31711/task/31719/stat : 31719 (java) S 31703 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002197120 201715712 5477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202348 [startup+12.7029 s] /proc/loadavg: 2.09 2.03 2.00 3/103 31731 /proc/meminfo: memFree=1099200/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=4.56 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 375 16526 0 0 0 0 445 11 19 0 1 0 2002196653 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 238 196 169 0 51 0 [pid=31711] ppid=31703 vsize=197420 CPUtime=6.19 /proc/31711/stat : 31711 (java) S 31703 31703 31347 0 -1 0 13947 0 1 0 602 17 0 0 18 0 10 0 2002197115 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31711/statm: 49355 9489 2544 9 0 43937 0 [pid=31721] ppid=31711 vsize=5356 CPUtime=0 /proc/31721/stat : 31721 (abscon) S 31711 31703 31347 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002197756 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/31721/statm: 1339 237 196 169 0 50 0 [pid=31722] ppid=31721 vsize=654708 CPUtime=1.65 /proc/31722/stat : 31722 (java) S 31721 31703 31347 0 -1 0 22570 0 1 0 153 12 0 0 18 0 9 0 2002197756 670420992 22087 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31722/statm: 163677 22087 1983 9 0 158205 0 [pid=31722/tid=31724] ppid=31721 vsize=654708 CPUtime=1.42 /proc/31722/task/31724/stat : 31724 (java) R 31721 31703 31347 0 -1 64 12338 0 1 0 136 6 0 0 25 0 9 0 2002197757 670420992 22087 996147200 134512640 134550740 4294955808 18446744073709551615 4126562216 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31725] ppid=31721 vsize=654708 CPUtime=0.15 /proc/31722/task/31725/stat : 31725 (java) S 31721 31703 31347 0 -1 64 9384 0 0 0 10 5 0 0 16 0 9 0 2002197758 670420992 22087 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31726] ppid=31721 vsize=654708 CPUtime=0 /proc/31722/task/31726/stat : 31726 (java) S 31721 31703 31347 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 2002197758 670420992 22087 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31727] ppid=31721 vsize=654708 CPUtime=0 /proc/31722/task/31727/stat : 31727 (java) S 31721 31703 31347 0 -1 64 3 0 0 0 0 0 0 0 23 0 9 0 2002197758 670420992 22087 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31728] ppid=31721 vsize=654708 CPUtime=0 /proc/31722/task/31728/stat : 31728 (java) S 31721 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002197760 670420992 22087 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31729] ppid=31721 vsize=654708 CPUtime=0.06 /proc/31722/task/31729/stat : 31729 (java) S 31721 31703 31347 0 -1 64 307 0 0 0 6 0 0 0 16 0 9 0 2002197760 670420992 22087 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31730] ppid=31721 vsize=654708 CPUtime=0 /proc/31722/task/31730/stat : 31730 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002197760 670420992 22087 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31731] ppid=31721 vsize=654708 CPUtime=0 /proc/31722/task/31731/stat : 31731 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002197760 670420992 22087 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31723] ppid=31721 vsize=7044 CPUtime=0 /proc/31723/stat : 31723 (translate) S 31721 31703 31347 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002197756 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/31723/statm: 1761 213 182 1 0 41 0 [pid=31711/tid=31712] ppid=31703 vsize=197420 CPUtime=4.75 /proc/31711/task/31712/stat : 31712 (java) S 31703 31703 31347 0 -1 64 3910 0 1 0 470 5 0 0 25 0 10 0 2002197116 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31711/tid=31713] ppid=31703 vsize=197420 CPUtime=1.17 /proc/31711/task/31713/stat : 31713 (java) S 31703 31703 31347 0 -1 64 8571 0 0 0 107 10 0 0 16 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31714] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31714/stat : 31714 (java) S 31703 31703 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31715] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31715/stat : 31715 (java) S 31703 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31716] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31716/stat : 31716 (java) S 31703 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31717] ppid=31703 vsize=197420 CPUtime=0.23 /proc/31711/task/31717/stat : 31717 (java) S 31703 31703 31347 0 -1 64 668 0 0 0 23 0 0 0 15 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31718] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31718/stat : 31718 (java) S 31703 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31719] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31719/stat : 31719 (java) S 31703 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31720] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31720/stat : 31720 (java) S 31703 31703 31347 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002197756 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.4 Current children cumulated vsize (KiB) 869888 [startup+25.5033 s] /proc/loadavg: 2.15 2.05 2.01 3/103 31731 /proc/meminfo: memFree=768192/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=4.56 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 375 16526 0 0 0 0 445 11 19 0 1 0 2002196653 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 238 196 169 0 51 0 [pid=31711] ppid=31703 vsize=197420 CPUtime=6.19 /proc/31711/stat : 31711 (java) S 31703 31703 31347 0 -1 0 13971 0 1 0 602 17 0 0 18 0 10 0 2002197115 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31711/statm: 49355 9489 2544 9 0 43937 0 [pid=31721] ppid=31711 vsize=5356 CPUtime=0 /proc/31721/stat : 31721 (abscon) S 31711 31703 31347 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002197756 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/31721/statm: 1339 237 196 169 0 50 0 [pid=31722] ppid=31721 vsize=655320 CPUtime=14.45 /proc/31722/stat : 31722 (java) S 31721 31703 31347 0 -1 0 59015 0 1 0 1410 35 0 0 18 0 9 0 2002197756 671047680 53114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31722/statm: 163830 53114 2614 9 0 158358 0 [pid=31722/tid=31724] ppid=31721 vsize=655320 CPUtime=11.87 /proc/31722/task/31724/stat : 31724 (java) R 31721 31703 31347 0 -1 64 12493 0 1 0 1177 10 0 0 25 0 9 0 2002197757 671047680 53114 996147200 134512640 134550740 4294955808 18446744073709551615 4126787488 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31725] ppid=31721 vsize=655320 CPUtime=2.32 /proc/31722/task/31725/stat : 31725 (java) S 31721 31703 31347 0 -1 64 45458 0 0 0 209 23 0 0 17 0 9 0 2002197758 671047680 53114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31726] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31726/stat : 31726 (java) S 31721 31703 31347 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002197758 671047680 53114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31727] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31727/stat : 31727 (java) S 31721 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002197758 671047680 53114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31728] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31728/stat : 31728 (java) S 31721 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002197760 671047680 53114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31729] ppid=31721 vsize=655320 CPUtime=0.22 /proc/31722/task/31729/stat : 31729 (java) S 31721 31703 31347 0 -1 64 519 0 0 0 22 0 0 0 15 0 9 0 2002197760 671047680 53114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31730] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31730/stat : 31730 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002197760 671047680 53114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31731] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31731/stat : 31731 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002197760 671047680 53114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31723] ppid=31721 vsize=7044 CPUtime=0 /proc/31723/stat : 31723 (translate) S 31721 31703 31347 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002197756 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/31723/statm: 1761 213 182 1 0 41 0 [pid=31711/tid=31712] ppid=31703 vsize=197420 CPUtime=4.75 /proc/31711/task/31712/stat : 31712 (java) S 31703 31703 31347 0 -1 64 3910 0 1 0 470 5 0 0 25 0 10 0 2002197116 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31711/tid=31713] ppid=31703 vsize=197420 CPUtime=1.17 ################ # More data... # ################ [pid=31711/tid=31718] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31718/stat : 31718 (java) S 31703 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31719] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31719/stat : 31719 (java) S 31703 31703 31347 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31711/tid=31720] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31720/stat : 31720 (java) S 31703 31703 31347 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002197756 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 152.39 Current children cumulated vsize (KiB) 870500 [startup+153.203 s] /proc/loadavg: 2.02 2.03 2.00 3/95 31732 /proc/meminfo: memFree=1259392/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=4.56 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 375 16526 0 0 0 0 445 11 19 0 1 0 2002196653 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 238 196 169 0 51 0 [pid=31711] ppid=31703 vsize=197420 CPUtime=6.19 /proc/31711/stat : 31711 (java) S 31703 31703 31347 0 -1 0 13971 0 1 0 602 17 0 0 18 0 10 0 2002197115 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31711/statm: 49355 9489 2544 9 0 43937 0 [pid=31721] ppid=31711 vsize=5356 CPUtime=0 /proc/31721/stat : 31721 (abscon) S 31711 31703 31347 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002197756 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/31721/statm: 1339 237 196 169 0 50 0 [pid=31722] ppid=31721 vsize=655320 CPUtime=142.04 /proc/31722/stat : 31722 (java) S 31721 31703 31347 0 -1 0 59020 0 1 0 14168 36 0 0 18 0 9 0 2002197756 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31722/statm: 163830 53116 2614 9 0 158358 0 [pid=31722/tid=31724] ppid=31721 vsize=655320 CPUtime=139.46 /proc/31722/task/31724/stat : 31724 (java) R 31721 31703 31347 0 -1 64 12495 0 1 0 13935 11 0 0 25 0 9 0 2002197757 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4126787301 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31725] ppid=31721 vsize=655320 CPUtime=2.32 /proc/31722/task/31725/stat : 31725 (java) S 31721 31703 31347 0 -1 64 45458 0 0 0 209 23 0 0 16 0 9 0 2002197758 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31726] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31726/stat : 31726 (java) S 31721 31703 31347 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002197758 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31727] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31727/stat : 31727 (java) S 31721 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002197758 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31728] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31728/stat : 31728 (java) S 31721 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002197760 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31729] ppid=31721 vsize=655320 CPUtime=0.23 /proc/31722/task/31729/stat : 31729 (java) S 31721 31703 31347 0 -1 64 522 0 0 0 23 0 0 0 16 0 9 0 2002197760 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31730] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31730/stat : 31730 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002197760 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31731] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31731/stat : 31731 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002197760 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31723] ppid=31721 vsize=7044 CPUtime=0 /proc/31723/stat : 31723 (translate) S 31721 31703 31347 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002197756 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/31723/statm: 1761 213 182 1 0 41 0 [pid=31711/tid=31712] ppid=31703 vsize=197420 CPUtime=4.75 /proc/31711/task/31712/stat : 31712 (java) S 31703 31703 31347 0 -1 64 3910 0 1 0 470 5 0 0 25 0 10 0 2002197116 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31711/tid=31713] ppid=31703 vsize=197420 CPUtime=1.17 /proc/31711/task/31713/stat : 31713 (java) S 31703 31703 31347 0 -1 64 8571 0 0 0 107 10 0 0 16 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31714] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31714/stat : 31714 (java) S 31703 31703 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31715] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31715/stat : 31715 (java) S 31703 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31716] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31716/stat : 31716 (java) S 31703 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31717] ppid=31703 vsize=197420 CPUtime=0.23 /proc/31711/task/31717/stat : 31717 (java) S 31703 31703 31347 0 -1 64 668 0 0 0 23 0 0 0 15 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31718] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31718/stat : 31718 (java) S 31703 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31719] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31719/stat : 31719 (java) S 31703 31703 31347 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31711/tid=31720] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31720/stat : 31720 (java) S 31703 31703 31347 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002197756 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 152.79 Current children cumulated vsize (KiB) 870500 [startup+153.603 s] /proc/loadavg: 2.02 2.03 2.00 3/95 31732 /proc/meminfo: memFree=1259392/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=4.56 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 375 16526 0 0 0 0 445 11 19 0 1 0 2002196653 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 238 196 169 0 51 0 [pid=31711] ppid=31703 vsize=197420 CPUtime=6.19 /proc/31711/stat : 31711 (java) S 31703 31703 31347 0 -1 0 13971 0 1 0 602 17 0 0 18 0 10 0 2002197115 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31711/statm: 49355 9489 2544 9 0 43937 0 [pid=31721] ppid=31711 vsize=5356 CPUtime=0 /proc/31721/stat : 31721 (abscon) S 31711 31703 31347 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002197756 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/31721/statm: 1339 237 196 169 0 50 0 [pid=31722] ppid=31721 vsize=655320 CPUtime=142.44 /proc/31722/stat : 31722 (java) S 31721 31703 31347 0 -1 0 59020 0 1 0 14208 36 0 0 18 0 9 0 2002197756 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31722/statm: 163830 53116 2614 9 0 158358 0 [pid=31722/tid=31724] ppid=31721 vsize=655320 CPUtime=139.86 /proc/31722/task/31724/stat : 31724 (java) R 31721 31703 31347 0 -1 64 12495 0 1 0 13975 11 0 0 25 0 9 0 2002197757 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4126787317 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31725] ppid=31721 vsize=655320 CPUtime=2.32 /proc/31722/task/31725/stat : 31725 (java) S 31721 31703 31347 0 -1 64 45458 0 0 0 209 23 0 0 16 0 9 0 2002197758 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31726] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31726/stat : 31726 (java) S 31721 31703 31347 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002197758 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31727] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31727/stat : 31727 (java) S 31721 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002197758 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31728] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31728/stat : 31728 (java) S 31721 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002197760 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31729] ppid=31721 vsize=655320 CPUtime=0.23 /proc/31722/task/31729/stat : 31729 (java) S 31721 31703 31347 0 -1 64 522 0 0 0 23 0 0 0 16 0 9 0 2002197760 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31730] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31730/stat : 31730 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002197760 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31731] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31731/stat : 31731 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002197760 671047680 53116 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31723] ppid=31721 vsize=7044 CPUtime=0 /proc/31723/stat : 31723 (translate) S 31721 31703 31347 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002197756 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/31723/statm: 1761 213 182 1 0 41 0 [pid=31711/tid=31712] ppid=31703 vsize=197420 CPUtime=4.75 /proc/31711/task/31712/stat : 31712 (java) S 31703 31703 31347 0 -1 64 3910 0 1 0 470 5 0 0 25 0 10 0 2002197116 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31711/tid=31713] ppid=31703 vsize=197420 CPUtime=1.17 /proc/31711/task/31713/stat : 31713 (java) S 31703 31703 31347 0 -1 64 8571 0 0 0 107 10 0 0 16 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31714] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31714/stat : 31714 (java) S 31703 31703 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31715] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31715/stat : 31715 (java) S 31703 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31716] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31716/stat : 31716 (java) S 31703 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31717] ppid=31703 vsize=197420 CPUtime=0.23 /proc/31711/task/31717/stat : 31717 (java) S 31703 31703 31347 0 -1 64 668 0 0 0 23 0 0 0 15 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31718] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31718/stat : 31718 (java) S 31703 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31719] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31719/stat : 31719 (java) S 31703 31703 31347 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31711/tid=31720] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31720/stat : 31720 (java) S 31703 31703 31347 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002197756 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 153.19 Current children cumulated vsize (KiB) 870500 [startup+153.703 s] /proc/loadavg: 2.02 2.03 2.00 3/95 31732 /proc/meminfo: memFree=1259392/2055920 swapFree=4179916/4192956 [pid=31703] ppid=31701 vsize=5360 CPUtime=4.56 /proc/31703/stat : 31703 (hydra) S 31701 31703 31347 0 -1 4194304 375 16526 0 0 0 0 445 11 19 0 1 0 2002196653 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31703/statm: 1340 238 196 169 0 51 0 [pid=31711] ppid=31703 vsize=197420 CPUtime=6.19 /proc/31711/stat : 31711 (java) S 31703 31703 31347 0 -1 0 13975 0 1 0 602 17 0 0 18 0 10 0 2002197115 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31711/statm: 49355 9489 2544 9 0 43937 0 [pid=31721] ppid=31711 vsize=5356 CPUtime=0 /proc/31721/stat : 31721 (abscon) S 31711 31703 31347 0 -1 4194304 303 288 0 0 0 0 0 0 16 0 1 0 2002197756 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/31721/statm: 1339 237 196 169 0 50 0 [pid=31722] ppid=31721 vsize=655320 CPUtime=142.51 /proc/31722/stat : 31722 (java) S 31721 31703 31347 0 -1 0 59026 0 1 0 14214 37 0 0 18 0 9 0 2002197756 671047680 53121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31722/statm: 163830 53121 2614 9 0 158358 0 [pid=31722/tid=31724] ppid=31721 vsize=655320 CPUtime=139.92 /proc/31722/task/31724/stat : 31724 (java) S 31721 31703 31347 0 -1 64 12500 0 1 0 13981 11 0 0 25 0 9 0 2002197757 671047680 53121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31725] ppid=31721 vsize=655320 CPUtime=2.32 /proc/31722/task/31725/stat : 31725 (java) S 31721 31703 31347 0 -1 64 45458 0 0 0 209 23 0 0 16 0 9 0 2002197758 671047680 53121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31726] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31726/stat : 31726 (java) S 31721 31703 31347 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002197758 671047680 53121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31727] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31727/stat : 31727 (java) S 31721 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002197758 671047680 53121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31728] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31728/stat : 31728 (java) S 31721 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002197760 671047680 53121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31729] ppid=31721 vsize=655320 CPUtime=0.23 /proc/31722/task/31729/stat : 31729 (java) S 31721 31703 31347 0 -1 64 523 0 0 0 23 0 0 0 16 0 9 0 2002197760 671047680 53121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31730] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31730/stat : 31730 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002197760 671047680 53121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31722/tid=31731] ppid=31721 vsize=655320 CPUtime=0 /proc/31722/task/31731/stat : 31731 (java) S 31721 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002197760 671047680 53121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31711/tid=31712] ppid=31703 vsize=197420 CPUtime=4.75 /proc/31711/task/31712/stat : 31712 (java) S 31703 31703 31347 0 -1 64 3914 0 1 0 470 5 0 0 16 0 10 0 2002197116 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=31711/tid=31713] ppid=31703 vsize=197420 CPUtime=1.17 /proc/31711/task/31713/stat : 31713 (java) S 31703 31703 31347 0 -1 64 8571 0 0 0 107 10 0 0 16 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31714] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31714/stat : 31714 (java) S 31703 31703 31347 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31715] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31715/stat : 31715 (java) S 31703 31703 31347 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002197117 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31716] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31716/stat : 31716 (java) S 31703 31703 31347 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31717] ppid=31703 vsize=197420 CPUtime=0.23 /proc/31711/task/31717/stat : 31717 (java) S 31703 31703 31347 0 -1 64 668 0 0 0 23 0 0 0 15 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31718] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31718/stat : 31718 (java) S 31703 31703 31347 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31711/tid=31719] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31719/stat : 31719 (java) S 31703 31703 31347 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2002197120 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31711/tid=31720] ppid=31703 vsize=197420 CPUtime=0 /proc/31711/task/31720/stat : 31720 (java) S 31703 31703 31347 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002197756 202158080 9489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 153.26 Current children cumulated vsize (KiB) 863456 Child status: 0 Real time (s): 153.795 CPU time (s): 153.346 CPU user time (s): 152.634 CPU system time (s): 0.711891 CPU usage (%): 99.7078 Max. virtual memory (cumulated for all children) (KiB): 877076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 152.634 system time used= 0.711891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90616 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= 16753 involuntary context switches= 22269 runsolver used 0.552915 second user time and 1.70174 second system time The end
Begin job on node37 at 2008-07-05 06:30:34 IDJOB=1084870 IDBENCH=57586 IDSOLVER=366 FILE ID=node37/1084870-1215232232 PBS_JOBID= 7881909 Free space on /tmp= 66516 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-3_ext.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084870-1215232232/watcher-1084870-1215232232 -o /tmp/evaluation-result-1084870-1215232232/solver-1084870-1215232232 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1084870-1215232232.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 8f0b2a49e1135ea84dc0e5c626ff8a69 RANDOM SEED=1663209610 node37.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.236 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.236 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: 1372880 kB Buffers: 36396 kB Cached: 237276 kB SwapCached: 6964 kB Active: 549536 kB Inactive: 71636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1372880 kB SwapTotal: 4192956 kB SwapFree: 4179916 kB Dirty: 71664 kB Writeback: 0 kB Mapped: 361112 kB Slab: 46556 kB Committed_AS: 4297756 kB PageTables: 2516 kB VmallocTotal: 536870911 kB VmallocUsed: 264884 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66436 MiB End job on node37 at 2008-07-05 06:33:08