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.3 |
| 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-4397653-1568592815.xml 0.00/0.07 c intension eq(dist(f[44],f[63]),40) -> extension (support ? 1) - 222tuples 0.00/0.07 c intension eq(dist(f[245],f[259]),40) -> extension (support ? 1) - 34tuples 0.00/0.07 c intension eq(dist(f[171],f[366]),40) -> extension (support ? 1) - 222tuples 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension eq(dist(f[168],f[394]),40) -> extension (support ? 1) - 22tuples 0.00/0.08 c intension eq(dist(f[189],f[377]),40) -> extension (support ? 1) - 222tuples 0.00/0.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.11 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.12 c intension eq(dist(f[253],f[301]),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 -> 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 -> 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 -> 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 -> 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 -> 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 -> 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 -> 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 -> 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 -> 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 -> 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[108],f[191]),40) -> extension (support ? 1) - 34tuples 0.10/0.14 c intension eq(dist(f[43],f[464]),40) -> extension (support ? 1) - 222tuples 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 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.17 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.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[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.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[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.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension eq(dist(f[224],f[58]),40) -> extension (support ? 1) - 34tuples 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension eq(dist(f[38],f[47]),40) -> extension (support ? 1) - 222tuples 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension eq(dist(f[105],f[211]),40) -> extension (support ? 1) - 34tuples 0.20/0.24 c intension eq(dist(f[183],f[454]),40) -> extension (support ? 1) - 222tuples 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 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.26 c intension ne(dist(f[327],f[355]),9) -> extension (support ? 0) - 0tuples 0.20/0.27 c intension ne(dist(f[144],f[290]),66) -> extension (support ? 0) - 0tuples 0.20/0.27 c intension ne(dist(f[138],f[283]),73) -> extension (support ? 0) - 0tuples 0.20/0.28 c intension ne(dist(f[377],f[476]),53) -> extension (support ? 0) - 0tuples 0.20/0.29 c intension ne(dist(f[312],f[374]),3) -> extension (support ? 0) - 0tuples 0.20/0.29 c intension ne(dist(f[194],f[70]),200) -> extension (support ? 0) - 142tuples 0.20/0.30 c intension ne(dist(f[203],f[294]),21) -> extension (support ? 0) - 0tuples 0.20/0.31 c intension ne(dist(f[233],f[422]),27) -> extension (support ? 0) - 0tuples 0.30/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.33 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.34 c intension ne(dist(f[251],f[90]),13) -> extension (support ? 0) - 0tuples 0.30/0.35 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.37 c intension ne(dist(f[174],f[316]),54) -> extension (support ? 0) - 0tuples 0.30/0.38 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.39 c intension ne(dist(f[231],f[407]),8) -> extension (support ? 0) - 238tuples 0.30/0.40 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.41 c intension ne(dist(f[484],f[68]),31) -> extension (support ? 0) - 0tuples 0.40/0.42 c intension ne(dist(f[443],f[80]),203) -> extension (support ? 0) - 0tuples 0.40/0.43 c intension ne(dist(f[106],f[238]),73) -> extension (support ? 0) - 0tuples 0.40/0.43 c intension ne(dist(f[102],f[243]),320) -> extension (support ? 0) - 82tuples 0.40/0.44 c intension ne(dist(f[112],f[281]),226) -> extension (support ? 0) - 0tuples 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.44 c AllEqual constraint using 1 generic x=y constraints 0.40/0.50 c intension eq(dist(f[13],f[383]),d[60]) -> extension (support ? 1) - 729tuples 0.50/0.52 c intension eq(dist(f[13],f[461]),d[62]) -> extension (support ? 1) - 729tuples 0.60/0.67 c intension eq(dist(f[105],f[307]),d[475]) -> extension (support ? 1) - 729tuples 0.60/0.69 c intension eq(dist(f[105],f[465]),d[476]) -> extension (support ? 1) - 567tuples 0.69/0.71 c intension eq(dist(f[108],f[211]),d[486]) -> extension (support ? 1) - 729tuples 0.69/0.74 c intension eq(dist(f[108],f[307]),d[488]) -> extension (support ? 1) - 729tuples 0.69/0.75 c intension eq(dist(f[108],f[314]),d[489]) -> extension (support ? 1) - 729tuples 0.69/0.76 c intension eq(dist(f[113],f[168]),d[508]) -> extension (support ? 1) - 441tuples 0.69/0.78 c intension eq(dist(f[113],f[188]),d[509]) -> extension (support ? 1) - 567tuples 0.79/0.80 c intension eq(dist(f[113],f[211]),d[510]) -> extension (support ? 1) - 567tuples 0.79/0.81 c intension eq(dist(f[113],f[264]),d[511]) -> extension (support ? 1) - 441tuples 0.79/0.84 c intension eq(dist(f[126],f[211]),d[565]) -> extension (support ? 1) - 729tuples 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension eq(dist(f[126],f[307]),d[567]) -> extension (support ? 1) - 729tuples 0.79/0.88 c intension eq(dist(f[126],f[401]),d[568]) -> extension (support ? 1) - 567tuples 0.88/0.94 c intension eq(dist(f[168],f[264]),d[715]) -> extension (support ? 1) - 441tuples 0.99/1.01 c intension eq(dist(f[224],f[320]),d[894]) -> extension (support ? 1) - 729tuples 0.99/1.04 c intension eq(dist(f[245],f[262]),d[949]) -> extension (support ? 1) - 729tuples 0.99/1.06 c intension eq(dist(f[245],f[426]),d[951]) -> extension (support ? 1) - 729tuples 0.99/1.09 c intension eq(dist(f[262],f[426]),d[998]) -> extension (support ? 1) - 729tuples 1.09/1.14 c intension eq(dist(f[314],f[383]),d[1109]) -> extension (support ? 1) - 729tuples 1.09/1.15 c intension eq(dist(f[320],f[461]),d[1117]) -> extension (support ? 1) - 729tuples 594.16/594.37 c enable optimization 594.16/594.37 c ========================================[ Problem Statistics ]=========================================== 594.16/594.37 c | 594.16/594.37 c | Parse time : 29.77 s 594.16/594.37 c | 594.16/594.37 c | Variables: 4790 594.16/594.37 c | Domain Sizes: 1..121 594.16/594.37 c | 594.16/594.37 c | Constraints: 2853 594.16/594.37 c | Arity: 2..2527 -- Binary: 326 -- Ternary: 1263 594.16/594.37 c | 594.16/594.37 c | Types: 594.16/594.37 c | (X != Y): 17 594.16/594.37 c | (X = Y): 29 594.16/594.37 c | Extension: 1565 (nb tuples: 0..5776) -- (shared: 222) 594.16/594.37 c | Intension: 1241 594.16/594.37 c | Sum: 1 594.16/594.37 c | 594.16/594.37 c | Objective: Minimize Sum 594.16/594.37 594.16/594.37 c ========================================================================================================= 594.16/594.37 o 181662380 594.16/594.37 c 1 calls to solver(id=0): best=181662380 lower=0 upper=181662379 713.97/714.16 o 181662376 782.25/782.45 o 181649735 782.25/782.45 c 3 calls to solver(id=0): best=181649735 lower=0 upper=181649734 786.15/786.37 o 181649734 856.35/856.51 o 181637104 856.35/856.51 c 5 calls to solver(id=0): best=181637104 lower=0 upper=181637103 1001.85/1002.02 o 181637102 1145.94/1146.15 o 181637097 1145.94/1146.15 c 7 calls to solver(id=0): best=181637097 lower=0 upper=181637096 1333.51/1333.75 o 181637094 1545.70/1545.99 o 181624473 1545.70/1546.00 c 9 calls to solver(id=0): best=181624473 lower=0 upper=181624472 2400.05/2400.30 2400.05/2400.30 c *** INTERRUPTED *** 2400.05/2400.30 c call to solver : 9 2400.05/2400.30 c 2400.05/2400.30 c restarts : 378 2400.05/2400.30 c conflicts : 175939 (73 /sec) 2400.05/2400.30 c decisions : 1349696 (562 /sec) 2400.05/2400.30 c propagations : 104209239 (43428 /sec) 2400.05/2400.30 c root propagations : 10735 2400.05/2400.30 c filter calls : 13768785 (5738 /sec) 2400.05/2400.30 c useless filter calls : 9100178 (66 %) 2400.05/2400.30 c Memory used : 548.48 MB 2400.05/2400.30 c Best bound time (wc) : 1546 s 2400.05/2400.30 c CPU time : 2399.57 s 2400.05/2400.30 c real time : 2400.3 s 2400.05/2400.30 2400.05/2400.30 c nb Solutions = 9 2400.05/2400.30 s SATISFIABLE 2400.05/2400.30 c Best value found: 181624473 2400.05/2400.30 2400.05/2400.30 2400.05/2400.30 v <instantiation type='solution' cost='181624473'> 2400.05/2400.30 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.05/2400.30 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.05/2400.30 v </instantiation> 2400.05/2400.30
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 (14109 MiB free)
memory of node 1: 16384 MiB (15770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397653-1568592815/watcher-4397653-1568592815 -o /tmp/evaluation-result-4397653-1568592815/solver-4397653-1568592815 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568568567-1513 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397653-1568592815.xml
running on 4 cores: 0,2,4,6
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
solver pid=6339, runsolver pid=6336
Current StackSize limit: 8192 KiB
[startup+0.100878 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 6340
/proc/meminfo: memFree=30580580/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=43960 memory=20164 CPUtime=0.1 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 5465 0 0 0 9 1 0 0 20 0 1 0 435538680 45015040 5041 33554432000 4194304 6211092 140733266358848 140733266353336 5012856 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 10990 5041 826 493 0 4295 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43960 KiB
Current children cumulated memory: 20164 KiB
[startup+0.209687 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 6340
/proc/meminfo: memFree=30575760/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=48080 memory=24548 CPUtime=0.2 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 7171 0 0 0 19 1 0 0 20 0 1 0 435538680 49233920 6137 33554432000 4194304 6211092 140733266358848 140733266353336 5443599 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 12020 6137 826 493 0 5325 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48080 KiB
Current children cumulated memory: 24548 KiB
[startup+0.309556 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 6340
/proc/meminfo: memFree=30573280/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=50600 memory=26780 CPUtime=0.3 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 9088 0 0 0 29 1 0 0 20 0 1 0 435538680 51814400 6695 33554432000 4194304 6211092 140733266358848 140733266353336 5012856 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 12650 6695 826 493 0 5955 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50600 KiB
Current children cumulated memory: 26780 KiB
[startup+0.700299 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6340
/proc/meminfo: memFree=30567576/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=78296 memory=54380 CPUtime=0.69 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 17703 0 0 0 67 2 0 0 20 0 1 0 435538680 80175104 13595 33554432000 4194304 6211092 140733266358848 140733266353336 140167758303438 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 19574 13595 835 493 0 12879 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78296 KiB
Current children cumulated memory: 54380 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6340
/proc/meminfo: memFree=30525788/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=120372 memory=96444 CPUtime=1.48 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 29527 0 0 0 145 3 0 0 20 0 1 0 435538680 123260928 24111 33554432000 4194304 6211092 140733266358848 140733266354504 5818569 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 30093 24111 840 493 0 23398 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120372 KiB
Current children cumulated memory: 96444 KiB
[startup+3.10951 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6340
/proc/meminfo: memFree=30490324/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=135600 memory=111064 CPUtime=3.09 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 33524 0 0 0 305 4 0 0 20 0 1 0 435538680 138854400 27766 33554432000 4194304 6211092 140733266358848 140733266354344 5484865 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 33900 27766 840 493 0 27205 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 135600 KiB
Current children cumulated memory: 111064 KiB
[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 6340
/proc/meminfo: memFree=30463060/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=165016 memory=138948 CPUtime=6.27 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 42064 0 0 0 620 7 0 0 20 0 1 0 435538680 168976384 34737 33554432000 4194304 6211092 140733266358848 140733266356120 5707930 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 41254 34737 840 493 0 34559 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 165016 KiB
Current children cumulated memory: 138948 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 6343
/proc/meminfo: memFree=30409136/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=225268 memory=195956 CPUtime=12.67 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 58181 0 0 0 1256 11 0 0 20 0 1 0 435538680 230674432 48989 33554432000 4194304 6211092 140733266358848 140733266356120 5814111 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 56317 48989 840 493 0 49622 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 225268 KiB
Current children cumulated memory: 195956 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 6343
/proc/meminfo: memFree=30292444/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=345380 memory=310184 CPUtime=25.47 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 89835 0 0 0 2529 18 0 0 20 0 1 0 435538680 353669120 77546 33554432000 4194304 6211092 140733266358848 140733266356120 5818648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 86345 77546 840 493 0 79650 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 345380 KiB
Current children cumulated memory: 310184 KiB
[startup+51.1094 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 6344
/proc/meminfo: memFree=30131360/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=504056 memory=465196 CPUtime=51.07 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 226961 0 0 0 5078 29 0 0 20 0 1 0 435538680 516153344 116299 33554432000 4194304 6211092 140733266358848 140733266356328 140167755748690 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 126014 116299 885 493 0 119319 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 504056 KiB
Current children cumulated memory: 465196 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 6349
/proc/meminfo: memFree=30122664/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=512892 memory=475000 CPUtime=102.23 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 352005 0 0 0 10187 36 0 0 20 0 1 0 435538680 525201408 118750 33554432000 4194304 6211092 140733266358848 140733266356248 5479694 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 128223 118750 885 493 0 121528 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 512892 KiB
Current children cumulated memory: 475000 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 6353
/proc/meminfo: memFree=30110408/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=519932 memory=486968 CPUtime=162.22 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 412906 0 0 0 16183 39 0 0 20 0 1 0 435538680 532410368 121742 33554432000 4194304 6211092 140733266358848 140733266356168 5065981 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 129983 121742 885 493 0 123288 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 519932 KiB
Current children cumulated memory: 486968 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 6357
/proc/meminfo: memFree=30096396/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=529648 memory=501476 CPUtime=222.2 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 460898 0 0 0 22178 42 0 0 20 0 1 0 435538680 542359552 125369 33554432000 4194304 6211092 140733266358848 140733266356056 5446927 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 132412 125369 885 493 0 125717 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 529648 KiB
Current children cumulated memory: 501476 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 6363
/proc/meminfo: memFree=30086836/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=536984 memory=511128 CPUtime=282.19 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 485209 0 0 0 28175 44 0 0 20 0 1 0 435538680 549871616 127782 33554432000 4194304 6211092 140733266358848 140733266356056 5476533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 134246 127782 885 493 0 127551 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 536984 KiB
Current children cumulated memory: 511128 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/198 6367
/proc/meminfo: memFree=30081812/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=540168 memory=515900 CPUtime=342.17 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 491217 0 0 0 34173 44 0 0 20 0 1 0 435538680 553132032 128975 33554432000 4194304 6211092 140733266358848 140733266356056 140167755750815 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 135042 128975 885 493 0 128347 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 540168 KiB
Current children cumulated memory: 515900 KiB
[startup+402.3 s]
/proc/loadavg: 2.63 2.18 2.10 3/198 6371
/proc/meminfo: memFree=30076936/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=546048 memory=521712 CPUtime=402.17 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 494077 0 0 0 40172 45 0 0 20 0 1 0 435538680 559153152 130428 33554432000 4194304 6211092 140733266358848 140733266356056 5037825 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 136512 130428 885 493 0 129817 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 546048 KiB
Current children cumulated memory: 521712 KiB
[startup+462.3 s]
/proc/loadavg: 2.26 2.16 2.10 3/199 6385
/proc/meminfo: memFree=30074712/32770624 swapFree=66913156/67108860
[pid=6339] ppid=6336 vsize=548584 memory=524128 CPUtime=462.17 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 496745 0 0 0 46172 45 0 0 20 0 1 0 435538680 561750016 131032 33554432000 4194304 6211092 140733266358848 140733266356248 4982624 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 137146 131032 885 493 0 130451 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 548584 KiB
Current children cumulated memory: 524128 KiB
################
# More data... #
################
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 1662.09 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+1722.3 s]
/proc/loadavg: 1.00 1.06 1.43 2/191 6548
/proc/meminfo: memFree=30070412/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=1722.08 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 521876 0 0 0 172161 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5440611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.05 1.40 2/191 6552
/proc/meminfo: memFree=30070464/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=1782.08 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 522314 0 0 0 178161 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5455642 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.04 1.38 2/191 6556
/proc/meminfo: memFree=30070696/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=1842.08 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 522878 0 0 0 184161 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5441090 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/191 6562
/proc/meminfo: memFree=30071112/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=1902.07 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 523330 0 0 0 190160 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5454188 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/191 6566
/proc/meminfo: memFree=30070840/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=1962.07 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 523891 0 0 0 196160 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5446260 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/191 6570
/proc/meminfo: memFree=30071028/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=2022.06 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 524284 0 0 0 202159 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5454176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 2022.06 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/191 6576
/proc/meminfo: memFree=30070184/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=2082.06 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 524675 0 0 0 208159 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5164708 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/191 6580
/proc/meminfo: memFree=30070144/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=2142.06 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 525067 0 0 0 214159 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5451618 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/191 6584
/proc/meminfo: memFree=30071144/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=2202.05 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 525723 0 0 0 220158 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5451442 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/192 6598
/proc/meminfo: memFree=30070500/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=2262.05 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 526239 0 0 0 226158 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 140167755750815 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/192 6602
/proc/meminfo: memFree=30070904/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=2322.04 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 526700 0 0 0 232157 47 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5446240 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/192 6606
/proc/meminfo: memFree=30070344/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=2382.05 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 527242 0 0 0 238157 48 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5009644 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/192 6610
/proc/meminfo: memFree=30070700/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=2400.05 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 527299 0 0 0 239957 48 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5443100 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 6339 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.57 s, system=0.482962 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/192 6610
/proc/meminfo: memFree=30070700/32770624 swapFree=66913184/67108860
[pid=6339] ppid=6336 vsize=561636 memory=538056 CPUtime=2400.05 cores=0,2,4,6
/proc/6339/stat : 6339 (cosoco) R 6336 6339 1482 0 -1 4202496 527299 0 0 0 239957 48 0 0 20 0 1 0 435538680 575115264 134514 33554432000 4194304 6211092 140733266358848 140733266346728 5443100 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41144320 140733266363403 140733266363505 140733266363505 140733266366414 0
/proc/6339/statm: 140409 134514 885 493 0 133714 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538056 KiB
Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.06
CPU user time (s): 2399.57
CPU system time (s): 0.482962
CPU usage (%): 99.9897
Max. virtual memory (cumulated for all children) (KiB): 561636
Max. memory (cumulated for all children) (KiB): 538056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.57
system time used= 0.482962
maximum resident set size= 538116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527343
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= 83
involuntary context switches= 901
# summary of solver processes directly reported to runsolver:
# pid: 6339
# total CPU time (s): 2400.06
# total CPU user time (s): 2399.57
# total CPU system time (s): 0.482962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.91685 second user time and 16.3682 second system time
The end
Begin job on node104 at 2019-09-16 01:03:17 IDJOB=4397653 IDBENCH=141276 IDSOLVER=2850 FILE ID=node104/4397653-1568592815 RUNJOBID= node104-1568568567-1513 PBS_JOBID= 21703336 Free space on /tmp= 58940 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-4397653-1568592815/watcher-4397653-1568592815 -o /tmp/evaluation-result-4397653-1568592815/solver-4397653-1568592815 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568568567-1513 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397653-1568592815.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=1938357898 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 30596972 kB MemAvailable: 31784904 kB Buffers: 124084 kB Cached: 1347928 kB SwapCached: 95336 kB Active: 790736 kB Inactive: 786244 kB Active(anon): 14088 kB Inactive(anon): 140372 kB Active(file): 776648 kB Inactive(file): 645872 kB Unevictable: 110868 kB Mlocked: 110868 kB SwapTotal: 67108860 kB SwapFree: 66913156 kB Dirty: 73688 kB Writeback: 0 kB AnonPages: 77336 kB Mapped: 48060 kB Shmem: 40592 kB Slab: 192240 kB SReclaimable: 162492 kB SUnreclaim: 29748 kB KernelStack: 3520 kB PageTables: 5824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 534824 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 58940 MiB End job on node104 at 2019-09-16 01:43:18