Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | OPT | 221 | 527.748 | 71.1473 |
| 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-4410011-1569832867.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.03 c intension -> extension : same as previous 0.00/0.03 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.04 c intension -> extension : same as previous 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 -> extension : same as previous 0.00/0.04 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.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 -> extension : same as previous 0.00/0.06 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.07 c intension -> extension : same as previous 0.00/0.07 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.09 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.10 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.18 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.20 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.21/0.22 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.24 c intension eq(if(le(239,dist(x[22],x[27])),0,1000),za1[23]) -> extension (support ? 1) - 216tuples 0.21/0.24 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.25 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.26 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.27 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.28 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.29 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.30 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.30/0.32 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.33 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.36 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.37 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.39 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.40 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.40/0.42 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.43 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.44 c intension eq(if(le(225,dist(x[55],x[58])),0,1000),za1[62]) -> extension (support ? 1) - 1584tuples 0.40/0.45 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.46 c intension eq(if(le(186,dist(x[151],x[55])),0,1000),za1[65]) -> extension (support ? 1) - 1848tuples 0.40/0.47 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.48 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.49 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.50 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.51 c intension eq(if(le(241,dist(x[59],x[86])),0,1000),za1[74]) -> extension (support ? 1) - 1584tuples 0.51/0.51 c intension eq(if(le(67,dist(x[59],x[87])),0,1000),za1[75]) -> extension (support ? 1) - 1584tuples 0.51/0.52 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.53 c intension eq(if(le(42,dist(x[167],x[59])),0,1000),za1[78]) -> extension (support ? 1) - 1296tuples 0.51/0.54 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.55 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.56 c intension eq(if(le(171,dist(x[159],x[67])),0,1000),za1[83]) -> extension (support ? 1) - 1296tuples 0.51/0.57 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.58 c intension eq(if(le(81,dist(x[72],x[78])),0,1000),za1[86]) -> extension (support ? 1) - 264tuples 0.51/0.58 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.59 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.60 c intension eq(if(le(182,dist(x[174],x[75])),0,1000),za1[91]) -> extension (support ? 1) - 1764tuples 0.59/0.61 c intension eq(if(le(94,dist(x[180],x[76])),0,1000),za1[92]) -> extension (support ? 1) - 1848tuples 0.59/0.61 c intension eq(if(le(42,dist(x[184],x[76])),0,1000),za1[93]) -> extension (support ? 1) - 1764tuples 0.59/0.62 c intension eq(if(le(290,dist(x[114],x[77])),0,1000),za1[94]) -> extension (support ? 1) - 1848tuples 0.59/0.63 c intension eq(if(le(199,dist(x[115],x[77])),0,1000),za1[95]) -> extension (support ? 1) - 1848tuples 0.59/0.64 c intension eq(if(le(137,dist(x[196],x[78])),0,1000),za1[96]) -> extension (support ? 1) - 1936tuples 0.59/0.64 c intension eq(if(le(138,dist(x[198],x[78])),0,1000),za1[97]) -> extension (support ? 1) - 1936tuples 0.59/0.65 c intension eq(if(le(140,dist(x[197],x[79])),0,1000),za1[98]) -> extension (support ? 1) - 1936tuples 0.59/0.66 c intension eq(if(le(285,dist(x[184],x[83])),0,1000),za1[99]) -> extension (support ? 1) - 924tuples 0.59/0.66 c intension eq(if(le(238,dist(x[157],x[84])),0,1000),za1[100]) -> extension (support ? 1) - 1848tuples 0.59/0.67 c intension eq(if(le(9,dist(x[186],x[84])),0,1000),za1[101]) -> extension (support ? 1) - 1936tuples 0.59/0.67 c intension eq(if(le(173,dist(x[151],x[85])),0,1000),za1[102]) -> extension (support ? 1) - 1848tuples 0.59/0.68 c intension eq(if(le(243,dist(x[134],x[86])),0,1000),za1[103]) -> extension (support ? 1) - 264tuples 0.59/0.68 c intension eq(if(le(445,dist(x[190],x[86])),0,1000),za1[104]) -> extension (support ? 1) - 1936tuples 0.59/0.69 c intension eq(if(le(497,dist(x[191],x[86])),0,1000),za1[105]) -> extension (support ? 1) - 1936tuples 0.59/0.69 c intension eq(if(le(175,dist(x[134],x[87])),0,1000),za1[106]) -> extension (support ? 1) - 264tuples 0.69/0.70 c intension eq(if(le(72,dist(x[135],x[87])),0,1000),za1[107]) -> extension (support ? 1) - 264tuples 0.69/0.70 c intension eq(if(le(11,dist(x[151],x[87])),0,1000),za1[108]) -> extension (support ? 1) - 1848tuples 0.69/0.71 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.72 c intension eq(if(le(436,dist(x[179],x[88])),0,1000),za1[111]) -> extension (support ? 1) - 1848tuples 0.69/0.73 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.74 c intension eq(if(le(294,dist(x[104],x[91])),0,1000),za1[114]) -> extension (support ? 1) - 1584tuples 0.69/0.75 c intension eq(if(le(263,dist(x[133],x[94])),0,1000),za1[115]) -> extension (support ? 1) - 1296tuples 0.69/0.75 c intension eq(if(le(55,dist(x[160],x[94])),0,1000),za1[116]) -> extension (support ? 1) - 792tuples 0.69/0.75 c intension eq(if(le(294,dist(x[161],x[94])),0,1000),za1[117]) -> extension (support ? 1) - 792tuples 0.69/0.76 c intension eq(if(le(53,dist(x[161],x[95])),0,1000),za1[118]) -> extension (support ? 1) - 792tuples 0.69/0.76 c intension eq(if(le(144,dist(x[184],x[95])),0,1000),za1[119]) -> extension (support ? 1) - 1512tuples 0.69/0.77 c intension eq(if(le(245,dist(x[148],x[96])),0,1000),za1[120]) -> extension (support ? 1) - 264tuples 0.69/0.77 c intension eq(if(le(199,dist(x[158],x[96])),0,1000),za1[121]) -> extension (support ? 1) - 216tuples 0.69/0.77 c intension eq(if(le(268,dist(x[100],x[97])),0,1000),za1[122]) -> extension (support ? 1) - 264tuples 0.69/0.77 c intension eq(if(le(255,dist(x[104],x[97])),0,1000),za1[123]) -> extension (support ? 1) - 216tuples 0.69/0.77 c intension eq(if(le(6,dist(x[159],x[97])),0,1000),za1[124]) -> extension (support ? 1) - 216tuples 0.69/0.78 c intension eq(if(le(284,dist(x[155],x[98])),0,1000),za1[125]) -> extension (support ? 1) - 1848tuples 0.69/0.78 c intension eq(if(le(174,dist(x[101],x[105])),0,1000),za1[126]) -> extension (support ? 1) - 1584tuples 0.69/0.79 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.79/0.80 c intension eq(if(le(39,dist(x[103],x[143])),0,1000),za1[129]) -> extension (support ? 1) - 1584tuples 0.79/0.81 c intension eq(if(le(211,dist(x[105],x[149])),0,1000),za1[130]) -> extension (support ? 1) - 1584tuples 0.79/0.81 c intension eq(if(le(103,dist(x[105],x[158])),0,1000),za1[131]) -> extension (support ? 1) - 1296tuples 0.79/0.82 c intension eq(if(le(245,dist(x[106],x[145])),0,1000),za1[132]) -> extension (support ? 1) - 1008tuples 0.79/0.82 c intension eq(if(le(306,dist(x[108],x[143])),0,1000),za1[133]) -> extension (support ? 1) - 1936tuples 0.79/0.83 c intension eq(if(le(200,dist(x[108],x[183])),0,1000),za1[134]) -> extension (support ? 1) - 1848tuples 0.79/0.84 c intension eq(if(le(188,dist(x[109],x[131])),0,1000),za1[135]) -> extension (support ? 1) - 1936tuples 0.79/0.84 c intension eq(if(le(146,dist(x[114],x[193])),0,1000),za1[136]) -> extension (support ? 1) - 264tuples 0.79/0.84 c intension eq(if(le(226,dist(x[116],x[179])),0,1000),za1[137]) -> extension (support ? 1) - 1512tuples 0.79/0.85 c intension eq(if(le(194,dist(x[118],x[186])),0,1000),za1[138]) -> extension (support ? 1) - 1936tuples 0.79/0.86 c intension eq(if(le(110,dist(x[118],x[189])),0,1000),za1[139]) -> extension (support ? 1) - 1936tuples 0.79/0.86 c intension eq(if(le(109,dist(x[120],x[124])),0,1000),za1[140]) -> extension (support ? 1) - 252tuples 0.79/0.86 c intension eq(if(le(180,dist(x[120],x[174])),0,1000),za1[141]) -> extension (support ? 1) - 252tuples 0.79/0.87 c intension eq(if(le(369,dist(x[122],x[137])),0,1000),za1[142]) -> extension (support ? 1) - 252tuples 0.79/0.87 c intension eq(if(le(12,dist(x[124],x[194])),0,1000),za1[143]) -> extension (support ? 1) - 1512tuples 0.79/0.88 c intension eq(if(le(425,dist(x[126],x[147])),0,1000),za1[144]) -> extension (support ? 1) - 1584tuples 0.79/0.88 c intension eq(if(le(224,dist(x[127],x[146])),0,1000),za1[145]) -> extension (support ? 1) - 1584tuples 0.79/0.89 c intension eq(if(le(222,dist(x[128],x[130])),0,1000),za1[146]) -> extension (support ? 1) - 1584tuples 0.79/0.89 c intension eq(if(le(136,dist(x[128],x[131])),0,1000),za1[147]) -> extension (support ? 1) - 1584tuples 0.89/0.90 c intension eq(if(le(205,dist(x[128],x[143])),0,1000),za1[148]) -> extension (support ? 1) - 1584tuples 0.89/0.91 c intension eq(if(le(262,dist(x[129],x[142])),0,1000),za1[149]) -> extension (support ? 1) - 1584tuples 0.89/0.91 c intension eq(if(le(103,dist(x[129],x[145])),0,1000),za1[150]) -> extension (support ? 1) - 1512tuples 0.89/0.92 c intension eq(if(le(162,dist(x[131],x[164])),0,1000),za1[151]) -> extension (support ? 1) - 1936tuples 0.89/0.92 c intension eq(if(le(39,dist(x[132],x[162])),0,1000),za1[152]) -> extension (support ? 1) - 1512tuples 0.89/0.93 c intension eq(if(le(191,dist(x[132],x[163])),0,1000),za1[153]) -> extension (support ? 1) - 1512tuples 0.89/0.94 c intension eq(if(le(37,dist(x[132],x[168])),0,1000),za1[154]) -> extension (support ? 1) - 1512tuples 0.89/0.94 c intension eq(if(le(251,dist(x[132],x[185])),0,1000),za1[155]) -> extension (support ? 1) - 1512tuples 0.89/0.95 c intension eq(if(le(23,dist(x[133],x[161])),0,1000),za1[156]) -> extension (support ? 1) - 792tuples 0.89/0.95 c intension eq(if(le(275,dist(x[133],x[168])),0,1000),za1[157]) -> extension (support ? 1) - 1512tuples 0.89/0.96 c intension eq(if(le(214,dist(x[133],x[181])),0,1000),za1[158]) -> extension (support ? 1) - 1584tuples 0.89/0.96 c intension eq(if(le(106,dist(x[134],x[150])),0,1000),za1[159]) -> extension (support ? 1) - 252tuples 0.89/0.96 c intension eq(if(le(295,dist(x[134],x[157])),0,1000),za1[160]) -> extension (support ? 1) - 252tuples 0.89/0.96 c intension eq(if(le(224,dist(x[134],x[190])),0,1000),za1[161]) -> extension (support ? 1) - 264tuples 0.89/0.97 c intension eq(if(le(57,dist(x[135],x[151])),0,1000),za1[162]) -> extension (support ? 1) - 252tuples 0.89/0.97 c intension eq(if(le(296,dist(x[135],x[164])),0,1000),za1[163]) -> extension (support ? 1) - 264tuples 0.89/0.97 c intension eq(if(le(199,dist(x[135],x[166])),0,1000),za1[164]) -> extension (support ? 1) - 216tuples 0.89/0.97 c intension eq(if(le(23,dist(x[139],x[157])),0,1000),za1[165]) -> extension (support ? 1) - 1848tuples 0.89/0.98 c intension eq(if(le(37,dist(x[139],x[173])),0,1000),za1[166]) -> extension (support ? 1) - 1936tuples 0.89/0.99 c intension eq(if(le(194,dist(x[141],x[170])),0,1000),za1[167]) -> extension (support ? 1) - 1764tuples 0.89/0.99 c intension eq(if(le(111,dist(x[146],x[160])),0,1000),za1[168]) -> extension (support ? 1) - 968tuples 0.89/1.00 c intension eq(if(le(280,dist(x[146],x[161])),0,1000),za1[169]) -> extension (support ? 1) - 968tuples 0.89/1.00 c intension eq(if(le(167,dist(x[149],x[158])),0,1000),za1[170]) -> extension (support ? 1) - 1584tuples 1.00/1.01 c intension eq(if(le(237,dist(x[150],x[165])),0,1000),za1[171]) -> extension (support ? 1) - 1848tuples 1.00/1.01 c intension eq(if(le(65,dist(x[150],x[182])),0,1000),za1[172]) -> extension (support ? 1) - 1764tuples 1.00/1.02 c intension eq(if(le(66,dist(x[151],x[183])),0,1000),za1[173]) -> extension (support ? 1) - 1764tuples 1.00/1.03 c intension eq(if(le(257,dist(x[151],x[190])),0,1000),za1[174]) -> extension (support ? 1) - 1848tuples 1.00/1.03 c intension eq(if(le(223,dist(x[153],x[174])),0,1000),za1[175]) -> extension (support ? 1) - 1848tuples 1.00/1.04 c intension eq(if(le(284,dist(x[157],x[191])),0,1000),za1[176]) -> extension (support ? 1) - 1848tuples 1.00/1.05 c intension eq(if(le(136,dist(x[158],x[168])),0,1000),za1[177]) -> extension (support ? 1) - 1512tuples 1.00/1.05 c intension eq(if(le(249,dist(x[160],x[185])),0,1000),za1[178]) -> extension (support ? 1) - 924tuples 1.00/1.06 c intension eq(if(le(111,dist(x[161],x[193])),0,1000),za1[179]) -> extension (support ? 1) - 132tuples 1.00/1.06 c intension eq(if(le(109,dist(x[164],x[190])),0,1000),za1[180]) -> extension (support ? 1) - 1936tuples 1.00/1.07 c intension eq(if(le(99,dist(x[165],x[183])),0,1000),za1[181]) -> extension (support ? 1) - 1848tuples 1.00/1.07 c intension eq(if(le(23,dist(x[166],x[182])),0,1000),za1[182]) -> extension (support ? 1) - 1512tuples 1.00/1.08 c intension eq(if(le(120,dist(x[166],x[191])),0,1000),za1[183]) -> extension (support ? 1) - 1584tuples 1.00/1.08 c intension eq(if(le(263,dist(x[167],x[182])),0,1000),za1[184]) -> extension (support ? 1) - 1512tuples 1.00/1.09 c intension eq(if(le(24,dist(x[167],x[183])),0,1000),za1[185]) -> extension (support ? 1) - 1512tuples 1.00/1.10 c intension eq(if(le(238,dist(x[167],x[190])),0,1000),za1[186]) -> extension (support ? 1) - 1584tuples 1.00/1.10 c intension eq(if(le(271,dist(x[168],x[185])),0,1000),za1[187]) -> extension (support ? 1) - 1764tuples 1.10/1.11 c intension eq(if(le(179,dist(x[168],x[192])),0,1000),za1[188]) -> extension (support ? 1) - 252tuples 1.10/1.11 c intension eq(if(le(277,dist(x[169],x[190])),0,1000),za1[189]) -> extension (support ? 1) - 1848tuples 1.10/1.12 c intension eq(if(le(309,dist(x[177],x[188])),0,1000),za1[190]) -> extension (support ? 1) - 1056tuples 1.10/1.12 c intension eq(if(le(84,dist(x[180],x[182])),0,1000),za1[191]) -> extension (support ? 1) - 1848tuples 1.10/1.13 c intension eq(if(le(52,dist(x[180],x[184])),0,1000),za1[192]) -> extension (support ? 1) - 1848tuples 1.10/1.14 c intension eq(if(le(290,dist(x[180],x[185])),0,1000),za1[193]) -> extension (support ? 1) - 1848tuples 1.10/1.14 c intension eq(if(le(200,dist(x[181],x[187])),0,1000),za1[194]) -> extension (support ? 1) - 1936tuples 1.10/1.15 c intension eq(if(le(138,dist(x[182],x[190])),0,1000),za1[195]) -> extension (support ? 1) - 1848tuples 1.10/1.16 c intension eq(if(le(158,dist(x[0],x[40])),0,100),za2[0]) -> extension (support ? 1) - 1764tuples 1.10/1.16 c intension eq(if(le(69,dist(x[0],x[112])),0,100),za2[1]) -> extension (support ? 1) - 1848tuples 1.10/1.17 c intension eq(if(le(196,dist(x[0],x[199])),0,100),za2[2]) -> extension (support ? 1) - 1848tuples 1.10/1.18 c intension eq(if(le(134,dist(x[1],x[36])),0,100),za2[3]) -> extension (support ? 1) - 1848tuples 1.10/1.18 c intension eq(if(le(192,dist(x[1],x[42])),0,100),za2[4]) -> extension (support ? 1) - 1512tuples 1.10/1.19 c intension eq(if(le(144,dist(x[1],x[43])),0,100),za2[5]) -> extension (support ? 1) - 1512tuples 1.19/1.20 c intension eq(if(le(52,dist(x[1],x[45])),0,100),za2[6]) -> extension (support ? 1) - 1848tuples 1.19/1.20 c intension eq(if(le(52,dist(x[1],x[72])),0,100),za2[7]) -> extension (support ? 1) - 252tuples 1.19/1.20 c intension eq(if(le(181,dist(x[2],x[8])),0,100),za2[8]) -> extension (support ? 1) - 264tuples 1.19/1.20 c intension eq(if(le(110,dist(x[2],x[9])),0,100),za2[9]) -> extension (support ? 1) - 264tuples 1.19/1.21 c intension eq(if(le(134,dist(x[2],x[35])),0,100),za2[10]) -> extension (support ? 1) - 1936tuples 1.19/1.21 c intension eq(if(le(27,dist(x[2],x[68])),0,100),za2[11]) -> extension (support ? 1) - 1584tuples 1.19/1.22 c intension eq(if(le(195,dist(x[12],x[3])),0,100),za2[12]) -> extension (support ? 1) - 1936tuples 1.19/1.23 c intension eq(if(le(168,dist(x[34],x[3])),0,100),za2[13]) -> extension (support ? 1) - 1936tuples 1.19/1.23 c intension eq(if(le(277,dist(x[4],x[7])),0,100),za2[14]) -> extension (support ? 1) - 132tuples 1.19/1.24 c intension eq(if(le(142,dist(x[24],x[4])),0,100),za2[15]) -> extension (support ? 1) - 968tuples 1.19/1.24 c intension eq(if(le(182,dist(x[25],x[4])),0,100),za2[16]) -> extension (support ? 1) - 968tuples 1.19/1.24 c intension eq(if(le(69,dist(x[5],x[6])),0,100),za2[17]) -> extension (support ? 1) - 132tuples 1.19/1.24 c intension eq(if(le(163,dist(x[5],x[7])),0,100),za2[18]) -> extension (support ? 1) - 132tuples 1.19/1.25 c intension eq(if(le(116,dist(x[119],x[5])),0,100),za2[19]) -> extension (support ? 1) - 968tuples 1.19/1.25 c intension eq(if(le(234,dist(x[27],x[8])),0,100),za2[20]) -> extension (support ? 1) - 216tuples 1.19/1.25 c intension eq(if(le(243,dist(x[62],x[9])),0,100),za2[21]) -> extension (support ? 1) - 252tuples 1.19/1.25 c intension eq(if(le(289,dist(x[186],x[9])),0,100),za2[22]) -> extension (support ? 1) - 264tuples 1.19/1.26 c intension eq(if(le(121,dist(x[10],x[24])),0,100),za2[23]) -> extension (support ? 1) - 1936tuples 1.19/1.26 c intension eq(if(le(80,dist(x[10],x[74])),0,100),za2[24]) -> extension (support ? 1) - 1848tuples 1.19/1.27 c intension eq(if(le(143,dist(x[11],x[22])),0,100),za2[25]) -> extension (support ? 1) - 264tuples 1.19/1.27 c intension eq(if(le(69,dist(x[11],x[27])),0,100),za2[26]) -> extension (support ? 1) - 1584tuples 1.19/1.28 c intension eq(if(le(82,dist(x[11],x[75])),0,100),za2[27]) -> extension (support ? 1) - 1848tuples 1.19/1.28 c intension eq(if(le(145,dist(x[11],x[121])),0,100),za2[28]) -> extension (support ? 1) - 264tuples 1.19/1.29 c intension eq(if(le(134,dist(x[12],x[61])),0,100),za2[29]) -> extension (support ? 1) - 1584tuples 1.19/1.29 c intension eq(if(le(12,dist(x[13],x[69])),0,100),za2[30]) -> extension (support ? 1) - 1584tuples 1.29/1.30 c intension eq(if(le(93,dist(x[14],x[37])),0,100),za2[31]) -> extension (support ? 1) - 1848tuples 1.29/1.30 c intension eq(if(le(173,dist(x[14],x[73])),0,100),za2[32]) -> extension (support ? 1) - 252tuples 1.29/1.31 c intension eq(if(le(257,dist(x[15],x[78])),0,100),za2[33]) -> extension (support ? 1) - 1848tuples 1.29/1.31 c intension eq(if(le(232,dist(x[15],x[198])),0,100),za2[34]) -> extension (support ? 1) - 1848tuples 1.29/1.32 c intension eq(if(le(155,dist(x[15],x[199])),0,100),za2[35]) -> extension (support ? 1) - 1848tuples 1.29/1.33 c intension eq(if(le(158,dist(x[16],x[21])),0,100),za2[36]) -> extension (support ? 1) - 792tuples 1.29/1.33 c intension eq(if(le(84,dist(x[16],x[80])),0,100),za2[37]) -> extension (support ? 1) - 792tuples 1.29/1.33 c intension eq(if(le(346,dist(x[16],x[93])),0,100),za2[38]) -> extension (support ? 1) - 968tuples 1.29/1.34 c intension eq(if(le(140,dist(x[17],x[32])),0,100),za2[39]) -> extension (support ? 1) - 968tuples 1.29/1.34 c intension eq(if(le(269,dist(x[18],x[42])),0,100),za2[40]) -> extension (support ? 1) - 1584tuples 1.29/1.35 c intension eq(if(le(120,dist(x[18],x[91])),0,100),za2[41]) -> extension (support ? 1) - 1936tuples 1.29/1.35 c intension eq(if(le(224,dist(x[18],x[96])),0,100),za2[42]) -> extension (support ? 1) - 264tuples 1.29/1.36 c intension eq(if(le(83,dist(x[104],x[18])),0,100),za2[43]) -> extension (support ? 1) - 1584tuples 1.29/1.36 c intension eq(if(le(277,dist(x[105],x[18])),0,100),za2[44]) -> extension (support ? 1) - 1584tuples 1.29/1.37 c intension eq(if(le(365,dist(x[149],x[18])),0,100),za2[45]) -> extension (support ? 1) - 1936tuples 1.29/1.38 c intension eq(if(le(107,dist(x[19],x[48])),0,100),za2[46]) -> extension (support ? 1) - 1584tuples 1.29/1.38 c intension eq(if(le(181,dist(x[19],x[66])),0,100),za2[47]) -> extension (support ? 1) - 1584tuples 1.29/1.39 c intension eq(if(le(96,dist(x[19],x[90])),0,100),za2[48]) -> extension (support ? 1) - 1936tuples 1.29/1.39 c intension eq(if(le(150,dist(x[104],x[19])),0,100),za2[49]) -> extension (support ? 1) - 1584tuples 1.39/1.40 c intension eq(if(le(385,dist(x[148],x[19])),0,100),za2[50]) -> extension (support ? 1) - 1936tuples 1.39/1.41 c intension eq(if(le(197,dist(x[158],x[19])),0,100),za2[51]) -> extension (support ? 1) - 1584tuples 1.39/1.41 c intension eq(if(le(223,dist(x[20],x[54])),0,100),za2[52]) -> extension (support ? 1) - 1584tuples 1.39/1.42 c intension eq(if(le(254,dist(x[186],x[21])),0,100),za2[53]) -> extension (support ? 1) - 1584tuples 1.39/1.42 c intension eq(if(le(463,dist(x[22],x[74])),0,100),za2[54]) -> extension (support ? 1) - 252tuples 1.39/1.43 c intension eq(if(le(116,dist(x[126],x[22])),0,100),za2[55]) -> extension (support ? 1) - 216tuples 1.39/1.43 c intension eq(if(le(103,dist(x[144],x[22])),0,100),za2[56]) -> extension (support ? 1) - 252tuples 1.39/1.43 c intension eq(if(le(222,dist(x[146],x[22])),0,100),za2[57]) -> extension (support ? 1) - 264tuples 1.39/1.43 c intension eq(if(le(10,dist(x[147],x[22])),0,100),za2[58]) -> extension (support ? 1) - 264tuples 1.39/1.43 c intension eq(if(le(185,dist(x[23],x[24])),0,100),za2[59]) -> extension (support ? 1) - 264tuples 1.39/1.43 c intension eq(if(le(50,dist(x[23],x[25])),0,100),za2[60]) -> extension (support ? 1) - 264tuples 1.39/1.44 c intension eq(if(le(240,dist(x[23],x[26])),0,100),za2[61]) -> extension (support ? 1) - 216tuples 1.39/1.44 c intension eq(if(le(6,dist(x[23],x[27])),0,100),za2[62]) -> extension (support ? 1) - 216tuples 1.39/1.44 c intension eq(if(le(68,dist(x[121],x[23])),0,100),za2[63]) -> extension (support ? 1) - 36tuples 1.39/1.44 c intension eq(if(le(197,dist(x[126],x[23])),0,100),za2[64]) -> extension (support ? 1) - 216tuples 1.39/1.44 c intension eq(if(le(36,dist(x[127],x[23])),0,100),za2[65]) -> extension (support ? 1) - 216tuples 1.39/1.44 c intension eq(if(le(261,dist(x[146],x[23])),0,100),za2[66]) -> extension (support ? 1) - 264tuples 1.39/1.44 c intension eq(if(le(223,dist(x[147],x[23])),0,100),za2[67]) -> extension (support ? 1) - 264tuples 1.39/1.45 c intension eq(if(le(52,dist(x[24],x[26])),0,100),za2[68]) -> extension (support ? 1) - 1584tuples 1.39/1.45 c intension eq(if(le(39,dist(x[24],x[74])),0,100),za2[69]) -> extension (support ? 1) - 1848tuples 1.39/1.46 c intension eq(if(le(192,dist(x[24],x[75])),0,100),za2[70]) -> extension (support ? 1) - 1848tuples 1.39/1.47 c intension eq(if(le(203,dist(x[120],x[24])),0,100),za2[71]) -> extension (support ? 1) - 264tuples 1.39/1.47 c intension eq(if(le(210,dist(x[145],x[24])),0,100),za2[72]) -> extension (support ? 1) - 1848tuples 1.39/1.48 c intension eq(if(le(11,dist(x[174],x[24])),0,100),za2[73]) -> extension (support ? 1) - 1848tuples 1.39/1.48 c intension eq(if(le(290,dist(x[25],x[26])),0,100),za2[74]) -> extension (support ? 1) - 1584tuples 1.39/1.49 c intension eq(if(le(256,dist(x[120],x[25])),0,100),za2[75]) -> extension (support ? 1) - 264tuples 1.39/1.49 c intension eq(if(le(252,dist(x[126],x[25])),0,100),za2[76]) -> extension (support ? 1) - 1584tuples 1.49/1.50 c intension eq(if(le(221,dist(x[174],x[25])),0,100),za2[77]) -> extension (support ? 1) - 1848tuples 1.49/1.50 c intension eq(if(le(110,dist(x[120],x[26])),0,100),za2[78]) -> extension (support ? 1) - 216tuples 1.49/1.50 c intension eq(if(le(41,dist(x[126],x[26])),0,100),za2[79]) -> extension (support ? 1) - 1296tuples 1.49/1.51 c intension eq(if(le(9,dist(x[27],x[75])),0,100),za2[80]) -> extension (support ? 1) - 1512tuples 1.49/1.51 c intension eq(if(le(195,dist(x[120],x[27])),0,100),za2[81]) -> extension (support ? 1) - 216tuples 1.49/1.52 c intension eq(if(le(156,dist(x[28],x[80])),0,100),za2[82]) -> extension (support ? 1) - 1296tuples 1.49/1.52 c intension eq(if(le(10,dist(x[136],x[28])),0,100),za2[83]) -> extension (support ? 1) - 1512tuples 1.49/1.53 c intension eq(if(le(201,dist(x[31],x[77])),0,100),za2[84]) -> extension (support ? 1) - 1848tuples 1.49/1.54 c intension eq(if(le(277,dist(x[32],x[91])),0,100),za2[85]) -> extension (support ? 1) - 1936tuples 1.49/1.54 c intension eq(if(le(144,dist(x[140],x[32])),0,100),za2[86]) -> extension (support ? 1) - 1848tuples 1.49/1.55 c intension eq(if(le(235,dist(x[171],x[32])),0,100),za2[87]) -> extension (support ? 1) - 1848tuples 1.49/1.56 c intension eq(if(le(299,dist(x[140],x[33])),0,100),za2[88]) -> extension (support ? 1) - 1848tuples 1.49/1.56 c intension eq(if(le(137,dist(x[36],x[56])),0,100),za2[89]) -> extension (support ? 1) - 1848tuples 1.49/1.57 c intension eq(if(le(93,dist(x[37],x[41])),0,100),za2[90]) -> extension (support ? 1) - 1848tuples 1.49/1.58 c intension eq(if(le(263,dist(x[38],x[61])),0,100),za2[91]) -> extension (support ? 1) - 1584tuples 1.49/1.58 c intension eq(if(le(207,dist(x[102],x[39])),0,100),za2[92]) -> extension (support ? 1) - 1584tuples 1.49/1.59 c intension eq(if(le(338,dist(x[41],x[44])),0,100),za2[93]) -> extension (support ? 1) - 1848tuples 1.49/1.59 c intension eq(if(le(19,dist(x[41],x[73])),0,100),za2[94]) -> extension (support ? 1) - 252tuples 1.59/1.60 c intension eq(if(le(126,dist(x[149],x[42])),0,100),za2[95]) -> extension (support ? 1) - 1584tuples 1.59/1.60 c intension eq(if(le(68,dist(x[101],x[43])),0,100),za2[96]) -> extension (support ? 1) - 1584tuples 1.59/1.61 c intension eq(if(le(129,dist(x[104],x[43])),0,100),za2[97]) -> extension (support ? 1) - 1296tuples 1.59/1.61 c intension eq(if(le(182,dist(x[148],x[43])),0,100),za2[98]) -> extension (support ? 1) - 1584tuples 1.59/1.62 c intension eq(if(le(12,dist(x[44],x[84])),0,100),za2[99]) -> extension (support ? 1) - 1936tuples 1.59/1.63 c intension eq(if(le(107,dist(x[45],x[72])),0,100),za2[100]) -> extension (support ? 1) - 264tuples 1.59/1.63 c intension eq(if(le(128,dist(x[46],x[50])),0,100),za2[101]) -> extension (support ? 1) - 1296tuples 1.59/1.63 c intension eq(if(le(66,dist(x[47],x[99])),0,100),za2[102]) -> extension (support ? 1) - 1512tuples 1.59/1.64 c intension eq(if(le(195,dist(x[122],x[48])),0,100),za2[103]) -> extension (support ? 1) - 216tuples 1.59/1.64 c intension eq(if(le(107,dist(x[125],x[48])),0,100),za2[104]) -> extension (support ? 1) - 1512tuples 1.59/1.65 c intension eq(if(le(153,dist(x[133],x[48])),0,100),za2[105]) -> extension (support ? 1) - 1296tuples 1.59/1.65 c intension eq(if(le(290,dist(x[114],x[49])),0,100),za2[106]) -> extension (support ? 1) - 1584tuples 1.59/1.66 c intension eq(if(le(183,dist(x[115],x[49])),0,100),za2[107]) -> extension (support ? 1) - 1584tuples 1.59/1.66 c intension eq(if(le(79,dist(x[154],x[50])),0,100),za2[108]) -> extension (support ? 1) - 1584tuples 1.59/1.67 c intension eq(if(le(268,dist(x[51],x[65])),0,100),za2[109]) -> extension (support ? 1) - 1584tuples 1.59/1.68 c intension eq(if(le(41,dist(x[53],x[89])),0,100),za2[110]) -> extension (support ? 1) - 1848tuples 1.59/1.68 c intension eq(if(le(55,dist(x[53],x[96])),0,100),za2[111]) -> extension (support ? 1) - 252tuples 1.59/1.69 c intension eq(if(le(153,dist(x[116],x[53])),0,100),za2[112]) -> extension (support ? 1) - 1512tuples 1.59/1.69 c intension eq(if(le(139,dist(x[54],x[86])),0,100),za2[113]) -> extension (support ? 1) - 1936tuples 1.68/1.70 c intension eq(if(le(272,dist(x[144],x[54])),0,100),za2[114]) -> extension (support ? 1) - 1848tuples 1.68/1.71 c intension eq(if(le(167,dist(x[150],x[54])),0,100),za2[115]) -> extension (support ? 1) - 1848tuples 1.68/1.71 c intension eq(if(le(139,dist(x[191],x[54])),0,100),za2[116]) -> extension (support ? 1) - 1936tuples 1.68/1.72 c intension eq(if(le(219,dist(x[164],x[55])),0,100),za2[117]) -> extension (support ? 1) - 1936tuples 1.68/1.73 c intension eq(if(le(235,dist(x[166],x[55])),0,100),za2[118]) -> extension (support ? 1) - 1584tuples 1.68/1.73 c intension eq(if(le(217,dist(x[190],x[55])),0,100),za2[119]) -> extension (support ? 1) - 1936tuples 1.68/1.74 c intension eq(if(le(97,dist(x[191],x[55])),0,100),za2[120]) -> extension (support ? 1) - 1936tuples 1.68/1.75 c intension eq(if(le(269,dist(x[109],x[56])),0,100),za2[121]) -> extension (support ? 1) - 1848tuples 1.68/1.75 c intension eq(if(le(124,dist(x[156],x[56])),0,100),za2[122]) -> extension (support ? 1) - 1764tuples 1.68/1.76 c intension eq(if(le(216,dist(x[162],x[57])),0,100),za2[123]) -> extension (support ? 1) - 1764tuples 1.68/1.77 c intension eq(if(le(164,dist(x[58],x[87])),0,100),za2[124]) -> extension (support ? 1) - 1584tuples 1.68/1.77 c intension eq(if(le(51,dist(x[150],x[58])),0,100),za2[125]) -> extension (support ? 1) - 1512tuples 1.68/1.78 c intension eq(if(le(105,dist(x[161],x[58])),0,100),za2[126]) -> extension (support ? 1) - 792tuples 1.68/1.78 c intension eq(if(le(37,dist(x[166],x[58])),0,100),za2[127]) -> extension (support ? 1) - 1296tuples 1.68/1.79 c intension eq(if(le(172,dist(x[191],x[58])),0,100),za2[128]) -> extension (support ? 1) - 1584tuples 1.68/1.79 c intension eq(if(le(239,dist(x[134],x[59])),0,100),za2[129]) -> extension (support ? 1) - 216tuples 1.68/1.80 c intension eq(if(le(116,dist(x[165],x[59])),0,100),za2[130]) -> extension (support ? 1) - 1584tuples 1.79/1.80 c intension eq(if(le(191,dist(x[166],x[59])),0,100),za2[131]) -> extension (support ? 1) - 1296tuples 1.79/1.81 c intension eq(if(le(101,dist(x[62],x[84])),0,100),za2[132]) -> extension (support ? 1) - 1848tuples 1.79/1.81 c intension eq(if(le(79,dist(x[183],x[65])),0,100),za2[133]) -> extension (support ? 1) - 1848tuples 1.79/1.82 c intension eq(if(le(219,dist(x[66],x[91])),0,100),za2[134]) -> extension (support ? 1) - 1584tuples 1.79/1.82 c intension eq(if(le(165,dist(x[66],x[96])),0,100),za2[135]) -> extension (support ? 1) - 216tuples 1.79/1.83 c intension eq(if(le(207,dist(x[66],x[98])),0,100),za2[136]) -> extension (support ? 1) - 1512tuples 1.79/1.83 c intension eq(if(le(25,dist(x[104],x[66])),0,100),za2[137]) -> extension (support ? 1) - 1296tuples 1.79/1.84 c intension eq(if(le(478,dist(x[149],x[66])),0,100),za2[138]) -> extension (support ? 1) - 1584tuples 1.79/1.84 c intension eq(if(le(145,dist(x[159],x[66])),0,100),za2[139]) -> extension (support ? 1) - 1296tuples 1.79/1.85 c intension eq(if(le(149,dist(x[67],x[90])),0,100),za2[140]) -> extension (support ? 1) - 1584tuples 1.79/1.85 c intension eq(if(le(69,dist(x[67],x[96])),0,100),za2[141]) -> extension (support ? 1) - 216tuples 1.79/1.85 c intension eq(if(le(166,dist(x[67],x[97])),0,100),za2[142]) -> extension (support ? 1) - 216tuples 1.79/1.86 c intension eq(if(le(437,dist(x[100],x[67])),0,100),za2[143]) -> extension (support ? 1) - 1584tuples 1.79/1.86 c intension eq(if(le(199,dist(x[101],x[67])),0,100),za2[144]) -> extension (support ? 1) - 1584tuples 1.79/1.87 c intension eq(if(le(115,dist(x[148],x[67])),0,100),za2[145]) -> extension (support ? 1) - 1584tuples 1.79/1.88 c intension eq(if(le(121,dist(x[158],x[67])),0,100),za2[146]) -> extension (support ? 1) - 1296tuples 1.79/1.88 c intension eq(if(le(128,dist(x[106],x[70])),0,100),za2[147]) -> extension (support ? 1) - 1008tuples 1.79/1.89 c intension eq(if(le(167,dist(x[157],x[70])),0,100),za2[148]) -> extension (support ? 1) - 1764tuples 1.79/1.89 c intension eq(if(le(23,dist(x[126],x[74])),0,100),za2[149]) -> extension (support ? 1) - 1512tuples 1.89/1.90 c intension eq(if(le(264,dist(x[127],x[74])),0,100),za2[150]) -> extension (support ? 1) - 1512tuples 1.89/1.90 c intension eq(if(le(110,dist(x[146],x[74])),0,100),za2[151]) -> extension (support ? 1) - 1848tuples 1.89/1.91 c intension eq(if(le(213,dist(x[147],x[74])),0,100),za2[152]) -> extension (support ? 1) - 1848tuples 1.89/1.92 c intension eq(if(le(106,dist(x[76],x[94])),0,100),za2[153]) -> extension (support ? 1) - 1512tuples 1.89/1.92 c intension eq(if(le(137,dist(x[76],x[95])),0,100),za2[154]) -> extension (support ? 1) - 1512tuples 1.89/1.93 c intension eq(if(le(248,dist(x[114],x[76])),0,100),za2[155]) -> extension (support ? 1) - 1848tuples 1.89/1.94 c intension eq(if(le(120,dist(x[133],x[76])),0,100),za2[156]) -> extension (support ? 1) - 1512tuples 1.89/1.94 c intension eq(if(le(142,dist(x[169],x[76])),0,100),za2[157]) -> extension (support ? 1) - 1764tuples 1.89/1.95 c intension eq(if(le(189,dist(x[192],x[76])),0,100),za2[158]) -> extension (support ? 1) - 252tuples 1.89/1.95 c intension eq(if(le(213,dist(x[193],x[76])),0,100),za2[159]) -> extension (support ? 1) - 252tuples 1.89/1.95 c intension eq(if(le(117,dist(x[132],x[77])),0,100),za2[160]) -> extension (support ? 1) - 1512tuples 1.89/1.96 c intension eq(if(le(180,dist(x[168],x[77])),0,100),za2[161]) -> extension (support ? 1) - 1764tuples 1.89/1.96 c intension eq(if(le(159,dist(x[169],x[77])),0,100),za2[162]) -> extension (support ? 1) - 1764tuples 1.89/1.97 c intension eq(if(le(94,dist(x[181],x[77])),0,100),za2[163]) -> extension (support ? 1) - 1848tuples 1.89/1.98 c intension eq(if(le(11,dist(x[183],x[77])),0,100),za2[164]) -> extension (support ? 1) - 1764tuples 1.89/1.98 c intension eq(if(le(97,dist(x[199],x[78])),0,100),za2[165]) -> extension (support ? 1) - 1936tuples 1.89/1.99 c intension eq(if(le(214,dist(x[135],x[80])),0,100),za2[166]) -> extension (support ? 1) - 216tuples 1.89/1.99 c intension eq(if(le(205,dist(x[195],x[80])),0,100),za2[167]) -> extension (support ? 1) - 1296tuples 1.89/2.00 c intension eq(if(le(536,dist(x[118],x[84])),0,100),za2[168]) -> extension (support ? 1) - 1936tuples 2.00/2.01 c intension eq(if(le(127,dist(x[156],x[84])),0,100),za2[169]) -> extension (support ? 1) - 1848tuples 2.00/2.02 c intension eq(if(le(188,dist(x[189],x[84])),0,100),za2[170]) -> extension (support ? 1) - 1936tuples 2.00/2.02 c intension eq(if(le(117,dist(x[150],x[85])),0,100),za2[171]) -> extension (support ? 1) - 1848tuples 2.00/2.03 c intension eq(if(le(13,dist(x[150],x[86])),0,100),za2[172]) -> extension (support ? 1) - 1848tuples 2.00/2.04 c intension eq(if(le(113,dist(x[164],x[86])),0,100),za2[173]) -> extension (support ? 1) - 1936tuples 2.00/2.04 c intension eq(if(le(224,dist(x[150],x[87])),0,100),za2[174]) -> extension (support ? 1) - 1848tuples 2.00/2.05 c intension eq(if(le(183,dist(x[165],x[87])),0,100),za2[175]) -> extension (support ? 1) - 1936tuples 2.00/2.06 c intension eq(if(le(152,dist(x[182],x[87])),0,100),za2[176]) -> extension (support ? 1) - 1848tuples 2.00/2.06 c intension eq(if(le(81,dist(x[183],x[87])),0,100),za2[177]) -> extension (support ? 1) - 1848tuples 2.00/2.07 c intension eq(if(le(470,dist(x[191],x[87])),0,100),za2[178]) -> extension (support ? 1) - 1936tuples 2.00/2.08 c intension eq(if(le(121,dist(x[117],x[89])),0,100),za2[179]) -> extension (support ? 1) - 1584tuples 2.00/2.08 c intension eq(if(le(81,dist(x[90],x[96])),0,100),za2[180]) -> extension (support ? 1) - 264tuples 2.00/2.08 c intension eq(if(le(263,dist(x[90],x[97])),0,100),za2[181]) -> extension (support ? 1) - 264tuples 2.00/2.09 c intension eq(if(le(229,dist(x[158],x[90])),0,100),za2[182]) -> extension (support ? 1) - 1584tuples 2.00/2.09 c intension eq(if(le(154,dist(x[91],x[96])),0,100),za2[183]) -> extension (support ? 1) - 264tuples 2.00/2.10 c intension eq(if(le(141,dist(x[100],x[91])),0,100),za2[184]) -> extension (support ? 1) - 1936tuples 2.00/2.10 c intension eq(if(le(115,dist(x[101],x[91])),0,100),za2[185]) -> extension (support ? 1) - 1936tuples 2.10/2.11 c intension eq(if(le(53,dist(x[105],x[91])),0,100),za2[186]) -> extension (support ? 1) - 1584tuples 2.10/2.12 c intension eq(if(le(240,dist(x[148],x[91])),0,100),za2[187]) -> extension (support ? 1) - 1936tuples 2.10/2.12 c intension eq(if(le(295,dist(x[158],x[91])),0,100),za2[188]) -> extension (support ? 1) - 1584tuples 2.10/2.13 c intension eq(if(le(86,dist(x[159],x[91])),0,100),za2[189]) -> extension (support ? 1) - 1584tuples 2.10/2.14 c intension eq(if(le(10,dist(x[136],x[92])),0,100),za2[190]) -> extension (support ? 1) - 1848tuples 2.10/2.14 c intension eq(if(le(54,dist(x[114],x[94])),0,100),za2[191]) -> extension (support ? 1) - 1584tuples 2.10/2.15 c intension eq(if(le(196,dist(x[184],x[94])),0,100),za2[192]) -> extension (support ? 1) - 1512tuples 2.10/2.15 c intension eq(if(le(208,dist(x[132],x[95])),0,100),za2[193]) -> extension (support ? 1) - 1296tuples 2.10/2.16 c intension eq(if(le(25,dist(x[133],x[95])),0,100),za2[194]) -> extension (support ? 1) - 1296tuples 2.10/2.16 c intension eq(if(le(188,dist(x[185],x[95])),0,100),za2[195]) -> extension (support ? 1) - 1512tuples 2.10/2.17 c intension eq(if(le(68,dist(x[192],x[95])),0,100),za2[196]) -> extension (support ? 1) - 216tuples 2.10/2.17 c intension eq(if(le(271,dist(x[100],x[96])),0,100),za2[197]) -> extension (support ? 1) - 264tuples 2.10/2.17 c intension eq(if(le(96,dist(x[105],x[96])),0,100),za2[198]) -> extension (support ? 1) - 216tuples 2.10/2.17 c intension eq(if(le(230,dist(x[149],x[96])),0,100),za2[199]) -> extension (support ? 1) - 264tuples 2.10/2.17 c intension eq(if(le(135,dist(x[105],x[97])),0,100),za2[200]) -> extension (support ? 1) - 216tuples 2.10/2.18 c intension eq(if(le(268,dist(x[117],x[98])),0,100),za2[201]) -> extension (support ? 1) - 1512tuples 2.10/2.18 c intension eq(if(le(171,dist(x[192],x[99])),0,100),za2[202]) -> extension (support ? 1) - 252tuples 2.10/2.18 c intension eq(if(le(61,dist(x[193],x[99])),0,100),za2[203]) -> extension (support ? 1) - 252tuples 2.10/2.19 c intension eq(if(le(192,dist(x[100],x[149])),0,100),za2[204]) -> extension (support ? 1) - 1936tuples 2.10/2.19 c intension eq(if(le(25,dist(x[100],x[158])),0,100),za2[205]) -> extension (support ? 1) - 1584tuples 2.19/2.20 c intension eq(if(le(409,dist(x[101],x[104])),0,100),za2[206]) -> extension (support ? 1) - 1584tuples 2.19/2.21 c intension eq(if(le(39,dist(x[101],x[149])),0,100),za2[207]) -> extension (support ? 1) - 1936tuples 2.19/2.21 c intension eq(if(le(207,dist(x[101],x[158])),0,100),za2[208]) -> extension (support ? 1) - 1584tuples 2.19/2.22 c intension eq(if(le(125,dist(x[102],x[144])),0,100),za2[209]) -> extension (support ? 1) - 1512tuples 2.19/2.22 c intension eq(if(le(219,dist(x[103],x[106])),0,100),za2[210]) -> extension (support ? 1) - 864tuples 2.19/2.23 c intension eq(if(le(536,dist(x[104],x[148])),0,100),za2[211]) -> extension (support ? 1) - 1584tuples 2.19/2.23 c intension eq(if(le(146,dist(x[104],x[149])),0,100),za2[212]) -> extension (support ? 1) - 1584tuples 2.19/2.24 c intension eq(if(le(250,dist(x[104],x[158])),0,100),za2[213]) -> extension (support ? 1) - 1296tuples 2.19/2.24 c intension eq(if(le(279,dist(x[106],x[111])),0,100),za2[214]) -> extension (support ? 1) - 1056tuples 2.19/2.25 c intension eq(if(le(238,dist(x[106],x[144])),0,100),za2[215]) -> extension (support ? 1) - 1008tuples 2.19/2.25 c intension eq(if(le(203,dist(x[108],x[182])),0,100),za2[216]) -> extension (support ? 1) - 1848tuples 2.19/2.26 c intension eq(if(le(126,dist(x[110],x[152])),0,100),za2[217]) -> extension (support ? 1) - 1936tuples 2.19/2.27 c intension eq(if(le(55,dist(x[111],x[141])),0,100),za2[218]) -> extension (support ? 1) - 1848tuples 2.19/2.28 c intension eq(if(le(42,dist(x[114],x[162])),0,100),za2[219]) -> extension (support ? 1) - 1848tuples 2.19/2.28 c intension eq(if(le(278,dist(x[114],x[169])),0,100),za2[220]) -> extension (support ? 1) - 1848tuples 2.19/2.29 c intension eq(if(le(535,dist(x[114],x[180])),0,100),za2[221]) -> extension (support ? 1) - 1936tuples 2.29/2.30 c intension eq(if(le(395,dist(x[114],x[181])),0,100),za2[222]) -> extension (support ? 1) - 1936tuples 2.29/2.31 c intension eq(if(le(533,dist(x[114],x[184])),0,100),za2[223]) -> extension (support ? 1) - 1848tuples 2.29/2.31 c intension eq(if(le(42,dist(x[115],x[169])),0,100),za2[224]) -> extension (support ? 1) - 1848tuples 2.29/2.32 c intension eq(if(le(492,dist(x[115],x[180])),0,100),za2[225]) -> extension (support ? 1) - 1936tuples 2.29/2.33 c intension eq(if(le(400,dist(x[115],x[181])),0,100),za2[226]) -> extension (support ? 1) - 1936tuples 2.29/2.33 c intension eq(if(le(120,dist(x[115],x[184])),0,100),za2[227]) -> extension (support ? 1) - 1848tuples 2.29/2.34 c intension eq(if(le(242,dist(x[115],x[185])),0,100),za2[228]) -> extension (support ? 1) - 1848tuples 2.29/2.35 c intension eq(if(le(221,dist(x[115],x[193])),0,100),za2[229]) -> extension (support ? 1) - 264tuples 2.29/2.35 c intension eq(if(le(207,dist(x[118],x[176])),0,100),za2[230]) -> extension (support ? 1) - 1056tuples 2.29/2.35 c intension eq(if(le(149,dist(x[121],x[147])),0,100),za2[231]) -> extension (support ? 1) - 264tuples 2.29/2.35 c intension eq(if(le(244,dist(x[121],x[174])),0,100),za2[232]) -> extension (support ? 1) - 252tuples 2.29/2.35 c intension eq(if(le(6,dist(x[121],x[175])),0,100),za2[233]) -> extension (support ? 1) - 252tuples 2.29/2.36 c intension eq(if(le(200,dist(x[123],x[132])),0,100),za2[234]) -> extension (support ? 1) - 216tuples 2.29/2.36 c intension eq(if(le(66,dist(x[123],x[133])),0,100),za2[235]) -> extension (support ? 1) - 216tuples 2.29/2.36 c intension eq(if(le(482,dist(x[125],x[136])),0,100),za2[236]) -> extension (support ? 1) - 1764tuples 2.29/2.37 c intension eq(if(le(164,dist(x[126],x[133])),0,100),za2[237]) -> extension (support ? 1) - 1296tuples 2.29/2.37 c intension eq(if(le(119,dist(x[126],x[146])),0,100),za2[238]) -> extension (support ? 1) - 1584tuples 2.29/2.38 c intension eq(if(le(261,dist(x[126],x[175])),0,100),za2[239]) -> extension (support ? 1) - 1512tuples 2.29/2.38 c intension eq(if(le(207,dist(x[127],x[174])),0,100),za2[240]) -> extension (support ? 1) - 1512tuples 2.29/2.39 c intension eq(if(le(125,dist(x[128],x[156])),0,100),za2[241]) -> extension (support ? 1) - 1512tuples 2.39/2.40 c intension eq(if(le(87,dist(x[129],x[131])),0,100),za2[242]) -> extension (support ? 1) - 1584tuples 2.39/2.40 c intension eq(if(le(74,dist(x[131],x[165])),0,100),za2[243]) -> extension (support ? 1) - 1936tuples 2.39/2.41 c intension eq(if(le(26,dist(x[132],x[160])),0,100),za2[244]) -> extension (support ? 1) - 792tuples 2.39/2.41 c intension eq(if(le(263,dist(x[132],x[161])),0,100),za2[245]) -> extension (support ? 1) - 792tuples 2.39/2.42 c intension eq(if(le(191,dist(x[132],x[169])),0,100),za2[246]) -> extension (support ? 1) - 1512tuples 2.39/2.42 c intension eq(if(le(118,dist(x[132],x[180])),0,100),za2[247]) -> extension (support ? 1) - 1584tuples 2.39/2.43 c intension eq(if(le(453,dist(x[132],x[181])),0,100),za2[248]) -> extension (support ? 1) - 1584tuples 2.39/2.43 c intension eq(if(le(209,dist(x[133],x[160])),0,100),za2[249]) -> extension (support ? 1) - 792tuples 2.39/2.44 c intension eq(if(le(40,dist(x[133],x[169])),0,100),za2[250]) -> extension (support ? 1) - 1512tuples 2.39/2.44 c intension eq(if(le(452,dist(x[133],x[180])),0,100),za2[251]) -> extension (support ? 1) - 1584tuples 2.39/2.45 c intension eq(if(le(270,dist(x[133],x[184])),0,100),za2[252]) -> extension (support ? 1) - 1512tuples 2.39/2.45 c intension eq(if(le(112,dist(x[134],x[164])),0,100),za2[253]) -> extension (support ? 1) - 264tuples 2.39/2.46 c intension eq(if(le(196,dist(x[134],x[166])),0,100),za2[254]) -> extension (support ? 1) - 216tuples 2.39/2.46 c intension eq(if(le(110,dist(x[134],x[182])),0,100),za2[255]) -> extension (support ? 1) - 252tuples 2.39/2.46 c intension eq(if(le(225,dist(x[134],x[183])),0,100),za2[256]) -> extension (support ? 1) - 252tuples 2.39/2.46 c intension eq(if(le(3,dist(x[135],x[183])),0,100),za2[257]) -> extension (support ? 1) - 252tuples 2.39/2.46 c intension eq(if(le(178,dist(x[135],x[190])),0,100),za2[258]) -> extension (support ? 1) - 264tuples 2.39/2.46 c intension eq(if(le(224,dist(x[135],x[191])),0,100),za2[259]) -> extension (support ? 1) - 264tuples 2.39/2.47 c intension eq(if(le(65,dist(x[140],x[152])),0,100),za2[260]) -> extension (support ? 1) - 1848tuples 2.39/2.47 c intension eq(if(le(39,dist(x[141],x[171])),0,100),za2[261]) -> extension (support ? 1) - 1764tuples 2.39/2.48 c intension eq(if(le(23,dist(x[142],x[162])),0,100),za2[262]) -> extension (support ? 1) - 1848tuples 2.39/2.49 c intension eq(if(le(96,dist(x[144],x[188])),0,100),za2[263]) -> extension (support ? 1) - 1848tuples 2.39/2.49 c intension eq(if(le(153,dist(x[150],x[164])),0,100),za2[264]) -> extension (support ? 1) - 1848tuples 2.49/2.50 c intension eq(if(le(98,dist(x[150],x[166])),0,100),za2[265]) -> extension (support ? 1) - 1512tuples 2.49/2.51 c intension eq(if(le(193,dist(x[150],x[183])),0,100),za2[266]) -> extension (support ? 1) - 1764tuples 2.49/2.51 c intension eq(if(le(270,dist(x[150],x[191])),0,100),za2[267]) -> extension (support ? 1) - 1848tuples 2.49/2.52 c intension eq(if(le(183,dist(x[150],x[197])),0,100),za2[268]) -> extension (support ? 1) - 1848tuples 2.49/2.53 c intension eq(if(le(172,dist(x[151],x[165])),0,100),za2[269]) -> extension (support ? 1) - 1848tuples 2.49/2.53 c intension eq(if(le(140,dist(x[151],x[166])),0,100),za2[270]) -> extension (support ? 1) - 1512tuples 2.49/2.54 c intension eq(if(le(97,dist(x[151],x[167])),0,100),za2[271]) -> extension (support ? 1) - 1512tuples 2.49/2.55 c intension eq(if(le(247,dist(x[151],x[172])),0,100),za2[272]) -> extension (support ? 1) - 1848tuples 2.49/2.55 c intension eq(if(le(168,dist(x[151],x[182])),0,100),za2[273]) -> extension (support ? 1) - 1764tuples 2.49/2.56 c intension eq(if(le(286,dist(x[151],x[191])),0,100),za2[274]) -> extension (support ? 1) - 1848tuples 2.49/2.57 c intension eq(if(le(11,dist(x[153],x[175])),0,100),za2[275]) -> extension (support ? 1) - 1848tuples 2.49/2.57 c intension eq(if(le(204,dist(x[155],x[180])),0,100),za2[276]) -> extension (support ? 1) - 1936tuples 2.49/2.58 c intension eq(if(le(183,dist(x[155],x[181])),0,100),za2[277]) -> extension (support ? 1) - 1936tuples 2.49/2.59 c intension eq(if(le(199,dist(x[157],x[190])),0,100),za2[278]) -> extension (support ? 1) - 1848tuples 2.49/2.60 c intension eq(if(le(273,dist(x[158],x[169])),0,100),za2[279]) -> extension (support ? 1) - 1512tuples 2.59/2.60 c intension eq(if(le(203,dist(x[160],x[181])),0,100),za2[280]) -> extension (support ? 1) - 968tuples 2.59/2.60 c intension eq(if(le(112,dist(x[160],x[192])),0,100),za2[281]) -> extension (support ? 1) - 132tuples 2.59/2.60 c intension eq(if(le(111,dist(x[160],x[193])),0,100),za2[282]) -> extension (support ? 1) - 132tuples 2.59/2.61 c intension eq(if(le(136,dist(x[161],x[168])),0,100),za2[283]) -> extension (support ? 1) - 924tuples 2.59/2.61 c intension eq(if(le(70,dist(x[161],x[169])),0,100),za2[284]) -> extension (support ? 1) - 924tuples 2.59/2.61 c intension eq(if(le(283,dist(x[161],x[180])),0,100),za2[285]) -> extension (support ? 1) - 968tuples 2.59/2.62 c intension eq(if(le(128,dist(x[161],x[185])),0,100),za2[286]) -> extension (support ? 1) - 924tuples 2.59/2.62 c intension eq(if(le(277,dist(x[163],x[182])),0,100),za2[287]) -> extension (support ? 1) - 1764tuples 2.59/2.63 c intension eq(if(le(179,dist(x[164],x[167])),0,100),za2[288]) -> extension (support ? 1) - 1584tuples 2.59/2.64 c intension eq(if(le(241,dist(x[165],x[166])),0,100),za2[289]) -> extension (support ? 1) - 1584tuples 2.59/2.64 c intension eq(if(le(208,dist(x[166],x[183])),0,100),za2[290]) -> extension (support ? 1) - 1512tuples 2.59/2.65 c intension eq(if(le(173,dist(x[168],x[181])),0,100),za2[291]) -> extension (support ? 1) - 1848tuples 2.59/2.65 c intension eq(if(le(185,dist(x[168],x[193])),0,100),za2[292]) -> extension (support ? 1) - 252tuples 2.59/2.66 c intension eq(if(le(42,dist(x[169],x[191])),0,100),za2[293]) -> extension (support ? 1) - 1848tuples 2.59/2.66 c intension eq(if(le(182,dist(x[169],x[193])),0,100),za2[294]) -> extension (support ? 1) - 252tuples 2.59/2.67 c intension eq(if(le(194,dist(x[171],x[174])),0,100),za2[295]) -> extension (support ? 1) - 1764tuples 2.59/2.67 c intension eq(if(le(282,dist(x[175],x[194])),0,100),za2[296]) -> extension (support ? 1) - 1512tuples 2.59/2.68 c intension eq(if(le(104,dist(x[179],x[187])),0,100),za2[297]) -> extension (support ? 1) - 1848tuples 2.59/2.68 c intension eq(if(le(177,dist(x[181],x[184])),0,100),za2[298]) -> extension (support ? 1) - 1848tuples 2.59/2.69 c intension eq(if(le(71,dist(x[181],x[193])),0,100),za2[299]) -> extension (support ? 1) - 264tuples 2.59/2.69 c intension eq(if(le(214,dist(x[183],x[191])),0,100),za2[300]) -> extension (support ? 1) - 1848tuples 2.69/2.70 c intension eq(if(le(255,dist(x[185],x[192])),0,100),za2[301]) -> extension (support ? 1) - 252tuples 2.69/2.70 c intension eq(if(le(421,dist(x[185],x[194])),0,100),za2[302]) -> extension (support ? 1) - 1512tuples 2.69/2.71 c intension eq(if(le(203,dist(x[189],x[194])),0,100),za2[303]) -> extension (support ? 1) - 1584tuples 2.69/2.71 c intension eq(if(le(181,dist(x[191],x[194])),0,100),za2[304]) -> extension (support ? 1) - 1584tuples 2.69/2.72 c intension eq(if(le(293,dist(x[195],x[196])),0,100),za2[305]) -> extension (support ? 1) - 1584tuples 2.69/2.73 c intension eq(if(le(278,dist(x[0],x[37])),0,10),za3[0]) -> extension (support ? 1) - 1848tuples 2.69/2.73 c intension eq(if(le(291,dist(x[0],x[45])),0,10),za3[1]) -> extension (support ? 1) - 1848tuples 2.69/2.74 c intension eq(if(le(191,dist(x[0],x[197])),0,10),za3[2]) -> extension (support ? 1) - 1848tuples 2.69/2.74 c intension eq(if(le(177,dist(x[1],x[73])),0,10),za3[3]) -> extension (support ? 1) - 252tuples 2.69/2.75 c intension eq(if(le(42,dist(x[13],x[3])),0,10),za3[4]) -> extension (support ? 1) - 1936tuples 2.69/2.75 c intension eq(if(le(28,dist(x[3],x[69])),0,10),za3[5]) -> extension (support ? 1) - 1584tuples 2.69/2.76 c intension eq(if(le(56,dist(x[31],x[5])),0,10),za3[6]) -> extension (support ? 1) - 968tuples 2.69/2.76 c intension eq(if(le(162,dist(x[24],x[6])),0,10),za3[7]) -> extension (support ? 1) - 264tuples 2.69/2.76 c intension eq(if(le(286,dist(x[68],x[7])),0,10),za3[8]) -> extension (support ? 1) - 216tuples 2.69/2.77 c intension eq(if(le(195,dist(x[85],x[8])),0,10),za3[9]) -> extension (support ? 1) - 264tuples 2.69/2.77 c intension eq(if(le(39,dist(x[113],x[9])),0,10),za3[10]) -> extension (support ? 1) - 264tuples 2.69/2.77 c intension eq(if(le(164,dist(x[10],x[22])),0,10),za3[11]) -> extension (support ? 1) - 264tuples 2.69/2.77 c intension eq(if(le(69,dist(x[10],x[26])),0,10),za3[12]) -> extension (support ? 1) - 1584tuples 2.69/2.78 c intension eq(if(le(235,dist(x[10],x[27])),0,10),za3[13]) -> extension (support ? 1) - 1584tuples 2.69/2.79 c intension eq(if(le(192,dist(x[10],x[75])),0,10),za3[14]) -> extension (support ? 1) - 1848tuples 2.69/2.79 c intension eq(if(le(107,dist(x[10],x[126])),0,10),za3[15]) -> extension (support ? 1) - 1584tuples 2.79/2.80 c intension eq(if(le(165,dist(x[10],x[127])),0,10),za3[16]) -> extension (support ? 1) - 1584tuples 2.79/2.80 c intension eq(if(le(367,dist(x[10],x[146])),0,10),za3[17]) -> extension (support ? 1) - 1936tuples 2.79/2.81 c intension eq(if(le(336,dist(x[10],x[147])),0,10),za3[18]) -> extension (support ? 1) - 1936tuples 2.79/2.82 c intension eq(if(le(113,dist(x[11],x[120])),0,10),za3[19]) -> extension (support ? 1) - 264tuples 2.79/2.82 c intension eq(if(le(146,dist(x[11],x[123])),0,10),za3[20]) -> extension (support ? 1) - 264tuples 2.79/2.82 c intension eq(if(le(112,dist(x[11],x[127])),0,10),za3[21]) -> extension (support ? 1) - 1584tuples 2.79/2.83 c intension eq(if(le(475,dist(x[11],x[146])),0,10),za3[22]) -> extension (support ? 1) - 1936tuples 2.79/2.84 c intension eq(if(le(407,dist(x[11],x[147])),0,10),za3[23]) -> extension (support ? 1) - 1936tuples 2.79/2.84 c intension eq(if(le(136,dist(x[11],x[175])),0,10),za3[24]) -> extension (support ? 1) - 1848tuples 2.79/2.85 c intension eq(if(le(287,dist(x[12],x[15])),0,10),za3[25]) -> extension (support ? 1) - 1848tuples 2.79/2.86 c intension eq(if(le(178,dist(x[13],x[54])),0,10),za3[26]) -> extension (support ? 1) - 1936tuples 2.79/2.86 c intension eq(if(le(146,dist(x[13],x[83])),0,10),za3[27]) -> extension (support ? 1) - 968tuples 2.79/2.87 c intension eq(if(le(253,dist(x[14],x[79])),0,10),za3[28]) -> extension (support ? 1) - 1848tuples 2.79/2.87 c intension eq(if(le(135,dist(x[15],x[37])),0,10),za3[29]) -> extension (support ? 1) - 1848tuples 2.79/2.88 c intension eq(if(le(42,dist(x[124],x[16])),0,10),za3[30]) -> extension (support ? 1) - 924tuples 2.79/2.88 c intension eq(if(le(292,dist(x[16],x[195])),0,10),za3[31]) -> extension (support ? 1) - 792tuples 2.79/2.89 c intension eq(if(le(37,dist(x[125],x[17])),0,10),za3[32]) -> extension (support ? 1) - 924tuples 2.79/2.89 c intension eq(if(le(231,dist(x[136],x[17])),0,10),za3[33]) -> extension (support ? 1) - 924tuples 2.79/2.90 c intension eq(if(le(270,dist(x[18],x[43])),0,10),za3[34]) -> extension (support ? 1) - 1584tuples 2.89/2.90 c intension eq(if(le(135,dist(x[18],x[90])),0,10),za3[35]) -> extension (support ? 1) - 1936tuples 2.89/2.91 c intension eq(if(le(264,dist(x[18],x[97])),0,10),za3[36]) -> extension (support ? 1) - 264tuples 2.89/2.91 c intension eq(if(le(353,dist(x[148],x[18])),0,10),za3[37]) -> extension (support ? 1) - 1936tuples 2.89/2.92 c intension eq(if(le(128,dist(x[158],x[18])),0,10),za3[38]) -> extension (support ? 1) - 1584tuples 2.89/2.92 c intension eq(if(le(276,dist(x[189],x[18])),0,10),za3[39]) -> extension (support ? 1) - 1936tuples 2.89/2.93 c intension eq(if(le(184,dist(x[19],x[43])),0,10),za3[40]) -> extension (support ? 1) - 1584tuples 2.89/2.93 c intension eq(if(le(13,dist(x[19],x[96])),0,10),za3[41]) -> extension (support ? 1) - 264tuples 2.89/2.94 c intension eq(if(le(222,dist(x[19],x[97])),0,10),za3[42]) -> extension (support ? 1) - 264tuples 2.89/2.94 c intension eq(if(le(375,dist(x[149],x[19])),0,10),za3[43]) -> extension (support ? 1) - 1936tuples 2.89/2.95 c intension eq(if(le(229,dist(x[159],x[19])),0,10),za3[44]) -> extension (support ? 1) - 1584tuples 2.89/2.95 c intension eq(if(le(222,dist(x[20],x[55])),0,10),za3[45]) -> extension (support ? 1) - 1584tuples 2.89/2.96 c intension eq(if(le(224,dist(x[20],x[84])),0,10),za3[46]) -> extension (support ? 1) - 1584tuples 2.89/2.97 c intension eq(if(le(264,dist(x[145],x[20])),0,10),za3[47]) -> extension (support ? 1) - 1512tuples 2.89/2.97 c intension eq(if(le(72,dist(x[121],x[21])),0,10),za3[48]) -> extension (support ? 1) - 216tuples 2.89/2.97 c intension eq(if(le(206,dist(x[144],x[21])),0,10),za3[49]) -> extension (support ? 1) - 1512tuples 2.89/2.98 c intension eq(if(le(188,dist(x[22],x[25])),0,10),za3[50]) -> extension (support ? 1) - 264tuples 2.89/2.98 c intension eq(if(le(113,dist(x[22],x[26])),0,10),za3[51]) -> extension (support ? 1) - 216tuples 2.89/2.98 c intension eq(if(le(68,dist(x[120],x[22])),0,10),za3[52]) -> extension (support ? 1) - 36tuples 2.89/2.98 c intension eq(if(le(212,dist(x[145],x[22])),0,10),za3[53]) -> extension (support ? 1) - 252tuples 2.89/2.98 c intension eq(if(le(103,dist(x[174],x[22])),0,10),za3[54]) -> extension (support ? 1) - 252tuples 2.89/2.98 c intension eq(if(le(174,dist(x[174],x[23])),0,10),za3[55]) -> extension (support ? 1) - 252tuples 2.89/2.99 c intension eq(if(le(179,dist(x[24],x[27])),0,10),za3[56]) -> extension (support ? 1) - 1584tuples 2.89/2.99 c intension eq(if(le(258,dist(x[121],x[24])),0,10),za3[57]) -> extension (support ? 1) - 264tuples 2.89/3.00 c intension eq(if(le(26,dist(x[144],x[24])),0,10),za3[58]) -> extension (support ? 1) - 1848tuples 2.89/3.00 c intension eq(if(le(282,dist(x[146],x[24])),0,10),za3[59]) -> extension (support ? 1) - 1936tuples 2.99/3.01 c intension eq(if(le(221,dist(x[25],x[56])),0,10),za3[60]) -> extension (support ? 1) - 1848tuples 2.99/3.02 c intension eq(if(le(40,dist(x[25],x[75])),0,10),za3[61]) -> extension (support ? 1) - 1848tuples 2.99/3.02 c intension eq(if(le(259,dist(x[146],x[25])),0,10),za3[62]) -> extension (support ? 1) - 1936tuples 2.99/3.03 c intension eq(if(le(172,dist(x[147],x[25])),0,10),za3[63]) -> extension (support ? 1) - 1936tuples 2.99/3.04 c intension eq(if(le(190,dist(x[146],x[26])),0,10),za3[64]) -> extension (support ? 1) - 1584tuples 2.99/3.04 c intension eq(if(le(66,dist(x[174],x[26])),0,10),za3[65]) -> extension (support ? 1) - 1512tuples 2.99/3.05 c intension eq(if(le(207,dist(x[175],x[26])),0,10),za3[66]) -> extension (support ? 1) - 1512tuples 2.99/3.05 c intension eq(if(le(76,dist(x[121],x[27])),0,10),za3[67]) -> extension (support ? 1) - 216tuples 2.99/3.06 c intension eq(if(le(166,dist(x[174],x[27])),0,10),za3[68]) -> extension (support ? 1) - 1512tuples 2.99/3.06 c intension eq(if(le(69,dist(x[175],x[27])),0,10),za3[69]) -> extension (support ? 1) - 1512tuples 2.99/3.07 c intension eq(if(le(200,dist(x[124],x[28])),0,10),za3[70]) -> extension (support ? 1) - 1512tuples 2.99/3.07 c intension eq(if(le(194,dist(x[29],x[90])),0,10),za3[71]) -> extension (support ? 1) - 1584tuples 2.99/3.08 c intension eq(if(le(132,dist(x[29],x[91])),0,10),za3[72]) -> extension (support ? 1) - 1584tuples 2.99/3.08 c intension eq(if(le(211,dist(x[195],x[29])),0,10),za3[73]) -> extension (support ? 1) - 1296tuples 2.99/3.09 c intension eq(if(le(230,dist(x[32],x[71])),0,10),za3[74]) -> extension (support ? 1) - 1848tuples 2.99/3.10 c intension eq(if(le(289,dist(x[33],x[50])),0,10),za3[75]) -> extension (support ? 1) - 1584tuples 2.99/3.10 c intension eq(if(le(68,dist(x[33],x[51])),0,10),za3[76]) -> extension (support ? 1) - 1584tuples 3.09/3.11 c intension eq(if(le(116,dist(x[102],x[33])),0,10),za3[77]) -> extension (support ? 1) - 1584tuples 3.09/3.12 c intension eq(if(le(123,dist(x[194],x[34])),0,10),za3[78]) -> extension (support ? 1) - 1584tuples 3.09/3.12 c intension eq(if(le(127,dist(x[36],x[79])),0,10),za3[79]) -> extension (support ? 1) - 1936tuples 3.09/3.13 c intension eq(if(le(376,dist(x[196],x[37])),0,10),za3[80]) -> extension (support ? 1) - 1936tuples 3.09/3.14 c intension eq(if(le(27,dist(x[38],x[60])),0,10),za3[81]) -> extension (support ? 1) - 1584tuples 3.09/3.14 c intension eq(if(le(142,dist(x[171],x[38])),0,10),za3[82]) -> extension (support ? 1) - 1848tuples 3.09/3.15 c intension eq(if(le(440,dist(x[170],x[39])),0,10),za3[83]) -> extension (support ? 1) - 1848tuples 3.09/3.16 c intension eq(if(le(220,dist(x[112],x[40])),0,10),za3[84]) -> extension (support ? 1) - 1848tuples 3.09/3.16 c intension eq(if(le(210,dist(x[42],x[67])),0,10),za3[85]) -> extension (support ? 1) - 1296tuples 3.09/3.17 c intension eq(if(le(209,dist(x[42],x[96])),0,10),za3[86]) -> extension (support ? 1) - 216tuples 3.09/3.17 c intension eq(if(le(198,dist(x[42],x[97])),0,10),za3[87]) -> extension (support ? 1) - 216tuples 3.09/3.17 c intension eq(if(le(277,dist(x[102],x[42])),0,10),za3[88]) -> extension (support ? 1) - 1296tuples 3.09/3.18 c intension eq(if(le(221,dist(x[103],x[42])),0,10),za3[89]) -> extension (support ? 1) - 1296tuples 3.09/3.18 c intension eq(if(le(110,dist(x[148],x[42])),0,10),za3[90]) -> extension (support ? 1) - 1584tuples 3.09/3.19 c intension eq(if(le(108,dist(x[43],x[93])),0,10),za3[91]) -> extension (support ? 1) - 1584tuples 3.09/3.19 c intension eq(if(le(33,dist(x[43],x[97])),0,10),za3[92]) -> extension (support ? 1) - 216tuples 3.19/3.20 c intension eq(if(le(39,dist(x[44],x[78])),0,10),za3[93]) -> extension (support ? 1) - 1936tuples 3.19/3.20 c intension eq(if(le(252,dist(x[44],x[85])),0,10),za3[94]) -> extension (support ? 1) - 1936tuples 3.19/3.21 c intension eq(if(le(281,dist(x[100],x[45])),0,10),za3[95]) -> extension (support ? 1) - 1936tuples 3.19/3.22 c intension eq(if(le(159,dist(x[101],x[45])),0,10),za3[96]) -> extension (support ? 1) - 1936tuples 3.19/3.22 c intension eq(if(le(165,dist(x[46],x[65])),0,10),za3[97]) -> extension (support ? 1) - 1584tuples 3.19/3.23 c intension eq(if(le(239,dist(x[46],x[99])),0,10),za3[98]) -> extension (support ? 1) - 1512tuples 3.19/3.24 c intension eq(if(le(25,dist(x[178],x[46])),0,10),za3[99]) -> extension (support ? 1) - 1512tuples 3.19/3.24 c intension eq(if(le(168,dist(x[47],x[64])),0,10),za3[100]) -> extension (support ? 1) - 1584tuples 3.19/3.25 c intension eq(if(le(112,dist(x[48],x[92])),0,10),za3[101]) -> extension (support ? 1) - 1584tuples 3.19/3.25 c intension eq(if(le(130,dist(x[195],x[49])),0,10),za3[102]) -> extension (support ? 1) - 1296tuples 3.19/3.26 c intension eq(if(le(252,dist(x[50],x[53])),0,10),za3[103]) -> extension (support ? 1) - 1512tuples 3.19/3.26 c intension eq(if(le(175,dist(x[50],x[64])),0,10),za3[104]) -> extension (support ? 1) - 1584tuples 3.19/3.27 c intension eq(if(le(194,dist(x[192],x[50])),0,10),za3[105]) -> extension (support ? 1) - 216tuples 3.19/3.27 c intension eq(if(le(171,dist(x[179],x[51])),0,10),za3[106]) -> extension (support ? 1) - 1512tuples 3.19/3.28 c intension eq(if(le(107,dist(x[52],x[65])),0,10),za3[107]) -> extension (support ? 1) - 1848tuples 3.19/3.29 c intension eq(if(le(229,dist(x[156],x[52])),0,10),za3[108]) -> extension (support ? 1) - 1764tuples 3.19/3.29 c intension eq(if(le(180,dist(x[53],x[97])),0,10),za3[109]) -> extension (support ? 1) - 252tuples 3.19/3.29 c intension eq(if(le(79,dist(x[117],x[53])),0,10),za3[110]) -> extension (support ? 1) - 1512tuples 3.29/3.30 c intension eq(if(le(153,dist(x[54],x[58])),0,10),za3[111]) -> extension (support ? 1) - 1584tuples 3.29/3.30 c intension eq(if(le(251,dist(x[54],x[59])),0,10),za3[112]) -> extension (support ? 1) - 1584tuples 3.29/3.31 c intension eq(if(le(125,dist(x[134],x[54])),0,10),za3[113]) -> extension (support ? 1) - 264tuples 3.29/3.31 c intension eq(if(le(125,dist(x[145],x[54])),0,10),za3[114]) -> extension (support ? 1) - 1848tuples 3.29/3.32 c intension eq(if(le(12,dist(x[164],x[54])),0,10),za3[115]) -> extension (support ? 1) - 1936tuples 3.29/3.33 c intension eq(if(le(252,dist(x[165],x[54])),0,10),za3[116]) -> extension (support ? 1) - 1936tuples 3.29/3.33 c intension eq(if(le(133,dist(x[146],x[55])),0,10),za3[117]) -> extension (support ? 1) - 1936tuples 3.29/3.34 c intension eq(if(le(88,dist(x[167],x[55])),0,10),za3[118]) -> extension (support ? 1) - 1584tuples 3.29/3.35 c intension eq(if(le(215,dist(x[182],x[55])),0,10),za3[119]) -> extension (support ? 1) - 1848tuples 3.29/3.35 c intension eq(if(le(117,dist(x[183],x[55])),0,10),za3[120]) -> extension (support ? 1) - 1848tuples 3.29/3.36 c intension eq(if(le(24,dist(x[166],x[56])),0,10),za3[121]) -> extension (support ? 1) - 1512tuples 3.29/3.37 c intension eq(if(le(274,dist(x[138],x[57])),0,10),za3[122]) -> extension (support ? 1) - 1848tuples 3.29/3.37 c intension eq(if(le(69,dist(x[58],x[86])),0,10),za3[123]) -> extension (support ? 1) - 1584tuples 3.29/3.38 c intension eq(if(le(116,dist(x[165],x[58])),0,10),za3[124]) -> extension (support ? 1) - 1584tuples 3.29/3.38 c intension eq(if(le(11,dist(x[182],x[58])),0,10),za3[125]) -> extension (support ? 1) - 1512tuples 3.29/3.39 c intension eq(if(le(272,dist(x[190],x[58])),0,10),za3[126]) -> extension (support ? 1) - 1584tuples 3.29/3.39 c intension eq(if(le(6,dist(x[135],x[59])),0,10),za3[127]) -> extension (support ? 1) - 216tuples 3.39/3.40 c intension eq(if(le(290,dist(x[150],x[59])),0,10),za3[128]) -> extension (support ? 1) - 1512tuples 3.39/3.40 c intension eq(if(le(280,dist(x[164],x[59])),0,10),za3[129]) -> extension (support ? 1) - 1584tuples 3.39/3.41 c intension eq(if(le(219,dist(x[182],x[59])),0,10),za3[130]) -> extension (support ? 1) - 1512tuples 3.39/3.42 c intension eq(if(le(12,dist(x[183],x[59])),0,10),za3[131]) -> extension (support ? 1) - 1512tuples 3.39/3.42 c intension eq(if(le(271,dist(x[60],x[75])),0,10),za3[132]) -> extension (support ? 1) - 1512tuples 3.39/3.43 c intension eq(if(le(283,dist(x[62],x[85])),0,10),za3[133]) -> extension (support ? 1) - 1848tuples 3.39/3.43 c intension eq(if(le(232,dist(x[179],x[64])),0,10),za3[134]) -> extension (support ? 1) - 1848tuples 3.39/3.44 c intension eq(if(le(152,dist(x[182],x[65])),0,10),za3[135]) -> extension (support ? 1) - 1848tuples 3.39/3.45 c intension eq(if(le(177,dist(x[101],x[66])),0,10),za3[136]) -> extension (support ? 1) - 1584tuples 3.39/3.45 c intension eq(if(le(263,dist(x[105],x[66])),0,10),za3[137]) -> extension (support ? 1) - 1296tuples 3.39/3.46 c intension eq(if(le(81,dist(x[67],x[91])),0,10),za3[138]) -> extension (support ? 1) - 1584tuples 3.39/3.46 c intension eq(if(le(209,dist(x[104],x[67])),0,10),za3[139]) -> extension (support ? 1) - 1296tuples 3.39/3.47 c intension eq(if(le(210,dist(x[141],x[70])),0,10),za3[140]) -> extension (support ? 1) - 1764tuples 3.39/3.48 c intension eq(if(le(66,dist(x[156],x[70])),0,10),za3[141]) -> extension (support ? 1) - 1764tuples 3.39/3.48 c intension eq(if(le(266,dist(x[140],x[71])),0,10),za3[142]) -> extension (support ? 1) - 1764tuples 3.39/3.49 c intension eq(if(le(221,dist(x[170],x[71])),0,10),za3[143]) -> extension (support ? 1) - 1764tuples 3.49/3.50 c intension eq(if(le(114,dist(x[187],x[71])),0,10),za3[144]) -> extension (support ? 1) - 1848tuples 3.49/3.50 c intension eq(if(le(295,dist(x[73],x[94])),0,10),za3[145]) -> extension (support ? 1) - 216tuples 3.49/3.50 c intension eq(if(le(300,dist(x[121],x[74])),0,10),za3[146]) -> extension (support ? 1) - 252tuples 3.49/3.51 c intension eq(if(le(275,dist(x[162],x[74])),0,10),za3[147]) -> extension (support ? 1) - 1764tuples 3.49/3.51 c intension eq(if(le(260,dist(x[163],x[74])),0,10),za3[148]) -> extension (support ? 1) - 1764tuples 3.49/3.52 c intension eq(if(le(298,dist(x[120],x[75])),0,10),za3[149]) -> extension (support ? 1) - 252tuples 3.49/3.52 c intension eq(if(le(204,dist(x[115],x[76])),0,10),za3[150]) -> extension (support ? 1) - 1848tuples 3.49/3.53 c intension eq(if(le(26,dist(x[118],x[76])),0,10),za3[151]) -> extension (support ? 1) - 1848tuples 3.49/3.54 c intension eq(if(le(262,dist(x[119],x[76])),0,10),za3[152]) -> extension (support ? 1) - 1848tuples 3.49/3.54 c intension eq(if(le(242,dist(x[160],x[76])),0,10),za3[153]) -> extension (support ? 1) - 924tuples 3.49/3.55 c intension eq(if(le(238,dist(x[161],x[76])),0,10),za3[154]) -> extension (support ? 1) - 924tuples 3.49/3.55 c intension eq(if(le(292,dist(x[168],x[76])),0,10),za3[155]) -> extension (support ? 1) - 1764tuples 3.49/3.56 c intension eq(if(le(384,dist(x[77],x[94])),0,10),za3[156]) -> extension (support ? 1) - 1512tuples 3.49/3.56 c intension eq(if(le(144,dist(x[77],x[95])),0,10),za3[157]) -> extension (support ? 1) - 1512tuples 3.49/3.57 c intension eq(if(le(139,dist(x[160],x[77])),0,10),za3[158]) -> extension (support ? 1) - 924tuples 3.49/3.57 c intension eq(if(le(86,dist(x[161],x[77])),0,10),za3[159]) -> extension (support ? 1) - 924tuples 3.49/3.58 c intension eq(if(le(38,dist(x[185],x[77])),0,10),za3[160]) -> extension (support ? 1) - 1764tuples 3.49/3.58 c intension eq(if(le(216,dist(x[192],x[77])),0,10),za3[161]) -> extension (support ? 1) - 252tuples 3.49/3.58 c intension eq(if(le(21,dist(x[193],x[77])),0,10),za3[162]) -> extension (support ? 1) - 252tuples 3.49/3.58 c intension eq(if(le(137,dist(x[134],x[80])),0,10),za3[163]) -> extension (support ? 1) - 216tuples 3.49/3.59 c intension eq(if(le(130,dist(x[185],x[83])),0,10),za3[164]) -> extension (support ? 1) - 924tuples 3.49/3.59 c intension eq(if(le(298,dist(x[119],x[84])),0,10),za3[165]) -> extension (support ? 1) - 1936tuples 3.59/3.60 c intension eq(if(le(325,dist(x[144],x[85])),0,10),za3[166]) -> extension (support ? 1) - 1848tuples 3.59/3.61 c intension eq(if(le(14,dist(x[187],x[85])),0,10),za3[167]) -> extension (support ? 1) - 1936tuples 3.59/3.61 c intension eq(if(le(111,dist(x[166],x[86])),0,10),za3[168]) -> extension (support ? 1) - 1584tuples 3.59/3.62 c intension eq(if(le(241,dist(x[183],x[86])),0,10),za3[169]) -> extension (support ? 1) - 1848tuples 3.59/3.63 c intension eq(if(le(421,dist(x[164],x[87])),0,10),za3[170]) -> extension (support ? 1) - 1936tuples 3.59/3.63 c intension eq(if(le(125,dist(x[166],x[87])),0,10),za3[171]) -> extension (support ? 1) - 1584tuples 3.59/3.64 c intension eq(if(le(110,dist(x[116],x[89])),0,10),za3[172]) -> extension (support ? 1) - 1584tuples 3.59/3.65 c intension eq(if(le(182,dist(x[101],x[90])),0,10),za3[173]) -> extension (support ? 1) - 1936tuples 3.59/3.65 c intension eq(if(le(51,dist(x[104],x[90])),0,10),za3[174]) -> extension (support ? 1) - 1584tuples 3.59/3.66 c intension eq(if(le(268,dist(x[159],x[90])),0,10),za3[175]) -> extension (support ? 1) - 1584tuples 3.59/3.66 c intension eq(if(le(81,dist(x[91],x[97])),0,10),za3[176]) -> extension (support ? 1) - 264tuples 3.59/3.66 c intension eq(if(le(183,dist(x[122],x[93])),0,10),za3[177]) -> extension (support ? 1) - 264tuples 3.59/3.67 c intension eq(if(le(180,dist(x[115],x[94])),0,10),za3[178]) -> extension (support ? 1) - 1584tuples 3.59/3.67 c intension eq(if(le(14,dist(x[168],x[94])),0,10),za3[179]) -> extension (support ? 1) - 1512tuples 3.59/3.68 c intension eq(if(le(285,dist(x[180],x[94])),0,10),za3[180]) -> extension (support ? 1) - 1584tuples 3.59/3.68 c intension eq(if(le(146,dist(x[181],x[94])),0,10),za3[181]) -> extension (support ? 1) - 1584tuples 3.59/3.69 c intension eq(if(le(248,dist(x[185],x[94])),0,10),za3[182]) -> extension (support ? 1) - 1512tuples 3.69/3.70 c intension eq(if(le(294,dist(x[114],x[95])),0,10),za3[183]) -> extension (support ? 1) - 1584tuples 3.69/3.70 c intension eq(if(le(181,dist(x[160],x[95])),0,10),za3[184]) -> extension (support ? 1) - 792tuples 3.69/3.71 c intension eq(if(le(149,dist(x[180],x[95])),0,10),za3[185]) -> extension (support ? 1) - 1584tuples 3.69/3.71 c intension eq(if(le(192,dist(x[186],x[95])),0,10),za3[186]) -> extension (support ? 1) - 1584tuples 3.69/3.72 c intension eq(if(le(41,dist(x[187],x[95])),0,10),za3[187]) -> extension (support ? 1) - 1584tuples 3.69/3.72 c intension eq(if(le(167,dist(x[193],x[95])),0,10),za3[188]) -> extension (support ? 1) - 216tuples 3.69/3.72 c intension eq(if(le(269,dist(x[101],x[96])),0,10),za3[189]) -> extension (support ? 1) - 264tuples 3.69/3.73 c intension eq(if(le(135,dist(x[104],x[96])),0,10),za3[190]) -> extension (support ? 1) - 216tuples 3.69/3.73 c intension eq(if(le(184,dist(x[148],x[97])),0,10),za3[191]) -> extension (support ? 1) - 264tuples 3.69/3.73 c intension eq(if(le(76,dist(x[149],x[97])),0,10),za3[192]) -> extension (support ? 1) - 264tuples 3.69/3.73 c intension eq(if(le(261,dist(x[154],x[98])),0,10),za3[193]) -> extension (support ? 1) - 1848tuples 3.69/3.74 c intension eq(if(le(195,dist(x[179],x[98])),0,10),za3[194]) -> extension (support ? 1) - 1764tuples 3.69/3.75 c intension eq(if(le(285,dist(x[154],x[99])),0,10),za3[195]) -> extension (support ? 1) - 1848tuples 3.69/3.75 c intension eq(if(le(185,dist(x[100],x[104])),0,10),za3[196]) -> extension (support ? 1) - 1584tuples 3.69/3.76 c intension eq(if(le(215,dist(x[100],x[105])),0,10),za3[197]) -> extension (support ? 1) - 1584tuples 3.69/3.77 c intension eq(if(le(41,dist(x[100],x[148])),0,10),za3[198]) -> extension (support ? 1) - 1936tuples 3.69/3.77 c intension eq(if(le(215,dist(x[101],x[169])),0,10),za3[199]) -> extension (support ? 1) - 1848tuples 3.69/3.78 c intension eq(if(le(284,dist(x[102],x[145])),0,10),za3[200]) -> extension (support ? 1) - 1512tuples 3.69/3.78 c intension eq(if(le(535,dist(x[102],x[152])),0,10),za3[201]) -> extension (support ? 1) - 1584tuples 3.69/3.79 c intension eq(if(le(207,dist(x[102],x[171])),0,10),za3[202]) -> extension (support ? 1) - 1512tuples 3.79/3.80 c intension eq(if(le(109,dist(x[104],x[159])),0,10),za3[203]) -> extension (support ? 1) - 1296tuples 3.79/3.80 c intension eq(if(le(208,dist(x[105],x[148])),0,10),za3[204]) -> extension (support ? 1) - 1584tuples 3.79/3.81 c intension eq(if(le(209,dist(x[106],x[171])),0,10),za3[205]) -> extension (support ? 1) - 1008tuples 3.79/3.81 c intension eq(if(le(163,dist(x[109],x[142])),0,10),za3[206]) -> extension (support ? 1) - 1936tuples 3.79/3.82 c intension eq(if(le(56,dist(x[110],x[140])),0,10),za3[207]) -> extension (support ? 1) - 1848tuples 3.79/3.83 c intension eq(if(le(97,dist(x[110],x[170])),0,10),za3[208]) -> extension (support ? 1) - 1848tuples 3.79/3.83 c intension eq(if(le(128,dist(x[114],x[133])),0,10),za3[209]) -> extension (support ? 1) - 1584tuples 3.79/3.84 c intension eq(if(le(345,dist(x[114],x[161])),0,10),za3[210]) -> extension (support ? 1) - 968tuples 3.79/3.84 c intension eq(if(le(39,dist(x[114],x[168])),0,10),za3[211]) -> extension (support ? 1) - 1848tuples 3.79/3.85 c intension eq(if(le(232,dist(x[114],x[185])),0,10),za3[212]) -> extension (support ? 1) - 1848tuples 3.79/3.86 c intension eq(if(le(159,dist(x[115],x[144])),0,10),za3[213]) -> extension (support ? 1) - 1848tuples 3.79/3.86 c intension eq(if(le(198,dist(x[115],x[145])),0,10),za3[214]) -> extension (support ? 1) - 1848tuples 3.79/3.87 c intension eq(if(le(123,dist(x[120],x[125])),0,10),za3[215]) -> extension (support ? 1) - 252tuples 3.79/3.87 c intension eq(if(le(253,dist(x[120],x[126])),0,10),za3[216]) -> extension (support ? 1) - 216tuples 3.79/3.87 c intension eq(if(le(269,dist(x[120],x[127])),0,10),za3[217]) -> extension (support ? 1) - 216tuples 3.79/3.87 c intension eq(if(le(80,dist(x[120],x[147])),0,10),za3[218]) -> extension (support ? 1) - 264tuples 3.79/3.87 c intension eq(if(le(29,dist(x[121],x[127])),0,10),za3[219]) -> extension (support ? 1) - 216tuples 3.79/3.88 c intension eq(if(le(290,dist(x[121],x[146])),0,10),za3[220]) -> extension (support ? 1) - 264tuples 3.79/3.88 c intension eq(if(le(160,dist(x[122],x[136])),0,10),za3[221]) -> extension (support ? 1) - 252tuples 3.79/3.88 c intension eq(if(le(28,dist(x[126],x[174])),0,10),za3[222]) -> extension (support ? 1) - 1512tuples 3.79/3.89 c intension eq(if(le(285,dist(x[129],x[144])),0,10),za3[223]) -> extension (support ? 1) - 1512tuples 3.79/3.89 c intension eq(if(le(51,dist(x[129],x[163])),0,10),za3[224]) -> extension (support ? 1) - 1512tuples 3.89/3.90 c intension eq(if(le(95,dist(x[133],x[192])),0,10),za3[225]) -> extension (support ? 1) - 216tuples 3.89/3.90 c intension eq(if(le(138,dist(x[133],x[193])),0,10),za3[226]) -> extension (support ? 1) - 216tuples 3.89/3.90 c intension eq(if(le(296,dist(x[134],x[151])),0,10),za3[227]) -> extension (support ? 1) - 252tuples 3.89/3.90 c intension eq(if(le(275,dist(x[134],x[156])),0,10),za3[228]) -> extension (support ? 1) - 252tuples 3.89/3.90 c intension eq(if(le(9,dist(x[134],x[191])),0,10),za3[229]) -> extension (support ? 1) - 264tuples 3.89/3.91 c intension eq(if(le(112,dist(x[135],x[165])),0,10),za3[230]) -> extension (support ? 1) - 264tuples 3.89/3.91 c intension eq(if(le(31,dist(x[135],x[167])),0,10),za3[231]) -> extension (support ? 1) - 216tuples 3.89/3.91 c intension eq(if(le(227,dist(x[135],x[182])),0,10),za3[232]) -> extension (support ? 1) - 252tuples 3.89/3.91 c intension eq(if(le(523,dist(x[137],x[196])),0,10),za3[233]) -> extension (support ? 1) - 1848tuples 3.89/3.92 c intension eq(if(le(284,dist(x[137],x[197])),0,10),za3[234]) -> extension (support ? 1) - 1848tuples 3.89/3.93 c intension eq(if(le(298,dist(x[142],x[159])),0,10),za3[235]) -> extension (support ? 1) - 1584tuples 3.89/3.93 c intension eq(if(le(106,dist(x[144],x[187])),0,10),za3[236]) -> extension (support ? 1) - 1848tuples 3.89/3.94 c intension eq(if(le(342,dist(x[145],x[186])),0,10),za3[237]) -> extension (support ? 1) - 1848tuples 3.89/3.95 c intension eq(if(le(98,dist(x[145],x[189])),0,10),za3[238]) -> extension (support ? 1) - 1848tuples 3.89/3.95 c intension eq(if(le(234,dist(x[146],x[174])),0,10),za3[239]) -> extension (support ? 1) - 1848tuples 3.89/3.96 c intension eq(if(le(155,dist(x[147],x[175])),0,10),za3[240]) -> extension (support ? 1) - 1848tuples 3.89/3.97 c intension eq(if(le(249,dist(x[150],x[167])),0,10),za3[241]) -> extension (support ? 1) - 1512tuples 3.89/3.97 c intension eq(if(le(138,dist(x[150],x[196])),0,10),za3[242]) -> extension (support ? 1) - 1848tuples 3.89/3.98 c intension eq(if(le(14,dist(x[151],x[173])),0,10),za3[243]) -> extension (support ? 1) - 1848tuples 3.89/3.99 c intension eq(if(le(85,dist(x[155],x[179])),0,10),za3[244]) -> extension (support ? 1) - 1848tuples 3.89/3.99 c intension eq(if(le(252,dist(x[157],x[172])),0,10),za3[245]) -> extension (support ? 1) - 1848tuples 3.89/4.00 c intension eq(if(le(150,dist(x[159],x[162])),0,10),za3[246]) -> extension (support ? 1) - 1512tuples 3.89/4.00 c intension eq(if(le(130,dist(x[160],x[166])),0,10),za3[247]) -> extension (support ? 1) - 792tuples 4.00/4.01 c intension eq(if(le(202,dist(x[160],x[167])),0,10),za3[248]) -> extension (support ? 1) - 792tuples 4.00/4.01 c intension eq(if(le(70,dist(x[160],x[168])),0,10),za3[249]) -> extension (support ? 1) - 924tuples 4.00/4.01 c intension eq(if(le(168,dist(x[160],x[169])),0,10),za3[250]) -> extension (support ? 1) - 924tuples 4.00/4.02 c intension eq(if(le(171,dist(x[163],x[183])),0,10),za3[251]) -> extension (support ? 1) - 1764tuples 4.00/4.03 c intension eq(if(le(119,dist(x[164],x[166])),0,10),za3[252]) -> extension (support ? 1) - 1584tuples 4.00/4.03 c intension eq(if(le(128,dist(x[164],x[183])),0,10),za3[253]) -> extension (support ? 1) - 1848tuples 4.00/4.04 c intension eq(if(le(125,dist(x[164],x[191])),0,10),za3[254]) -> extension (support ? 1) - 1936tuples 4.00/4.05 c intension eq(if(le(71,dist(x[165],x[167])),0,10),za3[255]) -> extension (support ? 1) - 1584tuples 4.00/4.05 c intension eq(if(le(198,dist(x[165],x[190])),0,10),za3[256]) -> extension (support ? 1) - 1936tuples 4.00/4.06 c intension eq(if(le(183,dist(x[167],x[191])),0,10),za3[257]) -> extension (support ? 1) - 1584tuples 4.00/4.07 c intension eq(if(le(189,dist(x[168],x[184])),0,10),za3[258]) -> extension (support ? 1) - 1764tuples 4.00/4.08 c intension eq(if(le(189,dist(x[169],x[180])),0,10),za3[259]) -> extension (support ? 1) - 1848tuples 4.00/4.08 c intension eq(if(le(439,dist(x[169],x[184])),0,10),za3[260]) -> extension (support ? 1) - 1764tuples 4.00/4.09 c intension eq(if(le(56,dist(x[169],x[192])),0,10),za3[261]) -> extension (support ? 1) - 252tuples 4.00/4.09 c intension eq(if(le(37,dist(x[171],x[175])),0,10),za3[262]) -> extension (support ? 1) - 1764tuples 4.00/4.10 c intension eq(if(le(139,dist(x[173],x[178])),0,10),za3[263]) -> extension (support ? 1) - 1848tuples 4.10/4.10 c intension eq(if(le(98,dist(x[173],x[179])),0,10),za3[264]) -> extension (support ? 1) - 1848tuples 4.10/4.11 c intension eq(if(le(339,dist(x[179],x[186])),0,10),za3[265]) -> extension (support ? 1) - 1848tuples 4.10/4.12 c intension eq(if(le(247,dist(x[180],x[192])),0,10),za3[266]) -> extension (support ? 1) - 264tuples 4.10/4.12 c intension eq(if(le(56,dist(x[181],x[185])),0,10),za3[267]) -> extension (support ? 1) - 1848tuples 4.10/4.12 c intension eq(if(le(265,dist(x[181],x[192])),0,10),za3[268]) -> extension (support ? 1) - 264tuples 4.10/4.13 c intension eq(if(le(300,dist(x[184],x[192])),0,10),za3[269]) -> extension (support ? 1) - 252tuples 4.10/4.13 c intension eq(if(le(15,dist(x[185],x[193])),0,10),za3[270]) -> extension (support ? 1) - 252tuples 4.10/4.13 c intension eq(if(le(185,dist(x[185],x[195])),0,10),za3[271]) -> extension (support ? 1) - 1512tuples 4.10/4.14 c intension eq(if(le(239,dist(x[189],x[195])),0,10),za3[272]) -> extension (support ? 1) - 1584tuples 4.10/4.14 c intension eq(if(le(219,dist(x[193],x[197])),0,10),za3[273]) -> extension (support ? 1) - 264tuples 4.10/4.15 c intension eq(if(le(41,dist(x[0],x[198])),0,1),za4[0]) -> extension (support ? 1) - 1848tuples 4.10/4.15 c intension eq(if(le(186,dist(x[2],x[5])),0,1),za4[1]) -> extension (support ? 1) - 968tuples 4.10/4.15 c intension eq(if(le(171,dist(x[2],x[6])),0,1),za4[2]) -> extension (support ? 1) - 264tuples 4.10/4.16 c intension eq(if(le(66,dist(x[35],x[3])),0,1),za4[3]) -> extension (support ? 1) - 1936tuples 4.10/4.16 c intension eq(if(le(131,dist(x[3],x[60])),0,1),za4[4]) -> extension (support ? 1) - 1584tuples 4.10/4.17 c intension eq(if(le(28,dist(x[5],x[61])),0,1),za4[5]) -> extension (support ? 1) - 792tuples 4.10/4.17 c intension eq(if(le(195,dist(x[118],x[5])),0,1),za4[6]) -> extension (support ? 1) - 968tuples 4.10/4.18 c intension eq(if(le(164,dist(x[34],x[6])),0,1),za4[7]) -> extension (support ? 1) - 264tuples 4.10/4.18 c intension eq(if(le(276,dist(x[68],x[6])),0,1),za4[8]) -> extension (support ? 1) - 216tuples 4.10/4.18 c intension eq(if(le(286,dist(x[69],x[6])),0,1),za4[9]) -> extension (support ? 1) - 216tuples 4.10/4.18 c intension eq(if(le(6,dist(x[35],x[7])),0,1),za4[10]) -> extension (support ? 1) - 264tuples 4.10/4.18 c intension eq(if(le(46,dist(x[69],x[7])),0,1),za4[11]) -> extension (support ? 1) - 216tuples 4.10/4.18 c intension eq(if(le(276,dist(x[26],x[8])),0,1),za4[12]) -> extension (support ? 1) - 216tuples 4.10/4.19 c intension eq(if(le(80,dist(x[177],x[8])),0,1),za4[13]) -> extension (support ? 1) - 144tuples 4.10/4.19 c intension eq(if(le(279,dist(x[112],x[9])),0,1),za4[14]) -> extension (support ? 1) - 264tuples 4.10/4.19 c intension eq(if(le(392,dist(x[176],x[9])),0,1),za4[15]) -> extension (support ? 1) - 144tuples 4.10/4.19 c intension eq(if(le(194,dist(x[10],x[23])),0,1),za4[16]) -> extension (support ? 1) - 264tuples 4.10/4.19 c intension eq(if(le(208,dist(x[10],x[120])),0,1),za4[17]) -> extension (support ? 1) - 264tuples 4.10/4.19 c intension eq(if(le(144,dist(x[10],x[121])),0,1),za4[18]) -> extension (support ? 1) - 264tuples 4.19/4.20 c intension eq(if(le(179,dist(x[10],x[175])),0,1),za4[19]) -> extension (support ? 1) - 1848tuples 4.19/4.20 c intension eq(if(le(74,dist(x[11],x[23])),0,1),za4[20]) -> extension (support ? 1) - 264tuples 4.19/4.21 c intension eq(if(le(109,dist(x[11],x[24])),0,1),za4[21]) -> extension (support ? 1) - 1936tuples 4.19/4.21 c intension eq(if(le(125,dist(x[11],x[25])),0,1),za4[22]) -> extension (support ? 1) - 1936tuples 4.19/4.22 c intension eq(if(le(167,dist(x[11],x[26])),0,1),za4[23]) -> extension (support ? 1) - 1584tuples 4.19/4.22 c intension eq(if(le(111,dist(x[11],x[122])),0,1),za4[24]) -> extension (support ? 1) - 264tuples 4.19/4.23 c intension eq(if(le(126,dist(x[11],x[126])),0,1),za4[25]) -> extension (support ? 1) - 1584tuples 4.19/4.23 c intension eq(if(le(98,dist(x[11],x[174])),0,1),za4[26]) -> extension (support ? 1) - 1848tuples 4.19/4.24 c intension eq(if(le(93,dist(x[12],x[14])),0,1),za4[27]) -> extension (support ? 1) - 1848tuples 4.19/4.25 c intension eq(if(le(163,dist(x[12],x[30])),0,1),za4[28]) -> extension (support ? 1) - 1936tuples 4.19/4.25 c intension eq(if(le(252,dist(x[13],x[68])),0,1),za4[29]) -> extension (support ? 1) - 1584tuples 4.19/4.26 c intension eq(if(le(298,dist(x[14],x[33])),0,1),za4[30]) -> extension (support ? 1) - 1848tuples 4.19/4.27 c intension eq(if(le(277,dist(x[15],x[40])),0,1),za4[31]) -> extension (support ? 1) - 1764tuples 4.19/4.27 c intension eq(if(le(37,dist(x[15],x[41])),0,1),za4[32]) -> extension (support ? 1) - 1764tuples 4.19/4.28 c intension eq(if(le(534,dist(x[16],x[20])),0,1),za4[33]) -> extension (support ? 1) - 792tuples 4.19/4.28 c intension eq(if(le(152,dist(x[122],x[16])),0,1),za4[34]) -> extension (support ? 1) - 132tuples 4.19/4.28 c intension eq(if(le(56,dist(x[16],x[194])),0,1),za4[35]) -> extension (support ? 1) - 792tuples 4.19/4.29 c intension eq(if(le(98,dist(x[17],x[33])),0,1),za4[36]) -> extension (support ? 1) - 968tuples 4.19/4.29 c intension eq(if(le(290,dist(x[18],x[67])),0,1),za4[37]) -> extension (support ? 1) - 1584tuples 4.28/4.30 c intension eq(if(le(264,dist(x[100],x[18])),0,1),za4[38]) -> extension (support ? 1) - 1936tuples 4.28/4.31 c intension eq(if(le(261,dist(x[159],x[18])),0,1),za4[39]) -> extension (support ? 1) - 1584tuples 4.28/4.31 c intension eq(if(le(152,dist(x[188],x[18])),0,1),za4[40]) -> extension (support ? 1) - 1936tuples 4.28/4.32 c intension eq(if(le(183,dist(x[19],x[49])),0,1),za4[41]) -> extension (support ? 1) - 1584tuples 4.28/4.33 c intension eq(if(le(56,dist(x[19],x[67])),0,1),za4[42]) -> extension (support ? 1) - 1584tuples 4.28/4.33 c intension eq(if(le(139,dist(x[19],x[91])),0,1),za4[43]) -> extension (support ? 1) - 1936tuples 4.28/4.34 c intension eq(if(le(493,dist(x[100],x[19])),0,1),za4[44]) -> extension (support ? 1) - 1936tuples 4.28/4.35 c intension eq(if(le(254,dist(x[101],x[19])),0,1),za4[45]) -> extension (support ? 1) - 1936tuples 4.28/4.35 c intension eq(if(le(82,dist(x[105],x[19])),0,1),za4[46]) -> extension (support ? 1) - 1584tuples 4.28/4.36 c intension eq(if(le(292,dist(x[119],x[20])),0,1),za4[47]) -> extension (support ? 1) - 1584tuples 4.28/4.36 c intension eq(if(le(168,dist(x[189],x[20])),0,1),za4[48]) -> extension (support ? 1) - 1584tuples 4.28/4.37 c intension eq(if(le(25,dist(x[145],x[21])),0,1),za4[49]) -> extension (support ? 1) - 1512tuples 4.28/4.38 c intension eq(if(le(128,dist(x[187],x[21])),0,1),za4[50]) -> extension (support ? 1) - 1584tuples 4.28/4.38 c intension eq(if(le(230,dist(x[22],x[75])),0,1),za4[51]) -> extension (support ? 1) - 252tuples 4.28/4.38 c intension eq(if(le(167,dist(x[121],x[22])),0,1),za4[52]) -> extension (support ? 1) - 36tuples 4.28/4.38 c intension eq(if(le(198,dist(x[127],x[22])),0,1),za4[53]) -> extension (support ? 1) - 216tuples 4.28/4.38 c intension eq(if(le(229,dist(x[23],x[74])),0,1),za4[54]) -> extension (support ? 1) - 252tuples 4.28/4.39 c intension eq(if(le(4,dist(x[23],x[75])),0,1),za4[55]) -> extension (support ? 1) - 252tuples 4.28/4.39 c intension eq(if(le(12,dist(x[126],x[24])),0,1),za4[56]) -> extension (support ? 1) - 1584tuples 4.39/4.40 c intension eq(if(le(222,dist(x[127],x[24])),0,1),za4[57]) -> extension (support ? 1) - 1584tuples 4.39/4.40 c intension eq(if(le(269,dist(x[147],x[24])),0,1),za4[58]) -> extension (support ? 1) - 1936tuples 4.39/4.41 c intension eq(if(le(247,dist(x[175],x[24])),0,1),za4[59]) -> extension (support ? 1) - 1848tuples 4.39/4.42 c intension eq(if(le(14,dist(x[25],x[57])),0,1),za4[60]) -> extension (support ? 1) - 1848tuples 4.39/4.42 c intension eq(if(le(277,dist(x[25],x[74])),0,1),za4[61]) -> extension (support ? 1) - 1848tuples 4.39/4.43 c intension eq(if(le(252,dist(x[26],x[75])),0,1),za4[62]) -> extension (support ? 1) - 1512tuples 4.39/4.44 c intension eq(if(le(276,dist(x[127],x[26])),0,1),za4[63]) -> extension (support ? 1) - 1296tuples 4.39/4.44 c intension eq(if(le(221,dist(x[27],x[74])),0,1),za4[64]) -> extension (support ? 1) - 1512tuples 4.39/4.45 c intension eq(if(le(41,dist(x[127],x[27])),0,1),za4[65]) -> extension (support ? 1) - 1296tuples 4.39/4.45 c intension eq(if(le(105,dist(x[146],x[27])),0,1),za4[66]) -> extension (support ? 1) - 1584tuples 4.39/4.46 c intension eq(if(le(14,dist(x[137],x[29])),0,1),za4[67]) -> extension (support ? 1) - 1512tuples 4.39/4.46 c intension eq(if(le(23,dist(x[30],x[60])),0,1),za4[68]) -> extension (support ? 1) - 1584tuples 4.39/4.47 c intension eq(if(le(105,dist(x[31],x[76])),0,1),za4[69]) -> extension (support ? 1) - 1848tuples 4.39/4.48 c intension eq(if(le(211,dist(x[141],x[32])),0,1),za4[70]) -> extension (support ? 1) - 1848tuples 4.39/4.48 c intension eq(if(le(56,dist(x[107],x[33])),0,1),za4[71]) -> extension (support ? 1) - 1056tuples 4.39/4.49 c intension eq(if(le(200,dist(x[35],x[61])),0,1),za4[72]) -> extension (support ? 1) - 1584tuples 4.39/4.49 c intension eq(if(le(95,dist(x[36],x[40])),0,1),za4[73]) -> extension (support ? 1) - 1848tuples 4.49/4.50 c intension eq(if(le(249,dist(x[36],x[57])),0,1),za4[74]) -> extension (support ? 1) - 1848tuples 4.49/4.51 c intension eq(if(le(140,dist(x[37],x[40])),0,1),za4[75]) -> extension (support ? 1) - 1848tuples 4.49/4.52 c intension eq(if(le(187,dist(x[113],x[37])),0,1),za4[76]) -> extension (support ? 1) - 1936tuples 4.49/4.52 c intension eq(if(le(261,dist(x[103],x[38])),0,1),za4[77]) -> extension (support ? 1) - 1584tuples 4.49/4.53 c intension eq(if(le(37,dist(x[106],x[38])),0,1),za4[78]) -> extension (support ? 1) - 1056tuples 4.49/4.53 c intension eq(if(le(277,dist(x[107],x[38])),0,1),za4[79]) -> extension (support ? 1) - 1056tuples 4.49/4.54 c intension eq(if(le(485,dist(x[111],x[39])),0,1),za4[80]) -> extension (support ? 1) - 1936tuples 4.49/4.54 c intension eq(if(le(130,dist(x[42],x[90])),0,1),za4[81]) -> extension (support ? 1) - 1584tuples 4.49/4.55 c intension eq(if(le(69,dist(x[100],x[42])),0,1),za4[82]) -> extension (support ? 1) - 1584tuples 4.49/4.56 c intension eq(if(le(164,dist(x[101],x[42])),0,1),za4[83]) -> extension (support ? 1) - 1584tuples 4.49/4.56 c intension eq(if(le(533,dist(x[104],x[42])),0,1),za4[84]) -> extension (support ? 1) - 1296tuples 4.49/4.57 c intension eq(if(le(290,dist(x[105],x[42])),0,1),za4[85]) -> extension (support ? 1) - 1296tuples 4.49/4.57 c intension eq(if(le(42,dist(x[158],x[42])),0,1),za4[86]) -> extension (support ? 1) - 1296tuples 4.49/4.58 c intension eq(if(le(195,dist(x[159],x[42])),0,1),za4[87]) -> extension (support ? 1) - 1296tuples 4.49/4.58 c intension eq(if(le(132,dist(x[43],x[67])),0,1),za4[88]) -> extension (support ? 1) - 1296tuples 4.49/4.59 c intension eq(if(le(202,dist(x[43],x[96])),0,1),za4[89]) -> extension (support ? 1) - 216tuples 4.49/4.59 c intension eq(if(le(305,dist(x[100],x[43])),0,1),za4[90]) -> extension (support ? 1) - 1584tuples 4.49/4.59 c intension eq(if(le(102,dist(x[105],x[43])),0,1),za4[91]) -> extension (support ? 1) - 1296tuples 4.58/4.60 c intension eq(if(le(112,dist(x[149],x[43])),0,1),za4[92]) -> extension (support ? 1) - 1584tuples 4.58/4.61 c intension eq(if(le(280,dist(x[158],x[43])),0,1),za4[93]) -> extension (support ? 1) - 1296tuples 4.58/4.61 c intension eq(if(le(216,dist(x[46],x[88])),0,1),za4[94]) -> extension (support ? 1) - 1584tuples 4.58/4.62 c intension eq(if(le(218,dist(x[47],x[50])),0,1),za4[95]) -> extension (support ? 1) - 1296tuples 4.58/4.62 c intension eq(if(le(289,dist(x[156],x[47])),0,1),za4[96]) -> extension (support ? 1) - 1512tuples 4.58/4.63 c intension eq(if(le(532,dist(x[132],x[48])),0,1),za4[97]) -> extension (support ? 1) - 1296tuples 4.58/4.63 c intension eq(if(le(369,dist(x[195],x[48])),0,1),za4[98]) -> extension (support ? 1) - 1296tuples 4.58/4.64 c intension eq(if(le(292,dist(x[194],x[49])),0,1),za4[99]) -> extension (support ? 1) - 1296tuples 4.58/4.64 c intension eq(if(le(272,dist(x[193],x[50])),0,1),za4[100]) -> extension (support ? 1) - 216tuples 4.58/4.64 c intension eq(if(le(136,dist(x[116],x[51])),0,1),za4[101]) -> extension (support ? 1) - 1296tuples 4.58/4.65 c intension eq(if(le(353,dist(x[52],x[99])),0,1),za4[102]) -> extension (support ? 1) - 1764tuples 4.58/4.66 c intension eq(if(le(154,dist(x[157],x[52])),0,1),za4[103]) -> extension (support ? 1) - 1764tuples 4.58/4.66 c intension eq(if(le(283,dist(x[179],x[52])),0,1),za4[104]) -> extension (support ? 1) - 1764tuples 4.58/4.67 c intension eq(if(le(298,dist(x[53],x[98])),0,1),za4[105]) -> extension (support ? 1) - 1764tuples 4.58/4.68 c intension eq(if(le(424,dist(x[151],x[54])),0,1),za4[106]) -> extension (support ? 1) - 1848tuples 4.58/4.68 c intension eq(if(le(180,dist(x[167],x[54])),0,1),za4[107]) -> extension (support ? 1) - 1584tuples 4.58/4.69 c intension eq(if(le(276,dist(x[182],x[54])),0,1),za4[108]) -> extension (support ? 1) - 1848tuples 4.69/4.70 c intension eq(if(le(95,dist(x[190],x[54])),0,1),za4[109]) -> extension (support ? 1) - 1936tuples 4.69/4.70 c intension eq(if(le(440,dist(x[55],x[86])),0,1),za4[110]) -> extension (support ? 1) - 1936tuples 4.69/4.71 c intension eq(if(le(108,dist(x[134],x[55])),0,1),za4[111]) -> extension (support ? 1) - 264tuples 4.69/4.71 c intension eq(if(le(121,dist(x[135],x[55])),0,1),za4[112]) -> extension (support ? 1) - 264tuples 4.69/4.71 c intension eq(if(le(96,dist(x[147],x[55])),0,1),za4[113]) -> extension (support ? 1) - 1936tuples 4.69/4.72 c intension eq(if(le(222,dist(x[150],x[55])),0,1),za4[114]) -> extension (support ? 1) - 1848tuples 4.69/4.73 c intension eq(if(le(12,dist(x[165],x[55])),0,1),za4[115]) -> extension (support ? 1) - 1936tuples 4.69/4.74 c intension eq(if(le(253,dist(x[142],x[56])),0,1),za4[116]) -> extension (support ? 1) - 1848tuples 4.69/4.74 c intension eq(if(le(140,dist(x[172],x[56])),0,1),za4[117]) -> extension (support ? 1) - 1848tuples 4.69/4.75 c intension eq(if(le(60,dist(x[129],x[57])),0,1),za4[118]) -> extension (support ? 1) - 1512tuples 4.69/4.75 c intension eq(if(le(145,dist(x[150],x[57])),0,1),za4[119]) -> extension (support ? 1) - 1764tuples 4.69/4.76 c intension eq(if(le(242,dist(x[135],x[58])),0,1),za4[120]) -> extension (support ? 1) - 216tuples 4.69/4.76 c intension eq(if(le(231,dist(x[164],x[58])),0,1),za4[121]) -> extension (support ? 1) - 1584tuples 4.69/4.77 c intension eq(if(le(276,dist(x[167],x[58])),0,1),za4[122]) -> extension (support ? 1) - 1296tuples 4.69/4.77 c intension eq(if(le(250,dist(x[183],x[58])),0,1),za4[123]) -> extension (support ? 1) - 1512tuples 4.69/4.78 c intension eq(if(le(208,dist(x[144],x[59])),0,1),za4[124]) -> extension (support ? 1) - 1512tuples 4.69/4.79 c intension eq(if(le(185,dist(x[190],x[59])),0,1),za4[125]) -> extension (support ? 1) - 1584tuples 4.69/4.79 c intension eq(if(le(210,dist(x[60],x[74])),0,1),za4[126]) -> extension (support ? 1) - 1512tuples 4.79/4.80 c intension eq(if(le(136,dist(x[62],x[64])),0,1),za4[127]) -> extension (support ? 1) - 1848tuples 4.79/4.80 c intension eq(if(le(94,dist(x[62],x[65])),0,1),za4[128]) -> extension (support ? 1) - 1848tuples 4.79/4.81 c intension eq(if(le(13,dist(x[118],x[62])),0,1),za4[129]) -> extension (support ? 1) - 1848tuples 4.79/4.82 c intension eq(if(le(256,dist(x[64],x[66])),0,1),za4[130]) -> extension (support ? 1) - 1584tuples 4.79/4.82 c intension eq(if(le(223,dist(x[64],x[67])),0,1),za4[131]) -> extension (support ? 1) - 1584tuples 4.79/4.83 c intension eq(if(le(79,dist(x[66],x[90])),0,1),za4[132]) -> extension (support ? 1) - 1584tuples 4.79/4.83 c intension eq(if(le(402,dist(x[66],x[97])),0,1),za4[133]) -> extension (support ? 1) - 216tuples 4.79/4.84 c intension eq(if(le(278,dist(x[66],x[99])),0,1),za4[134]) -> extension (support ? 1) - 1512tuples 4.79/4.84 c intension eq(if(le(293,dist(x[148],x[66])),0,1),za4[135]) -> extension (support ? 1) - 1584tuples 4.79/4.85 c intension eq(if(le(25,dist(x[105],x[67])),0,1),za4[136]) -> extension (support ? 1) - 1296tuples 4.79/4.85 c intension eq(if(le(240,dist(x[149],x[67])),0,1),za4[137]) -> extension (support ? 1) - 1584tuples 4.79/4.86 c intension eq(if(le(536,dist(x[68],x[82])),0,1),za4[138]) -> extension (support ? 1) - 792tuples 4.79/4.86 c intension eq(if(le(13,dist(x[170],x[70])),0,1),za4[139]) -> extension (support ? 1) - 1764tuples 4.79/4.87 c intension eq(if(le(296,dist(x[110],x[71])),0,1),za4[140]) -> extension (support ? 1) - 1848tuples 4.79/4.88 c intension eq(if(le(237,dist(x[186],x[71])),0,1),za4[141]) -> extension (support ? 1) - 1848tuples 4.79/4.88 c intension eq(if(le(167,dist(x[73],x[95])),0,1),za4[142]) -> extension (support ? 1) - 216tuples 4.79/4.89 c intension eq(if(le(54,dist(x[174],x[74])),0,1),za4[143]) -> extension (support ? 1) - 1764tuples 4.79/4.89 c intension eq(if(le(292,dist(x[175],x[74])),0,1),za4[144]) -> extension (support ? 1) - 1764tuples 4.89/4.90 c intension eq(if(le(57,dist(x[121],x[75])),0,1),za4[145]) -> extension (support ? 1) - 252tuples 4.89/4.90 c intension eq(if(le(216,dist(x[147],x[75])),0,1),za4[146]) -> extension (support ? 1) - 1848tuples 4.89/4.91 c intension eq(if(le(52,dist(x[175],x[75])),0,1),za4[147]) -> extension (support ? 1) - 1764tuples 4.89/4.91 c intension eq(if(le(107,dist(x[132],x[76])),0,1),za4[148]) -> extension (support ? 1) - 1512tuples 4.89/4.92 c intension eq(if(le(135,dist(x[181],x[76])),0,1),za4[149]) -> extension (support ? 1) - 1848tuples 4.89/4.93 c intension eq(if(le(194,dist(x[185],x[76])),0,1),za4[150]) -> extension (support ? 1) - 1764tuples 4.89/4.93 c intension eq(if(le(114,dist(x[133],x[77])),0,1),za4[151]) -> extension (support ? 1) - 1512tuples 4.89/4.94 c intension eq(if(le(299,dist(x[180],x[77])),0,1),za4[152]) -> extension (support ? 1) - 1848tuples 4.89/4.95 c intension eq(if(le(247,dist(x[182],x[77])),0,1),za4[153]) -> extension (support ? 1) - 1764tuples 4.89/4.95 c intension eq(if(le(279,dist(x[184],x[77])),0,1),za4[154]) -> extension (support ? 1) - 1764tuples 4.89/4.96 c intension eq(if(le(278,dist(x[196],x[79])),0,1),za4[155]) -> extension (support ? 1) - 1936tuples 4.89/4.97 c intension eq(if(le(207,dist(x[81],x[92])),0,1),za4[156]) -> extension (support ? 1) - 1584tuples 4.89/4.97 c intension eq(if(le(173,dist(x[135],x[86])),0,1),za4[157]) -> extension (support ? 1) - 264tuples 4.89/4.97 c intension eq(if(le(249,dist(x[151],x[86])),0,1),za4[158]) -> extension (support ? 1) - 1848tuples 4.89/4.98 c intension eq(if(le(264,dist(x[165],x[86])),0,1),za4[159]) -> extension (support ? 1) - 1936tuples 4.89/4.99 c intension eq(if(le(184,dist(x[167],x[86])),0,1),za4[160]) -> extension (support ? 1) - 1584tuples 4.89/4.99 c intension eq(if(le(82,dist(x[182],x[86])),0,1),za4[161]) -> extension (support ? 1) - 1848tuples 4.89/5.00 c intension eq(if(le(70,dist(x[159],x[87])),0,1),za4[162]) -> extension (support ? 1) - 1584tuples 5.00/5.01 c intension eq(if(le(107,dist(x[167],x[87])),0,1),za4[163]) -> extension (support ? 1) - 1584tuples 5.00/5.01 c intension eq(if(le(223,dist(x[88],x[99])),0,1),za4[164]) -> extension (support ? 1) - 1848tuples 5.00/5.02 c intension eq(if(le(200,dist(x[148],x[90])),0,1),za4[165]) -> extension (support ? 1) - 1936tuples 5.00/5.03 c intension eq(if(le(212,dist(x[149],x[90])),0,1),za4[166]) -> extension (support ? 1) - 1936tuples 5.00/5.03 c intension eq(if(le(159,dist(x[149],x[91])),0,1),za4[167]) -> extension (support ? 1) - 1936tuples 5.00/5.04 c intension eq(if(le(272,dist(x[195],x[92])),0,1),za4[168]) -> extension (support ? 1) - 1584tuples 5.00/5.05 c intension eq(if(le(51,dist(x[108],x[94])),0,1),za4[169]) -> extension (support ? 1) - 1584tuples 5.00/5.05 c intension eq(if(le(178,dist(x[109],x[94])),0,1),za4[170]) -> extension (support ? 1) - 1584tuples 5.00/5.06 c intension eq(if(le(27,dist(x[132],x[94])),0,1),za4[171]) -> extension (support ? 1) - 1296tuples 5.00/5.06 c intension eq(if(le(221,dist(x[169],x[94])),0,1),za4[172]) -> extension (support ? 1) - 1512tuples 5.00/5.07 c intension eq(if(le(166,dist(x[192],x[94])),0,1),za4[173]) -> extension (support ? 1) - 216tuples 5.00/5.07 c intension eq(if(le(288,dist(x[193],x[94])),0,1),za4[174]) -> extension (support ? 1) - 216tuples 5.00/5.07 c intension eq(if(le(51,dist(x[115],x[95])),0,1),za4[175]) -> extension (support ? 1) - 1584tuples 5.00/5.08 c intension eq(if(le(249,dist(x[168],x[95])),0,1),za4[176]) -> extension (support ? 1) - 1512tuples 5.00/5.08 c intension eq(if(le(14,dist(x[169],x[95])),0,1),za4[177]) -> extension (support ? 1) - 1512tuples 5.00/5.09 c intension eq(if(le(242,dist(x[181],x[95])),0,1),za4[178]) -> extension (support ? 1) - 1584tuples 5.00/5.09 c intension eq(if(le(240,dist(x[159],x[96])),0,1),za4[179]) -> extension (support ? 1) - 216tuples 5.00/5.10 c intension eq(if(le(33,dist(x[101],x[97])),0,1),za4[180]) -> extension (support ? 1) - 264tuples 5.00/5.10 c intension eq(if(le(241,dist(x[158],x[97])),0,1),za4[181]) -> extension (support ? 1) - 216tuples 5.00/5.10 c intension eq(if(le(40,dist(x[178],x[98])),0,1),za4[182]) -> extension (support ? 1) - 1764tuples 5.09/5.11 c intension eq(if(le(264,dist(x[100],x[159])),0,1),za4[183]) -> extension (support ? 1) - 1584tuples 5.09/5.11 c intension eq(if(le(277,dist(x[101],x[148])),0,1),za4[184]) -> extension (support ? 1) - 1936tuples 5.09/5.12 c intension eq(if(le(28,dist(x[101],x[159])),0,1),za4[185]) -> extension (support ? 1) - 1584tuples 5.09/5.13 c intension eq(if(le(451,dist(x[101],x[168])),0,1),za4[186]) -> extension (support ? 1) - 1848tuples 5.09/5.13 c intension eq(if(le(146,dist(x[105],x[159])),0,1),za4[187]) -> extension (support ? 1) - 1296tuples 5.09/5.14 c intension eq(if(le(249,dist(x[107],x[110])),0,1),za4[188]) -> extension (support ? 1) - 1056tuples 5.09/5.14 c intension eq(if(le(253,dist(x[107],x[111])),0,1),za4[189]) -> extension (support ? 1) - 1056tuples 5.09/5.15 c intension eq(if(le(202,dist(x[107],x[141])),0,1),za4[190]) -> extension (support ? 1) - 1008tuples 5.09/5.15 c intension eq(if(le(83,dist(x[114],x[132])),0,1),za4[191]) -> extension (support ? 1) - 1584tuples 5.09/5.16 c intension eq(if(le(110,dist(x[114],x[160])),0,1),za4[192]) -> extension (support ? 1) - 968tuples 5.09/5.16 c intension eq(if(le(280,dist(x[114],x[163])),0,1),za4[193]) -> extension (support ? 1) - 1848tuples 5.09/5.17 c intension eq(if(le(223,dist(x[114],x[192])),0,1),za4[194]) -> extension (support ? 1) - 264tuples 5.09/5.17 c intension eq(if(le(152,dist(x[115],x[132])),0,1),za4[195]) -> extension (support ? 1) - 1584tuples 5.09/5.18 c intension eq(if(le(79,dist(x[115],x[133])),0,1),za4[196]) -> extension (support ? 1) - 1584tuples 5.09/5.18 c intension eq(if(le(126,dist(x[115],x[160])),0,1),za4[197]) -> extension (support ? 1) - 968tuples 5.09/5.19 c intension eq(if(le(112,dist(x[115],x[161])),0,1),za4[198]) -> extension (support ? 1) - 968tuples 5.09/5.19 c intension eq(if(le(194,dist(x[115],x[168])),0,1),za4[199]) -> extension (support ? 1) - 1848tuples 5.09/5.20 c intension eq(if(le(11,dist(x[115],x[192])),0,1),za4[200]) -> extension (support ? 1) - 264tuples 5.19/5.20 c intension eq(if(le(220,dist(x[116],x[155])),0,1),za4[201]) -> extension (support ? 1) - 1584tuples 5.19/5.21 c intension eq(if(le(265,dist(x[119],x[144])),0,1),za4[202]) -> extension (support ? 1) - 1848tuples 5.19/5.21 c intension eq(if(le(151,dist(x[120],x[146])),0,1),za4[203]) -> extension (support ? 1) - 264tuples 5.19/5.21 c intension eq(if(le(239,dist(x[120],x[175])),0,1),za4[204]) -> extension (support ? 1) - 252tuples 5.19/5.21 c intension eq(if(le(268,dist(x[121],x[126])),0,1),za4[205]) -> extension (support ? 1) - 216tuples 5.19/5.21 c intension eq(if(le(137,dist(x[122],x[195])),0,1),za4[206]) -> extension (support ? 1) - 216tuples 5.19/5.22 c intension eq(if(le(141,dist(x[123],x[136])),0,1),za4[207]) -> extension (support ? 1) - 252tuples 5.19/5.22 c intension eq(if(le(208,dist(x[123],x[194])),0,1),za4[208]) -> extension (support ? 1) - 216tuples 5.19/5.22 c intension eq(if(le(235,dist(x[126],x[132])),0,1),za4[209]) -> extension (support ? 1) - 1296tuples 5.19/5.23 c intension eq(if(le(183,dist(x[127],x[147])),0,1),za4[210]) -> extension (support ? 1) - 1584tuples 5.19/5.23 c intension eq(if(le(27,dist(x[127],x[175])),0,1),za4[211]) -> extension (support ? 1) - 1512tuples 5.19/5.24 c intension eq(if(le(156,dist(x[129],x[139])),0,1),za4[212]) -> extension (support ? 1) - 1584tuples 5.19/5.24 c intension eq(if(le(27,dist(x[129],x[143])),0,1),za4[213]) -> extension (support ? 1) - 1584tuples 5.19/5.25 c intension eq(if(le(164,dist(x[130],x[139])),0,1),za4[214]) -> extension (support ? 1) - 1936tuples 5.19/5.26 c intension eq(if(le(240,dist(x[132],x[184])),0,1),za4[215]) -> extension (support ? 1) - 1512tuples 5.19/5.26 c intension eq(if(le(137,dist(x[132],x[192])),0,1),za4[216]) -> extension (support ? 1) - 216tuples 5.19/5.26 c intension eq(if(le(223,dist(x[132],x[193])),0,1),za4[217]) -> extension (support ? 1) - 216tuples 5.19/5.27 c intension eq(if(le(155,dist(x[133],x[185])),0,1),za4[218]) -> extension (support ? 1) - 1512tuples 5.19/5.27 c intension eq(if(le(123,dist(x[134],x[165])),0,1),za4[219]) -> extension (support ? 1) - 264tuples 5.19/5.27 c intension eq(if(le(200,dist(x[134],x[167])),0,1),za4[220]) -> extension (support ? 1) - 216tuples 5.19/5.27 c intension eq(if(le(295,dist(x[135],x[150])),0,1),za4[221]) -> extension (support ? 1) - 252tuples 5.19/5.28 c intension eq(if(le(216,dist(x[139],x[142])),0,1),za4[222]) -> extension (support ? 1) - 1936tuples 5.19/5.28 c intension eq(if(le(270,dist(x[142],x[158])),0,1),za4[223]) -> extension (support ? 1) - 1584tuples 5.19/5.29 c intension eq(if(le(287,dist(x[143],x[172])),0,1),za4[224]) -> extension (support ? 1) - 1936tuples 5.29/5.30 c intension eq(if(le(395,dist(x[146],x[175])),0,1),za4[225]) -> extension (support ? 1) - 1848tuples 5.29/5.30 c intension eq(if(le(177,dist(x[147],x[174])),0,1),za4[226]) -> extension (support ? 1) - 1848tuples 5.29/5.31 c intension eq(if(le(66,dist(x[148],x[158])),0,1),za4[227]) -> extension (support ? 1) - 1584tuples 5.29/5.32 c intension eq(if(le(283,dist(x[148],x[159])),0,1),za4[228]) -> extension (support ? 1) - 1584tuples 5.29/5.32 c intension eq(if(le(70,dist(x[149],x[159])),0,1),za4[229]) -> extension (support ? 1) - 1584tuples 5.29/5.33 c intension eq(if(le(150,dist(x[150],x[190])),0,1),za4[230]) -> extension (support ? 1) - 1848tuples 5.29/5.34 c intension eq(if(le(114,dist(x[151],x[164])),0,1),za4[231]) -> extension (support ? 1) - 1848tuples 5.29/5.34 c intension eq(if(le(187,dist(x[159],x[163])),0,1),za4[232]) -> extension (support ? 1) - 1512tuples 5.29/5.35 c intension eq(if(le(270,dist(x[160],x[180])),0,1),za4[233]) -> extension (support ? 1) - 968tuples 5.29/5.35 c intension eq(if(le(532,dist(x[160],x[184])),0,1),za4[234]) -> extension (support ? 1) - 924tuples 5.29/5.36 c intension eq(if(le(219,dist(x[161],x[172])),0,1),za4[235]) -> extension (support ? 1) - 968tuples 5.29/5.36 c intension eq(if(le(184,dist(x[161],x[173])),0,1),za4[236]) -> extension (support ? 1) - 968tuples 5.29/5.36 c intension eq(if(le(185,dist(x[161],x[181])),0,1),za4[237]) -> extension (support ? 1) - 968tuples 5.29/5.37 c intension eq(if(le(199,dist(x[161],x[184])),0,1),za4[238]) -> extension (support ? 1) - 924tuples 5.29/5.37 c intension eq(if(le(126,dist(x[161],x[192])),0,1),za4[239]) -> extension (support ? 1) - 132tuples 5.29/5.37 c intension eq(if(le(254,dist(x[163],x[173])),0,1),za4[240]) -> extension (support ? 1) - 1848tuples 5.29/5.38 c intension eq(if(le(131,dist(x[164],x[182])),0,1),za4[241]) -> extension (support ? 1) - 1848tuples 5.29/5.39 c intension eq(if(le(157,dist(x[165],x[182])),0,1),za4[242]) -> extension (support ? 1) - 1848tuples 5.29/5.39 c intension eq(if(le(107,dist(x[165],x[191])),0,1),za4[243]) -> extension (support ? 1) - 1936tuples 5.39/5.40 c intension eq(if(le(227,dist(x[166],x[190])),0,1),za4[244]) -> extension (support ? 1) - 1584tuples 5.39/5.41 c intension eq(if(le(249,dist(x[168],x[180])),0,1),za4[245]) -> extension (support ? 1) - 1848tuples 5.39/5.41 c intension eq(if(le(256,dist(x[169],x[181])),0,1),za4[246]) -> extension (support ? 1) - 1848tuples 5.39/5.42 c intension eq(if(le(201,dist(x[169],x[185])),0,1),za4[247]) -> extension (support ? 1) - 1764tuples 5.39/5.43 c intension eq(if(le(102,dist(x[175],x[195])),0,1),za4[248]) -> extension (support ? 1) - 1512tuples 5.39/5.43 c intension eq(if(le(283,dist(x[180],x[183])),0,1),za4[249]) -> extension (support ? 1) - 1848tuples 5.39/5.44 c intension eq(if(le(206,dist(x[180],x[193])),0,1),za4[250]) -> extension (support ? 1) - 264tuples 5.39/5.44 c intension eq(if(le(192,dist(x[181],x[186])),0,1),za4[251]) -> extension (support ? 1) - 1936tuples 5.39/5.45 c intension eq(if(le(183,dist(x[182],x[191])),0,1),za4[252]) -> extension (support ? 1) - 1848tuples 5.39/5.46 c intension eq(if(le(202,dist(x[183],x[190])),0,1),za4[253]) -> extension (support ? 1) - 1848tuples 5.39/5.46 c intension eq(if(le(253,dist(x[184],x[193])),0,1),za4[254]) -> extension (support ? 1) - 252tuples 5.39/5.46 c intension eq(if(le(52,dist(x[191],x[195])),0,1),za4[255]) -> extension (support ? 1) - 1584tuples 5.39/5.47 c intension eq(if(le(203,dist(x[193],x[196])),0,1),za4[256]) -> extension (support ? 1) - 264tuples 5.39/5.47 c intension eq(if(le(55,dist(x[195],x[197])),0,1),za4[257]) -> extension (support ? 1) - 1584tuples 8.85/6.09 c enable optimization 8.85/6.09 c ========================================[ Problem Statistics ]=========================================== 8.85/6.09 c | 8.85/6.09 c | Parse time : 5.35 s 8.85/6.09 c | 8.85/6.09 c | Variables: 1234 8.85/6.09 c | Domain Sizes: 2..44 8.85/6.09 c | 8.85/6.09 c | Constraints: 1135 8.85/6.09 c | Arity: 2..1034 -- Binary: 100 -- Ternary: 1034 8.85/6.09 c | 8.85/6.09 c | Types: 8.85/6.09 c | Extension: 1134 (nb tuples: 6..1936) -- (shared: 232) 8.85/6.09 c | Sum: 1 8.85/6.09 c | 8.85/6.09 c | Objective: Minimize Sum 8.85/6.09 8.85/6.09 c ========================================================================================================= 8.85/6.09 c Parallel mode: Portfolio 8.85/6.09 c [pFactory][Group N°0] created (threads:8). 8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 8.85/6.09 c [pFactory][Group N°0] concurrent mode: enabled. 8.85/6.09 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 8.85/6.09 c [pFactory][Group N°0] task 7 launched on thread 1. 8.85/6.09 c [pFactory][Group N°0] task 6 launched on thread 2. 8.85/6.09 c [pFactory][Group N°0] task 5 launched on thread 0. 8.85/6.09 c [pFactory][Group N°0] task 4 launched on thread 6. 8.85/6.09 c [pFactory][Group N°0] task 3 launched on thread 4. 8.85/6.09 c [pFactory][Group N°0] task 2 launched on thread 7. 8.85/6.09 c [pFactory][Group N°0] task 1 launched on thread 5. 8.85/6.09 c [pFactory][Group N°0] task 0 launched on thread 3. 8.85/6.09 o 1523 13.58/6.66 o 1423 18.36/7.24 o 422 125.17/20.63 o 413 127.56/20.97 o 412 135.55/21.90 o 411 154.70/24.36 o 410 178.65/27.34 o 409 189.04/28.64 o 408 208.25/31.02 o 398 225.73/33.29 o 397 251.29/36.45 o 393 261.68/37.74 o 392 268.06/38.54 o 391 281.60/40.29 o 390 286.39/40.83 o 389 299.96/42.57 o 327 390.90/53.99 o 324 471.55/64.01 o 323 479.54/65.03 o 322 501.04/67.74 o 233 526.49/70.92 o 221 527.35/71.08 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 7. 527.35/71.08 c [pFactory][Group N°0] Thread N°0 is joined. 527.35/71.08 c [pFactory][Group N°0] Thread N°1 is joined. 527.35/71.08 c [pFactory][Group N°0] Thread N°2 is joined. 527.35/71.08 c [pFactory][Group N°0] Thread N°3 is joined. 527.35/71.08 c [pFactory][Group N°0] Thread N°4 is joined. 527.35/71.08 c [pFactory][Group N°0] Thread N°5 is joined. 527.35/71.08 c [pFactory][Group N°0] Thread N°6 is joined. 527.35/71.08 c [pFactory][Group N°0] Thread N°7 is joined. 527.35/71.08 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°1) 527.35/71.08 s OPTIMUM FOUND 527.35/71.08 c call to solver : 7 527.35/71.08 c 527.35/71.08 c restarts : 2151 527.35/71.08 c conflicts : 7044 (13 /sec) 527.35/71.08 c decisions : 129343 (246 /sec) 527.35/71.08 c propagations : 4274890 (8131 /sec) 527.35/71.08 c root propagations : 108623 527.35/71.08 c filter calls : 2660903 (5061 /sec) 527.35/71.08 c useless filter calls : 2246062 (84 %) 527.35/71.08 c Memory used : 1284.35 MB 527.35/71.08 c Best bound time (wc) : 70.9192 s 527.35/71.08 c CPU time : 525.769 s 527.35/71.08 c real time : 71.0792 s 527.35/71.08 527.35/71.08 527.35/71.08 v <instantiation type='solution' cost='221'> 527.35/71.08 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> 527.35/71.08 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 778 540 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 484 722 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> 527.35/71.08 v </instantiation> 527.35/71.08
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 (15177 MiB free)
memory of node 1: 16384 MiB (15475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410011-1569832867/watcher-4410011-1569832867 -o /tmp/evaluation-result-4410011-1569832867/solver-4410011-1569832867 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410011-1569832867.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=19043, runsolver pid=19040
[startup+0.100106 s]*
/proc/loadavg: 7.56 8.00 6.69 2/193 19044
/proc/meminfo: memFree=31373320/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=42488 memory=18736 CPUtime=0.09 cores=0-7
/proc/19043/stat : 19043 (cosoco) R 19040 19043 14101 0 -1 4202496 4893 0 0 0 9 0 0 0 20 0 1 0 559200455 43507712 4684 33554432000 4194304 6211132 140721752546368 140721752542904 139685212195813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 10622 4684 825 493 0 3927 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42488 KiB
Current children cumulated memory: 18736 KiB
[startup+0.20892 s]*
/proc/loadavg: 7.56 8.00 6.69 2/193 19044
/proc/meminfo: memFree=31362580/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=53896 memory=30028 CPUtime=0.21 cores=0-7
/proc/19043/stat : 19043 (cosoco) R 19040 19043 14101 0 -1 4202496 7708 0 0 0 20 1 0 0 20 0 1 0 559200455 55189504 7507 33554432000 4194304 6211132 140721752546368 140721752540664 5240361 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 13474 7507 828 493 0 6779 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53896 KiB
Current children cumulated memory: 30028 KiB
[startup+0.308659 s]*
/proc/loadavg: 7.56 8.00 6.69 2/193 19044
/proc/meminfo: memFree=31351708/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=65412 memory=41224 CPUtime=0.3 cores=0-7
/proc/19043/stat : 19043 (cosoco) R 19040 19043 14101 0 -1 4202496 10501 0 0 0 29 1 0 0 20 0 1 0 559200455 66981888 10306 33554432000 4194304 6211132 140721752546368 140721752540664 5240361 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 16353 10306 828 493 0 9658 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65412 KiB
Current children cumulated memory: 41224 KiB
[startup+0.700323 s]
/proc/loadavg: 7.56 8.00 6.69 2/193 19044
/proc/meminfo: memFree=31329016/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=109720 memory=84672 CPUtime=0.69 cores=0-7
/proc/19043/stat : 19043 (cosoco) R 19040 19043 14101 0 -1 4202496 21359 0 0 0 66 3 0 0 20 0 1 0 559200455 112353280 21168 33554432000 4194304 6211132 140721752546368 140721752540664 139685212634208 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 27430 21168 828 493 0 20735 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 109720 KiB
Current children cumulated memory: 84672 KiB
[startup+1.50034 s]
/proc/loadavg: 7.56 8.00 6.69 2/193 19044
/proc/meminfo: memFree=31272968/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=202560 memory=175364 CPUtime=1.49 cores=0-7
/proc/19043/stat : 19043 (cosoco) R 19040 19043 14101 0 -1 4202496 44013 0 0 0 143 6 0 0 20 0 1 0 559200455 207421440 43841 33554432000 4194304 6211132 140721752546368 140721752541864 139685213119811 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 50640 43841 828 493 0 43945 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 202560 KiB
Current children cumulated memory: 175364 KiB
[startup+3.10878 s]
/proc/loadavg: 7.56 8.00 6.69 2/193 19046
/proc/meminfo: memFree=31046020/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=388516 memory=357288 CPUtime=3.09 cores=0-7
/proc/19043/stat : 19043 (cosoco) R 19040 19043 14101 0 -1 4202496 91322 0 0 0 297 12 0 0 20 0 1 0 559200455 397840384 89322 33554432000 4194304 6211132 140721752546368 140721752541080 139685212195813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 97129 89322 828 493 0 90434 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 388516 KiB
Current children cumulated memory: 357288 KiB
[startup+6.30058 s]
/proc/loadavg: 6.96 7.87 6.65 9/201 19054
/proc/meminfo: memFree=30640988/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=1347956 memory=763172 CPUtime=11.17 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 256022 0 0 0 1068 49 0 0 20 0 9 0 559200455 1380306944 190793 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 190793 875 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=159 CPUtime=0.69 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 4558 0 0 0 65 4 0 0 20 0 9 0 559201015 1380306944 190793 33554432000 4194304 6211132 140721752546368 139685205092888 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=56 CPUtime=0.69 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 5832 0 0 0 69 0 0 0 20 0 9 0 559201015 1380306944 190793 33554432000 4194304 6211132 140721752546368 139685196700184 5409463 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=15663745731716 CPUtime=0.69 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 6446 0 0 0 64 5 0 0 20 0 9 0 559201015 1380306944 190793 33554432000 4194304 6211132 140721752546368 139685188308240 5158038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=288230574492221466 CPUtime=0.69 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 6065 0 0 0 69 0 0 0 20 0 9 0 559201015 1380306944 190793 33554432000 4194304 6211132 140721752546368 139685179914776 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=0 CPUtime=0.69 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 6459 0 0 0 63 6 0 0 20 0 9 0 559201015 1380306944 190793 33554432000 4194304 6211132 140721752546368 139685171522832 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=0 CPUtime=0.69 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 6023 0 0 0 69 0 0 0 20 0 9 0 559201015 1380306944 190793 33554432000 4194304 6211132 140721752546368 139685163129368 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=280658530528960 CPUtime=0.67 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 4733 0 0 0 62 5 0 0 20 0 9 0 559201015 1380306944 190793 33554432000 4194304 6211132 140721752546368 139685154736664 5039121 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=7959527471696614414 CPUtime=0.69 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 6867 0 0 0 69 0 0 0 20 0 9 0 559201015 1380306944 190793 33554432000 4194304 6211132 140721752546368 139685146343960 5035320 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 11.17 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 763172 KiB
[startup+12.7006 s]
/proc/loadavg: 7.04 7.87 6.66 9/201 19054
/proc/meminfo: memFree=30591016/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=1347956 memory=797288 CPUtime=62.12 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 796071 0 0 0 6075 137 0 0 20 0 9 0 559200455 1380306944 199322 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 199322 876 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=795776 CPUtime=7.06 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 70206 0 0 0 684 22 0 0 20 0 9 0 559201015 1380306944 199322 33554432000 4194304 6211132 140721752546368 139685205092888 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=796660 CPUtime=7.08 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 81723 0 0 0 701 7 0 0 20 0 9 0 559201015 1380306944 199322 33554432000 4194304 6211132 140721752546368 139685196700104 5039029 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=367420 CPUtime=7 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 73236 0 0 0 679 21 0 0 20 0 9 0 559201015 1380306944 199322 33554432000 4194304 6211132 140721752546368 139685188307480 5155844 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=0 CPUtime=7.08 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 74877 0 0 0 703 5 0 0 20 0 9 0 559201015 1380306944 199322 33554432000 4194304 6211132 140721752546368 139685179915592 5185376 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=15663745731716 CPUtime=7.06 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 74473 0 0 0 683 23 0 0 20 0 9 0 559201015 1380306944 199322 33554432000 4194304 6211132 140721752546368 139685171521960 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=288230583166042426 CPUtime=7.08 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 64404 0 0 0 705 3 0 0 20 0 9 0 559201015 1380306944 199322 33554432000 4194304 6211132 140721752546368 139685163130184 5039178 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=3512 CPUtime=7.03 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 69913 0 0 0 681 22 0 0 20 0 9 0 559201015 1380306944 199322 33554432000 4194304 6211132 140721752546368 139685154736552 5397255 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=10544 CPUtime=7.06 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 78201 0 0 0 700 6 0 0 20 0 9 0 559201015 1380306944 199322 33554432000 4194304 6211132 140721752546368 139685146343960 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 62.12 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 797288 KiB
[startup+25.5066 s]
/proc/loadavg: 7.47 7.93 6.70 9/201 19055
/proc/meminfo: memFree=30587564/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=1347956 memory=800872 CPUtime=164.33 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 1179436 0 0 0 16271 162 0 0 20 0 9 0 559200455 1380306944 200218 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 200218 876 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=800836 CPUtime=19.86 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 119460 0 0 0 1961 25 0 0 20 0 9 0 559201015 1380306944 200218 33554432000 4194304 6211132 140721752546368 139685205092808 5035331 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=280658530462504 CPUtime=19.87 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 129485 0 0 0 1977 10 0 0 20 0 9 0 559201015 1380306944 200218 33554432000 4194304 6211132 140721752546368 139685196700344 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=0 CPUtime=19.61 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 123902 0 0 0 1936 25 0 0 20 0 9 0 559201015 1380306944 200218 33554432000 4194304 6211132 140721752546368 139685188307560 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=0 CPUtime=19.87 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 122993 0 0 0 1979 8 0 0 20 0 9 0 559201015 1380306944 200218 33554432000 4194304 6211132 140721752546368 139685179915392 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=800788 CPUtime=19.87 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 123814 0 0 0 1960 27 0 0 20 0 9 0 559201015 1380306944 200218 33554432000 4194304 6211132 140721752546368 139685171522072 5157572 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=280658530536896 CPUtime=19.88 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 109561 0 0 0 1983 5 0 0 20 0 9 0 559201015 1380306944 200218 33554432000 4194304 6211132 140721752546368 139685163129528 5039022 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=3512 CPUtime=19.84 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 113463 0 0 0 1959 25 0 0 20 0 9 0 559201015 1380306944 200218 33554432000 4194304 6211132 140721752546368 139685154736552 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=10544 CPUtime=19.86 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 127719 0 0 0 1978 8 0 0 20 0 9 0 559201015 1380306944 200218 33554432000 4194304 6211132 140721752546368 139685146343880 5008997 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 164.33 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 800872 KiB
[startup+51.1106 s]
/proc/loadavg: 7.72 7.95 6.74 9/202 19057
/proc/meminfo: memFree=30579720/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=1347956 memory=806236 CPUtime=368.62 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 1490278 0 0 0 36679 183 0 0 20 0 9 0 559200455 1380306944 201559 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 201559 876 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=3512 CPUtime=45.43 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 156249 0 0 0 4515 28 0 0 20 0 9 0 559201015 1380306944 201559 33554432000 4194304 6211132 140721752546368 139685205093048 5035312 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=806152 CPUtime=45.47 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 166016 0 0 0 4534 13 0 0 20 0 9 0 559201015 1380306944 201559 33554432000 4194304 6211132 140721752546368 139685196700104 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=805716 CPUtime=44.86 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 166486 0 0 0 4458 28 0 0 20 0 9 0 559201015 1380306944 201559 33554432000 4194304 6211132 140721752546368 139685188307400 5035232 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=805524 CPUtime=45.45 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 165104 0 0 0 4534 11 0 0 20 0 9 0 559201015 1380306944 201559 33554432000 4194304 6211132 140721752546368 139685179914936 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=805680 CPUtime=45.42 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 163448 0 0 0 4511 31 0 0 20 0 9 0 559201015 1380306944 201559 33554432000 4194304 6211132 140721752546368 139685171522832 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=806204 CPUtime=45.46 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 148826 0 0 0 4539 7 0 0 20 0 9 0 559201015 1380306944 201559 33554432000 4194304 6211132 140721752546368 139685163129528 5396788 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=10544 CPUtime=45.42 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 151419 0 0 0 4515 27 0 0 20 0 9 0 559201015 1380306944 201559 33554432000 4194304 6211132 140721752546368 139685154736664 5397267 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=2020 CPUtime=45.44 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 163691 0 0 0 4533 11 0 0 20 0 9 0 559201015 1380306944 201559 33554432000 4194304 6211132 140721752546368 139685146343880 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 368.62 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 806236 KiB
[startup+71.1473 s]
# the end of solver process 19043 was just reported to runsolver
# cumulated CPU time of all completed processes: user=525.77 s, system=1.97835 s
Solver just ended.
??? end of watcher thread
################
# More data... #
################
[pid=19043] ppid=19040 vsize=1347956 memory=808720 CPUtime=471.55 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 1534447 0 0 0 46969 186 0 0 20 0 9 0 559200455 1380306944 202180 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 202180 876 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=6935054825532540783 CPUtime=58.32 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 159905 0 0 0 5804 28 0 0 20 0 9 0 559201015 1380306944 202180 33554432000 4194304 6211132 140721752546368 139685205092968 5250316 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=4872558044660077418 CPUtime=58.36 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 174713 0 0 0 5823 13 0 0 20 0 9 0 559201015 1380306944 202180 33554432000 4194304 6211132 140721752546368 139685196700344 5037744 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=0 CPUtime=57.75 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 171390 0 0 0 5747 28 0 0 20 0 9 0 559201015 1380306944 202180 33554432000 4194304 6211132 140721752546368 139685188307400 5035312 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=273 CPUtime=58.26 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 171373 0 0 0 5815 11 0 0 20 0 9 0 559201015 1380306944 202180 33554432000 4194304 6211132 140721752546368 139685179914856 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=0 CPUtime=58.19 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 167491 0 0 0 5788 31 0 0 20 0 9 0 559201015 1380306944 202180 33554432000 4194304 6211132 140721752546368 139685171522832 5157572 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=1408 CPUtime=58.35 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 154661 0 0 0 5827 8 0 0 20 0 9 0 559201015 1380306944 202180 33554432000 4194304 6211132 140721752546368 139685163129528 5157572 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=2556 CPUtime=58.31 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 157507 0 0 0 5804 27 0 0 20 0 9 0 559201015 1380306944 202180 33554432000 4194304 6211132 140721752546368 139685154736664 5034869 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=807668 CPUtime=58.33 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 168501 0 0 0 5822 11 0 0 20 0 9 0 559201015 1380306944 202180 33554432000 4194304 6211132 140721752546368 139685146343880 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 471.55 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 808720 KiB
[startup+67.2006 s]
/proc/loadavg: 7.78 7.95 6.76 9/201 19057
/proc/meminfo: memFree=30579208/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=1347956 memory=808828 CPUtime=497.04 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 1575452 0 0 0 49514 190 0 0 20 0 9 0 559200455 1380306944 202207 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 202207 876 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=3512 CPUtime=61.52 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 164614 0 0 0 6123 29 0 0 20 0 9 0 559201015 1380306944 202207 33554432000 4194304 6211132 140721752546368 139685205092968 5035232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=10544 CPUtime=61.55 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 180502 0 0 0 6142 13 0 0 20 0 9 0 559201015 1380306944 202207 33554432000 4194304 6211132 140721752546368 139685196700344 5009042 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=2020 CPUtime=60.95 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 177920 0 0 0 6066 29 0 0 20 0 9 0 559201015 1380306944 202207 33554432000 4194304 6211132 140721752546368 139685188307640 5158226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=988 CPUtime=61.41 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 176728 0 0 0 6129 12 0 0 20 0 9 0 559201015 1380306944 202207 33554432000 4194304 6211132 140721752546368 139685179914856 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=1432 CPUtime=61.38 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 171231 0 0 0 6106 32 0 0 20 0 9 0 559201015 1380306944 202207 33554432000 4194304 6211132 140721752546368 139685171522832 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=6935054825532540783 CPUtime=61.54 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 159135 0 0 0 6146 8 0 0 20 0 9 0 559201015 1380306944 202207 33554432000 4194304 6211132 140721752546368 139685163129528 5156165 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=576587674381544995 CPUtime=61.5 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 163030 0 0 0 6122 28 0 0 20 0 9 0 559201015 1380306944 202207 33554432000 4194304 6211132 140721752546368 139685154736824 5158226 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=288292190210491238 CPUtime=61.52 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 173253 0 0 0 6141 11 0 0 20 0 9 0 559201015 1380306944 202207 33554432000 4194304 6211132 140721752546368 139685146343880 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 497.04 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 808828 KiB
[startup+68.8006 s]
/proc/loadavg: 7.78 7.95 6.76 9/201 19057
/proc/meminfo: memFree=30579332/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=1347956 memory=810520 CPUtime=509.82 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 1584317 0 0 0 50791 191 0 0 20 0 9 0 559200455 1380306944 202630 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 202630 876 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=11624 CPUtime=63.12 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 164650 0 0 0 6283 29 0 0 20 0 9 0 559201015 1380306944 202630 33554432000 4194304 6211132 140721752546368 139685205093048 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=808816 CPUtime=63.15 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 182689 0 0 0 6302 13 0 0 20 0 9 0 559201015 1380306944 202630 33554432000 4194304 6211132 140721752546368 139685196700344 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=1232 CPUtime=62.55 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 177999 0 0 0 6226 29 0 0 20 0 9 0 559201015 1380306944 202630 33554432000 4194304 6211132 140721752546368 139685188308096 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=14008 CPUtime=62.99 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 182213 0 0 0 6287 12 0 0 20 0 9 0 559201015 1380306944 202630 33554432000 4194304 6211132 140721752546368 139685179914776 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=6935054825532540783 CPUtime=62.98 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 172087 0 0 0 6266 32 0 0 20 0 9 0 559201015 1380306944 202630 33554432000 4194304 6211132 140721752546368 139685171522152 5156220 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=4196 CPUtime=63.14 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 159275 0 0 0 6306 8 0 0 20 0 9 0 559201015 1380306944 202630 33554432000 4194304 6211132 140721752546368 139685163129528 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=4104 CPUtime=63.1 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 163097 0 0 0 6282 28 0 0 20 0 9 0 559201015 1380306944 202630 33554432000 4194304 6211132 140721752546368 139685154736664 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=1408 CPUtime=63.12 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 173268 0 0 0 6301 11 0 0 20 0 9 0 559201015 1380306944 202630 33554432000 4194304 6211132 140721752546368 139685146343880 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 509.82 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 810520 KiB
[startup+70.4006 s]
/proc/loadavg: 7.88 7.97 6.77 9/201 19057
/proc/meminfo: memFree=30574616/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=1347956 memory=811772 CPUtime=522.49 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 1588437 0 0 0 52058 191 0 0 20 0 9 0 559200455 1380306944 202943 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 202943 876 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=807188 CPUtime=64.71 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 164659 0 0 0 6442 29 0 0 20 0 9 0 559201015 1380306944 202943 33554432000 4194304 6211132 140721752546368 139685205093048 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=807076 CPUtime=64.74 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 182696 0 0 0 6461 13 0 0 20 0 9 0 559201015 1380306944 202943 33554432000 4194304 6211132 140721752546368 139685196700344 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=2124 CPUtime=64.14 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 178011 0 0 0 6385 29 0 0 20 0 9 0 559201015 1380306944 202943 33554432000 4194304 6211132 140721752546368 139685188308096 5157594 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=6935054825532540783 CPUtime=64.55 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 182236 0 0 0 6443 12 0 0 20 0 9 0 559201015 1380306944 202943 33554432000 4194304 6211132 140721752546368 139685179914776 5396788 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=1056 CPUtime=64.56 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 175832 0 0 0 6424 32 0 0 20 0 9 0 559201015 1380306944 202943 33554432000 4194304 6211132 140721752546368 139685171522184 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=1716 CPUtime=64.73 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 159326 0 0 0 6465 8 0 0 20 0 9 0 559201015 1380306944 202943 33554432000 4194304 6211132 140721752546368 139685163129528 5396791 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=6284 CPUtime=64.68 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 163152 0 0 0 6440 28 0 0 20 0 9 0 559201015 1380306944 202943 33554432000 4194304 6211132 140721752546368 139685154736664 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=3512 CPUtime=64.7 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 173486 0 0 0 6459 11 0 0 20 0 9 0 559201015 1380306944 202943 33554432000 4194304 6211132 140721752546368 139685146344120 5155832 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 522.49 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 811772 KiB
[startup+70.8006 s]
/proc/loadavg: 7.88 7.97 6.77 9/201 19057
/proc/meminfo: memFree=30574616/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=1347956 memory=811816 CPUtime=525.69 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 1588473 0 0 0 52378 191 0 0 20 0 9 0 559200455 1380306944 202954 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 202954 876 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=3054156605268063860 CPUtime=65.11 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 164663 0 0 0 6482 29 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685205093048 5035302 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=319862227027099935 CPUtime=65.14 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 182696 0 0 0 6501 13 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685196700344 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=6935054825532540783 CPUtime=64.54 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 178013 0 0 0 6425 29 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685188308096 5035263 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=1716 CPUtime=64.95 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 182236 0 0 0 6483 12 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685179914696 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=6284 CPUtime=64.96 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 175833 0 0 0 6464 32 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685171522184 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=11624 CPUtime=65.13 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 159327 0 0 0 6505 8 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685163129528 5035278 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=784 CPUtime=65.08 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 163152 0 0 0 6480 28 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685154736664 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=808720 CPUtime=65.1 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 173514 0 0 0 6499 11 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685146344120 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 525.69 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 811816 KiB
[startup+71.0006 s]*
/proc/loadavg: 7.88 7.97 6.77 9/201 19057
/proc/meminfo: memFree=30575884/32770624 swapFree=66936012/67108860
[pid=19043] ppid=19040 vsize=1347956 memory=811816 CPUtime=527.35 cores=0-7
/proc/19043/stat : 19043 (cosoco) S 19040 19043 14101 0 -1 1077944320 1588496 0 0 0 52544 191 0 0 20 0 9 0 559200455 1380306944 202954 33554432000 4194304 6211132 140721752546368 140721752544624 139685228236535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
/proc/19043/statm: 336989 202954 876 493 0 330294 0
[pid=19043/tid=19047] ppid=19040 vsize=1347956 memory=6935054825532540783 CPUtime=65.32 cores=0-7
/proc/19043/task/19047/stat : 19047 (cosoco) R 19040 19043 14101 0 -1 4202560 164664 0 0 0 6503 29 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685205093048 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19048] ppid=19040 vsize=1347956 memory=4872558044660077418 CPUtime=65.35 cores=0-7
/proc/19043/task/19048/stat : 19048 (cosoco) R 19040 19043 14101 0 -1 4202560 182696 0 0 0 6522 13 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685196700944 5396788 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19049] ppid=19040 vsize=1347956 memory=492 CPUtime=64.75 cores=0-7
/proc/19043/task/19049/stat : 19049 (cosoco) R 19040 19043 14101 0 -1 4202560 178013 0 0 0 6446 29 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685188308096 5155832 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19050] ppid=19040 vsize=1347956 memory=1560 CPUtime=65.16 cores=0-7
/proc/19043/task/19050/stat : 19050 (cosoco) R 19040 19043 14101 0 -1 4202560 182249 0 0 0 6504 12 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685179914936 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19051] ppid=19040 vsize=1347956 memory=932 CPUtime=65.16 cores=0-7
/proc/19043/task/19051/stat : 19051 (cosoco) R 19040 19043 14101 0 -1 4202560 175835 0 0 0 6484 32 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685171522184 5156220 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19052] ppid=19040 vsize=1347956 memory=492 CPUtime=65.34 cores=0-7
/proc/19043/task/19052/stat : 19052 (cosoco) R 19040 19043 14101 0 -1 4202560 159327 0 0 0 6526 8 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685163129528 5155832 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19053] ppid=19040 vsize=1347956 memory=1560 CPUtime=65.29 cores=0-7
/proc/19043/task/19053/stat : 19053 (cosoco) R 19040 19043 14101 0 -1 4202560 163152 0 0 0 6501 28 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685154736664 5035270 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
[pid=19043/tid=19054] ppid=19040 vsize=1347956 memory=932 CPUtime=65.31 cores=0-7
/proc/19043/task/19054/stat : 19054 (cosoco) R 19040 19043 14101 0 -1 4202560 173521 0 0 0 6520 11 0 0 20 0 9 0 559201015 1380306944 202954 33554432000 4194304 6211132 140721752546368 139685146344120 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33333248 140721752548374 140721752548466 140721752548466 140721752551374 0
Current children cumulated CPU time: 527.35 s
Current children cumulated vsize: 1347956 KiB
Current children cumulated memory: 811816 KiB
[startup+71.11 s]*
/proc/loadavg: 7.88 7.97 6.77 2/193 19057
/proc/meminfo: memFree=30953404/32770624 swapFree=66936012/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): 71.1473
CPU time (s): 527.748
CPU user time (s): 525.77
CPU system time (s): 1.97835
CPU usage (%): 741.768
Max. virtual memory (cumulated for all children) (KiB): 1348220
Max. memory (cumulated for all children) (KiB): 811816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 525.77
system time used= 1.97835
maximum resident set size= 812180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1588696
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= 2403
involuntary context switches= 4360
# summary of solver processes directly reported to runsolver:
# pid: 19043
# total CPU time (s): 527.748
# total CPU user time (s): 525.77
# total CPU system time (s): 1.97835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.36749 second user time and 0.75115 second system time
The end
Begin job on node147 at 2019-09-30 10:40:23 IDJOB=4410011 IDBENCH=141204 IDSOLVER=2878 FILE ID=node147/4410011-1569832867 RUNJOBID= node147-1569818085-14128 PBS_JOBID= 21705926 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 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-4410011-1569832867/watcher-4410011-1569832867 -o /tmp/evaluation-result-4410011-1569832867/solver-4410011-1569832867 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410011-1569832867.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1 RANDOM SEED=1057115067 node147.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.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31388060 kB MemAvailable: 31796348 kB Buffers: 242336 kB Cached: 494276 kB SwapCached: 68896 kB Active: 418532 kB Inactive: 391464 kB Active(anon): 18364 kB Inactive(anon): 137120 kB Active(file): 400168 kB Inactive(file): 254344 kB Unevictable: 107304 kB Mlocked: 107304 kB SwapTotal: 67108860 kB SwapFree: 66936012 kB Dirty: 2824 kB Writeback: 0 kB AnonPages: 113236 kB Mapped: 26576 kB Shmem: 73672 kB Slab: 168188 kB SReclaimable: 139224 kB SUnreclaim: 28964 kB KernelStack: 3376 kB PageTables: 5400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538636 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= 62028 MiB End job on node147 at 2019-09-30 10:41:34