Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | SAT (TO) | 181624473 | 2520.01 | 2519.7 |
| 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.00/0.07 c 0.00/0.07 c This is cosoco 2.00 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389693-1568360264.xml 0.00/0.07 c intension eq(dist(f[44],f[63]),40) -> extension (support ? 1) - 222tuples 0.00/0.07 c intension eq(dist(f[245],f[259]),40) -> extension (support ? 1) - 34tuples 0.00/0.07 c intension eq(dist(f[171],f[366]),40) -> extension (support ? 1) - 222tuples 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension eq(dist(f[168],f[394]),40) -> extension (support ? 1) - 22tuples 0.00/0.08 c intension eq(dist(f[189],f[377]),40) -> extension (support ? 1) - 222tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension eq(dist(f[383],f[402]),40) -> extension (support ? 1) - 34tuples 0.00/0.09 c intension eq(dist(f[19],f[30]),40) -> extension (support ? 1) - 222tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension eq(dist(f[264],f[465]),40) -> extension (support ? 1) - 22tuples 0.00/0.10 c intension eq(dist(f[271],f[76]),40) -> extension (support ? 1) - 222tuples 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension eq(dist(f[152],f[320]),40) -> extension (support ? 1) - 34tuples 0.09/0.12 c intension eq(dist(f[253],f[301]),40) -> extension (support ? 1) - 222tuples 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension eq(dist(f[108],f[191]),40) -> extension (support ? 1) - 34tuples 0.09/0.13 c intension eq(dist(f[43],f[464]),40) -> extension (support ? 1) - 222tuples 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension eq(dist(f[242],f[314]),40) -> extension (support ? 1) - 34tuples 0.09/0.14 c intension eq(dist(f[179],f[261]),40) -> extension (support ? 1) - 222tuples 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension -> extension : same as previous 0.09/0.15 c intension eq(dist(f[188],f[262]),40) -> extension (support ? 1) - 34tuples 0.09/0.16 c intension eq(dist(f[330],f[429]),40) -> extension (support ? 1) - 222tuples 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension eq(dist(f[307],f[426]),40) -> extension (support ? 1) - 34tuples 0.09/0.16 c intension eq(dist(f[272],f[455]),40) -> extension (support ? 1) - 222tuples 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension -> extension : same as previous 0.09/0.18 c intension eq(dist(f[13],f[62]),40) -> extension (support ? 1) - 34tuples 0.09/0.19 c intension eq(dist(f[117],f[474]),40) -> extension (support ? 1) - 222tuples 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension eq(dist(f[126],f[483]),40) -> extension (support ? 1) - 34tuples 0.09/0.20 c intension eq(dist(f[195],f[8]),40) -> extension (support ? 1) - 222tuples 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension eq(dist(f[113],f[401]),40) -> extension (support ? 1) - 22tuples 0.09/0.21 c intension eq(dist(f[143],f[53]),40) -> extension (support ? 1) - 222tuples 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension eq(dist(f[224],f[58]),40) -> extension (support ? 1) - 34tuples 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension eq(dist(f[38],f[47]),40) -> extension (support ? 1) - 222tuples 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension eq(dist(f[105],f[211]),40) -> extension (support ? 1) - 34tuples 0.20/0.24 c intension eq(dist(f[183],f[454]),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 -> extension : same as previous 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 -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension ne(dist(f[235],f[396]),13) -> extension (support ? 0) - 0tuples 0.20/0.25 c intension ne(dist(f[168],f[169]),118) -> extension (support ? 0) - 0tuples 0.20/0.25 c intension ne(dist(f[327],f[355]),9) -> extension (support ? 0) - 0tuples 0.20/0.26 c intension ne(dist(f[144],f[290]),66) -> extension (support ? 0) - 0tuples 0.20/0.27 c intension ne(dist(f[138],f[283]),73) -> extension (support ? 0) - 0tuples 0.20/0.28 c intension ne(dist(f[377],f[476]),53) -> extension (support ? 0) - 0tuples 0.20/0.28 c intension ne(dist(f[312],f[374]),3) -> extension (support ? 0) - 0tuples 0.20/0.29 c intension ne(dist(f[194],f[70]),200) -> extension (support ? 0) - 142tuples 0.20/0.30 c intension ne(dist(f[203],f[294]),21) -> extension (support ? 0) - 0tuples 0.20/0.30 c intension ne(dist(f[233],f[422]),27) -> extension (support ? 0) - 0tuples 0.20/0.31 c intension ne(dist(f[292],f[400]),64) -> extension (support ? 0) - 210tuples 0.31/0.32 c intension ne(dist(f[127],f[72]),78) -> extension (support ? 0) - 0tuples 0.31/0.32 c intension ne(dist(f[40],f[57]),18) -> extension (support ? 0) - 0tuples 0.31/0.33 c intension ne(dist(f[118],f[209]),75) -> extension (support ? 0) - 0tuples 0.31/0.34 c intension ne(dist(f[251],f[90]),13) -> extension (support ? 0) - 0tuples 0.31/0.34 c intension ne(dist(f[154],f[85]),17) -> extension (support ? 0) - 0tuples 0.31/0.35 c intension ne(dist(f[413],f[52]),226) -> extension (support ? 0) - 0tuples 0.31/0.36 c intension ne(dist(f[192],f[268]),20) -> extension (support ? 0) - 232tuples 0.31/0.36 c intension ne(dist(f[116],f[402]),48) -> extension (support ? 0) - 54tuples 0.31/0.36 c intension ne(dist(f[174],f[316]),54) -> extension (support ? 0) - 0tuples 0.31/0.37 c intension ne(dist(f[104],f[300]),129) -> extension (support ? 0) - 0tuples 0.31/0.38 c intension ne(dist(f[444],f[499]),47) -> extension (support ? 0) - 0tuples 0.31/0.38 c intension ne(dist(f[231],f[407]),8) -> extension (support ? 0) - 238tuples 0.31/0.39 c intension ne(dist(f[360],f[50]),2) -> extension (support ? 0) - 0tuples 0.31/0.40 c intension ne(dist(f[219],f[436]),27) -> extension (support ? 0) - 0tuples 0.31/0.40 c intension ne(dist(f[484],f[68]),31) -> extension (support ? 0) - 0tuples 0.31/0.41 c intension ne(dist(f[443],f[80]),203) -> extension (support ? 0) - 0tuples 0.41/0.42 c intension ne(dist(f[106],f[238]),73) -> extension (support ? 0) - 0tuples 0.41/0.43 c intension ne(dist(f[102],f[243]),320) -> extension (support ? 0) - 82tuples 0.41/0.43 c intension ne(dist(f[112],f[281]),226) -> extension (support ? 0) - 0tuples 0.41/0.43 c AllEqual constraint using 1 generic x=y constraints 0.41/0.43 c AllEqual constraint using 1 generic x=y constraints 0.41/0.43 c AllEqual constraint using 1 generic x=y constraints 0.41/0.43 c AllEqual constraint using 1 generic x=y constraints 0.41/0.43 c AllEqual constraint using 1 generic x=y constraints 0.41/0.43 c AllEqual constraint using 1 generic x=y constraints 0.41/0.43 c AllEqual constraint using 1 generic x=y constraints 0.41/0.43 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c AllEqual constraint using 1 generic x=y constraints 0.41/0.49 c intension eq(dist(f[13],f[383]),d[60]) -> extension (support ? 1) - 729tuples 0.41/0.51 c intension eq(dist(f[13],f[461]),d[62]) -> extension (support ? 1) - 729tuples 0.60/0.66 c intension eq(dist(f[105],f[307]),d[475]) -> extension (support ? 1) - 729tuples 0.60/0.68 c intension eq(dist(f[105],f[465]),d[476]) -> extension (support ? 1) - 567tuples 0.69/0.70 c intension eq(dist(f[108],f[211]),d[486]) -> extension (support ? 1) - 729tuples 0.69/0.73 c intension eq(dist(f[108],f[307]),d[488]) -> extension (support ? 1) - 729tuples 0.69/0.74 c intension eq(dist(f[108],f[314]),d[489]) -> extension (support ? 1) - 729tuples 0.69/0.75 c intension eq(dist(f[113],f[168]),d[508]) -> extension (support ? 1) - 441tuples 0.69/0.77 c intension eq(dist(f[113],f[188]),d[509]) -> extension (support ? 1) - 567tuples 0.69/0.79 c intension eq(dist(f[113],f[211]),d[510]) -> extension (support ? 1) - 567tuples 0.79/0.80 c intension eq(dist(f[113],f[264]),d[511]) -> extension (support ? 1) - 441tuples 0.79/0.83 c intension eq(dist(f[126],f[211]),d[565]) -> extension (support ? 1) - 729tuples 0.79/0.85 c intension -> extension : same as previous 0.79/0.85 c intension eq(dist(f[126],f[307]),d[567]) -> extension (support ? 1) - 729tuples 0.79/0.87 c intension eq(dist(f[126],f[401]),d[568]) -> extension (support ? 1) - 567tuples 0.89/0.93 c intension eq(dist(f[168],f[264]),d[715]) -> extension (support ? 1) - 441tuples 0.89/0.99 c intension eq(dist(f[224],f[320]),d[894]) -> extension (support ? 1) - 729tuples 1.00/1.03 c intension eq(dist(f[245],f[262]),d[949]) -> extension (support ? 1) - 729tuples 1.00/1.04 c intension eq(dist(f[245],f[426]),d[951]) -> extension (support ? 1) - 729tuples 1.00/1.07 c intension eq(dist(f[262],f[426]),d[998]) -> extension (support ? 1) - 729tuples 1.09/1.12 c intension eq(dist(f[314],f[383]),d[1109]) -> extension (support ? 1) - 729tuples 1.09/1.13 c intension eq(dist(f[320],f[461]),d[1117]) -> extension (support ? 1) - 729tuples 604.05/604.10 c enable optimization 604.05/604.10 c ========================================[ Problem Statistics ]=========================================== 604.05/604.10 c | 604.05/604.10 c | Parse time : 29.61 s 604.05/604.10 c | 604.05/604.10 c | Variables: 4790 604.05/604.10 c | Domain Sizes: 1..121 604.05/604.10 c | 604.05/604.10 c | Constraints: 2853 604.05/604.10 c | Arity: 2..2527 -- Binary: 326 -- Ternary: 1263 604.05/604.10 c | 604.05/604.10 c | Types: 604.05/604.10 c | (X != Y): 17 604.05/604.10 c | (X = Y): 29 604.05/604.10 c | Extension: 1565 (nb tuples: 0..5776) -- (shared: 222) 604.05/604.10 c | Intension: 1241 604.05/604.10 c | Sum: 1 604.05/604.10 c | 604.05/604.10 c | Objective: Minimize Sum 604.05/604.10 604.05/604.10 c ========================================================================================================= 604.05/604.10 o 181662380 604.15/604.11 c 1 calls to solver(id=0): best=181662380 lower=0 upper=181662379 725.16/725.14 o 181662376 794.27/794.26 o 181649735 794.27/794.26 c 3 calls to solver(id=0): best=181649735 lower=0 upper=181649734 798.27/798.23 o 181649734 869.28/869.21 o 181637104 869.28/869.21 c 5 calls to solver(id=0): best=181637104 lower=0 upper=181637103 1016.39/1016.36 o 181637102 1162.31/1162.21 o 181637097 1162.31/1162.21 c 7 calls to solver(id=0): best=181637097 lower=0 upper=181637096 1352.93/1352.80 o 181637094 1567.06/1566.99 o 181624473 1567.06/1566.99 c 9 calls to solver(id=0): best=181624473 lower=0 upper=181624472 2520.00/2519.70 2520.00/2519.70 c *** INTERRUPTED *** 2520.00/2519.70 c call to solver : 9 2520.00/2519.70 c 2520.00/2519.70 c restarts : 379 2520.00/2519.70 c conflicts : 184287 (73 /sec) 2520.00/2519.70 c decisions : 1367124 (543 /sec) 2520.00/2519.70 c propagations : 108410703 (43028 /sec) 2520.00/2519.70 c root propagations : 10735 2520.00/2519.70 c filter calls : 14193989 (5634 /sec) 2520.00/2519.70 c useless filter calls : 9356249 (65 %) 2520.00/2519.70 c Memory used : 548.48 MB 2520.00/2519.70 c Best bound time (wc) : 1566.99 s 2520.00/2519.70 c CPU time : 2519.52 s 2520.00/2519.70 c real time : 2519.7 s 2520.00/2519.70 2520.00/2519.70 c nb Solutions = 9 2520.00/2519.70 s SATISFIABLE 2520.00/2519.70 c Best value found: 181624473 2520.00/2519.70 2520.00/2519.70 2520.00/2519.70 v <instantiation type='solution' cost='181624473'> 2520.00/2519.70 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> 2520.00/2519.70 v <values>0 368 0 368 96 160 428 132 40 208 404 76 436 40 436 0 420 40 40 396 140 472 108 436 72 72 340 40 40 44 344 184 208 396 212 204 20 164 348 40 76 0 296 212 340 328 296 436 212 320 172 0 144 184 320 436 256 0 428 428 256 388 396 40 388 104 396 156 116 212 168 368 408 52 40 276 232 344 76 196 232 228 228 188 152 284 400 160 128 108 412 0 240 0 316 0 40 436 208 24 40 180 40 220 432 432 244 288 212 8 136 136 32 368 40 228 40 416 40 136 264 40 104 56 0 328 264 120 112 108 16 108 176 388 436 92 328 168 52 364 188 0 252 316 216 164 392 256 196 92 228 436 40 92 344 388 220 220 240 296 40 132 56 396 160 472 120 348 136 40 56 332 188 96 112 100 0 20 132 252 204 420 436 36 288 276 224 40 316 0 56 0 464 0 104 172 36 52 284 120 264 168 12 208 180 192 192 436 40 172 196 132 40 436 0 256 240 28 464 88 100 32 56 0 40 204 0 0 0 0 0 40 60 196 464 292 196 288 420 420 288 0 112 0 156 0 296 224 156 184 288 0 300 304 444 52 0 20 140 336 252 280 240 192 136 24 16 348 336 292 288 352 120 40 228 44 80 424 396 476 416 200 244 0 40 436 476 368 16 316 256 132 16 16 224 224 296 224 164 264 116 40 108 136 40 96 0 0 76 0 40 40 332 396 436 184 76 0 292 196 140 24 396 356 40 40 0 40 0 248 100 480 68 480 260 40 40 120 316 40 248 0 80 0 396 0 432 220 40 0 40 248 440 0 0 40 40 168 388 52 200 28 188 224 4 224 224 224 56 292 92 232 272 248 40 388 388 348 356 92 388 380 0 0 0 208 248 432 28 40 228 40 252 40 0 400 144 236 76 388 172 376 328 408 472 0 108 432 196 432 0 60 64 200 160 160 44 260 264 28 204 220 40 0 168 188 0 156 124 472 192 244 328 364 28 40 40 440 0 256 4 476 20 0 112 16 4 0 396 364 168 328 40 220 212 168 36 304 144 264 40 236 136 232 276 28 144 148 224 252 396 228 40 456 80 148 164 64 40 392 20 244 152 20 40 256 96 396 52 232 264 56 140 164 172 172 380 264 352 60 20 260 352 412 304 0 256 368 0 368 64 368 372 264 152 244 120 288 204 452 40 92 424 348 0 32 364 404 372 40 32 252 392 392 0 328 52 12 64 40 276 0 444 40 0 168 0 72 444 0 0 88 0 264 36 128 76 0 304 296 296 316 120 20 0 192 168 40 276 432 324 320 432 276 212 132 0 0 388 56 100 380 328 0 108 40 40 0 368 296 328 172 316 132 0 24 180 260 384 420 344 0 420 28 0 0 0 136 248 212 260 4 192 36 192 132 340 112 328 136 0 100 440 116 356 152 140 252 0 0 40 40 344 0 40 188 124 0 0 328 368 440 0 0 20 236 24 184 168 196 276 252 40 436 160 240 200 236 200 240 92 8 40 164 64 0 0 256 40 0 0 0 0 432 0 0 156 260 168 184 272 148 0 0 0 224 40 212 276 0 76 100 404 244 40 0 80 56 20 60 60 136 220 252 0 40 340 336 40 0 40 0 96 340 224 380 40 64 152 232 40 128 472 40 0 40 156 112 252 300 156 92 112 0 252 40 268 436 368 480 300 244 0 140 136 436 216 224 128 256 164 120 256 0 12 304 136 136 0 40 0 396 300 436 396 436 404 0 204 244 232 136 148 168 384 92 384 368 180 4 104 140 188 256 392 84 12 40 40 8 40 396 168 84 224 0 32 316 32 104 144 184 104 40 40 116 344 188 296 180 428 24 404 368 0 476 184 0 296 184 224 144 224 104 40 40 168 40 40 36 64 144 264 0 472 40 0 188 432 40 120 40 0 408 0 196 476 288 156 44 240 4 200 300 40 176 0 76 0 0 252 276 0 40 376 132 380 0 40 288 392 184 368 264 36 148 64 264 76 404 32 68 404 368 40 0 224 40 276 200 52 36 16 400 140 56 440 248 120 264 40 116 316 0 40 0 240 108 40 20 308 0 288 380 304 220 328 72 56 324 168 336 120 32 76 336 328 0 480 52 0 40 236 380 252 212 440 204 176 132 220 260 40 160 228 200 0 108 388 328 368 0 188 328 0 40 0 240 332 280 40 388 172 0 328 0 280 236 116 108 188 316 252 188 256 40 0 76 0 108 220 156 156 172 28 36 264 200 180 316 420 40 0 0 436 188 252 212 4 156 184 144 144 48 244 164 148 40 40 348 180 144 164 412 412 356 96 436 80 276 308 308 128 128 176 216 36 64 212 304 0 264 344 0 384 208 40 84 164 20 236 264 76 76 160 128 64 116 276 20 20 40 116 28 268 284 356 316 108 120 120 316 0 200 460 0 0 16 40 320 240 184 40 40 220 236 260 0 0 120 168 52 148 308 0 4 212 36 260 280 28 0 0 140 40 0 432 192 64 472 76 48 136 0 196 156 180 120 160 160 80 160 332 276 0 156 16 256 32 176 68 404 72 32 328 60 356 368 388 0 120 36 4 336 252 292 236 20 424 240 96 0 16 76 56 340 152 316 316 432 228 40 136 384 196 20 260 336 0 0 200 144 96 276 372 0 240 0 72 280 296 140 60 400 144 28 264 440 112 480 40 60 24 328 52 0 40 168 240 64 184 252 0 36 36 0 76 460 0 436 108 0 328 0 0 52 340 104 52 176 4 216 44 272 140 12 360 264 24 212 248 0 436 0 40 48 372 404 264 440 252 440 0 56 168 208 208 28 136 264 136 260 296 40 388 0 424 348 120 16 304 104 352 0 176 280 40 256 92 104 316 264 472 2260 2460 2384 2220 2260 2220 2356 2260 2260 2296 2280 2220 2260 2220 2600 2628 2220 2220 2408 2260 2220 2480 2560 2516 2396 2260 2656 2464 2604 2400 2260 2292 2556 2260 2260 2260 2220 2444 2624 2260 2524 2220 2220 2220 2340 2364 2456 2220 2396 2220 2260 2220 2260 2524 2624 2300 2260 2260 2312 2660 2220 2220 2220 2260 2260 2600 2220 2276 2596 2260 2260 2660 2220 2260 2420 2588 2260 2408 2260 2260 2220 2408 2260 2220 2376 2260 2496 2220 2260 2220 2484 2404 2260 2424 2632 2388 2436 2564 2220 2220 2524 2336 2260 2240 2232 2576 2660 2272 2220 2220 2260 2556 2220 2260 2340 2312 2588 2260 2220 2260 2456 2260 2524 2692 2396 2220 2260 2512 2380 2260 2292 2588 2220 2656 2224 2512 2280 2220 2296 2264 2692 2644 2276 2220 2656 2496 2220 2220 2260 2400 2520 2700 2220 2320 2260 2608 2260 2404 2296 2220 2260 2552 2476 2376 2340 2472 2380 2260 2220 2700 2220 2428 2260 2520 2260 2568 2592 2416 2220 2260 2604 2568 2588 2220 2688 2220 2648 2260 2236 2680 2260 2220 2292 2260 2564 2428 2424 2568 2220 2484 2220 2260 2220 2664 2592 2260 2220 2648 2260 2220 2260 2496 2376 2652 2628 2300 2260 2296 2468 2504 2660 2260 2312 2220 2260 2540 2220 2220 2220 2692 2540 2220 2252 2220 2588 2260 2232 2220 2336 2316 2260 2220 2392 2520 2416 2352 2220 2548 2376 2388 2700 2448 2220 2220 2464 2616 2548 2656 2652 2516 2460 2260 2260 2352 2220 2480 2220 2556 2328 2528 2260 2536 2692 2608 2428 2472 2220 2700 2316 2652 2372 2220 2260 2488 2440 2640 2260 2508 2220 2600 2536 2252 2220 2220 2220 2220 2396 2272 2696 2260 2460 2220 2220 2412 2516 2648 2260 2260 2656 2276 2220 2428 2220 2352 2376 2600 2260 2444 2500 2260 2260 2260 2260 2220 2260 2260 2628 2296 2684 2528 2220 2260 2680 2220 2640 2588 2336 2220 2260 2696 2416 2220 2656 2328 2484 2548 2260 2688 2260 2356 2332 2236 2664 2260 2220 2368 2260 2220 2360 2220 2360 2220 2500 2476 2608 2588 2608 2220 2340 2356 2236 2260 2440 2220 2440 2560 2656 2220 2696 2472 2220 2640 2220 2220 2636 2500 2432 2220 2692 2416 2696 2380 2632 2220 2260 2260 2220 2220 2696 2260 2696 2336 2656 2260 2260 2628 2448 2260 2500 2432 2260 2260 2692 2480 2556 2220 2676 2484 2256 2648 2512 2220 2516 2260 2472 2360 2240 2400 2260 2260 2276 2352 2368 2260 2260 2260 2260 2220 2220 2220 2296 2392 2448 2260 2468 2420 2480 2260 2356 2584 2220 2260 2260 2336 2260 2260 2288 2260 2300 2652 2260 2524 2280 2260 2628 2484 2220 2408 2220 2624 2652 2272 2220 2220 2260 2564 2516 2220 2240 2696 2652 2472 2260 2260 2672 2220 2548 2220 2536 2640 2260 2256 2560 2220 2220 2260 2260 2496 2220 2588 11 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 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 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 10 0 0 0 0 10 0 0 10 10 10 10 0 10 10 10 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 10 7 0 0 0 0 10 0 10 10 10 10 0 0 0 0 0 10 10 0 10 10 0 0 0 10 0 10 10 0 0 0 10 10 10 10 10 0 10 0 10 0 10 0 0 10 10 9 10 10 10 10 10 0 0 10 0 10 0 0 0 10 10 10 10 0 10 10 10 0 10 10 10 0 0 0 0 10 10 0 10 10 0 0 10 0 10 10 0 10 10 0 10 10 0 0 10 0 0 10 10 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 10 0 10 0 10 0 10 10 0 10 0 0 0 0 0 10 0 10 0 10 0 10 10 10 0 0 0 10 0 0 0 0 0 10 10 10 10 10 10 0 0 0 0 10 10 0 0 10 10 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 0 10 0 0 10 10 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 10 0 0 10 10 0 0 10 0 10 10 0 0 10 10 0 10 10 10 0 10 10 10 0 9 0 0 0 0 10 10 0 10 0 0 0 0 10 10 0 0 0 10 0 0 10 0 0 10 0 0 10 10 10 0 0 10 0 0 0 10 0 0 0 10 10 10 0 0 0 0 10 10 0 0 8 0 10 10 0 10 10 10 10 0 10 0 0 10 10 0 10 9 10 10 0 10 10 0 0 0 10 10 0 0 8 10 10 0 10 10 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 10 0 0 10 10 0 0 0 10 0 10 0 0 0 0 0 10 10 0 10 10 0 0 0 0 10 0 10 0 10 10 0 10 10 0 0 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 9 0 0 10 10 0 0 0 10 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 10 10 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 10 4 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 10 10 10 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 4 10 0 10 0 10 10 0 0 10 10 0 0 0 0 0 0 10 10 9 10 0 0 10 10 0 0 0 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 2 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 8 0 0 0 0 0 10 0 10 0 10 0 10 0 10 10 10 0 0 10 0 10 10 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 10 0 10 0 10 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 10 10 10 10 10 10 0 0 0 10 9 10 0 0 0 10 0 0 0 10 10 0 10 10 10 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 0 10 0 10 10 0 0 0 10 0 10 10 0 10 0 10 10 0 10 0 10 10 10 10 0 0 10 0 10 0 0 10 0 0 0 0 10 10 0 10 0 10 0 10 10 0 10 0 10 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 10 10 10 0 0 10 10 0 0 10 0 10 10 10 10 10 10 0 0 0 0 0 0 10 10 10 0 0 10 0 10 0 10 0 9 10 0 0 0 0 10 10 10 10 0 10 10 10 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 2 0 10 0 0 10 10 10 10 0 0 0 0 10 0 0 10 0 10 0 0 10 0 10 0 10 0 10 0 0 0 10 0 10 0 0 10 10 0 0 0 10 0 7 0 0 10 10 0 10 0 0 0 10 10 10 10 0 10 0 10 0 10 0 0 0 10 10 0 10 10 0 10 10 0 0 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 10 0 10 10 10 0 10 10 10 0 10 0 0 10 10 0 0 0 10 0 0 10 0 0 10 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 10 10 0 10 0 0 0 0 10 0 10 10 0 0 0 10 0 10 0 0 10 10 10 10 0 0 10 0 0 10 0 10 0 10 0 10 0 0 0 10 0 10 10 0 10 0 10 0 0 10 0 10 10 0 0 10 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 10 10 0 10 10 10 10 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 10 10 10 0 0 0 10 10 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 10 10 10 0 0 10 10 0 0 </values> 2520.00/2519.70 v </instantiation> 2520.00/2519.70
OK 181624473
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 (15196 MiB free)
memory of node 1: 16384 MiB (15474 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389693-1568360264/watcher-4389693-1568360264 -o /tmp/evaluation-result-4389693-1568360264/solver-4389693-1568360264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568357660-23542 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389693-1568360264.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24213, runsolver pid=24210
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 1.97 3/199 24214
/proc/meminfo: memFree=31389936/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=43380 memory=19708 CPUtime=0.09 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 5494 0 0 0 9 0 0 0 20 0 1 0 411964359 44421120 4927 33554432000 4194304 6210612 140731559079056 140731559075592 140315415713696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 10845 4927 825 493 0 4150 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 19708 KiB
[startup+0.209628 s]*
/proc/loadavg: 2.00 2.01 1.97 3/199 24214
/proc/meminfo: memFree=31385100/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=48480 memory=24800 CPUtime=0.2 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 7265 0 0 0 20 0 0 0 20 0 1 0 411964359 49643520 6200 33554432000 4194304 6210612 140731559079056 140731559075592 5283223 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 12120 6200 825 493 0 5425 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48480 KiB
Current children cumulated memory: 24800 KiB
[startup+0.309417 s]*
/proc/loadavg: 2.00 2.01 1.97 3/199 24214
/proc/meminfo: memFree=31383240/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=50380 memory=26596 CPUtime=0.31 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 9185 0 0 0 30 1 0 0 20 0 1 0 411964359 51589120 6649 33554432000 4194304 6210612 140731559079056 140731559075592 5012488 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 12595 6649 825 493 0 5900 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50380 KiB
Current children cumulated memory: 26596 KiB
[startup+0.700346 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24214
/proc/meminfo: memFree=31377660/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=78296 memory=54372 CPUtime=0.69 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 17702 0 0 0 67 2 0 0 20 0 1 0 411964359 80175104 13593 33554432000 4194304 6210612 140731559079056 140731559073352 5446744 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 19574 13593 833 493 0 12879 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78296 KiB
Current children cumulated memory: 54372 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24214
/proc/meminfo: memFree=31334260/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=120544 memory=96704 CPUtime=1.49 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 29566 0 0 0 145 4 0 0 20 0 1 0 411964359 123437056 24176 33554432000 4194304 6210612 140731559079056 140731559073352 5743206 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 30136 24176 838 493 0 23441 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 120544 KiB
Current children cumulated memory: 96704 KiB
[startup+3.1094 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24214
/proc/meminfo: memFree=31299664/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=135904 memory=111216 CPUtime=3.09 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 34066 0 0 0 305 4 0 0 20 0 1 0 411964359 139165696 27804 33554432000 4194304 6210612 140731559079056 140731559073352 140315415664182 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 33976 27804 838 493 0 27281 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 135904 KiB
Current children cumulated memory: 111216 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 1.98 3/199 24214
/proc/meminfo: memFree=31271748/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=166088 memory=139864 CPUtime=6.29 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 42670 0 0 0 624 5 0 0 20 0 1 0 411964359 170074112 34966 33554432000 4194304 6210612 140731559079056 140731559076328 5813996 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 41522 34966 838 493 0 34827 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 166088 KiB
Current children cumulated memory: 139864 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 1.98 3/199 24275
/proc/meminfo: memFree=30684408/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=226544 memory=197284 CPUtime=12.69 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 58739 0 0 0 1261 8 0 0 20 0 1 0 411964359 231981056 49321 33554432000 4194304 6210612 140731559079056 140731559076328 140315431728256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 56636 49321 838 493 0 49941 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 226544 KiB
Current children cumulated memory: 197284 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 2.05 1.98 3/199 24276
/proc/meminfo: memFree=30460316/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=347496 memory=312084 CPUtime=25.49 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 90726 0 0 0 2536 13 0 0 20 0 1 0 411964359 355835904 78021 33554432000 4194304 6210612 140731559079056 140731559076328 140315431728256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 86874 78021 838 493 0 80179 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 347496 KiB
Current children cumulated memory: 312084 KiB
[startup+51.1093 s]
/proc/loadavg: 2.08 2.04 1.98 3/199 24278
/proc/meminfo: memFree=30019664/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=504056 memory=465060 CPUtime=51.11 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 273083 0 0 0 5086 25 0 0 20 0 1 0 411964359 516153344 116265 33554432000 4194304 6210612 140731559079056 140731559076536 5451322 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 126014 116265 882 493 0 119319 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 504056 KiB
Current children cumulated memory: 465060 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/199 24282
/proc/meminfo: memFree=29454288/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=511104 memory=472088 CPUtime=102.29 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 365299 0 0 0 10198 31 0 0 20 0 1 0 411964359 523370496 118022 33554432000 4194304 6210612 140731559079056 140731559076264 140315415734827 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 127776 118022 882 493 0 121081 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 511104 KiB
Current children cumulated memory: 472088 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/199 24286
/proc/meminfo: memFree=28805484/32770624 swapFree=66918148/67108860
[pid=24213] ppid=24210 vsize=519932 memory=484620 CPUtime=162.29 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 440995 0 0 0 16193 36 0 0 20 0 1 0 411964359 532410368 121155 33554432000 4194304 6210612 140731559079056 140731559076376 140315424998560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 129983 121155 882 493 0 123288 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 519932 KiB
Current children cumulated memory: 484620 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/200 24300
/proc/meminfo: memFree=27902452/32770624 swapFree=66918156/67108860
[pid=24213] ppid=24210 vsize=529648 memory=499224 CPUtime=222.31 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 481058 0 0 0 22192 39 0 0 20 0 1 0 411964359 542359552 124806 33554432000 4194304 6210612 140731559079056 140731559076264 5451256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 132412 124806 882 493 0 125717 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 529648 KiB
Current children cumulated memory: 499224 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 24304
/proc/meminfo: memFree=27877176/32770624 swapFree=66918156/67108860
[pid=24213] ppid=24210 vsize=534896 memory=509180 CPUtime=282.3 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 515206 0 0 0 28189 41 0 0 20 0 1 0 411964359 547733504 127295 33554432000 4194304 6210612 140731559079056 140731559076456 140315416589392 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 133724 127295 882 493 0 127029 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 534896 KiB
Current children cumulated memory: 509180 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 24308
/proc/meminfo: memFree=27861760/32770624 swapFree=66918156/67108860
[pid=24213] ppid=24210 vsize=540024 memory=514528 CPUtime=342.31 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 521935 0 0 0 34189 42 0 0 20 0 1 0 411964359 552984576 128632 33554432000 4194304 6210612 140731559079056 140731559076376 5476414 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 135006 128632 882 493 0 128311 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 540024 KiB
Current children cumulated memory: 514528 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 24314
/proc/meminfo: memFree=27838664/32770624 swapFree=66918156/67108860
[pid=24213] ppid=24210 vsize=546048 memory=522184 CPUtime=402.31 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 525198 0 0 0 40189 42 0 0 20 0 1 0 411964359 559153152 130546 33554432000 4194304 6210612 140731559079056 140731559076264 5440952 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 136512 130546 882 493 0 129817 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 546048 KiB
Current children cumulated memory: 522184 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 24318
/proc/meminfo: memFree=27809124/32770624 swapFree=66918156/67108860
[pid=24213] ppid=24210 vsize=548584 memory=524512 CPUtime=462.32 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 526263 0 0 0 46190 42 0 0 20 0 1 0 411964359 561750016 131128 33554432000 4194304 6210612 140731559079056 140731559076456 5440460 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 137146 131128 882 493 0 130451 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 548584 KiB
Current children cumulated memory: 524512 KiB
################
# More data... #
################
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 1782.49 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/199 24467
/proc/meminfo: memFree=27475320/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=1842.5 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 562786 0 0 0 184204 46 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5476373 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 1842.5 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 24471
/proc/meminfo: memFree=27475404/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=1902.51 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 564485 0 0 0 190205 46 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5452063 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 1902.51 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 24475
/proc/meminfo: memFree=27475476/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=1962.52 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 564987 0 0 0 196206 46 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5009259 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 1962.52 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24489
/proc/meminfo: memFree=27475032/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2022.52 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 566643 0 0 0 202206 46 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5476395 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2022.52 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24493
/proc/meminfo: memFree=27474880/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2082.53 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 567214 0 0 0 208207 46 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 140315416591780 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24497
/proc/meminfo: memFree=27469956/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2142.54 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 567745 0 0 0 214208 46 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5446767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2142.54 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24503
/proc/meminfo: memFree=27462708/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2202.55 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 569680 0 0 0 220209 46 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5446078 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24507
/proc/meminfo: memFree=27463040/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2262.56 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 571626 0 0 0 226209 47 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5454016 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2262.56 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 24511
/proc/meminfo: memFree=27462948/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2322.57 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 571851 0 0 0 232210 47 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5440495 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2322.57 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24518
/proc/meminfo: memFree=27462776/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2382.57 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 573708 0 0 0 238210 47 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5479531 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2382.57 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24522
/proc/meminfo: memFree=27463168/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2442.58 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 574308 0 0 0 244211 47 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5446110 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2442.58 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24526
/proc/meminfo: memFree=27463292/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2502.59 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 575831 0 0 0 250211 48 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5442750 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2502.59 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24528
/proc/meminfo: memFree=27463220/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2520 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 576063 0 0 0 251952 48 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5440460 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.7 s]
# the end of solver process 24213 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.52 s, system=0.483062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24528
/proc/meminfo: memFree=27463220/32770624 swapFree=66918212/67108860
[pid=24213] ppid=24210 vsize=561636 memory=536220 CPUtime=2520 cores=1,3,5,7
/proc/24213/stat : 24213 (cosoco) R 24210 24213 21964 0 -1 4202496 576063 0 0 0 251952 48 0 0 20 0 1 0 411964359 575115264 134055 33554432000 4194304 6210612 140731559079056 140731559066936 5440460 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36278272 140731559080971 140731559081073 140731559081073 140731559083982 0
/proc/24213/statm: 140409 134055 882 493 0 133714 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 536220 KiB
Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.01
CPU user time (s): 2519.52
CPU system time (s): 0.483062
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 561636
Max. memory (cumulated for all children) (KiB): 536220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.52
system time used= 0.483062
maximum resident set size= 536284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 576110
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= 63
involuntary context switches= 930
# summary of solver processes directly reported to runsolver:
# pid: 24213
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.52
# total CPU system time (s): 0.483062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.43936 second user time and 16.9849 second system time
The end
Begin job on node141 at 2019-09-13 09:37:03 IDJOB=4389693 IDBENCH=141276 IDSOLVER=2829 FILE ID=node141/4389693-1568360264 RUNJOBID= node141-1568357660-23542 PBS_JOBID= 21701171 Free space on /tmp= 56040 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389693-1568360264/watcher-4389693-1568360264 -o /tmp/evaluation-result-4389693-1568360264/solver-4389693-1568360264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568357660-23542 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389693-1568360264.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=758065714 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 31406712 kB MemAvailable: 31710820 kB Buffers: 140572 kB Cached: 451972 kB SwapCached: 81312 kB Active: 437616 kB Inactive: 372584 kB Active(anon): 142676 kB Inactive(anon): 106240 kB Active(file): 294940 kB Inactive(file): 266344 kB Unevictable: 109200 kB Mlocked: 109200 kB SwapTotal: 67108860 kB SwapFree: 66918148 kB Dirty: 74112 kB Writeback: 0 kB AnonPages: 188608 kB Mapped: 36308 kB Shmem: 22196 kB Slab: 146776 kB SReclaimable: 117316 kB SUnreclaim: 29460 kB KernelStack: 3568 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 660780 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 141312 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 55464 MiB End job on node141 at 2019-09-13 10:19:03