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) | 229229905 | 2519.43 | 2520.01 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml |
| MD5SUM | 970c879d9e656f0525c6818b69538b39 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 162507055 |
| Best CPU time to get the best result obtained on this benchmark | 67.4966 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4976 |
| Number of constraints | 3812 |
| Number of domains | 49 |
| Minimum domain size | 1 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1426 |
| Distribution of variable degrees | [{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}] |
| Number of extensional constraints | 1425 |
| Number of intensional constraints | 2387 |
| Distribution of constraint types | [{"type":"extension","count":1425},{"type":"intension","count":2387}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.06 c 0.00/0.06 c This is cosoco 2.00 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397002-1568595391.xml 0.00/0.06 c intension eq(dist(f[209],f[41]),40) -> extension (support ? 1) - 50tuples 0.00/0.07 c intension eq(dist(f[173],f[245]),40) -> extension (support ? 1) - 282tuples 0.00/0.07 c intension eq(dist(f[102],f[249]),40) -> extension (support ? 1) - 50tuples 0.00/0.08 c intension eq(dist(f[232],f[332]),40) -> extension (support ? 1) - 34tuples 0.00/0.09 c intension eq(dist(f[302],f[8]),40) -> extension (support ? 1) - 282tuples 0.00/0.09 c intension eq(dist(f[178],f[53]),40) -> extension (support ? 1) - 34tuples 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension eq(dist(f[145],f[61]),40) -> extension (support ? 1) - 282tuples 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension eq(dist(f[147],f[76]),40) -> extension (support ? 1) - 34tuples 0.10/0.11 c intension eq(dist(f[55],f[62]),40) -> extension (support ? 1) - 282tuples 0.10/0.11 c intension eq(dist(f[128],f[75]),40) -> extension (support ? 1) - 22tuples 0.10/0.12 c intension eq(dist(f[142],f[221]),40) -> extension (support ? 1) - 282tuples 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension eq(dist(f[329],f[345]),40) -> extension (support ? 1) - 22tuples 0.10/0.13 c intension eq(dist(f[23],f[281]),40) -> extension (support ? 1) - 282tuples 0.10/0.13 c intension eq(dist(f[204],f[63]),40) -> extension (support ? 1) - 22tuples 0.10/0.14 c intension eq(dist(f[154],f[300]),40) -> extension (support ? 1) - 282tuples 0.10/0.14 c intension eq(dist(f[130],f[96]),40) -> extension (support ? 1) - 34tuples 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension eq(dist(f[238],f[271]),40) -> extension (support ? 1) - 22tuples 0.10/0.15 c intension eq(dist(f[250],f[306]),40) -> extension (support ? 1) - 282tuples 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension eq(dist(f[316],f[326]),40) -> extension (support ? 1) - 50tuples 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension eq(dist(f[79],f[83]),40) -> extension (support ? 1) - 22tuples 0.10/0.16 c intension eq(dist(f[119],f[322]),40) -> extension (support ? 1) - 78tuples 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension eq(dist(f[56],f[64]),40) -> extension (support ? 1) - 282tuples 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension eq(dist(f[157],f[71]),40) -> extension (support ? 1) - 78tuples 0.10/0.18 c intension eq(dist(f[195],f[248]),40) -> extension (support ? 1) - 282tuples 0.10/0.19 c intension eq(dist(f[276],f[278]),40) -> extension (support ? 1) - 146tuples 0.10/0.19 c intension eq(dist(f[223],f[304]),40) -> extension (support ? 1) - 34tuples 0.10/0.19 c intension eq(dist(f[110],f[176]),40) -> extension (support ? 1) - 146tuples 0.10/0.19 c intension eq(dist(f[117],f[11]),40) -> extension (support ? 1) - 78tuples 0.10/0.20 c intension eq(dist(f[15],f[277]),40) -> extension (support ? 1) - 282tuples 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension eq(dist(f[205],f[251]),40) -> extension (support ? 1) - 146tuples 0.20/0.22 c intension eq(dist(f[206],f[339]),40) -> extension (support ? 1) - 282tuples 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension eq(dist(f[172],f[57]),40) -> extension (support ? 1) - 186tuples 0.20/0.24 c intension eq(dist(f[144],f[153]),40) -> extension (support ? 1) - 282tuples 0.20/0.24 c intension eq(dist(f[210],f[315]),40) -> extension (support ? 1) - 186tuples 0.20/0.25 c intension eq(dist(f[337],f[34]),40) -> extension (support ? 1) - 282tuples 0.20/0.25 c intension eq(dist(f[116],f[311]),40) -> extension (support ? 1) - 34tuples 0.20/0.26 c intension eq(dist(f[114],f[30]),40) -> extension (support ? 1) - 282tuples 0.20/0.26 c intension eq(dist(f[139],f[349]),40) -> extension (support ? 1) - 78tuples 0.20/0.27 c intension eq(dist(f[54],f[86]),40) -> extension (support ? 1) - 282tuples 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension eq(dist(f[26],f[6]),40) -> extension (support ? 1) - 34tuples 0.20/0.29 c intension eq(dist(f[101],f[50]),40) -> extension (support ? 1) - 282tuples 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension eq(dist(f[200],f[89]),40) -> extension (support ? 1) - 34tuples 0.20/0.30 c intension eq(dist(f[247],f[42]),40) -> extension (support ? 1) - 282tuples 0.20/0.30 c intension eq(dist(f[202],f[20]),40) -> extension (support ? 1) - 50tuples 0.20/0.31 c intension -> extension : same as previous 0.20/0.31 c intension eq(dist(f[196],f[330]),40) -> extension (support ? 1) - 282tuples 0.20/0.31 c intension -> extension : same as previous 0.20/0.31 c intension eq(dist(f[212],f[266]),40) -> extension (support ? 1) - 22tuples 0.30/0.32 c intension eq(dist(f[260],f[66]),40) -> extension (support ? 1) - 282tuples 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension eq(dist(f[149],f[193]),40) -> extension (support ? 1) - 186tuples 0.30/0.33 c intension eq(dist(f[161],f[48]),40) -> extension (support ? 1) - 22tuples 0.30/0.33 c intension eq(dist(f[201],f[4]),40) -> extension (support ? 1) - 146tuples 0.30/0.34 c intension eq(dist(f[106],f[270]),40) -> extension (support ? 1) - 282tuples 0.30/0.34 c intension eq(dist(f[113],f[175]),40) -> extension (support ? 1) - 50tuples 0.30/0.35 c intension eq(dist(f[189],f[88]),40) -> extension (support ? 1) - 282tuples 0.30/0.36 c intension eq(dist(f[284],f[297]),40) -> extension (support ? 1) - 34tuples 0.30/0.36 c intension eq(dist(f[177],f[299]),40) -> extension (support ? 1) - 282tuples 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension eq(dist(f[16],f[342]),40) -> extension (support ? 1) - 22tuples 0.30/0.38 c intension eq(dist(f[192],f[244]),40) -> extension (support ? 1) - 282tuples 0.30/0.38 c intension eq(dist(f[258],f[5]),40) -> extension (support ? 1) - 22tuples 0.30/0.38 c intension eq(dist(f[222],f[80]),40) -> extension (support ? 1) - 22tuples 0.30/0.39 c intension eq(dist(f[279],f[92]),40) -> extension (support ? 1) - 282tuples 0.30/0.39 c intension eq(dist(f[133],f[252]),40) -> extension (support ? 1) - 50tuples 0.30/0.39 c intension eq(dist(f[179],f[226]),40) -> extension (support ? 1) - 22tuples 0.30/0.40 c intension eq(dist(f[140],f[73]),40) -> extension (support ? 1) - 282tuples 0.30/0.40 c intension eq(dist(f[182],f[183]),40) -> extension (support ? 1) - 146tuples 0.40/0.42 c intension eq(dist(f[126],f[51]),40) -> extension (support ? 1) - 282tuples 0.40/0.42 c intension eq(dist(f[207],f[242]),40) -> extension (support ? 1) - 50tuples 0.40/0.42 c intension eq(dist(f[109],f[190]),40) -> extension (support ? 1) - 146tuples 0.40/0.43 c intension eq(dist(f[112],f[213]),40) -> extension (support ? 1) - 282tuples 0.40/0.43 c intension eq(dist(f[239],f[43]),40) -> extension (support ? 1) - 78tuples 0.40/0.44 c intension eq(dist(f[164],f[220]),40) -> extension (support ? 1) - 282tuples 0.40/0.44 c intension -> extension : same as previous 0.40/0.44 c intension eq(dist(f[187],f[312]),40) -> extension (support ? 1) - 50tuples 0.40/0.46 c intension eq(dist(f[305],f[334]),40) -> extension (support ? 1) - 282tuples 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension eq(dist(f[347],f[90]),40) -> extension (support ? 1) - 22tuples 0.40/0.46 c intension eq(dist(f[162],f[7]),40) -> extension (support ? 1) - 22tuples 0.40/0.46 c intension eq(dist(f[18],f[268]),40) -> extension (support ? 1) - 50tuples 0.40/0.47 c intension eq(dist(f[289],f[331]),40) -> extension (support ? 1) - 282tuples 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension eq(dist(f[124],f[340]),40) -> extension (support ? 1) - 146tuples 0.40/0.48 c intension eq(dist(f[14],f[78]),40) -> extension (support ? 1) - 282tuples 0.40/0.48 c intension -> extension : same as previous 0.40/0.48 c intension -> extension : same as previous 0.40/0.48 c intension eq(dist(f[108],f[10]),40) -> extension (support ? 1) - 22tuples 0.40/0.49 c intension eq(dist(f[115],f[269]),40) -> extension (support ? 1) - 282tuples 0.40/0.49 c intension eq(dist(f[160],f[2]),40) -> extension (support ? 1) - 50tuples 0.40/0.50 c intension eq(dist(f[150],f[74]),40) -> extension (support ? 1) - 146tuples 0.40/0.50 c intension eq(dist(f[287],f[310]),40) -> extension (support ? 1) - 34tuples 0.40/0.51 c intension eq(dist(f[146],f[99]),40) -> extension (support ? 1) - 282tuples 0.40/0.51 c intension -> extension : same as previous 0.40/0.51 c intension -> extension : same as previous 0.40/0.51 c intension -> extension : same as previous 0.40/0.51 c intension -> extension : same as previous 0.40/0.51 c intension -> extension : same as previous 0.40/0.51 c intension -> extension : same as previous 0.40/0.51 c intension eq(dist(f[231],f[77]),40) -> extension (support ? 1) - 34tuples 0.51/0.52 c intension -> extension : same as previous 0.51/0.52 c intension eq(dist(f[105],f[295]),40) -> extension (support ? 1) - 282tuples 0.51/0.53 c intension -> extension : same as previous 0.51/0.53 c intension eq(dist(f[168],f[317]),40) -> extension (support ? 1) - 186tuples 0.51/0.54 c intension eq(dist(f[136],f[148]),40) -> extension (support ? 1) - 282tuples 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension eq(dist(f[122],f[224]),40) -> extension (support ? 1) - 186tuples 0.51/0.55 c intension eq(dist(f[125],f[60]),40) -> extension (support ? 1) - 50tuples 0.51/0.55 c intension eq(dist(f[107],f[215]),40) -> extension (support ? 1) - 34tuples 0.51/0.55 c intension eq(dist(f[100],f[167]),40) -> extension (support ? 1) - 78tuples 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension eq(dist(f[282],f[98]),40) -> extension (support ? 1) - 282tuples 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension -> extension : same as previous 0.51/0.56 c intension eq(dist(f[159],f[348]),40) -> extension (support ? 1) - 146tuples 0.51/0.57 c intension eq(dist(f[272],f[46]),40) -> extension (support ? 1) - 282tuples 0.51/0.57 c intension eq(dist(f[203],f[68]),40) -> extension (support ? 1) - 50tuples 0.51/0.58 c intension eq(dist(f[257],f[49]),40) -> extension (support ? 1) - 282tuples 0.51/0.59 c intension -> extension : same as previous 0.51/0.59 c intension -> extension : same as previous 0.51/0.59 c intension eq(dist(f[228],f[286]),40) -> extension (support ? 1) - 186tuples 0.51/0.59 c intension eq(dist(f[143],f[94]),40) -> extension (support ? 1) - 22tuples 0.51/0.60 c intension eq(dist(f[181],f[341]),40) -> extension (support ? 1) - 282tuples 0.51/0.60 c intension -> extension : same as previous 0.51/0.60 c intension eq(dist(f[138],f[31]),40) -> extension (support ? 1) - 34tuples 0.60/0.61 c intension eq(dist(f[152],f[38]),40) -> extension (support ? 1) - 282tuples 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension eq(dist(f[298],f[319]),40) -> extension (support ? 1) - 186tuples 0.60/0.62 c intension eq(dist(f[135],f[262]),40) -> extension (support ? 1) - 22tuples 0.60/0.63 c intension eq(dist(f[12],f[70]),40) -> extension (support ? 1) - 282tuples 0.60/0.63 c intension eq(dist(f[185],f[259]),40) -> extension (support ? 1) - 50tuples 0.60/0.64 c intension eq(dist(f[132],f[69]),40) -> extension (support ? 1) - 282tuples 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension eq(dist(f[0],f[197]),40) -> extension (support ? 1) - 22tuples 0.60/0.64 c intension eq(dist(f[120],f[290]),40) -> extension (support ? 1) - 34tuples 0.60/0.65 c intension eq(dist(f[22],f[327]),40) -> extension (support ? 1) - 282tuples 0.60/0.66 c intension eq(dist(f[1],f[313]),40) -> extension (support ? 1) - 186tuples 0.60/0.67 c intension eq(dist(f[169],f[95]),40) -> extension (support ? 1) - 282tuples 0.60/0.67 c intension eq(dist(f[230],f[93]),40) -> extension (support ? 1) - 78tuples 0.60/0.68 c intension eq(dist(f[19],f[274]),40) -> extension (support ? 1) - 282tuples 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension eq(dist(f[236],f[320]),40) -> extension (support ? 1) - 186tuples 0.60/0.69 c intension eq(dist(f[118],f[263]),40) -> extension (support ? 1) - 282tuples 0.69/0.70 c intension -> extension : same as previous 0.69/0.70 c intension -> extension : same as previous 0.69/0.70 c intension ne(dist(f[0],f[272]),264) -> extension (support ? 0) - 40tuples 0.69/0.71 c intension ne(dist(f[306],f[85]),19) -> extension (support ? 0) - 0tuples 0.69/0.72 c intension ne(dist(f[332],f[333]),397) -> extension (support ? 0) - 0tuples 0.69/0.72 c intension ne(dist(f[230],f[310]),265) -> extension (support ? 0) - 0tuples 0.69/0.72 c intension ne(dist(f[136],f[312]),11) -> extension (support ? 0) - 0tuples 0.69/0.73 c intension ne(dist(f[334],f[45]),44) -> extension (support ? 0) - 280tuples 0.69/0.74 c intension ne(dist(f[156],f[274]),119) -> extension (support ? 0) - 0tuples 0.69/0.74 c intension ne(dist(f[125],f[214]),275) -> extension (support ? 0) - 0tuples 0.69/0.75 c intension ne(dist(f[340],f[57]),69) -> extension (support ? 0) - 0tuples 0.69/0.76 c intension ne(dist(f[208],f[309]),12) -> extension (support ? 0) - 296tuples 0.69/0.77 c intension ne(dist(f[106],f[145]),220) -> extension (support ? 0) - 192tuples 0.69/0.78 c intension ne(dist(f[104],f[131]),230) -> extension (support ? 0) - 0tuples 0.69/0.79 c intension ne(dist(f[19],f[88]),13) -> extension (support ? 0) - 0tuples 0.79/0.80 c intension ne(dist(f[142],f[184]),252) -> extension (support ? 0) - 176tuples 0.79/0.81 c intension ne(dist(f[256],f[338]),32) -> extension (support ? 0) - 286tuples 0.79/0.81 c intension ne(dist(f[130],f[346]),287) -> extension (support ? 0) - 0tuples 0.79/0.82 c intension ne(dist(f[61],f[7]),139) -> extension (support ? 0) - 0tuples 0.79/0.82 c intension ne(dist(f[197],f[310]),63) -> extension (support ? 0) - 0tuples 0.79/0.82 c intension ne(dist(f[232],f[287]),7) -> extension (support ? 0) - 0tuples 0.79/0.83 c intension ne(dist(f[248],f[305]),12) -> extension (support ? 0) - 296tuples 0.79/0.84 c intension ne(dist(f[189],f[55]),126) -> extension (support ? 0) - 0tuples 0.79/0.84 c intension ne(dist(f[169],f[223]),387) -> extension (support ? 0) - 0tuples 0.79/0.85 c intension ne(dist(f[142],f[307]),2) -> extension (support ? 0) - 0tuples 0.79/0.85 c intension ne(dist(f[209],f[97]),126) -> extension (support ? 0) - 0tuples 0.79/0.86 c intension ne(dist(f[10],f[301]),227) -> extension (support ? 0) - 0tuples 0.79/0.86 c intension ne(dist(f[223],f[277]),196) -> extension (support ? 0) - 27tuples 0.79/0.86 c intension ne(dist(f[241],f[29]),61) -> extension (support ? 0) - 0tuples 0.79/0.87 c intension ne(dist(f[240],f[346]),6) -> extension (support ? 0) - 0tuples 0.79/0.88 c intension ne(dist(f[101],f[250]),20) -> extension (support ? 0) - 292tuples 0.79/0.89 c intension ne(dist(f[136],f[188]),115) -> extension (support ? 0) - 0tuples 0.89/0.90 c intension ne(dist(f[137],f[192]),202) -> extension (support ? 0) - 0tuples 0.89/0.92 c intension ne(dist(f[103],f[106]),290) -> extension (support ? 0) - 0tuples 0.89/0.93 c intension ne(dist(f[35],f[9]),137) -> extension (support ? 0) - 0tuples 0.89/0.93 c intension ne(dist(f[20],f[306]),56) -> extension (support ? 0) - 70tuples 0.89/0.93 c intension ne(dist(f[228],f[41]),99) -> extension (support ? 0) - 0tuples 0.89/0.94 c intension ne(dist(f[104],f[331]),133) -> extension (support ? 0) - 0tuples 0.89/0.95 c intension ne(dist(f[27],f[343]),8) -> extension (support ? 0) - 298tuples 0.89/0.96 c intension ne(dist(f[328],f[337]),36) -> extension (support ? 0) - 70tuples 0.89/0.97 c intension ne(dist(f[323],f[9]),25) -> extension (support ? 0) - 0tuples 0.89/0.97 c intension ne(dist(f[235],f[288]),207) -> extension (support ? 0) - 0tuples 0.89/0.97 c intension ne(dist(f[147],f[160]),18) -> extension (support ? 0) - 0tuples 0.89/0.98 c intension ne(dist(f[149],f[213]),131) -> extension (support ? 0) - 0tuples 0.89/0.98 c intension ne(dist(f[209],f[70]),27) -> extension (support ? 0) - 0tuples 0.89/0.98 c intension ne(dist(f[113],f[160]),17) -> extension (support ? 0) - 0tuples 0.89/0.99 c intension ne(dist(f[148],f[163]),40) -> extension (support ? 0) - 282tuples 0.89/0.99 c intension ne(dist(f[195],f[297]),10) -> extension (support ? 0) - 0tuples 0.89/1.00 c intension ne(dist(f[51],f[80]),22) -> extension (support ? 0) - 0tuples 0.89/1.00 c intension ne(dist(f[122],f[328]),49) -> extension (support ? 0) - 0tuples 0.89/1.00 c intension ne(dist(f[156],f[312]),121) -> extension (support ? 0) - 0tuples 1.00/1.01 c intension ne(dist(f[181],f[227]),196) -> extension (support ? 0) - 204tuples 1.00/1.02 c intension ne(dist(f[100],f[282]),21) -> extension (support ? 0) - 0tuples 1.00/1.02 c intension ne(dist(f[228],f[296]),6) -> extension (support ? 0) - 0tuples 1.00/1.03 c intension ne(dist(f[171],f[260]),1) -> extension (support ? 0) - 0tuples 1.00/1.03 c intension ne(dist(f[121],f[340]),3) -> extension (support ? 0) - 0tuples 1.00/1.05 c intension ne(dist(f[154],f[306]),70) -> extension (support ? 0) - 0tuples 1.00/1.05 c intension ne(dist(f[216],f[259]),216) -> extension (support ? 0) - 35tuples 1.00/1.05 c intension ne(dist(f[205],f[313]),195) -> extension (support ? 0) - 0tuples 1.00/1.05 c intension ne(dist(f[102],f[92]),59) -> extension (support ? 0) - 0tuples 1.00/1.06 c intension ne(dist(f[16],f[17]),90) -> extension (support ? 0) - 0tuples 1.00/1.06 c intension ne(dist(f[193],f[6]),9) -> extension (support ? 0) - 0tuples 1.00/1.06 c intension ne(dist(f[219],f[332]),276) -> extension (support ? 0) - 27tuples 1.00/1.06 c intension ne(dist(f[235],f[265]),23) -> extension (support ? 0) - 0tuples 1.00/1.07 c intension ne(dist(f[164],f[211]),10) -> extension (support ? 0) - 0tuples 1.00/1.08 c intension ne(dist(f[199],f[91]),15) -> extension (support ? 0) - 0tuples 1.00/1.08 c intension ne(dist(f[15],f[238]),8) -> extension (support ? 0) - 42tuples 1.00/1.08 c intension ne(dist(f[265],f[268]),7) -> extension (support ? 0) - 0tuples 1.00/1.09 c intension ne(dist(f[199],f[285]),230) -> extension (support ? 0) - 0tuples 1.00/1.10 c intension ne(dist(f[105],f[30]),77) -> extension (support ? 0) - 0tuples 1.09/1.11 c intension ne(dist(f[291],f[81]),1) -> extension (support ? 0) - 0tuples 1.09/1.12 c intension ne(dist(f[114],f[274]),107) -> extension (support ? 0) - 0tuples 1.09/1.13 c intension ne(dist(f[198],f[87]),63) -> extension (support ? 0) - 0tuples 1.09/1.14 c intension ne(dist(f[200],f[93]),144) -> extension (support ? 0) - 9tuples 1.09/1.15 c intension ne(dist(f[189],f[44]),150) -> extension (support ? 0) - 0tuples 1.09/1.16 c intension ne(dist(f[191],f[237]),111) -> extension (support ? 0) - 0tuples 1.09/1.17 c intension ne(dist(f[243],f[81]),428) -> extension (support ? 0) - 88tuples 1.09/1.17 c intension ne(dist(f[133],f[41]),15) -> extension (support ? 0) - 0tuples 1.09/1.17 c intension ne(dist(f[259],f[302]),87) -> extension (support ? 0) - 0tuples 1.09/1.17 c intension ne(dist(f[16],f[212]),15) -> extension (support ? 0) - 0tuples 1.09/1.18 c intension ne(dist(f[112],f[45]),10) -> extension (support ? 0) - 0tuples 1.09/1.19 c intension ne(dist(f[260],f[84]),7) -> extension (support ? 0) - 0tuples 1.09/1.19 c intension ne(dist(f[164],f[185]),48) -> extension (support ? 0) - 70tuples 1.19/1.20 c intension ne(dist(f[188],f[46]),73) -> extension (support ? 0) - 0tuples 1.19/1.22 c intension ne(dist(f[134],f[337]),148) -> extension (support ? 0) - 228tuples 1.19/1.23 c intension ne(dist(f[121],f[280]),47) -> extension (support ? 0) - 0tuples 1.19/1.23 c intension ne(dist(f[343],f[4]),43) -> extension (support ? 0) - 0tuples 1.19/1.23 c intension ne(dist(f[10],f[330]),438) -> extension (support ? 0) - 0tuples 1.19/1.23 c intension ne(dist(f[114],f[143]),2) -> extension (support ? 0) - 0tuples 1.19/1.24 c intension ne(dist(f[305],f[44]),67) -> extension (support ? 0) - 0tuples 1.19/1.26 c intension ne(dist(f[136],f[343]),55) -> extension (support ? 0) - 0tuples 1.19/1.26 c intension ne(dist(f[230],f[305]),92) -> extension (support ? 0) - 98tuples 1.19/1.26 c intension ne(dist(f[126],f[16]),312) -> extension (support ? 0) - 21tuples 1.19/1.26 c intension ne(dist(f[158],f[20]),79) -> extension (support ? 0) - 0tuples 1.19/1.27 c intension ne(dist(f[302],f[337]),46) -> extension (support ? 0) - 0tuples 1.19/1.28 c intension ne(dist(f[49],f[54]),453) -> extension (support ? 0) - 0tuples 1.19/1.29 c intension ne(dist(f[62],f[84]),176) -> extension (support ? 0) - 214tuples 1.29/1.30 c intension ne(dist(f[29],f[86]),13) -> extension (support ? 0) - 0tuples 1.29/1.31 c intension ne(dist(f[12],f[3]),25) -> extension (support ? 0) - 0tuples 1.29/1.32 c intension ne(dist(f[81],f[85]),170) -> extension (support ? 0) - 0tuples 1.29/1.33 c intension ne(dist(f[327],f[78]),30) -> extension (support ? 0) - 0tuples 1.29/1.33 c intension ne(dist(f[16],f[306]),212) -> extension (support ? 0) - 21tuples 1.29/1.33 c intension ne(dist(f[135],f[145]),55) -> extension (support ? 0) - 0tuples 1.29/1.33 c intension ne(dist(f[252],f[286]),212) -> extension (support ? 0) - 35tuples 1.29/1.34 c intension ne(dist(f[198],f[294]),500) -> extension (support ? 0) - 52tuples 1.29/1.35 c intension ne(dist(f[306],f[87]),227) -> extension (support ? 0) - 0tuples 1.29/1.35 c intension ne(dist(f[315],f[326]),7) -> extension (support ? 0) - 0tuples 1.29/1.36 c intension ne(dist(f[192],f[269]),258) -> extension (support ? 0) - 0tuples 1.29/1.36 c intension ne(dist(f[234],f[53]),28) -> extension (support ? 0) - 54tuples 1.29/1.38 c intension ne(dist(f[181],f[275]),156) -> extension (support ? 0) - 224tuples 1.29/1.39 c intension ne(dist(f[140],f[51]),129) -> extension (support ? 0) - 0tuples 1.39/1.40 c intension ne(dist(f[325],f[8]),35) -> extension (support ? 0) - 0tuples 1.39/1.40 c intension ne(dist(f[316],f[47]),19) -> extension (support ? 0) - 0tuples 1.39/1.41 c intension ne(dist(f[229],f[295]),36) -> extension (support ? 0) - 284tuples 1.39/1.41 c intension ne(dist(f[130],f[178]),11) -> extension (support ? 0) - 0tuples 1.39/1.41 c intension ne(dist(f[139],f[198]),132) -> extension (support ? 0) - 98tuples 1.39/1.42 c intension ne(dist(f[143],f[24]),9) -> extension (support ? 0) - 0tuples 1.39/1.42 c intension ne(dist(f[230],f[52]),11) -> extension (support ? 0) - 0tuples 1.39/1.42 c intension ne(dist(f[28],f[333]),78) -> extension (support ? 0) - 0tuples 1.39/1.42 c intension ne(dist(f[336],f[75]),99) -> extension (support ? 0) - 0tuples 1.39/1.43 c intension ne(dist(f[110],f[182]),109) -> extension (support ? 0) - 0tuples 1.39/1.44 c intension ne(dist(f[164],f[73]),73) -> extension (support ? 0) - 0tuples 1.39/1.44 c intension ne(dist(f[163],f[328]),188) -> extension (support ? 0) - 39tuples 1.39/1.45 c intension ne(dist(f[106],f[243]),46) -> extension (support ? 0) - 0tuples 1.39/1.45 c intension ne(dist(f[272],f[304]),58) -> extension (support ? 0) - 0tuples 1.39/1.45 c intension ne(dist(f[160],f[345]),92) -> extension (support ? 0) - 9tuples 1.39/1.46 c intension ne(dist(f[115],f[215]),23) -> extension (support ? 0) - 0tuples 1.39/1.47 c intension ne(dist(f[136],f[324]),7) -> extension (support ? 0) - 0tuples 1.39/1.47 c intension ne(dist(f[174],f[7]),158) -> extension (support ? 0) - 0tuples 1.39/1.47 c intension ne(dist(f[166],f[286]),15) -> extension (support ? 0) - 0tuples 1.39/1.47 c intension ne(dist(f[296],f[72]),76) -> extension (support ? 0) - 98tuples 1.39/1.48 c intension ne(dist(f[112],f[49]),50) -> extension (support ? 0) - 0tuples 1.39/1.49 c intension ne(dist(f[310],f[95]),322) -> extension (support ? 0) - 0tuples 1.39/1.49 c intension ne(dist(f[198],f[6]),18) -> extension (support ? 0) - 0tuples 1.49/1.50 c intension ne(dist(f[250],f[32]),96) -> extension (support ? 0) - 254tuples 1.49/1.51 c intension ne(dist(f[122],f[70]),344) -> extension (support ? 0) - 82tuples 1.49/1.51 c intension ne(dist(f[209],f[320]),17) -> extension (support ? 0) - 0tuples 1.49/1.52 c intension ne(dist(f[111],f[227]),11) -> extension (support ? 0) - 0tuples 1.49/1.53 c intension ne(dist(f[165],f[346]),19) -> extension (support ? 0) - 0tuples 1.49/1.53 c intension ne(dist(f[16],f[229]),189) -> extension (support ? 0) - 0tuples 1.49/1.53 c intension ne(dist(f[63],f[81]),10) -> extension (support ? 0) - 0tuples 1.49/1.53 c intension ne(dist(f[162],f[1]),296) -> extension (support ? 0) - 21tuples 1.49/1.53 c intension ne(dist(f[290],f[93]),219) -> extension (support ? 0) - 0tuples 1.49/1.54 c intension ne(dist(f[174],f[320]),42) -> extension (support ? 0) - 0tuples 1.49/1.55 c intension ne(dist(f[114],f[303]),340) -> extension (support ? 0) - 132tuples 1.49/1.56 c intension ne(dist(f[101],f[307]),175) -> extension (support ? 0) - 0tuples 1.49/1.57 c intension ne(dist(f[111],f[168]),354) -> extension (support ? 0) - 0tuples 1.49/1.58 c intension ne(dist(f[186],f[221]),107) -> extension (support ? 0) - 0tuples 1.49/1.59 c intension ne(dist(f[154],f[225]),32) -> extension (support ? 0) - 286tuples 1.59/1.60 c intension ne(dist(f[115],f[49]),178) -> extension (support ? 0) - 0tuples 1.59/1.60 c intension ne(dist(f[124],f[287]),171) -> extension (support ? 0) - 0tuples 1.59/1.60 c intension ne(dist(f[204],f[38]),14) -> extension (support ? 0) - 0tuples 1.59/1.60 c intension ne(dist(f[187],f[196]),45) -> extension (support ? 0) - 0tuples 1.59/1.61 c intension ne(dist(f[283],f[303]),6) -> extension (support ? 0) - 0tuples 1.59/1.61 c intension ne(dist(f[230],f[320]),150) -> extension (support ? 0) - 0tuples 1.59/1.62 c intension ne(dist(f[199],f[278]),78) -> extension (support ? 0) - 0tuples 1.59/1.62 c intension ne(dist(f[177],f[340]),157) -> extension (support ? 0) - 0tuples 1.59/1.62 c intension ne(dist(f[130],f[332]),14) -> extension (support ? 0) - 0tuples 1.59/1.63 c intension ne(dist(f[186],f[52]),22) -> extension (support ? 0) - 0tuples 1.59/1.63 c intension ne(dist(f[178],f[41]),6) -> extension (support ? 0) - 0tuples 1.59/1.63 c intension ne(dist(f[242],f[342]),96) -> extension (support ? 0) - 18tuples 1.59/1.64 c intension ne(dist(f[305],f[85]),175) -> extension (support ? 0) - 0tuples 1.59/1.65 c intension ne(dist(f[171],f[274]),14) -> extension (support ? 0) - 0tuples 1.59/1.67 c intension ne(dist(f[192],f[219]),43) -> extension (support ? 0) - 0tuples 1.59/1.68 c intension ne(dist(f[300],f[337]),69) -> extension (support ? 0) - 0tuples 1.59/1.69 c intension ne(dist(f[181],f[240]),405) -> extension (support ? 0) - 0tuples 1.59/1.69 c intension ne(dist(f[202],f[212]),91) -> extension (support ? 0) - 0tuples 1.59/1.69 c intension ne(dist(f[207],f[240]),8) -> extension (support ? 0) - 70tuples 1.59/1.70 c intension ne(dist(f[232],f[274]),131) -> extension (support ? 0) - 0tuples 1.69/1.70 c intension ne(dist(f[36],f[41]),158) -> extension (support ? 0) - 0tuples 1.69/1.70 c intension ne(dist(f[182],f[219]),28) -> extension (support ? 0) - 166tuples 1.69/1.72 c intension ne(dist(f[115],f[334]),33) -> extension (support ? 0) - 0tuples 1.69/1.72 c intension ne(dist(f[304],f[71]),120) -> extension (support ? 0) - 3tuples 1.69/1.73 c intension ne(dist(f[299],f[306]),75) -> extension (support ? 0) - 0tuples 1.69/1.74 c intension ne(dist(f[288],f[50]),32) -> extension (support ? 0) - 286tuples 1.69/1.75 c intension ne(dist(f[206],f[255]),10) -> extension (support ? 0) - 0tuples 1.69/1.75 c intension ne(dist(f[187],f[238]),169) -> extension (support ? 0) - 0tuples 1.69/1.76 c intension ne(dist(f[218],f[219]),274) -> extension (support ? 0) - 0tuples 1.69/1.77 c intension ne(dist(f[158],f[306]),212) -> extension (support ? 0) - 196tuples 1.69/1.77 c intension ne(dist(f[116],f[282]),220) -> extension (support ? 0) - 27tuples 1.69/1.77 c intension ne(dist(f[240],f[5]),68) -> extension (support ? 0) - 42tuples 1.69/1.78 c intension ne(dist(f[26],f[93]),10) -> extension (support ? 0) - 0tuples 1.69/1.78 c intension ne(dist(f[144],f[158]),8) -> extension (support ? 0) - 298tuples 1.69/1.79 c intension ne(dist(f[110],f[157]),134) -> extension (support ? 0) - 0tuples 1.69/1.79 c intension ne(dist(f[315],f[7]),149) -> extension (support ? 0) - 0tuples 1.79/1.80 c intension ne(dist(f[211],f[229]),142) -> extension (support ? 0) - 0tuples 1.79/1.81 c intension ne(dist(f[213],f[289]),101) -> extension (support ? 0) - 0tuples 1.79/1.81 c intension ne(dist(f[169],f[265]),393) -> extension (support ? 0) - 0tuples 1.79/1.81 c intension ne(dist(f[267],f[83]),3) -> extension (support ? 0) - 0tuples 1.79/1.81 c intension ne(dist(f[259],f[76]),85) -> extension (support ? 0) - 0tuples 1.79/1.82 c intension ne(dist(f[158],f[98]),120) -> extension (support ? 0) - 242tuples 1.79/1.82 c intension ne(dist(f[108],f[48]),199) -> extension (support ? 0) - 0tuples 1.79/1.82 c intension ne(dist(f[177],f[328]),29) -> extension (support ? 0) - 0tuples 1.79/1.83 c intension ne(dist(f[164],f[90]),12) -> extension (support ? 0) - 42tuples 1.79/1.84 c intension ne(dist(f[131],f[69]),138) -> extension (support ? 0) - 0tuples 1.79/1.84 c intension ne(dist(f[10],f[304]),13) -> extension (support ? 0) - 0tuples 1.79/1.84 c intension ne(dist(f[251],f[330]),183) -> extension (support ? 0) - 0tuples 1.79/1.84 c intension ne(dist(f[142],f[83]),113) -> extension (support ? 0) - 0tuples 1.79/1.84 c intension ne(dist(f[329],f[53]),132) -> extension (support ? 0) - 3tuples 1.79/1.85 c intension ne(dist(f[237],f[73]),3) -> extension (support ? 0) - 0tuples 1.79/1.86 c intension ne(dist(f[159],f[176]),32) -> extension (support ? 0) - 150tuples 1.79/1.86 c intension ne(dist(f[194],f[94]),2) -> extension (support ? 0) - 0tuples 1.79/1.86 c intension ne(dist(f[233],f[242]),198) -> extension (support ? 0) - 0tuples 1.79/1.87 c intension ne(dist(f[318],f[66]),39) -> extension (support ? 0) - 0tuples 1.79/1.88 c intension ne(dist(f[227],f[294]),103) -> extension (support ? 0) - 0tuples 1.79/1.89 c intension ne(dist(f[153],f[38]),100) -> extension (support ? 0) - 252tuples 1.79/1.89 c intension ne(dist(f[109],f[93]),30) -> extension (support ? 0) - 0tuples 1.79/1.90 c intension ne(dist(f[232],f[93]),306) -> extension (support ? 0) - 0tuples 1.89/1.91 c intension ne(dist(f[101],f[338]),171) -> extension (support ? 0) - 0tuples 1.89/1.91 c intension ne(dist(f[133],f[25]),94) -> extension (support ? 0) - 0tuples 1.89/1.92 c intension ne(dist(f[152],f[288]),292) -> extension (support ? 0) - 156tuples 1.89/1.92 c intension ne(dist(f[185],f[61]),3) -> extension (support ? 0) - 0tuples 1.89/1.93 c intension ne(dist(f[139],f[302]),31) -> extension (support ? 0) - 0tuples 1.89/1.93 c intension ne(dist(f[155],f[215]),326) -> extension (support ? 0) - 0tuples 1.89/1.94 c intension ne(dist(f[291],f[40]),48) -> extension (support ? 0) - 278tuples 1.89/1.94 c intension ne(dist(f[152],f[160]),16) -> extension (support ? 0) - 70tuples 1.89/1.95 c intension ne(dist(f[22],f[27]),142) -> extension (support ? 0) - 0tuples 1.89/1.95 c intension ne(dist(f[339],f[76]),141) -> extension (support ? 0) - 0tuples 1.89/1.97 c intension ne(dist(f[137],f[273]),58) -> extension (support ? 0) - 0tuples 1.89/1.98 c intension ne(dist(f[165],f[92]),1) -> extension (support ? 0) - 0tuples 1.89/1.98 c intension ne(dist(f[214],f[284]),241) -> extension (support ? 0) - 0tuples 1.89/1.99 c intension ne(dist(f[38],f[55]),13) -> extension (support ? 0) - 0tuples 1.89/2.00 c intension ne(dist(f[56],f[97]),53) -> extension (support ? 0) - 0tuples 1.89/2.00 c intension ne(dist(f[146],f[242]),31) -> extension (support ? 0) - 0tuples 1.99/2.01 c intension ne(dist(f[27],f[56]),64) -> extension (support ? 0) - 270tuples 1.99/2.02 c intension ne(dist(f[270],f[44]),445) -> extension (support ? 0) - 0tuples 1.99/2.03 c intension ne(dist(f[229],f[263]),199) -> extension (support ? 0) - 0tuples 1.99/2.04 c intension ne(dist(f[177],f[9]),107) -> extension (support ? 0) - 0tuples 1.99/2.05 c intension ne(dist(f[199],f[259]),49) -> extension (support ? 0) - 0tuples 1.99/2.06 c intension ne(dist(f[261],f[327]),22) -> extension (support ? 0) - 0tuples 1.99/2.07 c intension ne(dist(f[112],f[195]),41) -> extension (support ? 0) - 0tuples 1.99/2.08 c intension ne(dist(f[288],f[88]),10) -> extension (support ? 0) - 0tuples 1.99/2.09 c intension ne(dist(f[131],f[91]),42) -> extension (support ? 0) - 0tuples 1.99/2.09 c intension ne(dist(f[212],f[49]),152) -> extension (support ? 0) - 42tuples 1.99/2.09 c intension ne(dist(f[300],f[332]),4) -> extension (support ? 0) - 54tuples 1.99/2.10 c intension ne(dist(f[263],f[318]),318) -> extension (support ? 0) - 0tuples 2.10/2.11 c intension ne(dist(f[194],f[315]),51) -> extension (support ? 0) - 0tuples 2.10/2.11 c intension ne(dist(f[185],f[229]),107) -> extension (support ? 0) - 0tuples 2.10/2.12 c intension ne(dist(f[188],f[67]),417) -> extension (support ? 0) - 0tuples 2.10/2.12 c intension ne(dist(f[151],f[342]),197) -> extension (support ? 0) - 0tuples 2.10/2.13 c intension ne(dist(f[323],f[339]),5) -> extension (support ? 0) - 0tuples 2.10/2.14 c intension ne(dist(f[63],f[64]),58) -> extension (support ? 0) - 0tuples 2.10/2.15 c intension ne(dist(f[216],f[339]),48) -> extension (support ? 0) - 278tuples 2.10/2.16 c intension ne(dist(f[134],f[73]),69) -> extension (support ? 0) - 0tuples 2.10/2.17 c intension ne(dist(f[194],f[263]),77) -> extension (support ? 0) - 0tuples 2.10/2.18 c intension ne(dist(f[308],f[57]),63) -> extension (support ? 0) - 0tuples 2.10/2.18 c intension ne(dist(f[325],f[5]),5) -> extension (support ? 0) - 0tuples 2.10/2.19 c intension ne(dist(f[165],f[50]),80) -> extension (support ? 0) - 262tuples 2.10/2.19 c intension ne(dist(f[159],f[210]),88) -> extension (support ? 0) - 88tuples 2.10/2.19 c intension ne(dist(f[133],f[216]),13) -> extension (support ? 0) - 0tuples 2.18/2.21 c intension ne(dist(f[132],f[338]),4) -> extension (support ? 0) - 300tuples 2.18/2.21 c intension ne(dist(f[261],f[83]),149) -> extension (support ? 0) - 0tuples 2.18/2.22 c intension ne(dist(f[152],f[306]),56) -> extension (support ? 0) - 274tuples 2.18/2.23 c intension ne(dist(f[260],f[42]),50) -> extension (support ? 0) - 0tuples 2.18/2.23 c intension ne(dist(f[137],f[326]),19) -> extension (support ? 0) - 0tuples 2.18/2.24 c intension ne(dist(f[336],f[47]),18) -> extension (support ? 0) - 0tuples 2.18/2.25 c intension ne(dist(f[183],f[191]),1) -> extension (support ? 0) - 0tuples 2.18/2.25 c intension ne(dist(f[313],f[80]),251) -> extension (support ? 0) - 0tuples 2.18/2.26 c intension ne(dist(f[21],f[341]),92) -> extension (support ? 0) - 256tuples 2.18/2.26 c intension ne(dist(f[252],f[302]),44) -> extension (support ? 0) - 70tuples 2.18/2.27 c intension ne(dist(f[184],f[97]),110) -> extension (support ? 0) - 0tuples 2.18/2.28 c intension ne(dist(f[152],f[255]),272) -> extension (support ? 0) - 166tuples 2.18/2.28 c intension ne(dist(f[174],f[83]),55) -> extension (support ? 0) - 0tuples 2.18/2.29 c intension ne(dist(f[328],f[49]),345) -> extension (support ? 0) - 0tuples 2.18/2.29 c intension ne(dist(f[229],f[269]),25) -> extension (support ? 0) - 0tuples 2.28/2.30 c intension ne(dist(f[126],f[221]),281) -> extension (support ? 0) - 0tuples 2.28/2.31 c intension ne(dist(f[161],f[263]),74) -> extension (support ? 0) - 0tuples 2.28/2.31 c intension ne(dist(f[302],f[348]),128) -> extension (support ? 0) - 142tuples 2.28/2.32 c intension ne(dist(f[64],f[87]),15) -> extension (support ? 0) - 0tuples 2.28/2.32 c intension ne(dist(f[182],f[298]),83) -> extension (support ? 0) - 0tuples 2.28/2.33 c intension ne(dist(f[209],f[347]),82) -> extension (support ? 0) - 0tuples 2.28/2.34 c intension ne(dist(f[165],f[279]),81) -> extension (support ? 0) - 0tuples 2.28/2.34 c intension ne(dist(f[39],f[74]),97) -> extension (support ? 0) - 0tuples 2.28/2.34 c intension ne(dist(f[154],f[179]),31) -> extension (support ? 0) - 0tuples 2.28/2.35 c intension ne(dist(f[23],f[278]),385) -> extension (support ? 0) - 0tuples 2.28/2.36 c intension ne(dist(f[306],f[98]),56) -> extension (support ? 0) - 274tuples 2.28/2.37 c intension ne(dist(f[323],f[35]),4) -> extension (support ? 0) - 300tuples 2.28/2.37 c intension ne(dist(f[196],f[77]),118) -> extension (support ? 0) - 0tuples 2.28/2.37 c intension ne(dist(f[141],f[87]),60) -> extension (support ? 0) - 70tuples 2.28/2.38 c intension ne(dist(f[210],f[58]),8) -> extension (support ? 0) - 205tuples 2.28/2.38 c intension ne(dist(f[119],f[144]),8) -> extension (support ? 0) - 98tuples 2.28/2.39 c intension ne(dist(f[15],f[79]),14) -> extension (support ? 0) - 0tuples 2.39/2.40 c intension ne(dist(f[156],f[247]),212) -> extension (support ? 0) - 196tuples 2.39/2.40 c intension ne(dist(f[123],f[60]),35) -> extension (support ? 0) - 0tuples 2.39/2.40 c intension ne(dist(f[276],f[336]),254) -> extension (support ? 0) - 0tuples 2.39/2.40 c intension ne(dist(f[108],f[161]),100) -> extension (support ? 0) - 0tuples 2.39/2.41 c intension ne(dist(f[244],f[45]),10) -> extension (support ? 0) - 0tuples 2.39/2.43 c intension ne(dist(f[140],f[164]),18) -> extension (support ? 0) - 0tuples 2.39/2.43 c intension ne(dist(f[121],f[172]),2) -> extension (support ? 0) - 0tuples 2.39/2.44 c intension ne(dist(f[195],f[237]),48) -> extension (support ? 0) - 278tuples 2.39/2.45 c intension ne(dist(f[314],f[86]),26) -> extension (support ? 0) - 0tuples 2.39/2.46 c intension ne(dist(f[280],f[85]),6) -> extension (support ? 0) - 0tuples 2.39/2.47 c intension ne(dist(f[293],f[305]),38) -> extension (support ? 0) - 0tuples 2.39/2.48 c intension ne(dist(f[148],f[260]),50) -> extension (support ? 0) - 0tuples 2.39/2.49 c intension ne(dist(f[101],f[177]),54) -> extension (support ? 0) - 0tuples 2.49/2.50 c intension ne(dist(f[141],f[279]),101) -> extension (support ? 0) - 0tuples 2.49/2.51 c intension ne(dist(f[211],f[318]),302) -> extension (support ? 0) - 0tuples 2.49/2.51 c intension ne(dist(f[274],f[89]),24) -> extension (support ? 0) - 54tuples 2.49/2.51 c intension ne(dist(f[195],f[90]),201) -> extension (support ? 0) - 0tuples 2.49/2.52 c intension ne(dist(f[292],f[9]),5) -> extension (support ? 0) - 0tuples 2.49/2.52 c intension ne(dist(f[279],f[37]),390) -> extension (support ? 0) - 0tuples 2.49/2.53 c intension ne(dist(f[198],f[64]),162) -> extension (support ? 0) - 0tuples 2.49/2.53 c intension ne(dist(f[18],f[284]),8) -> extension (support ? 0) - 38tuples 2.49/2.54 c intension ne(dist(f[306],f[59]),162) -> extension (support ? 0) - 0tuples 2.49/2.54 c intension ne(dist(f[186],f[41]),75) -> extension (support ? 0) - 0tuples 2.49/2.56 c intension ne(dist(f[216],f[250]),11) -> extension (support ? 0) - 0tuples 2.49/2.56 c intension ne(dist(f[215],f[226]),5) -> extension (support ? 0) - 0tuples 2.49/2.56 c intension ne(dist(f[208],f[217]),143) -> extension (support ? 0) - 0tuples 2.49/2.57 c intension ne(dist(f[150],f[330]),251) -> extension (support ? 0) - 0tuples 2.49/2.57 c intension ne(dist(f[130],f[46]),27) -> extension (support ? 0) - 0tuples 2.49/2.57 c intension ne(dist(f[39],f[80]),434) -> extension (support ? 0) - 0tuples 2.49/2.58 c intension ne(dist(f[298],f[321]),287) -> extension (support ? 0) - 0tuples 2.49/2.58 c intension ne(dist(f[150],f[210]),76) -> extension (support ? 0) - 88tuples 2.49/2.59 c intension ne(dist(f[136],f[66]),54) -> extension (support ? 0) - 0tuples 2.59/2.60 c intension ne(dist(f[168],f[273]),123) -> extension (support ? 0) - 0tuples 2.59/2.60 c intension ne(dist(f[111],f[312]),21) -> extension (support ? 0) - 0tuples 2.59/2.61 c intension ne(dist(f[101],f[292]),8) -> extension (support ? 0) - 298tuples 2.59/2.62 c intension ne(dist(f[121],f[157]),177) -> extension (support ? 0) - 0tuples 2.59/2.63 c intension ne(dist(f[194],f[40]),111) -> extension (support ? 0) - 0tuples 2.59/2.63 c intension ne(dist(f[11],f[303]),3) -> extension (support ? 0) - 0tuples 2.59/2.63 c intension ne(dist(f[26],f[313]),392) -> extension (support ? 0) - 27tuples 2.59/2.64 c intension ne(dist(f[49],f[87]),123) -> extension (support ? 0) - 0tuples 2.59/2.65 c intension ne(dist(f[45],f[87]),108) -> extension (support ? 0) - 248tuples 2.59/2.65 c intension ne(dist(f[111],f[2]),91) -> extension (support ? 0) - 0tuples 2.59/2.66 c intension ne(dist(f[124],f[184]),64) -> extension (support ? 0) - 158tuples 2.59/2.66 c intension ne(dist(f[132],f[322]),91) -> extension (support ? 0) - 0tuples 2.59/2.67 c intension ne(dist(f[28],f[47]),16) -> extension (support ? 0) - 54tuples 2.59/2.67 c intension ne(dist(f[2],f[60]),37) -> extension (support ? 0) - 0tuples 2.59/2.67 c intension ne(dist(f[303],f[6]),42) -> extension (support ? 0) - 0tuples 2.59/2.68 c intension ne(dist(f[170],f[267]),88) -> extension (support ? 0) - 258tuples 2.59/2.68 c intension ne(dist(f[114],f[328]),191) -> extension (support ? 0) - 0tuples 2.59/2.68 c intension ne(dist(f[128],f[242]),85) -> extension (support ? 0) - 0tuples 2.59/2.68 c intension ne(dist(f[196],f[75]),181) -> extension (support ? 0) - 0tuples 2.59/2.69 c intension ne(dist(f[191],f[319]),74) -> extension (support ? 0) - 0tuples 2.69/2.70 c intension ne(dist(f[196],f[296]),38) -> extension (support ? 0) - 0tuples 2.69/2.70 c intension ne(dist(f[223],f[347]),117) -> extension (support ? 0) - 0tuples 2.69/2.70 c intension ne(dist(f[175],f[95]),62) -> extension (support ? 0) - 0tuples 2.69/2.70 c intension ne(dist(f[120],f[258]),127) -> extension (support ? 0) - 0tuples 2.69/2.70 c intension ne(dist(f[240],f[4]),75) -> extension (support ? 0) - 0tuples 2.69/2.71 c intension ne(dist(f[171],f[266]),21) -> extension (support ? 0) - 0tuples 2.69/2.72 c intension ne(dist(f[294],f[55]),376) -> extension (support ? 0) - 114tuples 2.69/2.72 c intension ne(dist(f[181],f[89]),313) -> extension (support ? 0) - 0tuples 2.69/2.72 c intension ne(dist(f[266],f[349]),4) -> extension (support ? 0) - 42tuples 2.69/2.72 c intension ne(dist(f[280],f[65]),15) -> extension (support ? 0) - 0tuples 2.69/2.73 c intension ne(dist(f[152],f[335]),75) -> extension (support ? 0) - 0tuples 2.69/2.73 c intension ne(dist(f[230],f[297]),223) -> extension (support ? 0) - 0tuples 2.69/2.74 c intension ne(dist(f[174],f[273]),118) -> extension (support ? 0) - 0tuples 2.69/2.74 c intension ne(dist(f[21],f[349]),35) -> extension (support ? 0) - 0tuples 2.69/2.75 c intension ne(dist(f[102],f[39]),28) -> extension (support ? 0) - 70tuples 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.75 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.76 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.77 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.78 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.69/2.79 c AllEqual constraint using 1 generic x=y constraints 2.79/2.85 c intension eq(dist(f[0],f[90]),d[0]) -> extension (support ? 1) - 441tuples 2.79/2.86 c intension eq(dist(f[0],f[135]),d[2]) -> extension (support ? 1) - 441tuples 2.79/2.89 c intension eq(dist(f[0],f[187]),d[3]) -> extension (support ? 1) - 735tuples 2.88/2.90 c intension -> extension : same as previous 2.88/2.90 c intension eq(dist(f[0],f[347]),d[7]) -> extension (support ? 1) - 441tuples 2.88/2.93 c intension eq(dist(f[185],f[2]),d[18]) -> extension (support ? 1) - 1225tuples 2.88/2.96 c intension eq(dist(f[207],f[2]),d[20]) -> extension (support ? 1) - 1225tuples 2.88/2.99 c intension -> extension : same as previous 2.88/2.99 c intension eq(dist(f[2],f[329]),d[24]) -> extension (support ? 1) - 735tuples 2.99/3.01 c intension eq(dist(f[5],f[75]),d[47]) -> extension (support ? 1) - 441tuples 2.99/3.03 c intension eq(dist(f[120],f[5]),d[48]) -> extension (support ? 1) - 567tuples 2.99/3.03 c intension eq(dist(f[143],f[5]),d[49]) -> extension (support ? 1) - 441tuples 2.99/3.05 c intension eq(dist(f[311],f[5]),d[51]) -> extension (support ? 1) - 567tuples 2.99/3.07 c intension eq(dist(f[29],f[6]),d[53]) -> extension (support ? 1) - 729tuples 2.99/3.10 c intension -> extension : same as previous 2.99/3.10 c intension eq(dist(f[249],f[6]),d[56]) -> extension (support ? 1) - 945tuples 3.10/3.12 c intension eq(dist(f[271],f[6]),d[58]) -> extension (support ? 1) - 567tuples 3.10/3.13 c intension eq(dist(f[311],f[6]),d[61]) -> extension (support ? 1) - 729tuples 3.10/3.16 c intension eq(dist(f[326],f[6]),d[62]) -> extension (support ? 1) - 945tuples 3.10/3.17 c intension eq(dist(f[10],f[7]),d[64]) -> extension (support ? 1) - 441tuples 3.19/3.22 c intension eq(dist(f[13],f[7]),d[65]) -> extension (support ? 1) - 1029tuples 3.19/3.23 c intension eq(dist(f[48],f[7]),d[67]) -> extension (support ? 1) - 441tuples 3.19/3.25 c intension eq(dist(f[200],f[7]),d[72]) -> extension (support ? 1) - 567tuples 3.19/3.26 c intension eq(dist(f[10],f[89]),d[93]) -> extension (support ? 1) - 567tuples 3.29/3.31 c intension eq(dist(f[10],f[119]),d[94]) -> extension (support ? 1) - 1029tuples 3.29/3.32 c intension eq(dist(f[10],f[179]),d[96]) -> extension (support ? 1) - 441tuples 3.29/3.37 c intension eq(dist(f[10],f[239]),d[97]) -> extension (support ? 1) - 1029tuples 3.29/3.38 c intension eq(dist(f[10],f[342]),d[99]) -> extension (support ? 1) - 441tuples 3.39/3.41 c intension eq(dist(f[11],f[48]),d[103]) -> extension (support ? 1) - 1029tuples 3.39/3.48 c intension eq(dist(f[11],f[53]),d[105]) -> extension (support ? 1) - 1323tuples 3.49/3.53 c intension eq(dist(f[11],f[179]),d[109]) -> extension (support ? 1) - 1029tuples 3.49/3.59 c intension eq(dist(f[108],f[13]),d[124]) -> extension (support ? 1) - 1029tuples 3.59/3.62 c intension eq(dist(f[13],f[258]),d[129]) -> extension (support ? 1) - 1029tuples 3.59/3.65 c intension eq(dist(f[16],f[37]),d[149]) -> extension (support ? 1) - 735tuples 3.59/3.67 c intension -> extension : same as previous 3.59/3.67 c intension eq(dist(f[16],f[259]),d[154]) -> extension (support ? 1) - 735tuples 3.59/3.69 c intension eq(dist(f[16],f[311]),d[156]) -> extension (support ? 1) - 567tuples 3.69/3.72 c intension eq(dist(f[18],f[203]),d[166]) -> extension (support ? 1) - 1225tuples 3.69/3.75 c intension eq(dist(f[18],f[326]),d[169]) -> extension (support ? 1) - 1225tuples 3.69/3.78 c intension eq(dist(f[20],f[37]),d[178]) -> extension (support ? 1) - 1225tuples 3.79/3.81 c intension eq(dist(f[20],f[65]),d[179]) -> extension (support ? 1) - 945tuples 3.79/3.84 c intension eq(dist(f[141],f[20]),d[181]) -> extension (support ? 1) - 1225tuples 3.79/3.88 c intension eq(dist(f[20],f[242]),d[186]) -> extension (support ? 1) - 1225tuples 3.89/3.96 c intension eq(dist(f[119],f[26]),d[221]) -> extension (support ? 1) - 1323tuples 3.89/3.98 c intension eq(dist(f[128],f[26]),d[222]) -> extension (support ? 1) - 567tuples 3.89/4.00 c intension -> extension : same as previous 3.89/4.00 c intension eq(dist(f[258],f[26]),d[225]) -> extension (support ? 1) - 567tuples 4.00/4.02 c intension eq(dist(f[26],f[311]),d[226]) -> extension (support ? 1) - 729tuples 4.00/4.04 c intension eq(dist(f[120],f[28]),d[236]) -> extension (support ? 1) - 729tuples 4.00/4.05 c intension eq(dist(f[29],f[80]),d[241]) -> extension (support ? 1) - 567tuples 4.00/4.06 c intension eq(dist(f[29],f[89]),d[242]) -> extension (support ? 1) - 729tuples 4.00/4.10 c intension eq(dist(f[31],f[41]),d[248]) -> extension (support ? 1) - 945tuples 4.99/5.03 c intension eq(dist(f[31],f[76]),d[249]) -> extension (support ? 1) - 729tuples 4.99/5.03 c intension eq(dist(f[161],f[31]),d[252]) -> extension (support ? 1) - 567tuples 4.99/5.03 c intension eq(dist(f[231],f[31]),d[253]) -> extension (support ? 1) - 729tuples 4.99/5.03 c intension eq(dist(f[31],f[332]),d[255]) -> extension (support ? 1) - 729tuples 4.99/5.03 c intension eq(dist(f[252],f[37]),d[298]) -> extension (support ? 1) - 1225tuples 4.99/5.03 c intension eq(dist(f[41],f[75]),d[321]) -> extension (support ? 1) - 735tuples 4.99/5.03 c intension eq(dist(f[175],f[41]),d[323]) -> extension (support ? 1) - 1225tuples 4.99/5.03 c intension eq(dist(f[207],f[41]),d[325]) -> extension (support ? 1) - 1225tuples 4.99/5.03 c intension eq(dist(f[226],f[41]),d[326]) -> extension (support ? 1) - 735tuples 4.99/5.03 c intension eq(dist(f[226],f[48]),d[373]) -> extension (support ? 1) - 441tuples 4.99/5.03 c intension eq(dist(f[120],f[53]),d[405]) -> extension (support ? 1) - 729tuples 4.99/5.03 c intension eq(dist(f[262],f[53]),d[408]) -> extension (support ? 1) - 567tuples 4.99/5.03 c intension -> extension : same as previous 4.99/5.03 c intension eq(dist(f[297],f[53]),d[410]) -> extension (support ? 1) - 729tuples 4.99/5.03 c intension eq(dist(f[226],f[63]),d[468]) -> extension (support ? 1) - 441tuples 4.99/5.03 c intension eq(dist(f[326],f[63]),d[473]) -> extension (support ? 1) - 735tuples 4.99/5.03 c intension eq(dist(f[187],f[65]),d[484]) -> extension (support ? 1) - 945tuples 4.99/5.03 c intension eq(dist(f[258],f[65]),d[488]) -> extension (support ? 1) - 567tuples 4.99/5.03 c intension eq(dist(f[304],f[65]),d[489]) -> extension (support ? 1) - 729tuples 4.99/5.03 c intension eq(dist(f[160],f[75]),d[537]) -> extension (support ? 1) - 735tuples 4.99/5.03 c intension eq(dist(f[161],f[75]),d[538]) -> extension (support ? 1) - 441tuples 4.99/5.03 c intension eq(dist(f[217],f[75]),d[539]) -> extension (support ? 1) - 1029tuples 4.99/5.03 c intension eq(dist(f[249],f[75]),d[541]) -> extension (support ? 1) - 735tuples 4.99/5.03 c intension eq(dist(f[120],f[76]),d[544]) -> extension (support ? 1) - 729tuples 4.99/5.03 c intension eq(dist(f[161],f[76]),d[545]) -> extension (support ? 1) - 567tuples 4.99/5.03 c intension eq(dist(f[125],f[77]),d[547]) -> extension (support ? 1) - 945tuples 4.99/5.03 c intension eq(dist(f[212],f[77]),d[549]) -> extension (support ? 1) - 567tuples 4.99/5.03 c intension eq(dist(f[287],f[77]),d[553]) -> extension (support ? 1) - 729tuples 4.99/5.03 c intension eq(dist(f[119],f[79]),d[559]) -> extension (support ? 1) - 1029tuples 4.99/5.03 c intension eq(dist(f[166],f[79]),d[561]) -> extension (support ? 1) - 1029tuples 4.99/5.03 c intension eq(dist(f[271],f[79]),d[564]) -> extension (support ? 1) - 441tuples 4.99/5.03 c intension eq(dist(f[345],f[79]),d[566]) -> extension (support ? 1) - 441tuples 4.99/5.03 c intension eq(dist(f[108],f[80]),d[567]) -> extension (support ? 1) - 441tuples 4.99/5.03 c intension eq(dist(f[133],f[80]),d[568]) -> extension (support ? 1) - 735tuples 4.99/5.03 c intension eq(dist(f[223],f[83]),d[586]) -> extension (support ? 1) - 567tuples 4.99/5.03 c intension eq(dist(f[283],f[83]),d[588]) -> extension (support ? 1) - 735tuples 4.99/5.03 c intension eq(dist(f[287],f[83]),d[589]) -> extension (support ? 1) - 567tuples 4.99/5.03 c intension eq(dist(f[130],f[89]),d[626]) -> extension (support ? 1) - 729tuples 4.99/5.03 c intension eq(dist(f[329],f[89]),d[632]) -> extension (support ? 1) - 567tuples 4.99/5.05 c intension eq(dist(f[175],f[90]),d[635]) -> extension (support ? 1) - 735tuples 4.99/5.08 c intension eq(dist(f[283],f[90]),d[638]) -> extension (support ? 1) - 735tuples 5.10/5.12 c intension eq(dist(f[197],f[93]),d[656]) -> extension (support ? 1) - 1029tuples 5.10/5.15 c intension -> extension : same as previous 5.10/5.15 c intension eq(dist(f[187],f[94]),d[663]) -> extension (support ? 1) - 735tuples 5.10/5.17 c intension eq(dist(f[223],f[94]),d[664]) -> extension (support ? 1) - 567tuples 5.10/5.20 c intension eq(dist(f[249],f[94]),d[665]) -> extension (support ? 1) - 735tuples 5.19/5.24 c intension eq(dist(f[102],f[125]),d[701]) -> extension (support ? 1) - 1225tuples 5.19/5.27 c intension eq(dist(f[102],f[187]),d[703]) -> extension (support ? 1) - 1225tuples 5.19/5.30 c intension -> extension : same as previous 5.19/5.30 c intension eq(dist(f[102],f[258]),d[705]) -> extension (support ? 1) - 735tuples 5.29/5.32 c intension eq(dist(f[102],f[342]),d[709]) -> extension (support ? 1) - 735tuples 5.29/5.39 c intension eq(dist(f[107],f[119]),d[735]) -> extension (support ? 1) - 1323tuples 5.39/5.42 c intension eq(dist(f[107],f[185]),d[736]) -> extension (support ? 1) - 945tuples 5.39/5.44 c intension eq(dist(f[108],f[287]),d[740]) -> extension (support ? 1) - 567tuples 5.39/5.46 c intension eq(dist(f[116],f[297]),d[776]) -> extension (support ? 1) - 729tuples 5.39/5.48 c intension eq(dist(f[116],f[310]),d[778]) -> extension (support ? 1) - 729tuples 5.49/5.51 c intension eq(dist(f[117],f[212]),d[782]) -> extension (support ? 1) - 1029tuples 5.49/5.58 c intension eq(dist(f[119],f[120]),d[792]) -> extension (support ? 1) - 1323tuples 5.58/5.62 c intension eq(dist(f[119],f[271]),d[796]) -> extension (support ? 1) - 1029tuples 5.58/5.63 c intension eq(dist(f[120],f[223]),d[801]) -> extension (support ? 1) - 729tuples 5.58/5.67 c intension eq(dist(f[125],f[175]),d[834]) -> extension (support ? 1) - 1225tuples 5.58/5.69 c intension eq(dist(f[127],f[130]),d[845]) -> extension (support ? 1) - 729tuples 5.68/5.70 c intension eq(dist(f[127],f[215]),d[847]) -> extension (support ? 1) - 729tuples 5.68/5.73 c intension eq(dist(f[127],f[259]),d[848]) -> extension (support ? 1) - 945tuples 5.68/5.74 c intension eq(dist(f[128],f[162]),d[850]) -> extension (support ? 1) - 441tuples 5.68/5.76 c intension eq(dist(f[128],f[235]),d[851]) -> extension (support ? 1) - 567tuples 5.78/5.81 c intension eq(dist(f[135],f[167]),d[896]) -> extension (support ? 1) - 1029tuples 5.78/5.82 c intension eq(dist(f[135],f[197]),d[897]) -> extension (support ? 1) - 441tuples 5.78/5.84 c intension eq(dist(f[135],f[223]),d[898]) -> extension (support ? 1) - 567tuples 5.78/5.87 c intension eq(dist(f[135],f[230]),d[899]) -> extension (support ? 1) - 1029tuples 5.78/5.88 c intension eq(dist(f[135],f[266]),d[901]) -> extension (support ? 1) - 441tuples 5.78/5.89 c intension eq(dist(f[138],f[147]),d[912]) -> extension (support ? 1) - 729tuples 5.88/5.92 c intension eq(dist(f[138],f[242]),d[913]) -> extension (support ? 1) - 945tuples 5.88/5.94 c intension eq(dist(f[138],f[266]),d[914]) -> extension (support ? 1) - 567tuples 5.99/6.01 c intension eq(dist(f[139],f[223]),d[916]) -> extension (support ? 1) - 1323tuples 5.99/6.08 c intension eq(dist(f[139],f[297]),d[919]) -> extension (support ? 1) - 1323tuples 6.10/6.11 c intension eq(dist(f[141],f[185]),d[922]) -> extension (support ? 1) - 1225tuples 6.10/6.14 c intension eq(dist(f[143],f[185]),d[931]) -> extension (support ? 1) - 735tuples 6.10/6.16 c intension -> extension : same as previous 6.10/6.16 c intension eq(dist(f[143],f[265]),d[933]) -> extension (support ? 1) - 567tuples 6.10/6.17 c intension eq(dist(f[143],f[347]),d[934]) -> extension (support ? 1) - 441tuples 6.19/6.20 c intension eq(dist(f[147],f[312]),d[951]) -> extension (support ? 1) - 945tuples 6.19/6.25 c intension eq(dist(f[160],f[161]),d[1009]) -> extension (support ? 1) - 735tuples 6.19/6.28 c intension eq(dist(f[160],f[316]),d[1012]) -> extension (support ? 1) - 1225tuples 6.19/6.29 c intension eq(dist(f[161],f[204]),d[1014]) -> extension (support ? 1) - 441tuples 6.29/6.31 c intension eq(dist(f[161],f[290]),d[1016]) -> extension (support ? 1) - 567tuples 6.29/6.32 c intension eq(dist(f[161],f[345]),d[1018]) -> extension (support ? 1) - 441tuples 6.29/6.37 c intension eq(dist(f[162],f[166]),d[1019]) -> extension (support ? 1) - 1029tuples 6.29/6.38 c intension eq(dist(f[162],f[204]),d[1021]) -> extension (support ? 1) - 441tuples 6.39/6.40 c intension eq(dist(f[162],f[207]),d[1022]) -> extension (support ? 1) - 735tuples 6.39/6.41 c intension -> extension : same as previous 6.39/6.41 c intension eq(dist(f[162],f[222]),d[1024]) -> extension (support ? 1) - 441tuples 6.39/6.42 c intension eq(dist(f[162],f[238]),d[1025]) -> extension (support ? 1) - 441tuples 6.39/6.43 c intension eq(dist(f[162],f[287]),d[1026]) -> extension (support ? 1) - 567tuples 6.49/6.51 c intension eq(dist(f[167],f[200]),d[1039]) -> extension (support ? 1) - 1323tuples 6.49/6.54 c intension eq(dist(f[167],f[212]),d[1040]) -> extension (support ? 1) - 1029tuples 6.49/6.58 c intension eq(dist(f[175],f[271]),d[1067]) -> extension (support ? 1) - 735tuples 6.59/6.61 c intension eq(dist(f[175],f[332]),d[1069]) -> extension (support ? 1) - 945tuples 6.59/6.62 c intension eq(dist(f[179],f[238]),d[1079]) -> extension (support ? 1) - 441tuples 6.59/6.63 c intension eq(dist(f[179],f[311]),d[1080]) -> extension (support ? 1) - 567tuples 6.59/6.64 c intension eq(dist(f[179],f[342]),d[1081]) -> extension (support ? 1) - 441tuples 6.59/6.68 c intension eq(dist(f[185],f[231]),d[1110]) -> extension (support ? 1) - 945tuples 6.68/6.71 c intension eq(dist(f[187],f[203]),d[1115]) -> extension (support ? 1) - 1225tuples 6.68/6.74 c intension eq(dist(f[187],f[287]),d[1117]) -> extension (support ? 1) - 945tuples 6.68/6.77 c intension eq(dist(f[197],f[231]),d[1152]) -> extension (support ? 1) - 567tuples 6.68/6.80 c intension eq(dist(f[197],f[328]),d[1154]) -> extension (support ? 1) - 735tuples 6.78/6.83 c intension eq(dist(f[197],f[349]),d[1157]) -> extension (support ? 1) - 1029tuples 6.78/6.84 c intension eq(dist(f[200],f[215]),d[1160]) -> extension (support ? 1) - 729tuples 6.78/6.86 c intension eq(dist(f[200],f[262]),d[1161]) -> extension (support ? 1) - 567tuples 6.78/6.88 c intension eq(dist(f[200],f[332]),d[1163]) -> extension (support ? 1) - 729tuples 6.88/6.90 c intension eq(dist(f[202],f[204]),d[1168]) -> extension (support ? 1) - 735tuples 6.88/6.91 c intension eq(dist(f[204],f[222]),d[1175]) -> extension (support ? 1) - 441tuples 6.88/6.92 c intension eq(dist(f[204],f[271]),d[1176]) -> extension (support ? 1) - 441tuples 6.88/6.93 c intension eq(dist(f[204],f[284]),d[1178]) -> extension (support ? 1) - 567tuples 6.88/6.97 c intension eq(dist(f[207],f[268]),d[1185]) -> extension (support ? 1) - 1225tuples 6.88/6.99 c intension eq(dist(f[207],f[310]),d[1186]) -> extension (support ? 1) - 945tuples 6.99/7.02 c intension eq(dist(f[212],f[235]),d[1195]) -> extension (support ? 1) - 567tuples 6.99/7.03 c intension eq(dist(f[215],f[310]),d[1203]) -> extension (support ? 1) - 729tuples 6.99/7.05 c intension eq(dist(f[226],f[329]),d[1224]) -> extension (support ? 1) - 441tuples 6.99/7.07 c intension eq(dist(f[231],f[232]),d[1241]) -> extension (support ? 1) - 729tuples 6.99/7.10 c intension eq(dist(f[231],f[259]),d[1242]) -> extension (support ? 1) - 945tuples 7.10/7.12 c intension eq(dist(f[231],f[266]),d[1243]) -> extension (support ? 1) - 567tuples 7.10/7.13 c intension eq(dist(f[231],f[284]),d[1245]) -> extension (support ? 1) - 729tuples 7.10/7.14 c intension eq(dist(f[231],f[342]),d[1247]) -> extension (support ? 1) - 567tuples 7.10/7.16 c intension eq(dist(f[232],f[304]),d[1250]) -> extension (support ? 1) - 729tuples 7.10/7.19 c intension eq(dist(f[235],f[252]),d[1257]) -> extension (support ? 1) - 945tuples 7.19/7.21 c intension eq(dist(f[238],f[304]),d[1264]) -> extension (support ? 1) - 567tuples 7.19/7.24 c intension eq(dist(f[242],f[297]),d[1273]) -> extension (support ? 1) - 945tuples 7.19/7.28 c intension eq(dist(f[249],f[312]),d[1296]) -> extension (support ? 1) - 1225tuples 7.29/7.31 c intension eq(dist(f[252],f[326]),d[1309]) -> extension (support ? 1) - 1225tuples 7.29/7.33 c intension eq(dist(f[258],f[284]),d[1329]) -> extension (support ? 1) - 567tuples 7.29/7.34 c intension eq(dist(f[258],f[347]),d[1332]) -> extension (support ? 1) - 441tuples 7.29/7.36 c intension eq(dist(f[265],f[332]),d[1351]) -> extension (support ? 1) - 729tuples 7.29/7.37 c intension eq(dist(f[266],f[271]),d[1352]) -> extension (support ? 1) - 441tuples 7.39/7.41 c intension eq(dist(f[284],f[326]),d[1372]) -> extension (support ? 1) - 945tuples 7.39/7.42 c intension eq(dist(f[290],f[332]),d[1381]) -> extension (support ? 1) - 729tuples 7.39/7.49 c intension eq(dist(f[296],f[310]),d[1390]) -> extension (support ? 1) - 1323tuples 7.49/7.53 c intension eq(dist(f[310],f[316]),d[1407]) -> extension (support ? 1) - 945tuples 7.49/7.56 c intension eq(dist(f[328],f[345]),d[1423]) -> extension (support ? 1) - 735tuples 237.13/237.26 c enable optimization 237.13/237.26 c ========================================[ Problem Statistics ]=========================================== 237.13/237.26 c | 237.13/237.26 c | Parse time : 40.40 s 237.13/237.26 c | 237.13/237.26 c | Variables: 4976 237.13/237.26 c | Domain Sizes: 1..151 237.13/237.26 c | 237.13/237.26 c | Constraints: 3813 237.13/237.26 c | Arity: 2..2851 -- Binary: 962 -- Ternary: 1425 237.13/237.26 c | 237.13/237.26 c | Types: 237.13/237.26 c | (X != Y): 175 237.13/237.26 c | (X = Y): 265 237.13/237.26 c | Extension: 2138 (nb tuples: 0..7204) -- (shared: 69) 237.13/237.26 c | Intension: 1234 237.13/237.26 c | Sum: 1 237.13/237.26 c | 237.13/237.26 c | Objective: Minimize Sum 237.13/237.26 237.13/237.26 c ========================================================================================================= 237.13/237.26 o 229343995 237.13/237.26 c 1 calls to solver(id=0): best=229343995 lower=0 upper=229343994 254.42/254.55 o 229343987 262.42/262.51 o 229343979 262.42/262.51 c 3 calls to solver(id=0): best=229343979 lower=0 upper=229343978 283.02/283.15 o 229301208 287.31/287.43 o 229286958 287.31/287.44 c 5 calls to solver(id=0): best=229286958 lower=0 upper=229286957 302.61/302.70 o 229286950 306.81/306.92 o 229272700 306.81/306.92 c 7 calls to solver(id=0): best=229272700 lower=0 upper=229272699 318.81/318.97 o 229272692 382.09/382.26 o 229272683 382.09/382.26 c 9 calls to solver(id=0): best=229272683 lower=0 upper=229272682 390.48/390.62 o 229272676 398.89/399.04 o 229258442 398.89/399.04 c 11 calls to solver(id=0): best=229258442 lower=0 upper=229258441 407.28/407.46 o 229258433 431.07/431.28 o 229258423 431.07/431.28 c 13 calls to solver(id=0): best=229258423 lower=0 upper=229258422 446.57/446.73 o 229258415 454.56/454.76 o 229244165 454.56/454.76 c 15 calls to solver(id=0): best=229244165 lower=0 upper=229244164 462.56/462.75 o 229229915 477.87/478.08 o 229229905 477.87/478.08 c 17 calls to solver(id=0): best=229229905 lower=0 upper=229229904 2519.42/2520.00 2519.42/2520.00 c *** INTERRUPTED *** 2519.42/2520.00 c call to solver : 17 2519.42/2520.00 c 2519.42/2520.00 c restarts : 117 2519.42/2520.00 c conflicts : 58742 (23 /sec) 2519.42/2520.00 c decisions : 844652 (335 /sec) 2519.42/2520.00 c propagations : 277570051 (110214 /sec) 2519.42/2520.00 c root propagations : 12273 2519.42/2520.00 c filter calls : 18223126 (7236 /sec) 2519.42/2520.00 c useless filter calls : 9511432 (52 %) 2519.42/2520.00 c Memory used : 647.72 MB 2519.42/2520.00 c Best bound time (wc) : 478.083 s 2519.42/2520.00 c CPU time : 2518.46 s 2519.42/2520.00 c real time : 2520 s 2519.42/2520.00 2519.42/2520.00 c nb Solutions = 17 2519.42/2520.00 s SATISFIABLE 2519.42/2520.00 c Best value found: 229229905 2519.42/2520.00 2519.42/2520.00 2519.42/2520.00 v <instantiation type='solution' cost='229229905'> 2519.42/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[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] 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[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] 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[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] 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[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] 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[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[14] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[15] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[16] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[17] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[18] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[19] v2[1] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list> 2519.42/2520.01 v <values>40 120 104 20 412 452 296 192 352 300 188 252 88 496 80 216 260 176 196 132 48 264 200 488 40 128 32 40 228 24 528 244 408 160 208 448 272 68 108 48 104 144 96 212 68 0 228 356 376 104 448 32 104 200 424 348 444 192 88 188 188 152 192 224 136 44 368 372 136 412 372 256 200 152 140 320 152 200 524 196 76 400 216 324 160 76 0 256 296 28 8 4 40 224 0 544 540 276 44 156 0 516 248 136 288 236 228 356 256 276 356 396 4 164 200 240 356 352 500 128 416 16 208 84 484 508 492 184 136 496 32 600 300 76 24 208 108 32 88 264 248 224 300 400 336 208 40 480 0 4 0 164 52 348 348 108 352 516 40 116 440 464 144 476 472 0 452 56 40 268 276 212 68 300 140 104 244 96 12 172 428 48 216 288 280 92 168 112 76 400 360 324 360 360 80 308 568 0 420 44 396 372 312 556 500 40 64 352 76 400 152 16 188 56 272 72 236 88 0 540 160 268 512 76 220 112 52 204 500 236 0 248 216 100 164 12 184 64 516 312 100 36 484 508 452 48 252 60 196 216 388 84 112 424 312 296 100 296 172 48 536 40 544 308 40 0 348 88 56 124 236 568 0 80 4 512 472 328 44 144 56 520 284 368 72 8 504 40 148 408 132 72 152 256 300 48 388 52 88 336 432 16 512 88 384 128 376 144 128 36 160 76 332 152 100 96 184 512 292 500 348 60 40 536 40 524 512 228 16 432 8 136 100 288 100 300 456 60 8 380 116 176 196 80 160 536 256 76 128 300 84 352 48 204 40 84 140 40 540 0 0 40 536 40 40 268 336 260 224 40 444 288 284 64 292 128 104 240 108 108 388 96 316 164 104 16 504 40 388 464 48 72 332 136 0 132 380 540 332 104 528 388 300 420 72 40 40 48 24 176 116 56 288 112 448 40 192 280 504 368 200 0 480 48 40 236 320 40 0 512 0 416 328 304 336 296 528 112 40 236 356 40 556 160 336 524 16 512 552 320 8 484 48 448 248 220 88 92 156 328 0 168 372 332 308 236 284 56 64 440 252 564 144 172 356 80 188 156 468 52 536 28 104 392 68 80 524 4 248 112 312 536 384 344 292 152 400 96 0 216 256 56 136 136 328 528 372 368 488 220 384 32 128 536 440 96 48 280 296 232 0 520 360 260 52 280 336 4 352 448 344 344 264 292 496 496 252 0 328 144 404 40 40 384 0 32 296 136 376 496 204 132 496 456 196 124 308 548 40 468 156 200 212 188 204 24 160 88 328 64 312 368 20 228 0 488 64 520 140 528 536 528 40 104 304 460 288 588 504 72 44 236 64 424 156 104 80 88 464 112 496 328 344 412 208 76 0 460 516 264 368 536 260 116 400 148 360 180 400 400 188 292 156 400 384 244 164 100 400 528 452 0 100 352 40 128 556 372 48 88 360 48 432 272 64 472 172 32 220 308 244 56 148 116 340 400 292 456 152 40 204 0 424 168 308 16 288 92 232 104 100 272 376 136 20 136 20 64 496 96 84 432 8 316 80 260 152 552 592 208 192 344 16 248 308 244 32 528 448 100 452 12 184 568 28 180 568 488 260 256 488 40 40 308 40 40 0 0 364 348 48 20 96 20 88 456 92 112 248 268 228 16 440 184 428 88 504 300 116 440 196 508 292 40 8 508 256 404 456 548 408 132 376 120 160 264 0 200 276 588 0 504 0 0 104 436 428 236 236 288 40 196 456 368 444 0 40 488 96 384 328 356 336 472 56 140 256 216 76 256 216 180 176 192 168 304 60 296 264 36 192 484 272 224 176 328 84 260 64 44 116 160 276 200 4 132 16 472 492 76 400 184 292 240 148 112 496 56 24 16 16 128 72 12 528 324 72 140 488 72 204 68 256 132 296 256 4 200 180 16 528 32 32 156 232 268 12 204 528 184 116 184 144 12 168 516 116 516 0 184 128 36 320 148 0 104 400 400 348 156 296 280 56 0 208 556 96 336 164 272 200 268 260 40 328 288 212 288 104 296 128 24 260 200 100 364 328 568 148 568 232 44 40 24 328 248 224 72 44 200 264 8 488 236 24 360 140 244 24 360 408 80 116 180 16 264 292 68 20 164 72 124 72 0 32 28 32 160 544 308 440 196 56 72 584 332 168 488 72 156 400 252 292 252 224 148 204 212 284 96 300 280 440 408 4 16 296 456 288 292 128 0 76 40 40 108 500 348 40 40 40 504 280 296 540 40 4 4 116 160 368 76 16 116 128 368 20 200 224 104 424 32 184 88 56 384 164 256 256 100 260 300 196 204 176 300 424 232 88 508 32 496 116 412 540 0 548 516 392 472 40 196 44 44 188 264 288 92 252 28 236 216 212 28 284 484 52 60 288 524 252 180 288 324 132 580 472 148 220 192 424 500 344 580 404 528 340 16 472 432 40 172 236 108 164 96 220 548 196 512 8 220 548 64 192 64 64 172 472 396 104 92 328 264 92 208 84 524 528 24 12 16 48 488 488 0 460 472 0 16 204 36 76 496 16 572 264 208 524 292 128 8 476 196 104 112 24 304 28 232 224 260 120 288 224 8 444 24 68 80 368 80 380 76 412 488 388 484 0 76 432 440 72 400 224 0 528 40 528 340 72 92 424 40 176 40 16 104 40 32 168 280 132 272 188 352 248 104 220 260 432 472 488 116 188 308 96 88 188 272 24 212 80 280 52 276 40 128 512 448 456 0 40 64 40 520 184 404 548 8 8 32 520 92 264 444 308 308 36 124 68 188 200 240 200 80 236 224 128 200 136 184 292 284 188 420 344 160 320 156 200 80 104 272 52 20 304 288 224 224 264 148 272 300 204 108 328 0 292 528 108 240 236 96 0 452 568 388 564 548 472 40 0 196 324 256 116 516 168 512 324 24 0 4 204 272 92 456 496 92 452 0 284 44 344 492 452 100 0 8 224 4 100 380 124 40 200 316 212 276 76 500 40 332 352 40 40 36 64 172 200 316 96 356 328 556 84 48 52 184 496 300 208 324 340 188 432 200 224 276 244 80 116 104 60 76 172 24 328 0 0 44 408 536 440 180 0 300 140 468 28 116 128 236 132 288 136 392 352 36 392 376 392 236 176 108 528 412 116 76 68 116 216 588 480 32 432 124 352 368 228 280 220 368 172 92 72 228 0 156 80 0 52 208 36 8 36 352 280 376 64 160 156 76 236 2480 2552 2808 2692 2700 2748 2260 2236 2696 2748 2484 2708 2748 2644 2260 2660 2260 2720 2788 2380 2732 2568 2420 2684 2260 2228 2808 2460 2756 2420 2684 2524 2220 2672 2788 2220 2260 2716 2712 2512 2536 2260 2724 2420 2420 2380 2756 2584 2480 2548 2220 2220 2688 2496 2612 2380 2748 2336 2808 2588 2220 2260 2220 2380 2672 2716 2432 2716 2528 2748 2220 2540 2328 2484 2512 2264 2328 2744 2260 2664 2412 2516 2376 2620 2788 2336 2748 2776 2372 2220 2260 2500 2460 2276 2704 2224 2756 2220 2628 2620 2524 2756 2220 2572 2548 2220 2260 2520 2748 2364 2260 2264 2724 2500 2620 2620 2788 2640 2776 2620 2816 2716 2660 2352 2660 2512 2220 2388 2736 2260 2444 2776 2404 2780 2500 2624 2708 2736 2268 2652 2736 2648 2464 2220 2276 2516 2788 2732 2220 2820 2748 2632 2692 2520 2428 2220 2812 2732 2660 2388 2260 2556 2624 2772 2260 2732 2716 2360 2600 2756 2776 2612 2260 2220 2260 2520 2664 2768 2364 2368 2552 2692 2660 2724 2552 2608 2660 2760 2724 2276 2480 2220 2608 2220 2296 2740 2472 2700 2220 2588 2764 2260 2760 2716 2788 2260 2504 2724 2220 2628 2748 2724 2260 2496 2220 2260 2220 2380 2748 2264 2376 2788 2756 2260 2260 2244 2772 2776 2296 2400 2708 2796 2568 2220 2684 2748 2716 2224 2300 2312 2636 2224 2260 2224 2684 2592 2728 2528 2260 2456 2316 2676 2236 2732 2520 2220 2220 2588 2772 2220 2336 2220 2260 2660 2220 2816 2260 2500 2220 2784 2260 2428 2480 2416 2560 2756 2380 2620 2260 2332 2692 2768 2260 2604 2428 2756 2812 2468 2788 2260 2260 2768 2488 2220 2460 2768 2380 2220 2788 2220 2316 2476 2452 2704 2588 2480 2716 2260 2276 2748 2516 2788 2404 2736 2660 2220 2764 2632 2420 2548 2420 2788 2484 2728 2748 2340 2552 2708 2748 2804 2620 2512 2220 2676 2260 2220 2588 2684 2284 2520 2264 2260 2476 2520 2288 2748 2584 2800 2260 2260 11 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 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 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 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 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 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 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 10 10 8 6 0 0 0 10 0 0 0 10 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 10 10 10 0 0 10 10 0 0 0 0 10 10 10 0 0 0 0 10 8 0 10 0 10 0 0 10 0 10 10 10 10 10 10 0 0 0 0 10 0 0 0 0 0 10 0 10 10 10 10 0 0 10 10 10 10 0 10 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 10 10 0 10 0 0 0 10 10 10 0 10 0 10 0 0 10 0 0 0 0 0 10 10 0 10 10 10 0 0 10 10 0 10 0 10 0 0 10 10 10 10 10 0 0 10 0 0 10 10 0 0 10 10 0 10 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 10 10 10 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 10 10 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 10 0 10 10 0 10 0 0 10 10 10 0 0 0 10 10 0 0 10 10 0 10 10 0 0 0 10 0 0 0 0 0 10 10 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 10 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 10 10 0 10 0 0 0 0 0 8 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 10 10 0 0 0 0 8 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 1 0 0 0 0 0 0 0 0 0 0 0 0 10 10 8 0 0 0 10 0 10 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 8 0 0 10 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 10 0 0 0 10 10 0 10 10 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 10 10 0 0 0 10 0 10 0 10 0 10 0 0 0 10 10 0 0 0 10 0 0 0 0 10 0 10 0 10 10 10 8 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 10 10 0 0 0 10 0 10 10 0 10 10 0 0 0 10 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 9 0 0 10 0 0 0 0 10 0 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 10 0 9 10 0 0 0 10 10 10 0 0 0 0 10 10 0 10 10 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 10 10 0 0 10 0 0 0 10 10 0 0 0 10 0 10 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 10 0 10 0 10 0 10 0 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 0 0 10 10 0 8 0 10 10 0 7 0 0 10 10 0 0 0 10 0 0 7 10 0 10 0 8 10 10 10 0 10 0 10 0 10 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 10 10 0 0 0 0 0 10 10 0 0 0 0 0 10 0 10 0 0 10 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 10 10 0 0 9 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 10 0 0 0 0 0 10 0 10 0 0 10 0 10 0 0 0 10 10 10 0 0 10 10 0 0 0 0 0 0 10 0 10 10 10 0 0 10 10 10 0 10 0 0 10 10 10 10 10 10 0 0 10 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 9 0 0 0 0 0 0 0 10 0 10 0 10 0 10 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 7 10 10 10 0 0 10 0 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 10 </values> 2519.42/2520.01 v </instantiation> 2519.42/2520.01
OK 229229905
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 (13703 MiB free)
memory of node 1: 16384 MiB (12918 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397002-1568595391/watcher-4397002-1568595391 -o /tmp/evaluation-result-4397002-1568595391/solver-4397002-1568595391 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568572744-4121 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397002-1568595391.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=8148, runsolver pid=8145
[startup+0.100106 s]*
/proc/loadavg: 2.25 2.12 2.08 3/199 8149
/proc/meminfo: memFree=27243736/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=44928 memory=21200 CPUtime=0.1 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 5562 0 0 0 10 0 0 0 20 0 1 0 435479278 46006272 5300 33554432000 4194304 6211092 140724318745232 140724318741768 5013102 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 11232 5300 826 493 0 4537 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44928 KiB
Current children cumulated memory: 21200 KiB
[startup+0.209601 s]*
/proc/loadavg: 2.25 2.12 2.08 3/199 8149
/proc/meminfo: memFree=27242372/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=45648 memory=21796 CPUtime=0.2 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 6034 0 0 0 20 0 0 0 20 0 1 0 435479278 46743552 5449 33554432000 4194304 6211092 140724318745232 140724318739720 5012856 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 11412 5449 826 493 0 4717 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45648 KiB
Current children cumulated memory: 21796 KiB
[startup+0.308963 s]*
/proc/loadavg: 2.25 2.12 2.08 3/199 8149
/proc/meminfo: memFree=27241144/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=45840 memory=22312 CPUtime=0.3 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 7796 0 0 0 30 0 0 0 20 0 1 0 435479278 46940160 5578 33554432000 4194304 6211092 140724318745232 140724318739720 140027351587936 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 11460 5578 826 493 0 4765 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45840 KiB
Current children cumulated memory: 22312 KiB
[startup+0.700245 s]
/proc/loadavg: 2.25 2.12 2.08 3/199 8149
/proc/meminfo: memFree=27239592/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=49492 memory=25964 CPUtime=0.69 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 14701 0 0 0 68 1 0 0 20 0 1 0 435479278 50679808 6491 33554432000 4194304 6211092 140724318745232 140724318739720 5483256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 12373 6491 826 493 0 5678 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49492 KiB
Current children cumulated memory: 25964 KiB
[startup+1.50024 s]
/proc/loadavg: 2.25 2.12 2.08 3/199 8149
/proc/meminfo: memFree=27235816/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=55636 memory=31756 CPUtime=1.49 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 28082 0 0 0 146 3 0 0 20 0 1 0 435479278 56971264 7939 33554432000 4194304 6211092 140724318745232 140724318739720 5440826 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 13909 7939 826 493 0 7214 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55636 KiB
Current children cumulated memory: 31756 KiB
[startup+3.10919 s]
/proc/loadavg: 2.25 2.12 2.08 3/199 8149
/proc/meminfo: memFree=27211408/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=79632 memory=55656 CPUtime=3.1 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 47603 0 0 0 305 5 0 0 20 0 1 0 435479278 81543168 13914 33554432000 4194304 6211092 140724318745232 140724318739528 5451482 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 19908 13914 835 493 0 13213 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 79632 KiB
Current children cumulated memory: 55656 KiB
[startup+6.30023 s]
/proc/loadavg: 2.23 2.12 2.08 3/199 8149
/proc/meminfo: memFree=27159880/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=132400 memory=108540 CPUtime=6.29 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 70442 0 0 0 617 12 0 0 20 0 1 0 435479278 135577600 27135 33554432000 4194304 6211092 140724318745232 140724318740728 5446622 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 33100 27135 835 493 0 26405 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 132400 KiB
Current children cumulated memory: 108540 KiB
[startup+12.7002 s]
/proc/loadavg: 2.21 2.12 2.08 3/199 8149
/proc/meminfo: memFree=27095572/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=200928 memory=175364 CPUtime=12.69 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 93408 0 0 0 1254 15 0 0 20 0 1 0 435479278 205750272 43841 33554432000 4194304 6211092 140724318745232 140724318742504 5816126 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 50232 43841 840 493 0 43537 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 200928 KiB
Current children cumulated memory: 175364 KiB
[startup+25.5004 s]
/proc/loadavg: 2.16 2.11 2.08 3/199 8151
/proc/meminfo: memFree=26979348/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=319672 memory=289864 CPUtime=25.48 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 125354 0 0 0 2528 20 0 0 20 0 1 0 435479278 327344128 72466 33554432000 4194304 6211092 140724318745232 140724318742504 5814647 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 79918 72466 840 493 0 73223 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 319672 KiB
Current children cumulated memory: 289864 KiB
[startup+51.1093 s]
/proc/loadavg: 2.33 2.15 2.09 3/199 8152
/proc/meminfo: memFree=26748924/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=550848 memory=516268 CPUtime=51.08 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 293446 0 0 0 5075 33 0 0 20 0 1 0 435479278 564068352 129067 33554432000 4194304 6211092 140724318745232 140724318742552 5009644 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 137712 129067 885 493 0 131017 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 550848 KiB
Current children cumulated memory: 516268 KiB
[startup+102.3 s]
/proc/loadavg: 2.48 2.23 2.12 3/199 8156
/proc/meminfo: memFree=26693940/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=606444 memory=570232 CPUtime=102.26 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 377507 0 0 0 10188 38 0 0 20 0 1 0 435479278 620998656 142558 33554432000 4194304 6211092 140724318745232 140724318742552 5009641 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 151611 142558 885 493 0 144916 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 606444 KiB
Current children cumulated memory: 570232 KiB
[startup+162.3 s]
/proc/loadavg: 2.18 2.19 2.12 3/200 8163
/proc/meminfo: memFree=26669668/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=630544 memory=593488 CPUtime=162.24 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 500353 0 0 0 16180 44 0 0 20 0 1 0 435479278 645677056 148372 33554432000 4194304 6211092 140724318745232 140724318742440 5453922 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 157636 148372 885 493 0 150941 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 630544 KiB
Current children cumulated memory: 593488 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.16 2.11 3/199 8167
/proc/meminfo: memFree=26653416/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=646104 memory=608416 CPUtime=222.23 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 623734 0 0 0 22173 50 0 0 20 0 1 0 435479278 661610496 152104 33554432000 4194304 6211092 140724318745232 140724318742440 5446260 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 161526 152104 885 493 0 154831 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 646104 KiB
Current children cumulated memory: 608416 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.13 2.11 3/200 8179
/proc/meminfo: memFree=26647616/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=652156 memory=614052 CPUtime=282.21 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 747045 0 0 0 28165 56 0 0 20 0 1 0 435479278 667807744 153513 33554432000 4194304 6211092 140724318745232 140724318742632 5443112 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 163039 153513 885 493 0 156344 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 652156 KiB
Current children cumulated memory: 614052 KiB
[startup+342.3 s]
/proc/loadavg: 2.13 2.14 2.11 3/202 8207
/proc/meminfo: memFree=26637024/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=662992 memory=623588 CPUtime=342.2 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 868351 0 0 0 34157 63 0 0 20 0 1 0 435479278 678903808 155897 33554432000 4194304 6211092 140724318745232 140724318743368 5476605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165748 155897 885 493 0 159053 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 662992 KiB
Current children cumulated memory: 623588 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.11 2.11 3/201 8211
/proc/meminfo: memFree=26636780/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=623728 CPUtime=402.18 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 989707 0 0 0 40149 69 0 0 20 0 1 0 435479278 679178240 155932 33554432000 4194304 6211092 140724318745232 140724318733112 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 155932 885 493 0 159120 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 623728 KiB
[startup+462.3 s]
/proc/loadavg: 1.49 1.95 2.05 2/194 8260
/proc/meminfo: memFree=27936160/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=623748 CPUtime=462.16 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1108620 0 0 0 46140 76 0 0 20 0 1 0 435479278 679178240 155937 33554432000 4194304 6211092 140724318745232 140724318733112 140027352073296 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 155937 885 493 0 159120 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 623748 KiB
################
# More data... #
################
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 1721.77 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/194 8374
/proc/meminfo: memFree=27919824/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=1781.75 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1395136 0 0 0 178081 94 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5065987 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 1781.75 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/193 8378
/proc/meminfo: memFree=27920452/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=1841.74 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1395911 0 0 0 184080 94 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5479609 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 1841.74 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/193 8382
/proc/meminfo: memFree=27919812/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=1901.72 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1396431 0 0 0 190078 94 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5157547 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 1901.72 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+1962.3 s]
/proc/loadavg: 0.95 1.00 1.20 2/194 8435
/proc/meminfo: memFree=27918688/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=1961.7 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1397128 0 0 0 196075 95 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 140027352070032 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 1961.7 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+2022.3 s]
/proc/loadavg: 0.98 1.00 1.19 2/193 8439
/proc/meminfo: memFree=27918656/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2021.71 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1397687 0 0 0 202075 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5440632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2021.71 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+2082.3 s]
/proc/loadavg: 0.99 1.00 1.18 2/193 8450
/proc/meminfo: memFree=27919168/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2081.71 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1398217 0 0 0 208075 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5451488 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2081.71 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/194 8456
/proc/meminfo: memFree=27919932/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2141.71 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1398746 0 0 0 214075 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5443058 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2141.71 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/193 8460
/proc/meminfo: memFree=27920120/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2201.71 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1399273 0 0 0 220075 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 140027352070032 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2201.71 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/192 8464
/proc/meminfo: memFree=27919732/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2261.71 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1399986 0 0 0 226075 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5451482 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2261.71 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/193 8470
/proc/meminfo: memFree=27920192/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2321.71 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1400516 0 0 0 232075 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5479626 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2321.71 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/192 8474
/proc/meminfo: memFree=27919688/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2381.71 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1401047 0 0 0 238075 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5451495 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2381.71 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/192 8478
/proc/meminfo: memFree=27919712/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2441.71 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1401573 0 0 0 244075 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 140027352073554 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2441.71 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/193 8484
/proc/meminfo: memFree=27920776/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2501.71 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1402285 0 0 0 250075 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 5446643 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2501.71 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.00 1.12 2/192 8485
/proc/meminfo: memFree=27920420/32770624 swapFree=66959728/67108860
[pid=8148] ppid=8145 vsize=663260 memory=639772 CPUtime=2519.42 cores=0,2,4,6
/proc/8148/stat : 8148 (cosoco) R 8145 8148 4090 0 -1 4202496 1402570 0 0 0 251846 96 0 0 20 0 1 0 435479278 679178240 159943 33554432000 4194304 6211092 140724318745232 140724318733112 140027352070051 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30502912 140724318753803 140724318753905 140724318753905 140724318756814 0
/proc/8148/statm: 165815 159943 885 493 0 159120 0
Current children cumulated CPU time: 2519.42 s
Current children cumulated vsize: 663260 KiB
Current children cumulated memory: 639772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 8148 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.46 s, system=0.968795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.43
CPU user time (s): 2518.46
CPU system time (s): 0.968795
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 663260
Max. memory (cumulated for all children) (KiB): 639772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.46
system time used= 0.968795
maximum resident set size= 639832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1402617
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= 100
involuntary context switches= 7986
# summary of solver processes directly reported to runsolver:
# pid: 8148
# total CPU time (s): 2519.43
# total CPU user time (s): 2518.46
# total CPU system time (s): 0.968795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.32467 second user time and 17.3259 second system time
The end
Begin job on node124 at 2019-09-16 02:55:51 IDJOB=4397002 IDBENCH=141273 IDSOLVER=2848 FILE ID=node124/4397002-1568595391 RUNJOBID= node124-1568572744-4121 PBS_JOBID= 21703326 Free space on /tmp= 61728 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397002-1568595391/watcher-4397002-1568595391 -o /tmp/evaluation-result-4397002-1568595391/solver-4397002-1568595391 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568572744-4121 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397002-1568595391.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39 RANDOM SEED=501650828 node124.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.47 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.47 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.47 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.47 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: 27261088 kB MemAvailable: 30548256 kB Buffers: 212940 kB Cached: 3362480 kB SwapCached: 46376 kB Active: 2377004 kB Inactive: 2542896 kB Active(anon): 1294684 kB Inactive(anon): 99216 kB Active(file): 1082320 kB Inactive(file): 2443680 kB Unevictable: 106528 kB Mlocked: 106528 kB SwapTotal: 67108860 kB SwapFree: 66959728 kB Dirty: 84884 kB Writeback: 0 kB AnonPages: 1405952 kB Mapped: 49216 kB Shmem: 40944 kB Slab: 184100 kB SReclaimable: 154004 kB SUnreclaim: 30096 kB KernelStack: 3472 kB PageTables: 8264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1826264 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1343488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61728 MiB End job on node124 at 2019-09-16 03:37:51