Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | SAT (TO) | 180878675 | 19850.7 | 2520.08 |
| 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.20/0.23 c 0.20/0.23 c This is cosoco 2.00 -- 0.20/0.23 c 0.20/0.23 c command line: cosoco -model -nbcores=8 HOME/instance-4398253-1568616443.xml 0.20/0.23 c intension eq(dist(f[44],f[63]),40) -> extension (support ? 1) - 222tuples 0.20/0.24 c intension eq(dist(f[245],f[259]),40) -> extension (support ? 1) - 34tuples 0.20/0.24 c intension eq(dist(f[171],f[366]),40) -> extension (support ? 1) - 222tuples 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension eq(dist(f[168],f[394]),40) -> extension (support ? 1) - 22tuples 0.20/0.25 c intension eq(dist(f[189],f[377]),40) -> extension (support ? 1) - 222tuples 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension eq(dist(f[383],f[402]),40) -> extension (support ? 1) - 34tuples 0.20/0.26 c intension eq(dist(f[19],f[30]),40) -> extension (support ? 1) - 222tuples 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension eq(dist(f[264],f[465]),40) -> extension (support ? 1) - 22tuples 0.20/0.27 c intension eq(dist(f[271],f[76]),40) -> extension (support ? 1) - 222tuples 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension eq(dist(f[152],f[320]),40) -> extension (support ? 1) - 34tuples 0.20/0.29 c intension eq(dist(f[253],f[301]),40) -> extension (support ? 1) - 222tuples 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension eq(dist(f[108],f[191]),40) -> extension (support ? 1) - 34tuples 0.20/0.31 c intension eq(dist(f[43],f[464]),40) -> extension (support ? 1) - 222tuples 0.20/0.31 c intension -> extension : same as previous 0.20/0.31 c intension -> extension : same as previous 0.20/0.31 c intension -> extension : same as previous 0.20/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.38 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.50/0.52 c intension ne(dist(f[40],f[57]),18) -> extension (support ? 0) - 0tuples 0.50/0.52 c intension ne(dist(f[118],f[209]),75) -> extension (support ? 0) - 0tuples 0.50/0.53 c intension ne(dist(f[251],f[90]),13) -> extension (support ? 0) - 0tuples 0.50/0.54 c intension ne(dist(f[154],f[85]),17) -> extension (support ? 0) - 0tuples 0.50/0.54 c intension ne(dist(f[413],f[52]),226) -> extension (support ? 0) - 0tuples 0.50/0.55 c intension ne(dist(f[192],f[268]),20) -> extension (support ? 0) - 232tuples 0.50/0.55 c intension ne(dist(f[116],f[402]),48) -> extension (support ? 0) - 54tuples 0.68/6.66 c intension ne(dist(f[174],f[316]),54) -> extension (support ? 0) - 0tuples 0.68/6.66 c intension ne(dist(f[104],f[300]),129) -> extension (support ? 0) - 0tuples 0.68/6.66 c intension ne(dist(f[444],f[499]),47) -> extension (support ? 0) - 0tuples 0.68/6.66 c intension ne(dist(f[231],f[407]),8) -> extension (support ? 0) - 238tuples 0.68/6.66 c intension ne(dist(f[360],f[50]),2) -> extension (support ? 0) - 0tuples 0.68/6.66 c intension ne(dist(f[219],f[436]),27) -> extension (support ? 0) - 0tuples 0.68/6.66 c intension ne(dist(f[484],f[68]),31) -> extension (support ? 0) - 0tuples 0.68/6.66 c intension ne(dist(f[443],f[80]),203) -> extension (support ? 0) - 0tuples 0.68/6.66 c intension ne(dist(f[106],f[238]),73) -> extension (support ? 0) - 0tuples 0.68/6.66 c intension ne(dist(f[102],f[243]),320) -> extension (support ? 0) - 82tuples 0.68/6.66 c intension ne(dist(f[112],f[281]),226) -> extension (support ? 0) - 0tuples 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c AllEqual constraint using 1 generic x=y constraints 0.68/6.66 c intension eq(dist(f[13],f[383]),d[60]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[13],f[461]),d[62]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[105],f[307]),d[475]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[105],f[465]),d[476]) -> extension (support ? 1) - 567tuples 0.68/6.66 c intension eq(dist(f[108],f[211]),d[486]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[108],f[307]),d[488]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[108],f[314]),d[489]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[113],f[168]),d[508]) -> extension (support ? 1) - 441tuples 0.68/6.66 c intension eq(dist(f[113],f[188]),d[509]) -> extension (support ? 1) - 567tuples 0.68/6.66 c intension eq(dist(f[113],f[211]),d[510]) -> extension (support ? 1) - 567tuples 0.68/6.66 c intension eq(dist(f[113],f[264]),d[511]) -> extension (support ? 1) - 441tuples 0.68/6.66 c intension eq(dist(f[126],f[211]),d[565]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension -> extension : same as previous 0.68/6.66 c intension eq(dist(f[126],f[307]),d[567]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[126],f[401]),d[568]) -> extension (support ? 1) - 567tuples 0.68/6.66 c intension eq(dist(f[168],f[264]),d[715]) -> extension (support ? 1) - 441tuples 0.68/6.66 c intension eq(dist(f[224],f[320]),d[894]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[245],f[262]),d[949]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[245],f[426]),d[951]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[262],f[426]),d[998]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[314],f[383]),d[1109]) -> extension (support ? 1) - 729tuples 0.68/6.66 c intension eq(dist(f[320],f[461]),d[1117]) -> extension (support ? 1) - 729tuples 3860.59/517.04 c enable optimization 3860.59/517.04 c ========================================[ Problem Statistics ]=========================================== 3860.59/517.04 c | 3860.59/517.04 c | Parse time : 37.03 s 3860.59/517.04 c | 3860.59/517.04 c | Variables: 4790 3860.59/517.04 c | Domain Sizes: 1..121 3860.59/517.04 c | 3860.59/517.04 c | Constraints: 2853 3860.59/517.04 c | Arity: 2..2527 -- Binary: 326 -- Ternary: 1263 3860.59/517.04 c | 3860.59/517.04 c | Types: 3860.59/517.04 c | (X != Y): 17 3860.59/517.04 c | (X = Y): 29 3860.59/517.04 c | Extension: 1565 (nb tuples: 0..5776) -- (shared: 1776) 3860.59/517.04 c | Intension: 1241 3860.59/517.04 c | Sum: 1 3860.59/517.04 c | 3860.59/517.04 c | Objective: Minimize Sum 3860.59/517.04 3860.59/517.04 c ========================================================================================================= 3860.59/517.04 c Parallel mode: Portfolio 3860.59/517.04 c [pFactory][Group N°0] created (threads:8). 3860.59/517.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 3860.59/517.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 3860.59/517.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 3860.59/517.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 3860.59/517.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 3860.59/517.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 3860.59/517.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 3860.59/517.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 3860.59/517.04 c [pFactory][Group N°0] concurrent mode: enabled. 3860.59/517.04 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 3860.59/517.04 c [pFactory][Group N°0] task 7 launched on thread 0. 3860.59/517.04 c [pFactory][Group N°0] task 6 launched on thread 2. 3860.59/517.04 c [pFactory][Group N°0] task 5 launched on thread 1. 3860.59/517.04 c [pFactory][Group N°0] task 4 launched on thread 6. 3860.59/517.04 c [pFactory][Group N°0] task 3 launched on thread 7. 3860.59/517.04 c [pFactory][Group N°0] task 2 launched on thread 3. 3860.59/517.04 c [pFactory][Group N°0] task 1 launched on thread 5. 3860.59/517.04 c [pFactory][Group N°0] task 0 launched on thread 4. 3860.59/517.04 o 183330694 4350.52/578.43 o 183254898 4372.08/581.14 o 182547096 4384.86/582.70 o 180992489 4420.77/587.23 o 180979859 4556.50/604.25 o 180979852 4658.71/617.08 o 180979851 4731.30/626.17 o 180979846 4870.17/643.53 o 180979837 4943.63/652.77 o 180979828 5085.72/670.51 o 180979825 5159.95/679.81 o 180979823 5233.45/689.07 o 180967195 5306.02/698.13 o 180967193 5518.40/724.78 o 180967185 5595.02/734.36 o 180967183 5737.93/752.27 o 180967175 5812.99/761.63 o 180967173 5886.43/770.83 o 180967166 5961.40/780.25 o 180967164 6033.25/789.20 o 180954536 6105.12/798.20 o 180954534 6177.73/807.33 o 180954533 6252.79/816.77 o 180954532 7542.66/978.36 o 180954524 7580.95/983.14 o 180954518 7650.42/991.86 o 180954516 7719.84/1000.53 o 180954514 8873.52/1145.08 o 180954506 8911.75/1149.90 o 180954501 9408.37/1212.09 o 180954496 9546.42/1229.33 o 180954491 9584.01/1234.03 o 180954486 9621.47/1238.75 o 180941873 10676.95/1371.00 o 180941860 10714.41/1375.63 o 180941856 10795.84/1385.85 o 180929226 11526.31/1477.40 o 180916596 14458.47/1844.64 o 180904001 14523.13/1852.71 o 180903997 14587.00/1860.72 o 180903995 14622.13/1865.14 o 180903990 14656.46/1869.48 o 180903986 14691.61/1873.82 o 180903984 14725.20/1878.05 o 180903982 14759.46/1882.37 o 180903980 14867.24/1895.89 o 180903974 14903.11/1900.32 o 180903972 16210.61/2064.17 o 180903955 16244.94/2068.43 o 180903953 16279.28/2072.77 o 180903946 16314.41/2077.14 o 180903944 17010.56/2164.38 o 180891316 17045.67/2168.75 o 180891314 17233.30/2192.28 o 180891307 17267.65/2196.51 o 180891305 17353.08/2207.24 o 180878677 17386.61/2211.46 o 180878675 19850.49/2520.02 19850.49/2520.02 c *** INTERRUPTED *** 19850.49/2520.02 c call to solver : 4 19850.49/2520.02 c 19850.49/2520.02 c restarts : 4674 19850.49/2520.02 c conflicts : 12652 (1 /sec) 19850.49/2520.02 c decisions : 1549501 (78 /sec) 19850.49/2520.02 c propagations : 84976043 (4289 /sec) 19850.49/2520.02 c root propagations : 10735 19850.49/2520.02 c filter calls : 17535364 (885 /sec) 19850.49/2520.02 c useless filter calls : 14072573 (80 %) 19850.49/2520.02 c Memory used : 4477.31 MB 19850.49/2520.02 c Best bound time (wc) : 2211.46 s 19850.49/2520.02 c CPU time : 19814.6 s 19850.49/2520.02 c real time : 2520.02 s 19850.49/2520.02 19850.49/2520.02 s SATISFIABLE 19850.49/2520.02 c Best value found: 180878675 19850.49/2520.02 19850.49/2520.02 19850.49/2520.02 v <instantiation type='solution' cost='180878675'> 19850.49/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> 19850.49/2520.02 v <values>104 84 0 368 40 264 264 304 40 40 32 104 172 32 0 28 384 52 0 252 0 368 368 248 40 4 320 300 40 96 312 312 412 360 284 392 264 352 4 256 216 104 132 204 0 328 392 168 152 4 428 372 96 136 400 292 72 156 292 0 24 40 220 252 252 352 0 12 44 212 4 76 404 40 80 80 132 392 52 72 468 212 40 8 328 140 156 36 224 264 56 232 224 0 40 412 40 200 0 304 12 52 180 108 4 360 304 40 272 64 288 168 8 324 152 220 416 440 0 40 252 56 56 376 376 0 80 384 80 140 40 132 44 96 80 24 400 0 480 364 80 364 92 40 72 408 40 0 296 328 144 384 32 328 304 336 440 108 392 88 432 188 32 80 44 180 256 408 28 0 400 264 244 244 232 0 40 296 0 284 364 424 416 368 40 40 212 404 232 0 0 0 0 192 184 128 468 400 0 296 24 188 28 52 0 208 228 40 40 232 128 40 196 132 184 252 0 52 0 260 120 136 120 368 4 128 352 320 12 388 356 384 40 256 0 0 0 0 300 296 260 372 344 344 76 344 440 308 188 92 0 76 168 32 0 0 344 0 32 0 108 160 64 272 224 164 0 0 0 240 288 80 120 440 140 308 40 440 240 140 400 128 168 32 8 64 68 368 8 284 40 40 400 0 212 228 268 188 228 188 72 40 132 64 40 36 336 96 80 36 32 420 368 72 32 280 80 28 176 4 44 396 40 108 4 248 44 152 436 248 384 40 412 372 252 440 128 40 84 328 248 228 216 400 40 120 332 120 292 172 212 208 4 212 224 164 252 140 244 120 196 284 152 52 352 52 52 420 0 244 204 104 268 188 292 416 44 88 92 264 32 56 48 76 328 208 240 436 0 40 184 412 132 88 340 60 104 276 248 380 108 100 292 116 252 160 132 212 104 0 0 108 220 168 360 232 148 152 76 212 252 252 40 36 0 92 288 200 260 188 80 240 392 176 400 40 444 0 40 336 228 208 296 360 204 40 12 8 32 184 8 172 20 448 60 20 16 244 264 176 152 264 152 0 312 344 232 132 48 160 424 144 100 172 140 8 140 100 204 372 28 188 220 224 296 336 216 48 248 36 52 92 20 52 120 52 328 80 412 0 36 408 320 0 88 176 216 0 184 44 40 0 52 296 304 164 52 172 92 412 4 120 40 368 40 112 132 60 24 36 140 444 232 416 8 384 52 288 80 168 268 172 8 128 0 52 40 88 32 300 32 188 40 264 0 0 116 0 376 256 296 400 300 40 440 0 40 40 280 0 40 0 0 300 344 128 20 40 0 40 0 284 368 0 248 372 268 440 404 0 68 72 408 168 284 300 24 40 376 72 292 60 360 340 336 148 92 300 340 188 312 4 124 20 184 0 360 152 172 96 0 4 172 88 300 204 0 192 32 72 368 40 344 288 392 252 348 160 396 44 136 396 44 84 320 0 160 424 176 48 0 324 328 104 0 140 168 180 52 300 392 356 40 48 240 296 344 344 0 92 104 52 52 440 0 0 76 40 32 212 268 212 0 288 156 248 244 244 296 336 76 104 232 276 56 304 204 292 336 120 336 136 64 424 184 52 0 348 132 212 268 168 228 344 340 400 68 92 104 256 68 28 416 416 416 440 308 40 252 300 120 60 204 0 160 40 40 384 368 480 100 0 0 0 76 168 20 352 340 12 240 100 280 40 92 112 260 144 260 0 400 0 292 40 0 52 88 252 136 164 108 276 312 340 412 248 432 12 76 104 104 276 320 76 40 56 432 288 52 88 0 252 52 176 132 0 132 132 132 40 268 204 12 64 72 144 344 4 296 268 96 332 100 104 300 340 200 336 312 200 56 216 240 216 328 256 204 12 412 104 196 172 132 376 336 224 28 196 40 444 152 476 292 404 0 308 64 60 64 60 280 60 144 160 44 248 152 236 40 40 44 160 28 204 200 152 108 240 4 396 4 124 404 200 44 188 128 272 112 440 88 8 36 328 292 80 392 408 80 304 64 120 72 308 96 36 68 144 256 132 0 132 40 344 192 152 76 152 192 192 24 228 268 264 40 4 344 216 256 260 88 8 56 12 312 352 404 36 224 368 0 308 204 116 176 116 144 232 136 324 44 4 196 40 40 40 0 56 444 76 36 184 252 108 252 212 108 72 220 268 164 124 256 400 376 412 260 196 196 156 128 300 160 224 0 372 376 92 0 212 404 348 52 52 48 144 44 36 360 0 240 44 84 0 464 272 48 344 96 48 204 456 352 20 284 168 220 404 432 404 4 124 224 452 412 452 36 0 92 20 120 52 280 52 312 104 128 76 344 344 32 264 344 156 228 116 152 144 148 336 344 224 72 76 260 116 116 224 40 336 140 228 260 0 368 212 248 300 340 340 128 328 376 200 384 336 252 0 0 312 360 240 40 364 400 24 80 40 40 256 216 256 172 360 96 360 36 0 444 352 0 256 452 440 360 56 436 368 368 392 88 52 140 0 160 124 348 232 0 0 220 0 400 84 372 240 0 240 88 128 88 84 56 116 404 444 444 444 312 360 240 40 0 0 240 316 424 388 40 124 40 12 468 180 100 260 268 44 36 0 196 408 0 304 252 376 384 424 292 352 12 264 104 308 260 52 308 20 128 20 444 140 324 308 84 400 52 72 112 144 248 0 40 104 352 52 252 0 272 240 172 176 0 52 284 0 388 424 0 464 212 328 304 280 328 72 344 152 0 256 244 296 64 336 32 40 440 68 216 120 36 36 4 268 336 308 96 228 192 64 116 8 224 224 40 12 40 40 20 148 340 392 392 40 40 0 40 248 136 312 188 312 352 364 4 308 360 44 176 72 236 116 172 2556 2400 2652 2220 2312 2220 2360 2260 2556 2296 2596 2220 2220 2488 2644 2656 2676 2260 2472 2260 2220 2624 2560 2540 2364 2660 2220 2536 2676 2296 2220 2392 2260 2260 2292 2356 2560 2460 2436 2632 2392 2596 2260 2220 2400 2280 2364 2504 2324 2260 2464 2412 2224 2492 2660 2332 2300 2700 2340 2568 2220 2220 2412 2284 2488 2260 2476 2260 2612 2260 2528 2660 2264 2488 2260 2588 2664 2372 2368 2400 2660 2456 2260 2220 2568 2260 2264 2304 2260 2220 2308 2240 2664 2496 2672 2312 2324 2564 2376 2316 2484 2336 2220 2556 2260 2560 2220 2652 2260 2260 2260 2580 2260 2300 2476 2612 2260 2220 2700 2620 2556 2260 2408 2260 2400 2220 2260 2420 2220 2220 2348 2664 2580 2260 2220 2644 2620 2220 2400 2260 2260 2260 2648 2644 2220 2324 2312 2228 2348 2664 2220 2476 2508 2260 2512 2316 2260 2500 2312 2220 2548 2532 2556 2556 2260 2380 2516 2224 2596 2528 2444 2260 2696 2664 2260 2276 2572 2516 2260 2264 2604 2588 2588 2220 2484 2260 2220 2260 2220 2644 2220 2636 2260 2260 2532 2260 2612 2260 2516 2448 2656 2260 2672 2396 2620 2452 2596 2220 2692 2512 2260 2596 2304 2220 2624 2300 2224 2312 2220 2260 2436 2252 2628 2524 2404 2668 2220 2272 2552 2268 2572 2220 2308 2220 2588 2372 2220 2220 2352 2260 2636 2220 2244 2300 2264 2300 2300 2620 2500 2220 2700 2352 2220 2328 2220 2260 2284 2684 2228 2260 2620 2260 2548 2588 2584 2700 2264 2652 2432 2444 2552 2304 2260 2628 2428 2312 2260 2260 2260 2220 2464 2624 2220 2404 2624 2644 2636 2260 2220 2604 2260 2352 2220 2220 2220 2440 2256 2220 2428 2260 2440 2220 2220 2424 2524 2220 2260 2416 2472 2220 2552 2272 2220 2260 2296 2520 2260 2348 2628 2260 2260 2472 2272 2232 2624 2260 2628 2300 2220 2220 2632 2592 2504 2528 2544 2616 2336 2564 2660 2220 2460 2244 2324 2260 2272 2220 2260 2260 2524 2220 2220 2260 2292 2272 2248 2416 2564 2260 2220 2220 2260 2560 2532 2564 2260 2244 2260 2220 2340 2296 2688 2260 2432 2652 2660 2220 2388 2588 2432 2452 2220 2684 2264 2260 2660 2440 2452 2620 2700 2528 2644 2220 2580 2624 2596 2260 2292 2260 2260 2220 2284 2340 2220 2260 2628 2628 2512 2260 2400 2492 2600 2220 2260 2260 2220 2220 2620 2352 2272 2524 2352 2512 2220 2592 2412 2336 2220 2220 2220 2268 2220 2284 2392 2260 2260 2220 2232 2352 2292 2700 2268 2220 2412 2260 2468 2580 2472 2260 2364 2620 2220 2260 2252 2360 2660 2604 2220 2260 2360 2660 2436 2312 2260 2476 2220 2524 2448 2392 2220 2332 2220 2260 2388 2260 2220 2636 2516 2588 2660 2260 2220 2604 2288 2220 2632 2260 2628 2220 2520 2604 2600 2228 2260 2264 2260 2260 2304 2220 2220 2660 11 0 0 0 0 1 0 0 0 0 1 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 1 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 0 0 1 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 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 1 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 0 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 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 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 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 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 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 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 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 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 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 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 0 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 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 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 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1 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 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 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 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 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 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 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 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 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 10 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 10 10 10 0 0 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 0 10 0 10 0 0 10 10 0 0 0 10 0 10 10 10 0 10 0 0 10 10 10 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 10 10 10 0 10 0 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 10 0 0 10 0 10 0 10 0 0 0 0 0 0 0 10 0 10 0 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 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 0 10 0 10 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 10 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 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 0 0 0 0 10 10 0 10 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 10 0 0 0 0 10 0 10 0 0 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 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 10 10 10 0 0 10 0 10 10 0 10 10 0 0 10 0 0 0 0 10 10 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 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 10 10 10 10 10 10 10 10 0 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 0 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 0 10 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 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 0 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 0 0 0 10 10 0 0 0 0 10 10 10 10 10 0 10 0 0 0 10 10 10 0 0 10 0 10 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 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 10 0 0 10 0 10 10 0 0 0 10 0 0 10 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 10 0 0 0 10 10 0 10 10 0 10 0 0 10 0 10 0 0 0 0 10 0 10 0 0 10 0 0 9 10 0 0 0 0 0 0 0 0 10 10 10 0 0 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 0 10 0 10 0 10 0 10 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 10 10 0 10 0 10 10 10 10 10 10 10 0 10 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 10 10 0 10 0 10 0 9 10 10 10 0 10 0 10 0 0 0 10 10 0 0 0 0 0 10 0 0 10 10 0 0 10 0 0 10 0 10 0 10 10 10 0 0 0 0 10 10 10 0 0 10 0 0 0 10 10 0 10 0 10 0 10 0 0 10 0 0 0 0 10 10 0 10 0 10 10 0 0 0 10 10 10 0 10 0 10 0 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> 19850.49/2520.02 v </instantiation> 19850.49/2520.02
OK 180878675
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 (14181 MiB free)
memory of node 1: 16384 MiB (14539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398253-1568616443/watcher-4398253-1568616443 -o /tmp/evaluation-result-4398253-1568616443/solver-4398253-1568616443 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568607248-24632 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398253-1568616443.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=25674, runsolver pid=25671
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.08 1.03 1.49 2/192 25675
/proc/meminfo: memFree=29365400/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=76896 memory=52908 CPUtime=0.1 cores=0-7
/proc/25674/stat : 25674 (cosoco) R 25671 25674 24605 0 -1 4202496 13415 0 0 0 9 1 0 0 20 0 1 0 437911175 78741504 13227 33554432000 4194304 6211092 140722658307856 140722658304392 140699001572325 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 19224 13227 755 493 0 12529 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76896 KiB
Current children cumulated memory: 52908 KiB
[startup+0.209282 s]*
/proc/loadavg: 1.08 1.03 1.49 2/192 25675
/proc/meminfo: memFree=29304144/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=138000 memory=113928 CPUtime=0.2 cores=0-7
/proc/25674/stat : 25674 (cosoco) R 25671 25674 24605 0 -1 4202496 28686 0 0 0 17 3 0 0 20 0 1 0 437911175 141312000 28482 33554432000 4194304 6211092 140722658307856 140722658304392 140699001572325 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 34500 28482 755 493 0 27805 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 138000 KiB
Current children cumulated memory: 113928 KiB
[startup+0.308603 s]*
/proc/loadavg: 1.08 1.03 1.49 2/192 25675
/proc/meminfo: memFree=29281700/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=156884 memory=133068 CPUtime=0.31 cores=0-7
/proc/25674/stat : 25674 (cosoco) R 25671 25674 24605 0 -1 4202496 33536 0 0 0 27 4 0 0 20 0 1 0 437911175 160649216 33267 33554432000 4194304 6211092 140722658307856 140722658304392 140699001572325 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 39221 33267 826 493 0 32526 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 156884 KiB
Current children cumulated memory: 133068 KiB
[startup+0.700332 s]
/proc/loadavg: 1.08 1.03 1.49 2/192 25675
/proc/meminfo: memFree=29248964/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=218496 memory=194960 CPUtime=0.68 cores=0-7
/proc/25674/stat : 25674 (cosoco) R 25671 25674 24605 0 -1 4202496 52921 0 0 0 62 6 0 0 20 0 1 0 437911175 223739904 48674 33554432000 4194304 6211092 140722658307856 140722658302344 140699001620384 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 54624 48674 833 493 0 47929 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 218496 KiB
Current children cumulated memory: 194960 KiB
[startup+6.76117 s]
/proc/loadavg: 1.08 1.03 1.49 2/192 25675
/proc/meminfo: memFree=29248964/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=957420 memory=917972 CPUtime=6.75 cores=0-7
/proc/25674/stat : 25674 (cosoco) R 25671 25674 24605 0 -1 4202496 245367 0 0 0 644 31 0 0 20 0 1 0 437911175 980398080 229493 33554432000 4194304 6211092 140722658307856 140722658305128 5818646 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 239355 229493 840 493 0 232660 0
Current children cumulated CPU time: 6.75 s
Current children cumulated vsize: 957420 KiB
Current children cumulated memory: 917972 KiB
[startup+6.80031 s]
/proc/loadavg: 1.08 1.03 1.49 2/192 25675
/proc/meminfo: memFree=29248964/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=960836 memory=921152 CPUtime=6.79 cores=0-7
/proc/25674/stat : 25674 (cosoco) R 25671 25674 24605 0 -1 4202496 246258 0 0 0 648 31 0 0 20 0 1 0 437911175 983896064 230288 33554432000 4194304 6211092 140722658307856 140722658305128 5812176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 240209 230288 840 493 0 233514 0
Current children cumulated CPU time: 6.79 s
Current children cumulated vsize: 960836 KiB
Current children cumulated memory: 921152 KiB
[startup+6.9003 s]*
/proc/loadavg: 1.56 1.13 1.52 3/193 25676
/proc/meminfo: memFree=28478220/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=967172 memory=927152 CPUtime=6.89 cores=0-7
/proc/25674/stat : 25674 (cosoco) R 25671 25674 24605 0 -1 4202496 247844 0 0 0 658 31 0 0 20 0 1 0 437911175 990384128 231788 33554432000 4194304 6211092 140722658307856 140722658305128 5818680 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 241793 231788 840 493 0 235098 0
Current children cumulated CPU time: 6.89 s
Current children cumulated vsize: 967172 KiB
Current children cumulated memory: 927152 KiB
[startup+12.7003 s]
/proc/loadavg: 1.83 1.19 1.54 2/192 25681
/proc/meminfo: memFree=29184516/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=1313612 memory=1254808 CPUtime=12.68 cores=0-7
/proc/25674/stat : 25674 (cosoco) R 25671 25674 24605 0 -1 4202496 337477 0 0 0 1225 43 0 0 20 0 1 0 437911175 1345138688 313702 33554432000 4194304 6211092 140722658307856 140722658305128 5250284 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 328403 313702 840 493 0 321708 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 1313612 KiB
Current children cumulated memory: 1254808 KiB
[startup+25.5003 s]
/proc/loadavg: 1.65 1.18 1.53 2/192 25681
/proc/meminfo: memFree=28443180/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=2085412 memory=1985168 CPUtime=25.49 cores=0-7
/proc/25674/stat : 25674 (cosoco) R 25671 25674 24605 0 -1 4202496 532972 0 0 0 2480 69 0 0 20 0 1 0 437911175 2135461888 496292 33554432000 4194304 6211092 140722658307856 140722658305128 5817402 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 521353 496292 840 493 0 514658 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2085412 KiB
Current children cumulated memory: 1985168 KiB
[startup+51.1011 s]
/proc/loadavg: 3.27 1.58 1.65 9/200 25690
/proc/meminfo: memFree=26845220/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=4068696 memory=3548972 CPUtime=140.91 cores=0-7
/proc/25674/stat : 25674 (cosoco) S 25671 25674 24605 0 -1 1077944320 4149236 0 0 0 13443 648 0 0 20 0 9 0 437911175 4166344704 887243 33554432000 4194304 6211092 140722658307856 140722658306112 140699017613047 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 1017174 887243 890 493 0 1010479 0
[pid=25674/tid=25683] ppid=25671 vsize=4068696 memory=10564 CPUtime=12.86 cores=0-7
/proc/25674/task/25683/stat : 25683 (cosoco) R 25671 25674 24605 0 -1 4202560 396484 0 0 0 1201 85 0 0 20 0 9 0 437914987 4166344704 887243 33554432000 4194304 6211092 140722658307856 140698994469288 5446264 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25684] ppid=25671 vsize=4068696 memory=716 CPUtime=12.8 cores=0-7
/proc/25674/task/25684/stat : 25684 (cosoco) R 25671 25674 24605 0 -1 4202560 302690 0 0 0 1203 77 0 0 20 0 9 0 437914987 4166344704 887243 33554432000 4194304 6211092 140722658307856 140698986076776 5455653 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25685] ppid=25671 vsize=4068696 memory=780 CPUtime=12.81 cores=0-7
/proc/25674/task/25685/stat : 25685 (cosoco) R 25671 25674 24605 0 -1 4202560 376599 0 0 0 1186 95 0 0 20 0 9 0 437914987 4166344704 887243 33554432000 4194304 6211092 140722658307856 140698977683992 5392081 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25686] ppid=25671 vsize=4068696 memory=1552 CPUtime=12.85 cores=0-7
/proc/25674/task/25686/stat : 25686 (cosoco) R 25671 25674 24605 0 -1 4202560 467142 0 0 0 1251 34 0 0 20 0 9 0 437914987 4166344704 887243 33554432000 4194304 6211092 140722658307856 140698969291368 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25687] ppid=25671 vsize=4068696 memory=22696 CPUtime=12.86 cores=0-7
/proc/25674/task/25687/stat : 25687 (cosoco) R 25671 25674 24605 0 -1 4202560 448665 0 0 0 1195 91 0 0 20 0 9 0 437914987 4166344704 887243 33554432000 4194304 6211092 140722658307856 140698960898584 5156192 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25688] ppid=25671 vsize=4068696 memory=2120 CPUtime=12.86 cores=0-7
/proc/25674/task/25688/stat : 25688 (cosoco) R 25671 25674 24605 0 -1 4202560 433618 0 0 0 1252 34 0 0 20 0 9 0 437914987 4166344704 887243 33554432000 4194304 6211092 140722658307856 140698952505960 5037874 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25689] ppid=25671 vsize=4068696 memory=500 CPUtime=12.85 cores=0-7
/proc/25674/task/25689/stat : 25689 (cosoco) R 25671 25674 24605 0 -1 4202560 283844 0 0 0 1263 22 0 0 20 0 9 0 437914987 4166344704 887243 33554432000 4194304 6211092 140722658307856 140698944113064 5069176 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25690] ppid=25671 vsize=4068696 memory=1556 CPUtime=12.83 cores=0-7
/proc/25674/task/25690/stat : 25690 (cosoco) R 25671 25674 24605 0 -1 4202560 459844 0 0 0 1185 98 0 0 20 0 9 0 437914987 4166344704 887243 33554432000 4194304 6211092 140722658307856 140698935720360 5065767 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
Current children cumulated CPU time: 140.91 s
Current children cumulated vsize: 4068696 KiB
Current children cumulated memory: 3548972 KiB
[startup+102.301 s]
/proc/loadavg: 6.85 2.81 2.07 9/200 25695
/proc/meminfo: memFree=26771216/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=4265304 memory=3619040 CPUtime=549.66 cores=0-7
/proc/25674/stat : 25674 (cosoco) S 25671 25674 24605 0 -1 1077944320 7291003 0 0 0 54101 865 0 0 20 0 9 0 437911175 4367671296 904760 33554432000 4194304 6211092 140722658307856 140722658306112 140699017613047 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 1066326 904760 890 493 0 1059631 0
[pid=25674/tid=25683] ppid=25671 vsize=4265304 memory=780 CPUtime=64.06 cores=0-7
/proc/25674/task/25683/stat : 25683 (cosoco) R 25671 25674 24605 0 -1 4202560 800472 0 0 0 6287 119 0 0 20 0 9 0 437914987 4367671296 904760 33554432000 4194304 6211092 140722658307856 140698994469288 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25684] ppid=25671 vsize=4265304 memory=1552 CPUtime=63.96 cores=0-7
/proc/25674/task/25684/stat : 25684 (cosoco) R 25671 25674 24605 0 -1 4202560 695191 0 0 0 6289 107 0 0 20 0 9 0 437914987 4367671296 904760 33554432000 4194304 6211092 140722658307856 140698986076584 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25685] ppid=25671 vsize=4265304 memory=6935054825532540783 CPUtime=63.29 cores=0-7
/proc/25674/task/25685/stat : 25685 (cosoco) R 25671 25674 24605 0 -1 4202560 763101 0 0 0 6211 118 0 0 20 0 9 0 437914987 4367671296 904760 33554432000 4194304 6211092 140722658307856 140698977683880 5035286 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25686] ppid=25671 vsize=4265304 memory=1060 CPUtime=64.03 cores=0-7
/proc/25674/task/25686/stat : 25686 (cosoco) R 25671 25674 24605 0 -1 4202560 868357 0 0 0 6343 60 0 0 20 0 9 0 437914987 4367671296 904760 33554432000 4194304 6211092 140722658307856 140698969291288 5446151 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25687] ppid=25671 vsize=4265304 memory=4068 CPUtime=64.03 cores=0-7
/proc/25674/task/25687/stat : 25687 (cosoco) R 25671 25674 24605 0 -1 4202560 847979 0 0 0 6285 118 0 0 20 0 9 0 437914987 4367671296 904760 33554432000 4194304 6211092 140722658307856 140698960898472 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25688] ppid=25671 vsize=4265304 memory=1720 CPUtime=64.06 cores=0-7
/proc/25674/task/25688/stat : 25688 (cosoco) R 25671 25674 24605 0 -1 4202560 803805 0 0 0 6350 56 0 0 20 0 9 0 437914987 4367671296 904760 33554432000 4194304 6211092 140722658307856 140698952505880 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25689] ppid=25671 vsize=4265304 memory=5944 CPUtime=64.04 cores=0-7
/proc/25674/task/25689/stat : 25689 (cosoco) R 25671 25674 24605 0 -1 4202560 678831 0 0 0 6354 50 0 0 20 0 9 0 437914987 4367671296 904760 33554432000 4194304 6211092 140722658307856 140698944113064 5440647 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25690] ppid=25671 vsize=4265304 memory=10564 CPUtime=64 cores=0-7
/proc/25674/task/25690/stat : 25690 (cosoco) R 25671 25674 24605 0 -1 4202560 852918 0 0 0 6275 125 0 0 20 0 9 0 437914987 4367671296 904760 33554432000 4194304 6211092 140722658307856 140698935720472 5442964 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
Current children cumulated CPU time: 549.66 s
Current children cumulated vsize: 4265304 KiB
Current children cumulated memory: 3619040 KiB
[startup+162.301 s]
/proc/loadavg: 8.06 3.90 2.48 10/200 25698
/proc/meminfo: memFree=26739720/32770624 swapFree=66967348/67108860
[pid=25674] ppid=25671 vsize=4265304 memory=3651456 CPUtime=1028.67 cores=0-7
/proc/25674/stat : 25674 (cosoco) S 25671 25674 24605 0 -1 1077944320 8397289 0 0 0 101927 940 0 0 20 0 9 0 437911175 4367671296 912864 33554432000 4194304 6211092 140722658307856 140722658306112 140699017613047 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 1066326 912864 890 493 0 1059631 0
[pid=25674/tid=25683] ppid=25671 vsize=4265304 memory=3650016 CPUtime=123.89 cores=0-7
/proc/25674/task/25683/stat : 25683 (cosoco) R 25671 25674 24605 0 -1 4202560 954127 0 0 0 12258 131 0 0 20 0 9 0 437914987 4367671296 912864 33554432000 4194304 6211092 140722658307856 140698994469288 140699002496080 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25684] ppid=25671 vsize=4265304 memory=2572 CPUtime=123.93 cores=0-7
/proc/25674/task/25684/stat : 25684 (cosoco) R 25671 25674 24605 0 -1 4202560 832444 0 0 0 12275 118 0 0 20 0 9 0 437914987 4367671296 912864 33554432000 4194304 6211092 140722658307856 140698986076584 140699002498474 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25685] ppid=25671 vsize=4265304 memory=900 CPUtime=122.74 cores=0-7
/proc/25674/task/25685/stat : 25685 (cosoco) R 25671 25674 24605 0 -1 4202560 919266 0 0 0 12145 129 0 0 20 0 9 0 437914987 4367671296 912864 33554432000 4194304 6211092 140722658307856 140698977684072 140699002492852 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25686] ppid=25671 vsize=4265304 memory=6935054825532540783 CPUtime=124.01 cores=0-7
/proc/25674/task/25686/stat : 25686 (cosoco) R 25671 25674 24605 0 -1 4202560 1004881 0 0 0 12333 68 0 0 20 0 9 0 437914987 4367671296 912864 33554432000 4194304 6211092 140722658307856 140698969291368 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25687] ppid=25671 vsize=4265304 memory=4136 CPUtime=124 cores=0-7
/proc/25674/task/25687/stat : 25687 (cosoco) R 25671 25674 24605 0 -1 4202560 976996 0 0 0 12275 125 0 0 20 0 9 0 437914987 4367671296 912864 33554432000 4194304 6211092 140722658307856 140698960898472 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25688] ppid=25671 vsize=4265304 memory=4100 CPUtime=124.05 cores=0-7
/proc/25674/task/25688/stat : 25688 (cosoco) R 25671 25674 24605 0 -1 4202560 922885 0 0 0 12342 63 0 0 20 0 9 0 437914987 4367671296 912864 33554432000 4194304 6211092 140722658307856 140698952505880 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25689] ppid=25671 vsize=4265304 memory=1408 CPUtime=124.04 cores=0-7
/proc/25674/task/25689/stat : 25689 (cosoco) R 25671 25674 24605 0 -1 4202560 823727 0 0 0 12344 60 0 0 20 0 9 0 437914987 4367671296 912864 33554432000 4194304 6211092 140722658307856 140698944113256 5451591 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25690] ppid=25671 vsize=4265304 memory=2744 CPUtime=123.81 cores=0-7
/proc/25674/task/25690/stat : 25690 (cosoco) R 25671 25674 24605 0 -1 4202560 982610 0 0 0 12248 133 0 0 20 0 9 0 437914987 4367671296 912864 33554432000 4194304 6211092 140722658307856 140698935720360 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
Current children cumulated CPU time: 1028.67 s
Current children cumulated vsize: 4265304 KiB
Current children cumulated memory: 3651456 KiB
[startup+222.301 s]
/proc/loadavg: 8.99 4.91 2.92 9/201 25709
################
# More data... #
################
/proc/25674/task/25685/stat : 25685 (cosoco) R 25671 25674 24605 0 -1 4202560 3706348 0 0 0 227214 614 0 0 20 0 9 0 437914987 4627685376 1006953 33554432000 4194304 6211092 140722658307856 140698977684752 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25686] ppid=25671 vsize=4519224 memory=1520 CPUtime=2281.18 cores=0-7
/proc/25674/task/25686/stat : 25686 (cosoco) R 25671 25674 24605 0 -1 4202560 3889281 0 0 0 227506 612 0 0 20 0 9 0 437914987 4627685376 1006953 33554432000 4194304 6211092 140722658307856 140698969291368 5164892 0 0 4096 8405026 0 0 0 -1 6 0 0 13 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25687] ppid=25671 vsize=4519224 memory=4027792 CPUtime=2281.89 cores=0-7
/proc/25674/task/25687/stat : 25687 (cosoco) R 25671 25674 24605 0 -1 4202560 3389791 0 0 0 227749 440 0 0 20 0 9 0 437914987 4627685376 1006953 33554432000 4194304 6211092 140722658307856 140698960898504 5164999 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25688] ppid=25671 vsize=4519224 memory=2004 CPUtime=2271.4 cores=0-7
/proc/25674/task/25688/stat : 25688 (cosoco) R 25671 25674 24605 0 -1 4202560 2871383 0 0 0 226861 279 0 0 20 0 9 0 437914987 4627685376 1006953 33554432000 4194304 6211092 140722658307856 140698952506696 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25689] ppid=25671 vsize=4519224 memory=1376 CPUtime=2280.9 cores=0-7
/proc/25674/task/25689/stat : 25689 (cosoco) R 25671 25674 24605 0 -1 4202560 2881220 0 0 0 227726 364 0 0 20 0 9 0 437914987 4627685376 1006953 33554432000 4194304 6211092 140722658307856 140698944113176 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 7 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25690] ppid=25671 vsize=4519224 memory=1060 CPUtime=2280.3 cores=0-7
/proc/25674/task/25690/stat : 25690 (cosoco) R 25671 25674 24605 0 -1 4202560 3510862 0 0 0 227626 404 0 0 20 0 9 0 437914987 4627685376 1006953 33554432000 4194304 6211092 140722658307856 140698935720360 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 9 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
Current children cumulated CPU time: 18271.9 s
Current children cumulated vsize: 4519224 KiB
Current children cumulated memory: 4027812 KiB
[startup+2382.3 s]
/proc/loadavg: 8.27 8.28 7.76 9/199 25890
/proc/meminfo: memFree=26359072/32770624 swapFree=66967352/67108860
[pid=25674] ppid=25671 vsize=4519224 memory=4030056 CPUtime=18751 cores=0-7
/proc/25674/stat : 25674 (cosoco) S 25671 25674 24605 0 -1 1077944320 27483153 0 0 0 1871530 3570 0 0 20 0 9 0 437911175 4627685376 1007514 33554432000 4194304 6211092 140722658307856 140722658306112 140699017613047 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 1129806 1007514 890 493 0 1123111 0
[pid=25674/tid=25683] ppid=25671 vsize=4519224 memory=1764 CPUtime=2341.91 cores=0-7
/proc/25674/task/25683/stat : 25683 (cosoco) R 25671 25674 24605 0 -1 4202560 3272445 0 0 0 233807 384 0 0 20 0 9 0 437914987 4627685376 1007514 33554432000 4194304 6211092 140722658307856 140698994469288 5454160 0 0 4096 8405026 0 0 0 -1 0 0 0 7 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25684] ppid=25671 vsize=4519224 memory=111632 CPUtime=2337.76 cores=0-7
/proc/25674/task/25684/stat : 25684 (cosoco) R 25671 25674 24605 0 -1 4202560 2951853 0 0 0 233421 355 0 0 20 0 9 0 437914987 4627685376 1007514 33554432000 4194304 6211092 140722658307856 140698986076584 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25685] ppid=25671 vsize=4519224 memory=6935054825532540783 CPUtime=2338.28 cores=0-7
/proc/25674/task/25685/stat : 25685 (cosoco) R 25671 25674 24605 0 -1 4202560 3709777 0 0 0 233213 615 0 0 20 0 9 0 437914987 4627685376 1007514 33554432000 4194304 6211092 140722658307856 140698977684752 5446174 0 0 4096 8405026 0 0 0 -1 2 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25686] ppid=25671 vsize=4519224 memory=2832 CPUtime=2341.17 cores=0-7
/proc/25674/task/25686/stat : 25686 (cosoco) R 25671 25674 24605 0 -1 4202560 3900884 0 0 0 233503 614 0 0 20 0 9 0 437914987 4627685376 1007514 33554432000 4194304 6211092 140722658307856 140698969291288 140699002492816 0 0 4096 8405026 0 0 0 -1 6 0 0 13 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25687] ppid=25671 vsize=4519224 memory=1192 CPUtime=2341.86 cores=0-7
/proc/25674/task/25687/stat : 25687 (cosoco) R 25671 25674 24605 0 -1 4202560 3393042 0 0 0 233745 441 0 0 20 0 9 0 437914987 4627685376 1007514 33554432000 4194304 6211092 140722658307856 140698960898504 5157540 0 0 4096 8405026 0 0 0 -1 4 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25688] ppid=25671 vsize=4519224 memory=940 CPUtime=2331.4 cores=0-7
/proc/25674/task/25688/stat : 25688 (cosoco) R 25671 25674 24605 0 -1 4202560 2874116 0 0 0 232861 279 0 0 20 0 9 0 437914987 4627685376 1007514 33554432000 4194304 6211092 140722658307856 140698952506696 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25689] ppid=25671 vsize=4519224 memory=14008 CPUtime=2340.87 cores=0-7
/proc/25674/task/25689/stat : 25689 (cosoco) R 25671 25674 24605 0 -1 4202560 2887401 0 0 0 233722 365 0 0 20 0 9 0 437914987 4627685376 1007514 33554432000 4194304 6211092 140722658307856 140698944113176 5451488 0 0 4096 8405026 0 0 0 -1 3 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25690] ppid=25671 vsize=4519224 memory=11824 CPUtime=2339.56 cores=0-7
/proc/25674/task/25690/stat : 25690 (cosoco) R 25671 25674 24605 0 -1 4202560 3513282 0 0 0 233551 405 0 0 20 0 9 0 437914987 4627685376 1007514 33554432000 4194304 6211092 140722658307856 140698935720360 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 10 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
Current children cumulated CPU time: 18751 s
Current children cumulated vsize: 4519224 KiB
Current children cumulated memory: 4030056 KiB
[startup+2442.3 s]
/proc/loadavg: 8.16 8.25 7.78 9/199 25895
/proc/meminfo: memFree=26355892/32770624 swapFree=66967352/67108860
[pid=25674] ppid=25671 vsize=4584760 memory=4033660 CPUtime=19230 cores=0-7
/proc/25674/stat : 25674 (cosoco) S 25671 25674 24605 0 -1 1077944320 27515940 0 0 0 1919419 3584 0 0 20 0 9 0 437911175 4694794240 1008415 33554432000 4194304 6211092 140722658307856 140722658306112 140699017613047 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 1146190 1008415 890 493 0 1139495 0
[pid=25674/tid=25683] ppid=25671 vsize=4584760 memory=4032176 CPUtime=2401.86 cores=0-7
/proc/25674/task/25683/stat : 25683 (cosoco) R 25671 25674 24605 0 -1 4202560 3273968 0 0 0 239801 385 0 0 20 0 9 0 437914987 4694794240 1008415 33554432000 4194304 6211092 140722658307856 140698994469288 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25684] ppid=25671 vsize=4584760 memory=1432 CPUtime=2397.76 cores=0-7
/proc/25674/task/25684/stat : 25684 (cosoco) R 25671 25674 24605 0 -1 4202560 2955507 0 0 0 239420 356 0 0 20 0 9 0 437914987 4694794240 1008415 33554432000 4194304 6211092 140722658307856 140698986076584 5446233 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25685] ppid=25671 vsize=4584760 memory=1764 CPUtime=2398.24 cores=0-7
/proc/25674/task/25685/stat : 25685 (cosoco) R 25671 25674 24605 0 -1 4202560 3710694 0 0 0 239209 615 0 0 20 0 9 0 437914987 4694794240 1008415 33554432000 4194304 6211092 140722658307856 140698977684752 140699002498474 0 0 4096 8405026 0 0 0 -1 1 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25686] ppid=25671 vsize=4584760 memory=984 CPUtime=2401.13 cores=0-7
/proc/25674/task/25686/stat : 25686 (cosoco) R 25671 25674 24605 0 -1 4202560 3914528 0 0 0 239496 617 0 0 20 0 9 0 437914987 4694794240 1008415 33554432000 4194304 6211092 140722658307856 140698969291176 5451484 0 0 4096 8405026 0 0 0 -1 0 0 0 13 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25687] ppid=25671 vsize=4584760 memory=2004 CPUtime=2401.87 cores=0-7
/proc/25674/task/25687/stat : 25687 (cosoco) R 25671 25674 24605 0 -1 4202560 3394585 0 0 0 239745 442 0 0 20 0 9 0 437914987 4694794240 1008415 33554432000 4194304 6211092 140722658307856 140698960898504 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25688] ppid=25671 vsize=4584760 memory=1376 CPUtime=2391.4 cores=0-7
/proc/25674/task/25688/stat : 25688 (cosoco) R 25671 25674 24605 0 -1 4202560 2876939 0 0 0 238860 280 0 0 20 0 9 0 437914987 4694794240 1008415 33554432000 4194304 6211092 140722658307856 140698952506696 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25689] ppid=25671 vsize=4584760 memory=1060 CPUtime=2400.86 cores=0-7
/proc/25674/task/25689/stat : 25689 (cosoco) R 25671 25674 24605 0 -1 4202560 2893847 0 0 0 239719 367 0 0 20 0 9 0 437914987 4694794240 1008415 33554432000 4194304 6211092 140722658307856 140698944113176 5441090 0 0 4096 8405026 0 0 0 -1 3 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25690] ppid=25671 vsize=4584760 memory=4068 CPUtime=2398.72 cores=0-7
/proc/25674/task/25690/stat : 25690 (cosoco) R 25671 25674 24605 0 -1 4202560 3515519 0 0 0 239463 409 0 0 20 0 9 0 437914987 4694794240 1008415 33554432000 4194304 6211092 140722658307856 140698935720360 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 10 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
Current children cumulated CPU time: 19230 s
Current children cumulated vsize: 4584760 KiB
Current children cumulated memory: 4033660 KiB
[startup+2502.3 s]
/proc/loadavg: 8.06 8.20 7.79 9/199 25899
/proc/meminfo: memFree=26353284/32770624 swapFree=66967352/67108860
[pid=25674] ppid=25671 vsize=4584760 memory=4037628 CPUtime=19709.1 cores=0-7
/proc/25674/stat : 25674 (cosoco) S 25671 25674 24605 0 -1 1077944320 27553372 0 0 0 1967315 3594 0 0 20 0 9 0 437911175 4694794240 1009407 33554432000 4194304 6211092 140722658307856 140722658306112 140699017613047 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 1146190 1009407 890 493 0 1139495 0
[pid=25674/tid=25683] ppid=25671 vsize=4584760 memory=984 CPUtime=2461.86 cores=0-7
/proc/25674/task/25683/stat : 25683 (cosoco) R 25671 25674 24605 0 -1 4202560 3277032 0 0 0 245800 386 0 0 20 0 9 0 437914987 4694794240 1009407 33554432000 4194304 6211092 140722658307856 140698994469288 5451618 0 0 4096 8405026 0 0 0 -1 6 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25684] ppid=25671 vsize=4584760 memory=4037572 CPUtime=2457.75 cores=0-7
/proc/25674/task/25684/stat : 25684 (cosoco) R 25671 25674 24605 0 -1 4202560 2960682 0 0 0 245415 360 0 0 20 0 9 0 437914987 4694794240 1009407 33554432000 4194304 6211092 140722658307856 140698986076584 140699002492816 0 0 4096 8405026 0 0 0 -1 3 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25685] ppid=25671 vsize=4584760 memory=924 CPUtime=2458.22 cores=0-7
/proc/25674/task/25685/stat : 25685 (cosoco) R 25671 25674 24605 0 -1 4202560 3713263 0 0 0 245206 616 0 0 20 0 9 0 437914987 4694794240 1009407 33554432000 4194304 6211092 140722658307856 140698977684752 140699011517328 0 0 4096 8405026 0 0 0 -1 5 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25686] ppid=25671 vsize=4584760 memory=6935054825532540783 CPUtime=2461.13 cores=0-7
/proc/25674/task/25686/stat : 25686 (cosoco) R 25671 25674 24605 0 -1 4202560 3927905 0 0 0 245494 619 0 0 20 0 9 0 437914987 4694794240 1009407 33554432000 4194304 6211092 140722658307856 140698969291368 140699002496334 0 0 4096 8405026 0 0 0 -1 1 0 0 14 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25687] ppid=25671 vsize=4584760 memory=4100 CPUtime=2461.86 cores=0-7
/proc/25674/task/25687/stat : 25687 (cosoco) R 25671 25674 24605 0 -1 4202560 3396244 0 0 0 245743 443 0 0 20 0 9 0 437914987 4694794240 1009407 33554432000 4194304 6211092 140722658307856 140698960898504 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25688] ppid=25671 vsize=4584760 memory=1408 CPUtime=2451.36 cores=0-7
/proc/25674/task/25688/stat : 25688 (cosoco) R 25671 25674 24605 0 -1 4202560 2878152 0 0 0 244856 280 0 0 20 0 9 0 437914987 4694794240 1009407 33554432000 4194304 6211092 140722658307856 140698952506696 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25689] ppid=25671 vsize=4584760 memory=2880 CPUtime=2460.84 cores=0-7
/proc/25674/task/25689/stat : 25689 (cosoco) R 25671 25674 24605 0 -1 4202560 2902241 0 0 0 245716 368 0 0 20 0 9 0 437914987 4694794240 1009407 33554432000 4194304 6211092 140722658307856 140698944113176 5440624 0 0 4096 8405026 0 0 0 -1 0 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25690] ppid=25671 vsize=4584760 memory=4037572 CPUtime=2457.89 cores=0-7
/proc/25674/task/25690/stat : 25690 (cosoco) R 25671 25674 24605 0 -1 4202560 3517500 0 0 0 245379 410 0 0 20 0 9 0 437914987 4694794240 1009407 33554432000 4194304 6211092 140722658307856 140698935720552 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 10 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
Current children cumulated CPU time: 19709.1 s
Current children cumulated vsize: 4584760 KiB
Current children cumulated memory: 4037628 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520.01 s]
/proc/loadavg: 8.10 8.20 7.80 9/199 25899
/proc/meminfo: memFree=26351476/32770624 swapFree=66967352/67108860
[pid=25674] ppid=25671 vsize=4584760 memory=4037924 CPUtime=19850.5 cores=0-7
/proc/25674/stat : 25674 (cosoco) S 25671 25674 24605 0 -1 1077944320 27557069 0 0 0 1981454 3595 0 0 20 0 9 0 437911175 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140722658306112 140699017613047 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 1146190 1009481 890 493 0 1139495 0
[pid=25674/tid=25683] ppid=25671 vsize=4584760 memory=4037924 CPUtime=2479.57 cores=0-7
/proc/25674/task/25683/stat : 25683 (cosoco) R 25671 25674 24605 0 -1 4202560 3277299 0 0 0 247570 387 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698994469288 140699002496320 0 0 4096 8405026 0 0 0 -1 6 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25684] ppid=25671 vsize=4584760 memory=4420 CPUtime=2475.38 cores=0-7
/proc/25674/task/25684/stat : 25684 (cosoco) R 25671 25674 24605 0 -1 4202560 2960723 0 0 0 247178 360 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698986076584 5476491 0 0 4096 8405026 0 0 0 -1 7 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25685] ppid=25671 vsize=4584760 memory=4037912 CPUtime=2475.93 cores=0-7
/proc/25674/task/25685/stat : 25685 (cosoco) R 25671 25674 24605 0 -1 4202560 3713337 0 0 0 246977 616 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698977684752 5446275 0 0 4096 8405026 0 0 0 -1 5 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25686] ppid=25671 vsize=4584760 memory=4037924 CPUtime=2478.66 cores=0-7
/proc/25674/task/25686/stat : 25686 (cosoco) R 25671 25674 24605 0 -1 4202560 3928881 0 0 0 247247 619 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698969291368 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 14 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25687] ppid=25671 vsize=4584760 memory=4037924 CPUtime=2479.57 cores=0-7
/proc/25674/task/25687/stat : 25687 (cosoco) R 25671 25674 24605 0 -1 4202560 3397110 0 0 0 247514 443 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698960898504 5158000 0 0 4096 8405026 0 0 0 -1 4 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25688] ppid=25671 vsize=4584760 memory=984 CPUtime=2469.07 cores=0-7
/proc/25674/task/25688/stat : 25688 (cosoco) R 25671 25674 24605 0 -1 4202560 2878762 0 0 0 246627 280 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698952506696 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25689] ppid=25671 vsize=4584760 memory=4037912 CPUtime=2478.55 cores=0-7
/proc/25674/task/25689/stat : 25689 (cosoco) R 25671 25674 24605 0 -1 4202560 2902298 0 0 0 247487 368 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698944113176 5451572 0 0 4096 8405026 0 0 0 -1 0 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25690] ppid=25671 vsize=4584760 memory=4037912 CPUtime=2475.58 cores=0-7
/proc/25674/task/25690/stat : 25690 (cosoco) R 25671 25674 24605 0 -1 4202560 3518306 0 0 0 247147 411 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698935720360 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 10 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
Current children cumulated CPU time: 19850.5 s
Current children cumulated vsize: 4584760 KiB
Current children cumulated memory: 4037924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.08 s]
# the end of solver process 25674 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19814.6 s, system=36.014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.01 s]
/proc/loadavg: 8.10 8.20 7.80 9/199 25899
/proc/meminfo: memFree=26351476/32770624 swapFree=66967352/67108860
[pid=25674] ppid=25671 vsize=4584760 memory=4037924 CPUtime=19850.5 cores=0-7
/proc/25674/stat : 25674 (cosoco) S 25671 25674 24605 0 -1 1077944320 27557069 0 0 0 1981454 3595 0 0 20 0 9 0 437911175 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140722658306112 140699017613047 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
/proc/25674/statm: 1146190 1009481 890 493 0 1139495 0
[pid=25674/tid=25683] ppid=25671 vsize=4584760 memory=4037924 CPUtime=2479.57 cores=0-7
/proc/25674/task/25683/stat : 25683 (cosoco) R 25671 25674 24605 0 -1 4202560 3277299 0 0 0 247570 387 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698994469288 140699002496320 0 0 4096 8405026 0 0 0 -1 6 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25684] ppid=25671 vsize=4584760 memory=4420 CPUtime=2475.38 cores=0-7
/proc/25674/task/25684/stat : 25684 (cosoco) R 25671 25674 24605 0 -1 4202560 2960723 0 0 0 247178 360 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698986076584 5476491 0 0 4096 8405026 0 0 0 -1 7 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25685] ppid=25671 vsize=4584760 memory=4037912 CPUtime=2475.93 cores=0-7
/proc/25674/task/25685/stat : 25685 (cosoco) R 25671 25674 24605 0 -1 4202560 3713337 0 0 0 246977 616 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698977684752 5446275 0 0 4096 8405026 0 0 0 -1 5 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25686] ppid=25671 vsize=4584760 memory=4037924 CPUtime=2478.66 cores=0-7
/proc/25674/task/25686/stat : 25686 (cosoco) R 25671 25674 24605 0 -1 4202560 3928881 0 0 0 247247 619 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698969291368 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 14 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25687] ppid=25671 vsize=4584760 memory=4037924 CPUtime=2479.57 cores=0-7
/proc/25674/task/25687/stat : 25687 (cosoco) R 25671 25674 24605 0 -1 4202560 3397110 0 0 0 247514 443 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698960898504 5158000 0 0 4096 8405026 0 0 0 -1 4 0 0 4 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25688] ppid=25671 vsize=4584760 memory=984 CPUtime=2469.07 cores=0-7
/proc/25674/task/25688/stat : 25688 (cosoco) R 25671 25674 24605 0 -1 4202560 2878762 0 0 0 246627 280 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698952506696 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25689] ppid=25671 vsize=4584760 memory=4037912 CPUtime=2478.55 cores=0-7
/proc/25674/task/25689/stat : 25689 (cosoco) R 25671 25674 24605 0 -1 4202560 2902298 0 0 0 247487 368 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698944113176 5451572 0 0 4096 8405026 0 0 0 -1 0 0 0 8 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
[pid=25674/tid=25690] ppid=25671 vsize=4584760 memory=4037912 CPUtime=2475.58 cores=0-7
/proc/25674/task/25690/stat : 25690 (cosoco) R 25671 25674 24605 0 -1 4202560 3518306 0 0 0 247147 411 0 0 20 0 9 0 437914987 4694794240 1009481 33554432000 4194304 6211092 140722658307856 140698935720360 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 10 0 0 8312316 8317760 20668416 140722658309137 140722658309229 140722658309229 140722658312142 0
Current children cumulated CPU time: 19850.5 s
Current children cumulated vsize: 4584760 KiB
Current children cumulated memory: 4037924 KiB
Child status: 1
Real time (s): 2520.08
CPU time (s): 19850.7
CPU user time (s): 19814.6
CPU system time (s): 36.014
CPU usage (%): 787.699
Max. virtual memory (cumulated for all children) (KiB): 4584760
Max. memory (cumulated for all children) (KiB): 4037924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19814.6
system time used= 36.014
maximum resident set size= 4038092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27557123
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= 52728
involuntary context switches= 164429
# summary of solver processes directly reported to runsolver:
# pid: 25674
# total CPU time (s): 19850.7
# total CPU user time (s): 19814.6
# total CPU system time (s): 36.014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8623 second user time and 22.44 second system time
The end
Begin job on node125 at 2019-09-16 08:46:41 IDJOB=4398253 IDBENCH=141276 IDSOLVER=2851 FILE ID=node125/4398253-1568616443 RUNJOBID= node125-1568607248-24632 PBS_JOBID= 21703429 Free space on /tmp= 59216 MiB SOLVER NAME= cosoco 2.O 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-4398253-1568616443/watcher-4398253-1568616443 -o /tmp/evaluation-result-4398253-1568616443/solver-4398253-1568616443 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568607248-24632 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398253-1568616443.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=147049153 node125.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.29 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.29 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.29 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.29 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: 29410856 kB MemAvailable: 31852192 kB Buffers: 187848 kB Cached: 2542832 kB SwapCached: 38412 kB Active: 761652 kB Inactive: 2012844 kB Active(anon): 22460 kB Inactive(anon): 69876 kB Active(file): 739192 kB Inactive(file): 1942968 kB Unevictable: 107468 kB Mlocked: 107468 kB SwapTotal: 67108860 kB SwapFree: 66967348 kB Dirty: 758008 kB Writeback: 75500 kB AnonPages: 114824 kB Mapped: 48220 kB Shmem: 39760 kB Slab: 178804 kB SReclaimable: 150024 kB SUnreclaim: 28780 kB KernelStack: 3456 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 508140 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 59684 MiB End job on node125 at 2019-09-16 09:28:41