Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | SAT (TO) | 181232554 | 19848.7 | 2520.06 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml |
| MD5SUM | 3fdf89d4941046bada2032faa76e855a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 63832030 |
| Best CPU time to get the best result obtained on this benchmark | 59.6866 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4790 |
| Number of constraints | 2852 |
| Number of domains | 18 |
| Minimum domain size | 1 |
| Maximum domain size | 121 |
| Distribution of domain sizes | [{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 1264 |
| Distribution of variable degrees | [{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}] |
| Number of extensional constraints | 1263 |
| Number of intensional constraints | 1589 |
| Distribution of constraint types | [{"type":"extension","count":1263},{"type":"intension","count":1589}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.21/0.23 c 0.21/0.23 c This is cosoco 2.00 -- 0.21/0.23 c 0.21/0.23 c command line: cosoco -model -nbcores=8 HOME/instance-4409513-1569840728.xml 0.21/0.23 c intension eq(dist(f[44],f[63]),40) -> extension (support ? 1) - 222tuples 0.21/0.24 c intension eq(dist(f[245],f[259]),40) -> extension (support ? 1) - 34tuples 0.21/0.24 c intension eq(dist(f[171],f[366]),40) -> extension (support ? 1) - 222tuples 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension eq(dist(f[168],f[394]),40) -> extension (support ? 1) - 22tuples 0.21/0.25 c intension eq(dist(f[189],f[377]),40) -> extension (support ? 1) - 222tuples 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension eq(dist(f[383],f[402]),40) -> extension (support ? 1) - 34tuples 0.21/0.26 c intension eq(dist(f[19],f[30]),40) -> extension (support ? 1) - 222tuples 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension eq(dist(f[264],f[465]),40) -> extension (support ? 1) - 22tuples 0.21/0.27 c intension eq(dist(f[271],f[76]),40) -> extension (support ? 1) - 222tuples 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension eq(dist(f[152],f[320]),40) -> extension (support ? 1) - 34tuples 0.21/0.29 c intension eq(dist(f[253],f[301]),40) -> extension (support ? 1) - 222tuples 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension eq(dist(f[108],f[191]),40) -> extension (support ? 1) - 34tuples 0.21/0.31 c intension eq(dist(f[43],f[464]),40) -> extension (support ? 1) - 222tuples 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension eq(dist(f[242],f[314]),40) -> extension (support ? 1) - 34tuples 0.31/0.32 c intension eq(dist(f[179],f[261]),40) -> extension (support ? 1) - 222tuples 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension eq(dist(f[188],f[262]),40) -> extension (support ? 1) - 34tuples 0.31/0.34 c intension eq(dist(f[330],f[429]),40) -> extension (support ? 1) - 222tuples 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension eq(dist(f[307],f[426]),40) -> extension (support ? 1) - 34tuples 0.31/0.35 c intension eq(dist(f[272],f[455]),40) -> extension (support ? 1) - 222tuples 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension eq(dist(f[13],f[62]),40) -> extension (support ? 1) - 34tuples 0.31/0.37 c intension eq(dist(f[117],f[474]),40) -> extension (support ? 1) - 222tuples 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension eq(dist(f[126],f[483]),40) -> extension (support ? 1) - 34tuples 0.31/0.39 c intension eq(dist(f[195],f[8]),40) -> extension (support ? 1) - 222tuples 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension eq(dist(f[113],f[401]),40) -> extension (support ? 1) - 22tuples 0.31/0.40 c intension eq(dist(f[143],f[53]),40) -> extension (support ? 1) - 222tuples 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension eq(dist(f[224],f[58]),40) -> extension (support ? 1) - 34tuples 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension eq(dist(f[38],f[47]),40) -> extension (support ? 1) - 222tuples 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension eq(dist(f[105],f[211]),40) -> extension (support ? 1) - 34tuples 0.41/0.43 c intension eq(dist(f[183],f[454]),40) -> extension (support ? 1) - 222tuples 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension ne(dist(f[235],f[396]),13) -> extension (support ? 0) - 0tuples 0.41/0.44 c intension ne(dist(f[168],f[169]),118) -> extension (support ? 0) - 0tuples 0.41/0.45 c intension ne(dist(f[327],f[355]),9) -> extension (support ? 0) - 0tuples 0.41/0.45 c intension ne(dist(f[144],f[290]),66) -> extension (support ? 0) - 0tuples 0.41/0.46 c intension ne(dist(f[138],f[283]),73) -> extension (support ? 0) - 0tuples 0.41/0.47 c intension ne(dist(f[377],f[476]),53) -> extension (support ? 0) - 0tuples 0.41/0.48 c intension ne(dist(f[312],f[374]),3) -> extension (support ? 0) - 0tuples 0.41/0.48 c intension ne(dist(f[194],f[70]),200) -> extension (support ? 0) - 142tuples 0.41/0.49 c intension ne(dist(f[203],f[294]),21) -> extension (support ? 0) - 0tuples 0.41/0.50 c intension ne(dist(f[233],f[422]),27) -> extension (support ? 0) - 0tuples 0.41/0.50 c intension ne(dist(f[292],f[400]),64) -> extension (support ? 0) - 210tuples 0.41/0.51 c intension ne(dist(f[127],f[72]),78) -> extension (support ? 0) - 0tuples 0.51/0.52 c intension ne(dist(f[40],f[57]),18) -> extension (support ? 0) - 0tuples 0.51/0.52 c intension ne(dist(f[118],f[209]),75) -> extension (support ? 0) - 0tuples 0.51/0.53 c intension ne(dist(f[251],f[90]),13) -> extension (support ? 0) - 0tuples 0.51/0.54 c intension ne(dist(f[154],f[85]),17) -> extension (support ? 0) - 0tuples 0.51/0.54 c intension ne(dist(f[413],f[52]),226) -> extension (support ? 0) - 0tuples 0.51/0.55 c intension ne(dist(f[192],f[268]),20) -> extension (support ? 0) - 232tuples 0.51/0.55 c intension ne(dist(f[116],f[402]),48) -> extension (support ? 0) - 54tuples 0.51/0.56 c intension ne(dist(f[174],f[316]),54) -> extension (support ? 0) - 0tuples 0.51/0.57 c intension ne(dist(f[104],f[300]),129) -> extension (support ? 0) - 0tuples 0.51/0.57 c intension ne(dist(f[444],f[499]),47) -> extension (support ? 0) - 0tuples 0.51/0.58 c intension ne(dist(f[231],f[407]),8) -> extension (support ? 0) - 238tuples 0.51/0.59 c intension ne(dist(f[360],f[50]),2) -> extension (support ? 0) - 0tuples 0.51/0.60 c intension ne(dist(f[219],f[436]),27) -> extension (support ? 0) - 0tuples 0.51/0.60 c intension ne(dist(f[484],f[68]),31) -> extension (support ? 0) - 0tuples 0.69/5.73 c intension ne(dist(f[443],f[80]),203) -> extension (support ? 0) - 0tuples 0.69/5.73 c intension ne(dist(f[106],f[238]),73) -> extension (support ? 0) - 0tuples 0.69/5.73 c intension ne(dist(f[102],f[243]),320) -> extension (support ? 0) - 82tuples 0.69/5.73 c intension ne(dist(f[112],f[281]),226) -> extension (support ? 0) - 0tuples 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c AllEqual constraint using 1 generic x=y constraints 0.69/5.73 c intension eq(dist(f[13],f[383]),d[60]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[13],f[461]),d[62]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[105],f[307]),d[475]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[105],f[465]),d[476]) -> extension (support ? 1) - 567tuples 0.69/5.73 c intension eq(dist(f[108],f[211]),d[486]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[108],f[307]),d[488]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[108],f[314]),d[489]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[113],f[168]),d[508]) -> extension (support ? 1) - 441tuples 0.69/5.73 c intension eq(dist(f[113],f[188]),d[509]) -> extension (support ? 1) - 567tuples 0.69/5.73 c intension eq(dist(f[113],f[211]),d[510]) -> extension (support ? 1) - 567tuples 0.69/5.73 c intension eq(dist(f[113],f[264]),d[511]) -> extension (support ? 1) - 441tuples 0.69/5.73 c intension eq(dist(f[126],f[211]),d[565]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension -> extension : same as previous 0.69/5.73 c intension eq(dist(f[126],f[307]),d[567]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[126],f[401]),d[568]) -> extension (support ? 1) - 567tuples 0.69/5.73 c intension eq(dist(f[168],f[264]),d[715]) -> extension (support ? 1) - 441tuples 0.69/5.73 c intension eq(dist(f[224],f[320]),d[894]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[245],f[262]),d[949]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[245],f[426]),d[951]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[262],f[426]),d[998]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[314],f[383]),d[1109]) -> extension (support ? 1) - 729tuples 0.69/5.73 c intension eq(dist(f[320],f[461]),d[1117]) -> extension (support ? 1) - 729tuples 4537.99/602.18 c enable optimization 4537.99/602.18 c ========================================[ Problem Statistics ]=========================================== 4537.99/602.18 c | 4537.99/602.18 c | Parse time : 37.32 s 4537.99/602.18 c | 4537.99/602.18 c | Variables: 4790 4537.99/602.18 c | Domain Sizes: 1..121 4537.99/602.18 c | 4537.99/602.18 c | Constraints: 2853 4537.99/602.18 c | Arity: 2..2527 -- Binary: 326 -- Ternary: 1263 4537.99/602.18 c | 4537.99/602.18 c | Types: 4537.99/602.18 c | (X != Y): 17 4537.99/602.18 c | (X = Y): 29 4537.99/602.18 c | Extension: 1565 (nb tuples: 0..5776) -- (shared: 1776) 4537.99/602.18 c | Intension: 1241 4537.99/602.18 c | Sum: 1 4537.99/602.18 c | 4537.99/602.18 c | Objective: Minimize Sum 4537.99/602.18 4537.99/602.18 c ========================================================================================================= 4537.99/602.18 c Parallel mode: Portfolio 4537.99/602.18 c [pFactory][Group N°0] created (threads:8). 4537.99/602.18 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 4537.99/602.18 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 4537.99/602.18 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 4537.99/602.18 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 4537.99/602.18 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 4537.99/602.18 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 4537.99/602.18 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 4537.99/602.18 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 4537.99/602.18 c [pFactory][Group N°0] concurrent mode: enabled. 4537.99/602.18 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 4537.99/602.18 c [pFactory][Group N°0] task 7 launched on thread 0. 4537.99/602.18 c [pFactory][Group N°0] task 6 launched on thread 1. 4537.99/602.18 c [pFactory][Group N°0] task 5 launched on thread 6. 4537.99/602.18 c [pFactory][Group N°0] task 4 launched on thread 2. 4537.99/602.18 c [pFactory][Group N°0] task 3 launched on thread 4. 4537.99/602.18 c [pFactory][Group N°0] task 2 launched on thread 7. 4537.99/602.18 c [pFactory][Group N°0] task 1 launched on thread 3. 4537.99/602.18 c [pFactory][Group N°0] task 0 launched on thread 5. 4537.99/602.18 o 183191727 4893.93/646.79 o 181257905 4929.85/651.25 o 181245275 4966.57/655.89 o 181245265 5003.23/660.48 o 181245256 5073.46/669.29 o 181245255 5146.06/678.39 o 181245246 5288.97/696.26 o 181245236 5364.00/705.60 o 181245235 5576.30/732.28 o 181232605 5723.99/750.72 o 181232595 5801.38/760.47 o 181232586 6008.14/786.31 o 181232585 7347.74/954.16 o 181232571 7385.20/958.87 o 181232568 8631.32/1114.98 o 181232560 8703.15/1123.91 o 181232554 19848.54/2520.02 19848.54/2520.02 c *** INTERRUPTED *** 19848.54/2520.02 c call to solver : 2 19848.54/2520.02 c 19848.54/2520.02 c restarts : 4568 19848.54/2520.02 c conflicts : 20353 (1 /sec) 19848.54/2520.02 c decisions : 1293107 (65 /sec) 19848.54/2520.02 c propagations : 175918348 (8878 /sec) 19848.54/2520.02 c root propagations : 10735 19848.54/2520.02 c filter calls : 19125621 (965 /sec) 19848.54/2520.02 c useless filter calls : 13751008 (71 %) 19848.54/2520.02 c Memory used : 4477.31 MB 19848.54/2520.02 c Best bound time (wc) : 1123.91 s 19848.54/2520.02 c CPU time : 19816.1 s 19848.54/2520.02 c real time : 2520.02 s 19848.54/2520.02 19848.54/2520.02 s SATISFIABLE 19848.54/2520.02 c Best value found: 181232554 19848.54/2520.02 19848.54/2520.02 19848.54/2520.02 v <instantiation type='solution' cost='181232554'> 19848.54/2520.02 v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[126] d[127] d[128] d[129] d[12] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[13] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[14] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[15] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[16] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[17] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[18] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[19] d[1] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[20] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[30] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[31] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[32] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[33] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[34] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[35] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[36] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[37] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[38] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[39] f[3] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[40] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[41] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[42] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[43] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[44] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[45] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[46] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[47] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[48] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[30] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[31] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[32] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[33] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[34] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[35] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[36] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[37] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[38] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[39] p[3] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[40] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[41] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[42] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[43] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[44] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[45] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[46] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[47] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[48] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[126] v1[127] v1[128] v1[129] v1[12] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[13] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[14] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[15] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[16] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[17] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[18] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[19] v1[1] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[20] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[126] v2[127] v2[128] v2[129] v2[12] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[13] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[14] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[15] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[16] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[17] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[18] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[19] v2[1] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list> 19848.54/2520.02 v <values>104 100 0 368 40 236 236 240 40 40 40 104 168 40 0 40 368 40 0 248 40 372 368 244 40 0 300 292 0 24 328 328 428 212 256 392 264 352 0 256 220 116 196 204 0 328 392 168 152 8 388 388 100 80 380 212 8 184 292 0 80 40 224 252 252 152 0 284 244 232 0 88 416 120 160 0 80 48 0 0 340 208 40 32 296 144 208 84 120 248 52 272 252 0 40 468 40 208 0 276 0 0 168 116 0 368 300 40 444 152 296 332 80 328 152 176 416 440 0 92 240 56 28 400 400 0 116 280 48 96 36 320 236 100 80 4 416 0 480 364 80 312 0 0 20 376 40 0 220 328 40 384 0 328 132 332 436 196 392 184 432 196 72 84 40 152 36 352 76 0 400 236 244 244 244 0 40 4 0 260 364 412 416 368 40 40 200 392 232 0 0 0 0 276 308 128 340 400 0 4 24 232 16 40 40 264 228 40 40 404 48 40 232 4 232 208 0 0 0 256 160 104 96 368 4 108 352 240 0 400 352 408 36 288 0 0 0 20 276 296 256 444 344 344 48 344 440 316 188 40 0 276 168 0 0 0 248 20 0 40 112 156 64 268 80 64 0 0 0 220 288 80 120 440 140 312 0 440 240 208 400 108 168 40 0 236 224 368 0 284 40 40 400 0 184 228 436 188 228 184 68 40 320 64 40 236 332 0 76 40 0 468 380 196 236 200 76 0 476 204 244 192 40 40 0 272 40 192 440 248 372 48 404 420 192 440 320 40 0 328 248 164 4 400 40 116 352 120 312 212 212 208 8 212 144 160 252 180 216 160 220 256 152 28 412 0 0 472 40 256 232 112 276 188 296 440 40 280 40 200 0 52 44 76 328 208 240 440 0 40 80 468 0 120 292 108 184 292 200 332 112 180 212 196 172 200 320 276 40 0 0 184 232 184 376 56 88 208 64 152 192 192 40 28 0 92 288 200 268 124 104 228 368 168 376 40 440 8 40 336 228 208 384 212 204 40 40 0 40 0 0 252 0 436 0 0 8 272 316 144 164 268 112 40 328 248 232 132 48 40 424 40 100 236 140 8 108 100 108 400 28 188 432 200 200 336 240 72 300 0 0 40 40 40 168 0 328 40 392 20 60 400 280 20 72 256 216 0 184 40 40 0 0 228 228 172 52 172 128 412 0 120 40 312 40 40 140 0 40 24 208 444 232 440 0 380 52 288 76 252 260 60 200 240 0 40 40 0 40 252 40 260 40 268 392 0 116 0 376 256 296 400 300 188 420 32 40 40 280 40 40 0 0 300 356 352 0 40 0 40 0 372 368 0 260 388 268 412 416 0 68 120 408 168 140 300 52 0 360 112 328 72 348 340 340 148 92 260 340 188 292 4 124 8 184 100 260 52 172 92 12 12 168 80 300 204 40 364 40 8 368 40 328 288 392 252 432 180 480 40 88 480 40 0 300 0 40 408 80 40 0 260 328 196 0 8 296 344 184 432 392 356 40 48 240 296 344 200 0 116 180 12 12 440 0 0 76 0 60 204 264 212 0 248 192 248 244 296 296 336 76 28 228 272 56 288 204 292 344 340 344 144 76 408 140 12 0 340 16 184 268 168 228 380 136 400 36 76 112 300 36 16 440 440 412 440 128 40 244 296 252 56 204 0 40 40 40 384 368 480 104 32 0 0 276 168 12 412 372 8 220 100 260 40 80 116 248 144 288 0 400 0 296 40 0 40 0 248 128 172 72 240 456 336 416 248 436 116 76 28 60 272 368 76 40 48 88 248 40 0 0 248 40 128 0 0 0 0 0 32 264 204 168 168 168 144 328 4 296 268 96 204 76 116 300 340 200 332 300 200 56 240 240 0 428 236 220 28 428 104 284 84 44 376 336 224 100 184 40 440 180 396 292 416 0 128 236 0 160 204 424 64 0 312 188 176 128 92 0 0 180 180 68 140 200 152 104 240 0 416 0 128 408 120 48 4 128 288 84 416 32 16 16 368 184 40 392 440 80 316 48 120 72 304 108 68 68 140 44 124 0 132 40 344 192 152 232 152 192 172 20 396 436 248 36 0 328 240 256 256 88 140 56 24 212 352 416 40 200 368 0 308 268 104 308 116 144 200 64 328 48 40 164 40 40 40 0 56 440 72 32 240 248 40 252 292 40 8 228 308 192 124 280 400 400 440 304 184 184 64 128 300 40 224 0 428 376 40 0 400 404 168 128 248 48 36 40 36 444 0 296 40 0 0 464 272 48 0 8 48 168 356 388 40 236 196 128 396 436 396 0 160 200 452 412 452 40 0 0 0 208 40 280 40 312 104 300 32 356 328 0 168 328 192 176 152 192 84 152 344 368 228 76 116 116 84 116 176 40 424 192 228 148 0 380 300 248 300 340 340 132 340 400 316 368 336 252 0 0 308 376 160 40 436 396 40 40 40 40 44 4 44 128 360 96 340 36 392 452 348 0 244 452 452 212 56 356 380 368 392 64 24 64 0 40 276 348 232 0 0 176 0 380 0 428 240 0 240 0 40 40 168 40 40 416 456 456 456 256 292 172 352 392 392 268 396 436 400 40 80 40 0 340 136 56 304 224 244 36 0 196 408 0 208 252 380 424 424 412 384 52 328 104 428 292 52 324 0 320 36 444 140 324 304 244 376 40 92 108 140 248 0 36 132 8 64 272 0 268 160 160 4 52 52 280 0 388 408 0 464 400 288 288 248 288 24 332 120 36 176 296 296 108 288 48 40 440 68 192 0 28 28 12 336 336 304 96 228 192 124 112 12 208 208 40 0 40 0 12 148 256 400 392 40 40 0 40 228 132 344 188 344 364 360 276 308 360 40 160 60 312 116 4 2556 2268 2652 2220 2272 2220 2364 2260 2556 2296 2604 2220 2248 2488 2640 2624 2700 2260 2472 2260 2220 2632 2556 2520 2364 2660 2220 2500 2676 2296 2220 2260 2260 2260 2388 2356 2560 2460 2260 2648 2304 2596 2260 2220 2400 2220 2220 2360 2324 2220 2400 2412 2220 2508 2636 2428 2260 2700 2340 2564 2220 2220 2412 2280 2656 2260 2500 2260 2612 2260 2528 2660 2260 2424 2260 2588 2660 2372 2220 2372 2660 2444 2260 2220 2388 2260 2260 2220 2260 2220 2308 2260 2656 2460 2672 2220 2324 2548 2412 2316 2488 2336 2220 2644 2260 2560 2228 2308 2260 2260 2260 2560 2260 2220 2264 2268 2260 2220 2672 2472 2412 2260 2408 2260 2324 2220 2260 2220 2220 2220 2260 2676 2512 2260 2612 2656 2620 2220 2356 2572 2260 2260 2600 2644 2220 2260 2312 2220 2540 2664 2260 2480 2468 2260 2532 2320 2260 2420 2312 2220 2508 2564 2556 2508 2260 2260 2224 2232 2596 2524 2428 2260 2616 2672 2260 2280 2604 2548 2260 2260 2588 2532 2588 2220 2456 2260 2220 2260 2220 2628 2220 2632 2260 2220 2548 2260 2612 2260 2516 2448 2656 2260 2688 2300 2600 2452 2596 2220 2692 2512 2260 2452 2504 2220 2636 2380 2220 2260 2220 2292 2440 2220 2628 2508 2388 2680 2220 2260 2540 2260 2568 2220 2220 2220 2588 2372 2220 2220 2352 2260 2660 2220 2300 2400 2464 2300 2300 2636 2500 2220 2700 2352 2260 2260 2252 2260 2260 2684 2220 2260 2636 2260 2548 2588 2572 2696 2260 2652 2620 2340 2552 2220 2260 2572 2428 2260 2260 2268 2260 2220 2464 2620 2220 2300 2624 2632 2636 2260 2220 2592 2260 2220 2220 2220 2220 2412 2536 2220 2428 2260 2396 2220 2220 2424 2460 2220 2260 2452 2468 2220 2572 2260 2220 2260 2296 2516 2260 2348 2640 2260 2260 2472 2260 2220 2612 2260 2628 2296 2220 2220 2688 2648 2476 2696 2516 2664 2336 2564 2660 2220 2460 2240 2416 2260 2220 2220 2260 2260 2524 2220 2220 2260 2220 2272 2220 2404 2468 2260 2220 2220 2220 2512 2528 2420 2260 2220 2260 2220 2340 2496 2560 2260 2452 2652 2656 2220 2388 2588 2428 2624 2220 2680 2260 2288 2660 2228 2452 2620 2700 2348 2644 2220 2560 2696 2592 2260 2220 2260 2260 2220 2456 2336 2220 2260 2628 2628 2512 2260 2356 2664 2552 2220 2260 2220 2220 2220 2620 2344 2220 2496 2220 2432 2220 2500 2412 2336 2240 2260 2220 2260 2220 2260 2580 2260 2260 2220 2220 2232 2260 2700 2268 2220 2412 2260 2468 2596 2412 2260 2364 2596 2220 2260 2260 2316 2632 2604 2220 2260 2360 2660 2460 2260 2280 2476 2220 2448 2384 2392 2220 2260 2220 2260 2500 2260 2220 2636 2516 2588 2660 2260 2220 2616 2260 2220 2632 2260 2628 2220 2520 2588 2600 2228 2360 2272 2260 2260 2220 2220 2220 2596 11 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 10 0 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 10 10 0 0 10 0 10 0 10 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 10 10 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 10 10 0 10 10 0 10 0 0 10 10 0 0 6 10 0 10 10 10 0 10 0 10 10 10 0 0 0 0 0 0 0 10 10 10 0 10 0 0 10 0 10 10 0 10 0 0 10 0 0 0 0 0 10 10 10 0 10 0 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 10 0 0 10 0 10 0 0 0 10 0 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 10 10 10 0 0 10 0 0 0 10 10 0 0 10 0 10 0 0 10 10 0 0 10 10 0 0 0 10 0 10 10 0 0 0 0 0 10 10 0 0 10 10 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 10 10 10 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 10 10 10 0 0 10 0 10 10 0 10 0 0 0 0 0 10 0 10 0 10 0 10 0 0 10 7 0 0 0 10 10 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 10 10 10 0 0 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 10 0 0 5 0 10 0 10 0 5 0 0 0 10 0 0 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 10 10 10 0 10 0 0 10 10 10 10 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 10 10 0 10 10 0 10 0 0 10 0 10 0 0 10 10 0 10 10 0 0 0 0 10 0 0 10 10 0 0 10 10 0 10 0 0 10 0 0 10 10 0 10 10 10 0 10 10 0 10 10 10 0 10 0 10 0 0 10 0 0 10 0 0 10 4 0 10 10 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 4 10 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 10 0 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 10 10 10 0 0 10 0 0 0 0 0 10 10 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 10 10 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 10 0 10 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 7 10 10 10 10 10 0 0 0 0 10 10 0 0 10 0 0 10 0 0 10 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 0 0 0 10 10 0 0 10 10 9 0 0 0 10 10 0 10 10 0 10 0 0 0 10 10 10 0 0 10 0 0 0 10 0 0 0 0 0 10 10 10 0 10 0 0 10 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 10 10 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 10 0 10 10 0 0 0 10 0 0 0 0 0 10 0 10 10 0 10 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 8 0 10 0 0 10 0 0 10 10 0 10 0 0 0 10 10 0 0 0 10 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 10 0 10 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 10 10 0 10 10 0 10 0 0 10 10 0 0 0 0 0 0 10 10 0 10 10 0 0 10 0 0 0 10 10 0 0 10 10 10 10 10 0 10 0 10 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 10 0 10 10 10 10 10 10 10 10 0 0 10 0 0 10 0 0 10 0 10 0 10 0 0 0 0 0 0 0 10 10 9 10 0 10 0 0 10 10 10 0 10 10 10 0 0 0 10 10 0 0 0 0 0 10 0 0 10 10 0 0 10 10 0 10 0 10 0 10 10 10 0 0 0 0 10 10 10 0 10 10 0 0 0 10 10 0 10 0 10 0 10 0 0 10 0 0 0 0 10 10 10 10 0 10 10 0 0 0 0 10 10 0 10 0 10 10 10 0 0 0 10 0 0 0 0 0 0 10 10 10 0 10 10 0 0 0 0 0 0 10 0 10 10 0 10 0 </values> 19848.54/2520.02 v </instantiation> 19848.54/2520.02
OK 181232554
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14484 MiB free)
memory of node 1: 16384 MiB (15506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409513-1569840728/watcher-4409513-1569840728 -o /tmp/evaluation-result-4409513-1569840728/solver-4409513-1569840728 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569830384-20740 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409513-1569840728.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22035, runsolver pid=22032
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 1.08 1.03 1.30 2/193 22036
/proc/meminfo: memFree=30666276/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=77160 memory=53052 CPUtime=0.1 cores=0-7
/proc/22035/stat : 22035 (cosoco) R 22032 22035 20713 0 -1 4202496 13468 0 0 0 9 1 0 0 20 0 1 0 560341612 79011840 13263 33554432000 4194304 6211132 140729294960640 140729294956520 140207756717029 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 19290 13263 755 493 0 12595 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77160 KiB
Current children cumulated memory: 53052 KiB
[startup+0.209599 s]*
/proc/loadavg: 1.08 1.03 1.30 2/193 22036
/proc/meminfo: memFree=30604524/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=138528 memory=114448 CPUtime=0.21 cores=0-7
/proc/22035/stat : 22035 (cosoco) R 22032 22035 20713 0 -1 4202496 28830 0 0 0 17 4 0 0 20 0 1 0 560341612 141852672 28612 33554432000 4194304 6211132 140729294960640 140729294956360 140207756717029 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 34632 28612 755 493 0 27937 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 138528 KiB
Current children cumulated memory: 114448 KiB
[startup+0.309564 s]*
/proc/loadavg: 1.08 1.03 1.30 2/193 22036
/proc/meminfo: memFree=30582204/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=156884 memory=133072 CPUtime=0.31 cores=0-7
/proc/22035/stat : 22035 (cosoco) R 22032 22035 20713 0 -1 4202496 33550 0 0 0 27 4 0 0 20 0 1 0 560341612 160649216 33268 33554432000 4194304 6211132 140729294960640 140729294956360 5012856 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 39221 33268 826 493 0 32526 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 156884 KiB
Current children cumulated memory: 133072 KiB
[startup+0.700346 s]
/proc/loadavg: 1.08 1.03 1.30 2/193 22036
/proc/meminfo: memFree=30549468/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=217944 memory=194436 CPUtime=0.69 cores=0-7
/proc/22035/stat : 22035 (cosoco) R 22032 22035 20713 0 -1 4202496 52788 0 0 0 62 7 0 0 20 0 1 0 560341612 223174656 48543 33554432000 4194304 6211132 140729294960640 140729294955128 140207756717029 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 54521 48609 833 493 0 47826 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 217944 KiB
Current children cumulated memory: 194436 KiB
[startup+5.83295 s]
/proc/loadavg: 1.08 1.03 1.30 2/193 22036
/proc/meminfo: memFree=30549468/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=900780 memory=864672 CPUtime=5.82 cores=0-7
/proc/22035/stat : 22035 (cosoco) R 22032 22035 20713 0 -1 4202496 230808 0 0 0 554 28 0 0 20 0 1 0 560341612 922398720 216168 33554432000 4194304 6211132 140729294960640 140729294957912 5814143 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 225195 216168 840 493 0 218500 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 900780 KiB
Current children cumulated memory: 864672 KiB
[startup+5.90038 s]
/proc/loadavg: 1.08 1.03 1.30 2/193 22036
/proc/meminfo: memFree=30549468/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=905172 memory=868772 CPUtime=5.89 cores=0-7
/proc/22035/stat : 22035 (cosoco) R 22032 22035 20713 0 -1 4202496 232073 0 0 0 561 28 0 0 20 0 1 0 560341612 926896128 217193 33554432000 4194304 6211132 140729294960640 140729294957912 5814143 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 226293 217193 840 493 0 219598 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 905172 KiB
Current children cumulated memory: 868772 KiB
[startup+6.30033 s]
/proc/loadavg: 1.56 1.13 1.33 2/194 22037
/proc/meminfo: memFree=29839132/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=927844 memory=890244 CPUtime=6.29 cores=0-7
/proc/22035/stat : 22035 (cosoco) R 22032 22035 20713 0 -1 4202496 237838 0 0 0 600 29 0 0 20 0 1 0 560341612 950112256 222561 33554432000 4194304 6211132 140729294960640 140729294957912 5817204 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 231961 222561 840 493 0 225266 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 927844 KiB
Current children cumulated memory: 890244 KiB
[startup+12.7003 s]
/proc/loadavg: 1.83 1.19 1.35 3/194 22038
/proc/meminfo: memFree=30023056/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=1309940 memory=1251560 CPUtime=12.69 cores=0-7
/proc/22035/stat : 22035 (cosoco) R 22032 22035 20713 0 -1 4202496 336463 0 0 0 1228 41 0 0 20 0 1 0 560341612 1341378560 312890 33554432000 4194304 6211132 140729294960640 140729294957912 5817917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 327485 312890 840 493 0 320790 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1309940 KiB
Current children cumulated memory: 1251560 KiB
[startup+25.5003 s]
/proc/loadavg: 1.65 1.18 1.34 2/193 22040
/proc/meminfo: memFree=29809428/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=2074484 memory=1975260 CPUtime=25.48 cores=0-7
/proc/22035/stat : 22035 (cosoco) R 22032 22035 20713 0 -1 4202496 529084 0 0 0 2483 65 0 0 20 0 1 0 560341612 2124271616 493815 33554432000 4194304 6211132 140729294960640 140729294956136 5818355 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 518621 493815 840 493 0 511926 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2074484 KiB
Current children cumulated memory: 1975260 KiB
[startup+51.1103 s]
/proc/loadavg: 2.91 1.50 1.44 9/201 22051
/proc/meminfo: memFree=28203100/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=4130120 memory=3552632 CPUtime=139.29 cores=0-7
/proc/22035/stat : 22035 (cosoco) S 22032 22035 20713 0 -1 1077944320 3832927 0 0 0 13377 552 0 0 20 0 9 0 560341612 4229242880 888158 33554432000 4194304 6211132 140729294960640 140729294958896 140207772757751 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 1032530 888158 890 493 0 1025835 0
[pid=22035/tid=22044] ppid=22032 vsize=4130120 memory=0 CPUtime=12.63 cores=0-7
/proc/22035/task/22044/stat : 22044 (cosoco) R 22032 22035 20713 0 -1 4202560 347484 0 0 0 1187 76 0 0 20 0 9 0 560345450 4229242880 888158 33554432000 4194304 6211132 140729294960640 140207749613992 5451520 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22045] ppid=22032 vsize=4130120 memory=0 CPUtime=12.64 cores=0-7
/proc/22035/task/22045/stat : 22045 (cosoco) R 22032 22035 20713 0 -1 4202560 356532 0 0 0 1238 26 0 0 20 0 9 0 560345450 4229242880 888158 33554432000 4194304 6211132 140729294960640 140207741221400 140207757641024 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22046] ppid=22032 vsize=4130120 memory=3548772 CPUtime=12.64 cores=0-7
/proc/22035/task/22046/stat : 22046 (cosoco) R 22032 22035 20713 0 -1 4202560 303578 0 0 0 1184 80 0 0 20 0 9 0 560345450 4229242880 888158 33554432000 4194304 6211132 140729294960640 140207732828584 5155832 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22047] ppid=22032 vsize=4130120 memory=3552256 CPUtime=12.51 cores=0-7
/proc/22035/task/22047/stat : 22047 (cosoco) R 22032 22035 20713 0 -1 4202560 381245 0 0 0 1221 30 0 0 20 0 9 0 560345450 4229242880 888158 33554432000 4194304 6211132 140729294960640 140207724436072 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22048] ppid=22032 vsize=4130120 memory=0 CPUtime=12.62 cores=0-7
/proc/22035/task/22048/stat : 22048 (cosoco) R 22032 22035 20713 0 -1 4202560 407937 0 0 0 1168 94 0 0 20 0 9 0 560345450 4229242880 888158 33554432000 4194304 6211132 140729294960640 140207716043176 5069176 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22049] ppid=22032 vsize=4130120 memory=988 CPUtime=12.59 cores=0-7
/proc/22035/task/22049/stat : 22049 (cosoco) R 22032 22035 20713 0 -1 4202560 383437 0 0 0 1230 29 0 0 20 0 9 0 560345450 4229242880 888158 33554432000 4194304 6211132 140729294960640 140207707650664 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22050] ppid=22032 vsize=4130120 memory=2024 CPUtime=12.61 cores=0-7
/proc/22035/task/22050/stat : 22050 (cosoco) R 22032 22035 20713 0 -1 4202560 276755 0 0 0 1239 22 0 0 20 0 9 0 560345450 4229242880 888158 33554432000 4194304 6211132 140729294960640 140207699257880 5446662 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22051] ppid=22032 vsize=4130120 memory=1428 CPUtime=12.62 cores=0-7
/proc/22035/task/22051/stat : 22051 (cosoco) R 22032 22035 20713 0 -1 4202560 404584 0 0 0 1175 87 0 0 20 0 9 0 560345450 4229242880 888158 33554432000 4194304 6211132 140729294960640 140207690865256 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
Current children cumulated CPU time: 139.29 s
Current children cumulated vsize: 4130120 KiB
Current children cumulated memory: 3552632 KiB
[startup+102.301 s]
/proc/loadavg: 5.86 2.52 1.79 9/201 22054
/proc/meminfo: memFree=28142820/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=4261192 memory=3612144 CPUtime=547.94 cores=0-7
/proc/22035/stat : 22035 (cosoco) S 22032 22035 20713 0 -1 1077944320 6356910 0 0 0 54065 729 0 0 20 0 9 0 560341612 4363460608 903036 33554432000 4194304 6211132 140729294960640 140729294958896 140207772757751 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 1065298 903036 890 493 0 1058603 0
[pid=22035/tid=22044] ppid=22032 vsize=4261192 memory=3608984 CPUtime=63.8 cores=0-7
/proc/22035/task/22044/stat : 22044 (cosoco) R 22032 22035 20713 0 -1 4202560 686799 0 0 0 6274 106 0 0 20 0 9 0 560345450 4363460608 903036 33554432000 4194304 6211132 140729294960640 140207749613992 5452193 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22045] ppid=22032 vsize=4261192 memory=3624 CPUtime=63.27 cores=0-7
/proc/22035/task/22045/stat : 22045 (cosoco) R 22032 22035 20713 0 -1 4202560 676036 0 0 0 6282 45 0 0 20 0 9 0 560345450 4363460608 903036 33554432000 4194304 6211132 140729294960640 140207741221288 5453944 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22046] ppid=22032 vsize=4261192 memory=3611548 CPUtime=63.81 cores=0-7
/proc/22035/task/22046/stat : 22046 (cosoco) R 22032 22035 20713 0 -1 4202560 605306 0 0 0 6280 101 0 0 20 0 9 0 560345450 4363460608 903036 33554432000 4194304 6211132 140729294960640 140207732828584 5009423 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22047] ppid=22032 vsize=4261192 memory=3605128 CPUtime=63.67 cores=0-7
/proc/22035/task/22047/stat : 22047 (cosoco) R 22032 22035 20713 0 -1 4202560 683030 0 0 0 6317 50 0 0 20 0 9 0 560345450 4363460608 903036 33554432000 4194304 6211132 140729294960640 140207724435992 5037759 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22048] ppid=22032 vsize=4261192 memory=3600280 CPUtime=63.79 cores=0-7
/proc/22035/task/22048/stat : 22048 (cosoco) R 22032 22035 20713 0 -1 4202560 720143 0 0 0 6265 114 0 0 20 0 9 0 560345450 4363460608 903036 33554432000 4194304 6211132 140729294960640 140207716043288 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22049] ppid=22032 vsize=4261192 memory=3610252 CPUtime=63.76 cores=0-7
/proc/22035/task/22049/stat : 22049 (cosoco) R 22032 22035 20713 0 -1 4202560 699392 0 0 0 6326 50 0 0 20 0 9 0 560345450 4363460608 903036 33554432000 4194304 6211132 140729294960640 140207707650472 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22050] ppid=22032 vsize=4261192 memory=3611828 CPUtime=63.62 cores=0-7
/proc/22035/task/22050/stat : 22050 (cosoco) R 22032 22035 20713 0 -1 4202560 590769 0 0 0 6321 41 0 0 20 0 9 0 560345450 4363460608 903036 33554432000 4194304 6211132 140729294960640 140207699257768 140207757643178 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22051] ppid=22032 vsize=4261192 memory=2828 CPUtime=63.77 cores=0-7
/proc/22035/task/22051/stat : 22051 (cosoco) R 22032 22035 20713 0 -1 4202560 724061 0 0 0 6264 113 0 0 20 0 9 0 560345450 4363460608 903036 33554432000 4194304 6211132 140729294960640 140207690865336 140207757641046 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
Current children cumulated CPU time: 547.94 s
Current children cumulated vsize: 4261192 KiB
Current children cumulated memory: 3612144 KiB
[startup+162.301 s]
/proc/loadavg: 7.25 3.53 2.18 9/201 22057
/proc/meminfo: memFree=28110524/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=4261192 memory=3647484 CPUtime=1026.98 cores=0-7
/proc/22035/stat : 22035 (cosoco) S 22032 22035 20713 0 -1 1077944320 7260545 0 0 0 101907 791 0 0 20 0 9 0 560341612 4363460608 911871 33554432000 4194304 6211132 140729294960640 140729294958896 140207772757751 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 1065298 911871 890 493 0 1058603 0
[pid=22035/tid=22044] ppid=22032 vsize=4261192 memory=3647092 CPUtime=123.79 cores=0-7
/proc/22035/task/22044/stat : 22044 (cosoco) R 22032 22035 20713 0 -1 4202560 809351 0 0 0 12263 116 0 0 20 0 9 0 560345450 4363460608 911871 33554432000 4194304 6211132 140729294960640 140207749614104 5185376 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22045] ppid=22032 vsize=4261192 memory=3646876 CPUtime=122.43 cores=0-7
/proc/22035/task/22045/stat : 22045 (cosoco) R 22032 22035 20713 0 -1 4202560 796196 0 0 0 12189 54 0 0 20 0 9 0 560345450 4363460608 911871 33554432000 4194304 6211132 140729294960640 140207741221400 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22046] ppid=22032 vsize=4261192 memory=3647072 CPUtime=123.79 cores=0-7
/proc/22035/task/22046/stat : 22046 (cosoco) R 22032 22035 20713 0 -1 4202560 715979 0 0 0 12270 109 0 0 20 0 9 0 560345450 4363460608 911871 33554432000 4194304 6211132 140729294960640 140207732828696 5479626 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22047] ppid=22032 vsize=4261192 memory=1496 CPUtime=123.67 cores=0-7
/proc/22035/task/22047/stat : 22047 (cosoco) R 22032 22035 20713 0 -1 4202560 788169 0 0 0 12310 57 0 0 20 0 9 0 560345450 4363460608 911871 33554432000 4194304 6211132 140729294960640 140207724435992 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22048] ppid=22032 vsize=4261192 memory=3645560 CPUtime=123.8 cores=0-7
/proc/22035/task/22048/stat : 22048 (cosoco) R 22032 22035 20713 0 -1 4202560 833423 0 0 0 12259 121 0 0 20 0 9 0 560345450 4363460608 911871 33554432000 4194304 6211132 140729294960640 140207716043176 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22049] ppid=22032 vsize=4261192 memory=3647072 CPUtime=123.74 cores=0-7
/proc/22035/task/22049/stat : 22049 (cosoco) R 22032 22035 20713 0 -1 4202560 808685 0 0 0 12318 56 0 0 20 0 9 0 560345450 4363460608 911871 33554432000 4194304 6211132 140729294960640 140207707650472 5038992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22050] ppid=22032 vsize=4261192 memory=3646940 CPUtime=123.62 cores=0-7
/proc/22035/task/22050/stat : 22050 (cosoco) R 22032 22035 20713 0 -1 4202560 697888 0 0 0 12313 49 0 0 20 0 9 0 560345450 4363460608 911871 33554432000 4194304 6211132 140729294960640 140207699257768 5164877 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22051] ppid=22032 vsize=4261192 memory=3647368 CPUtime=123.73 cores=0-7
/proc/22035/task/22051/stat : 22051 (cosoco) R 22032 22035 20713 0 -1 4202560 839484 0 0 0 12251 122 0 0 20 0 9 0 560345450 4363460608 911871 33554432000 4194304 6211132 140729294960640 140207690865256 5452185 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
Current children cumulated CPU time: 1026.98 s
Current children cumulated vsize: 4261192 KiB
Current children cumulated memory: 3647484 KiB
[startup+222.301 s]
/proc/loadavg: 7.80 4.36 2.55 9/200 22063
################
# More data... #
################
/proc/22035/task/22046/stat : 22046 (cosoco) R 22032 22035 20713 0 -1 4202560 2578021 0 0 0 221373 370 0 0 20 0 9 0 560345450 4627685376 1012546 33554432000 4194304 6211132 140729294960640 140207732828584 140207757641042 0 0 4096 8405026 0 0 0 -1 1 0 0 4 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22047] ppid=22032 vsize=4519224 memory=4050184 CPUtime=2221.24 cores=0-7
/proc/22035/task/22047/stat : 22047 (cosoco) R 22032 22035 20713 0 -1 4202560 2690925 0 0 0 221789 335 0 0 20 0 9 0 560345450 4627685376 1012546 33554432000 4194304 6211132 140729294960640 140207724435992 5037847 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22048] ppid=22032 vsize=4519224 memory=4050184 CPUtime=2218.23 cores=0-7
/proc/22035/task/22048/stat : 22048 (cosoco) R 22032 22035 20713 0 -1 4202560 3158101 0 0 0 221294 529 0 0 20 0 9 0 560345450 4627685376 1012546 33554432000 4194304 6211132 140729294960640 140207716043368 5446654 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22049] ppid=22032 vsize=4519224 memory=4024 CPUtime=2220.59 cores=0-7
/proc/22035/task/22049/stat : 22049 (cosoco) R 22032 22035 20713 0 -1 4202560 3068144 0 0 0 221703 356 0 0 20 0 9 0 560345450 4627685376 1012546 33554432000 4194304 6211132 140729294960640 140207707650584 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22050] ppid=22032 vsize=4519224 memory=4050184 CPUtime=2219 cores=0-7
/proc/22035/task/22050/stat : 22050 (cosoco) R 22032 22035 20713 0 -1 4202560 2712697 0 0 0 221596 304 0 0 20 0 9 0 560345450 4627685376 1012546 33554432000 4194304 6211132 140729294960640 140207699257768 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22051] ppid=22032 vsize=4519224 memory=4050184 CPUtime=2216.71 cores=0-7
/proc/22035/task/22051/stat : 22051 (cosoco) R 22032 22035 20713 0 -1 4202560 3436475 0 0 0 221106 565 0 0 20 0 9 0 560345450 4627685376 1012546 33554432000 4194304 6211132 140729294960640 140207690865256 5476606 0 0 4096 8405026 0 0 0 -1 6 0 0 7 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
Current children cumulated CPU time: 17791.1 s
Current children cumulated vsize: 4519224 KiB
Current children cumulated memory: 4050184 KiB
[startup+2322.3 s]
/proc/loadavg: 8.06 8.16 7.65 9/200 22245
/proc/meminfo: memFree=27693308/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=4519224 memory=4060596 CPUtime=18270.1 cores=0-7
/proc/22035/stat : 22035 (cosoco) S 22032 22035 20713 0 -1 1077944320 24440013 0 0 0 1823776 3233 0 0 20 0 9 0 560341612 4627685376 1015149 33554432000 4194304 6211132 140729294960640 140729294958896 140207772757751 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 1129806 1015149 890 493 0 1123111 0
[pid=22035/tid=22044] ppid=22032 vsize=4519224 memory=4059916 CPUtime=2280.49 cores=0-7
/proc/22035/task/22044/stat : 22044 (cosoco) R 22032 22035 20713 0 -1 4202560 2816709 0 0 0 227713 336 0 0 20 0 9 0 560345450 4627685376 1015149 33554432000 4194304 6211132 140729294960640 140207749614184 5446280 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22045] ppid=22032 vsize=4519224 memory=4060524 CPUtime=2278.95 cores=0-7
/proc/22035/task/22045/stat : 22045 (cosoco) R 22032 22035 20713 0 -1 4202560 2959980 0 0 0 227578 317 0 0 20 0 9 0 560345450 4627685376 1015149 33554432000 4194304 6211132 140729294960640 140207741222160 5451580 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22046] ppid=22032 vsize=4519224 memory=0 CPUtime=2277.39 cores=0-7
/proc/22035/task/22046/stat : 22046 (cosoco) R 22032 22035 20713 0 -1 4202560 2581149 0 0 0 227367 372 0 0 20 0 9 0 560345450 4627685376 1015149 33554432000 4194304 6211132 140729294960640 140207732828584 5451568 0 0 4096 8405026 0 0 0 -1 1 0 0 4 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22047] ppid=22032 vsize=4519224 memory=2960 CPUtime=2281.22 cores=0-7
/proc/22035/task/22047/stat : 22047 (cosoco) R 22032 22035 20713 0 -1 4202560 2691942 0 0 0 227787 335 0 0 20 0 9 0 560345450 4627685376 1015149 33554432000 4194304 6211132 140729294960640 140207724435992 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22048] ppid=22032 vsize=4519224 memory=4059908 CPUtime=2277.47 cores=0-7
/proc/22035/task/22048/stat : 22048 (cosoco) R 22032 22035 20713 0 -1 4202560 3174720 0 0 0 227213 534 0 0 20 0 9 0 560345450 4627685376 1015149 33554432000 4194304 6211132 140729294960640 140207716043176 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22049] ppid=22032 vsize=4519224 memory=4060596 CPUtime=2280.55 cores=0-7
/proc/22035/task/22049/stat : 22049 (cosoco) R 22032 22035 20713 0 -1 4202560 3072338 0 0 0 227698 357 0 0 20 0 9 0 560345450 4627685376 1015149 33554432000 4194304 6211132 140729294960640 140207707650584 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22050] ppid=22032 vsize=4519224 memory=988 CPUtime=2278.99 cores=0-7
/proc/22035/task/22050/stat : 22050 (cosoco) R 22032 22035 20713 0 -1 4202560 2722088 0 0 0 227593 306 0 0 20 0 9 0 560345450 4627685376 1015149 33554432000 4194304 6211132 140729294960640 140207699257768 5446272 0 0 4096 8405026 0 0 0 -1 4 0 0 6 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22051] ppid=22032 vsize=4519224 memory=4060596 CPUtime=2276.59 cores=0-7
/proc/22035/task/22051/stat : 22051 (cosoco) R 22032 22035 20713 0 -1 4202560 3449712 0 0 0 227091 568 0 0 20 0 9 0 560345450 4627685376 1015149 33554432000 4194304 6211132 140729294960640 140207690865176 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 7 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
Current children cumulated CPU time: 18270.1 s
Current children cumulated vsize: 4519224 KiB
Current children cumulated memory: 4060596 KiB
[startup+2382.3 s]
/proc/loadavg: 8.27 8.19 7.69 9/200 22250
/proc/meminfo: memFree=27693864/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=4519224 memory=4060880 CPUtime=18749.1 cores=0-7
/proc/22035/stat : 22035 (cosoco) S 22032 22035 20713 0 -1 1077944320 24466675 0 0 0 1871672 3240 0 0 20 0 9 0 560341612 4627685376 1015220 33554432000 4194304 6211132 140729294960640 140729294958896 140207772757751 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 1129806 1015220 890 493 0 1123111 0
[pid=22035/tid=22044] ppid=22032 vsize=4519224 memory=4060880 CPUtime=2339.99 cores=0-7
/proc/22035/task/22044/stat : 22044 (cosoco) R 22032 22035 20713 0 -1 4202560 2818015 0 0 0 233663 336 0 0 20 0 9 0 560345450 4627685376 1015220 33554432000 4194304 6211132 140729294960640 140207749614184 140207757640784 0 0 4096 8405026 0 0 0 -1 7 0 0 4 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22045] ppid=22032 vsize=4519224 memory=4060880 CPUtime=2338.94 cores=0-7
/proc/22035/task/22045/stat : 22045 (cosoco) R 22032 22035 20713 0 -1 4202560 2961858 0 0 0 233576 318 0 0 20 0 9 0 560345450 4627685376 1015220 33554432000 4194304 6211132 140729294960640 140207741222160 5451539 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22046] ppid=22032 vsize=4519224 memory=4060880 CPUtime=2337.36 cores=0-7
/proc/22035/task/22046/stat : 22046 (cosoco) R 22032 22035 20713 0 -1 4202560 2581613 0 0 0 233363 373 0 0 20 0 9 0 560345450 4627685376 1015220 33554432000 4194304 6211132 140729294960640 140207732828584 140207757641264 0 0 4096 8405026 0 0 0 -1 1 0 0 4 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22047] ppid=22032 vsize=4519224 memory=4060880 CPUtime=2341.23 cores=0-7
/proc/22035/task/22047/stat : 22047 (cosoco) R 22032 22035 20713 0 -1 4202560 2692953 0 0 0 233787 336 0 0 20 0 9 0 560345450 4627685376 1015220 33554432000 4194304 6211132 140729294960640 140207724435992 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22048] ppid=22032 vsize=4519224 memory=4060880 CPUtime=2337.45 cores=0-7
/proc/22035/task/22048/stat : 22048 (cosoco) R 22032 22035 20713 0 -1 4202560 3177047 0 0 0 233211 534 0 0 20 0 9 0 560345450 4627685376 1015220 33554432000 4194304 6211132 140729294960640 140207716043368 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22049] ppid=22032 vsize=4519224 memory=9592 CPUtime=2340.54 cores=0-7
/proc/22035/task/22049/stat : 22049 (cosoco) R 22032 22035 20713 0 -1 4202560 3077113 0 0 0 233696 358 0 0 20 0 9 0 560345450 4627685376 1015220 33554432000 4194304 6211132 140729294960640 140207707650584 5394445 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22050] ppid=22032 vsize=4519224 memory=4060880 CPUtime=2338.98 cores=0-7
/proc/22035/task/22050/stat : 22050 (cosoco) R 22032 22035 20713 0 -1 4202560 2724881 0 0 0 233591 307 0 0 20 0 9 0 560345450 4627685376 1015220 33554432000 4194304 6211132 140729294960640 140207699257768 5446272 0 0 4096 8405026 0 0 0 -1 4 0 0 6 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22051] ppid=22032 vsize=4519224 memory=4060880 CPUtime=2336.2 cores=0-7
/proc/22035/task/22051/stat : 22051 (cosoco) R 22032 22035 20713 0 -1 4202560 3461820 0 0 0 233050 570 0 0 20 0 9 0 560345450 4627685376 1015220 33554432000 4194304 6211132 140729294960640 140207690865176 5446292 0 0 4096 8405026 0 0 0 -1 2 0 0 7 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
Current children cumulated CPU time: 18749.1 s
Current children cumulated vsize: 4519224 KiB
Current children cumulated memory: 4060880 KiB
[startup+2442.3 s]
/proc/loadavg: 8.67 8.32 7.77 9/200 22253
/proc/meminfo: memFree=27692392/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=4519224 memory=4062652 CPUtime=19228.2 cores=0-7
/proc/22035/stat : 22035 (cosoco) S 22032 22035 20713 0 -1 1077944320 24491270 0 0 0 1919568 3247 0 0 20 0 9 0 560341612 4627685376 1015663 33554432000 4194304 6211132 140729294960640 140729294958896 140207772757751 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 1129806 1015663 890 493 0 1123111 0
[pid=22035/tid=22044] ppid=22032 vsize=4519224 memory=4062652 CPUtime=2399.14 cores=0-7
/proc/22035/task/22044/stat : 22044 (cosoco) R 22032 22035 20713 0 -1 4202560 2818612 0 0 0 239577 337 0 0 20 0 9 0 560345450 4627685376 1015663 33554432000 4194304 6211132 140729294960640 140207749614184 5443065 0 0 4096 8405026 0 0 0 -1 7 0 0 4 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22045] ppid=22032 vsize=4519224 memory=10952 CPUtime=2398.92 cores=0-7
/proc/22035/task/22045/stat : 22045 (cosoco) R 22032 22035 20713 0 -1 4202560 2970006 0 0 0 239574 318 0 0 20 0 9 0 560345450 4627685376 1015663 33554432000 4194304 6211132 140729294960640 140207741222160 5455682 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22046] ppid=22032 vsize=4519224 memory=4062364 CPUtime=2397.36 cores=0-7
/proc/22035/task/22046/stat : 22046 (cosoco) R 22032 22035 20713 0 -1 4202560 2582185 0 0 0 239360 376 0 0 20 0 9 0 560345450 4627685376 1015663 33554432000 4194304 6211132 140729294960640 140207732828584 5164608 0 0 4096 8405026 0 0 0 -1 1 0 0 4 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22047] ppid=22032 vsize=4519224 memory=4062652 CPUtime=2401.23 cores=0-7
/proc/22035/task/22047/stat : 22047 (cosoco) R 22032 22035 20713 0 -1 4202560 2694032 0 0 0 239787 336 0 0 20 0 9 0 560345450 4627685376 1015663 33554432000 4194304 6211132 140729294960640 140207724435992 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22048] ppid=22032 vsize=4519224 memory=4062652 CPUtime=2397.44 cores=0-7
/proc/22035/task/22048/stat : 22048 (cosoco) R 22032 22035 20713 0 -1 4202560 3179506 0 0 0 239208 536 0 0 20 0 9 0 560345450 4627685376 1015663 33554432000 4194304 6211132 140729294960640 140207716043368 5039323 0 0 4096 8405026 0 0 0 -1 5 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22049] ppid=22032 vsize=4519224 memory=4062652 CPUtime=2400.54 cores=0-7
/proc/22035/task/22049/stat : 22049 (cosoco) R 22032 22035 20713 0 -1 4202560 3081260 0 0 0 239695 359 0 0 20 0 9 0 560345450 4627685376 1015663 33554432000 4194304 6211132 140729294960640 140207707650584 5155839 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22050] ppid=22032 vsize=4519224 memory=1188 CPUtime=2398.95 cores=0-7
/proc/22035/task/22050/stat : 22050 (cosoco) R 22032 22035 20713 0 -1 4202560 2727485 0 0 0 239588 307 0 0 20 0 9 0 560345450 4627685376 1015663 33554432000 4194304 6211132 140729294960640 140207699257768 5443057 0 0 4096 8405026 0 0 0 -1 2 0 0 6 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22051] ppid=22032 vsize=4519224 memory=4062364 CPUtime=2396.16 cores=0-7
/proc/22035/task/22051/stat : 22051 (cosoco) R 22032 22035 20713 0 -1 4202560 3466809 0 0 0 239045 571 0 0 20 0 9 0 560345450 4627685376 1015663 33554432000 4194304 6211132 140729294960640 140207690865256 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 9 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
Current children cumulated CPU time: 19228.2 s
Current children cumulated vsize: 4519224 KiB
Current children cumulated memory: 4062652 KiB
[startup+2502.3 s]
/proc/loadavg: 8.51 8.35 7.81 9/200 22256
/proc/meminfo: memFree=27685072/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=4584760 memory=4069056 CPUtime=19707.2 cores=0-7
/proc/22035/stat : 22035 (cosoco) S 22032 22035 20713 0 -1 1077944320 24506160 0 0 0 1967462 3255 0 0 20 0 9 0 560341612 4694794240 1017264 33554432000 4194304 6211132 140729294960640 140729294958896 140207772757751 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 1146190 1017264 890 493 0 1139495 0
[pid=22035/tid=22044] ppid=22032 vsize=4584760 memory=4069056 CPUtime=2458.85 cores=0-7
/proc/22035/task/22044/stat : 22044 (cosoco) R 22032 22035 20713 0 -1 4202560 2819103 0 0 0 245547 338 0 0 20 0 9 0 560345450 4694794240 1017264 33554432000 4194304 6211132 140729294960640 140207749614184 5072436 0 0 4096 8405026 0 0 0 -1 3 0 0 4 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22045] ppid=22032 vsize=4584760 memory=4069056 CPUtime=2458.9 cores=0-7
/proc/22035/task/22045/stat : 22045 (cosoco) R 22032 22035 20713 0 -1 4202560 2972006 0 0 0 245572 318 0 0 20 0 9 0 560345450 4694794240 1017264 33554432000 4194304 6211132 140729294960640 140207741222160 5446258 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22046] ppid=22032 vsize=4584760 memory=4069056 CPUtime=2456.79 cores=0-7
/proc/22035/task/22046/stat : 22046 (cosoco) R 22032 22035 20713 0 -1 4202560 2582697 0 0 0 245302 377 0 0 20 0 9 0 560345450 4694794240 1017264 33554432000 4194304 6211132 140729294960640 140207732828584 5164791 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22047] ppid=22032 vsize=4584760 memory=4069056 CPUtime=2461.18 cores=0-7
/proc/22035/task/22047/stat : 22047 (cosoco) R 22032 22035 20713 0 -1 4202560 2695127 0 0 0 245782 336 0 0 20 0 9 0 560345450 4694794240 1017264 33554432000 4194304 6211132 140729294960640 140207724435992 5039132 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22048] ppid=22032 vsize=4584760 memory=4069056 CPUtime=2457.43 cores=0-7
/proc/22035/task/22048/stat : 22048 (cosoco) R 22032 22035 20713 0 -1 4202560 3182356 0 0 0 245203 540 0 0 20 0 9 0 560345450 4694794240 1017264 33554432000 4194304 6211132 140729294960640 140207716043176 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22049] ppid=22032 vsize=4584760 memory=4068700 CPUtime=2460.51 cores=0-7
/proc/22035/task/22049/stat : 22049 (cosoco) R 22032 22035 20713 0 -1 4202560 3084265 0 0 0 245692 359 0 0 20 0 9 0 560345450 4694794240 1017264 33554432000 4194304 6211132 140729294960640 140207707650584 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22050] ppid=22032 vsize=4584760 memory=4069056 CPUtime=2458.94 cores=0-7
/proc/22035/task/22050/stat : 22050 (cosoco) R 22032 22035 20713 0 -1 4202560 2728188 0 0 0 245587 307 0 0 20 0 9 0 560345450 4694794240 1017264 33554432000 4194304 6211132 140729294960640 140207699257768 5456342 0 0 4096 8405026 0 0 0 -1 2 0 0 6 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22051] ppid=22032 vsize=4584760 memory=5716 CPUtime=2456.14 cores=0-7
/proc/22035/task/22051/stat : 22051 (cosoco) R 22032 22035 20713 0 -1 4202560 3471043 0 0 0 245042 572 0 0 20 0 9 0 560345450 4694794240 1017264 33554432000 4194304 6211132 140729294960640 140207690865256 5443057 0 0 4096 8405026 0 0 0 -1 4 0 0 10 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
Current children cumulated CPU time: 19707.2 s
Current children cumulated vsize: 4584760 KiB
Current children cumulated memory: 4069056 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.36 8.33 7.82 9/200 22259
/proc/meminfo: memFree=27684312/32770624 swapFree=66959832/67108860
[pid=22035] ppid=22032 vsize=4584760 memory=4069332 CPUtime=19848.5 cores=0-7
/proc/22035/stat : 22035 (cosoco) S 22032 22035 20713 0 -1 1077944320 24511228 0 0 0 1981597 3257 0 0 20 0 9 0 560341612 4694794240 1017333 33554432000 4194304 6211132 140729294960640 140729294958896 140207772757751 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
/proc/22035/statm: 1146190 1017333 890 493 0 1139495 0
[pid=22035/tid=22044] ppid=22032 vsize=4584760 memory=1398722017469774279 CPUtime=2476.54 cores=0-7
/proc/22035/task/22044/stat : 22044 (cosoco) R 22032 22035 20713 0 -1 4202560 2819339 0 0 0 247316 338 0 0 20 0 9 0 560345450 4694794240 1017333 33554432000 4194304 6211132 140729294960640 140207749614184 5451514 0 0 4096 8405026 0 0 0 -1 3 0 0 4 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22045] ppid=22032 vsize=4584760 memory=1398722017469774279 CPUtime=2476.59 cores=0-7
/proc/22035/task/22045/stat : 22045 (cosoco) R 22032 22035 20713 0 -1 4202560 2972690 0 0 0 247341 318 0 0 20 0 9 0 560345450 4694794240 1017333 33554432000 4194304 6211132 140729294960640 140207741222160 5446296 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22046] ppid=22032 vsize=4584760 memory=988 CPUtime=2474.25 cores=0-7
/proc/22035/task/22046/stat : 22046 (cosoco) R 22032 22035 20713 0 -1 4202560 2582974 0 0 0 247047 378 0 0 20 0 9 0 560345450 4694794240 1017333 33554432000 4194304 6211132 140729294960640 140207732828584 5193776 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22047] ppid=22032 vsize=4584760 memory=288230574492221466 CPUtime=2478.88 cores=0-7
/proc/22035/task/22047/stat : 22047 (cosoco) R 22032 22035 20713 0 -1 4202560 2695228 0 0 0 247552 336 0 0 20 0 9 0 560345450 4694794240 1017333 33554432000 4194304 6211132 140729294960640 140207724435992 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22048] ppid=22032 vsize=4584760 memory=288230596050944315 CPUtime=2475.13 cores=0-7
/proc/22035/task/22048/stat : 22048 (cosoco) R 22032 22035 20713 0 -1 4202560 3183159 0 0 0 246973 540 0 0 20 0 9 0 560345450 4694794240 1017333 33554432000 4194304 6211132 140729294960640 140207716043176 5446206 0 0 4096 8405026 0 0 0 -1 5 0 0 5 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22049] ppid=22032 vsize=4584760 memory=16100368647981698 CPUtime=2478.22 cores=0-7
/proc/22035/task/22049/stat : 22049 (cosoco) R 22032 22035 20713 0 -1 4202560 3084683 0 0 0 247463 359 0 0 20 0 9 0 560345450 4694794240 1017333 33554432000 4194304 6211132 140729294960640 140207707650584 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22050] ppid=22032 vsize=4584760 memory=304274669723451707 CPUtime=2476.66 cores=0-7
/proc/22035/task/22050/stat : 22050 (cosoco) R 22032 22035 20713 0 -1 4202560 2728493 0 0 0 247358 308 0 0 20 0 9 0 560345450 4694794240 1017333 33554432000 4194304 6211132 140729294960640 140207699257768 5443124 0 0 4096 8405026 0 0 0 -1 2 0 0 6 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
[pid=22035/tid=22051] ppid=22032 vsize=4584760 memory=16100368647981698 CPUtime=2473.84 cores=0-7
/proc/22035/task/22051/stat : 22051 (cosoco) R 22032 22035 20713 0 -1 4202560 3473287 0 0 0 246812 572 0 0 20 0 9 0 560345450 4694794240 1017333 33554432000 4194304 6211132 140729294960640 140207690865176 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 10 0 0 8312316 8317760 39141376 140729294967825 140729294967917 140729294967917 140729294970830 0
Current children cumulated CPU time: 19848.5 s
Current children cumulated vsize: 4584760 KiB
Current children cumulated memory: 4069332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 22035 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19816.1 s, system=32.6111 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.06
CPU time (s): 19848.7
CPU user time (s): 19816.1
CPU system time (s): 32.6111
CPU usage (%): 787.628
Max. virtual memory (cumulated for all children) (KiB): 4584760
Max. memory (cumulated for all children) (KiB): 4069332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19816.1
system time used= 32.6111
maximum resident set size= 4069496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24511275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52230
involuntary context switches= 176544
# summary of solver processes directly reported to runsolver:
# pid: 22035
# total CPU time (s): 19848.7
# total CPU user time (s): 19816.1
# total CPU system time (s): 32.6111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6729 second user time and 22.3245 second system time
The end
Begin job on node127 at 2019-09-30 12:51:27 IDJOB=4409513 IDBENCH=141276 IDSOLVER=2877 FILE ID=node127/4409513-1569840728 RUNJOBID= node127-1569830384-20740 PBS_JOBID= 21705944 Free space on /tmp= 61452 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409513-1569840728/watcher-4409513-1569840728 -o /tmp/evaluation-result-4409513-1569840728/solver-4409513-1569840728 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569830384-20740 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409513-1569840728.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=745326464 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30710688 kB MemAvailable: 31828812 kB Buffers: 102076 kB Cached: 1361288 kB SwapCached: 45068 kB Active: 321388 kB Inactive: 1197688 kB Active(anon): 5204 kB Inactive(anon): 132348 kB Active(file): 316184 kB Inactive(file): 1065340 kB Unevictable: 107512 kB Mlocked: 107512 kB SwapTotal: 67108860 kB SwapFree: 66959832 kB Dirty: 823784 kB Writeback: 73852 kB AnonPages: 118616 kB Mapped: 28272 kB Shmem: 73072 kB Slab: 133964 kB SReclaimable: 104872 kB SUnreclaim: 29092 kB KernelStack: 3440 kB PageTables: 6248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 543312 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61960 MiB End job on node127 at 2019-09-30 13:33:28