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 | 2520.04 | 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-4408233-1569813822.xml 0.00/0.07 c intension eq(dist(f[44],f[63]),40) -> extension (support ? 1) - 222tuples 0.00/0.07 c intension eq(dist(f[245],f[259]),40) -> extension (support ? 1) - 34tuples 0.00/0.07 c intension eq(dist(f[171],f[366]),40) -> extension (support ? 1) - 222tuples 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension eq(dist(f[168],f[394]),40) -> extension (support ? 1) - 22tuples 0.00/0.08 c intension eq(dist(f[189],f[377]),40) -> extension (support ? 1) - 222tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension eq(dist(f[383],f[402]),40) -> extension (support ? 1) - 34tuples 0.00/0.09 c intension eq(dist(f[19],f[30]),40) -> extension (support ? 1) - 222tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension eq(dist(f[264],f[465]),40) -> extension (support ? 1) - 22tuples 0.09/0.11 c intension eq(dist(f[271],f[76]),40) -> extension (support ? 1) - 222tuples 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension eq(dist(f[152],f[320]),40) -> extension (support ? 1) - 34tuples 0.09/0.12 c intension eq(dist(f[253],f[301]),40) -> extension (support ? 1) - 222tuples 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension eq(dist(f[108],f[191]),40) -> extension (support ? 1) - 34tuples 0.09/0.14 c intension eq(dist(f[43],f[464]),40) -> extension (support ? 1) - 222tuples 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension eq(dist(f[242],f[314]),40) -> extension (support ? 1) - 34tuples 0.09/0.15 c intension eq(dist(f[179],f[261]),40) -> extension (support ? 1) - 222tuples 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension eq(dist(f[188],f[262]),40) -> extension (support ? 1) - 34tuples 0.09/0.16 c intension eq(dist(f[330],f[429]),40) -> extension (support ? 1) - 222tuples 0.09/0.16 c intension -> extension : same as previous 0.09/0.16 c intension eq(dist(f[307],f[426]),40) -> extension (support ? 1) - 34tuples 0.09/0.17 c intension eq(dist(f[272],f[455]),40) -> extension (support ? 1) - 222tuples 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension -> extension : same as previous 0.09/0.19 c intension eq(dist(f[13],f[62]),40) -> extension (support ? 1) - 34tuples 0.09/0.20 c intension eq(dist(f[117],f[474]),40) -> extension (support ? 1) - 222tuples 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension eq(dist(f[126],f[483]),40) -> extension (support ? 1) - 34tuples 0.09/0.21 c intension eq(dist(f[195],f[8]),40) -> extension (support ? 1) - 222tuples 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension eq(dist(f[113],f[401]),40) -> extension (support ? 1) - 22tuples 0.21/0.22 c intension eq(dist(f[143],f[53]),40) -> extension (support ? 1) - 222tuples 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension eq(dist(f[224],f[58]),40) -> extension (support ? 1) - 34tuples 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension eq(dist(f[38],f[47]),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 -> 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 -> 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 eq(dist(f[105],f[211]),40) -> extension (support ? 1) - 34tuples 0.21/0.24 c intension eq(dist(f[183],f[454]),40) -> extension (support ? 1) - 222tuples 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension ne(dist(f[235],f[396]),13) -> extension (support ? 0) - 0tuples 0.21/0.26 c intension ne(dist(f[168],f[169]),118) -> extension (support ? 0) - 0tuples 0.21/0.26 c intension ne(dist(f[327],f[355]),9) -> extension (support ? 0) - 0tuples 0.21/0.27 c intension ne(dist(f[144],f[290]),66) -> extension (support ? 0) - 0tuples 0.21/0.28 c intension ne(dist(f[138],f[283]),73) -> extension (support ? 0) - 0tuples 0.21/0.29 c intension ne(dist(f[377],f[476]),53) -> extension (support ? 0) - 0tuples 0.21/0.29 c intension ne(dist(f[312],f[374]),3) -> extension (support ? 0) - 0tuples 0.21/0.30 c intension ne(dist(f[194],f[70]),200) -> extension (support ? 0) - 142tuples 0.21/0.31 c intension ne(dist(f[203],f[294]),21) -> extension (support ? 0) - 0tuples 0.21/0.31 c intension ne(dist(f[233],f[422]),27) -> extension (support ? 0) - 0tuples 0.30/0.32 c intension ne(dist(f[292],f[400]),64) -> extension (support ? 0) - 210tuples 0.30/0.33 c intension ne(dist(f[127],f[72]),78) -> extension (support ? 0) - 0tuples 0.30/0.33 c intension ne(dist(f[40],f[57]),18) -> extension (support ? 0) - 0tuples 0.30/0.34 c intension ne(dist(f[118],f[209]),75) -> extension (support ? 0) - 0tuples 0.30/0.35 c intension ne(dist(f[251],f[90]),13) -> extension (support ? 0) - 0tuples 0.30/0.35 c intension ne(dist(f[154],f[85]),17) -> extension (support ? 0) - 0tuples 0.30/0.36 c intension ne(dist(f[413],f[52]),226) -> extension (support ? 0) - 0tuples 0.30/0.37 c intension ne(dist(f[192],f[268]),20) -> extension (support ? 0) - 232tuples 0.30/0.37 c intension ne(dist(f[116],f[402]),48) -> extension (support ? 0) - 54tuples 0.30/0.37 c intension ne(dist(f[174],f[316]),54) -> extension (support ? 0) - 0tuples 0.30/0.38 c intension ne(dist(f[104],f[300]),129) -> extension (support ? 0) - 0tuples 0.30/0.39 c intension ne(dist(f[444],f[499]),47) -> extension (support ? 0) - 0tuples 0.30/0.39 c intension ne(dist(f[231],f[407]),8) -> extension (support ? 0) - 238tuples 0.30/0.40 c intension ne(dist(f[360],f[50]),2) -> extension (support ? 0) - 0tuples 0.30/0.41 c intension ne(dist(f[219],f[436]),27) -> extension (support ? 0) - 0tuples 0.40/0.42 c intension ne(dist(f[484],f[68]),31) -> extension (support ? 0) - 0tuples 0.40/0.42 c intension ne(dist(f[443],f[80]),203) -> extension (support ? 0) - 0tuples 0.40/0.43 c intension ne(dist(f[106],f[238]),73) -> extension (support ? 0) - 0tuples 0.40/0.44 c intension ne(dist(f[102],f[243]),320) -> extension (support ? 0) - 82tuples 0.40/0.44 c intension ne(dist(f[112],f[281]),226) -> extension (support ? 0) - 0tuples 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.45 c AllEqual constraint using 1 generic x=y constraints 0.40/0.51 c intension eq(dist(f[13],f[383]),d[60]) -> extension (support ? 1) - 729tuples 0.50/0.52 c intension eq(dist(f[13],f[461]),d[62]) -> extension (support ? 1) - 729tuples 0.59/0.69 c intension eq(dist(f[105],f[307]),d[475]) -> extension (support ? 1) - 729tuples 0.68/0.71 c intension eq(dist(f[105],f[465]),d[476]) -> extension (support ? 1) - 567tuples 0.68/0.72 c intension eq(dist(f[108],f[211]),d[486]) -> extension (support ? 1) - 729tuples 0.68/0.75 c intension eq(dist(f[108],f[307]),d[488]) -> extension (support ? 1) - 729tuples 0.68/0.77 c intension eq(dist(f[108],f[314]),d[489]) -> extension (support ? 1) - 729tuples 0.68/0.78 c intension eq(dist(f[113],f[168]),d[508]) -> extension (support ? 1) - 441tuples 0.68/0.80 c intension eq(dist(f[113],f[188]),d[509]) -> extension (support ? 1) - 567tuples 0.78/0.81 c intension eq(dist(f[113],f[211]),d[510]) -> extension (support ? 1) - 567tuples 0.78/0.82 c intension eq(dist(f[113],f[264]),d[511]) -> extension (support ? 1) - 441tuples 0.78/0.85 c intension eq(dist(f[126],f[211]),d[565]) -> extension (support ? 1) - 729tuples 0.78/0.88 c intension -> extension : same as previous 0.78/0.88 c intension eq(dist(f[126],f[307]),d[567]) -> extension (support ? 1) - 729tuples 0.89/0.90 c intension eq(dist(f[126],f[401]),d[568]) -> extension (support ? 1) - 567tuples 0.89/0.95 c intension eq(dist(f[168],f[264]),d[715]) -> extension (support ? 1) - 441tuples 0.99/1.03 c intension eq(dist(f[224],f[320]),d[894]) -> extension (support ? 1) - 729tuples 0.99/1.06 c intension eq(dist(f[245],f[262]),d[949]) -> extension (support ? 1) - 729tuples 0.99/1.08 c intension eq(dist(f[245],f[426]),d[951]) -> extension (support ? 1) - 729tuples 1.09/1.10 c intension eq(dist(f[262],f[426]),d[998]) -> extension (support ? 1) - 729tuples 1.09/1.16 c intension eq(dist(f[314],f[383]),d[1109]) -> extension (support ? 1) - 729tuples 1.09/1.17 c intension eq(dist(f[320],f[461]),d[1117]) -> extension (support ? 1) - 729tuples 595.96/596.04 c enable optimization 595.96/596.04 c ========================================[ Problem Statistics ]=========================================== 595.96/596.04 c | 595.96/596.04 c | Parse time : 29.87 s 595.96/596.04 c | 595.96/596.04 c | Variables: 4790 595.96/596.04 c | Domain Sizes: 1..121 595.96/596.04 c | 595.96/596.04 c | Constraints: 2853 595.96/596.04 c | Arity: 2..2527 -- Binary: 326 -- Ternary: 1263 595.96/596.04 c | 595.96/596.04 c | Types: 595.96/596.04 c | (X != Y): 17 595.96/596.04 c | (X = Y): 29 595.96/596.04 c | Extension: 1565 (nb tuples: 0..5776) -- (shared: 222) 595.96/596.04 c | Intension: 1241 595.96/596.04 c | Sum: 1 595.96/596.04 c | 595.96/596.04 c | Objective: Minimize Sum 595.96/596.04 595.96/596.04 c ========================================================================================================= 595.96/596.04 o 181662380 595.96/596.05 c 1 calls to solver(id=0): best=181662380 lower=0 upper=181662379 716.25/716.37 o 181662376 784.85/785.00 o 181649735 784.85/785.00 c 3 calls to solver(id=0): best=181649735 lower=0 upper=181649734 788.86/788.94 o 181649734 859.36/859.42 o 181637104 859.36/859.42 c 5 calls to solver(id=0): best=181637104 lower=0 upper=181637103 1005.46/1005.54 o 181637102 1150.27/1150.31 o 181637097 1150.27/1150.31 c 7 calls to solver(id=0): best=181637097 lower=0 upper=181637096 1338.68/1338.71 o 181637094 1551.69/1551.70 o 181624473 1551.69/1551.70 c 9 calls to solver(id=0): best=181624473 lower=0 upper=181624472 2520.03/2520.00 2520.03/2520.00 c *** INTERRUPTED *** 2520.03/2520.00 c call to solver : 9 2520.03/2520.00 c 2520.03/2520.00 c restarts : 379 2520.03/2520.00 c conflicts : 186001 (74 /sec) 2520.03/2520.00 c decisions : 1369247 (543 /sec) 2520.03/2520.00 c propagations : 109485031 (43454 /sec) 2520.03/2520.00 c root propagations : 10735 2520.03/2520.00 c filter calls : 14321686 (5684 /sec) 2520.03/2520.00 c useless filter calls : 9424048 (65 %) 2520.03/2520.00 c Memory used : 548.48 MB 2520.03/2520.00 c Best bound time (wc) : 1551.7 s 2520.03/2520.00 c CPU time : 2519.59 s 2520.03/2520.00 c real time : 2520 s 2520.03/2520.00 2520.03/2520.00 c nb Solutions = 9 2520.03/2520.00 s SATISFIABLE 2520.03/2520.00 c Best value found: 181624473 2520.03/2520.00 2520.03/2520.00 2520.03/2520.00 v <instantiation type='solution' cost='181624473'> 2520.03/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> 2520.03/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> 2520.03/2520.01 v </instantiation> 2520.03/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 (12182 MiB free)
memory of node 1: 16384 MiB (15495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408233-1569813822/watcher-4408233-1569813822 -o /tmp/evaluation-result-4408233-1569813822/solver-4408233-1569813822 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408233-1569813822.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=30978, runsolver pid=30975
[startup+0.100576 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 30979
/proc/meminfo: memFree=28327076/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=43960 memory=20164 CPUtime=0.09 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 5462 0 0 0 9 0 0 0 20 0 1 0 557543720 45015040 5041 33554432000 4194304 6211132 140729180656256 140729180651752 5012856 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 10990 5041 826 493 0 4295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43960 KiB
Current children cumulated memory: 20164 KiB
[startup+0.209612 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 30979
/proc/meminfo: memFree=28322284/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=48544 memory=24740 CPUtime=0.21 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 7112 0 0 0 20 1 0 0 20 0 1 0 557543720 49709056 6185 33554432000 4194304 6211132 140729180656256 140729180651752 5012856 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 12136 6185 826 493 0 5441 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48544 KiB
Current children cumulated memory: 24740 KiB
[startup+0.309433 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 30979
/proc/meminfo: memFree=28319680/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=49788 memory=26256 CPUtime=0.3 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 8933 0 0 0 29 1 0 0 20 0 1 0 557543720 50982912 6564 33554432000 4194304 6211132 140729180656256 140729180651752 140408581127264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 12447 6564 826 493 0 5752 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49788 KiB
Current children cumulated memory: 26256 KiB
[startup+0.700292 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30979
/proc/meminfo: memFree=28315224/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=77636 memory=54120 CPUtime=0.68 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 17607 0 0 0 66 2 0 0 20 0 1 0 557543720 79499264 13530 33554432000 4194304 6211132 140729180656256 140729180650552 5446272 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 19409 13530 835 493 0 12714 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77636 KiB
Current children cumulated memory: 54120 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30979
/proc/meminfo: memFree=28275328/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=120208 memory=96444 CPUtime=1.49 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 29509 0 0 0 145 4 0 0 20 0 1 0 557543720 123092992 24111 33554432000 4194304 6211132 140729180656256 140729180653528 5707910 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 30052 24111 840 493 0 23357 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 120208 KiB
Current children cumulated memory: 96444 KiB
[startup+3.10946 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30979
/proc/meminfo: memFree=28237168/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=135408 memory=110724 CPUtime=3.1 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 33874 0 0 0 306 4 0 0 20 0 1 0 557543720 138657792 27681 33554432000 4194304 6211132 140729180656256 140729180653528 5812093 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 33852 27681 840 493 0 27157 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 135408 KiB
Current children cumulated memory: 110724 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30979
/proc/meminfo: memFree=28209316/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=165016 memory=138928 CPUtime=6.29 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 42301 0 0 0 619 10 0 0 20 0 1 0 557543720 168976384 34732 33554432000 4194304 6211132 140729180656256 140729180651912 5818619 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 41254 34732 840 493 0 34559 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 165016 KiB
Current children cumulated memory: 138928 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30979
/proc/meminfo: memFree=28156152/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=224628 memory=195456 CPUtime=12.69 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 58223 0 0 0 1256 13 0 0 20 0 1 0 557543720 230019072 48864 33554432000 4194304 6211132 140729180656256 140729180653528 5483361 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 56157 48864 840 493 0 49462 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 224628 KiB
Current children cumulated memory: 195456 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30981
/proc/meminfo: memFree=28038672/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=344744 memory=309532 CPUtime=25.48 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 88858 0 0 0 2529 19 0 0 20 0 1 0 557543720 353017856 77383 33554432000 4194304 6211132 140729180656256 140729180653528 5816136 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 86186 77383 840 493 0 79491 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 344744 KiB
Current children cumulated memory: 309532 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30982
/proc/meminfo: memFree=27878324/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=504056 memory=465036 CPUtime=51.08 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 261339 0 0 0 5079 29 0 0 20 0 1 0 557543720 516153344 116259 33554432000 4194304 6211132 140729180656256 140729180653736 5446959 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 126014 116259 885 493 0 119319 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 504056 KiB
Current children cumulated memory: 465036 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30985
/proc/meminfo: memFree=27857092/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=512892 memory=476716 CPUtime=102.26 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 341862 0 0 0 10193 33 0 0 20 0 1 0 557543720 525201408 119179 33554432000 4194304 6211132 140729180656256 140729180653464 140408581612642 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 128223 119179 885 493 0 121528 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 512892 KiB
Current children cumulated memory: 476716 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30992
/proc/meminfo: memFree=27844128/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=519932 memory=488404 CPUtime=162.26 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 399398 0 0 0 16190 36 0 0 20 0 1 0 557543720 532410368 122101 33554432000 4194304 6211132 140729180656256 140729180653576 5186256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 129983 122101 885 493 0 123288 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 519932 KiB
Current children cumulated memory: 488404 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30996
/proc/meminfo: memFree=27827968/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=529648 memory=503088 CPUtime=222.24 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 443928 0 0 0 22185 39 0 0 20 0 1 0 557543720 542359552 125772 33554432000 4194304 6211132 140729180656256 140729180653464 5443112 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 132412 125772 885 493 0 125717 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 529648 KiB
Current children cumulated memory: 503088 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 31000
/proc/meminfo: memFree=27819976/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=536984 memory=511280 CPUtime=282.24 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 464033 0 0 0 28184 40 0 0 20 0 1 0 557543720 549871616 127820 33554432000 4194304 6211132 140729180656256 140729180653464 5451602 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 134246 127820 885 493 0 127551 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 536984 KiB
Current children cumulated memory: 511280 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 31007
/proc/meminfo: memFree=27815112/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=540168 memory=516196 CPUtime=342.24 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 468037 0 0 0 34184 40 0 0 20 0 1 0 557543720 553132032 129049 33554432000 4194304 6211132 140729180656256 140729180653464 5443144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 135042 129049 885 493 0 128347 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 540168 KiB
Current children cumulated memory: 516196 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 31011
/proc/meminfo: memFree=27809968/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=546048 memory=521720 CPUtime=402.24 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 470663 0 0 0 40184 40 0 0 20 0 1 0 557543720 559153152 130430 33554432000 4194304 6211132 140729180656256 140729180653464 5446681 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 136512 130430 885 493 0 129817 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 546048 KiB
Current children cumulated memory: 521720 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 31024
/proc/meminfo: memFree=27807036/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=548584 memory=524140 CPUtime=462.25 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 473263 0 0 0 46184 41 0 0 20 0 1 0 557543720 561750016 131035 33554432000 4194304 6211132 140729180656256 140729180653656 5476523 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 137146 131035 885 493 0 130451 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 548584 KiB
Current children cumulated memory: 524140 KiB
################
# More data... #
################
/proc/30978/statm: 140409 134383 885 493 0 133714 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537532 KiB
[startup+1782.3 s]
/proc/loadavg: 2.45 2.18 2.09 3/200 31145
/proc/meminfo: memFree=27792460/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=537532 CPUtime=1782.29 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 512455 0 0 0 178185 44 0 0 20 0 1 0 557543720 575115264 134383 33554432000 4194304 6211132 140729180656256 140729180644136 140408581609379 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134383 885 493 0 133714 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537532 KiB
[startup+1842.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/200 31149
/proc/meminfo: memFree=27792688/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=537532 CPUtime=1842.29 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 513470 0 0 0 184185 44 0 0 20 0 1 0 557543720 575115264 134383 33554432000 4194304 6211132 140729180656256 140729180644136 5446258 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134383 885 493 0 133714 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 537532 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 2.12 2.08 3/200 31153
/proc/meminfo: memFree=27791724/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=1902.29 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 513981 0 0 0 190185 44 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 5446119 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+1962.3 s]
/proc/loadavg: 1.54 1.97 2.03 2/192 31206
/proc/meminfo: memFree=27964908/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=1962.3 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 514501 0 0 0 196186 44 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 5451658 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+2022.3 s]
/proc/loadavg: 1.20 1.80 1.97 2/192 31210
/proc/meminfo: memFree=27965168/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2022.31 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 515099 0 0 0 202186 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 5454212 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+2082.3 s]
/proc/loadavg: 1.07 1.65 1.91 2/193 31215
/proc/meminfo: memFree=27965104/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2082.31 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 515537 0 0 0 208186 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 5164832 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+2142.3 s]
/proc/loadavg: 1.03 1.53 1.85 2/193 31222
/proc/meminfo: memFree=27965112/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2142.31 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 515968 0 0 0 214186 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 5446280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+2202.3 s]
/proc/loadavg: 1.05 1.45 1.81 2/193 31226
/proc/meminfo: memFree=27965112/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2202.31 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 516601 0 0 0 220186 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 140408581612882 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+2262.3 s]
/proc/loadavg: 1.02 1.37 1.75 2/194 31238
/proc/meminfo: memFree=27964972/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2262.31 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 517193 0 0 0 226186 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 5446311 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+2322.3 s]
/proc/loadavg: 1.01 1.30 1.71 2/195 31267
/proc/meminfo: memFree=27963960/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2322.32 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 517693 0 0 0 232187 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 140408581615045 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.25 1.66 2/194 31271
/proc/meminfo: memFree=27964564/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2382.32 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 518293 0 0 0 238187 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 5009686 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.20 1.62 2/194 31275
/proc/meminfo: memFree=27964996/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2442.32 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 518801 0 0 0 244187 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 5451545 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.16 1.58 2/194 31281
/proc/meminfo: memFree=27965056/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2502.32 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 519397 0 0 0 250187 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 140408581615007 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.15 1.57 2/193 31282
/proc/meminfo: memFree=27965316/32770624 swapFree=67002732/67108860
[pid=30978] ppid=30975 vsize=561636 memory=538104 CPUtime=2520.03 cores=0,2,4,6
/proc/30978/stat : 30978 (cosoco) R 30975 30978 25748 0 -1 4202496 519710 0 0 0 251958 45 0 0 20 0 1 0 557543720 575115264 134526 33554432000 4194304 6211132 140729180656256 140729180644136 5441144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17747968 140729180664843 140729180664945 140729180664945 140729180667854 0
/proc/30978/statm: 140409 134526 885 493 0 133714 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 561636 KiB
Current children cumulated memory: 538104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30978 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.59 s, system=0.454015 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): 2520.04
CPU user time (s): 2519.59
CPU system time (s): 0.454015
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 561636
Max. memory (cumulated for all children) (KiB): 538104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.59
system time used= 0.454015
maximum resident set size= 538164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519754
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= 93
involuntary context switches= 3181
# summary of solver processes directly reported to runsolver:
# pid: 30978
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.59
# total CPU system time (s): 0.454015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.13062 second user time and 17.4848 second system time
The end
Begin job on node148 at 2019-09-30 05:23:05 IDJOB=4408233 IDBENCH=141276 IDSOLVER=2874 FILE ID=node148/4408233-1569813822 RUNJOBID= node148-1569787355-25779 PBS_JOBID= 21705817 Free space on /tmp= 61960 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-4408233-1569813822/watcher-4408233-1569813822 -o /tmp/evaluation-result-4408233-1569813822/solver-4408233-1569813822 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408233-1569813822.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=764618660 node148.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.13 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.13 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.13 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.13 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: 28342940 kB MemAvailable: 31720620 kB Buffers: 170336 kB Cached: 3545684 kB SwapCached: 3492 kB Active: 2466328 kB Inactive: 1408804 kB Active(anon): 172556 kB Inactive(anon): 67036 kB Active(file): 2293772 kB Inactive(file): 1341768 kB Unevictable: 110976 kB Mlocked: 110976 kB SwapTotal: 67108860 kB SwapFree: 67002732 kB Dirty: 73896 kB Writeback: 0 kB AnonPages: 267668 kB Mapped: 28928 kB Shmem: 71796 kB Slab: 145100 kB SReclaimable: 115948 kB SUnreclaim: 29152 kB KernelStack: 3536 kB PageTables: 6104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 722212 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 219136 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61960 MiB End job on node148 at 2019-09-30 06:05:05