Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 181624473 | 2400.06 | 2400.2 |
| 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 | 57.3117 |
| 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-4408913-1569814625.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.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 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.08 c intension -> extension : same as previous 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 -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 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.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension eq(dist(f[152],f[320]),40) -> extension (support ? 1) - 34tuples 0.10/0.11 c intension eq(dist(f[253],f[301]),40) -> extension (support ? 1) - 222tuples 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension eq(dist(f[108],f[191]),40) -> extension (support ? 1) - 34tuples 0.10/0.13 c intension eq(dist(f[43],f[464]),40) -> extension (support ? 1) - 222tuples 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension eq(dist(f[242],f[314]),40) -> extension (support ? 1) - 34tuples 0.10/0.14 c intension eq(dist(f[179],f[261]),40) -> extension (support ? 1) - 222tuples 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension eq(dist(f[188],f[262]),40) -> extension (support ? 1) - 34tuples 0.10/0.16 c intension eq(dist(f[330],f[429]),40) -> extension (support ? 1) - 222tuples 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension eq(dist(f[307],f[426]),40) -> extension (support ? 1) - 34tuples 0.10/0.16 c intension eq(dist(f[272],f[455]),40) -> extension (support ? 1) - 222tuples 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension eq(dist(f[13],f[62]),40) -> extension (support ? 1) - 34tuples 0.10/0.19 c intension eq(dist(f[117],f[474]),40) -> extension (support ? 1) - 222tuples 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension eq(dist(f[126],f[483]),40) -> extension (support ? 1) - 34tuples 0.10/0.20 c intension eq(dist(f[195],f[8]),40) -> extension (support ? 1) - 222tuples 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension eq(dist(f[113],f[401]),40) -> extension (support ? 1) - 22tuples 0.10/0.21 c intension eq(dist(f[143],f[53]),40) -> extension (support ? 1) - 222tuples 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/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.23 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.27 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.29 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.30/0.32 c intension ne(dist(f[127],f[72]),78) -> extension (support ? 0) - 0tuples 0.30/0.32 c intension ne(dist(f[40],f[57]),18) -> extension (support ? 0) - 0tuples 0.30/0.33 c intension ne(dist(f[118],f[209]),75) -> extension (support ? 0) - 0tuples 0.30/0.33 c intension ne(dist(f[251],f[90]),13) -> extension (support ? 0) - 0tuples 0.30/0.34 c intension ne(dist(f[154],f[85]),17) -> extension (support ? 0) - 0tuples 0.30/0.35 c intension ne(dist(f[413],f[52]),226) -> extension (support ? 0) - 0tuples 0.30/0.36 c intension ne(dist(f[192],f[268]),20) -> extension (support ? 0) - 232tuples 0.30/0.36 c intension ne(dist(f[116],f[402]),48) -> extension (support ? 0) - 54tuples 0.30/0.36 c intension ne(dist(f[174],f[316]),54) -> extension (support ? 0) - 0tuples 0.30/0.37 c intension ne(dist(f[104],f[300]),129) -> extension (support ? 0) - 0tuples 0.30/0.38 c intension ne(dist(f[444],f[499]),47) -> extension (support ? 0) - 0tuples 0.30/0.38 c intension ne(dist(f[231],f[407]),8) -> extension (support ? 0) - 238tuples 0.30/0.39 c intension ne(dist(f[360],f[50]),2) -> extension (support ? 0) - 0tuples 0.30/0.40 c intension ne(dist(f[219],f[436]),27) -> extension (support ? 0) - 0tuples 0.30/0.40 c intension ne(dist(f[484],f[68]),31) -> extension (support ? 0) - 0tuples 0.30/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.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c AllEqual constraint using 1 generic x=y constraints 0.68/11.26 c intension eq(dist(f[13],f[383]),d[60]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[13],f[461]),d[62]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[105],f[307]),d[475]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[105],f[465]),d[476]) -> extension (support ? 1) - 567tuples 0.68/11.26 c intension eq(dist(f[108],f[211]),d[486]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[108],f[307]),d[488]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[108],f[314]),d[489]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[113],f[168]),d[508]) -> extension (support ? 1) - 441tuples 0.68/11.26 c intension eq(dist(f[113],f[188]),d[509]) -> extension (support ? 1) - 567tuples 0.68/11.26 c intension eq(dist(f[113],f[211]),d[510]) -> extension (support ? 1) - 567tuples 0.68/11.26 c intension eq(dist(f[113],f[264]),d[511]) -> extension (support ? 1) - 441tuples 0.68/11.26 c intension eq(dist(f[126],f[211]),d[565]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension -> extension : same as previous 0.68/11.26 c intension eq(dist(f[126],f[307]),d[567]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[126],f[401]),d[568]) -> extension (support ? 1) - 567tuples 0.68/11.26 c intension eq(dist(f[168],f[264]),d[715]) -> extension (support ? 1) - 441tuples 0.68/11.26 c intension eq(dist(f[224],f[320]),d[894]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[245],f[262]),d[949]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[245],f[426]),d[951]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[262],f[426]),d[998]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[314],f[383]),d[1109]) -> extension (support ? 1) - 729tuples 0.68/11.26 c intension eq(dist(f[320],f[461]),d[1117]) -> extension (support ? 1) - 729tuples 606.41/606.58 c enable optimization 606.41/606.58 c ========================================[ Problem Statistics ]=========================================== 606.41/606.58 c | 606.41/606.58 c | Parse time : 29.71 s 606.41/606.58 c | 606.41/606.58 c | Variables: 4790 606.41/606.58 c | Domain Sizes: 1..121 606.41/606.58 c | 606.41/606.58 c | Constraints: 2853 606.41/606.58 c | Arity: 2..2527 -- Binary: 326 -- Ternary: 1263 606.41/606.58 c | 606.41/606.58 c | Types: 606.41/606.58 c | (X != Y): 17 606.41/606.58 c | (X = Y): 29 606.41/606.58 c | Extension: 1565 (nb tuples: 0..5776) -- (shared: 222) 606.41/606.58 c | Intension: 1241 606.41/606.58 c | Sum: 1 606.41/606.58 c | 606.41/606.58 c | Objective: Minimize Sum 606.41/606.58 606.41/606.58 c ========================================================================================================= 606.41/606.58 o 181662380 606.41/606.59 c 1 calls to solver(id=0): best=181662380 lower=0 upper=181662379 727.10/727.30 o 181662376 795.50/795.61 o 181649735 795.50/795.61 c 3 calls to solver(id=0): best=181649735 lower=0 upper=181649734 799.40/799.53 o 181649734 869.59/869.72 o 181637104 869.59/869.72 c 5 calls to solver(id=0): best=181637104 lower=0 upper=181637103 1015.09/1015.26 o 181637102 1159.28/1159.45 o 181637097 1159.28/1159.45 c 7 calls to solver(id=0): best=181637097 lower=0 upper=181637096 1346.78/1346.93 o 181637094 1558.58/1558.72 o 181624473 1558.58/1558.72 c 9 calls to solver(id=0): best=181624473 lower=0 upper=181624472 2400.04/2400.20 2400.04/2400.20 c *** INTERRUPTED *** 2400.04/2400.20 c call to solver : 9 2400.04/2400.20 c 2400.04/2400.20 c restarts : 378 2400.04/2400.20 c conflicts : 174623 (73 /sec) 2400.04/2400.20 c decisions : 1348321 (562 /sec) 2400.04/2400.20 c propagations : 103760810 (43246 /sec) 2400.04/2400.20 c root propagations : 10735 2400.04/2400.20 c filter calls : 13720342 (5718 /sec) 2400.04/2400.20 c useless filter calls : 9068568 (66 %) 2400.04/2400.20 c Memory used : 548.48 MB 2400.04/2400.20 c Best bound time (wc) : 1558.72 s 2400.04/2400.20 c CPU time : 2399.33 s 2400.04/2400.20 c real time : 2400.2 s 2400.04/2400.20 2400.04/2400.20 c nb Solutions = 9 2400.04/2400.20 s SATISFIABLE 2400.04/2400.20 c Best value found: 181624473 2400.04/2400.20 2400.04/2400.20 2400.04/2400.20 v <instantiation type='solution' cost='181624473'> 2400.04/2400.20 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> 2400.04/2400.20 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> 2400.04/2400.20 v </instantiation> 2400.04/2400.20
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 (13780 MiB free)
memory of node 1: 16384 MiB (15498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408913-1569814625/watcher-4408913-1569814625 -o /tmp/evaluation-result-4408913-1569814625/solver-4408913-1569814625 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1569787356-4539 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408913-1569814625.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=9914, runsolver pid=9911
[startup+0.100158 s]*
/proc/loadavg: 2.13 2.14 2.10 3/200 9915
/proc/meminfo: memFree=29965836/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=43512 memory=19716 CPUtime=0.1 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 5521 0 0 0 10 0 0 0 20 0 1 0 557701157 44556288 4929 33554432000 4194304 6211132 140734384025456 140734384021992 139654948202400 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 10878 4929 826 493 0 4183 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43512 KiB
Current children cumulated memory: 19716 KiB
[startup+0.209864 s]*
/proc/loadavg: 2.13 2.14 2.10 5/200 9915
/proc/meminfo: memFree=29960688/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=48616 memory=25072 CPUtime=0.2 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 7300 0 0 0 20 0 0 0 20 0 1 0 557701157 49782784 6202 33554432000 4194304 6211132 140734384025456 140734384019944 5012856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 12154 6202 826 493 0 5459 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48616 KiB
Current children cumulated memory: 25072 KiB
[startup+0.309671 s]*
/proc/loadavg: 2.13 2.14 2.10 3/200 9915
/proc/meminfo: memFree=29958896/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=50380 memory=26604 CPUtime=0.3 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 9192 0 0 0 30 0 0 0 20 0 1 0 557701157 51589120 6651 33554432000 4194304 6211132 140734384025456 140734384019944 5012856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 12595 6651 826 493 0 5900 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50380 KiB
Current children cumulated memory: 26604 KiB
[startup+0.70034 s]
/proc/loadavg: 2.13 2.14 2.10 3/200 9915
/proc/meminfo: memFree=29953316/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=78296 memory=54384 CPUtime=0.68 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 17704 0 0 0 67 1 0 0 20 0 1 0 557701157 80175104 13596 33554432000 4194304 6211132 140734384025456 140734384020392 139654949080517 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 19574 13596 835 493 0 12879 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78296 KiB
Current children cumulated memory: 54384 KiB
[startup+11.368 s]
/proc/loadavg: 2.13 2.14 2.10 3/200 9915
/proc/meminfo: memFree=29953316/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=213480 memory=184680 CPUtime=11.36 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 55411 0 0 0 1129 7 0 0 20 0 1 0 557701157 218603520 46170 33554432000 4194304 6211132 140734384025456 140734384022728 5743398 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 53370 46170 840 493 0 46675 0
Current children cumulated CPU time: 11.36 s
Current children cumulated vsize: 213480 KiB
Current children cumulated memory: 184680 KiB
[startup+11.4004 s]
/proc/loadavg: 2.13 2.14 2.10 3/200 9915
/proc/meminfo: memFree=29953316/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=213804 memory=185160 CPUtime=11.39 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 55515 0 0 0 1132 7 0 0 20 0 1 0 557701157 218935296 46290 33554432000 4194304 6211132 140734384025456 140734384022728 5483342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 53451 46290 840 493 0 46756 0
Current children cumulated CPU time: 11.39 s
Current children cumulated vsize: 213804 KiB
Current children cumulated memory: 185160 KiB
[startup+11.5003 s]*
/proc/loadavg: 3.03 2.33 2.17 3/200 9915
/proc/meminfo: memFree=29788452/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=214660 memory=185940 CPUtime=11.5 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 55745 0 0 0 1143 7 0 0 20 0 1 0 557701157 219811840 46485 33554432000 4194304 6211132 140734384025456 140734384022728 139654964216960 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 53665 46485 840 493 0 46970 0
Current children cumulated CPU time: 11.5 s
Current children cumulated vsize: 214660 KiB
Current children cumulated memory: 185940 KiB
[startup+12.7003 s]
/proc/loadavg: 3.03 2.33 2.17 3/200 9915
/proc/meminfo: memFree=29774840/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=225816 memory=196748 CPUtime=12.69 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 58582 0 0 0 1262 7 0 0 20 0 1 0 557701157 231235584 49135 33554432000 4194304 6211132 140734384025456 140734384022728 139654948152131 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 56454 49135 840 493 0 49759 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 225816 KiB
Current children cumulated memory: 196748 KiB
[startup+25.5003 s]*
/proc/loadavg: 3.01 2.37 2.18 3/199 9918
/proc/meminfo: memFree=30871188/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=346484 memory=311392 CPUtime=25.49 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 90485 0 0 0 2537 12 0 0 20 0 1 0 557701157 354799616 77848 33554432000 4194304 6211132 140734384025456 140734384022728 5818445 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 86621 77848 840 493 0 79926 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 346484 KiB
Current children cumulated memory: 311392 KiB
[startup+51.1003 s]
/proc/loadavg: 2.66 2.34 2.18 3/199 9921
/proc/meminfo: memFree=30717744/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=504056 memory=465140 CPUtime=51.08 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 272404 0 0 0 5084 24 0 0 20 0 1 0 557701157 516153344 116285 33554432000 4194304 6211132 140734384025456 140734384022776 5453958 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 126014 116285 885 493 0 119319 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 504056 KiB
Current children cumulated memory: 465140 KiB
[startup+102.3 s]
/proc/loadavg: 2.29 2.28 2.17 3/199 9925
/proc/meminfo: memFree=30709616/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=511508 memory=472324 CPUtime=102.27 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 371523 0 0 0 10198 29 0 0 20 0 1 0 557701157 523784192 118081 33554432000 4194304 6211132 140734384025456 140734384022856 139654948164745 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 127877 118081 885 493 0 121182 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 511508 KiB
Current children cumulated memory: 472324 KiB
[startup+162.3 s]
/proc/loadavg: 2.11 2.23 2.15 3/199 9929
/proc/meminfo: memFree=30701332/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=519932 memory=480628 CPUtime=162.26 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 472209 0 0 0 16192 34 0 0 20 0 1 0 557701157 532410368 120157 33554432000 4194304 6211132 140734384025456 140734384022776 5446681 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 129983 120157 885 493 0 123288 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 519932 KiB
Current children cumulated memory: 480628 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.19 2.14 3/199 9942
/proc/meminfo: memFree=30690988/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=529648 memory=490404 CPUtime=222.25 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 564380 0 0 0 22185 40 0 0 20 0 1 0 557701157 542359552 122601 33554432000 4194304 6211132 140734384025456 140734384022664 139654949078339 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 132412 122601 885 493 0 125717 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 529648 KiB
Current children cumulated memory: 490404 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.16 2.13 3/199 9946
/proc/meminfo: memFree=30685120/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=534896 memory=495664 CPUtime=282.24 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 674353 0 0 0 28178 46 0 0 20 0 1 0 557701157 547733504 123916 33554432000 4194304 6211132 140734384025456 140734384022856 5443128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 133724 123916 885 493 0 127029 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 534896 KiB
Current children cumulated memory: 495664 KiB
[startup+342.3 s]
/proc/loadavg: 1.93 2.11 2.12 3/199 9950
/proc/meminfo: memFree=30680440/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=540024 memory=500888 CPUtime=342.22 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 778799 0 0 0 34171 51 0 0 20 0 1 0 557701157 552984576 125222 33554432000 4194304 6211132 140734384025456 140734384022776 5443104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 135006 125222 885 493 0 128311 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 540024 KiB
Current children cumulated memory: 500888 KiB
[startup+402.3 s]
/proc/loadavg: 1.97 2.09 2.12 3/199 9956
/proc/meminfo: memFree=30669224/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=545908 memory=506624 CPUtime=402.22 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 881643 0 0 0 40165 57 0 0 20 0 1 0 557701157 559009792 126656 33554432000 4194304 6211132 140734384025456 140734384022664 5009586 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 136477 126656 885 493 0 129782 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 545908 KiB
Current children cumulated memory: 506624 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.07 2.11 3/199 9960
/proc/meminfo: memFree=30666496/32770624 swapFree=66943300/67108860
[pid=9914] ppid=9911 vsize=548584 memory=510388 CPUtime=462.21 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 935228 0 0 0 46162 59 0 0 20 0 1 0 557701157 561750016 127597 33554432000 4194304 6211132 140734384025456 140734384022856 5072397 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 137146 127597 885 493 0 130451 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 548584 KiB
Current children cumulated memory: 510388 KiB
################
# More data... #
################
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 1662.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10097
/proc/meminfo: memFree=30637420/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=1722.17 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1101951 0 0 0 172147 70 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5446307 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10101
/proc/meminfo: memFree=30637556/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=1782.16 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1102392 0 0 0 178146 70 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5443038 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10107
/proc/meminfo: memFree=30637620/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=1842.16 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1103218 0 0 0 184146 70 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5446258 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10111
/proc/meminfo: memFree=30637272/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=1902.17 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1103691 0 0 0 190146 71 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5440656 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10114
/proc/meminfo: memFree=30637388/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=1962.17 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1104187 0 0 0 196146 71 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5451650 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10127
/proc/meminfo: memFree=30636680/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=2022.17 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1104952 0 0 0 202146 71 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5440652 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 10131
/proc/meminfo: memFree=30636276/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=2082.16 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1105331 0 0 0 208145 71 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5451553 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10135
/proc/meminfo: memFree=30637048/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=2142.16 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1105704 0 0 0 214145 71 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5453936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 10141
/proc/meminfo: memFree=30637256/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=2202.16 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1106682 0 0 0 220145 71 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 139654949078336 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+2262.3 s]
/proc/loadavg: 1.56 1.90 2.01 2/192 10191
/proc/meminfo: memFree=31303656/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=2262.15 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1107468 0 0 0 226143 72 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5068981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+2322.3 s]
/proc/loadavg: 1.21 1.74 1.94 2/192 10195
/proc/meminfo: memFree=31304012/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=2322.15 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1107917 0 0 0 232143 72 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 5451650 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
[startup+2382.3 s]
/proc/loadavg: 1.08 1.60 1.89 2/192 10201
/proc/meminfo: memFree=31304804/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=537764 CPUtime=2382.14 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1108715 0 0 0 238142 72 0 0 20 0 1 0 557701157 575115264 134441 33554432000 4194304 6211132 140734384025456 140734384013336 139654949078358 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134441 885 493 0 133714 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 1.05 1.56 1.87 2/192 10202
/proc/meminfo: memFree=31304496/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=538004 CPUtime=2400.04 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1108922 0 0 0 239932 72 0 0 20 0 1 0 557701157 575115264 134501 33554432000 4194304 6211132 140734384025456 140734384013336 5451580 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134501 885 493 0 133714 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 9914 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.33 s, system=0.729965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.2 s]
/proc/loadavg: 1.05 1.56 1.87 2/192 10202
/proc/meminfo: memFree=31304496/32770624 swapFree=66943308/67108860
[pid=9914] ppid=9911 vsize=561636 memory=538004 CPUtime=2400.04 cores=1,3,5,7
/proc/9914/stat : 9914 (cosoco) R 9911 9914 4507 0 -1 4202496 1108922 0 0 0 239932 72 0 0 20 0 1 0 557701157 575115264 134501 33554432000 4194304 6211132 140734384025456 140734384013336 5451580 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31031296 140734384030731 140734384030833 140734384030833 140734384033742 0
/proc/9914/statm: 140409 134501 885 493 0 133714 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538004 KiB
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.06
CPU user time (s): 2399.33
CPU system time (s): 0.729965
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 561636
Max. memory (cumulated for all children) (KiB): 538004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.33
system time used= 0.729965
maximum resident set size= 538064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1108968
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= 3234
# summary of solver processes directly reported to runsolver:
# pid: 9914
# total CPU time (s): 2400.06
# total CPU user time (s): 2399.33
# total CPU system time (s): 0.729965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87778 second user time and 16.4456 second system time
The end
Begin job on node149 at 2019-09-30 05:36:27 IDJOB=4408913 IDBENCH=141276 IDSOLVER=2876 FILE ID=node149/4408913-1569814625 RUNJOBID= node149-1569787356-4539 PBS_JOBID= 21705816 Free space on /tmp= 61384 MiB SOLVER NAME= cosoco 2.0 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-4408913-1569814625/watcher-4408913-1569814625 -o /tmp/evaluation-result-4408913-1569814625/solver-4408913-1569814625 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1569787356-4539 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408913-1569814625.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=509325254 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 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: 29982192 kB MemAvailable: 31266884 kB Buffers: 113588 kB Cached: 1448572 kB SwapCached: 5492 kB Active: 873108 kB Inactive: 1349396 kB Active(anon): 666148 kB Inactive(anon): 20716 kB Active(file): 206960 kB Inactive(file): 1328680 kB Unevictable: 109488 kB Mlocked: 109488 kB SwapTotal: 67108860 kB SwapFree: 66943300 kB Dirty: 1066668 kB Writeback: 79064 kB AnonPages: 766616 kB Mapped: 29684 kB Shmem: 17884 kB Slab: 159340 kB SReclaimable: 129776 kB SUnreclaim: 29564 kB KernelStack: 3488 kB PageTables: 6876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1231140 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61960 MiB End job on node149 at 2019-09-30 06:16:27