Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | OPT | 221 | 201.407 | 30.1625 |
| Name | Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml |
| MD5SUM | d0ab6aee5f30ff70d66f863e0e3556a1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 221 |
| Best CPU time to get the best result obtained on this benchmark | 9.58451 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1234 |
| Number of constraints | 1134 |
| Number of domains | 10 |
| Minimum domain size | 2 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 22 |
| Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":1034}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1134 |
| Distribution of constraint types | [{"type":"intension","count":1134}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.02 c 0.00/0.02 c This is cosoco 2.00 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -model -nbcores=8 HOME/instance-4398751-1568611017.xml 0.00/0.02 c intension eq(dist(x[0],x[1]),238) -> extension (support ? 1) - 42tuples 0.00/0.02 c intension eq(dist(x[2],x[3]),238) -> extension (support ? 1) - 44tuples 0.00/0.02 c intension eq(dist(x[4],x[5]),238) -> extension (support ? 1) - 22tuples 0.00/0.02 c intension eq(dist(x[6],x[7]),238) -> extension (support ? 1) - 6tuples 0.00/0.02 c intension -> extension : same as previous 0.00/0.02 c intension eq(dist(x[10],x[11]),238) -> extension (support ? 1) - 44tuples 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension eq(dist(x[14],x[15]),238) -> extension (support ? 1) - 42tuples 0.00/0.03 c intension eq(dist(x[16],x[17]),238) -> extension (support ? 1) - 22tuples 0.00/0.03 c intension eq(dist(x[18],x[19]),238) -> extension (support ? 1) - 44tuples 0.00/0.03 c intension eq(dist(x[20],x[21]),238) -> extension (support ? 1) - 36tuples 0.00/0.03 c intension eq(dist(x[22],x[23]),238) -> extension (support ? 1) - 6tuples 0.00/0.03 c intension eq(dist(x[24],x[25]),238) -> extension (support ? 1) - 44tuples 0.00/0.03 c intension eq(dist(x[26],x[27]),238) -> extension (support ? 1) - 36tuples 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension eq(dist(x[30],x[31]),238) -> extension (support ? 1) - 44tuples 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension eq(dist(x[40],x[41]),238) -> extension (support ? 1) - 42tuples 0.00/0.04 c intension eq(dist(x[42],x[43]),238) -> extension (support ? 1) - 36tuples 0.00/0.04 c intension eq(dist(x[44],x[45]),238) -> extension (support ? 1) - 44tuples 0.00/0.04 c intension eq(dist(x[46],x[47]),238) -> extension (support ? 1) - 36tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension eq(dist(x[52],x[53]),238) -> extension (support ? 1) - 42tuples 0.00/0.04 c intension eq(dist(x[54],x[55]),238) -> extension (support ? 1) - 44tuples 0.00/0.04 c intension eq(dist(x[56],x[57]),238) -> extension (support ? 1) - 42tuples 0.00/0.04 c intension eq(dist(x[58],x[59]),238) -> extension (support ? 1) - 36tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension eq(dist(x[62],x[63]),238) -> extension (support ? 1) - 42tuples 0.00/0.05 c intension eq(dist(x[64],x[65]),238) -> extension (support ? 1) - 44tuples 0.00/0.05 c intension eq(dist(x[66],x[67]),238) -> extension (support ? 1) - 36tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension eq(dist(x[70],x[71]),238) -> extension (support ? 1) - 42tuples 0.00/0.05 c intension eq(dist(x[72],x[73]),238) -> extension (support ? 1) - 6tuples 0.00/0.05 c intension eq(dist(x[74],x[75]),238) -> extension (support ? 1) - 42tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension eq(dist(x[78],x[79]),238) -> extension (support ? 1) - 44tuples 0.00/0.05 c intension eq(dist(x[80],x[81]),238) -> extension (support ? 1) - 36tuples 0.00/0.05 c intension eq(dist(x[82],x[83]),238) -> extension (support ? 1) - 22tuples 0.00/0.05 c intension eq(dist(x[84],x[85]),238) -> extension (support ? 1) - 44tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension eq(dist(x[94],x[95]),238) -> extension (support ? 1) - 36tuples 0.00/0.06 c intension eq(dist(x[96],x[97]),238) -> extension (support ? 1) - 6tuples 0.00/0.06 c intension eq(dist(x[98],x[99]),238) -> extension (support ? 1) - 42tuples 0.00/0.06 c intension eq(dist(x[100],x[101]),238) -> extension (support ? 1) - 44tuples 0.00/0.06 c intension eq(dist(x[102],x[103]),238) -> extension (support ? 1) - 36tuples 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension eq(dist(x[106],x[107]),238) -> extension (support ? 1) - 24tuples 0.00/0.06 c intension eq(dist(x[108],x[109]),238) -> extension (support ? 1) - 44tuples 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension eq(dist(x[116],x[117]),238) -> extension (support ? 1) - 36tuples 0.00/0.06 c intension eq(dist(x[118],x[119]),238) -> extension (support ? 1) - 44tuples 0.00/0.06 c intension eq(dist(x[120],x[121]),238) -> extension (support ? 1) - 6tuples 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension eq(dist(x[124],x[125]),238) -> extension (support ? 1) - 42tuples 0.00/0.07 c intension eq(dist(x[126],x[127]),238) -> extension (support ? 1) - 36tuples 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension eq(dist(x[130],x[131]),238) -> extension (support ? 1) - 44tuples 0.00/0.07 c intension eq(dist(x[132],x[133]),238) -> extension (support ? 1) - 36tuples 0.00/0.07 c intension eq(dist(x[134],x[135]),238) -> extension (support ? 1) - 6tuples 0.00/0.07 c intension eq(dist(x[136],x[137]),238) -> extension (support ? 1) - 42tuples 0.00/0.07 c intension eq(dist(x[138],x[139]),238) -> extension (support ? 1) - 44tuples 0.00/0.07 c intension eq(dist(x[140],x[141]),238) -> extension (support ? 1) - 42tuples 0.00/0.07 c intension eq(dist(x[142],x[143]),238) -> extension (support ? 1) - 44tuples 0.00/0.07 c intension eq(dist(x[144],x[145]),238) -> extension (support ? 1) - 42tuples 0.00/0.08 c intension eq(dist(x[146],x[147]),238) -> extension (support ? 1) - 44tuples 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension eq(dist(x[150],x[151]),238) -> extension (support ? 1) - 42tuples 0.00/0.08 c intension eq(dist(x[152],x[153]),238) -> extension (support ? 1) - 44tuples 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension eq(dist(x[156],x[157]),238) -> extension (support ? 1) - 42tuples 0.00/0.08 c intension eq(dist(x[158],x[159]),238) -> extension (support ? 1) - 36tuples 0.00/0.08 c intension eq(dist(x[160],x[161]),238) -> extension (support ? 1) - 22tuples 0.00/0.08 c intension eq(dist(x[162],x[163]),238) -> extension (support ? 1) - 42tuples 0.00/0.08 c intension eq(dist(x[164],x[165]),238) -> extension (support ? 1) - 44tuples 0.00/0.08 c intension eq(dist(x[166],x[167]),238) -> extension (support ? 1) - 36tuples 0.00/0.08 c intension eq(dist(x[168],x[169]),238) -> extension (support ? 1) - 42tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension eq(dist(x[172],x[173]),238) -> extension (support ? 1) - 44tuples 0.00/0.09 c intension eq(dist(x[174],x[175]),238) -> extension (support ? 1) - 42tuples 0.00/0.09 c intension eq(dist(x[176],x[177]),238) -> extension (support ? 1) - 24tuples 0.00/0.09 c intension eq(dist(x[178],x[179]),238) -> extension (support ? 1) - 42tuples 0.00/0.09 c intension eq(dist(x[180],x[181]),238) -> extension (support ? 1) - 44tuples 0.00/0.09 c intension eq(dist(x[182],x[183]),238) -> extension (support ? 1) - 42tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension eq(dist(x[186],x[187]),238) -> extension (support ? 1) - 44tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension eq(dist(x[192],x[193]),238) -> extension (support ? 1) - 6tuples 0.00/0.09 c intension eq(dist(x[194],x[195]),238) -> extension (support ? 1) - 36tuples 0.00/0.10 c intension eq(dist(x[196],x[197]),238) -> extension (support ? 1) - 44tuples 0.09/0.12 c intension -> extension : same as previous 0.09/0.12 c intension eq(if(le(200,dist(x[1],x[40])),0,1000),za1[0]) -> extension (support ? 1) - 1764tuples 0.09/0.13 c intension eq(if(le(393,dist(x[2],x[30])),0,1000),za1[1]) -> extension (support ? 1) - 1936tuples 0.09/0.13 c intension eq(if(le(71,dist(x[3],x[7])),0,1000),za1[2]) -> extension (support ? 1) - 264tuples 0.09/0.14 c intension eq(if(le(373,dist(x[30],x[3])),0,1000),za1[3]) -> extension (support ? 1) - 1936tuples 0.09/0.14 c intension eq(if(le(206,dist(x[3],x[68])),0,1000),za1[4]) -> extension (support ? 1) - 1584tuples 0.09/0.15 c intension eq(if(le(188,dist(x[25],x[6])),0,1000),za1[5]) -> extension (support ? 1) - 264tuples 0.09/0.15 c intension eq(if(le(193,dist(x[21],x[8])),0,1000),za1[6]) -> extension (support ? 1) - 216tuples 0.09/0.15 c intension eq(if(le(41,dist(x[85],x[9])),0,1000),za1[7]) -> extension (support ? 1) - 264tuples 0.09/0.15 c intension eq(if(le(189,dist(x[10],x[25])),0,1000),za1[8]) -> extension (support ? 1) - 1936tuples 0.09/0.16 c intension eq(if(le(138,dist(x[10],x[174])),0,1000),za1[9]) -> extension (support ? 1) - 1848tuples 0.09/0.17 c intension eq(if(le(152,dist(x[11],x[74])),0,1000),za1[10]) -> extension (support ? 1) - 1848tuples 0.09/0.17 c intension eq(if(le(158,dist(x[13],x[55])),0,1000),za1[11]) -> extension (support ? 1) - 1936tuples 0.09/0.18 c intension eq(if(le(186,dist(x[14],x[32])),0,1000),za1[12]) -> extension (support ? 1) - 1848tuples 0.09/0.19 c intension eq(if(le(297,dist(x[14],x[45])),0,1000),za1[13]) -> extension (support ? 1) - 1848tuples 0.09/0.19 c intension eq(if(le(132,dist(x[112],x[14])),0,1000),za1[14]) -> extension (support ? 1) - 1848tuples 0.09/0.20 c intension eq(if(le(202,dist(x[16],x[48])),0,1000),za1[15]) -> extension (support ? 1) - 792tuples 0.09/0.20 c intension eq(if(le(81,dist(x[17],x[81])),0,1000),za1[16]) -> extension (support ? 1) - 792tuples 0.09/0.21 c intension eq(if(le(54,dist(x[18],x[66])),0,1000),za1[17]) -> extension (support ? 1) - 1584tuples 0.09/0.21 c intension eq(if(le(263,dist(x[101],x[18])),0,1000),za1[18]) -> extension (support ? 1) - 1936tuples 0.21/0.22 c intension eq(if(le(261,dist(x[19],x[42])),0,1000),za1[19]) -> extension (support ? 1) - 1584tuples 0.21/0.23 c intension eq(if(le(68,dist(x[20],x[62])),0,1000),za1[20]) -> extension (support ? 1) - 1512tuples 0.21/0.23 c intension eq(if(le(162,dist(x[120],x[21])),0,1000),za1[21]) -> extension (support ? 1) - 216tuples 0.21/0.23 c intension eq(if(le(113,dist(x[22],x[24])),0,1000),za1[22]) -> extension (support ? 1) - 264tuples 0.21/0.23 c intension eq(if(le(239,dist(x[22],x[27])),0,1000),za1[23]) -> extension (support ? 1) - 216tuples 0.21/0.23 c intension eq(if(le(171,dist(x[175],x[22])),0,1000),za1[24]) -> extension (support ? 1) - 252tuples 0.21/0.24 c intension eq(if(le(134,dist(x[120],x[23])),0,1000),za1[25]) -> extension (support ? 1) - 36tuples 0.21/0.24 c intension eq(if(le(59,dist(x[175],x[23])),0,1000),za1[26]) -> extension (support ? 1) - 252tuples 0.21/0.24 c intension eq(if(le(55,dist(x[25],x[27])),0,1000),za1[27]) -> extension (support ? 1) - 1584tuples 0.21/0.24 c intension eq(if(le(19,dist(x[121],x[25])),0,1000),za1[28]) -> extension (support ? 1) - 264tuples 0.21/0.25 c intension eq(if(le(11,dist(x[127],x[25])),0,1000),za1[29]) -> extension (support ? 1) - 1584tuples 0.21/0.25 c intension eq(if(le(10,dist(x[175],x[25])),0,1000),za1[30]) -> extension (support ? 1) - 1848tuples 0.21/0.26 c intension eq(if(le(12,dist(x[26],x[74])),0,1000),za1[31]) -> extension (support ? 1) - 1512tuples 0.21/0.26 c intension eq(if(le(119,dist(x[121],x[26])),0,1000),za1[32]) -> extension (support ? 1) - 216tuples 0.21/0.27 c intension eq(if(le(112,dist(x[147],x[26])),0,1000),za1[33]) -> extension (support ? 1) - 1584tuples 0.21/0.27 c intension eq(if(le(191,dist(x[126],x[27])),0,1000),za1[34]) -> extension (support ? 1) - 1296tuples 0.21/0.28 c intension eq(if(le(228,dist(x[147],x[27])),0,1000),za1[35]) -> extension (support ? 1) - 1584tuples 0.21/0.28 c intension eq(if(le(293,dist(x[28],x[82])),0,1000),za1[36]) -> extension (support ? 1) - 792tuples 0.21/0.29 c intension eq(if(le(217,dist(x[28],x[83])),0,1000),za1[37]) -> extension (support ? 1) - 792tuples 0.21/0.29 c intension eq(if(le(207,dist(x[31],x[60])),0,1000),za1[38]) -> extension (support ? 1) - 1584tuples 0.21/0.30 c intension eq(if(le(39,dist(x[32],x[90])),0,1000),za1[39]) -> extension (support ? 1) - 1936tuples 0.21/0.31 c intension eq(if(le(253,dist(x[153],x[32])),0,1000),za1[40]) -> extension (support ? 1) - 1936tuples 0.21/0.31 c intension eq(if(le(71,dist(x[153],x[33])),0,1000),za1[41]) -> extension (support ? 1) - 1936tuples 0.30/0.32 c intension eq(if(le(241,dist(x[195],x[34])),0,1000),za1[42]) -> extension (support ? 1) - 1584tuples 0.30/0.32 c intension eq(if(le(221,dist(x[35],x[82])),0,1000),za1[43]) -> extension (support ? 1) - 968tuples 0.30/0.33 c intension eq(if(le(182,dist(x[113],x[36])),0,1000),za1[44]) -> extension (support ? 1) - 1936tuples 0.30/0.34 c intension eq(if(le(191,dist(x[106],x[39])),0,1000),za1[45]) -> extension (support ? 1) - 1056tuples 0.30/0.34 c intension eq(if(le(295,dist(x[41],x[78])),0,1000),za1[46]) -> extension (support ? 1) - 1848tuples 0.30/0.35 c intension eq(if(le(188,dist(x[42],x[66])),0,1000),za1[47]) -> extension (support ? 1) - 1296tuples 0.30/0.35 c intension eq(if(le(286,dist(x[42],x[91])),0,1000),za1[48]) -> extension (support ? 1) - 1584tuples 0.30/0.36 c intension eq(if(le(190,dist(x[43],x[66])),0,1000),za1[49]) -> extension (support ? 1) - 1296tuples 0.30/0.36 c intension eq(if(le(284,dist(x[43],x[90])),0,1000),za1[50]) -> extension (support ? 1) - 1584tuples 0.30/0.37 c intension eq(if(le(46,dist(x[43],x[91])),0,1000),za1[51]) -> extension (support ? 1) - 1584tuples 0.30/0.38 c intension eq(if(le(140,dist(x[43],x[92])),0,1000),za1[52]) -> extension (support ? 1) - 1584tuples 0.30/0.38 c intension eq(if(le(38,dist(x[159],x[43])),0,1000),za1[53]) -> extension (support ? 1) - 1296tuples 0.30/0.39 c intension eq(if(le(230,dist(x[47],x[89])),0,1000),za1[54]) -> extension (support ? 1) - 1584tuples 0.30/0.39 c intension eq(if(le(51,dist(x[157],x[47])),0,1000),za1[55]) -> extension (support ? 1) - 1512tuples 0.30/0.40 c intension eq(if(le(175,dist(x[53],x[64])),0,1000),za1[56]) -> extension (support ? 1) - 1848tuples 0.30/0.41 c intension eq(if(le(155,dist(x[179],x[53])),0,1000),za1[57]) -> extension (support ? 1) - 1764tuples 0.30/0.41 c intension eq(if(le(225,dist(x[54],x[87])),0,1000),za1[58]) -> extension (support ? 1) - 1936tuples 0.40/0.42 c intension eq(if(le(239,dist(x[135],x[54])),0,1000),za1[59]) -> extension (support ? 1) - 264tuples 0.40/0.42 c intension eq(if(le(279,dist(x[166],x[54])),0,1000),za1[60]) -> extension (support ? 1) - 1584tuples 0.40/0.43 c intension eq(if(le(352,dist(x[183],x[54])),0,1000),za1[61]) -> extension (support ? 1) - 1848tuples 0.40/0.43 c intension eq(if(le(225,dist(x[55],x[58])),0,1000),za1[62]) -> extension (support ? 1) - 1584tuples 0.40/0.44 c intension eq(if(le(127,dist(x[55],x[59])),0,1000),za1[63]) -> extension (support ? 1) - 1584tuples 0.40/0.45 c intension eq(if(le(201,dist(x[55],x[87])),0,1000),za1[64]) -> extension (support ? 1) - 1936tuples 0.40/0.45 c intension eq(if(le(186,dist(x[151],x[55])),0,1000),za1[65]) -> extension (support ? 1) - 1848tuples 0.40/0.46 c intension eq(if(le(237,dist(x[128],x[56])),0,1000),za1[66]) -> extension (support ? 1) - 1512tuples 0.40/0.47 c intension eq(if(le(209,dist(x[167],x[56])),0,1000),za1[67]) -> extension (support ? 1) - 1512tuples 0.40/0.47 c intension eq(if(le(295,dist(x[128],x[57])),0,1000),za1[68]) -> extension (support ? 1) - 1512tuples 0.40/0.48 c intension eq(if(le(195,dist(x[142],x[57])),0,1000),za1[69]) -> extension (support ? 1) - 1848tuples 0.40/0.48 c intension eq(if(le(124,dist(x[151],x[57])),0,1000),za1[70]) -> extension (support ? 1) - 1764tuples 0.40/0.49 c intension eq(if(le(114,dist(x[134],x[58])),0,1000),za1[71]) -> extension (support ? 1) - 216tuples 0.40/0.49 c intension eq(if(le(180,dist(x[151],x[58])),0,1000),za1[72]) -> extension (support ? 1) - 1512tuples 0.40/0.50 c intension eq(if(le(532,dist(x[160],x[58])),0,1000),za1[73]) -> extension (support ? 1) - 792tuples 0.40/0.50 c intension eq(if(le(241,dist(x[59],x[86])),0,1000),za1[74]) -> extension (support ? 1) - 1584tuples 0.40/0.51 c intension eq(if(le(67,dist(x[59],x[87])),0,1000),za1[75]) -> extension (support ? 1) - 1584tuples 0.40/0.51 c intension eq(if(le(27,dist(x[145],x[59])),0,1000),za1[76]) -> extension (support ? 1) - 1512tuples 0.51/0.52 c intension eq(if(le(53,dist(x[151],x[59])),0,1000),za1[77]) -> extension (support ? 1) - 1512tuples 0.51/0.52 c intension eq(if(le(42,dist(x[167],x[59])),0,1000),za1[78]) -> extension (support ? 1) - 1296tuples 0.51/0.53 c intension eq(if(le(230,dist(x[191],x[59])),0,1000),za1[79]) -> extension (support ? 1) - 1584tuples 0.51/0.54 c intension eq(if(le(379,dist(x[64],x[88])),0,1000),za1[80]) -> extension (support ? 1) - 1936tuples 0.51/0.54 c intension eq(if(le(211,dist(x[100],x[66])),0,1000),za1[81]) -> extension (support ? 1) - 1584tuples 0.51/0.55 c intension eq(if(le(298,dist(x[158],x[66])),0,1000),za1[82]) -> extension (support ? 1) - 1296tuples 0.51/0.55 c intension eq(if(le(171,dist(x[159],x[67])),0,1000),za1[83]) -> extension (support ? 1) - 1296tuples 0.51/0.56 c intension eq(if(le(81,dist(x[110],x[70])),0,1000),za1[84]) -> extension (support ? 1) - 1848tuples 0.51/0.57 c intension eq(if(le(39,dist(x[152],x[70])),0,1000),za1[85]) -> extension (support ? 1) - 1848tuples 0.51/0.57 c intension eq(if(le(81,dist(x[72],x[78])),0,1000),za1[86]) -> extension (support ? 1) - 264tuples 0.51/0.57 c intension eq(if(le(287,dist(x[120],x[74])),0,1000),za1[87]) -> extension (support ? 1) - 252tuples 0.51/0.58 c intension eq(if(le(210,dist(x[126],x[75])),0,1000),za1[88]) -> extension (support ? 1) - 1512tuples 0.51/0.58 c intension eq(if(le(28,dist(x[127],x[75])),0,1000),za1[89]) -> extension (support ? 1) - 1512tuples 0.51/0.59 c intension eq(if(le(145,dist(x[146],x[75])),0,1000),za1[90]) -> extension (support ? 1) - 1848tuples 0.51/0.59 c intension eq(if(le(182,dist(x[174],x[75])),0,1000),za1[91]) -> extension (support ? 1) - 1764tuples 0.51/0.60 c intension eq(if(le(94,dist(x[180],x[76])),0,1000),za1[92]) -> extension (support ? 1) - 1848tuples 0.60/0.61 c intension eq(if(le(42,dist(x[184],x[76])),0,1000),za1[93]) -> extension (support ? 1) - 1764tuples 0.60/0.61 c intension eq(if(le(290,dist(x[114],x[77])),0,1000),za1[94]) -> extension (support ? 1) - 1848tuples 0.60/0.62 c intension eq(if(le(199,dist(x[115],x[77])),0,1000),za1[95]) -> extension (support ? 1) - 1848tuples 0.60/0.63 c intension eq(if(le(137,dist(x[196],x[78])),0,1000),za1[96]) -> extension (support ? 1) - 1936tuples 0.60/0.64 c intension eq(if(le(138,dist(x[198],x[78])),0,1000),za1[97]) -> extension (support ? 1) - 1936tuples 0.60/0.64 c intension eq(if(le(140,dist(x[197],x[79])),0,1000),za1[98]) -> extension (support ? 1) - 1936tuples 0.60/0.65 c intension eq(if(le(285,dist(x[184],x[83])),0,1000),za1[99]) -> extension (support ? 1) - 924tuples 0.60/0.65 c intension eq(if(le(238,dist(x[157],x[84])),0,1000),za1[100]) -> extension (support ? 1) - 1848tuples 0.60/0.66 c intension eq(if(le(9,dist(x[186],x[84])),0,1000),za1[101]) -> extension (support ? 1) - 1936tuples 0.60/0.67 c intension eq(if(le(173,dist(x[151],x[85])),0,1000),za1[102]) -> extension (support ? 1) - 1848tuples 0.60/0.67 c intension eq(if(le(243,dist(x[134],x[86])),0,1000),za1[103]) -> extension (support ? 1) - 264tuples 0.60/0.68 c intension eq(if(le(445,dist(x[190],x[86])),0,1000),za1[104]) -> extension (support ? 1) - 1936tuples 0.60/0.68 c intension eq(if(le(497,dist(x[191],x[86])),0,1000),za1[105]) -> extension (support ? 1) - 1936tuples 0.60/0.69 c intension eq(if(le(175,dist(x[134],x[87])),0,1000),za1[106]) -> extension (support ? 1) - 264tuples 0.60/0.69 c intension eq(if(le(72,dist(x[135],x[87])),0,1000),za1[107]) -> extension (support ? 1) - 264tuples 0.60/0.69 c intension eq(if(le(11,dist(x[151],x[87])),0,1000),za1[108]) -> extension (support ? 1) - 1848tuples 0.69/0.70 c intension eq(if(le(166,dist(x[158],x[87])),0,1000),za1[109]) -> extension (support ? 1) - 1584tuples 0.69/0.71 c intension eq(if(le(528,dist(x[190],x[87])),0,1000),za1[110]) -> extension (support ? 1) - 1936tuples 0.69/0.71 c intension eq(if(le(436,dist(x[179],x[88])),0,1000),za1[111]) -> extension (support ? 1) - 1848tuples 0.69/0.72 c intension eq(if(le(154,dist(x[100],x[90])),0,1000),za1[112]) -> extension (support ? 1) - 1936tuples 0.69/0.73 c intension eq(if(le(180,dist(x[105],x[90])),0,1000),za1[113]) -> extension (support ? 1) - 1584tuples 0.69/0.73 c intension eq(if(le(294,dist(x[104],x[91])),0,1000),za1[114]) -> extension (support ? 1) - 1584tuples 0.69/0.74 c intension eq(if(le(263,dist(x[133],x[94])),0,1000),za1[115]) -> extension (support ? 1) - 1296tuples 0.69/0.74 c intension eq(if(le(55,dist(x[160],x[94])),0,1000),za1[116]) -> extension (support ? 1) - 792tuples 0.69/0.74 c intension eq(if(le(294,dist(x[161],x[94])),0,1000),za1[117]) -> extension (support ? 1) - 792tuples 0.69/0.75 c intension eq(if(le(53,dist(x[161],x[95])),0,1000),za1[118]) -> extension (support ? 1) - 792tuples 0.69/0.75 c intension eq(if(le(144,dist(x[184],x[95])),0,1000),za1[119]) -> extension (support ? 1) - 1512tuples 0.69/0.76 c intension eq(if(le(245,dist(x[148],x[96])),0,1000),za1[120]) -> extension (support ? 1) - 264tuples 0.69/0.76 c intension eq(if(le(199,dist(x[158],x[96])),0,1000),za1[121]) -> extension (support ? 1) - 216tuples 0.69/0.76 c intension eq(if(le(268,dist(x[100],x[97])),0,1000),za1[122]) -> extension (support ? 1) - 264tuples 0.69/0.76 c intension eq(if(le(255,dist(x[104],x[97])),0,1000),za1[123]) -> extension (support ? 1) - 216tuples 0.69/0.76 c intension eq(if(le(6,dist(x[159],x[97])),0,1000),za1[124]) -> extension (support ? 1) - 216tuples 0.69/0.77 c intension eq(if(le(284,dist(x[155],x[98])),0,1000),za1[125]) -> extension (support ? 1) - 1848tuples 0.69/0.77 c intension eq(if(le(174,dist(x[101],x[105])),0,1000),za1[126]) -> extension (support ? 1) - 1584tuples 0.69/0.78 c intension eq(if(le(297,dist(x[103],x[110])),0,1000),za1[127]) -> extension (support ? 1) - 1584tuples 0.69/0.79 c intension eq(if(le(195,dist(x[103],x[142])),0,1000),za1[128]) -> extension (support ? 1) - 1584tuples 0.69/0.79 c intension eq(if(le(39,dist(x[103],x[143])),0,1000),za1[129]) -> extension (support ? 1) - 1584tuples 0.79/0.80 c intension eq(if(le(211,dist(x[105],x[149])),0,1000),za1[130]) -> extension (support ? 1) - 1584tuples 0.79/0.80 c intension eq(if(le(103,dist(x[105],x[158])),0,1000),za1[131]) -> extension (support ? 1) - 1296tuples 0.79/0.81 c intension eq(if(le(245,dist(x[106],x[145])),0,1000),za1[132]) -> extension (support ? 1) - 1008tuples 0.79/0.81 c intension eq(if(le(306,dist(x[108],x[143])),0,1000),za1[133]) -> extension (support ? 1) - 1936tuples 0.79/0.82 c intension eq(if(le(200,dist(x[108],x[183])),0,1000),za1[134]) -> extension (support ? 1) - 1848tuples 0.79/0.83 c intension eq(if(le(188,dist(x[109],x[131])),0,1000),za1[135]) -> extension (support ? 1) - 1936tuples 0.79/0.83 c intension eq(if(le(146,dist(x[114],x[193])),0,1000),za1[136]) -> extension (support ? 1) - 264tuples 0.79/0.83 c intension eq(if(le(226,dist(x[116],x[179])),0,1000),za1[137]) -> extension (support ? 1) - 1512tuples 0.79/0.84 c intension eq(if(le(194,dist(x[118],x[186])),0,1000),za1[138]) -> extension (support ? 1) - 1936tuples 0.79/0.85 c intension eq(if(le(110,dist(x[118],x[189])),0,1000),za1[139]) -> extension (support ? 1) - 1936tuples 0.79/0.85 c intension eq(if(le(109,dist(x[120],x[124])),0,1000),za1[140]) -> extension (support ? 1) - 252tuples 0.79/0.85 c intension eq(if(le(180,dist(x[120],x[174])),0,1000),za1[141]) -> extension (support ? 1) - 252tuples 0.79/0.86 c intension eq(if(le(369,dist(x[122],x[137])),0,1000),za1[142]) -> extension (support ? 1) - 252tuples 0.79/0.86 c intension eq(if(le(12,dist(x[124],x[194])),0,1000),za1[143]) -> extension (support ? 1) - 1512tuples 0.79/0.87 c intension eq(if(le(425,dist(x[126],x[147])),0,1000),za1[144]) -> extension (support ? 1) - 1584tuples 0.79/0.87 c intension eq(if(le(224,dist(x[127],x[146])),0,1000),za1[145]) -> extension (support ? 1) - 1584tuples 0.79/0.88 c intension eq(if(le(222,dist(x[128],x[130])),0,1000),za1[146]) -> extension (support ? 1) - 1584tuples 0.79/0.88 c intension eq(if(le(136,dist(x[128],x[131])),0,1000),za1[147]) -> extension (support ? 1) - 1584tuples 0.79/0.89 c intension eq(if(le(205,dist(x[128],x[143])),0,1000),za1[148]) -> extension (support ? 1) - 1584tuples 0.79/0.89 c intension eq(if(le(262,dist(x[129],x[142])),0,1000),za1[149]) -> extension (support ? 1) - 1584tuples 0.89/0.90 c intension eq(if(le(103,dist(x[129],x[145])),0,1000),za1[150]) -> extension (support ? 1) - 1512tuples 0.89/0.91 c intension eq(if(le(162,dist(x[131],x[164])),0,1000),za1[151]) -> extension (support ? 1) - 1936tuples 0.89/0.91 c intension eq(if(le(39,dist(x[132],x[162])),0,1000),za1[152]) -> extension (support ? 1) - 1512tuples 0.89/0.92 c intension eq(if(le(191,dist(x[132],x[163])),0,1000),za1[153]) -> extension (support ? 1) - 1512tuples 0.89/0.93 c intension eq(if(le(37,dist(x[132],x[168])),0,1000),za1[154]) -> extension (support ? 1) - 1512tuples 0.89/0.93 c intension eq(if(le(251,dist(x[132],x[185])),0,1000),za1[155]) -> extension (support ? 1) - 1512tuples 0.89/0.94 c intension eq(if(le(23,dist(x[133],x[161])),0,1000),za1[156]) -> extension (support ? 1) - 792tuples 0.89/0.94 c intension eq(if(le(275,dist(x[133],x[168])),0,1000),za1[157]) -> extension (support ? 1) - 1512tuples 0.89/0.95 c intension eq(if(le(214,dist(x[133],x[181])),0,1000),za1[158]) -> extension (support ? 1) - 1584tuples 0.89/0.95 c intension eq(if(le(106,dist(x[134],x[150])),0,1000),za1[159]) -> extension (support ? 1) - 252tuples 0.89/0.95 c intension eq(if(le(295,dist(x[134],x[157])),0,1000),za1[160]) -> extension (support ? 1) - 252tuples 0.89/0.95 c intension eq(if(le(224,dist(x[134],x[190])),0,1000),za1[161]) -> extension (support ? 1) - 264tuples 0.89/0.95 c intension eq(if(le(57,dist(x[135],x[151])),0,1000),za1[162]) -> extension (support ? 1) - 252tuples 0.89/0.96 c intension eq(if(le(296,dist(x[135],x[164])),0,1000),za1[163]) -> extension (support ? 1) - 264tuples 0.89/0.96 c intension eq(if(le(199,dist(x[135],x[166])),0,1000),za1[164]) -> extension (support ? 1) - 216tuples 0.89/0.96 c intension eq(if(le(23,dist(x[139],x[157])),0,1000),za1[165]) -> extension (support ? 1) - 1848tuples 0.89/0.97 c intension eq(if(le(37,dist(x[139],x[173])),0,1000),za1[166]) -> extension (support ? 1) - 1936tuples 0.89/0.98 c intension eq(if(le(194,dist(x[141],x[170])),0,1000),za1[167]) -> extension (support ? 1) - 1764tuples 0.89/0.98 c intension eq(if(le(111,dist(x[146],x[160])),0,1000),za1[168]) -> extension (support ? 1) - 968tuples 0.89/0.98 c intension eq(if(le(280,dist(x[146],x[161])),0,1000),za1[169]) -> extension (support ? 1) - 968tuples 0.89/0.99 c intension eq(if(le(167,dist(x[149],x[158])),0,1000),za1[170]) -> extension (support ? 1) - 1584tuples 0.89/1.00 c intension eq(if(le(237,dist(x[150],x[165])),0,1000),za1[171]) -> extension (support ? 1) - 1848tuples 0.89/1.00 c intension eq(if(le(65,dist(x[150],x[182])),0,1000),za1[172]) -> extension (support ? 1) - 1764tuples 1.00/1.01 c intension eq(if(le(66,dist(x[151],x[183])),0,1000),za1[173]) -> extension (support ? 1) - 1764tuples 1.00/1.02 c intension eq(if(le(257,dist(x[151],x[190])),0,1000),za1[174]) -> extension (support ? 1) - 1848tuples 1.00/1.02 c intension eq(if(le(223,dist(x[153],x[174])),0,1000),za1[175]) -> extension (support ? 1) - 1848tuples 1.00/1.03 c intension eq(if(le(284,dist(x[157],x[191])),0,1000),za1[176]) -> extension (support ? 1) - 1848tuples 1.00/1.04 c intension eq(if(le(136,dist(x[158],x[168])),0,1000),za1[177]) -> extension (support ? 1) - 1512tuples 1.00/1.04 c intension eq(if(le(249,dist(x[160],x[185])),0,1000),za1[178]) -> extension (support ? 1) - 924tuples 1.00/1.04 c intension eq(if(le(111,dist(x[161],x[193])),0,1000),za1[179]) -> extension (support ? 1) - 132tuples 1.00/1.05 c intension eq(if(le(109,dist(x[164],x[190])),0,1000),za1[180]) -> extension (support ? 1) - 1936tuples 1.00/1.05 c intension eq(if(le(99,dist(x[165],x[183])),0,1000),za1[181]) -> extension (support ? 1) - 1848tuples 1.00/1.06 c intension eq(if(le(23,dist(x[166],x[182])),0,1000),za1[182]) -> extension (support ? 1) - 1512tuples 1.00/1.07 c intension eq(if(le(120,dist(x[166],x[191])),0,1000),za1[183]) -> extension (support ? 1) - 1584tuples 1.00/1.07 c intension eq(if(le(263,dist(x[167],x[182])),0,1000),za1[184]) -> extension (support ? 1) - 1512tuples 1.00/1.08 c intension eq(if(le(24,dist(x[167],x[183])),0,1000),za1[185]) -> extension (support ? 1) - 1512tuples 1.00/1.08 c intension eq(if(le(238,dist(x[167],x[190])),0,1000),za1[186]) -> extension (support ? 1) - 1584tuples 1.00/1.09 c intension eq(if(le(271,dist(x[168],x[185])),0,1000),za1[187]) -> extension (support ? 1) - 1764tuples 1.00/1.09 c intension eq(if(le(179,dist(x[168],x[192])),0,1000),za1[188]) -> extension (support ? 1) - 252tuples 1.00/1.10 c intension eq(if(le(277,dist(x[169],x[190])),0,1000),za1[189]) -> extension (support ? 1) - 1848tuples 1.00/1.10 c intension eq(if(le(309,dist(x[177],x[188])),0,1000),za1[190]) -> extension (support ? 1) - 1056tuples 1.10/1.11 c intension eq(if(le(84,dist(x[180],x[182])),0,1000),za1[191]) -> extension (support ? 1) - 1848tuples 1.10/1.12 c intension eq(if(le(52,dist(x[180],x[184])),0,1000),za1[192]) -> extension (support ? 1) - 1848tuples 1.10/1.12 c intension eq(if(le(290,dist(x[180],x[185])),0,1000),za1[193]) -> extension (support ? 1) - 1848tuples 1.10/1.13 c intension eq(if(le(200,dist(x[181],x[187])),0,1000),za1[194]) -> extension (support ? 1) - 1936tuples 1.10/1.14 c intension eq(if(le(138,dist(x[182],x[190])),0,1000),za1[195]) -> extension (support ? 1) - 1848tuples 1.10/1.14 c intension eq(if(le(158,dist(x[0],x[40])),0,100),za2[0]) -> extension (support ? 1) - 1764tuples 1.10/1.15 c intension eq(if(le(69,dist(x[0],x[112])),0,100),za2[1]) -> extension (support ? 1) - 1848tuples 1.10/1.16 c intension eq(if(le(196,dist(x[0],x[199])),0,100),za2[2]) -> extension (support ? 1) - 1848tuples 1.10/1.16 c intension eq(if(le(134,dist(x[1],x[36])),0,100),za2[3]) -> extension (support ? 1) - 1848tuples 1.10/1.17 c intension eq(if(le(192,dist(x[1],x[42])),0,100),za2[4]) -> extension (support ? 1) - 1512tuples 1.10/1.18 c intension eq(if(le(144,dist(x[1],x[43])),0,100),za2[5]) -> extension (support ? 1) - 1512tuples 1.10/1.18 c intension eq(if(le(52,dist(x[1],x[45])),0,100),za2[6]) -> extension (support ? 1) - 1848tuples 1.10/1.19 c intension eq(if(le(52,dist(x[1],x[72])),0,100),za2[7]) -> extension (support ? 1) - 252tuples 1.10/1.19 c intension eq(if(le(181,dist(x[2],x[8])),0,100),za2[8]) -> extension (support ? 1) - 264tuples 1.10/1.19 c intension eq(if(le(110,dist(x[2],x[9])),0,100),za2[9]) -> extension (support ? 1) - 264tuples 1.10/1.19 c intension eq(if(le(134,dist(x[2],x[35])),0,100),za2[10]) -> extension (support ? 1) - 1936tuples 1.19/1.20 c intension eq(if(le(27,dist(x[2],x[68])),0,100),za2[11]) -> extension (support ? 1) - 1584tuples 1.19/1.21 c intension eq(if(le(195,dist(x[12],x[3])),0,100),za2[12]) -> extension (support ? 1) - 1936tuples 1.19/1.21 c intension eq(if(le(168,dist(x[34],x[3])),0,100),za2[13]) -> extension (support ? 1) - 1936tuples 1.19/1.22 c intension eq(if(le(277,dist(x[4],x[7])),0,100),za2[14]) -> extension (support ? 1) - 132tuples 1.19/1.22 c intension eq(if(le(142,dist(x[24],x[4])),0,100),za2[15]) -> extension (support ? 1) - 968tuples 1.19/1.22 c intension eq(if(le(182,dist(x[25],x[4])),0,100),za2[16]) -> extension (support ? 1) - 968tuples 1.19/1.23 c intension eq(if(le(69,dist(x[5],x[6])),0,100),za2[17]) -> extension (support ? 1) - 132tuples 1.19/1.23 c intension eq(if(le(163,dist(x[5],x[7])),0,100),za2[18]) -> extension (support ? 1) - 132tuples 1.19/1.23 c intension eq(if(le(116,dist(x[119],x[5])),0,100),za2[19]) -> extension (support ? 1) - 968tuples 1.19/1.23 c intension eq(if(le(234,dist(x[27],x[8])),0,100),za2[20]) -> extension (support ? 1) - 216tuples 1.19/1.24 c intension eq(if(le(243,dist(x[62],x[9])),0,100),za2[21]) -> extension (support ? 1) - 252tuples 1.19/1.24 c intension eq(if(le(289,dist(x[186],x[9])),0,100),za2[22]) -> extension (support ? 1) - 264tuples 1.19/1.24 c intension eq(if(le(121,dist(x[10],x[24])),0,100),za2[23]) -> extension (support ? 1) - 1936tuples 1.19/1.25 c intension eq(if(le(80,dist(x[10],x[74])),0,100),za2[24]) -> extension (support ? 1) - 1848tuples 1.19/1.25 c intension eq(if(le(143,dist(x[11],x[22])),0,100),za2[25]) -> extension (support ? 1) - 264tuples 1.19/1.26 c intension eq(if(le(69,dist(x[11],x[27])),0,100),za2[26]) -> extension (support ? 1) - 1584tuples 1.19/1.26 c intension eq(if(le(82,dist(x[11],x[75])),0,100),za2[27]) -> extension (support ? 1) - 1848tuples 1.19/1.27 c intension eq(if(le(145,dist(x[11],x[121])),0,100),za2[28]) -> extension (support ? 1) - 264tuples 1.19/1.27 c intension eq(if(le(134,dist(x[12],x[61])),0,100),za2[29]) -> extension (support ? 1) - 1584tuples 1.19/1.28 c intension eq(if(le(12,dist(x[13],x[69])),0,100),za2[30]) -> extension (support ? 1) - 1584tuples 1.19/1.28 c intension eq(if(le(93,dist(x[14],x[37])),0,100),za2[31]) -> extension (support ? 1) - 1848tuples 1.19/1.29 c intension eq(if(le(173,dist(x[14],x[73])),0,100),za2[32]) -> extension (support ? 1) - 252tuples 1.19/1.29 c intension eq(if(le(257,dist(x[15],x[78])),0,100),za2[33]) -> extension (support ? 1) - 1848tuples 1.29/1.30 c intension eq(if(le(232,dist(x[15],x[198])),0,100),za2[34]) -> extension (support ? 1) - 1848tuples 1.29/1.30 c intension eq(if(le(155,dist(x[15],x[199])),0,100),za2[35]) -> extension (support ? 1) - 1848tuples 1.29/1.31 c intension eq(if(le(158,dist(x[16],x[21])),0,100),za2[36]) -> extension (support ? 1) - 792tuples 1.29/1.31 c intension eq(if(le(84,dist(x[16],x[80])),0,100),za2[37]) -> extension (support ? 1) - 792tuples 1.29/1.32 c intension eq(if(le(346,dist(x[16],x[93])),0,100),za2[38]) -> extension (support ? 1) - 968tuples 1.29/1.32 c intension eq(if(le(140,dist(x[17],x[32])),0,100),za2[39]) -> extension (support ? 1) - 968tuples 1.29/1.33 c intension eq(if(le(269,dist(x[18],x[42])),0,100),za2[40]) -> extension (support ? 1) - 1584tuples 1.29/1.33 c intension eq(if(le(120,dist(x[18],x[91])),0,100),za2[41]) -> extension (support ? 1) - 1936tuples 1.29/1.34 c intension eq(if(le(224,dist(x[18],x[96])),0,100),za2[42]) -> extension (support ? 1) - 264tuples 1.29/1.34 c intension eq(if(le(83,dist(x[104],x[18])),0,100),za2[43]) -> extension (support ? 1) - 1584tuples 1.29/1.35 c intension eq(if(le(277,dist(x[105],x[18])),0,100),za2[44]) -> extension (support ? 1) - 1584tuples 1.29/1.35 c intension eq(if(le(365,dist(x[149],x[18])),0,100),za2[45]) -> extension (support ? 1) - 1936tuples 1.29/1.36 c intension eq(if(le(107,dist(x[19],x[48])),0,100),za2[46]) -> extension (support ? 1) - 1584tuples 1.29/1.37 c intension eq(if(le(181,dist(x[19],x[66])),0,100),za2[47]) -> extension (support ? 1) - 1584tuples 1.29/1.37 c intension eq(if(le(96,dist(x[19],x[90])),0,100),za2[48]) -> extension (support ? 1) - 1936tuples 1.29/1.38 c intension eq(if(le(150,dist(x[104],x[19])),0,100),za2[49]) -> extension (support ? 1) - 1584tuples 1.29/1.38 c intension eq(if(le(385,dist(x[148],x[19])),0,100),za2[50]) -> extension (support ? 1) - 1936tuples 1.29/1.39 c intension eq(if(le(197,dist(x[158],x[19])),0,100),za2[51]) -> extension (support ? 1) - 1584tuples 1.39/1.40 c intension eq(if(le(223,dist(x[20],x[54])),0,100),za2[52]) -> extension (support ? 1) - 1584tuples 1.39/1.40 c intension eq(if(le(254,dist(x[186],x[21])),0,100),za2[53]) -> extension (support ? 1) - 1584tuples 1.39/1.41 c intension eq(if(le(463,dist(x[22],x[74])),0,100),za2[54]) -> extension (support ? 1) - 252tuples 1.39/1.41 c intension eq(if(le(116,dist(x[126],x[22])),0,100),za2[55]) -> extension (support ? 1) - 216tuples 1.39/1.41 c intension eq(if(le(103,dist(x[144],x[22])),0,100),za2[56]) -> extension (support ? 1) - 252tuples 1.39/1.41 c intension eq(if(le(222,dist(x[146],x[22])),0,100),za2[57]) -> extension (support ? 1) - 264tuples 1.39/1.41 c intension eq(if(le(10,dist(x[147],x[22])),0,100),za2[58]) -> extension (support ? 1) - 264tuples 1.39/1.42 c intension eq(if(le(185,dist(x[23],x[24])),0,100),za2[59]) -> extension (support ? 1) - 264tuples 1.39/1.42 c intension eq(if(le(50,dist(x[23],x[25])),0,100),za2[60]) -> extension (support ? 1) - 264tuples 1.39/1.42 c intension eq(if(le(240,dist(x[23],x[26])),0,100),za2[61]) -> extension (support ? 1) - 216tuples 1.39/1.42 c intension eq(if(le(6,dist(x[23],x[27])),0,100),za2[62]) -> extension (support ? 1) - 216tuples 1.39/1.42 c intension eq(if(le(68,dist(x[121],x[23])),0,100),za2[63]) -> extension (support ? 1) - 36tuples 1.39/1.42 c intension eq(if(le(197,dist(x[126],x[23])),0,100),za2[64]) -> extension (support ? 1) - 216tuples 1.39/1.42 c intension eq(if(le(36,dist(x[127],x[23])),0,100),za2[65]) -> extension (support ? 1) - 216tuples 1.39/1.43 c intension eq(if(le(261,dist(x[146],x[23])),0,100),za2[66]) -> extension (support ? 1) - 264tuples 1.39/1.43 c intension eq(if(le(223,dist(x[147],x[23])),0,100),za2[67]) -> extension (support ? 1) - 264tuples 1.39/1.43 c intension eq(if(le(52,dist(x[24],x[26])),0,100),za2[68]) -> extension (support ? 1) - 1584tuples 1.39/1.44 c intension eq(if(le(39,dist(x[24],x[74])),0,100),za2[69]) -> extension (support ? 1) - 1848tuples 1.39/1.44 c intension eq(if(le(192,dist(x[24],x[75])),0,100),za2[70]) -> extension (support ? 1) - 1848tuples 1.39/1.45 c intension eq(if(le(203,dist(x[120],x[24])),0,100),za2[71]) -> extension (support ? 1) - 264tuples 1.39/1.45 c intension eq(if(le(210,dist(x[145],x[24])),0,100),za2[72]) -> extension (support ? 1) - 1848tuples 1.39/1.46 c intension eq(if(le(11,dist(x[174],x[24])),0,100),za2[73]) -> extension (support ? 1) - 1848tuples 1.39/1.47 c intension eq(if(le(290,dist(x[25],x[26])),0,100),za2[74]) -> extension (support ? 1) - 1584tuples 1.39/1.47 c intension eq(if(le(256,dist(x[120],x[25])),0,100),za2[75]) -> extension (support ? 1) - 264tuples 1.39/1.47 c intension eq(if(le(252,dist(x[126],x[25])),0,100),za2[76]) -> extension (support ? 1) - 1584tuples 1.39/1.48 c intension eq(if(le(221,dist(x[174],x[25])),0,100),za2[77]) -> extension (support ? 1) - 1848tuples 1.39/1.48 c intension eq(if(le(110,dist(x[120],x[26])),0,100),za2[78]) -> extension (support ? 1) - 216tuples 1.39/1.49 c intension eq(if(le(41,dist(x[126],x[26])),0,100),za2[79]) -> extension (support ? 1) - 1296tuples 1.39/1.49 c intension eq(if(le(9,dist(x[27],x[75])),0,100),za2[80]) -> extension (support ? 1) - 1512tuples 1.49/1.50 c intension eq(if(le(195,dist(x[120],x[27])),0,100),za2[81]) -> extension (support ? 1) - 216tuples 1.49/1.50 c intension eq(if(le(156,dist(x[28],x[80])),0,100),za2[82]) -> extension (support ? 1) - 1296tuples 1.49/1.50 c intension eq(if(le(10,dist(x[136],x[28])),0,100),za2[83]) -> extension (support ? 1) - 1512tuples 1.49/1.51 c intension eq(if(le(201,dist(x[31],x[77])),0,100),za2[84]) -> extension (support ? 1) - 1848tuples 1.49/1.52 c intension eq(if(le(277,dist(x[32],x[91])),0,100),za2[85]) -> extension (support ? 1) - 1936tuples 1.49/1.52 c intension eq(if(le(144,dist(x[140],x[32])),0,100),za2[86]) -> extension (support ? 1) - 1848tuples 1.49/1.53 c intension eq(if(le(235,dist(x[171],x[32])),0,100),za2[87]) -> extension (support ? 1) - 1848tuples 1.49/1.54 c intension eq(if(le(299,dist(x[140],x[33])),0,100),za2[88]) -> extension (support ? 1) - 1848tuples 1.49/1.54 c intension eq(if(le(137,dist(x[36],x[56])),0,100),za2[89]) -> extension (support ? 1) - 1848tuples 1.49/1.55 c intension eq(if(le(93,dist(x[37],x[41])),0,100),za2[90]) -> extension (support ? 1) - 1848tuples 1.49/1.56 c intension eq(if(le(263,dist(x[38],x[61])),0,100),za2[91]) -> extension (support ? 1) - 1584tuples 1.49/1.56 c intension eq(if(le(207,dist(x[102],x[39])),0,100),za2[92]) -> extension (support ? 1) - 1584tuples 1.49/1.57 c intension eq(if(le(338,dist(x[41],x[44])),0,100),za2[93]) -> extension (support ? 1) - 1848tuples 1.49/1.57 c intension eq(if(le(19,dist(x[41],x[73])),0,100),za2[94]) -> extension (support ? 1) - 252tuples 1.49/1.58 c intension eq(if(le(126,dist(x[149],x[42])),0,100),za2[95]) -> extension (support ? 1) - 1584tuples 1.49/1.58 c intension eq(if(le(68,dist(x[101],x[43])),0,100),za2[96]) -> extension (support ? 1) - 1584tuples 1.49/1.59 c intension eq(if(le(129,dist(x[104],x[43])),0,100),za2[97]) -> extension (support ? 1) - 1296tuples 1.49/1.60 c intension eq(if(le(182,dist(x[148],x[43])),0,100),za2[98]) -> extension (support ? 1) - 1584tuples 1.59/1.60 c intension eq(if(le(12,dist(x[44],x[84])),0,100),za2[99]) -> extension (support ? 1) - 1936tuples 1.59/1.61 c intension eq(if(le(107,dist(x[45],x[72])),0,100),za2[100]) -> extension (support ? 1) - 264tuples 1.59/1.61 c intension eq(if(le(128,dist(x[46],x[50])),0,100),za2[101]) -> extension (support ? 1) - 1296tuples 1.59/1.61 c intension eq(if(le(66,dist(x[47],x[99])),0,100),za2[102]) -> extension (support ? 1) - 1512tuples 1.59/1.62 c intension eq(if(le(195,dist(x[122],x[48])),0,100),za2[103]) -> extension (support ? 1) - 216tuples 1.59/1.62 c intension eq(if(le(107,dist(x[125],x[48])),0,100),za2[104]) -> extension (support ? 1) - 1512tuples 1.59/1.63 c intension eq(if(le(153,dist(x[133],x[48])),0,100),za2[105]) -> extension (support ? 1) - 1296tuples 1.59/1.63 c intension eq(if(le(290,dist(x[114],x[49])),0,100),za2[106]) -> extension (support ? 1) - 1584tuples 1.59/1.64 c intension eq(if(le(183,dist(x[115],x[49])),0,100),za2[107]) -> extension (support ? 1) - 1584tuples 1.59/1.64 c intension eq(if(le(79,dist(x[154],x[50])),0,100),za2[108]) -> extension (support ? 1) - 1584tuples 1.59/1.65 c intension eq(if(le(268,dist(x[51],x[65])),0,100),za2[109]) -> extension (support ? 1) - 1584tuples 1.59/1.66 c intension eq(if(le(41,dist(x[53],x[89])),0,100),za2[110]) -> extension (support ? 1) - 1848tuples 1.59/1.66 c intension eq(if(le(55,dist(x[53],x[96])),0,100),za2[111]) -> extension (support ? 1) - 252tuples 1.59/1.66 c intension eq(if(le(153,dist(x[116],x[53])),0,100),za2[112]) -> extension (support ? 1) - 1512tuples 1.59/1.67 c intension eq(if(le(139,dist(x[54],x[86])),0,100),za2[113]) -> extension (support ? 1) - 1936tuples 1.59/1.68 c intension eq(if(le(272,dist(x[144],x[54])),0,100),za2[114]) -> extension (support ? 1) - 1848tuples 1.59/1.68 c intension eq(if(le(167,dist(x[150],x[54])),0,100),za2[115]) -> extension (support ? 1) - 1848tuples 1.59/1.69 c intension eq(if(le(139,dist(x[191],x[54])),0,100),za2[116]) -> extension (support ? 1) - 1936tuples 1.69/1.70 c intension eq(if(le(219,dist(x[164],x[55])),0,100),za2[117]) -> extension (support ? 1) - 1936tuples 1.69/1.71 c intension eq(if(le(235,dist(x[166],x[55])),0,100),za2[118]) -> extension (support ? 1) - 1584tuples 1.69/1.71 c intension eq(if(le(217,dist(x[190],x[55])),0,100),za2[119]) -> extension (support ? 1) - 1936tuples 1.69/1.72 c intension eq(if(le(97,dist(x[191],x[55])),0,100),za2[120]) -> extension (support ? 1) - 1936tuples 1.69/1.73 c intension eq(if(le(269,dist(x[109],x[56])),0,100),za2[121]) -> extension (support ? 1) - 1848tuples 1.69/1.73 c intension eq(if(le(124,dist(x[156],x[56])),0,100),za2[122]) -> extension (support ? 1) - 1764tuples 1.69/1.74 c intension eq(if(le(216,dist(x[162],x[57])),0,100),za2[123]) -> extension (support ? 1) - 1764tuples 1.69/1.75 c intension eq(if(le(164,dist(x[58],x[87])),0,100),za2[124]) -> extension (support ? 1) - 1584tuples 1.69/1.75 c intension eq(if(le(51,dist(x[150],x[58])),0,100),za2[125]) -> extension (support ? 1) - 1512tuples 1.69/1.76 c intension eq(if(le(105,dist(x[161],x[58])),0,100),za2[126]) -> extension (support ? 1) - 792tuples 1.69/1.76 c intension eq(if(le(37,dist(x[166],x[58])),0,100),za2[127]) -> extension (support ? 1) - 1296tuples 1.69/1.77 c intension eq(if(le(172,dist(x[191],x[58])),0,100),za2[128]) -> extension (support ? 1) - 1584tuples 1.69/1.77 c intension eq(if(le(239,dist(x[134],x[59])),0,100),za2[129]) -> extension (support ? 1) - 216tuples 1.69/1.77 c intension eq(if(le(116,dist(x[165],x[59])),0,100),za2[130]) -> extension (support ? 1) - 1584tuples 1.69/1.78 c intension eq(if(le(191,dist(x[166],x[59])),0,100),za2[131]) -> extension (support ? 1) - 1296tuples 1.69/1.78 c intension eq(if(le(101,dist(x[62],x[84])),0,100),za2[132]) -> extension (support ? 1) - 1848tuples 1.69/1.79 c intension eq(if(le(79,dist(x[183],x[65])),0,100),za2[133]) -> extension (support ? 1) - 1848tuples 1.79/1.80 c intension eq(if(le(219,dist(x[66],x[91])),0,100),za2[134]) -> extension (support ? 1) - 1584tuples 1.79/1.80 c intension eq(if(le(165,dist(x[66],x[96])),0,100),za2[135]) -> extension (support ? 1) - 216tuples 1.79/1.80 c intension eq(if(le(207,dist(x[66],x[98])),0,100),za2[136]) -> extension (support ? 1) - 1512tuples 1.79/1.81 c intension eq(if(le(25,dist(x[104],x[66])),0,100),za2[137]) -> extension (support ? 1) - 1296tuples 1.79/1.82 c intension eq(if(le(478,dist(x[149],x[66])),0,100),za2[138]) -> extension (support ? 1) - 1584tuples 1.79/1.82 c intension eq(if(le(145,dist(x[159],x[66])),0,100),za2[139]) -> extension (support ? 1) - 1296tuples 1.79/1.83 c intension eq(if(le(149,dist(x[67],x[90])),0,100),za2[140]) -> extension (support ? 1) - 1584tuples 1.79/1.83 c intension eq(if(le(69,dist(x[67],x[96])),0,100),za2[141]) -> extension (support ? 1) - 216tuples 1.79/1.83 c intension eq(if(le(166,dist(x[67],x[97])),0,100),za2[142]) -> extension (support ? 1) - 216tuples 1.79/1.84 c intension eq(if(le(437,dist(x[100],x[67])),0,100),za2[143]) -> extension (support ? 1) - 1584tuples 1.79/1.84 c intension eq(if(le(199,dist(x[101],x[67])),0,100),za2[144]) -> extension (support ? 1) - 1584tuples 1.79/1.85 c intension eq(if(le(115,dist(x[148],x[67])),0,100),za2[145]) -> extension (support ? 1) - 1584tuples 1.79/1.85 c intension eq(if(le(121,dist(x[158],x[67])),0,100),za2[146]) -> extension (support ? 1) - 1296tuples 1.79/1.86 c intension eq(if(le(128,dist(x[106],x[70])),0,100),za2[147]) -> extension (support ? 1) - 1008tuples 1.79/1.86 c intension eq(if(le(167,dist(x[157],x[70])),0,100),za2[148]) -> extension (support ? 1) - 1764tuples 1.79/1.87 c intension eq(if(le(23,dist(x[126],x[74])),0,100),za2[149]) -> extension (support ? 1) - 1512tuples 1.79/1.87 c intension eq(if(le(264,dist(x[127],x[74])),0,100),za2[150]) -> extension (support ? 1) - 1512tuples 1.79/1.88 c intension eq(if(le(110,dist(x[146],x[74])),0,100),za2[151]) -> extension (support ? 1) - 1848tuples 1.79/1.89 c intension eq(if(le(213,dist(x[147],x[74])),0,100),za2[152]) -> extension (support ? 1) - 1848tuples 1.79/1.89 c intension eq(if(le(106,dist(x[76],x[94])),0,100),za2[153]) -> extension (support ? 1) - 1512tuples 1.89/1.90 c intension eq(if(le(137,dist(x[76],x[95])),0,100),za2[154]) -> extension (support ? 1) - 1512tuples 1.89/1.91 c intension eq(if(le(248,dist(x[114],x[76])),0,100),za2[155]) -> extension (support ? 1) - 1848tuples 1.89/1.91 c intension eq(if(le(120,dist(x[133],x[76])),0,100),za2[156]) -> extension (support ? 1) - 1512tuples 1.89/1.92 c intension eq(if(le(142,dist(x[169],x[76])),0,100),za2[157]) -> extension (support ? 1) - 1764tuples 1.89/1.92 c intension eq(if(le(189,dist(x[192],x[76])),0,100),za2[158]) -> extension (support ? 1) - 252tuples 1.89/1.92 c intension eq(if(le(213,dist(x[193],x[76])),0,100),za2[159]) -> extension (support ? 1) - 252tuples 1.89/1.93 c intension eq(if(le(117,dist(x[132],x[77])),0,100),za2[160]) -> extension (support ? 1) - 1512tuples 1.89/1.93 c intension eq(if(le(180,dist(x[168],x[77])),0,100),za2[161]) -> extension (support ? 1) - 1764tuples 1.89/1.94 c intension eq(if(le(159,dist(x[169],x[77])),0,100),za2[162]) -> extension (support ? 1) - 1764tuples 1.89/1.95 c intension eq(if(le(94,dist(x[181],x[77])),0,100),za2[163]) -> extension (support ? 1) - 1848tuples 1.89/1.95 c intension eq(if(le(11,dist(x[183],x[77])),0,100),za2[164]) -> extension (support ? 1) - 1764tuples 1.89/1.96 c intension eq(if(le(97,dist(x[199],x[78])),0,100),za2[165]) -> extension (support ? 1) - 1936tuples 1.89/1.96 c intension eq(if(le(214,dist(x[135],x[80])),0,100),za2[166]) -> extension (support ? 1) - 216tuples 1.89/1.97 c intension eq(if(le(205,dist(x[195],x[80])),0,100),za2[167]) -> extension (support ? 1) - 1296tuples 1.89/1.97 c intension eq(if(le(536,dist(x[118],x[84])),0,100),za2[168]) -> extension (support ? 1) - 1936tuples 1.89/1.98 c intension eq(if(le(127,dist(x[156],x[84])),0,100),za2[169]) -> extension (support ? 1) - 1848tuples 1.89/1.99 c intension eq(if(le(188,dist(x[189],x[84])),0,100),za2[170]) -> extension (support ? 1) - 1936tuples 1.89/1.99 c intension eq(if(le(117,dist(x[150],x[85])),0,100),za2[171]) -> extension (support ? 1) - 1848tuples 1.89/2.00 c intension eq(if(le(13,dist(x[150],x[86])),0,100),za2[172]) -> extension (support ? 1) - 1848tuples 2.00/2.01 c intension eq(if(le(113,dist(x[164],x[86])),0,100),za2[173]) -> extension (support ? 1) - 1936tuples 2.00/2.02 c intension eq(if(le(224,dist(x[150],x[87])),0,100),za2[174]) -> extension (support ? 1) - 1848tuples 2.00/2.02 c intension eq(if(le(183,dist(x[165],x[87])),0,100),za2[175]) -> extension (support ? 1) - 1936tuples 2.00/2.03 c intension eq(if(le(152,dist(x[182],x[87])),0,100),za2[176]) -> extension (support ? 1) - 1848tuples 2.00/2.04 c intension eq(if(le(81,dist(x[183],x[87])),0,100),za2[177]) -> extension (support ? 1) - 1848tuples 2.00/2.04 c intension eq(if(le(470,dist(x[191],x[87])),0,100),za2[178]) -> extension (support ? 1) - 1936tuples 2.00/2.05 c intension eq(if(le(121,dist(x[117],x[89])),0,100),za2[179]) -> extension (support ? 1) - 1584tuples 2.00/2.06 c intension eq(if(le(81,dist(x[90],x[96])),0,100),za2[180]) -> extension (support ? 1) - 264tuples 2.00/2.06 c intension eq(if(le(263,dist(x[90],x[97])),0,100),za2[181]) -> extension (support ? 1) - 264tuples 2.00/2.06 c intension eq(if(le(229,dist(x[158],x[90])),0,100),za2[182]) -> extension (support ? 1) - 1584tuples 2.00/2.06 c intension eq(if(le(154,dist(x[91],x[96])),0,100),za2[183]) -> extension (support ? 1) - 264tuples 2.00/2.07 c intension eq(if(le(141,dist(x[100],x[91])),0,100),za2[184]) -> extension (support ? 1) - 1936tuples 2.00/2.08 c intension eq(if(le(115,dist(x[101],x[91])),0,100),za2[185]) -> extension (support ? 1) - 1936tuples 2.00/2.08 c intension eq(if(le(53,dist(x[105],x[91])),0,100),za2[186]) -> extension (support ? 1) - 1584tuples 2.00/2.09 c intension eq(if(le(240,dist(x[148],x[91])),0,100),za2[187]) -> extension (support ? 1) - 1936tuples 2.00/2.10 c intension eq(if(le(295,dist(x[158],x[91])),0,100),za2[188]) -> extension (support ? 1) - 1584tuples 2.00/2.10 c intension eq(if(le(86,dist(x[159],x[91])),0,100),za2[189]) -> extension (support ? 1) - 1584tuples 2.10/2.11 c intension eq(if(le(10,dist(x[136],x[92])),0,100),za2[190]) -> extension (support ? 1) - 1848tuples 2.10/2.11 c intension eq(if(le(54,dist(x[114],x[94])),0,100),za2[191]) -> extension (support ? 1) - 1584tuples 2.10/2.12 c intension eq(if(le(196,dist(x[184],x[94])),0,100),za2[192]) -> extension (support ? 1) - 1512tuples 2.10/2.13 c intension eq(if(le(208,dist(x[132],x[95])),0,100),za2[193]) -> extension (support ? 1) - 1296tuples 2.10/2.13 c intension eq(if(le(25,dist(x[133],x[95])),0,100),za2[194]) -> extension (support ? 1) - 1296tuples 2.10/2.14 c intension eq(if(le(188,dist(x[185],x[95])),0,100),za2[195]) -> extension (support ? 1) - 1512tuples 2.10/2.14 c intension eq(if(le(68,dist(x[192],x[95])),0,100),za2[196]) -> extension (support ? 1) - 216tuples 2.10/2.14 c intension eq(if(le(271,dist(x[100],x[96])),0,100),za2[197]) -> extension (support ? 1) - 264tuples 2.10/2.14 c intension eq(if(le(96,dist(x[105],x[96])),0,100),za2[198]) -> extension (support ? 1) - 216tuples 2.10/2.14 c intension eq(if(le(230,dist(x[149],x[96])),0,100),za2[199]) -> extension (support ? 1) - 264tuples 2.10/2.15 c intension eq(if(le(135,dist(x[105],x[97])),0,100),za2[200]) -> extension (support ? 1) - 216tuples 2.10/2.15 c intension eq(if(le(268,dist(x[117],x[98])),0,100),za2[201]) -> extension (support ? 1) - 1512tuples 2.10/2.15 c intension eq(if(le(171,dist(x[192],x[99])),0,100),za2[202]) -> extension (support ? 1) - 252tuples 2.10/2.15 c intension eq(if(le(61,dist(x[193],x[99])),0,100),za2[203]) -> extension (support ? 1) - 252tuples 2.10/2.16 c intension eq(if(le(192,dist(x[100],x[149])),0,100),za2[204]) -> extension (support ? 1) - 1936tuples 2.10/2.17 c intension eq(if(le(25,dist(x[100],x[158])),0,100),za2[205]) -> extension (support ? 1) - 1584tuples 2.10/2.17 c intension eq(if(le(409,dist(x[101],x[104])),0,100),za2[206]) -> extension (support ? 1) - 1584tuples 2.10/2.18 c intension eq(if(le(39,dist(x[101],x[149])),0,100),za2[207]) -> extension (support ? 1) - 1936tuples 2.10/2.18 c intension eq(if(le(207,dist(x[101],x[158])),0,100),za2[208]) -> extension (support ? 1) - 1584tuples 2.10/2.19 c intension eq(if(le(125,dist(x[102],x[144])),0,100),za2[209]) -> extension (support ? 1) - 1512tuples 2.10/2.19 c intension eq(if(le(219,dist(x[103],x[106])),0,100),za2[210]) -> extension (support ? 1) - 864tuples 2.19/2.20 c intension eq(if(le(536,dist(x[104],x[148])),0,100),za2[211]) -> extension (support ? 1) - 1584tuples 2.19/2.21 c intension eq(if(le(146,dist(x[104],x[149])),0,100),za2[212]) -> extension (support ? 1) - 1584tuples 2.19/2.21 c intension eq(if(le(250,dist(x[104],x[158])),0,100),za2[213]) -> extension (support ? 1) - 1296tuples 2.19/2.22 c intension eq(if(le(279,dist(x[106],x[111])),0,100),za2[214]) -> extension (support ? 1) - 1056tuples 2.19/2.22 c intension eq(if(le(238,dist(x[106],x[144])),0,100),za2[215]) -> extension (support ? 1) - 1008tuples 2.19/2.23 c intension eq(if(le(203,dist(x[108],x[182])),0,100),za2[216]) -> extension (support ? 1) - 1848tuples 2.19/2.23 c intension eq(if(le(126,dist(x[110],x[152])),0,100),za2[217]) -> extension (support ? 1) - 1936tuples 2.19/2.24 c intension eq(if(le(55,dist(x[111],x[141])),0,100),za2[218]) -> extension (support ? 1) - 1848tuples 2.19/2.25 c intension eq(if(le(42,dist(x[114],x[162])),0,100),za2[219]) -> extension (support ? 1) - 1848tuples 2.19/2.25 c intension eq(if(le(278,dist(x[114],x[169])),0,100),za2[220]) -> extension (support ? 1) - 1848tuples 2.19/2.26 c intension eq(if(le(535,dist(x[114],x[180])),0,100),za2[221]) -> extension (support ? 1) - 1936tuples 2.19/2.27 c intension eq(if(le(395,dist(x[114],x[181])),0,100),za2[222]) -> extension (support ? 1) - 1936tuples 2.19/2.27 c intension eq(if(le(533,dist(x[114],x[184])),0,100),za2[223]) -> extension (support ? 1) - 1848tuples 2.19/2.28 c intension eq(if(le(42,dist(x[115],x[169])),0,100),za2[224]) -> extension (support ? 1) - 1848tuples 2.19/2.29 c intension eq(if(le(492,dist(x[115],x[180])),0,100),za2[225]) -> extension (support ? 1) - 1936tuples 2.19/2.30 c intension eq(if(le(400,dist(x[115],x[181])),0,100),za2[226]) -> extension (support ? 1) - 1936tuples 2.29/2.30 c intension eq(if(le(120,dist(x[115],x[184])),0,100),za2[227]) -> extension (support ? 1) - 1848tuples 2.29/2.31 c intension eq(if(le(242,dist(x[115],x[185])),0,100),za2[228]) -> extension (support ? 1) - 1848tuples 2.29/2.31 c intension eq(if(le(221,dist(x[115],x[193])),0,100),za2[229]) -> extension (support ? 1) - 264tuples 2.29/2.32 c intension eq(if(le(207,dist(x[118],x[176])),0,100),za2[230]) -> extension (support ? 1) - 1056tuples 2.29/2.32 c intension eq(if(le(149,dist(x[121],x[147])),0,100),za2[231]) -> extension (support ? 1) - 264tuples 2.29/2.32 c intension eq(if(le(244,dist(x[121],x[174])),0,100),za2[232]) -> extension (support ? 1) - 252tuples 2.29/2.32 c intension eq(if(le(6,dist(x[121],x[175])),0,100),za2[233]) -> extension (support ? 1) - 252tuples 2.29/2.32 c intension eq(if(le(200,dist(x[123],x[132])),0,100),za2[234]) -> extension (support ? 1) - 216tuples 2.29/2.33 c intension eq(if(le(66,dist(x[123],x[133])),0,100),za2[235]) -> extension (support ? 1) - 216tuples 2.29/2.33 c intension eq(if(le(482,dist(x[125],x[136])),0,100),za2[236]) -> extension (support ? 1) - 1764tuples 2.29/2.34 c intension eq(if(le(164,dist(x[126],x[133])),0,100),za2[237]) -> extension (support ? 1) - 1296tuples 2.29/2.34 c intension eq(if(le(119,dist(x[126],x[146])),0,100),za2[238]) -> extension (support ? 1) - 1584tuples 2.29/2.35 c intension eq(if(le(261,dist(x[126],x[175])),0,100),za2[239]) -> extension (support ? 1) - 1512tuples 2.29/2.35 c intension eq(if(le(207,dist(x[127],x[174])),0,100),za2[240]) -> extension (support ? 1) - 1512tuples 2.29/2.36 c intension eq(if(le(125,dist(x[128],x[156])),0,100),za2[241]) -> extension (support ? 1) - 1512tuples 2.29/2.36 c intension eq(if(le(87,dist(x[129],x[131])),0,100),za2[242]) -> extension (support ? 1) - 1584tuples 2.29/2.37 c intension eq(if(le(74,dist(x[131],x[165])),0,100),za2[243]) -> extension (support ? 1) - 1936tuples 2.29/2.38 c intension eq(if(le(26,dist(x[132],x[160])),0,100),za2[244]) -> extension (support ? 1) - 792tuples 2.29/2.38 c intension eq(if(le(263,dist(x[132],x[161])),0,100),za2[245]) -> extension (support ? 1) - 792tuples 2.29/2.38 c intension eq(if(le(191,dist(x[132],x[169])),0,100),za2[246]) -> extension (support ? 1) - 1512tuples 2.29/2.39 c intension eq(if(le(118,dist(x[132],x[180])),0,100),za2[247]) -> extension (support ? 1) - 1584tuples 2.39/2.40 c intension eq(if(le(453,dist(x[132],x[181])),0,100),za2[248]) -> extension (support ? 1) - 1584tuples 2.39/2.40 c intension eq(if(le(209,dist(x[133],x[160])),0,100),za2[249]) -> extension (support ? 1) - 792tuples 2.39/2.41 c intension eq(if(le(40,dist(x[133],x[169])),0,100),za2[250]) -> extension (support ? 1) - 1512tuples 2.39/2.41 c intension eq(if(le(452,dist(x[133],x[180])),0,100),za2[251]) -> extension (support ? 1) - 1584tuples 2.39/2.42 c intension eq(if(le(270,dist(x[133],x[184])),0,100),za2[252]) -> extension (support ? 1) - 1512tuples 2.39/2.42 c intension eq(if(le(112,dist(x[134],x[164])),0,100),za2[253]) -> extension (support ? 1) - 264tuples 2.39/2.42 c intension eq(if(le(196,dist(x[134],x[166])),0,100),za2[254]) -> extension (support ? 1) - 216tuples 2.39/2.42 c intension eq(if(le(110,dist(x[134],x[182])),0,100),za2[255]) -> extension (support ? 1) - 252tuples 2.39/2.43 c intension eq(if(le(225,dist(x[134],x[183])),0,100),za2[256]) -> extension (support ? 1) - 252tuples 2.39/2.43 c intension eq(if(le(3,dist(x[135],x[183])),0,100),za2[257]) -> extension (support ? 1) - 252tuples 2.39/2.43 c intension eq(if(le(178,dist(x[135],x[190])),0,100),za2[258]) -> extension (support ? 1) - 264tuples 2.39/2.43 c intension eq(if(le(224,dist(x[135],x[191])),0,100),za2[259]) -> extension (support ? 1) - 264tuples 2.39/2.44 c intension eq(if(le(65,dist(x[140],x[152])),0,100),za2[260]) -> extension (support ? 1) - 1848tuples 2.39/2.44 c intension eq(if(le(39,dist(x[141],x[171])),0,100),za2[261]) -> extension (support ? 1) - 1764tuples 2.39/2.45 c intension eq(if(le(23,dist(x[142],x[162])),0,100),za2[262]) -> extension (support ? 1) - 1848tuples 2.39/2.46 c intension eq(if(le(96,dist(x[144],x[188])),0,100),za2[263]) -> extension (support ? 1) - 1848tuples 2.39/2.46 c intension eq(if(le(153,dist(x[150],x[164])),0,100),za2[264]) -> extension (support ? 1) - 1848tuples 2.39/2.47 c intension eq(if(le(98,dist(x[150],x[166])),0,100),za2[265]) -> extension (support ? 1) - 1512tuples 2.39/2.47 c intension eq(if(le(193,dist(x[150],x[183])),0,100),za2[266]) -> extension (support ? 1) - 1764tuples 2.39/2.48 c intension eq(if(le(270,dist(x[150],x[191])),0,100),za2[267]) -> extension (support ? 1) - 1848tuples 2.39/2.49 c intension eq(if(le(183,dist(x[150],x[197])),0,100),za2[268]) -> extension (support ? 1) - 1848tuples 2.39/2.49 c intension eq(if(le(172,dist(x[151],x[165])),0,100),za2[269]) -> extension (support ? 1) - 1848tuples 2.49/2.50 c intension eq(if(le(140,dist(x[151],x[166])),0,100),za2[270]) -> extension (support ? 1) - 1512tuples 2.49/2.51 c intension eq(if(le(97,dist(x[151],x[167])),0,100),za2[271]) -> extension (support ? 1) - 1512tuples 2.49/2.51 c intension eq(if(le(247,dist(x[151],x[172])),0,100),za2[272]) -> extension (support ? 1) - 1848tuples 2.49/2.52 c intension eq(if(le(168,dist(x[151],x[182])),0,100),za2[273]) -> extension (support ? 1) - 1764tuples 2.49/2.53 c intension eq(if(le(286,dist(x[151],x[191])),0,100),za2[274]) -> extension (support ? 1) - 1848tuples 2.49/2.53 c intension eq(if(le(11,dist(x[153],x[175])),0,100),za2[275]) -> extension (support ? 1) - 1848tuples 2.49/2.54 c intension eq(if(le(204,dist(x[155],x[180])),0,100),za2[276]) -> extension (support ? 1) - 1936tuples 2.49/2.55 c intension eq(if(le(183,dist(x[155],x[181])),0,100),za2[277]) -> extension (support ? 1) - 1936tuples 2.49/2.55 c intension eq(if(le(199,dist(x[157],x[190])),0,100),za2[278]) -> extension (support ? 1) - 1848tuples 2.49/2.56 c intension eq(if(le(273,dist(x[158],x[169])),0,100),za2[279]) -> extension (support ? 1) - 1512tuples 2.49/2.57 c intension eq(if(le(203,dist(x[160],x[181])),0,100),za2[280]) -> extension (support ? 1) - 968tuples 2.49/2.57 c intension eq(if(le(112,dist(x[160],x[192])),0,100),za2[281]) -> extension (support ? 1) - 132tuples 2.49/2.57 c intension eq(if(le(111,dist(x[160],x[193])),0,100),za2[282]) -> extension (support ? 1) - 132tuples 2.49/2.57 c intension eq(if(le(136,dist(x[161],x[168])),0,100),za2[283]) -> extension (support ? 1) - 924tuples 2.49/2.58 c intension eq(if(le(70,dist(x[161],x[169])),0,100),za2[284]) -> extension (support ? 1) - 924tuples 2.49/2.58 c intension eq(if(le(283,dist(x[161],x[180])),0,100),za2[285]) -> extension (support ? 1) - 968tuples 2.49/2.58 c intension eq(if(le(128,dist(x[161],x[185])),0,100),za2[286]) -> extension (support ? 1) - 924tuples 2.49/2.59 c intension eq(if(le(277,dist(x[163],x[182])),0,100),za2[287]) -> extension (support ? 1) - 1764tuples 2.49/2.60 c intension eq(if(le(179,dist(x[164],x[167])),0,100),za2[288]) -> extension (support ? 1) - 1584tuples 2.59/2.60 c intension eq(if(le(241,dist(x[165],x[166])),0,100),za2[289]) -> extension (support ? 1) - 1584tuples 2.59/2.61 c intension eq(if(le(208,dist(x[166],x[183])),0,100),za2[290]) -> extension (support ? 1) - 1512tuples 2.59/2.61 c intension eq(if(le(173,dist(x[168],x[181])),0,100),za2[291]) -> extension (support ? 1) - 1848tuples 2.59/2.62 c intension eq(if(le(185,dist(x[168],x[193])),0,100),za2[292]) -> extension (support ? 1) - 252tuples 2.59/2.62 c intension eq(if(le(42,dist(x[169],x[191])),0,100),za2[293]) -> extension (support ? 1) - 1848tuples 2.59/2.63 c intension eq(if(le(182,dist(x[169],x[193])),0,100),za2[294]) -> extension (support ? 1) - 252tuples 2.59/2.63 c intension eq(if(le(194,dist(x[171],x[174])),0,100),za2[295]) -> extension (support ? 1) - 1764tuples 2.59/2.64 c intension eq(if(le(282,dist(x[175],x[194])),0,100),za2[296]) -> extension (support ? 1) - 1512tuples 2.59/2.64 c intension eq(if(le(104,dist(x[179],x[187])),0,100),za2[297]) -> extension (support ? 1) - 1848tuples 2.59/2.65 c intension eq(if(le(177,dist(x[181],x[184])),0,100),za2[298]) -> extension (support ? 1) - 1848tuples 2.59/2.65 c intension eq(if(le(71,dist(x[181],x[193])),0,100),za2[299]) -> extension (support ? 1) - 264tuples 2.59/2.66 c intension eq(if(le(214,dist(x[183],x[191])),0,100),za2[300]) -> extension (support ? 1) - 1848tuples 2.59/2.66 c intension eq(if(le(255,dist(x[185],x[192])),0,100),za2[301]) -> extension (support ? 1) - 252tuples 2.59/2.67 c intension eq(if(le(421,dist(x[185],x[194])),0,100),za2[302]) -> extension (support ? 1) - 1512tuples 2.59/2.67 c intension eq(if(le(203,dist(x[189],x[194])),0,100),za2[303]) -> extension (support ? 1) - 1584tuples 2.59/2.68 c intension eq(if(le(181,dist(x[191],x[194])),0,100),za2[304]) -> extension (support ? 1) - 1584tuples 2.59/2.68 c intension eq(if(le(293,dist(x[195],x[196])),0,100),za2[305]) -> extension (support ? 1) - 1584tuples 2.59/2.69 c intension eq(if(le(278,dist(x[0],x[37])),0,10),za3[0]) -> extension (support ? 1) - 1848tuples 2.69/2.70 c intension eq(if(le(291,dist(x[0],x[45])),0,10),za3[1]) -> extension (support ? 1) - 1848tuples 2.69/2.70 c intension eq(if(le(191,dist(x[0],x[197])),0,10),za3[2]) -> extension (support ? 1) - 1848tuples 2.69/2.71 c intension eq(if(le(177,dist(x[1],x[73])),0,10),za3[3]) -> extension (support ? 1) - 252tuples 2.69/2.71 c intension eq(if(le(42,dist(x[13],x[3])),0,10),za3[4]) -> extension (support ? 1) - 1936tuples 2.69/2.72 c intension eq(if(le(28,dist(x[3],x[69])),0,10),za3[5]) -> extension (support ? 1) - 1584tuples 2.69/2.72 c intension eq(if(le(56,dist(x[31],x[5])),0,10),za3[6]) -> extension (support ? 1) - 968tuples 2.69/2.73 c intension eq(if(le(162,dist(x[24],x[6])),0,10),za3[7]) -> extension (support ? 1) - 264tuples 2.69/2.73 c intension eq(if(le(286,dist(x[68],x[7])),0,10),za3[8]) -> extension (support ? 1) - 216tuples 2.69/2.73 c intension eq(if(le(195,dist(x[85],x[8])),0,10),za3[9]) -> extension (support ? 1) - 264tuples 2.69/2.73 c intension eq(if(le(39,dist(x[113],x[9])),0,10),za3[10]) -> extension (support ? 1) - 264tuples 2.69/2.73 c intension eq(if(le(164,dist(x[10],x[22])),0,10),za3[11]) -> extension (support ? 1) - 264tuples 2.69/2.74 c intension eq(if(le(69,dist(x[10],x[26])),0,10),za3[12]) -> extension (support ? 1) - 1584tuples 2.69/2.74 c intension eq(if(le(235,dist(x[10],x[27])),0,10),za3[13]) -> extension (support ? 1) - 1584tuples 2.69/2.75 c intension eq(if(le(192,dist(x[10],x[75])),0,10),za3[14]) -> extension (support ? 1) - 1848tuples 2.69/2.75 c intension eq(if(le(107,dist(x[10],x[126])),0,10),za3[15]) -> extension (support ? 1) - 1584tuples 2.69/2.76 c intension eq(if(le(165,dist(x[10],x[127])),0,10),za3[16]) -> extension (support ? 1) - 1584tuples 2.69/2.77 c intension eq(if(le(367,dist(x[10],x[146])),0,10),za3[17]) -> extension (support ? 1) - 1936tuples 2.69/2.77 c intension eq(if(le(336,dist(x[10],x[147])),0,10),za3[18]) -> extension (support ? 1) - 1936tuples 2.69/2.78 c intension eq(if(le(113,dist(x[11],x[120])),0,10),za3[19]) -> extension (support ? 1) - 264tuples 2.69/2.78 c intension eq(if(le(146,dist(x[11],x[123])),0,10),za3[20]) -> extension (support ? 1) - 264tuples 2.69/2.78 c intension eq(if(le(112,dist(x[11],x[127])),0,10),za3[21]) -> extension (support ? 1) - 1584tuples 2.69/2.79 c intension eq(if(le(475,dist(x[11],x[146])),0,10),za3[22]) -> extension (support ? 1) - 1936tuples 2.79/2.80 c intension eq(if(le(407,dist(x[11],x[147])),0,10),za3[23]) -> extension (support ? 1) - 1936tuples 2.79/2.80 c intension eq(if(le(136,dist(x[11],x[175])),0,10),za3[24]) -> extension (support ? 1) - 1848tuples 2.79/2.81 c intension eq(if(le(287,dist(x[12],x[15])),0,10),za3[25]) -> extension (support ? 1) - 1848tuples 2.79/2.82 c intension eq(if(le(178,dist(x[13],x[54])),0,10),za3[26]) -> extension (support ? 1) - 1936tuples 2.79/2.82 c intension eq(if(le(146,dist(x[13],x[83])),0,10),za3[27]) -> extension (support ? 1) - 968tuples 2.79/2.83 c intension eq(if(le(253,dist(x[14],x[79])),0,10),za3[28]) -> extension (support ? 1) - 1848tuples 2.79/2.84 c intension eq(if(le(135,dist(x[15],x[37])),0,10),za3[29]) -> extension (support ? 1) - 1848tuples 2.79/2.84 c intension eq(if(le(42,dist(x[124],x[16])),0,10),za3[30]) -> extension (support ? 1) - 924tuples 2.79/2.85 c intension eq(if(le(292,dist(x[16],x[195])),0,10),za3[31]) -> extension (support ? 1) - 792tuples 2.79/2.85 c intension eq(if(le(37,dist(x[125],x[17])),0,10),za3[32]) -> extension (support ? 1) - 924tuples 2.79/2.85 c intension eq(if(le(231,dist(x[136],x[17])),0,10),za3[33]) -> extension (support ? 1) - 924tuples 2.79/2.86 c intension eq(if(le(270,dist(x[18],x[43])),0,10),za3[34]) -> extension (support ? 1) - 1584tuples 2.79/2.86 c intension eq(if(le(135,dist(x[18],x[90])),0,10),za3[35]) -> extension (support ? 1) - 1936tuples 2.79/2.87 c intension eq(if(le(264,dist(x[18],x[97])),0,10),za3[36]) -> extension (support ? 1) - 264tuples 2.79/2.87 c intension eq(if(le(353,dist(x[148],x[18])),0,10),za3[37]) -> extension (support ? 1) - 1936tuples 2.79/2.88 c intension eq(if(le(128,dist(x[158],x[18])),0,10),za3[38]) -> extension (support ? 1) - 1584tuples 2.79/2.89 c intension eq(if(le(276,dist(x[189],x[18])),0,10),za3[39]) -> extension (support ? 1) - 1936tuples 2.79/2.89 c intension eq(if(le(184,dist(x[19],x[43])),0,10),za3[40]) -> extension (support ? 1) - 1584tuples 2.89/2.90 c intension eq(if(le(13,dist(x[19],x[96])),0,10),za3[41]) -> extension (support ? 1) - 264tuples 2.89/2.90 c intension eq(if(le(222,dist(x[19],x[97])),0,10),za3[42]) -> extension (support ? 1) - 264tuples 2.89/2.90 c intension eq(if(le(375,dist(x[149],x[19])),0,10),za3[43]) -> extension (support ? 1) - 1936tuples 2.89/2.91 c intension eq(if(le(229,dist(x[159],x[19])),0,10),za3[44]) -> extension (support ? 1) - 1584tuples 2.89/2.91 c intension eq(if(le(222,dist(x[20],x[55])),0,10),za3[45]) -> extension (support ? 1) - 1584tuples 2.89/2.92 c intension eq(if(le(224,dist(x[20],x[84])),0,10),za3[46]) -> extension (support ? 1) - 1584tuples 2.89/2.93 c intension eq(if(le(264,dist(x[145],x[20])),0,10),za3[47]) -> extension (support ? 1) - 1512tuples 2.89/2.93 c intension eq(if(le(72,dist(x[121],x[21])),0,10),za3[48]) -> extension (support ? 1) - 216tuples 2.89/2.93 c intension eq(if(le(206,dist(x[144],x[21])),0,10),za3[49]) -> extension (support ? 1) - 1512tuples 2.89/2.94 c intension eq(if(le(188,dist(x[22],x[25])),0,10),za3[50]) -> extension (support ? 1) - 264tuples 2.89/2.94 c intension eq(if(le(113,dist(x[22],x[26])),0,10),za3[51]) -> extension (support ? 1) - 216tuples 2.89/2.94 c intension eq(if(le(68,dist(x[120],x[22])),0,10),za3[52]) -> extension (support ? 1) - 36tuples 2.89/2.94 c intension eq(if(le(212,dist(x[145],x[22])),0,10),za3[53]) -> extension (support ? 1) - 252tuples 2.89/2.94 c intension eq(if(le(103,dist(x[174],x[22])),0,10),za3[54]) -> extension (support ? 1) - 252tuples 2.89/2.94 c intension eq(if(le(174,dist(x[174],x[23])),0,10),za3[55]) -> extension (support ? 1) - 252tuples 2.89/2.95 c intension eq(if(le(179,dist(x[24],x[27])),0,10),za3[56]) -> extension (support ? 1) - 1584tuples 2.89/2.95 c intension eq(if(le(258,dist(x[121],x[24])),0,10),za3[57]) -> extension (support ? 1) - 264tuples 2.89/2.96 c intension eq(if(le(26,dist(x[144],x[24])),0,10),za3[58]) -> extension (support ? 1) - 1848tuples 2.89/2.96 c intension eq(if(le(282,dist(x[146],x[24])),0,10),za3[59]) -> extension (support ? 1) - 1936tuples 2.89/2.97 c intension eq(if(le(221,dist(x[25],x[56])),0,10),za3[60]) -> extension (support ? 1) - 1848tuples 2.89/2.98 c intension eq(if(le(40,dist(x[25],x[75])),0,10),za3[61]) -> extension (support ? 1) - 1848tuples 2.89/2.98 c intension eq(if(le(259,dist(x[146],x[25])),0,10),za3[62]) -> extension (support ? 1) - 1936tuples 2.89/2.99 c intension eq(if(le(172,dist(x[147],x[25])),0,10),za3[63]) -> extension (support ? 1) - 1936tuples 2.89/3.00 c intension eq(if(le(190,dist(x[146],x[26])),0,10),za3[64]) -> extension (support ? 1) - 1584tuples 2.89/3.00 c intension eq(if(le(66,dist(x[174],x[26])),0,10),za3[65]) -> extension (support ? 1) - 1512tuples 3.00/3.01 c intension eq(if(le(207,dist(x[175],x[26])),0,10),za3[66]) -> extension (support ? 1) - 1512tuples 3.00/3.01 c intension eq(if(le(76,dist(x[121],x[27])),0,10),za3[67]) -> extension (support ? 1) - 216tuples 3.00/3.02 c intension eq(if(le(166,dist(x[174],x[27])),0,10),za3[68]) -> extension (support ? 1) - 1512tuples 3.00/3.02 c intension eq(if(le(69,dist(x[175],x[27])),0,10),za3[69]) -> extension (support ? 1) - 1512tuples 3.00/3.03 c intension eq(if(le(200,dist(x[124],x[28])),0,10),za3[70]) -> extension (support ? 1) - 1512tuples 3.00/3.03 c intension eq(if(le(194,dist(x[29],x[90])),0,10),za3[71]) -> extension (support ? 1) - 1584tuples 3.00/3.04 c intension eq(if(le(132,dist(x[29],x[91])),0,10),za3[72]) -> extension (support ? 1) - 1584tuples 3.00/3.04 c intension eq(if(le(211,dist(x[195],x[29])),0,10),za3[73]) -> extension (support ? 1) - 1296tuples 3.00/3.05 c intension eq(if(le(230,dist(x[32],x[71])),0,10),za3[74]) -> extension (support ? 1) - 1848tuples 3.00/3.06 c intension eq(if(le(289,dist(x[33],x[50])),0,10),za3[75]) -> extension (support ? 1) - 1584tuples 3.00/3.06 c intension eq(if(le(68,dist(x[33],x[51])),0,10),za3[76]) -> extension (support ? 1) - 1584tuples 3.00/3.07 c intension eq(if(le(116,dist(x[102],x[33])),0,10),za3[77]) -> extension (support ? 1) - 1584tuples 3.00/3.07 c intension eq(if(le(123,dist(x[194],x[34])),0,10),za3[78]) -> extension (support ? 1) - 1584tuples 3.00/3.08 c intension eq(if(le(127,dist(x[36],x[79])),0,10),za3[79]) -> extension (support ? 1) - 1936tuples 3.00/3.09 c intension eq(if(le(376,dist(x[196],x[37])),0,10),za3[80]) -> extension (support ? 1) - 1936tuples 3.00/3.09 c intension eq(if(le(27,dist(x[38],x[60])),0,10),za3[81]) -> extension (support ? 1) - 1584tuples 3.00/3.10 c intension eq(if(le(142,dist(x[171],x[38])),0,10),za3[82]) -> extension (support ? 1) - 1848tuples 3.10/3.11 c intension eq(if(le(440,dist(x[170],x[39])),0,10),za3[83]) -> extension (support ? 1) - 1848tuples 3.10/3.12 c intension eq(if(le(220,dist(x[112],x[40])),0,10),za3[84]) -> extension (support ? 1) - 1848tuples 3.10/3.12 c intension eq(if(le(210,dist(x[42],x[67])),0,10),za3[85]) -> extension (support ? 1) - 1296tuples 3.10/3.12 c intension eq(if(le(209,dist(x[42],x[96])),0,10),za3[86]) -> extension (support ? 1) - 216tuples 3.10/3.13 c intension eq(if(le(198,dist(x[42],x[97])),0,10),za3[87]) -> extension (support ? 1) - 216tuples 3.10/3.13 c intension eq(if(le(277,dist(x[102],x[42])),0,10),za3[88]) -> extension (support ? 1) - 1296tuples 3.10/3.13 c intension eq(if(le(221,dist(x[103],x[42])),0,10),za3[89]) -> extension (support ? 1) - 1296tuples 3.10/3.14 c intension eq(if(le(110,dist(x[148],x[42])),0,10),za3[90]) -> extension (support ? 1) - 1584tuples 3.10/3.15 c intension eq(if(le(108,dist(x[43],x[93])),0,10),za3[91]) -> extension (support ? 1) - 1584tuples 3.10/3.15 c intension eq(if(le(33,dist(x[43],x[97])),0,10),za3[92]) -> extension (support ? 1) - 216tuples 3.10/3.15 c intension eq(if(le(39,dist(x[44],x[78])),0,10),za3[93]) -> extension (support ? 1) - 1936tuples 3.10/3.16 c intension eq(if(le(252,dist(x[44],x[85])),0,10),za3[94]) -> extension (support ? 1) - 1936tuples 3.10/3.17 c intension eq(if(le(281,dist(x[100],x[45])),0,10),za3[95]) -> extension (support ? 1) - 1936tuples 3.10/3.17 c intension eq(if(le(159,dist(x[101],x[45])),0,10),za3[96]) -> extension (support ? 1) - 1936tuples 3.10/3.18 c intension eq(if(le(165,dist(x[46],x[65])),0,10),za3[97]) -> extension (support ? 1) - 1584tuples 3.10/3.19 c intension eq(if(le(239,dist(x[46],x[99])),0,10),za3[98]) -> extension (support ? 1) - 1512tuples 3.10/3.19 c intension eq(if(le(25,dist(x[178],x[46])),0,10),za3[99]) -> extension (support ? 1) - 1512tuples 3.19/3.20 c intension eq(if(le(168,dist(x[47],x[64])),0,10),za3[100]) -> extension (support ? 1) - 1584tuples 3.19/3.20 c intension eq(if(le(112,dist(x[48],x[92])),0,10),za3[101]) -> extension (support ? 1) - 1584tuples 3.19/3.21 c intension eq(if(le(130,dist(x[195],x[49])),0,10),za3[102]) -> extension (support ? 1) - 1296tuples 3.19/3.22 c intension eq(if(le(252,dist(x[50],x[53])),0,10),za3[103]) -> extension (support ? 1) - 1512tuples 3.19/3.22 c intension eq(if(le(175,dist(x[50],x[64])),0,10),za3[104]) -> extension (support ? 1) - 1584tuples 3.19/3.22 c intension eq(if(le(194,dist(x[192],x[50])),0,10),za3[105]) -> extension (support ? 1) - 216tuples 3.19/3.23 c intension eq(if(le(171,dist(x[179],x[51])),0,10),za3[106]) -> extension (support ? 1) - 1512tuples 3.19/3.23 c intension eq(if(le(107,dist(x[52],x[65])),0,10),za3[107]) -> extension (support ? 1) - 1848tuples 3.19/3.24 c intension eq(if(le(229,dist(x[156],x[52])),0,10),za3[108]) -> extension (support ? 1) - 1764tuples 3.19/3.25 c intension eq(if(le(180,dist(x[53],x[97])),0,10),za3[109]) -> extension (support ? 1) - 252tuples 3.19/3.25 c intension eq(if(le(79,dist(x[117],x[53])),0,10),za3[110]) -> extension (support ? 1) - 1512tuples 3.19/3.25 c intension eq(if(le(153,dist(x[54],x[58])),0,10),za3[111]) -> extension (support ? 1) - 1584tuples 3.19/3.26 c intension eq(if(le(251,dist(x[54],x[59])),0,10),za3[112]) -> extension (support ? 1) - 1584tuples 3.19/3.26 c intension eq(if(le(125,dist(x[134],x[54])),0,10),za3[113]) -> extension (support ? 1) - 264tuples 3.19/3.27 c intension eq(if(le(125,dist(x[145],x[54])),0,10),za3[114]) -> extension (support ? 1) - 1848tuples 3.19/3.28 c intension eq(if(le(12,dist(x[164],x[54])),0,10),za3[115]) -> extension (support ? 1) - 1936tuples 3.19/3.28 c intension eq(if(le(252,dist(x[165],x[54])),0,10),za3[116]) -> extension (support ? 1) - 1936tuples 3.19/3.29 c intension eq(if(le(133,dist(x[146],x[55])),0,10),za3[117]) -> extension (support ? 1) - 1936tuples 3.29/3.30 c intension eq(if(le(88,dist(x[167],x[55])),0,10),za3[118]) -> extension (support ? 1) - 1584tuples 3.29/3.30 c intension eq(if(le(215,dist(x[182],x[55])),0,10),za3[119]) -> extension (support ? 1) - 1848tuples 3.29/3.31 c intension eq(if(le(117,dist(x[183],x[55])),0,10),za3[120]) -> extension (support ? 1) - 1848tuples 3.29/3.32 c intension eq(if(le(24,dist(x[166],x[56])),0,10),za3[121]) -> extension (support ? 1) - 1512tuples 3.29/3.32 c intension eq(if(le(274,dist(x[138],x[57])),0,10),za3[122]) -> extension (support ? 1) - 1848tuples 3.29/3.33 c intension eq(if(le(69,dist(x[58],x[86])),0,10),za3[123]) -> extension (support ? 1) - 1584tuples 3.29/3.33 c intension eq(if(le(116,dist(x[165],x[58])),0,10),za3[124]) -> extension (support ? 1) - 1584tuples 3.29/3.34 c intension eq(if(le(11,dist(x[182],x[58])),0,10),za3[125]) -> extension (support ? 1) - 1512tuples 3.29/3.35 c intension eq(if(le(272,dist(x[190],x[58])),0,10),za3[126]) -> extension (support ? 1) - 1584tuples 3.29/3.35 c intension eq(if(le(6,dist(x[135],x[59])),0,10),za3[127]) -> extension (support ? 1) - 216tuples 3.29/3.35 c intension eq(if(le(290,dist(x[150],x[59])),0,10),za3[128]) -> extension (support ? 1) - 1512tuples 3.29/3.36 c intension eq(if(le(280,dist(x[164],x[59])),0,10),za3[129]) -> extension (support ? 1) - 1584tuples 3.29/3.36 c intension eq(if(le(219,dist(x[182],x[59])),0,10),za3[130]) -> extension (support ? 1) - 1512tuples 3.29/3.37 c intension eq(if(le(12,dist(x[183],x[59])),0,10),za3[131]) -> extension (support ? 1) - 1512tuples 3.29/3.38 c intension eq(if(le(271,dist(x[60],x[75])),0,10),za3[132]) -> extension (support ? 1) - 1512tuples 3.29/3.38 c intension eq(if(le(283,dist(x[62],x[85])),0,10),za3[133]) -> extension (support ? 1) - 1848tuples 3.29/3.39 c intension eq(if(le(232,dist(x[179],x[64])),0,10),za3[134]) -> extension (support ? 1) - 1848tuples 3.39/3.40 c intension eq(if(le(152,dist(x[182],x[65])),0,10),za3[135]) -> extension (support ? 1) - 1848tuples 3.39/3.40 c intension eq(if(le(177,dist(x[101],x[66])),0,10),za3[136]) -> extension (support ? 1) - 1584tuples 3.39/3.41 c intension eq(if(le(263,dist(x[105],x[66])),0,10),za3[137]) -> extension (support ? 1) - 1296tuples 3.39/3.41 c intension eq(if(le(81,dist(x[67],x[91])),0,10),za3[138]) -> extension (support ? 1) - 1584tuples 3.39/3.42 c intension eq(if(le(209,dist(x[104],x[67])),0,10),za3[139]) -> extension (support ? 1) - 1296tuples 3.39/3.42 c intension eq(if(le(210,dist(x[141],x[70])),0,10),za3[140]) -> extension (support ? 1) - 1764tuples 3.39/3.43 c intension eq(if(le(66,dist(x[156],x[70])),0,10),za3[141]) -> extension (support ? 1) - 1764tuples 3.39/3.44 c intension eq(if(le(266,dist(x[140],x[71])),0,10),za3[142]) -> extension (support ? 1) - 1764tuples 3.39/3.44 c intension eq(if(le(221,dist(x[170],x[71])),0,10),za3[143]) -> extension (support ? 1) - 1764tuples 3.39/3.45 c intension eq(if(le(114,dist(x[187],x[71])),0,10),za3[144]) -> extension (support ? 1) - 1848tuples 3.39/3.46 c intension eq(if(le(295,dist(x[73],x[94])),0,10),za3[145]) -> extension (support ? 1) - 216tuples 3.39/3.46 c intension eq(if(le(300,dist(x[121],x[74])),0,10),za3[146]) -> extension (support ? 1) - 252tuples 3.39/3.46 c intension eq(if(le(275,dist(x[162],x[74])),0,10),za3[147]) -> extension (support ? 1) - 1764tuples 3.39/3.47 c intension eq(if(le(260,dist(x[163],x[74])),0,10),za3[148]) -> extension (support ? 1) - 1764tuples 3.39/3.47 c intension eq(if(le(298,dist(x[120],x[75])),0,10),za3[149]) -> extension (support ? 1) - 252tuples 3.39/3.48 c intension eq(if(le(204,dist(x[115],x[76])),0,10),za3[150]) -> extension (support ? 1) - 1848tuples 3.39/3.48 c intension eq(if(le(26,dist(x[118],x[76])),0,10),za3[151]) -> extension (support ? 1) - 1848tuples 3.39/3.49 c intension eq(if(le(262,dist(x[119],x[76])),0,10),za3[152]) -> extension (support ? 1) - 1848tuples 3.39/3.49 c intension eq(if(le(242,dist(x[160],x[76])),0,10),za3[153]) -> extension (support ? 1) - 924tuples 3.49/3.50 c intension eq(if(le(238,dist(x[161],x[76])),0,10),za3[154]) -> extension (support ? 1) - 924tuples 3.49/3.50 c intension eq(if(le(292,dist(x[168],x[76])),0,10),za3[155]) -> extension (support ? 1) - 1764tuples 3.49/3.51 c intension eq(if(le(384,dist(x[77],x[94])),0,10),za3[156]) -> extension (support ? 1) - 1512tuples 3.49/3.52 c intension eq(if(le(144,dist(x[77],x[95])),0,10),za3[157]) -> extension (support ? 1) - 1512tuples 3.49/3.52 c intension eq(if(le(139,dist(x[160],x[77])),0,10),za3[158]) -> extension (support ? 1) - 924tuples 3.49/3.52 c intension eq(if(le(86,dist(x[161],x[77])),0,10),za3[159]) -> extension (support ? 1) - 924tuples 3.49/3.53 c intension eq(if(le(38,dist(x[185],x[77])),0,10),za3[160]) -> extension (support ? 1) - 1764tuples 3.49/3.53 c intension eq(if(le(216,dist(x[192],x[77])),0,10),za3[161]) -> extension (support ? 1) - 252tuples 3.49/3.53 c intension eq(if(le(21,dist(x[193],x[77])),0,10),za3[162]) -> extension (support ? 1) - 252tuples 3.49/3.54 c intension eq(if(le(137,dist(x[134],x[80])),0,10),za3[163]) -> extension (support ? 1) - 216tuples 3.49/3.54 c intension eq(if(le(130,dist(x[185],x[83])),0,10),za3[164]) -> extension (support ? 1) - 924tuples 3.49/3.54 c intension eq(if(le(298,dist(x[119],x[84])),0,10),za3[165]) -> extension (support ? 1) - 1936tuples 3.49/3.55 c intension eq(if(le(325,dist(x[144],x[85])),0,10),za3[166]) -> extension (support ? 1) - 1848tuples 3.49/3.56 c intension eq(if(le(14,dist(x[187],x[85])),0,10),za3[167]) -> extension (support ? 1) - 1936tuples 3.49/3.56 c intension eq(if(le(111,dist(x[166],x[86])),0,10),za3[168]) -> extension (support ? 1) - 1584tuples 3.49/3.57 c intension eq(if(le(241,dist(x[183],x[86])),0,10),za3[169]) -> extension (support ? 1) - 1848tuples 3.49/3.58 c intension eq(if(le(421,dist(x[164],x[87])),0,10),za3[170]) -> extension (support ? 1) - 1936tuples 3.49/3.58 c intension eq(if(le(125,dist(x[166],x[87])),0,10),za3[171]) -> extension (support ? 1) - 1584tuples 3.49/3.59 c intension eq(if(le(110,dist(x[116],x[89])),0,10),za3[172]) -> extension (support ? 1) - 1584tuples 3.58/3.60 c intension eq(if(le(182,dist(x[101],x[90])),0,10),za3[173]) -> extension (support ? 1) - 1936tuples 3.58/3.60 c intension eq(if(le(51,dist(x[104],x[90])),0,10),za3[174]) -> extension (support ? 1) - 1584tuples 3.58/3.61 c intension eq(if(le(268,dist(x[159],x[90])),0,10),za3[175]) -> extension (support ? 1) - 1584tuples 3.58/3.61 c intension eq(if(le(81,dist(x[91],x[97])),0,10),za3[176]) -> extension (support ? 1) - 264tuples 3.58/3.62 c intension eq(if(le(183,dist(x[122],x[93])),0,10),za3[177]) -> extension (support ? 1) - 264tuples 3.58/3.62 c intension eq(if(le(180,dist(x[115],x[94])),0,10),za3[178]) -> extension (support ? 1) - 1584tuples 3.58/3.62 c intension eq(if(le(14,dist(x[168],x[94])),0,10),za3[179]) -> extension (support ? 1) - 1512tuples 3.58/3.63 c intension eq(if(le(285,dist(x[180],x[94])),0,10),za3[180]) -> extension (support ? 1) - 1584tuples 3.58/3.64 c intension eq(if(le(146,dist(x[181],x[94])),0,10),za3[181]) -> extension (support ? 1) - 1584tuples 3.58/3.64 c intension eq(if(le(248,dist(x[185],x[94])),0,10),za3[182]) -> extension (support ? 1) - 1512tuples 3.58/3.65 c intension eq(if(le(294,dist(x[114],x[95])),0,10),za3[183]) -> extension (support ? 1) - 1584tuples 3.58/3.65 c intension eq(if(le(181,dist(x[160],x[95])),0,10),za3[184]) -> extension (support ? 1) - 792tuples 3.58/3.66 c intension eq(if(le(149,dist(x[180],x[95])),0,10),za3[185]) -> extension (support ? 1) - 1584tuples 3.58/3.66 c intension eq(if(le(192,dist(x[186],x[95])),0,10),za3[186]) -> extension (support ? 1) - 1584tuples 3.58/3.67 c intension eq(if(le(41,dist(x[187],x[95])),0,10),za3[187]) -> extension (support ? 1) - 1584tuples 3.58/3.67 c intension eq(if(le(167,dist(x[193],x[95])),0,10),za3[188]) -> extension (support ? 1) - 216tuples 3.58/3.67 c intension eq(if(le(269,dist(x[101],x[96])),0,10),za3[189]) -> extension (support ? 1) - 264tuples 3.58/3.68 c intension eq(if(le(135,dist(x[104],x[96])),0,10),za3[190]) -> extension (support ? 1) - 216tuples 3.58/3.68 c intension eq(if(le(184,dist(x[148],x[97])),0,10),za3[191]) -> extension (support ? 1) - 264tuples 3.58/3.68 c intension eq(if(le(76,dist(x[149],x[97])),0,10),za3[192]) -> extension (support ? 1) - 264tuples 3.58/3.68 c intension eq(if(le(261,dist(x[154],x[98])),0,10),za3[193]) -> extension (support ? 1) - 1848tuples 3.58/3.69 c intension eq(if(le(195,dist(x[179],x[98])),0,10),za3[194]) -> extension (support ? 1) - 1764tuples 3.69/3.70 c intension eq(if(le(285,dist(x[154],x[99])),0,10),za3[195]) -> extension (support ? 1) - 1848tuples 3.69/3.70 c intension eq(if(le(185,dist(x[100],x[104])),0,10),za3[196]) -> extension (support ? 1) - 1584tuples 3.69/3.71 c intension eq(if(le(215,dist(x[100],x[105])),0,10),za3[197]) -> extension (support ? 1) - 1584tuples 3.69/3.72 c intension eq(if(le(41,dist(x[100],x[148])),0,10),za3[198]) -> extension (support ? 1) - 1936tuples 3.69/3.72 c intension eq(if(le(215,dist(x[101],x[169])),0,10),za3[199]) -> extension (support ? 1) - 1848tuples 3.69/3.73 c intension eq(if(le(284,dist(x[102],x[145])),0,10),za3[200]) -> extension (support ? 1) - 1512tuples 3.69/3.73 c intension eq(if(le(535,dist(x[102],x[152])),0,10),za3[201]) -> extension (support ? 1) - 1584tuples 3.69/3.74 c intension eq(if(le(207,dist(x[102],x[171])),0,10),za3[202]) -> extension (support ? 1) - 1512tuples 3.69/3.75 c intension eq(if(le(109,dist(x[104],x[159])),0,10),za3[203]) -> extension (support ? 1) - 1296tuples 3.69/3.75 c intension eq(if(le(208,dist(x[105],x[148])),0,10),za3[204]) -> extension (support ? 1) - 1584tuples 3.69/3.76 c intension eq(if(le(209,dist(x[106],x[171])),0,10),za3[205]) -> extension (support ? 1) - 1008tuples 3.69/3.76 c intension eq(if(le(163,dist(x[109],x[142])),0,10),za3[206]) -> extension (support ? 1) - 1936tuples 3.69/3.77 c intension eq(if(le(56,dist(x[110],x[140])),0,10),za3[207]) -> extension (support ? 1) - 1848tuples 3.69/3.78 c intension eq(if(le(97,dist(x[110],x[170])),0,10),za3[208]) -> extension (support ? 1) - 1848tuples 3.69/3.78 c intension eq(if(le(128,dist(x[114],x[133])),0,10),za3[209]) -> extension (support ? 1) - 1584tuples 3.69/3.79 c intension eq(if(le(345,dist(x[114],x[161])),0,10),za3[210]) -> extension (support ? 1) - 968tuples 3.69/3.79 c intension eq(if(le(39,dist(x[114],x[168])),0,10),za3[211]) -> extension (support ? 1) - 1848tuples 3.79/3.80 c intension eq(if(le(232,dist(x[114],x[185])),0,10),za3[212]) -> extension (support ? 1) - 1848tuples 3.79/3.81 c intension eq(if(le(159,dist(x[115],x[144])),0,10),za3[213]) -> extension (support ? 1) - 1848tuples 3.79/3.81 c intension eq(if(le(198,dist(x[115],x[145])),0,10),za3[214]) -> extension (support ? 1) - 1848tuples 3.79/3.82 c intension eq(if(le(123,dist(x[120],x[125])),0,10),za3[215]) -> extension (support ? 1) - 252tuples 3.79/3.82 c intension eq(if(le(253,dist(x[120],x[126])),0,10),za3[216]) -> extension (support ? 1) - 216tuples 3.79/3.82 c intension eq(if(le(269,dist(x[120],x[127])),0,10),za3[217]) -> extension (support ? 1) - 216tuples 3.79/3.82 c intension eq(if(le(80,dist(x[120],x[147])),0,10),za3[218]) -> extension (support ? 1) - 264tuples 3.79/3.82 c intension eq(if(le(29,dist(x[121],x[127])),0,10),za3[219]) -> extension (support ? 1) - 216tuples 3.79/3.83 c intension eq(if(le(290,dist(x[121],x[146])),0,10),za3[220]) -> extension (support ? 1) - 264tuples 3.79/3.83 c intension eq(if(le(160,dist(x[122],x[136])),0,10),za3[221]) -> extension (support ? 1) - 252tuples 3.79/3.83 c intension eq(if(le(28,dist(x[126],x[174])),0,10),za3[222]) -> extension (support ? 1) - 1512tuples 3.79/3.84 c intension eq(if(le(285,dist(x[129],x[144])),0,10),za3[223]) -> extension (support ? 1) - 1512tuples 3.79/3.84 c intension eq(if(le(51,dist(x[129],x[163])),0,10),za3[224]) -> extension (support ? 1) - 1512tuples 3.79/3.85 c intension eq(if(le(95,dist(x[133],x[192])),0,10),za3[225]) -> extension (support ? 1) - 216tuples 3.79/3.85 c intension eq(if(le(138,dist(x[133],x[193])),0,10),za3[226]) -> extension (support ? 1) - 216tuples 3.79/3.85 c intension eq(if(le(296,dist(x[134],x[151])),0,10),za3[227]) -> extension (support ? 1) - 252tuples 3.79/3.85 c intension eq(if(le(275,dist(x[134],x[156])),0,10),za3[228]) -> extension (support ? 1) - 252tuples 3.79/3.85 c intension eq(if(le(9,dist(x[134],x[191])),0,10),za3[229]) -> extension (support ? 1) - 264tuples 3.79/3.85 c intension eq(if(le(112,dist(x[135],x[165])),0,10),za3[230]) -> extension (support ? 1) - 264tuples 3.79/3.86 c intension eq(if(le(31,dist(x[135],x[167])),0,10),za3[231]) -> extension (support ? 1) - 216tuples 3.79/3.86 c intension eq(if(le(227,dist(x[135],x[182])),0,10),za3[232]) -> extension (support ? 1) - 252tuples 3.79/3.86 c intension eq(if(le(523,dist(x[137],x[196])),0,10),za3[233]) -> extension (support ? 1) - 1848tuples 3.79/3.87 c intension eq(if(le(284,dist(x[137],x[197])),0,10),za3[234]) -> extension (support ? 1) - 1848tuples 3.79/3.87 c intension eq(if(le(298,dist(x[142],x[159])),0,10),za3[235]) -> extension (support ? 1) - 1584tuples 3.79/3.88 c intension eq(if(le(106,dist(x[144],x[187])),0,10),za3[236]) -> extension (support ? 1) - 1848tuples 3.79/3.89 c intension eq(if(le(342,dist(x[145],x[186])),0,10),za3[237]) -> extension (support ? 1) - 1848tuples 3.79/3.89 c intension eq(if(le(98,dist(x[145],x[189])),0,10),za3[238]) -> extension (support ? 1) - 1848tuples 3.89/3.90 c intension eq(if(le(234,dist(x[146],x[174])),0,10),za3[239]) -> extension (support ? 1) - 1848tuples 3.89/3.91 c intension eq(if(le(155,dist(x[147],x[175])),0,10),za3[240]) -> extension (support ? 1) - 1848tuples 3.89/3.91 c intension eq(if(le(249,dist(x[150],x[167])),0,10),za3[241]) -> extension (support ? 1) - 1512tuples 3.89/3.92 c intension eq(if(le(138,dist(x[150],x[196])),0,10),za3[242]) -> extension (support ? 1) - 1848tuples 3.89/3.93 c intension eq(if(le(14,dist(x[151],x[173])),0,10),za3[243]) -> extension (support ? 1) - 1848tuples 3.89/3.93 c intension eq(if(le(85,dist(x[155],x[179])),0,10),za3[244]) -> extension (support ? 1) - 1848tuples 3.89/3.94 c intension eq(if(le(252,dist(x[157],x[172])),0,10),za3[245]) -> extension (support ? 1) - 1848tuples 3.89/3.95 c intension eq(if(le(150,dist(x[159],x[162])),0,10),za3[246]) -> extension (support ? 1) - 1512tuples 3.89/3.95 c intension eq(if(le(130,dist(x[160],x[166])),0,10),za3[247]) -> extension (support ? 1) - 792tuples 3.89/3.96 c intension eq(if(le(202,dist(x[160],x[167])),0,10),za3[248]) -> extension (support ? 1) - 792tuples 3.89/3.96 c intension eq(if(le(70,dist(x[160],x[168])),0,10),za3[249]) -> extension (support ? 1) - 924tuples 3.89/3.96 c intension eq(if(le(168,dist(x[160],x[169])),0,10),za3[250]) -> extension (support ? 1) - 924tuples 3.89/3.97 c intension eq(if(le(171,dist(x[163],x[183])),0,10),za3[251]) -> extension (support ? 1) - 1764tuples 3.89/3.97 c intension eq(if(le(119,dist(x[164],x[166])),0,10),za3[252]) -> extension (support ? 1) - 1584tuples 3.89/3.98 c intension eq(if(le(128,dist(x[164],x[183])),0,10),za3[253]) -> extension (support ? 1) - 1848tuples 3.89/3.99 c intension eq(if(le(125,dist(x[164],x[191])),0,10),za3[254]) -> extension (support ? 1) - 1936tuples 3.89/3.99 c intension eq(if(le(71,dist(x[165],x[167])),0,10),za3[255]) -> extension (support ? 1) - 1584tuples 3.89/4.00 c intension eq(if(le(198,dist(x[165],x[190])),0,10),za3[256]) -> extension (support ? 1) - 1936tuples 4.00/4.01 c intension eq(if(le(183,dist(x[167],x[191])),0,10),za3[257]) -> extension (support ? 1) - 1584tuples 4.00/4.01 c intension eq(if(le(189,dist(x[168],x[184])),0,10),za3[258]) -> extension (support ? 1) - 1764tuples 4.00/4.02 c intension eq(if(le(189,dist(x[169],x[180])),0,10),za3[259]) -> extension (support ? 1) - 1848tuples 4.00/4.03 c intension eq(if(le(439,dist(x[169],x[184])),0,10),za3[260]) -> extension (support ? 1) - 1764tuples 4.00/4.03 c intension eq(if(le(56,dist(x[169],x[192])),0,10),za3[261]) -> extension (support ? 1) - 252tuples 4.00/4.04 c intension eq(if(le(37,dist(x[171],x[175])),0,10),za3[262]) -> extension (support ? 1) - 1764tuples 4.00/4.04 c intension eq(if(le(139,dist(x[173],x[178])),0,10),za3[263]) -> extension (support ? 1) - 1848tuples 4.00/4.05 c intension eq(if(le(98,dist(x[173],x[179])),0,10),za3[264]) -> extension (support ? 1) - 1848tuples 4.00/4.06 c intension eq(if(le(339,dist(x[179],x[186])),0,10),za3[265]) -> extension (support ? 1) - 1848tuples 4.00/4.06 c intension eq(if(le(247,dist(x[180],x[192])),0,10),za3[266]) -> extension (support ? 1) - 264tuples 4.00/4.07 c intension eq(if(le(56,dist(x[181],x[185])),0,10),za3[267]) -> extension (support ? 1) - 1848tuples 4.00/4.07 c intension eq(if(le(265,dist(x[181],x[192])),0,10),za3[268]) -> extension (support ? 1) - 264tuples 4.00/4.07 c intension eq(if(le(300,dist(x[184],x[192])),0,10),za3[269]) -> extension (support ? 1) - 252tuples 4.00/4.07 c intension eq(if(le(15,dist(x[185],x[193])),0,10),za3[270]) -> extension (support ? 1) - 252tuples 4.00/4.08 c intension eq(if(le(185,dist(x[185],x[195])),0,10),za3[271]) -> extension (support ? 1) - 1512tuples 4.00/4.08 c intension eq(if(le(239,dist(x[189],x[195])),0,10),za3[272]) -> extension (support ? 1) - 1584tuples 4.00/4.09 c intension eq(if(le(219,dist(x[193],x[197])),0,10),za3[273]) -> extension (support ? 1) - 264tuples 4.00/4.09 c intension eq(if(le(41,dist(x[0],x[198])),0,1),za4[0]) -> extension (support ? 1) - 1848tuples 4.00/4.10 c intension eq(if(le(186,dist(x[2],x[5])),0,1),za4[1]) -> extension (support ? 1) - 968tuples 4.00/4.10 c intension eq(if(le(171,dist(x[2],x[6])),0,1),za4[2]) -> extension (support ? 1) - 264tuples 4.00/4.10 c intension eq(if(le(66,dist(x[35],x[3])),0,1),za4[3]) -> extension (support ? 1) - 1936tuples 4.10/4.11 c intension eq(if(le(131,dist(x[3],x[60])),0,1),za4[4]) -> extension (support ? 1) - 1584tuples 4.10/4.11 c intension eq(if(le(28,dist(x[5],x[61])),0,1),za4[5]) -> extension (support ? 1) - 792tuples 4.10/4.12 c intension eq(if(le(195,dist(x[118],x[5])),0,1),za4[6]) -> extension (support ? 1) - 968tuples 4.10/4.12 c intension eq(if(le(164,dist(x[34],x[6])),0,1),za4[7]) -> extension (support ? 1) - 264tuples 4.10/4.12 c intension eq(if(le(276,dist(x[68],x[6])),0,1),za4[8]) -> extension (support ? 1) - 216tuples 4.10/4.12 c intension eq(if(le(286,dist(x[69],x[6])),0,1),za4[9]) -> extension (support ? 1) - 216tuples 4.10/4.13 c intension eq(if(le(6,dist(x[35],x[7])),0,1),za4[10]) -> extension (support ? 1) - 264tuples 4.10/4.13 c intension eq(if(le(46,dist(x[69],x[7])),0,1),za4[11]) -> extension (support ? 1) - 216tuples 4.10/4.13 c intension eq(if(le(276,dist(x[26],x[8])),0,1),za4[12]) -> extension (support ? 1) - 216tuples 4.10/4.13 c intension eq(if(le(80,dist(x[177],x[8])),0,1),za4[13]) -> extension (support ? 1) - 144tuples 4.10/4.13 c intension eq(if(le(279,dist(x[112],x[9])),0,1),za4[14]) -> extension (support ? 1) - 264tuples 4.10/4.13 c intension eq(if(le(392,dist(x[176],x[9])),0,1),za4[15]) -> extension (support ? 1) - 144tuples 4.10/4.13 c intension eq(if(le(194,dist(x[10],x[23])),0,1),za4[16]) -> extension (support ? 1) - 264tuples 4.10/4.14 c intension eq(if(le(208,dist(x[10],x[120])),0,1),za4[17]) -> extension (support ? 1) - 264tuples 4.10/4.14 c intension eq(if(le(144,dist(x[10],x[121])),0,1),za4[18]) -> extension (support ? 1) - 264tuples 4.10/4.14 c intension eq(if(le(179,dist(x[10],x[175])),0,1),za4[19]) -> extension (support ? 1) - 1848tuples 4.10/4.15 c intension eq(if(le(74,dist(x[11],x[23])),0,1),za4[20]) -> extension (support ? 1) - 264tuples 4.10/4.15 c intension eq(if(le(109,dist(x[11],x[24])),0,1),za4[21]) -> extension (support ? 1) - 1936tuples 4.10/4.16 c intension eq(if(le(125,dist(x[11],x[25])),0,1),za4[22]) -> extension (support ? 1) - 1936tuples 4.10/4.16 c intension eq(if(le(167,dist(x[11],x[26])),0,1),za4[23]) -> extension (support ? 1) - 1584tuples 4.10/4.17 c intension eq(if(le(111,dist(x[11],x[122])),0,1),za4[24]) -> extension (support ? 1) - 264tuples 4.10/4.17 c intension eq(if(le(126,dist(x[11],x[126])),0,1),za4[25]) -> extension (support ? 1) - 1584tuples 4.10/4.18 c intension eq(if(le(98,dist(x[11],x[174])),0,1),za4[26]) -> extension (support ? 1) - 1848tuples 4.10/4.19 c intension eq(if(le(93,dist(x[12],x[14])),0,1),za4[27]) -> extension (support ? 1) - 1848tuples 4.10/4.19 c intension eq(if(le(163,dist(x[12],x[30])),0,1),za4[28]) -> extension (support ? 1) - 1936tuples 4.19/4.20 c intension eq(if(le(252,dist(x[13],x[68])),0,1),za4[29]) -> extension (support ? 1) - 1584tuples 4.19/4.20 c intension eq(if(le(298,dist(x[14],x[33])),0,1),za4[30]) -> extension (support ? 1) - 1848tuples 4.19/4.21 c intension eq(if(le(277,dist(x[15],x[40])),0,1),za4[31]) -> extension (support ? 1) - 1764tuples 4.19/4.22 c intension eq(if(le(37,dist(x[15],x[41])),0,1),za4[32]) -> extension (support ? 1) - 1764tuples 4.19/4.22 c intension eq(if(le(534,dist(x[16],x[20])),0,1),za4[33]) -> extension (support ? 1) - 792tuples 4.19/4.23 c intension eq(if(le(152,dist(x[122],x[16])),0,1),za4[34]) -> extension (support ? 1) - 132tuples 4.19/4.23 c intension eq(if(le(56,dist(x[16],x[194])),0,1),za4[35]) -> extension (support ? 1) - 792tuples 4.19/4.23 c intension eq(if(le(98,dist(x[17],x[33])),0,1),za4[36]) -> extension (support ? 1) - 968tuples 4.19/4.24 c intension eq(if(le(290,dist(x[18],x[67])),0,1),za4[37]) -> extension (support ? 1) - 1584tuples 4.19/4.24 c intension eq(if(le(264,dist(x[100],x[18])),0,1),za4[38]) -> extension (support ? 1) - 1936tuples 4.19/4.25 c intension eq(if(le(261,dist(x[159],x[18])),0,1),za4[39]) -> extension (support ? 1) - 1584tuples 4.19/4.26 c intension eq(if(le(152,dist(x[188],x[18])),0,1),za4[40]) -> extension (support ? 1) - 1936tuples 4.19/4.26 c intension eq(if(le(183,dist(x[19],x[49])),0,1),za4[41]) -> extension (support ? 1) - 1584tuples 4.19/4.27 c intension eq(if(le(56,dist(x[19],x[67])),0,1),za4[42]) -> extension (support ? 1) - 1584tuples 4.19/4.27 c intension eq(if(le(139,dist(x[19],x[91])),0,1),za4[43]) -> extension (support ? 1) - 1936tuples 4.19/4.28 c intension eq(if(le(493,dist(x[100],x[19])),0,1),za4[44]) -> extension (support ? 1) - 1936tuples 4.19/4.29 c intension eq(if(le(254,dist(x[101],x[19])),0,1),za4[45]) -> extension (support ? 1) - 1936tuples 4.19/4.29 c intension eq(if(le(82,dist(x[105],x[19])),0,1),za4[46]) -> extension (support ? 1) - 1584tuples 4.29/4.30 c intension eq(if(le(292,dist(x[119],x[20])),0,1),za4[47]) -> extension (support ? 1) - 1584tuples 4.29/4.31 c intension eq(if(le(168,dist(x[189],x[20])),0,1),za4[48]) -> extension (support ? 1) - 1584tuples 4.29/4.31 c intension eq(if(le(25,dist(x[145],x[21])),0,1),za4[49]) -> extension (support ? 1) - 1512tuples 4.29/4.32 c intension eq(if(le(128,dist(x[187],x[21])),0,1),za4[50]) -> extension (support ? 1) - 1584tuples 4.29/4.32 c intension eq(if(le(230,dist(x[22],x[75])),0,1),za4[51]) -> extension (support ? 1) - 252tuples 4.29/4.32 c intension eq(if(le(167,dist(x[121],x[22])),0,1),za4[52]) -> extension (support ? 1) - 36tuples 4.29/4.32 c intension eq(if(le(198,dist(x[127],x[22])),0,1),za4[53]) -> extension (support ? 1) - 216tuples 4.29/4.33 c intension eq(if(le(229,dist(x[23],x[74])),0,1),za4[54]) -> extension (support ? 1) - 252tuples 4.29/4.33 c intension eq(if(le(4,dist(x[23],x[75])),0,1),za4[55]) -> extension (support ? 1) - 252tuples 4.29/4.33 c intension eq(if(le(12,dist(x[126],x[24])),0,1),za4[56]) -> extension (support ? 1) - 1584tuples 4.29/4.34 c intension eq(if(le(222,dist(x[127],x[24])),0,1),za4[57]) -> extension (support ? 1) - 1584tuples 4.29/4.34 c intension eq(if(le(269,dist(x[147],x[24])),0,1),za4[58]) -> extension (support ? 1) - 1936tuples 4.29/4.35 c intension eq(if(le(247,dist(x[175],x[24])),0,1),za4[59]) -> extension (support ? 1) - 1848tuples 4.29/4.36 c intension eq(if(le(14,dist(x[25],x[57])),0,1),za4[60]) -> extension (support ? 1) - 1848tuples 4.29/4.36 c intension eq(if(le(277,dist(x[25],x[74])),0,1),za4[61]) -> extension (support ? 1) - 1848tuples 4.29/4.37 c intension eq(if(le(252,dist(x[26],x[75])),0,1),za4[62]) -> extension (support ? 1) - 1512tuples 4.29/4.38 c intension eq(if(le(276,dist(x[127],x[26])),0,1),za4[63]) -> extension (support ? 1) - 1296tuples 4.29/4.38 c intension eq(if(le(221,dist(x[27],x[74])),0,1),za4[64]) -> extension (support ? 1) - 1512tuples 4.29/4.39 c intension eq(if(le(41,dist(x[127],x[27])),0,1),za4[65]) -> extension (support ? 1) - 1296tuples 4.29/4.39 c intension eq(if(le(105,dist(x[146],x[27])),0,1),za4[66]) -> extension (support ? 1) - 1584tuples 4.39/4.40 c intension eq(if(le(14,dist(x[137],x[29])),0,1),za4[67]) -> extension (support ? 1) - 1512tuples 4.39/4.40 c intension eq(if(le(23,dist(x[30],x[60])),0,1),za4[68]) -> extension (support ? 1) - 1584tuples 4.39/4.41 c intension eq(if(le(105,dist(x[31],x[76])),0,1),za4[69]) -> extension (support ? 1) - 1848tuples 4.39/4.42 c intension eq(if(le(211,dist(x[141],x[32])),0,1),za4[70]) -> extension (support ? 1) - 1848tuples 4.39/4.42 c intension eq(if(le(56,dist(x[107],x[33])),0,1),za4[71]) -> extension (support ? 1) - 1056tuples 4.39/4.43 c intension eq(if(le(200,dist(x[35],x[61])),0,1),za4[72]) -> extension (support ? 1) - 1584tuples 4.39/4.43 c intension eq(if(le(95,dist(x[36],x[40])),0,1),za4[73]) -> extension (support ? 1) - 1848tuples 4.39/4.44 c intension eq(if(le(249,dist(x[36],x[57])),0,1),za4[74]) -> extension (support ? 1) - 1848tuples 4.39/4.45 c intension eq(if(le(140,dist(x[37],x[40])),0,1),za4[75]) -> extension (support ? 1) - 1848tuples 4.39/4.45 c intension eq(if(le(187,dist(x[113],x[37])),0,1),za4[76]) -> extension (support ? 1) - 1936tuples 4.39/4.46 c intension eq(if(le(261,dist(x[103],x[38])),0,1),za4[77]) -> extension (support ? 1) - 1584tuples 4.39/4.47 c intension eq(if(le(37,dist(x[106],x[38])),0,1),za4[78]) -> extension (support ? 1) - 1056tuples 4.39/4.47 c intension eq(if(le(277,dist(x[107],x[38])),0,1),za4[79]) -> extension (support ? 1) - 1056tuples 4.39/4.48 c intension eq(if(le(485,dist(x[111],x[39])),0,1),za4[80]) -> extension (support ? 1) - 1936tuples 4.39/4.48 c intension eq(if(le(130,dist(x[42],x[90])),0,1),za4[81]) -> extension (support ? 1) - 1584tuples 4.39/4.49 c intension eq(if(le(69,dist(x[100],x[42])),0,1),za4[82]) -> extension (support ? 1) - 1584tuples 4.39/4.50 c intension eq(if(le(164,dist(x[101],x[42])),0,1),za4[83]) -> extension (support ? 1) - 1584tuples 4.49/4.50 c intension eq(if(le(533,dist(x[104],x[42])),0,1),za4[84]) -> extension (support ? 1) - 1296tuples 4.49/4.51 c intension eq(if(le(290,dist(x[105],x[42])),0,1),za4[85]) -> extension (support ? 1) - 1296tuples 4.49/4.51 c intension eq(if(le(42,dist(x[158],x[42])),0,1),za4[86]) -> extension (support ? 1) - 1296tuples 4.49/4.52 c intension eq(if(le(195,dist(x[159],x[42])),0,1),za4[87]) -> extension (support ? 1) - 1296tuples 4.49/4.52 c intension eq(if(le(132,dist(x[43],x[67])),0,1),za4[88]) -> extension (support ? 1) - 1296tuples 4.49/4.52 c intension eq(if(le(202,dist(x[43],x[96])),0,1),za4[89]) -> extension (support ? 1) - 216tuples 4.49/4.53 c intension eq(if(le(305,dist(x[100],x[43])),0,1),za4[90]) -> extension (support ? 1) - 1584tuples 4.49/4.53 c intension eq(if(le(102,dist(x[105],x[43])),0,1),za4[91]) -> extension (support ? 1) - 1296tuples 4.49/4.54 c intension eq(if(le(112,dist(x[149],x[43])),0,1),za4[92]) -> extension (support ? 1) - 1584tuples 4.49/4.54 c intension eq(if(le(280,dist(x[158],x[43])),0,1),za4[93]) -> extension (support ? 1) - 1296tuples 4.49/4.55 c intension eq(if(le(216,dist(x[46],x[88])),0,1),za4[94]) -> extension (support ? 1) - 1584tuples 4.49/4.56 c intension eq(if(le(218,dist(x[47],x[50])),0,1),za4[95]) -> extension (support ? 1) - 1296tuples 4.49/4.56 c intension eq(if(le(289,dist(x[156],x[47])),0,1),za4[96]) -> extension (support ? 1) - 1512tuples 4.49/4.57 c intension eq(if(le(532,dist(x[132],x[48])),0,1),za4[97]) -> extension (support ? 1) - 1296tuples 4.49/4.57 c intension eq(if(le(369,dist(x[195],x[48])),0,1),za4[98]) -> extension (support ? 1) - 1296tuples 4.49/4.58 c intension eq(if(le(292,dist(x[194],x[49])),0,1),za4[99]) -> extension (support ? 1) - 1296tuples 4.49/4.58 c intension eq(if(le(272,dist(x[193],x[50])),0,1),za4[100]) -> extension (support ? 1) - 216tuples 4.49/4.58 c intension eq(if(le(136,dist(x[116],x[51])),0,1),za4[101]) -> extension (support ? 1) - 1296tuples 4.49/4.59 c intension eq(if(le(353,dist(x[52],x[99])),0,1),za4[102]) -> extension (support ? 1) - 1764tuples 4.49/4.60 c intension eq(if(le(154,dist(x[157],x[52])),0,1),za4[103]) -> extension (support ? 1) - 1764tuples 4.59/4.60 c intension eq(if(le(283,dist(x[179],x[52])),0,1),za4[104]) -> extension (support ? 1) - 1764tuples 4.59/4.61 c intension eq(if(le(298,dist(x[53],x[98])),0,1),za4[105]) -> extension (support ? 1) - 1764tuples 4.59/4.62 c intension eq(if(le(424,dist(x[151],x[54])),0,1),za4[106]) -> extension (support ? 1) - 1848tuples 4.59/4.62 c intension eq(if(le(180,dist(x[167],x[54])),0,1),za4[107]) -> extension (support ? 1) - 1584tuples 4.59/4.63 c intension eq(if(le(276,dist(x[182],x[54])),0,1),za4[108]) -> extension (support ? 1) - 1848tuples 4.59/4.64 c intension eq(if(le(95,dist(x[190],x[54])),0,1),za4[109]) -> extension (support ? 1) - 1936tuples 4.59/4.64 c intension eq(if(le(440,dist(x[55],x[86])),0,1),za4[110]) -> extension (support ? 1) - 1936tuples 4.59/4.65 c intension eq(if(le(108,dist(x[134],x[55])),0,1),za4[111]) -> extension (support ? 1) - 264tuples 4.59/4.65 c intension eq(if(le(121,dist(x[135],x[55])),0,1),za4[112]) -> extension (support ? 1) - 264tuples 4.59/4.65 c intension eq(if(le(96,dist(x[147],x[55])),0,1),za4[113]) -> extension (support ? 1) - 1936tuples 4.59/4.66 c intension eq(if(le(222,dist(x[150],x[55])),0,1),za4[114]) -> extension (support ? 1) - 1848tuples 4.59/4.67 c intension eq(if(le(12,dist(x[165],x[55])),0,1),za4[115]) -> extension (support ? 1) - 1936tuples 4.59/4.67 c intension eq(if(le(253,dist(x[142],x[56])),0,1),za4[116]) -> extension (support ? 1) - 1848tuples 4.59/4.68 c intension eq(if(le(140,dist(x[172],x[56])),0,1),za4[117]) -> extension (support ? 1) - 1848tuples 4.59/4.69 c intension eq(if(le(60,dist(x[129],x[57])),0,1),za4[118]) -> extension (support ? 1) - 1512tuples 4.59/4.69 c intension eq(if(le(145,dist(x[150],x[57])),0,1),za4[119]) -> extension (support ? 1) - 1764tuples 4.69/4.70 c intension eq(if(le(242,dist(x[135],x[58])),0,1),za4[120]) -> extension (support ? 1) - 216tuples 4.69/4.70 c intension eq(if(le(231,dist(x[164],x[58])),0,1),za4[121]) -> extension (support ? 1) - 1584tuples 4.69/4.71 c intension eq(if(le(276,dist(x[167],x[58])),0,1),za4[122]) -> extension (support ? 1) - 1296tuples 4.69/4.71 c intension eq(if(le(250,dist(x[183],x[58])),0,1),za4[123]) -> extension (support ? 1) - 1512tuples 4.69/4.72 c intension eq(if(le(208,dist(x[144],x[59])),0,1),za4[124]) -> extension (support ? 1) - 1512tuples 4.69/4.72 c intension eq(if(le(185,dist(x[190],x[59])),0,1),za4[125]) -> extension (support ? 1) - 1584tuples 4.69/4.73 c intension eq(if(le(210,dist(x[60],x[74])),0,1),za4[126]) -> extension (support ? 1) - 1512tuples 4.69/4.73 c intension eq(if(le(136,dist(x[62],x[64])),0,1),za4[127]) -> extension (support ? 1) - 1848tuples 4.69/4.74 c intension eq(if(le(94,dist(x[62],x[65])),0,1),za4[128]) -> extension (support ? 1) - 1848tuples 4.69/4.75 c intension eq(if(le(13,dist(x[118],x[62])),0,1),za4[129]) -> extension (support ? 1) - 1848tuples 4.69/4.75 c intension eq(if(le(256,dist(x[64],x[66])),0,1),za4[130]) -> extension (support ? 1) - 1584tuples 4.69/4.76 c intension eq(if(le(223,dist(x[64],x[67])),0,1),za4[131]) -> extension (support ? 1) - 1584tuples 4.69/4.77 c intension eq(if(le(79,dist(x[66],x[90])),0,1),za4[132]) -> extension (support ? 1) - 1584tuples 4.69/4.77 c intension eq(if(le(402,dist(x[66],x[97])),0,1),za4[133]) -> extension (support ? 1) - 216tuples 4.69/4.77 c intension eq(if(le(278,dist(x[66],x[99])),0,1),za4[134]) -> extension (support ? 1) - 1512tuples 4.69/4.78 c intension eq(if(le(293,dist(x[148],x[66])),0,1),za4[135]) -> extension (support ? 1) - 1584tuples 4.69/4.78 c intension eq(if(le(25,dist(x[105],x[67])),0,1),za4[136]) -> extension (support ? 1) - 1296tuples 4.69/4.79 c intension eq(if(le(240,dist(x[149],x[67])),0,1),za4[137]) -> extension (support ? 1) - 1584tuples 4.69/4.80 c intension eq(if(le(536,dist(x[68],x[82])),0,1),za4[138]) -> extension (support ? 1) - 792tuples 4.79/4.80 c intension eq(if(le(13,dist(x[170],x[70])),0,1),za4[139]) -> extension (support ? 1) - 1764tuples 4.79/4.81 c intension eq(if(le(296,dist(x[110],x[71])),0,1),za4[140]) -> extension (support ? 1) - 1848tuples 4.79/4.81 c intension eq(if(le(237,dist(x[186],x[71])),0,1),za4[141]) -> extension (support ? 1) - 1848tuples 4.79/4.82 c intension eq(if(le(167,dist(x[73],x[95])),0,1),za4[142]) -> extension (support ? 1) - 216tuples 4.79/4.82 c intension eq(if(le(54,dist(x[174],x[74])),0,1),za4[143]) -> extension (support ? 1) - 1764tuples 4.79/4.83 c intension eq(if(le(292,dist(x[175],x[74])),0,1),za4[144]) -> extension (support ? 1) - 1764tuples 4.79/4.83 c intension eq(if(le(57,dist(x[121],x[75])),0,1),za4[145]) -> extension (support ? 1) - 252tuples 4.79/4.84 c intension eq(if(le(216,dist(x[147],x[75])),0,1),za4[146]) -> extension (support ? 1) - 1848tuples 4.79/4.84 c intension eq(if(le(52,dist(x[175],x[75])),0,1),za4[147]) -> extension (support ? 1) - 1764tuples 4.79/4.85 c intension eq(if(le(107,dist(x[132],x[76])),0,1),za4[148]) -> extension (support ? 1) - 1512tuples 4.79/4.86 c intension eq(if(le(135,dist(x[181],x[76])),0,1),za4[149]) -> extension (support ? 1) - 1848tuples 4.79/4.86 c intension eq(if(le(194,dist(x[185],x[76])),0,1),za4[150]) -> extension (support ? 1) - 1764tuples 4.79/4.87 c intension eq(if(le(114,dist(x[133],x[77])),0,1),za4[151]) -> extension (support ? 1) - 1512tuples 4.79/4.87 c intension eq(if(le(299,dist(x[180],x[77])),0,1),za4[152]) -> extension (support ? 1) - 1848tuples 4.79/4.88 c intension eq(if(le(247,dist(x[182],x[77])),0,1),za4[153]) -> extension (support ? 1) - 1764tuples 4.79/4.89 c intension eq(if(le(279,dist(x[184],x[77])),0,1),za4[154]) -> extension (support ? 1) - 1764tuples 4.79/4.89 c intension eq(if(le(278,dist(x[196],x[79])),0,1),za4[155]) -> extension (support ? 1) - 1936tuples 4.89/4.90 c intension eq(if(le(207,dist(x[81],x[92])),0,1),za4[156]) -> extension (support ? 1) - 1584tuples 4.89/4.90 c intension eq(if(le(173,dist(x[135],x[86])),0,1),za4[157]) -> extension (support ? 1) - 264tuples 4.89/4.91 c intension eq(if(le(249,dist(x[151],x[86])),0,1),za4[158]) -> extension (support ? 1) - 1848tuples 4.89/4.92 c intension eq(if(le(264,dist(x[165],x[86])),0,1),za4[159]) -> extension (support ? 1) - 1936tuples 4.89/4.92 c intension eq(if(le(184,dist(x[167],x[86])),0,1),za4[160]) -> extension (support ? 1) - 1584tuples 4.89/4.93 c intension eq(if(le(82,dist(x[182],x[86])),0,1),za4[161]) -> extension (support ? 1) - 1848tuples 4.89/4.93 c intension eq(if(le(70,dist(x[159],x[87])),0,1),za4[162]) -> extension (support ? 1) - 1584tuples 4.89/4.94 c intension eq(if(le(107,dist(x[167],x[87])),0,1),za4[163]) -> extension (support ? 1) - 1584tuples 4.89/4.95 c intension eq(if(le(223,dist(x[88],x[99])),0,1),za4[164]) -> extension (support ? 1) - 1848tuples 4.89/4.95 c intension eq(if(le(200,dist(x[148],x[90])),0,1),za4[165]) -> extension (support ? 1) - 1936tuples 4.89/4.96 c intension eq(if(le(212,dist(x[149],x[90])),0,1),za4[166]) -> extension (support ? 1) - 1936tuples 4.89/4.97 c intension eq(if(le(159,dist(x[149],x[91])),0,1),za4[167]) -> extension (support ? 1) - 1936tuples 4.89/4.97 c intension eq(if(le(272,dist(x[195],x[92])),0,1),za4[168]) -> extension (support ? 1) - 1584tuples 4.89/4.98 c intension eq(if(le(51,dist(x[108],x[94])),0,1),za4[169]) -> extension (support ? 1) - 1584tuples 4.89/4.99 c intension eq(if(le(178,dist(x[109],x[94])),0,1),za4[170]) -> extension (support ? 1) - 1584tuples 4.89/4.99 c intension eq(if(le(27,dist(x[132],x[94])),0,1),za4[171]) -> extension (support ? 1) - 1296tuples 4.89/5.00 c intension eq(if(le(221,dist(x[169],x[94])),0,1),za4[172]) -> extension (support ? 1) - 1512tuples 4.89/5.00 c intension eq(if(le(166,dist(x[192],x[94])),0,1),za4[173]) -> extension (support ? 1) - 216tuples 4.89/5.00 c intension eq(if(le(288,dist(x[193],x[94])),0,1),za4[174]) -> extension (support ? 1) - 216tuples 5.00/5.01 c intension eq(if(le(51,dist(x[115],x[95])),0,1),za4[175]) -> extension (support ? 1) - 1584tuples 5.00/5.01 c intension eq(if(le(249,dist(x[168],x[95])),0,1),za4[176]) -> extension (support ? 1) - 1512tuples 5.00/5.02 c intension eq(if(le(14,dist(x[169],x[95])),0,1),za4[177]) -> extension (support ? 1) - 1512tuples 5.00/5.02 c intension eq(if(le(242,dist(x[181],x[95])),0,1),za4[178]) -> extension (support ? 1) - 1584tuples 5.00/5.03 c intension eq(if(le(240,dist(x[159],x[96])),0,1),za4[179]) -> extension (support ? 1) - 216tuples 5.00/5.03 c intension eq(if(le(33,dist(x[101],x[97])),0,1),za4[180]) -> extension (support ? 1) - 264tuples 5.00/5.03 c intension eq(if(le(241,dist(x[158],x[97])),0,1),za4[181]) -> extension (support ? 1) - 216tuples 5.00/5.04 c intension eq(if(le(40,dist(x[178],x[98])),0,1),za4[182]) -> extension (support ? 1) - 1764tuples 5.00/5.04 c intension eq(if(le(264,dist(x[100],x[159])),0,1),za4[183]) -> extension (support ? 1) - 1584tuples 5.00/5.05 c intension eq(if(le(277,dist(x[101],x[148])),0,1),za4[184]) -> extension (support ? 1) - 1936tuples 5.00/5.05 c intension eq(if(le(28,dist(x[101],x[159])),0,1),za4[185]) -> extension (support ? 1) - 1584tuples 5.00/5.06 c intension eq(if(le(451,dist(x[101],x[168])),0,1),za4[186]) -> extension (support ? 1) - 1848tuples 5.00/5.07 c intension eq(if(le(146,dist(x[105],x[159])),0,1),za4[187]) -> extension (support ? 1) - 1296tuples 5.00/5.07 c intension eq(if(le(249,dist(x[107],x[110])),0,1),za4[188]) -> extension (support ? 1) - 1056tuples 5.00/5.08 c intension eq(if(le(253,dist(x[107],x[111])),0,1),za4[189]) -> extension (support ? 1) - 1056tuples 5.00/5.08 c intension eq(if(le(202,dist(x[107],x[141])),0,1),za4[190]) -> extension (support ? 1) - 1008tuples 5.00/5.08 c intension eq(if(le(83,dist(x[114],x[132])),0,1),za4[191]) -> extension (support ? 1) - 1584tuples 5.00/5.09 c intension eq(if(le(110,dist(x[114],x[160])),0,1),za4[192]) -> extension (support ? 1) - 968tuples 5.00/5.09 c intension eq(if(le(280,dist(x[114],x[163])),0,1),za4[193]) -> extension (support ? 1) - 1848tuples 5.00/5.10 c intension eq(if(le(223,dist(x[114],x[192])),0,1),za4[194]) -> extension (support ? 1) - 264tuples 5.00/5.10 c intension eq(if(le(152,dist(x[115],x[132])),0,1),za4[195]) -> extension (support ? 1) - 1584tuples 5.10/5.11 c intension eq(if(le(79,dist(x[115],x[133])),0,1),za4[196]) -> extension (support ? 1) - 1584tuples 5.10/5.11 c intension eq(if(le(126,dist(x[115],x[160])),0,1),za4[197]) -> extension (support ? 1) - 968tuples 5.10/5.12 c intension eq(if(le(112,dist(x[115],x[161])),0,1),za4[198]) -> extension (support ? 1) - 968tuples 5.10/5.12 c intension eq(if(le(194,dist(x[115],x[168])),0,1),za4[199]) -> extension (support ? 1) - 1848tuples 5.10/5.13 c intension eq(if(le(11,dist(x[115],x[192])),0,1),za4[200]) -> extension (support ? 1) - 264tuples 5.10/5.13 c intension eq(if(le(220,dist(x[116],x[155])),0,1),za4[201]) -> extension (support ? 1) - 1584tuples 5.10/5.14 c intension eq(if(le(265,dist(x[119],x[144])),0,1),za4[202]) -> extension (support ? 1) - 1848tuples 5.10/5.14 c intension eq(if(le(151,dist(x[120],x[146])),0,1),za4[203]) -> extension (support ? 1) - 264tuples 5.10/5.14 c intension eq(if(le(239,dist(x[120],x[175])),0,1),za4[204]) -> extension (support ? 1) - 252tuples 5.10/5.15 c intension eq(if(le(268,dist(x[121],x[126])),0,1),za4[205]) -> extension (support ? 1) - 216tuples 5.10/5.15 c intension eq(if(le(137,dist(x[122],x[195])),0,1),za4[206]) -> extension (support ? 1) - 216tuples 5.10/5.15 c intension eq(if(le(141,dist(x[123],x[136])),0,1),za4[207]) -> extension (support ? 1) - 252tuples 5.10/5.15 c intension eq(if(le(208,dist(x[123],x[194])),0,1),za4[208]) -> extension (support ? 1) - 216tuples 5.10/5.15 c intension eq(if(le(235,dist(x[126],x[132])),0,1),za4[209]) -> extension (support ? 1) - 1296tuples 5.10/5.16 c intension eq(if(le(183,dist(x[127],x[147])),0,1),za4[210]) -> extension (support ? 1) - 1584tuples 5.10/5.16 c intension eq(if(le(27,dist(x[127],x[175])),0,1),za4[211]) -> extension (support ? 1) - 1512tuples 5.10/5.17 c intension eq(if(le(156,dist(x[129],x[139])),0,1),za4[212]) -> extension (support ? 1) - 1584tuples 5.10/5.18 c intension eq(if(le(27,dist(x[129],x[143])),0,1),za4[213]) -> extension (support ? 1) - 1584tuples 5.10/5.18 c intension eq(if(le(164,dist(x[130],x[139])),0,1),za4[214]) -> extension (support ? 1) - 1936tuples 5.10/5.19 c intension eq(if(le(240,dist(x[132],x[184])),0,1),za4[215]) -> extension (support ? 1) - 1512tuples 5.10/5.19 c intension eq(if(le(137,dist(x[132],x[192])),0,1),za4[216]) -> extension (support ? 1) - 216tuples 5.10/5.19 c intension eq(if(le(223,dist(x[132],x[193])),0,1),za4[217]) -> extension (support ? 1) - 216tuples 5.19/5.20 c intension eq(if(le(155,dist(x[133],x[185])),0,1),za4[218]) -> extension (support ? 1) - 1512tuples 5.19/5.20 c intension eq(if(le(123,dist(x[134],x[165])),0,1),za4[219]) -> extension (support ? 1) - 264tuples 5.19/5.20 c intension eq(if(le(200,dist(x[134],x[167])),0,1),za4[220]) -> extension (support ? 1) - 216tuples 5.19/5.20 c intension eq(if(le(295,dist(x[135],x[150])),0,1),za4[221]) -> extension (support ? 1) - 252tuples 5.19/5.21 c intension eq(if(le(216,dist(x[139],x[142])),0,1),za4[222]) -> extension (support ? 1) - 1936tuples 5.19/5.22 c intension eq(if(le(270,dist(x[142],x[158])),0,1),za4[223]) -> extension (support ? 1) - 1584tuples 5.19/5.22 c intension eq(if(le(287,dist(x[143],x[172])),0,1),za4[224]) -> extension (support ? 1) - 1936tuples 5.19/5.23 c intension eq(if(le(395,dist(x[146],x[175])),0,1),za4[225]) -> extension (support ? 1) - 1848tuples 5.19/5.24 c intension eq(if(le(177,dist(x[147],x[174])),0,1),za4[226]) -> extension (support ? 1) - 1848tuples 5.19/5.24 c intension eq(if(le(66,dist(x[148],x[158])),0,1),za4[227]) -> extension (support ? 1) - 1584tuples 5.19/5.25 c intension eq(if(le(283,dist(x[148],x[159])),0,1),za4[228]) -> extension (support ? 1) - 1584tuples 5.19/5.25 c intension eq(if(le(70,dist(x[149],x[159])),0,1),za4[229]) -> extension (support ? 1) - 1584tuples 5.19/5.26 c intension eq(if(le(150,dist(x[150],x[190])),0,1),za4[230]) -> extension (support ? 1) - 1848tuples 5.19/5.27 c intension eq(if(le(114,dist(x[151],x[164])),0,1),za4[231]) -> extension (support ? 1) - 1848tuples 5.19/5.27 c intension eq(if(le(187,dist(x[159],x[163])),0,1),za4[232]) -> extension (support ? 1) - 1512tuples 5.19/5.28 c intension eq(if(le(270,dist(x[160],x[180])),0,1),za4[233]) -> extension (support ? 1) - 968tuples 5.19/5.28 c intension eq(if(le(532,dist(x[160],x[184])),0,1),za4[234]) -> extension (support ? 1) - 924tuples 5.19/5.29 c intension eq(if(le(219,dist(x[161],x[172])),0,1),za4[235]) -> extension (support ? 1) - 968tuples 5.19/5.29 c intension eq(if(le(184,dist(x[161],x[173])),0,1),za4[236]) -> extension (support ? 1) - 968tuples 5.19/5.29 c intension eq(if(le(185,dist(x[161],x[181])),0,1),za4[237]) -> extension (support ? 1) - 968tuples 5.28/5.30 c intension eq(if(le(199,dist(x[161],x[184])),0,1),za4[238]) -> extension (support ? 1) - 924tuples 5.28/5.30 c intension eq(if(le(126,dist(x[161],x[192])),0,1),za4[239]) -> extension (support ? 1) - 132tuples 5.28/5.30 c intension eq(if(le(254,dist(x[163],x[173])),0,1),za4[240]) -> extension (support ? 1) - 1848tuples 5.28/5.31 c intension eq(if(le(131,dist(x[164],x[182])),0,1),za4[241]) -> extension (support ? 1) - 1848tuples 5.28/5.32 c intension eq(if(le(157,dist(x[165],x[182])),0,1),za4[242]) -> extension (support ? 1) - 1848tuples 5.28/5.32 c intension eq(if(le(107,dist(x[165],x[191])),0,1),za4[243]) -> extension (support ? 1) - 1936tuples 5.28/5.33 c intension eq(if(le(227,dist(x[166],x[190])),0,1),za4[244]) -> extension (support ? 1) - 1584tuples 5.28/5.34 c intension eq(if(le(249,dist(x[168],x[180])),0,1),za4[245]) -> extension (support ? 1) - 1848tuples 5.28/5.34 c intension eq(if(le(256,dist(x[169],x[181])),0,1),za4[246]) -> extension (support ? 1) - 1848tuples 5.28/5.35 c intension eq(if(le(201,dist(x[169],x[185])),0,1),za4[247]) -> extension (support ? 1) - 1764tuples 5.28/5.36 c intension eq(if(le(102,dist(x[175],x[195])),0,1),za4[248]) -> extension (support ? 1) - 1512tuples 5.28/5.36 c intension eq(if(le(283,dist(x[180],x[183])),0,1),za4[249]) -> extension (support ? 1) - 1848tuples 5.28/5.37 c intension eq(if(le(206,dist(x[180],x[193])),0,1),za4[250]) -> extension (support ? 1) - 264tuples 5.28/5.37 c intension eq(if(le(192,dist(x[181],x[186])),0,1),za4[251]) -> extension (support ? 1) - 1936tuples 5.28/5.38 c intension eq(if(le(183,dist(x[182],x[191])),0,1),za4[252]) -> extension (support ? 1) - 1848tuples 5.28/5.39 c intension eq(if(le(202,dist(x[183],x[190])),0,1),za4[253]) -> extension (support ? 1) - 1848tuples 5.28/5.39 c intension eq(if(le(253,dist(x[184],x[193])),0,1),za4[254]) -> extension (support ? 1) - 252tuples 5.28/5.39 c intension eq(if(le(52,dist(x[191],x[195])),0,1),za4[255]) -> extension (support ? 1) - 1584tuples 5.38/5.40 c intension eq(if(le(203,dist(x[193],x[196])),0,1),za4[256]) -> extension (support ? 1) - 264tuples 5.38/5.40 c intension eq(if(le(55,dist(x[195],x[197])),0,1),za4[257]) -> extension (support ? 1) - 1584tuples 8.53/6.00 c enable optimization 8.53/6.00 c ========================================[ Problem Statistics ]=========================================== 8.53/6.00 c | 8.53/6.00 c | Parse time : 5.28 s 8.53/6.00 c | 8.53/6.00 c | Variables: 1234 8.53/6.00 c | Domain Sizes: 2..44 8.53/6.00 c | 8.53/6.00 c | Constraints: 1135 8.53/6.00 c | Arity: 2..1034 -- Binary: 100 -- Ternary: 1034 8.53/6.00 c | 8.53/6.00 c | Types: 8.53/6.00 c | Extension: 1134 (nb tuples: 6..1936) -- (shared: 232) 8.53/6.00 c | Sum: 1 8.53/6.00 c | 8.53/6.00 c | Objective: Minimize Sum 8.53/6.00 8.53/6.00 c ========================================================================================================= 8.53/6.00 c Parallel mode: Portfolio 8.53/6.00 c [pFactory][Group N°0] created (threads:8). 8.53/6.00 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 8.53/6.00 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 8.53/6.00 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 8.53/6.00 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 8.53/6.00 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 8.53/6.00 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 8.53/6.00 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 8.53/6.00 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 8.53/6.00 c [pFactory][Group N°0] concurrent mode: enabled. 8.53/6.00 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 8.53/6.00 c [pFactory][Group N°0] task 7 launched on thread 0. 8.53/6.00 c [pFactory][Group N°0] task 6 launched on thread 2. 8.53/6.00 c [pFactory][Group N°0] task 5 launched on thread 1. 8.53/6.00 c [pFactory][Group N°0] task 4 launched on thread 6. 8.53/6.00 c [pFactory][Group N°0] task 3 launched on thread 7. 8.53/6.00 c [pFactory][Group N°0] task 2 launched on thread 5. 8.53/6.00 c [pFactory][Group N°0] task 1 launched on thread 3. 8.53/6.00 c [pFactory][Group N°0] task 0 launched on thread 4. 8.53/6.00 o 4424 8.53/6.01 o 1523 13.25/6.51 o 1423 17.31/7.10 o 422 147.31/23.39 o 421 153.77/24.17 o 420 156.10/24.47 o 419 158.50/24.76 o 418 166.50/25.76 o 417 183.20/27.84 o 407 187.18/28.30 o 221 200.83/30.10 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 5. 200.83/30.10 c [pFactory][Group N°0] Thread N°0 is joined. 200.83/30.10 c [pFactory][Group N°0] Thread N°1 is joined. 200.83/30.10 c [pFactory][Group N°0] Thread N°2 is joined. 200.83/30.10 c [pFactory][Group N°0] Thread N°3 is joined. 200.83/30.10 c [pFactory][Group N°0] Thread N°4 is joined. 200.83/30.10 c [pFactory][Group N°0] Thread N°5 is joined. 200.83/30.10 c [pFactory][Group N°0] Thread N°6 is joined. 200.83/30.10 c [pFactory][Group N°0] Thread N°7 is joined. 200.83/30.10 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°1) 200.83/30.10 s OPTIMUM FOUND 200.83/30.10 c call to solver : 4 200.83/30.10 c 200.83/30.10 c restarts : 447 200.83/30.10 c conflicts : 2515 (13 /sec) 200.83/30.10 c decisions : 59806 (299 /sec) 200.83/30.10 c propagations : 1020851 (5112 /sec) 200.83/30.10 c root propagations : 122274 200.83/30.10 c filter calls : 751218 (3762 /sec) 200.83/30.10 c useless filter calls : 660344 (87 %) 200.83/30.10 c Memory used : 1284.35 MB 200.83/30.10 c Best bound time (wc) : 28.2987 s 200.83/30.10 c CPU time : 199.691 s 200.83/30.10 c real time : 30.097 s 200.83/30.10 200.83/30.10 200.83/30.10 v <instantiation type='solution' cost='221'> 200.83/30.10 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] za1[0] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[10] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[11] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[12] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[13] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[14] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[15] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[16] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[17] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[18] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[19] za1[1] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[2] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[3] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[4] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[5] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[6] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[7] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[8] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[9] za2[0] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[10] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[11] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[12] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[13] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[14] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[15] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[16] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[17] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[18] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[19] za2[1] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[20] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[21] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[22] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[23] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[24] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[25] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[26] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[27] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[28] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[29] za2[2] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[3] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[4] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[5] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[6] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[7] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[8] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[9] za3[0] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[10] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[11] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[12] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[13] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[14] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[15] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[16] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[17] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[18] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[19] za3[1] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[20] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[21] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[22] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[23] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[24] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[25] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[26] za3[270] za3[271] za3[272] za3[273] za3[27] za3[28] za3[29] za3[2] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[3] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[4] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[5] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[6] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[7] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[8] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[9] za4[0] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[10] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[11] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[12] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[13] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[14] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[15] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[16] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[17] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[18] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[19] za4[1] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[20] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[21] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[22] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[23] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[24] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[25] za4[26] za4[27] za4[28] za4[29] za4[2] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[3] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[4] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[5] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[6] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[7] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[8] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[9] </list> 200.83/30.10 v <values>58 750 512 44 282 100 338 16 254 16 254 792 792 554 128 366 16 254 142 380 666 428 554 170 408 170 408 282 44 680 442 114 352 750 680 442 100 338 240 478 554 792 750 512 512 736 498 86 324 694 456 16 254 792 554 652 778 540 666 428 128 366 778 540 722 484 414 128 366 58 296 128 366 680 442 58 296 16 114 352 792 554 652 414 16 254 694 456 254 792 554 708 470 736 498 16 254 792 554 16 16 254 240 478 72 310 16 254 16 254 254 296 722 484 240 478 666 428 722 484 764 526 792 16 254 114 352 722 484 792 554 792 554 554 694 456 680 442 114 352 722 484 680 442 72 44 282 58 296 114 352 652 414 722 484 310 44 282 652 414 792 554 72 310 764 526 240 156 394 240 478 708 470 694 456 156 394 478 100 338 16 254 128 366 792 554 16 254 170 156 394 792 554 72 310 240 478 652 414 408 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 200.83/30.10 v </instantiation> 200.83/30.10
OK 221
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 (15333 MiB free)
memory of node 1: 16384 MiB (15865 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398751-1568611017/watcher-4398751-1568611017 -o /tmp/evaluation-result-4398751-1568611017/solver-4398751-1568611017 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568598203-6097 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398751-1568611017.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8445, runsolver pid=8442
[startup+0.10016 s]*
/proc/loadavg: 8.01 6.96 6.95 2/191 8446
/proc/meminfo: memFree=31933128/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=42488 memory=18740 CPUtime=0.09 cores=0-7
/proc/8445/stat : 8445 (cosoco) R 8442 8445 6070 0 -1 4202496 4902 0 0 0 9 0 0 0 20 0 1 0 437350367 43507712 4685 33554432000 4194304 6211092 140730797412560 140730797407288 140389109373925 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 10622 4685 825 493 0 3927 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42488 KiB
Current children cumulated memory: 18740 KiB
[startup+0.209485 s]*
/proc/loadavg: 8.01 6.96 6.95 2/191 8446
/proc/meminfo: memFree=31922340/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=54052 memory=30292 CPUtime=0.21 cores=0-7
/proc/8445/stat : 8445 (cosoco) R 8442 8445 6070 0 -1 4202496 7739 0 0 0 20 1 0 0 20 0 1 0 437350367 55349248 7573 33554432000 4194304 6211092 140730797412560 140730797407288 5013917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 13513 7573 828 493 0 6818 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54052 KiB
Current children cumulated memory: 30292 KiB
[startup+0.309442 s]*
/proc/loadavg: 8.01 6.96 6.95 2/191 8446
/proc/meminfo: memFree=31911180/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=65676 memory=41492 CPUtime=0.3 cores=0-7
/proc/8445/stat : 8445 (cosoco) R 8442 8445 6070 0 -1 4202496 10582 0 0 0 29 1 0 0 20 0 1 0 437350367 67252224 10373 33554432000 4194304 6211092 140730797412560 140730797407272 5240329 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 16419 10373 828 493 0 9724 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65676 KiB
Current children cumulated memory: 41492 KiB
[startup+0.70035 s]
/proc/loadavg: 8.01 6.96 6.95 2/191 8446
/proc/meminfo: memFree=31887744/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=110844 memory=85768 CPUtime=0.69 cores=0-7
/proc/8445/stat : 8445 (cosoco) R 8442 8445 6070 0 -1 4202496 21640 0 0 0 66 3 0 0 20 0 1 0 437350367 113504256 21442 33554432000 4194304 6211092 140730797412560 140730797407272 5240329 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 27711 21442 828 493 0 21016 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 110844 KiB
Current children cumulated memory: 85768 KiB
[startup+1.50033 s]
/proc/loadavg: 7.45 6.86 6.91 2/191 8446
/proc/meminfo: memFree=31831200/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=204696 memory=177352 CPUtime=1.49 cores=0-7
/proc/8445/stat : 8445 (cosoco) R 8442 8445 6070 0 -1 4202496 44557 0 0 0 143 6 0 0 20 0 1 0 437350367 209608704 44338 33554432000 4194304 6211092 140730797412560 140730797407400 5799680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 51174 44338 828 493 0 44479 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 204696 KiB
Current children cumulated memory: 177352 KiB
[startup+3.10945 s]
/proc/loadavg: 7.45 6.86 6.91 2/192 8448
/proc/meminfo: memFree=31600012/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=393668 memory=362236 CPUtime=3.1 cores=0-7
/proc/8445/stat : 8445 (cosoco) R 8442 8445 6070 0 -1 4202496 92614 0 0 0 299 11 0 0 20 0 1 0 437350367 403116032 90559 33554432000 4194304 6211092 140730797412560 140730797407272 5453850 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 98417 90559 828 493 0 91722 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 393668 KiB
Current children cumulated memory: 362236 KiB
[startup+6.3012 s]
/proc/loadavg: 7.50 6.88 6.92 9/200 8456
/proc/meminfo: memFree=31193980/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=1347956 memory=768720 CPUtime=11.65 cores=0-7
/proc/8445/stat : 8445 (cosoco) S 8442 8445 6070 0 -1 1077944320 257708 0 0 0 1120 45 0 0 20 0 9 0 437350367 1380306944 192180 33554432000 4194304 6211092 140730797412560 140730797410816 140389125414647 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 336989 192180 876 493 0 330294 0
[pid=8445/tid=8449] ppid=8442 vsize=1347956 memory=55 CPUtime=0.76 cores=0-7
/proc/8445/task/8449/stat : 8449 (cosoco) R 8442 8445 6070 0 -1 4202560 5773 0 0 0 71 5 0 0 20 0 9 0 437350919 1380306944 192180 33554432000 4194304 6211092 140730797412560 140389102271000 5396756 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8450] ppid=8442 vsize=1347956 memory=0 CPUtime=0.76 cores=0-7
/proc/8445/task/8450/stat : 8450 (cosoco) R 8442 8445 6070 0 -1 4202560 4887 0 0 0 76 0 0 0 20 0 9 0 437350919 1380306944 192180 33554432000 4194304 6211092 140730797412560 140389093878184 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8451] ppid=8442 vsize=1347956 memory=288230574492221466 CPUtime=0.76 cores=0-7
/proc/8445/task/8451/stat : 8451 (cosoco) R 8442 8445 6070 0 -1 4202560 6478 0 0 0 72 4 0 0 20 0 9 0 437350919 1380306944 192180 33554432000 4194304 6211092 140730797412560 140389085486352 5157588 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8452] ppid=8442 vsize=1347956 memory=0 CPUtime=0.76 cores=0-7
/proc/8445/task/8452/stat : 8452 (cosoco) R 8442 8445 6070 0 -1 4202560 6130 0 0 0 76 0 0 0 20 0 9 0 437350919 1380306944 192180 33554432000 4194304 6211092 140730797412560 140389077092888 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8453] ppid=8442 vsize=1347956 memory=0 CPUtime=0.76 cores=0-7
/proc/8445/task/8453/stat : 8453 (cosoco) R 8442 8445 6070 0 -1 4202560 5896 0 0 0 72 4 0 0 20 0 9 0 437350919 1380306944 192180 33554432000 4194304 6211092 140730797412560 140389068700184 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8454] ppid=8442 vsize=1347956 memory=280190915758336 CPUtime=0.76 cores=0-7
/proc/8445/task/8454/stat : 8454 (cosoco) R 8442 8445 6070 0 -1 4202560 6903 0 0 0 76 0 0 0 20 0 9 0 437350919 1380306944 192180 33554432000 4194304 6211092 140730797412560 140389060307480 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8455] ppid=8442 vsize=1347956 memory=3467964723354452672 CPUtime=0.75 cores=0-7
/proc/8445/task/8455/stat : 8455 (cosoco) R 8442 8445 6070 0 -1 4202560 5913 0 0 0 74 1 0 0 20 0 9 0 437350919 1380306944 192180 33554432000 4194304 6211092 140730797412560 140389051914776 5155804 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8456] ppid=8442 vsize=1347956 memory=7518590701213671769 CPUtime=0.75 cores=0-7
/proc/8445/task/8456/stat : 8456 (cosoco) R 8442 8445 6070 0 -1 4202560 6548 0 0 0 71 4 0 0 20 0 9 0 437350919 1380306944 192180 33554432000 4194304 6211092 140730797412560 140389043522832 5157544 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
Current children cumulated CPU time: 11.65 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 768720 KiB
[startup+12.7012 s]
/proc/loadavg: 7.54 6.90 6.93 9/199 8456
/proc/meminfo: memFree=31155828/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=1347956 memory=795344 CPUtime=62.73 cores=0-7
/proc/8445/stat : 8445 (cosoco) S 8442 8445 6070 0 -1 1077944320 782660 0 0 0 6136 137 0 0 20 0 9 0 437350367 1380306944 198836 33554432000 4194304 6211092 140730797412560 140730797410816 140389125414647 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 336989 198836 877 493 0 330294 0
[pid=8445/tid=8449] ppid=8442 vsize=1347956 memory=794456 CPUtime=7.15 cores=0-7
/proc/8445/task/8449/stat : 8449 (cosoco) R 8442 8445 6070 0 -1 4202560 79207 0 0 0 690 25 0 0 20 0 9 0 437350919 1380306944 198836 33554432000 4194304 6211092 140730797412560 140389102271080 5039029 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8450] ppid=8442 vsize=1347956 memory=795344 CPUtime=7.15 cores=0-7
/proc/8445/task/8450/stat : 8450 (cosoco) R 8442 8445 6070 0 -1 4202560 66388 0 0 0 711 4 0 0 20 0 9 0 437350919 1380306944 198836 33554432000 4194304 6211092 140730797412560 140389093878296 5250260 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8451] ppid=8442 vsize=1347956 memory=0 CPUtime=7.15 cores=0-7
/proc/8445/task/8451/stat : 8451 (cosoco) R 8442 8445 6070 0 -1 4202560 72663 0 0 0 692 23 0 0 20 0 9 0 437350919 1380306944 198836 33554432000 4194304 6211092 140730797412560 140389085485592 5392081 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8452] ppid=8442 vsize=1347956 memory=0 CPUtime=7.16 cores=0-7
/proc/8445/task/8452/stat : 8452 (cosoco) R 8442 8445 6070 0 -1 4202560 64854 0 0 0 711 5 0 0 20 0 9 0 437350919 1380306944 198836 33554432000 4194304 6211092 140730797412560 140389077093704 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8453] ppid=8442 vsize=1347956 memory=4638778398333358952 CPUtime=7.15 cores=0-7
/proc/8445/task/8453/stat : 8453 (cosoco) R 8442 8445 6070 0 -1 4202560 74140 0 0 0 692 23 0 0 20 0 9 0 437350919 1380306944 198836 33554432000 4194304 6211092 140730797412560 140389068700184 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8454] ppid=8442 vsize=1347956 memory=4638778398333031777 CPUtime=7.16 cores=0-7
/proc/8445/task/8454/stat : 8454 (cosoco) R 8442 8445 6070 0 -1 4202560 78649 0 0 0 711 5 0 0 20 0 9 0 437350919 1380306944 198836 33554432000 4194304 6211092 140730797412560 140389060307480 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8455] ppid=8442 vsize=1347956 memory=164 CPUtime=7.06 cores=0-7
/proc/8445/task/8455/stat : 8455 (cosoco) R 8442 8445 6070 0 -1 4202560 67411 0 0 0 702 4 0 0 20 0 9 0 437350919 1380306944 198836 33554432000 4194304 6211092 140730797412560 140389051914696 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8456] ppid=8442 vsize=1347956 memory=7453282923445249900 CPUtime=7.16 cores=0-7
/proc/8445/task/8456/stat : 8456 (cosoco) R 8442 8445 6070 0 -1 4202560 70168 0 0 0 694 22 0 0 20 0 9 0 437350919 1380306944 198836 33554432000 4194304 6211092 140730797412560 140389043522072 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
Current children cumulated CPU time: 62.73 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 795344 KiB
[startup+25.5022 s]
/proc/loadavg: 7.61 6.93 6.94 9/199 8456
/proc/meminfo: memFree=31149544/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=1347956 memory=799100 CPUtime=164.89 cores=0-7
/proc/8445/stat : 8445 (cosoco) S 8442 8445 6070 0 -1 1077944320 1016397 0 0 0 16336 153 0 0 20 0 9 0 437350367 1380306944 199775 33554432000 4194304 6211092 140730797412560 140730797410816 140389125414647 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 336989 199775 877 493 0 330294 0
[pid=8445/tid=8449] ppid=8442 vsize=1347956 memory=798092 CPUtime=19.94 cores=0-7
/proc/8445/task/8449/stat : 8449 (cosoco) R 8442 8445 6070 0 -1 4202560 114886 0 0 0 1966 28 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389102271112 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8450] ppid=8442 vsize=1347956 memory=799072 CPUtime=19.95 cores=0-7
/proc/8445/task/8450/stat : 8450 (cosoco) R 8442 8445 6070 0 -1 4202560 96342 0 0 0 1989 6 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389093878216 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8451] ppid=8442 vsize=1347956 memory=799100 CPUtime=19.95 cores=0-7
/proc/8445/task/8451/stat : 8451 (cosoco) R 8442 8445 6070 0 -1 4202560 102802 0 0 0 1971 24 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389085486352 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8452] ppid=8442 vsize=1347956 memory=0 CPUtime=19.95 cores=0-7
/proc/8445/task/8452/stat : 8452 (cosoco) R 8442 8445 6070 0 -1 4202560 89815 0 0 0 1988 7 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389077092808 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8453] ppid=8442 vsize=1347956 memory=3616 CPUtime=19.94 cores=0-7
/proc/8445/task/8453/stat : 8453 (cosoco) R 8442 8445 6070 0 -1 4202560 103237 0 0 0 1970 24 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389068700184 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8454] ppid=8442 vsize=1347956 memory=799072 CPUtime=19.95 cores=0-7
/proc/8445/task/8454/stat : 8454 (cosoco) R 8442 8445 6070 0 -1 4202560 111326 0 0 0 1987 8 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389060307560 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8455] ppid=8442 vsize=1347956 memory=799072 CPUtime=19.65 cores=0-7
/proc/8445/task/8455/stat : 8455 (cosoco) R 8442 8445 6070 0 -1 4202560 93762 0 0 0 1960 5 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389051914936 5037825 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8456] ppid=8442 vsize=1347956 memory=799056 CPUtime=19.96 cores=0-7
/proc/8445/task/8456/stat : 8456 (cosoco) R 8442 8445 6070 0 -1 4202560 95047 0 0 0 1973 23 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389043522072 5155800 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
Current children cumulated CPU time: 164.89 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 799100 KiB
[startup+30.1624 s]
# the end of solver process 8445 was just reported to runsolver
# cumulated CPU time of all completed processes: user=199.692 s, system=1.715 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6032 s]
/proc/loadavg: 7.61 6.93 6.94 9/199 8456
/proc/meminfo: memFree=31149544/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=1347956 memory=799100 CPUtime=165.7 cores=0-7
/proc/8445/stat : 8445 (cosoco) S 8442 8445 6070 0 -1 1077944320 1016401 0 0 0 16417 153 0 0 20 0 9 0 437350367 1380306944 199775 33554432000 4194304 6211092 140730797412560 140730797410816 140389125414647 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 336989 199775 877 493 0 330294 0
[pid=8445/tid=8449] ppid=8442 vsize=1347956 memory=0 CPUtime=20.04 cores=0-7
/proc/8445/task/8449/stat : 8449 (cosoco) R 8442 8445 6070 0 -1 4202560 114886 0 0 0 1976 28 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389102271112 5035263 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8450] ppid=8442 vsize=1347956 memory=0 CPUtime=20.05 cores=0-7
/proc/8445/task/8450/stat : 8450 (cosoco) R 8442 8445 6070 0 -1 4202560 96343 0 0 0 1999 6 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389093878216 5250450 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8451] ppid=8442 vsize=1347956 memory=796580 CPUtime=20.05 cores=0-7
/proc/8445/task/8451/stat : 8451 (cosoco) R 8442 8445 6070 0 -1 4202560 102803 0 0 0 1981 24 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389085486352 5392081 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8452] ppid=8442 vsize=1347956 memory=1416 CPUtime=20.05 cores=0-7
/proc/8445/task/8452/stat : 8452 (cosoco) R 8442 8445 6070 0 -1 4202560 89817 0 0 0 1998 7 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389077092808 5392081 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8453] ppid=8442 vsize=1347956 memory=776 CPUtime=20.05 cores=0-7
/proc/8445/task/8453/stat : 8453 (cosoco) R 8442 8445 6070 0 -1 4202560 103237 0 0 0 1981 24 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389068700184 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8454] ppid=8442 vsize=1347956 memory=-7035114785800479027 CPUtime=20.05 cores=0-7
/proc/8445/task/8454/stat : 8454 (cosoco) R 8442 8445 6070 0 -1 4202560 111326 0 0 0 1997 8 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389060307560 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8455] ppid=8442 vsize=1347956 memory=5320 CPUtime=19.75 cores=0-7
/proc/8445/task/8455/stat : 8455 (cosoco) R 8442 8445 6070 0 -1 4202560 93762 0 0 0 1970 5 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389051914936 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8456] ppid=8442 vsize=1347956 memory=636 CPUtime=20.06 cores=0-7
/proc/8445/task/8456/stat : 8456 (cosoco) R 8442 8445 6070 0 -1 4202560 95047 0 0 0 1983 23 0 0 20 0 9 0 437350919 1380306944 199775 33554432000 4194304 6211092 140730797412560 140389043522072 5037744 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
Current children cumulated CPU time: 165.7 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 799100 KiB
[startup+27.2012 s]
/proc/loadavg: 7.64 6.95 6.94 9/199 8456
/proc/meminfo: memFree=31145888/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=1347956 memory=799464 CPUtime=178.4 cores=0-7
/proc/8445/stat : 8445 (cosoco) S 8442 8445 6070 0 -1 1077944320 1055894 0 0 0 17683 157 0 0 20 0 9 0 437350367 1380306944 199866 33554432000 4194304 6211092 140730797412560 140730797410816 140389125414647 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 336989 199866 877 493 0 330294 0
[pid=8445/tid=8449] ppid=8442 vsize=1347956 memory=500 CPUtime=21.63 cores=0-7
/proc/8445/task/8449/stat : 8449 (cosoco) R 8442 8445 6070 0 -1 4202560 118899 0 0 0 2135 28 0 0 20 0 9 0 437350919 1380306944 199866 33554432000 4194304 6211092 140730797412560 140389102271112 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8450] ppid=8442 vsize=1347956 memory=-7035114785800479027 CPUtime=21.65 cores=0-7
/proc/8445/task/8450/stat : 8450 (cosoco) R 8442 8445 6070 0 -1 4202560 101301 0 0 0 2158 7 0 0 20 0 9 0 437350919 1380306944 199866 33554432000 4194304 6211092 140730797412560 140389093878296 5155800 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8451] ppid=8442 vsize=1347956 memory=988 CPUtime=21.64 cores=0-7
/proc/8445/task/8451/stat : 8451 (cosoco) R 8442 8445 6070 0 -1 4202560 107786 0 0 0 2139 25 0 0 20 0 9 0 437350919 1380306944 199866 33554432000 4194304 6211092 140730797412560 140389085486352 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8452] ppid=8442 vsize=1347956 memory=2024 CPUtime=21.64 cores=0-7
/proc/8445/task/8452/stat : 8452 (cosoco) R 8442 8445 6070 0 -1 4202560 96516 0 0 0 2157 7 0 0 20 0 9 0 437350919 1380306944 199866 33554432000 4194304 6211092 140730797412560 140389077092808 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8453] ppid=8442 vsize=1347956 memory=1416 CPUtime=21.65 cores=0-7
/proc/8445/task/8453/stat : 8453 (cosoco) R 8442 8445 6070 0 -1 4202560 106858 0 0 0 2140 25 0 0 20 0 9 0 437350919 1380306944 199866 33554432000 4194304 6211092 140730797412560 140389068700184 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8454] ppid=8442 vsize=1347956 memory=776 CPUtime=21.65 cores=0-7
/proc/8445/task/8454/stat : 8454 (cosoco) R 8442 8445 6070 0 -1 4202560 116535 0 0 0 2156 9 0 0 20 0 9 0 437350919 1380306944 199866 33554432000 4194304 6211092 140730797412560 140389060307560 5396750 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8455] ppid=8442 vsize=1347956 memory=799072 CPUtime=21.32 cores=0-7
/proc/8445/task/8455/stat : 8455 (cosoco) R 8442 8445 6070 0 -1 4202560 99196 0 0 0 2126 6 0 0 20 0 9 0 437350919 1380306944 199866 33554432000 4194304 6211092 140730797412560 140389051914936 5035263 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8456] ppid=8442 vsize=1347956 memory=799072 CPUtime=21.65 cores=0-7
/proc/8445/task/8456/stat : 8456 (cosoco) R 8442 8445 6070 0 -1 4202560 99623 0 0 0 2141 24 0 0 20 0 9 0 437350919 1380306944 199866 33554432000 4194304 6211092 140730797412560 140389043522072 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
Current children cumulated CPU time: 178.4 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 799464 KiB
[startup+28.8012 s]
/proc/loadavg: 7.64 6.95 6.94 9/199 8456
/proc/meminfo: memFree=31147668/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=1347956 memory=800440 CPUtime=191.18 cores=0-7
/proc/8445/stat : 8445 (cosoco) S 8442 8445 6070 0 -1 1077944320 1114380 0 0 0 18957 161 0 0 20 0 9 0 437350367 1380306944 200110 33554432000 4194304 6211092 140730797412560 140730797410816 140389125414647 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 336989 200110 877 493 0 330294 0
[pid=8445/tid=8449] ppid=8442 vsize=1347956 memory=1448 CPUtime=23.23 cores=0-7
/proc/8445/task/8449/stat : 8449 (cosoco) R 8442 8445 6070 0 -1 4202560 127218 0 0 0 2294 29 0 0 20 0 9 0 437350919 1380306944 200110 33554432000 4194304 6211092 140730797412560 140389102271112 5039323 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8450] ppid=8442 vsize=1347956 memory=3616 CPUtime=23.25 cores=0-7
/proc/8445/task/8450/stat : 8450 (cosoco) R 8442 8445 6070 0 -1 4202560 107677 0 0 0 2318 7 0 0 20 0 9 0 437350919 1380306944 200110 33554432000 4194304 6211092 140730797412560 140389093878296 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8451] ppid=8442 vsize=1347956 memory=45332 CPUtime=23.24 cores=0-7
/proc/8445/task/8451/stat : 8451 (cosoco) R 8442 8445 6070 0 -1 4202560 115855 0 0 0 2299 25 0 0 20 0 9 0 437350919 1380306944 200110 33554432000 4194304 6211092 140730797412560 140389085486352 5396750 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8452] ppid=8442 vsize=1347956 memory=988 CPUtime=23.25 cores=0-7
/proc/8445/task/8452/stat : 8452 (cosoco) R 8442 8445 6070 0 -1 4202560 102087 0 0 0 2317 8 0 0 20 0 9 0 437350919 1380306944 200110 33554432000 4194304 6211092 140730797412560 140389077092808 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8453] ppid=8442 vsize=1347956 memory=2024 CPUtime=23.25 cores=0-7
/proc/8445/task/8453/stat : 8453 (cosoco) R 8442 8445 6070 0 -1 4202560 114021 0 0 0 2299 26 0 0 20 0 9 0 437350919 1380306944 200110 33554432000 4194304 6211092 140730797412560 140389068700184 5250298 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8454] ppid=8442 vsize=1347956 memory=1416 CPUtime=23.25 cores=0-7
/proc/8445/task/8454/stat : 8454 (cosoco) R 8442 8445 6070 0 -1 4202560 123132 0 0 0 2315 10 0 0 20 0 9 0 437350919 1380306944 200110 33554432000 4194304 6211092 140730797412560 140389060307400 5039007 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8455] ppid=8442 vsize=1347956 memory=776 CPUtime=22.9 cores=0-7
/proc/8445/task/8455/stat : 8455 (cosoco) R 8442 8445 6070 0 -1 4202560 104268 0 0 0 2284 6 0 0 20 0 9 0 437350919 1380306944 200110 33554432000 4194304 6211092 140730797412560 140389051914936 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8456] ppid=8442 vsize=1347956 memory=799548 CPUtime=23.25 cores=0-7
/proc/8445/task/8456/stat : 8456 (cosoco) R 8442 8445 6070 0 -1 4202560 110942 0 0 0 2300 25 0 0 20 0 9 0 437350919 1380306944 200110 33554432000 4194304 6211092 140730797412560 140389043522832 5155804 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
Current children cumulated CPU time: 191.18 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 800440 KiB
[startup+29.6012 s]
/proc/loadavg: 7.64 6.95 6.94 9/199 8456
/proc/meminfo: memFree=31147556/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=1347956 memory=800508 CPUtime=197.57 cores=0-7
/proc/8445/stat : 8445 (cosoco) S 8442 8445 6070 0 -1 1077944320 1164448 0 0 0 19592 165 0 0 20 0 9 0 437350367 1380306944 200127 33554432000 4194304 6211092 140730797412560 140730797410816 140389125414647 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 336989 200127 877 493 0 330294 0
[pid=8445/tid=8449] ppid=8442 vsize=1347956 memory=988 CPUtime=24.03 cores=0-7
/proc/8445/task/8449/stat : 8449 (cosoco) R 8442 8445 6070 0 -1 4202560 133627 0 0 0 2374 29 0 0 20 0 9 0 437350919 1380306944 200127 33554432000 4194304 6211092 140730797412560 140389102271112 5035278 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8450] ppid=8442 vsize=1347956 memory=2024 CPUtime=24.04 cores=0-7
/proc/8445/task/8450/stat : 8450 (cosoco) R 8442 8445 6070 0 -1 4202560 111434 0 0 0 2397 7 0 0 20 0 9 0 437350919 1380306944 200127 33554432000 4194304 6211092 140730797412560 140389093878296 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8451] ppid=8442 vsize=1347956 memory=1416 CPUtime=24.03 cores=0-7
/proc/8445/task/8451/stat : 8451 (cosoco) R 8442 8445 6070 0 -1 4202560 123416 0 0 0 2378 25 0 0 20 0 9 0 437350919 1380306944 200127 33554432000 4194304 6211092 140730797412560 140389085486352 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8452] ppid=8442 vsize=1347956 memory=-7035114785800479027 CPUtime=24.04 cores=0-7
/proc/8445/task/8452/stat : 8452 (cosoco) R 8442 8445 6070 0 -1 4202560 107349 0 0 0 2396 8 0 0 20 0 9 0 437350919 1380306944 200127 33554432000 4194304 6211092 140730797412560 140389077092808 5157540 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8453] ppid=8442 vsize=1347956 memory=-7035114785800479027 CPUtime=24.05 cores=0-7
/proc/8445/task/8453/stat : 8453 (cosoco) R 8442 8445 6070 0 -1 4202560 123284 0 0 0 2378 27 0 0 20 0 9 0 437350919 1380306944 200127 33554432000 4194304 6211092 140730797412560 140389068700184 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8454] ppid=8442 vsize=1347956 memory=7245577201579234449 CPUtime=24.04 cores=0-7
/proc/8445/task/8454/stat : 8454 (cosoco) R 8442 8445 6070 0 -1 4202560 128257 0 0 0 2394 10 0 0 20 0 9 0 437350919 1380306944 200127 33554432000 4194304 6211092 140730797412560 140389060307400 5038964 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8455] ppid=8442 vsize=1347956 memory=-8253362762721355408 CPUtime=23.69 cores=0-7
/proc/8445/task/8455/stat : 8455 (cosoco) R 8442 8445 6070 0 -1 4202560 110131 0 0 0 2363 6 0 0 20 0 9 0 437350919 1380306944 200127 33554432000 4194304 6211092 140730797412560 140389051914936 5039070 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8456] ppid=8442 vsize=1347956 memory=776 CPUtime=24.04 cores=0-7
/proc/8445/task/8456/stat : 8456 (cosoco) R 8442 8445 6070 0 -1 4202560 117770 0 0 0 2379 25 0 0 20 0 9 0 437350919 1380306944 200127 33554432000 4194304 6211092 140730797412560 140389043522832 5158000 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
Current children cumulated CPU time: 197.57 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 800508 KiB
[startup+30.0012 s]*
/proc/loadavg: 7.64 6.95 6.94 9/199 8456
/proc/meminfo: memFree=31147692/32770624 swapFree=67001580/67108860
[pid=8445] ppid=8442 vsize=1347956 memory=800516 CPUtime=200.83 cores=0-7
/proc/8445/stat : 8445 (cosoco) S 8442 8445 6070 0 -1 1077944320 1167368 0 0 0 19918 165 0 0 20 0 9 0 437350367 1380306944 200129 33554432000 4194304 6211092 140730797412560 140730797410816 140389125414647 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
/proc/8445/statm: 336989 200129 877 493 0 330294 0
[pid=8445/tid=8449] ppid=8442 vsize=1347956 memory=-7035114785800479027 CPUtime=24.44 cores=0-7
/proc/8445/task/8449/stat : 8449 (cosoco) R 8442 8445 6070 0 -1 4202560 134454 0 0 0 2415 29 0 0 20 0 9 0 437350919 1380306944 200129 33554432000 4194304 6211092 140730797412560 140389102271112 5396756 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8450] ppid=8442 vsize=1347956 memory=4126316290023845779 CPUtime=24.45 cores=0-7
/proc/8445/task/8450/stat : 8450 (cosoco) R 8442 8445 6070 0 -1 4202560 112775 0 0 0 2438 7 0 0 20 0 9 0 437350919 1380306944 200129 33554432000 4194304 6211092 140730797412560 140389093878296 140389109373365 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8451] ppid=8442 vsize=1347956 memory=1408 CPUtime=24.44 cores=0-7
/proc/8445/task/8451/stat : 8451 (cosoco) R 8442 8445 6070 0 -1 4202560 124093 0 0 0 2419 25 0 0 20 0 9 0 437350919 1380306944 200129 33554432000 4194304 6211092 140730797412560 140389085486352 5392081 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8452] ppid=8442 vsize=1347956 memory=2520 CPUtime=24.45 cores=0-7
/proc/8445/task/8452/stat : 8452 (cosoco) R 8442 8445 6070 0 -1 4202560 107360 0 0 0 2437 8 0 0 20 0 9 0 437350919 1380306944 200129 33554432000 4194304 6211092 140730797412560 140389077092808 5035270 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8453] ppid=8442 vsize=1347956 memory=12040 CPUtime=24.46 cores=0-7
/proc/8445/task/8453/stat : 8453 (cosoco) R 8442 8445 6070 0 -1 4202560 123285 0 0 0 2419 27 0 0 20 0 9 0 437350919 1380306944 200129 33554432000 4194304 6211092 140730797412560 140389068700184 5035263 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8454] ppid=8442 vsize=1347956 memory=2120 CPUtime=24.45 cores=0-7
/proc/8445/task/8454/stat : 8454 (cosoco) R 8442 8445 6070 0 -1 4202560 128292 0 0 0 2435 10 0 0 20 0 9 0 437350919 1380306944 200129 33554432000 4194304 6211092 140730797412560 140389060307400 5158194 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8455] ppid=8442 vsize=1347956 memory=24444 CPUtime=24.08 cores=0-7
/proc/8445/task/8455/stat : 8455 (cosoco) R 8442 8445 6070 0 -1 4202560 110159 0 0 0 2402 6 0 0 20 0 9 0 437350919 1380306944 200129 33554432000 4194304 6211092 140730797412560 140389051914936 5392081 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
[pid=8445/tid=8456] ppid=8442 vsize=1347956 memory=1556 CPUtime=24.45 cores=0-7
/proc/8445/task/8456/stat : 8456 (cosoco) R 8442 8445 6070 0 -1 4202560 117771 0 0 0 2420 25 0 0 20 0 9 0 437350919 1380306944 200129 33554432000 4194304 6211092 140730797412560 140389043522832 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140730797421590 140730797421682 140730797421682 140730797424590 0
Current children cumulated CPU time: 200.83 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 800516 KiB
[startup+30.1102 s]*
/proc/loadavg: 7.64 6.95 6.94 2/191 8456
/proc/meminfo: memFree=31278300/32770624 swapFree=67001580/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 30.1625
CPU time (s): 201.407
CPU user time (s): 199.692
CPU system time (s): 1.715
CPU usage (%): 667.74
Max. virtual memory (cumulated for all children) (KiB): 1348220
Max. memory (cumulated for all children) (KiB): 800516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.692
system time used= 1.715
maximum resident set size= 800880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1173362
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= 2440
involuntary context switches= 1820
# summary of solver processes directly reported to runsolver:
# pid: 8445
# total CPU time (s): 201.407
# total CPU user time (s): 199.692
# total CPU system time (s): 1.715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.200911 second user time and 0.353595 second system time
The end
Begin job on node136 at 2019-09-16 07:16:13 IDJOB=4398751 IDBENCH=141204 IDSOLVER=2852 FILE ID=node136/4398751-1568611017 RUNJOBID= node136-1568598203-6097 PBS_JOBID= 21703420 Free space on /tmp= 61172 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398751-1568611017/watcher-4398751-1568611017 -o /tmp/evaluation-result-4398751-1568611017/solver-4398751-1568611017 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568598203-6097 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398751-1568611017.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1 RANDOM SEED=1567574340 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31947460 kB MemAvailable: 31910800 kB Buffers: 18684 kB Cached: 237800 kB SwapCached: 3448 kB Active: 50676 kB Inactive: 210144 kB Active(anon): 2716 kB Inactive(anon): 50436 kB Active(file): 47960 kB Inactive(file): 159708 kB Unevictable: 109740 kB Mlocked: 109740 kB SwapTotal: 67108860 kB SwapFree: 67001580 kB Dirty: 2724 kB Writeback: 32 kB AnonPages: 112140 kB Mapped: 45952 kB Shmem: 40200 kB Slab: 154644 kB SReclaimable: 125432 kB SUnreclaim: 29212 kB KernelStack: 3408 kB PageTables: 5700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507364 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61168 MiB End job on node136 at 2019-09-16 07:16:43