Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 88.3196 | 88.6734 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 225823 |
CHECKS | 1252240 |
Name | csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-4_ext.xml |
MD5SUM | d3f44c49896eef0a554a753221d829d8 |
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 | 5.60415 |
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.15/10.31 c CASE TO CLASSIFY: 10.15/10.31 c Case: 0 10.15/10.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.576100 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 12.451900 | c 14 > 13.043700 | c 11 > 4.321930 | c 12 > 13.917800 | 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.15/10.33 c choco : 1801.0 10.15/10.33 c mistral : 1801.0 10.15/10.33 c abscon : 1801.0 10.15/10.33 c 10.15/10.33 c 10.25/10.40 c List of same ones: 40 10.25/10.40 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-13_ext.xml 10.25/10.40 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.25/10.41 c choco : 1801.0 10.25/10.41 c mistral : 0.394939 10.25/10.41 c abscon : 54.6227 10.25/10.41 c 10.25/10.41 c 10.25/10.41 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-15_ext.xml 10.25/10.41 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.25/10.42 c choco : 1801.0 10.25/10.42 c mistral : 0.400938 10.25/10.42 c abscon : 23.1755 10.25/10.42 c 10.25/10.42 c 10.25/10.42 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-5_ext.xml 10.25/10.42 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.25/10.43 c choco : 1801.0 10.25/10.43 c mistral : 0.364944 10.25/10.43 c abscon : 238.94 10.25/10.43 c 10.25/10.43 c 10.25/10.43 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-7_ext.xml 10.25/10.43 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.25/10.44 c choco : 1801.0 10.25/10.44 c mistral : 0.400938 10.25/10.44 c abscon : 22.6236 10.25/10.44 c 10.25/10.44 c 10.25/10.44 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-19_ext.xml 10.25/10.44 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.25/10.45 c choco : 1801.0 10.25/10.45 c mistral : 0.39294 10.25/10.45 c abscon : 110.339 10.25/10.45 c 10.25/10.45 c 10.25/10.45 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-17_ext.xml 10.25/10.45 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.25/10.46 c choco : 1801.0 10.25/10.46 c mistral : 0.372942 10.25/10.46 c abscon : 17.1624 10.25/10.46 c 10.25/10.46 c 10.25/10.46 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-11_ext.xml 10.25/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.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.25/10.47 c choco : 1801.0 10.25/10.47 c mistral : 0.378941 10.25/10.47 c abscon : 108.028 10.25/10.47 c 10.25/10.47 c 10.25/10.47 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-1_ext.xml 10.25/10.47 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.25/10.47 c choco : 1801.0 10.25/10.47 c mistral : 0.395938 10.25/10.47 c abscon : 283.768 10.25/10.47 c 10.25/10.47 c 10.25/10.47 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-3_ext.xml 10.25/10.47 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.25/10.48 c choco : 1801.0 10.25/10.48 c mistral : 0.381941 10.25/10.48 c abscon : 114.395 10.25/10.48 c 10.25/10.48 c 10.25/10.48 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-9_ext.xml 10.25/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.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.25/10.49 c choco : 1801.0 10.25/10.49 c mistral : 0.376941 10.25/10.49 c abscon : 120.175 10.25/10.49 c 10.25/10.49 c 10.25/10.49 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-6_ext.xml 10.25/10.49 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.31/10.50 c choco : 195.58 10.31/10.50 c mistral : 69.51 10.31/10.50 c abscon : 19.8 10.31/10.50 c 10.31/10.50 c 10.31/10.50 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-7_ext.xml 10.31/10.50 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.31/10.52 c choco : 1801.0 10.31/10.52 c mistral : 492.76 10.31/10.52 c abscon : 95.65 10.31/10.52 c 10.31/10.52 c 10.31/10.52 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-6_ext.xml 10.31/10.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 10.31/10.52 c choco : 15.86 10.31/10.52 c mistral : 34.19 10.31/10.52 c abscon : 6.11 10.31/10.52 c 10.31/10.52 c 10.31/10.53 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-8_ext.xml 10.31/10.53 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.31/10.53 c choco : 952.36 10.31/10.53 c mistral : 331.59 10.31/10.53 c abscon : 52.73 10.31/10.53 c 10.31/10.53 c 10.31/10.53 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-7_ext.xml 10.31/10.53 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.31/10.54 c choco : 1801.0 10.31/10.54 c mistral : 711.03 10.31/10.54 c abscon : 160.78 10.31/10.54 c 10.31/10.54 c 10.31/10.54 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-7_ext.xml 10.31/10.54 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.31/10.55 c choco : 1801.0 10.31/10.55 c mistral : 461.55 10.31/10.55 c abscon : 119.24 10.31/10.55 c 10.31/10.55 c 10.31/10.55 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-9_ext.xml 10.31/10.55 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.31/10.55 c choco : 257.0 10.31/10.55 c mistral : 85.15 10.31/10.55 c abscon : 27.98 10.31/10.55 c 10.31/10.55 c 10.31/10.55 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-8_ext.xml 10.31/10.55 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.31/10.57 c choco : 1149.65 10.31/10.57 c mistral : 387.27 10.31/10.57 c abscon : 83.11 10.31/10.57 c 10.31/10.57 c 10.31/10.57 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-9_ext.xml 10.31/10.57 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.31/10.57 c choco : 419.03 10.31/10.57 c mistral : 108.95 10.31/10.57 c abscon : 41.83 10.31/10.57 c 10.31/10.57 c 10.31/10.57 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-6_ext.xml 10.31/10.57 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.31/10.58 c choco : 7.99 10.31/10.58 c mistral : 4.74 10.31/10.58 c abscon : 5.29 10.31/10.58 c 10.31/10.58 c 10.31/10.58 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-11_ext.xml 10.31/10.58 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.31/10.59 c choco : 17.79 10.31/10.59 c mistral : 0.368943 10.31/10.59 c abscon : 12.0622 10.31/10.59 c 10.31/10.59 c 10.31/10.59 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-6_ext.xml 10.31/10.59 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.39/10.60 c choco : 10.76 10.39/10.60 c mistral : 4.42 10.39/10.60 c abscon : 4.74 10.39/10.60 c 10.39/10.60 c 10.39/10.60 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-7_ext.xml 10.39/10.60 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.39/10.61 c choco : 61.64 10.39/10.61 c mistral : 39.17 10.39/10.61 c abscon : 7.89 10.39/10.61 c 10.39/10.61 c 10.39/10.61 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-19_ext.xml 10.39/10.61 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.39/10.61 c choco : 16.19 10.39/10.61 c mistral : 0.367943 10.39/10.61 c abscon : 18.0253 10.39/10.61 c 10.39/10.61 c 10.39/10.61 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-15_ext.xml 10.39/10.61 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.39/10.62 c choco : 19.01 10.39/10.62 c mistral : 0.372942 10.39/10.62 c abscon : 4.08338 10.39/10.62 c 10.39/10.62 c 10.39/10.62 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-7_ext.xml 10.39/10.62 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.39/10.62 c choco : 15.04 10.39/10.62 c mistral : 0.364943 10.39/10.62 c abscon : 13.8239 10.39/10.62 c 10.39/10.62 c 10.39/10.62 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-1_ext.xml 10.39/10.62 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.39/10.63 c choco : 17.5 10.39/10.63 c mistral : 0.370943 10.39/10.63 c abscon : 3.36349 10.39/10.63 c 10.39/10.63 c 10.39/10.63 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-10_ext.xml 10.39/10.63 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.39/10.64 c choco : 113.92 10.39/10.64 c mistral : 1801.0 10.39/10.64 c abscon : 16.64 10.39/10.64 c 10.39/10.64 c 10.39/10.64 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-8_ext.xml 10.39/10.64 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.39/10.64 c choco : 1078.47 10.39/10.64 c mistral : 441.78 10.39/10.64 c abscon : 97.35 10.39/10.64 c 10.39/10.64 c 10.39/10.64 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-8_ext.xml 10.39/10.64 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.39/10.65 c choco : 1801.0 10.39/10.65 c mistral : 693.86 10.39/10.65 c abscon : 1801.0 10.39/10.65 c 10.39/10.65 c 10.39/10.65 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-13_ext.xml 10.39/10.65 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.39/10.65 c choco : 17.39 10.39/10.65 c mistral : 0.360944 10.39/10.65 c abscon : 3.55346 10.39/10.65 c 10.39/10.65 c 10.39/10.65 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-5_ext.xml 10.39/10.65 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.39/10.66 c choco : 18.94 10.39/10.66 c mistral : 0.335948 10.39/10.66 c abscon : 4.94625 10.39/10.66 c 10.39/10.66 c 10.39/10.66 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-9_ext.xml 10.39/10.66 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.39/10.67 c choco : 19.8 10.39/10.67 c mistral : 0.338947 10.39/10.67 c abscon : 21.2268 10.39/10.67 c 10.39/10.67 c 10.39/10.67 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-17_ext.xml 10.39/10.67 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.39/10.67 c choco : 19.83 10.39/10.67 c mistral : 0.362944 10.39/10.67 c abscon : 3.61945 10.39/10.67 c 10.39/10.67 c 10.39/10.67 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg4-8_ext.xml 10.39/10.67 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.39/10.68 c choco : 1801.0 10.39/10.68 c mistral : 85.4 10.39/10.68 c abscon : 10.28 10.39/10.68 c 10.39/10.68 c 10.39/10.68 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-9_ext.xml 10.39/10.68 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.39/10.69 c choco : 422.1 10.39/10.69 c mistral : 144.09 10.39/10.69 c abscon : 38.22 10.39/10.69 c 10.39/10.69 c 10.39/10.69 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-11_ext.xml 10.39/10.69 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.39/10.69 c choco : 37.76 10.39/10.69 c mistral : 19.41 10.39/10.69 c abscon : 7.14 10.39/10.69 c 10.39/10.69 c 10.39/10.69 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-3_ext.xml 10.39/10.69 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.45/10.70 c choco : 17.53 10.45/10.70 c mistral : 0.372942 10.45/10.70 c abscon : 3.39048 10.45/10.70 c 10.45/10.70 c 10.45/10.70 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-11_ext.xml 10.45/10.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.769500 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.673050 | c 14 > 9.592460 | c 11 > 4.392320 | c 12 > 12.035300 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | 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 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.45/10.71 c choco : 1801.0 10.45/10.71 c mistral : 29.97 10.45/10.71 c abscon : 16.0 10.45/10.71 c 10.45/10.71 c 10.45/10.71 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-35_ext.xml 10.45/10.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.811000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.650150 | c 14 > 9.607330 | c 11 > 4.392320 | c 12 > 11.817600 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | 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 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 10.45/10.71 c choco : 1801.0 10.45/10.71 c mistral : 22.94 10.45/10.71 c abscon : 161.89 10.45/10.71 c 10.45/10.71 c 10.45/10.72 c Length: 40 10.45/10.72 c 0.800590394646351 0.8247875726512862 0.8494511757599724 0.9488901042797326 0.9731792948886662 1.0068664906530547 1.097706841556523 1.2999120393318933 1.475972628472493 1.5220992149002646 9.636063558922805 10.482753441109832 10.806674787616217 11.526274981502047 12.04888702770924 12.173776401659428 12.379427992770907 12.455450543505039 12.588733797042496 12.747780489253806 12.996730890439334 13.007162375326141 13.054323151550216 13.118101105918493 13.209924907322524 13.211473969633365 13.238215488471246 13.3089357474067 13.358252126483462 13.380948309148346 13.450103021776451 13.452498677052526 13.48141200064741 13.57765877539644 13.65089393512381 14.036795033785312 14.126684376473483 14.159696029533967 14.20020732393721 14.227996108451112 10.45/10.72 c 10.45/10.72 c 1.0 0.9982011676824277 0.9963743087796576 0.9890760954950197 0.9873096346623511 0.9848701107386666 0.9783514177447548 0.9641465197219405 0.9521100199241387 0.9490060655524403 0.6031298012865998 0.5810322924281562 0.5730006777745367 0.5559290983745294 0.5441549555532406 0.5414147317514879 0.5369621316689008 0.5353346379201055 0.532504989359034 0.529167274828208 0.5240260502574501 0.5238128032191361 0.5228508747429473 0.5215556147902567 0.5197020055975392 0.5196708483184816 0.5191335673895254 0.5177180209411636 0.5167354574658516 0.5162845181809643 0.5149153568781466 0.5148680565660442 0.5142978705267619 0.5124088987763699 0.5109808310865845 0.503585431082567 0.5018934295163292 0.5012748968693245 0.5005179252443255 0.5 10.45/10.73 c 10.45/10.73 c solver 0 10.45/10.73 c before 0.0 seconds: {} 0 10.45/10.73 c before 18.0 seconds: {5, 12, 19, 20, 21, 22, 24, 25, 26, 27, 30, 31, 33, 34, 36, 37, 38} 9290 10.45/10.73 c before 36.0 seconds: {1, 3, 5, 10, 12, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 36, 37, 38} 13454 10.45/10.73 c before 54.0 seconds: {1, 3, 5, 10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38} 15046 10.45/10.73 c before 72.0 seconds: {0, 1, 3, 5, 10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38} 16046 10.45/10.73 c before 90.0 seconds: {0, 1, 3, 5, 10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38} 16581 10.45/10.73 c before 108.0 seconds: {0, 1, 3, 5, 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, 38} 17679 10.45/10.73 c before 126.0 seconds: {0, 1, 3, 4, 5, 6, 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, 38} 22087 10.45/10.73 c before 162.0 seconds: {0, 1, 3, 4, 5, 6, 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, 38, 39} 23131 10.45/10.73 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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, 38, 39} 24127 10.45/10.73 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, 38, 39} 25092 10.45/10.73 c 10.45/10.73 c solver 1 10.45/10.73 c before 0.0 seconds: {} 0 10.45/10.73 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, 37} 16014 10.45/10.73 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, 38, 39} 18089 10.45/10.73 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, 38, 39} 18612 10.45/10.73 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, 38, 39} 19215 10.45/10.73 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, 38, 39} 20263 10.45/10.73 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, 38, 39} 20796 10.45/10.73 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, 38, 39} 21299 10.45/10.73 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} 21855 10.45/10.73 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} 22390 10.45/10.73 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} 22907 10.45/10.73 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} 23449 10.45/10.74 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} 24030 10.45/10.74 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} 24546 10.45/10.74 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} 25090 10.45/10.74 c 10.45/10.74 c solver 2 10.45/10.74 c before 0.0 seconds: {} 0 10.45/10.74 c before 18.0 seconds: {12, 19, 20, 21, 23, 25, 26, 30, 37} 4726 10.45/10.74 c before 36.0 seconds: {12, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 37} 6787 10.45/10.74 c before 54.0 seconds: {12, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37} 7289 10.45/10.74 c before 72.0 seconds: {12, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37} 7812 10.45/10.74 c before 126.0 seconds: {12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37} 8330 10.45/10.74 c before 198.0 seconds: {10, 12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37} 8933 10.45/10.74 c before 270.0 seconds: {10, 12, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37} 9470 10.45/10.74 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} 10506 10.45/10.74 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} 11062 10.45/10.74 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} 11579 10.45/10.74 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} 12114 10.45/10.74 c 10.45/10.74 cTotal time: 120 10.45/10.74 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, 38, 39} 25092 10.45/10.74 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} 25090 10.45/10.74 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} 10506 10.45/10.74 c Starting solver: HOME/cpHydra_k_40/solver/abscon 10.45/10.74 c On Instance: HOME/instance-1084847-1215232199.xml 10.45/10.74 c Running for: 288 seconds 88.24/88.63 s SAT 88.24/88.63 v 3 0 4 4 2 2 1 0 4 2 2 1 3 4 1 1 2 1 1 2 88.24/88.63 d ASSIGNMENTS 225823 88.24/88.63 d CHECKS 1252244
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-1084847-1215232199/watcher-1084847-1215232199 -o /tmp/evaluation-result-1084847-1215232199/solver-1084847-1215232199 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1084847-1215232199.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.00 1.99 4/73 20021 /proc/meminfo: memFree=1714768/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=0 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 2002192785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 236 195 169 0 51 0 [pid=20023] ppid=20021 vsize=5360 CPUtime=0 /proc/20023/stat : 20023 (hydra) R 20021 20021 17302 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 2002192785 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 234211568935 0 0 4096 0 0 0 0 17 1 0 0 /proc/20023/statm: 1340 239 198 169 0 51 0 [startup+0.015166 s] /proc/loadavg: 1.99 2.00 1.99 4/73 20021 /proc/meminfo: memFree=1714768/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=0 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002192785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.10218 s] /proc/loadavg: 1.99 2.00 1.99 4/73 20021 /proc/meminfo: memFree=1714768/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=0 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002192785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301222 s] /proc/loadavg: 1.99 2.00 1.99 4/73 20021 /proc/meminfo: memFree=1714768/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=0 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002192785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701305 s] /proc/loadavg: 1.99 2.00 1.99 4/73 20021 /proc/meminfo: memFree=1714768/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=0 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002192785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50147 s] /proc/loadavg: 1.99 2.00 1.99 3/75 20025 /proc/meminfo: memFree=1692864/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=0 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002192785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 236 195 169 0 51 0 [pid=20025] ppid=20021 vsize=35380 CPUtime=1.45 /proc/20025/stat : 20025 (xsolve) R 20021 20021 17302 0 -1 4194304 8082 0 0 0 140 5 0 0 25 0 1 0 2002192786 36229120 8041 996147200 134512640 135239763 4294956176 18446744073709551615 134670341 0 0 4096 0 0 0 0 17 1 0 0 /proc/20025/statm: 8845 8041 355 177 0 7748 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 40740 [startup+3.1018 s] /proc/loadavg: 1.99 2.00 1.99 3/75 20025 /proc/meminfo: memFree=1671424/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=0 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002192785 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 236 195 169 0 51 0 [pid=20025] ppid=20021 vsize=66140 CPUtime=3.04 /proc/20025/stat : 20025 (xsolve) R 20021 20021 17302 0 -1 4194304 15911 0 0 0 293 11 0 0 25 0 1 0 2002192786 67727360 15870 996147200 134512640 135239763 4294956176 18446744073709551615 134820100 0 0 4096 0 0 0 0 17 1 0 0 /proc/20025/statm: 16535 15870 411 177 0 15438 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 71500 [startup+6.30247 s] /proc/loadavg: 1.99 2.00 1.99 3/83 20037 /proc/meminfo: memFree=1706880/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=4.49 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 375 16510 0 0 0 0 436 13 18 0 1 0 2002192785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 238 196 169 0 51 0 [pid=20029] ppid=20021 vsize=197004 CPUtime=1.7 /proc/20029/stat : 20029 (java) S 20021 20021 17302 0 -1 0 6467 0 1 0 164 6 0 0 18 0 9 0 2002193242 201732096 5447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20029/statm: 49251 5447 2541 9 0 43833 0 [pid=20029/tid=20030] ppid=20021 vsize=197004 CPUtime=1.3 /proc/20029/task/20030/stat : 20030 (java) R 20021 20021 17302 0 -1 64 2781 0 1 0 128 2 0 0 25 0 9 0 2002193243 201732096 5447 996147200 134512640 134550740 4294955968 18446744073709551615 4126443920 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20031] ppid=20021 vsize=197004 CPUtime=0.22 /proc/20029/task/20031/stat : 20031 (java) S 20021 20021 17302 0 -1 64 2347 0 0 0 20 2 0 0 16 0 9 0 2002193244 201732096 5447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20032] ppid=20021 vsize=197004 CPUtime=0 /proc/20029/task/20032/stat : 20032 (java) S 20021 20021 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002193244 201732096 5447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20033] ppid=20021 vsize=197004 CPUtime=0 /proc/20029/task/20033/stat : 20033 (java) S 20021 20021 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002193244 201732096 5447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20034] ppid=20021 vsize=197004 CPUtime=0 /proc/20029/task/20034/stat : 20034 (java) S 20021 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002193246 201732096 5447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20035] ppid=20021 vsize=197004 CPUtime=0.14 /proc/20029/task/20035/stat : 20035 (java) S 20021 20021 17302 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 2002193246 201732096 5447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20036] ppid=20021 vsize=197004 CPUtime=0 /proc/20029/task/20036/stat : 20036 (java) S 20021 20021 17302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002193246 201732096 5447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20037] ppid=20021 vsize=197004 CPUtime=0 /proc/20029/task/20037/stat : 20037 (java) S 20021 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002193246 201732096 5447 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202364 [startup+12.7028 s] /proc/loadavg: 1.99 2.00 1.99 3/95 20049 /proc/meminfo: memFree=1613920/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=4.49 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 375 16510 0 0 0 0 436 13 18 0 1 0 2002192785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 238 196 169 0 51 0 [pid=20029] ppid=20021 vsize=197440 CPUtime=6 /proc/20029/stat : 20029 (java) S 20021 20021 17302 0 -1 0 11436 0 1 0 583 17 0 0 18 0 10 0 2002193242 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20029/statm: 49360 9395 2544 9 0 43942 0 [pid=20039] ppid=20029 vsize=5356 CPUtime=0 /proc/20039/stat : 20039 (abscon) S 20029 20021 17302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002193859 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20039/statm: 1339 237 196 169 0 50 0 [pid=20040] ppid=20039 vsize=654712 CPUtime=1.93 /proc/20040/stat : 20040 (java) S 20039 20021 17302 0 -1 0 24565 0 1 0 182 11 0 0 18 0 9 0 2002193860 670425088 24081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20040/statm: 163678 24081 1983 9 0 158206 0 [pid=20040/tid=20042] ppid=20039 vsize=654712 CPUtime=1.68 /proc/20040/task/20042/stat : 20042 (java) R 20039 20021 17302 0 -1 64 12341 0 1 0 162 6 0 0 25 0 9 0 2002193861 670425088 24081 996147200 134512640 134550740 4294955808 18446744073709551615 4126581758 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20043] ppid=20039 vsize=654712 CPUtime=0.17 /proc/20040/task/20043/stat : 20043 (java) S 20039 20021 17302 0 -1 64 11376 0 0 0 13 4 0 0 16 0 9 0 2002193862 670425088 24081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20044] ppid=20039 vsize=654712 CPUtime=0 /proc/20040/task/20044/stat : 20044 (java) S 20039 20021 17302 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 2002193862 670425088 24081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20045] ppid=20039 vsize=654712 CPUtime=0 /proc/20040/task/20045/stat : 20045 (java) S 20039 20021 17302 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 2002193862 670425088 24081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20046] ppid=20039 vsize=654712 CPUtime=0 /proc/20040/task/20046/stat : 20046 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002193864 670425088 24081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20047] ppid=20039 vsize=654712 CPUtime=0.06 /proc/20040/task/20047/stat : 20047 (java) S 20039 20021 17302 0 -1 64 306 0 0 0 6 0 0 0 16 0 9 0 2002193864 670425088 24081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20048] ppid=20039 vsize=654712 CPUtime=0 /proc/20040/task/20048/stat : 20048 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002193864 670425088 24081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20049] ppid=20039 vsize=654712 CPUtime=0 /proc/20040/task/20049/stat : 20049 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002193864 670425088 24081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20041] ppid=20039 vsize=7044 CPUtime=0 /proc/20041/stat : 20041 (translate) S 20039 20021 17302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002193860 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20041/statm: 1761 213 182 1 0 41 0 [pid=20029/tid=20030] ppid=20021 vsize=197440 CPUtime=4.83 /proc/20029/task/20030/stat : 20030 (java) S 20021 20021 17302 0 -1 64 3860 0 1 0 476 7 0 0 25 0 10 0 2002193243 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=20029/tid=20031] ppid=20021 vsize=197440 CPUtime=0.9 /proc/20029/task/20031/stat : 20031 (java) S 20021 20021 17302 0 -1 64 6108 0 0 0 82 8 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20032] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20032/stat : 20032 (java) S 20021 20021 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20033] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20033/stat : 20033 (java) S 20021 20021 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20034] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20034/stat : 20034 (java) S 20021 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20035] ppid=20021 vsize=197440 CPUtime=0.24 /proc/20029/task/20035/stat : 20035 (java) S 20021 20021 17302 0 -1 64 669 0 0 0 24 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20036] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20036/stat : 20036 (java) S 20021 20021 17302 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20037] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20037/stat : 20037 (java) S 20021 20021 17302 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20038] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20038/stat : 20038 (java) S 20021 20021 17302 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002193859 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 869912 [startup+25.5024 s] /proc/loadavg: 1.99 2.00 1.99 3/95 20049 /proc/meminfo: memFree=1483872/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=4.49 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 375 16510 0 0 0 0 436 13 18 0 1 0 2002192785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 238 196 169 0 51 0 [pid=20029] ppid=20021 vsize=197440 CPUtime=6 /proc/20029/stat : 20029 (java) S 20021 20021 17302 0 -1 0 11458 0 1 0 583 17 0 0 18 0 10 0 2002193242 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20029/statm: 49360 9395 2544 9 0 43942 0 [pid=20039] ppid=20029 vsize=5356 CPUtime=0 /proc/20039/stat : 20039 (abscon) S 20029 20021 17302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002193859 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20039/statm: 1339 237 196 169 0 50 0 [pid=20040] ppid=20039 vsize=655316 CPUtime=14.72 /proc/20040/stat : 20040 (java) S 20039 20021 17302 0 -1 0 57723 0 1 0 1446 26 0 0 18 0 9 0 2002193860 671043584 53091 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20040/statm: 163829 53091 2614 9 0 158357 0 [pid=20040/tid=20042] ppid=20039 vsize=655316 CPUtime=12.5 /proc/20040/task/20042/stat : 20042 (java) R 20039 20021 17302 0 -1 64 12496 0 1 0 1243 7 0 0 25 0 9 0 2002193861 671043584 53091 996147200 134512640 134550740 4294955808 18446744073709551615 4126872771 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20043] ppid=20039 vsize=655316 CPUtime=1.97 /proc/20040/task/20043/stat : 20043 (java) S 20039 20021 17302 0 -1 64 44164 0 0 0 180 17 0 0 16 0 9 0 2002193862 671043584 53091 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20044] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20044/stat : 20044 (java) S 20039 20021 17302 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002193862 671043584 53091 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20045] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20045/stat : 20045 (java) S 20039 20021 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002193862 671043584 53091 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20046] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20046/stat : 20046 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002193864 671043584 53091 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20047] ppid=20039 vsize=655316 CPUtime=0.21 /proc/20040/task/20047/stat : 20047 (java) S 20039 20021 17302 0 -1 64 517 0 0 0 21 0 0 0 16 0 9 0 2002193864 671043584 53091 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20048] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20048/stat : 20048 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002193864 671043584 53091 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20049] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20049/stat : 20049 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002193864 671043584 53091 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20041] ppid=20039 vsize=7044 CPUtime=0 /proc/20041/stat : 20041 (translate) S 20039 20021 17302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002193860 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20041/statm: 1761 213 182 1 0 41 0 ################ # More data... # ################ /proc/20040/task/20049/stat : 20049 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002193864 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20041] ppid=20039 vsize=7044 CPUtime=0 /proc/20041/stat : 20041 (translate) S 20039 20021 17302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002193860 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20041/statm: 1761 213 182 1 0 41 0 [pid=20029/tid=20030] ppid=20021 vsize=197440 CPUtime=4.83 /proc/20029/task/20030/stat : 20030 (java) S 20021 20021 17302 0 -1 64 3860 0 1 0 476 7 0 0 25 0 10 0 2002193243 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=20029/tid=20031] ppid=20021 vsize=197440 CPUtime=0.9 /proc/20029/task/20031/stat : 20031 (java) S 20021 20021 17302 0 -1 64 6108 0 0 0 82 8 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20032] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20032/stat : 20032 (java) S 20021 20021 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20033] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20033/stat : 20033 (java) S 20021 20021 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20034] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20034/stat : 20034 (java) S 20021 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20035] ppid=20021 vsize=197440 CPUtime=0.24 /proc/20029/task/20035/stat : 20035 (java) S 20021 20021 17302 0 -1 64 669 0 0 0 24 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20036] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20036/stat : 20036 (java) S 20021 20021 17302 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20037] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20037/stat : 20037 (java) S 20021 20021 17302 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20038] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20038/stat : 20038 (java) S 20021 20021 17302 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002193859 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 87.59 Current children cumulated vsize (KiB) 870516 [startup+88.3025 s] /proc/loadavg: 1.99 2.00 1.99 3/95 20049 /proc/meminfo: memFree=1483808/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=4.49 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 375 16510 0 0 0 0 436 13 18 0 1 0 2002192785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 238 196 169 0 51 0 [pid=20029] ppid=20021 vsize=197440 CPUtime=6 /proc/20029/stat : 20029 (java) S 20021 20021 17302 0 -1 0 11458 0 1 0 583 17 0 0 18 0 10 0 2002193242 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20029/statm: 49360 9395 2544 9 0 43942 0 [pid=20039] ppid=20029 vsize=5356 CPUtime=0 /proc/20039/stat : 20039 (abscon) S 20029 20021 17302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002193859 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20039/statm: 1339 237 196 169 0 50 0 [pid=20040] ppid=20039 vsize=655316 CPUtime=77.49 /proc/20040/stat : 20040 (java) S 20039 20021 17302 0 -1 0 57724 0 1 0 7723 26 0 0 18 0 9 0 2002193860 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20040/statm: 163829 53092 2614 9 0 158357 0 [pid=20040/tid=20042] ppid=20039 vsize=655316 CPUtime=75.27 /proc/20040/task/20042/stat : 20042 (java) R 20039 20021 17302 0 -1 64 12496 0 1 0 7520 7 0 0 25 0 9 0 2002193861 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4126787409 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20043] ppid=20039 vsize=655316 CPUtime=1.97 /proc/20040/task/20043/stat : 20043 (java) S 20039 20021 17302 0 -1 64 44164 0 0 0 180 17 0 0 16 0 9 0 2002193862 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20044] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20044/stat : 20044 (java) S 20039 20021 17302 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002193862 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20045] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20045/stat : 20045 (java) S 20039 20021 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002193862 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20046] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20046/stat : 20046 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002193864 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20047] ppid=20039 vsize=655316 CPUtime=0.22 /proc/20040/task/20047/stat : 20047 (java) S 20039 20021 17302 0 -1 64 518 0 0 0 22 0 0 0 16 0 9 0 2002193864 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20048] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20048/stat : 20048 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002193864 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20049] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20049/stat : 20049 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002193864 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20041] ppid=20039 vsize=7044 CPUtime=0 /proc/20041/stat : 20041 (translate) S 20039 20021 17302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002193860 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20041/statm: 1761 213 182 1 0 41 0 [pid=20029/tid=20030] ppid=20021 vsize=197440 CPUtime=4.83 /proc/20029/task/20030/stat : 20030 (java) S 20021 20021 17302 0 -1 64 3860 0 1 0 476 7 0 0 25 0 10 0 2002193243 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=20029/tid=20031] ppid=20021 vsize=197440 CPUtime=0.9 /proc/20029/task/20031/stat : 20031 (java) S 20021 20021 17302 0 -1 64 6108 0 0 0 82 8 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20032] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20032/stat : 20032 (java) S 20021 20021 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20033] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20033/stat : 20033 (java) S 20021 20021 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20034] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20034/stat : 20034 (java) S 20021 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20035] ppid=20021 vsize=197440 CPUtime=0.24 /proc/20029/task/20035/stat : 20035 (java) S 20021 20021 17302 0 -1 64 669 0 0 0 24 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20036] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20036/stat : 20036 (java) S 20021 20021 17302 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20037] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20037/stat : 20037 (java) R 20021 20021 17302 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20038] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20038/stat : 20038 (java) S 20021 20021 17302 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002193859 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 87.98 Current children cumulated vsize (KiB) 870516 [startup+88.5025 s] /proc/loadavg: 1.99 2.00 1.99 3/95 20049 /proc/meminfo: memFree=1483808/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=4.49 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 375 16510 0 0 0 0 436 13 18 0 1 0 2002192785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 238 196 169 0 51 0 [pid=20029] ppid=20021 vsize=197440 CPUtime=6 /proc/20029/stat : 20029 (java) S 20021 20021 17302 0 -1 0 11458 0 1 0 583 17 0 0 18 0 10 0 2002193242 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20029/statm: 49360 9395 2544 9 0 43942 0 [pid=20039] ppid=20029 vsize=5356 CPUtime=0 /proc/20039/stat : 20039 (abscon) S 20029 20021 17302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2002193859 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/20039/statm: 1339 237 196 169 0 50 0 [pid=20040] ppid=20039 vsize=655316 CPUtime=77.69 /proc/20040/stat : 20040 (java) S 20039 20021 17302 0 -1 0 57724 0 1 0 7743 26 0 0 18 0 9 0 2002193860 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20040/statm: 163829 53092 2614 9 0 158357 0 [pid=20040/tid=20042] ppid=20039 vsize=655316 CPUtime=75.47 /proc/20040/task/20042/stat : 20042 (java) R 20039 20021 17302 0 -1 64 12496 0 1 0 7540 7 0 0 25 0 9 0 2002193861 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 102064645 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20043] ppid=20039 vsize=655316 CPUtime=1.97 /proc/20040/task/20043/stat : 20043 (java) S 20039 20021 17302 0 -1 64 44164 0 0 0 180 17 0 0 16 0 9 0 2002193862 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20044] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20044/stat : 20044 (java) S 20039 20021 17302 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002193862 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20045] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20045/stat : 20045 (java) S 20039 20021 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002193862 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20046] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20046/stat : 20046 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002193864 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20047] ppid=20039 vsize=655316 CPUtime=0.22 /proc/20040/task/20047/stat : 20047 (java) S 20039 20021 17302 0 -1 64 518 0 0 0 22 0 0 0 16 0 9 0 2002193864 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20048] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20048/stat : 20048 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002193864 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20040/tid=20049] ppid=20039 vsize=655316 CPUtime=0 /proc/20040/task/20049/stat : 20049 (java) S 20039 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002193864 671043584 53092 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=20041] ppid=20039 vsize=7044 CPUtime=0 /proc/20041/stat : 20041 (translate) S 20039 20021 17302 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002193860 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/20041/statm: 1761 213 182 1 0 41 0 [pid=20029/tid=20030] ppid=20021 vsize=197440 CPUtime=4.83 /proc/20029/task/20030/stat : 20030 (java) S 20021 20021 17302 0 -1 64 3860 0 1 0 476 7 0 0 25 0 10 0 2002193243 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=20029/tid=20031] ppid=20021 vsize=197440 CPUtime=0.9 /proc/20029/task/20031/stat : 20031 (java) S 20021 20021 17302 0 -1 64 6108 0 0 0 82 8 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20032] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20032/stat : 20032 (java) S 20021 20021 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20033] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20033/stat : 20033 (java) S 20021 20021 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20034] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20034/stat : 20034 (java) S 20021 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20035] ppid=20021 vsize=197440 CPUtime=0.24 /proc/20029/task/20035/stat : 20035 (java) S 20021 20021 17302 0 -1 64 669 0 0 0 24 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20036] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20036/stat : 20036 (java) S 20021 20021 17302 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20037] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20037/stat : 20037 (java) S 20021 20021 17302 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20038] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20038/stat : 20038 (java) S 20021 20021 17302 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002193859 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 88.18 Current children cumulated vsize (KiB) 870516 [startup+88.6025 s] /proc/loadavg: 1.99 2.00 1.99 3/95 20049 /proc/meminfo: memFree=1483808/2055920 swapFree=4179680/4192956 [pid=20021] ppid=20019 vsize=5360 CPUtime=4.49 /proc/20021/stat : 20021 (hydra) S 20019 20021 17302 0 -1 4194304 375 16510 0 0 0 0 436 13 18 0 1 0 2002192785 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/20021/statm: 1340 238 196 169 0 51 0 [pid=20029] ppid=20021 vsize=197440 CPUtime=6 /proc/20029/stat : 20029 (java) S 20021 20021 17302 0 -1 0 11460 0 1 0 583 17 0 0 18 0 10 0 2002193242 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/20029/statm: 49360 9395 2544 9 0 43942 0 [pid=20039] ppid=20029 vsize=5356 CPUtime=0 /proc/20039/stat : 20039 (abscon) S 20029 20021 17302 0 -1 4194304 303 288 0 0 0 0 0 0 16 0 1 0 2002193859 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/20039/statm: 1339 237 196 169 0 50 0 [pid=20040] ppid=20039 vsize=0 CPUtime=77.75 /proc/20040/stat : 20040 (java) Z 20039 20021 17302 0 -1 12 57735 0 1 0 7748 27 0 0 16 0 2 0 2002193860 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/20040/statm: 0 0 0 0 0 0 0 [pid=20029/tid=20030] ppid=20021 vsize=197440 CPUtime=4.83 /proc/20029/task/20030/stat : 20030 (java) S 20021 20021 17302 0 -1 64 3862 0 1 0 476 7 0 0 16 0 10 0 2002193243 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=20029/tid=20031] ppid=20021 vsize=197440 CPUtime=0.9 /proc/20029/task/20031/stat : 20031 (java) S 20021 20021 17302 0 -1 64 6108 0 0 0 82 8 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20032] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20032/stat : 20032 (java) S 20021 20021 17302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20033] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20033/stat : 20033 (java) S 20021 20021 17302 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002193244 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20034] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20034/stat : 20034 (java) S 20021 20021 17302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20035] ppid=20021 vsize=197440 CPUtime=0.24 /proc/20029/task/20035/stat : 20035 (java) S 20021 20021 17302 0 -1 64 669 0 0 0 24 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20036] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20036/stat : 20036 (java) S 20021 20021 17302 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20037] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20037/stat : 20037 (java) S 20021 20021 17302 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2002193246 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=20029/tid=20038] ppid=20021 vsize=197440 CPUtime=0 /proc/20029/task/20038/stat : 20038 (java) S 20021 20021 17302 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2002193859 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 88.24 Current children cumulated vsize (KiB) 208156 Child status: 0 Real time (s): 88.6734 CPU time (s): 88.3196 CPU user time (s): 87.6927 CPU system time (s): 0.626904 CPU usage (%): 99.601 Max. virtual memory (cumulated for all children) (KiB): 875088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 87.6927 system time used= 0.626904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86812 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= 13838 involuntary context switches= 17690 runsolver used 0.472928 second user time and 0.824874 second system time The end
Begin job on node54 at 2008-07-05 06:30:01 IDJOB=1084847 IDBENCH=57585 IDSOLVER=366 FILE ID=node54/1084847-1215232199 PBS_JOBID= 7881830 Free space on /tmp= 66508 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-4_ext.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084847-1215232199/watcher-1084847-1215232199 -o /tmp/evaluation-result-1084847-1215232199/solver-1084847-1215232199 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1084847-1215232199.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= d3f44c49896eef0a554a753221d829d8 RANDOM SEED=2031517724 node54.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.279 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.279 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: 1715184 kB Buffers: 48164 kB Cached: 220500 kB SwapCached: 6600 kB Active: 201380 kB Inactive: 78180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1715184 kB SwapTotal: 4192956 kB SwapFree: 4179680 kB Dirty: 46268 kB Writeback: 0 kB Mapped: 18364 kB Slab: 46460 kB Committed_AS: 3915268 kB PageTables: 1680 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66484 MiB End job on node54 at 2008-07-05 06:31:30