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 | 2519.88 | 2520.01 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml |
| MD5SUM | 3fdf89d4941046bada2032faa76e855a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 63832030 |
| Best CPU time to get the best result obtained on this benchmark | 59.6866 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4790 |
| Number of constraints | 2852 |
| Number of domains | 18 |
| Minimum domain size | 1 |
| Maximum domain size | 121 |
| Distribution of domain sizes | [{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 1264 |
| Distribution of variable degrees | [{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}] |
| Number of extensional constraints | 1263 |
| Number of intensional constraints | 1589 |
| Distribution of constraint types | [{"type":"extension","count":1263},{"type":"intension","count":1589}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.07 c 0.00/0.07 c This is cosoco 2.00 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396973-1568595407.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.10 c intension eq(dist(f[271],f[76]),40) -> extension (support ? 1) - 222tuples 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension eq(dist(f[152],f[320]),40) -> extension (support ? 1) - 34tuples 0.10/0.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.13 c intension eq(dist(f[43],f[464]),40) -> extension (support ? 1) - 222tuples 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension eq(dist(f[242],f[314]),40) -> extension (support ? 1) - 34tuples 0.10/0.14 c intension eq(dist(f[179],f[261]),40) -> extension (support ? 1) - 222tuples 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension eq(dist(f[188],f[262]),40) -> extension (support ? 1) - 34tuples 0.10/0.16 c intension eq(dist(f[330],f[429]),40) -> extension (support ? 1) - 222tuples 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension eq(dist(f[307],f[426]),40) -> extension (support ? 1) - 34tuples 0.10/0.16 c intension eq(dist(f[272],f[455]),40) -> extension (support ? 1) - 222tuples 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension eq(dist(f[13],f[62]),40) -> extension (support ? 1) - 34tuples 0.10/0.19 c intension eq(dist(f[117],f[474]),40) -> extension (support ? 1) - 222tuples 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension eq(dist(f[126],f[483]),40) -> extension (support ? 1) - 34tuples 0.10/0.20 c intension eq(dist(f[195],f[8]),40) -> extension (support ? 1) - 222tuples 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension eq(dist(f[113],f[401]),40) -> extension (support ? 1) - 22tuples 0.10/0.21 c intension eq(dist(f[143],f[53]),40) -> extension (support ? 1) - 222tuples 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension eq(dist(f[224],f[58]),40) -> extension (support ? 1) - 34tuples 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension eq(dist(f[38],f[47]),40) -> extension (support ? 1) - 222tuples 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension eq(dist(f[105],f[211]),40) -> extension (support ? 1) - 34tuples 0.21/0.23 c intension eq(dist(f[183],f[454]),40) -> extension (support ? 1) - 222tuples 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension ne(dist(f[235],f[396]),13) -> extension (support ? 0) - 0tuples 0.21/0.25 c intension ne(dist(f[168],f[169]),118) -> extension (support ? 0) - 0tuples 0.21/0.25 c intension ne(dist(f[327],f[355]),9) -> extension (support ? 0) - 0tuples 0.21/0.26 c intension ne(dist(f[144],f[290]),66) -> extension (support ? 0) - 0tuples 0.21/0.27 c intension ne(dist(f[138],f[283]),73) -> extension (support ? 0) - 0tuples 0.21/0.27 c intension ne(dist(f[377],f[476]),53) -> extension (support ? 0) - 0tuples 0.21/0.28 c intension ne(dist(f[312],f[374]),3) -> extension (support ? 0) - 0tuples 0.21/0.29 c intension ne(dist(f[194],f[70]),200) -> extension (support ? 0) - 142tuples 0.21/0.29 c intension ne(dist(f[203],f[294]),21) -> extension (support ? 0) - 0tuples 0.21/0.30 c intension ne(dist(f[233],f[422]),27) -> extension (support ? 0) - 0tuples 0.21/0.31 c intension ne(dist(f[292],f[400]),64) -> extension (support ? 0) - 210tuples 0.30/0.32 c intension ne(dist(f[127],f[72]),78) -> extension (support ? 0) - 0tuples 0.30/0.32 c intension ne(dist(f[40],f[57]),18) -> extension (support ? 0) - 0tuples 0.30/0.33 c intension ne(dist(f[118],f[209]),75) -> extension (support ? 0) - 0tuples 0.30/0.33 c intension ne(dist(f[251],f[90]),13) -> extension (support ? 0) - 0tuples 0.30/0.34 c intension ne(dist(f[154],f[85]),17) -> extension (support ? 0) - 0tuples 0.30/0.35 c intension ne(dist(f[413],f[52]),226) -> extension (support ? 0) - 0tuples 0.30/0.36 c intension ne(dist(f[192],f[268]),20) -> extension (support ? 0) - 232tuples 0.30/0.36 c intension ne(dist(f[116],f[402]),48) -> extension (support ? 0) - 54tuples 0.30/0.36 c intension ne(dist(f[174],f[316]),54) -> extension (support ? 0) - 0tuples 0.30/0.37 c intension ne(dist(f[104],f[300]),129) -> extension (support ? 0) - 0tuples 0.30/0.38 c intension ne(dist(f[444],f[499]),47) -> extension (support ? 0) - 0tuples 0.30/0.38 c intension ne(dist(f[231],f[407]),8) -> extension (support ? 0) - 238tuples 0.30/0.39 c intension ne(dist(f[360],f[50]),2) -> extension (support ? 0) - 0tuples 0.30/0.40 c intension ne(dist(f[219],f[436]),27) -> extension (support ? 0) - 0tuples 0.30/0.40 c intension ne(dist(f[484],f[68]),31) -> extension (support ? 0) - 0tuples 0.30/0.41 c intension ne(dist(f[443],f[80]),203) -> extension (support ? 0) - 0tuples 0.40/0.42 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.43 c intension ne(dist(f[112],f[281]),226) -> extension (support ? 0) - 0tuples 0.40/0.43 c AllEqual constraint using 1 generic x=y constraints 0.40/0.43 c AllEqual constraint using 1 generic x=y constraints 0.40/0.43 c AllEqual constraint using 1 generic x=y constraints 0.40/0.43 c AllEqual constraint using 1 generic x=y constraints 0.40/0.43 c AllEqual constraint using 1 generic x=y constraints 0.40/0.43 c AllEqual constraint using 1 generic x=y constraints 0.40/0.43 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.49 c intension eq(dist(f[13],f[383]),d[60]) -> extension (support ? 1) - 729tuples 0.40/0.51 c intension eq(dist(f[13],f[461]),d[62]) -> extension (support ? 1) - 729tuples 0.59/0.67 c intension eq(dist(f[105],f[307]),d[475]) -> extension (support ? 1) - 729tuples 0.59/0.69 c intension eq(dist(f[105],f[465]),d[476]) -> extension (support ? 1) - 567tuples 0.68/0.70 c intension eq(dist(f[108],f[211]),d[486]) -> extension (support ? 1) - 729tuples 0.68/0.73 c intension eq(dist(f[108],f[307]),d[488]) -> extension (support ? 1) - 729tuples 0.68/0.74 c intension eq(dist(f[108],f[314]),d[489]) -> extension (support ? 1) - 729tuples 0.68/0.76 c intension eq(dist(f[113],f[168]),d[508]) -> extension (support ? 1) - 441tuples 0.68/0.77 c intension eq(dist(f[113],f[188]),d[509]) -> extension (support ? 1) - 567tuples 0.68/0.79 c intension eq(dist(f[113],f[211]),d[510]) -> extension (support ? 1) - 567tuples 0.78/0.80 c intension eq(dist(f[113],f[264]),d[511]) -> extension (support ? 1) - 441tuples 0.78/0.83 c intension eq(dist(f[126],f[211]),d[565]) -> extension (support ? 1) - 729tuples 0.78/0.86 c intension -> extension : same as previous 0.78/0.86 c intension eq(dist(f[126],f[307]),d[567]) -> extension (support ? 1) - 729tuples 0.78/0.88 c intension eq(dist(f[126],f[401]),d[568]) -> extension (support ? 1) - 567tuples 0.89/0.93 c intension eq(dist(f[168],f[264]),d[715]) -> extension (support ? 1) - 441tuples 0.89/1.00 c intension eq(dist(f[224],f[320]),d[894]) -> extension (support ? 1) - 729tuples 0.99/1.03 c intension eq(dist(f[245],f[262]),d[949]) -> extension (support ? 1) - 729tuples 0.99/1.04 c intension eq(dist(f[245],f[426]),d[951]) -> extension (support ? 1) - 729tuples 0.99/1.07 c intension eq(dist(f[262],f[426]),d[998]) -> extension (support ? 1) - 729tuples 1.10/1.12 c intension eq(dist(f[314],f[383]),d[1109]) -> extension (support ? 1) - 729tuples 1.10/1.14 c intension eq(dist(f[320],f[461]),d[1117]) -> extension (support ? 1) - 729tuples 594.03/594.13 c enable optimization 594.03/594.13 c ========================================[ Problem Statistics ]=========================================== 594.03/594.13 c | 594.03/594.13 c | Parse time : 29.59 s 594.03/594.13 c | 594.03/594.13 c | Variables: 4790 594.03/594.13 c | Domain Sizes: 1..121 594.03/594.13 c | 594.03/594.13 c | Constraints: 2853 594.03/594.13 c | Arity: 2..2527 -- Binary: 326 -- Ternary: 1263 594.03/594.13 c | 594.03/594.13 c | Types: 594.03/594.13 c | (X != Y): 17 594.03/594.13 c | (X = Y): 29 594.03/594.13 c | Extension: 1565 (nb tuples: 0..5776) -- (shared: 222) 594.03/594.13 c | Intension: 1241 594.03/594.13 c | Sum: 1 594.03/594.13 c | 594.03/594.13 c | Objective: Minimize Sum 594.03/594.13 594.03/594.13 c ========================================================================================================= 594.03/594.13 o 181662380 594.03/594.14 c 1 calls to solver(id=0): best=181662380 lower=0 upper=181662379 713.92/714.01 o 181662376 782.21/782.37 o 181649735 782.21/782.37 c 3 calls to solver(id=0): best=181649735 lower=0 upper=181649734 786.11/786.29 o 181649734 856.41/856.52 o 181637104 856.41/856.52 c 5 calls to solver(id=0): best=181637104 lower=0 upper=181637103 1002.01/1002.14 o 181637102 1146.19/1146.37 o 181637097 1146.19/1146.37 c 7 calls to solver(id=0): best=181637097 lower=0 upper=181637096 1333.80/1333.98 o 181637094 1545.89/1546.06 o 181624473 1545.89/1546.06 c 9 calls to solver(id=0): best=181624473 lower=0 upper=181624472 2519.86/2520.00 2519.86/2520.00 c *** INTERRUPTED *** 2519.86/2520.00 c call to solver : 9 2519.86/2520.00 c 2519.86/2520.00 c restarts : 379 2519.86/2520.00 c conflicts : 186581 (74 /sec) 2519.86/2520.00 c decisions : 1369967 (544 /sec) 2519.86/2520.00 c propagations : 109858297 (43604 /sec) 2519.86/2520.00 c root propagations : 10735 2519.86/2520.00 c filter calls : 14365768 (5702 /sec) 2519.86/2520.00 c useless filter calls : 9447438 (65 %) 2519.86/2520.00 c Memory used : 548.48 MB 2519.86/2520.00 c Best bound time (wc) : 1546.06 s 2519.86/2520.00 c CPU time : 2519.46 s 2519.86/2520.00 c real time : 2520 s 2519.86/2520.00 2519.86/2520.00 c nb Solutions = 9 2519.86/2520.00 s SATISFIABLE 2519.86/2520.00 c Best value found: 181624473 2519.86/2520.00 2519.86/2520.00 2519.86/2520.00 v <instantiation type='solution' cost='181624473'> 2519.86/2520.00 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> 2519.86/2520.01 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> 2519.86/2520.01 v </instantiation> 2519.86/2520.01
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 (9932 MiB free)
memory of node 1: 16384 MiB (14755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396973-1568595407/watcher-4396973-1568595407 -o /tmp/evaluation-result-4396973-1568595407/solver-4396973-1568595407 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568572746-32296 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396973-1568595407.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4043, runsolver pid=4040
[startup+0.100124 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 4044
/proc/meminfo: memFree=25264356/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=43380 memory=19716 CPUtime=0.1 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 5482 0 0 0 9 1 0 0 20 0 1 0 435779385 44421120 4929 33554432000 4194304 6211092 140727688311136 140727688306584 139879575951264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 10845 4929 826 493 0 4150 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 19716 KiB
[startup+0.209679 s]*
/proc/loadavg: 2.00 2.01 2.05 4/199 4044
/proc/meminfo: memFree=25259024/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=48480 memory=24808 CPUtime=0.21 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 7264 0 0 0 20 1 0 0 20 0 1 0 435779385 49643520 6202 33554432000 4194304 6211092 140727688311136 140727688306584 139879575951264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 12120 6202 826 493 0 5425 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48480 KiB
Current children cumulated memory: 24808 KiB
[startup+0.309416 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 4044
/proc/meminfo: memFree=25256900/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=50380 memory=26604 CPUtime=0.3 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 9180 0 0 0 29 1 0 0 20 0 1 0 435779385 51589120 6651 33554432000 4194304 6211092 140727688311136 140727688306584 5012856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 12595 6651 826 493 0 5900 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50380 KiB
Current children cumulated memory: 26604 KiB
[startup+0.700337 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4044
/proc/meminfo: memFree=25251816/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=78296 memory=54380 CPUtime=0.68 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 17703 0 0 0 67 1 0 0 20 0 1 0 435779385 80175104 13595 33554432000 4194304 6211092 140727688311136 140727688306584 139879576823732 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 19574 13595 835 493 0 12879 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78296 KiB
Current children cumulated memory: 54380 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4044
/proc/meminfo: memFree=25208400/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=120544 memory=96708 CPUtime=1.49 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 29563 0 0 0 146 3 0 0 20 0 1 0 435779385 123437056 24177 33554432000 4194304 6211092 140727688311136 140727688306632 5016216 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 30136 24177 840 493 0 23441 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 120544 KiB
Current children cumulated memory: 96708 KiB
[startup+3.10944 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4044
/proc/meminfo: memFree=25173704/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=135904 memory=111200 CPUtime=3.1 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 33616 0 0 0 306 4 0 0 20 0 1 0 435779385 139165696 27800 33554432000 4194304 6211092 140727688311136 140727688308408 5812042 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 33976 27800 840 493 0 27281 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 135904 KiB
Current children cumulated memory: 111200 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4044
/proc/meminfo: memFree=25146148/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=166088 memory=139900 CPUtime=6.29 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 42400 0 0 0 624 5 0 0 20 0 1 0 435779385 170074112 34975 33554432000 4194304 6211092 140727688311136 140727688308408 5685477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 41522 34975 840 493 0 34827 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 166088 KiB
Current children cumulated memory: 139900 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4046
/proc/meminfo: memFree=25092076/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=226544 memory=197184 CPUtime=12.69 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 58571 0 0 0 1262 7 0 0 20 0 1 0 435779385 231981056 49296 33554432000 4194304 6211092 140727688311136 140727688308408 139879591965824 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 56636 49296 840 493 0 49941 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 226544 KiB
Current children cumulated memory: 197184 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4046
/proc/meminfo: memFree=24975708/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=347496 memory=312316 CPUtime=25.48 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 90483 0 0 0 2537 11 0 0 20 0 1 0 435779385 355835904 78079 33554432000 4194304 6211092 140727688311136 140727688308408 5818637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 86874 78079 840 493 0 80179 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 347496 KiB
Current children cumulated memory: 312316 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4046
/proc/meminfo: memFree=24816972/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=504056 memory=465196 CPUtime=51.09 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 227163 0 0 0 5086 23 0 0 20 0 1 0 435779385 516153344 116299 33554432000 4194304 6211092 140727688311136 140727688308616 5443000 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 126014 116299 885 493 0 119319 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 504056 KiB
Current children cumulated memory: 465196 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4052
/proc/meminfo: memFree=24807404/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=512892 memory=474528 CPUtime=102.27 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 358900 0 0 0 10198 29 0 0 20 0 1 0 435779385 525201408 118632 33554432000 4194304 6211092 140727688311136 140727688308504 139879576827214 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 128223 118632 885 493 0 121528 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 512892 KiB
Current children cumulated memory: 474528 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4057
/proc/meminfo: memFree=24795404/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=519932 memory=486440 CPUtime=162.26 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 425382 0 0 0 16194 32 0 0 20 0 1 0 435779385 532410368 121610 33554432000 4194304 6211092 140727688311136 140727688308456 5453926 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 129983 121610 885 493 0 123288 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 519932 KiB
Current children cumulated memory: 486440 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4061
/proc/meminfo: memFree=24780152/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=529648 memory=501012 CPUtime=222.25 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 477081 0 0 0 22190 35 0 0 20 0 1 0 435779385 542359552 125253 33554432000 4194304 6211092 140727688311136 140727688308344 5455653 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 132412 125253 885 493 0 125717 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 529648 KiB
Current children cumulated memory: 501012 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4074
/proc/meminfo: memFree=24769924/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=536984 memory=511224 CPUtime=282.24 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 507811 0 0 0 28187 37 0 0 20 0 1 0 435779385 549871616 127806 33554432000 4194304 6211092 140727688311136 140727688308344 5446618 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 134246 127806 885 493 0 127551 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 536984 KiB
Current children cumulated memory: 511224 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4100
/proc/meminfo: memFree=24765376/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=540168 memory=515584 CPUtime=342.23 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 517476 0 0 0 34186 37 0 0 20 0 1 0 435779385 553132032 128896 33554432000 4194304 6211092 140727688311136 140727688308344 139879576829381 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 135042 128896 885 493 0 128347 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 540168 KiB
Current children cumulated memory: 515584 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 4104
/proc/meminfo: memFree=24759644/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=546048 memory=521948 CPUtime=402.22 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 519675 0 0 0 40185 37 0 0 20 0 1 0 435779385 559153152 130487 33554432000 4194304 6211092 140727688311136 140727688308344 5008931 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 136512 130487 885 493 0 129817 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 546048 KiB
Current children cumulated memory: 521948 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 4110
/proc/meminfo: memFree=24756956/32770624 swapFree=66941248/67108860
[pid=4043] ppid=4040 vsize=548584 memory=524348 CPUtime=462.22 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 521645 0 0 0 46184 38 0 0 20 0 1 0 435779385 561750016 131087 33554432000 4194304 6211092 140727688311136 140727688308536 5453914 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 137146 131087 885 493 0 130451 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 548584 KiB
Current children cumulated memory: 524348 KiB
################
# More data... #
################
/proc/4043/statm: 140409 134278 885 493 0 133714 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537112 KiB
[startup+1782.3 s]
/proc/loadavg: 1.09 1.11 1.44 2/193 4270
/proc/meminfo: memFree=25153460/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=537112 CPUtime=1782.18 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 565887 0 0 0 178177 41 0 0 20 0 1 0 435779385 575115264 134278 33554432000 4194304 6211092 140727688311136 140727688299016 139879585848202 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134278 885 493 0 133714 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537112 KiB
[startup+1842.3 s]
/proc/loadavg: 1.03 1.09 1.41 2/193 4274
/proc/meminfo: memFree=25153192/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=537112 CPUtime=1842.18 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 567112 0 0 0 184177 41 0 0 20 0 1 0 435779385 575115264 134278 33554432000 4194304 6211092 140727688311136 140727688299016 139879576823732 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134278 885 493 0 133714 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537112 KiB
[startup+1902.3 s]
/proc/loadavg: 1.01 1.07 1.39 2/192 4280
/proc/meminfo: memFree=25152100/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=1902.17 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 567714 0 0 0 190176 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 5446630 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.06 1.36 2/193 4286
/proc/meminfo: memFree=25152604/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=1962.17 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 568246 0 0 0 196176 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 139879576823732 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.05 1.34 2/193 4290
/proc/meminfo: memFree=25152588/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2022.17 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 568617 0 0 0 202176 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 5443000 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.04 1.32 2/193 4301
/proc/meminfo: memFree=25151932/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2082.17 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 568987 0 0 0 208176 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 5453908 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/193 4305
/proc/meminfo: memFree=25152212/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2142.17 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 569354 0 0 0 214176 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 5439794 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.03 1.28 2/193 4309
/proc/meminfo: memFree=25152524/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2202.16 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 569950 0 0 0 220175 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 5476555 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/193 4315
/proc/meminfo: memFree=25151880/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2262.16 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 570455 0 0 0 226175 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 5446238 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/193 4319
/proc/meminfo: memFree=25151624/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2322.16 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 570881 0 0 0 232175 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 139879585848142 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+2382.3 s]
/proc/loadavg: 1.29 1.08 1.25 2/193 4323
/proc/meminfo: memFree=25151348/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2382.16 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 571405 0 0 0 238175 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 139879585848189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+2442.3 s]
/proc/loadavg: 1.34 1.15 1.26 2/193 4329
/proc/meminfo: memFree=25151320/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2442.15 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 571784 0 0 0 244174 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 139879576827214 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
[startup+2502.3 s]
/proc/loadavg: 1.17 1.14 1.25 2/193 4333
/proc/meminfo: memFree=25152348/32770624 swapFree=66941252/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2502.15 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 572310 0 0 0 250174 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 5164802 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.19 1.14 1.25 2/193 4380
/proc/meminfo: memFree=25148752/32770624 swapFree=66941256/67108860
[pid=4043] ppid=4040 vsize=561636 memory=538044 CPUtime=2519.86 cores=0,2,4,6
/proc/4043/stat : 4043 (cosoco) R 4040 4043 32265 0 -1 4202496 572532 0 0 0 251945 41 0 0 20 0 1 0 435779385 575115264 134511 33554432000 4194304 6211092 140727688311136 140727688299016 5164661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22433792 140727688315915 140727688316017 140727688316017 140727688318926 0
/proc/4043/statm: 140409 134511 885 493 0 133714 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 4043 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.46 s, system=0.421985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.88
CPU user time (s): 2519.46
CPU system time (s): 0.421985
CPU usage (%): 99.9947
Max. virtual memory (cumulated for all children) (KiB): 561636
Max. memory (cumulated for all children) (KiB): 538044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.421985
maximum resident set size= 538104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572576
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= 84
involuntary context switches= 1142
# summary of solver processes directly reported to runsolver:
# pid: 4043
# total CPU time (s): 2519.88
# total CPU user time (s): 2519.46
# total CPU system time (s): 0.421985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7724 second user time and 14.5312 second system time
The end
Begin job on node149 at 2019-09-16 02:56:09 IDJOB=4396973 IDBENCH=141276 IDSOLVER=2848 FILE ID=node149/4396973-1568595407 RUNJOBID= node149-1568572746-32296 PBS_JOBID= 21703308 Free space on /tmp= 61348 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-4396973-1568595407/watcher-4396973-1568595407 -o /tmp/evaluation-result-4396973-1568595407/solver-4396973-1568595407 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568572746-32296 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396973-1568595407.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=917710739 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25280208 kB MemAvailable: 31440636 kB Buffers: 214452 kB Cached: 6246824 kB SwapCached: 61248 kB Active: 2983068 kB Inactive: 3941752 kB Active(anon): 431224 kB Inactive(anon): 80904 kB Active(file): 2551844 kB Inactive(file): 3860848 kB Unevictable: 111216 kB Mlocked: 111216 kB SwapTotal: 67108860 kB SwapFree: 66941248 kB Dirty: 74028 kB Writeback: 0 kB AnonPages: 515224 kB Mapped: 48824 kB Shmem: 39848 kB Slab: 156436 kB SReclaimable: 127140 kB SUnreclaim: 29296 kB KernelStack: 3472 kB PageTables: 6440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 937860 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 460800 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61348 MiB End job on node149 at 2019-09-16 03:38:09