0.21/0.30 c
0.21/0.30 c This is cosoco 2.00 --
0.21/0.30 c
0.21/0.30 c command line: cosoco -model -nbcores=8 HOME/instance-4398634-1568611079.xml
0.21/0.30 c intension eq(dist(f[174],f[60]),40) -> extension (support ? 1) - 282tuples
0.21/0.31 c intension -> extension : same as previous
0.21/0.31 c intension -> extension : same as previous
0.21/0.31 c intension -> extension : same as previous
0.21/0.31 c intension eq(dist(f[196],f[87]),40) -> extension (support ? 1) - 198tuples
0.21/0.31 c intension eq(dist(f[150],f[230]),40) -> extension (support ? 1) - 186tuples
0.31/0.32 c intension eq(dist(f[166],f[92]),40) -> extension (support ? 1) - 282tuples
0.31/0.33 c intension eq(dist(f[148],f[31]),40) -> extension (support ? 1) - 118tuples
0.31/0.33 c intension eq(dist(f[127],f[16]),40) -> extension (support ? 1) - 46tuples
0.31/0.34 c intension eq(dist(f[268],f[298]),40) -> extension (support ? 1) - 282tuples
0.31/0.34 c intension eq(dist(f[108],f[76]),40) -> extension (support ? 1) - 42tuples
0.31/0.35 c intension eq(dist(f[124],f[89]),40) -> extension (support ? 1) - 186tuples
0.31/0.35 c intension eq(dist(f[211],f[279]),40) -> extension (support ? 1) - 46tuples
0.31/0.36 c intension eq(dist(f[251],f[35]),40) -> extension (support ? 1) - 282tuples
0.31/0.36 c intension eq(dist(f[19],f[65]),40) -> extension (support ? 1) - 186tuples
0.31/0.38 c intension eq(dist(f[296],f[61]),40) -> extension (support ? 1) - 282tuples
0.31/0.38 c intension -> extension : same as previous
0.31/0.38 c intension eq(dist(f[160],f[53]),40) -> extension (support ? 1) - 58tuples
0.31/0.39 c intension eq(dist(f[154],f[67]),40) -> extension (support ? 1) - 282tuples
0.31/0.40 c intension eq(dist(f[63],f[74]),40) -> extension (support ? 1) - 218tuples
0.31/0.40 c intension eq(dist(f[202],f[64]),40) -> extension (support ? 1) - 58tuples
0.31/0.40 c intension eq(dist(f[130],f[153]),40) -> extension (support ? 1) - 42tuples
0.31/0.41 c intension eq(dist(f[138],f[51]),40) -> extension (support ? 1) - 282tuples
0.41/0.41 c intension -> extension : same as previous
0.41/0.41 c intension -> extension : same as previous
0.41/0.41 c intension -> extension : same as previous
0.41/0.41 c intension eq(dist(f[170],f[205]),40) -> extension (support ? 1) - 46tuples
0.41/0.42 c intension eq(dist(f[100],f[228]),40) -> extension (support ? 1) - 42tuples
0.41/0.43 c intension eq(dist(f[183],f[224]),40) -> extension (support ? 1) - 282tuples
0.41/0.43 c intension eq(dist(f[15],f[54]),40) -> extension (support ? 1) - 218tuples
0.41/0.44 c intension eq(dist(f[259],f[83]),40) -> extension (support ? 1) - 46tuples
0.41/0.44 c intension eq(dist(f[13],f[181]),40) -> extension (support ? 1) - 118tuples
0.41/0.45 c intension eq(dist(f[261],f[9]),40) -> extension (support ? 1) - 282tuples
0.41/0.45 c intension eq(dist(f[107],f[203]),40) -> extension (support ? 1) - 126tuples
0.41/0.46 c intension eq(dist(f[27],f[42]),40) -> extension (support ? 1) - 98tuples
0.41/0.46 c intension eq(dist(f[29],f[47]),40) -> extension (support ? 1) - 42tuples
0.41/0.47 c intension eq(dist(f[163],f[206]),40) -> extension (support ? 1) - 282tuples
0.41/0.47 c intension eq(dist(f[14],f[270]),40) -> extension (support ? 1) - 42tuples
0.41/0.48 c intension eq(dist(f[12],f[152]),40) -> extension (support ? 1) - 218tuples
0.41/0.48 c intension eq(dist(f[134],f[285]),40) -> extension (support ? 1) - 190tuples
0.41/0.49 c intension eq(dist(f[117],f[207]),40) -> extension (support ? 1) - 282tuples
0.41/0.50 c intension -> extension : same as previous
0.41/0.50 c intension -> extension : same as previous
0.41/0.50 c intension eq(dist(f[11],f[125]),40) -> extension (support ? 1) - 118tuples
0.41/0.51 c intension eq(dist(f[115],f[93]),40) -> extension (support ? 1) - 282tuples
0.41/0.51 c intension eq(dist(f[262],f[66]),40) -> extension (support ? 1) - 42tuples
0.51/0.51 c intension eq(dist(f[178],f[70]),40) -> extension (support ? 1) - 126tuples
0.51/0.53 c intension -> extension : same as previous
0.51/0.53 c intension eq(dist(f[137],f[225]),40) -> extension (support ? 1) - 282tuples
0.51/0.53 c intension eq(dist(f[165],f[97]),40) -> extension (support ? 1) - 46tuples
0.51/0.53 c intension eq(dist(f[237],f[283]),40) -> extension (support ? 1) - 42tuples
0.51/0.54 c intension eq(dist(f[113],f[38]),40) -> extension (support ? 1) - 282tuples
0.51/0.54 c intension -> extension : same as previous
0.51/0.54 c intension -> extension : same as previous
0.51/0.54 c intension -> extension : same as previous
0.51/0.54 c intension -> extension : same as previous
0.51/0.54 c intension -> extension : same as previous
0.51/0.54 c intension eq(dist(f[191],f[82]),40) -> extension (support ? 1) - 118tuples
0.51/0.56 c intension eq(dist(f[57],f[98]),40) -> extension (support ? 1) - 282tuples
0.51/0.56 c intension -> extension : same as previous
0.51/0.56 c intension eq(dist(f[246],f[254]),40) -> extension (support ? 1) - 218tuples
0.51/0.57 c intension eq(dist(f[171],f[245]),40) -> extension (support ? 1) - 126tuples
0.51/0.58 c intension eq(dist(f[133],f[186]),40) -> extension (support ? 1) - 282tuples
0.51/0.58 c intension eq(dist(f[147],f[182]),40) -> extension (support ? 1) - 118tuples
0.51/0.59 c intension eq(dist(f[121],f[131]),40) -> extension (support ? 1) - 282tuples
0.51/0.60 c intension -> extension : same as previous
0.51/0.60 c intension -> extension : same as previous
0.51/0.60 c intension eq(dist(f[146],f[209]),40) -> extension (support ? 1) - 218tuples
0.60/0.61 c intension eq(dist(f[22],f[297]),40) -> extension (support ? 1) - 282tuples
0.60/0.61 c intension eq(dist(f[168],f[62]),40) -> extension (support ? 1) - 46tuples
0.60/0.62 c intension eq(dist(f[157],f[278]),40) -> extension (support ? 1) - 186tuples
0.60/0.63 c intension eq(dist(f[290],f[291]),40) -> extension (support ? 1) - 282tuples
0.60/0.64 c intension eq(dist(f[122],f[71]),40) -> extension (support ? 1) - 186tuples
0.60/0.65 c intension eq(dist(f[236],f[250]),40) -> extension (support ? 1) - 282tuples
0.60/0.66 c intension eq(dist(f[143],f[6]),40) -> extension (support ? 1) - 218tuples
0.60/0.67 c intension eq(dist(f[244],f[274]),40) -> extension (support ? 1) - 282tuples
0.60/0.67 c intension eq(dist(f[294],f[8]),40) -> extension (support ? 1) - 58tuples
0.60/0.68 c intension eq(dist(f[159],f[39]),40) -> extension (support ? 1) - 282tuples
0.60/0.68 c intension eq(dist(f[135],f[84]),40) -> extension (support ? 1) - 46tuples
0.69/0.70 c intension eq(dist(f[105],f[55]),40) -> extension (support ? 1) - 282tuples
0.69/0.70 c intension -> extension : same as previous
0.69/0.70 c intension -> extension : same as previous
0.69/0.70 c intension eq(dist(f[194],f[204]),40) -> extension (support ? 1) - 58tuples
0.69/0.71 c intension eq(dist(f[187],f[50]),40) -> extension (support ? 1) - 198tuples
0.69/0.71 c intension eq(dist(f[233],f[80]),40) -> extension (support ? 1) - 126tuples
0.69/0.72 c intension eq(dist(f[222],f[231]),40) -> extension (support ? 1) - 282tuples
0.69/0.73 c intension eq(dist(f[229],f[2]),40) -> extension (support ? 1) - 190tuples
0.69/0.73 c intension eq(dist(f[175],f[197]),40) -> extension (support ? 1) - 218tuples
0.69/0.74 c intension eq(dist(f[199],f[249]),40) -> extension (support ? 1) - 46tuples
0.69/0.74 c intension eq(dist(f[195],f[232]),40) -> extension (support ? 1) - 198tuples
0.69/0.75 c intension eq(dist(f[226],f[282]),40) -> extension (support ? 1) - 282tuples
0.69/0.75 c intension eq(dist(f[193],f[85]),40) -> extension (support ? 1) - 46tuples
0.69/0.76 c intension eq(dist(f[0],f[41]),40) -> extension (support ? 1) - 282tuples
0.69/0.77 c intension -> extension : same as previous
0.69/0.77 c intension eq(dist(f[23],f[75]),40) -> extension (support ? 1) - 46tuples
0.69/0.78 c intension eq(dist(f[26],f[286]),40) -> extension (support ? 1) - 282tuples
0.69/0.78 c intension eq(dist(f[247],f[276]),40) -> extension (support ? 1) - 46tuples
0.69/0.78 c intension -> extension : same as previous
0.69/0.78 c intension eq(dist(f[119],f[25]),40) -> extension (support ? 1) - 58tuples
0.69/0.79 c intension eq(dist(f[120],f[68]),40) -> extension (support ? 1) - 282tuples
0.79/0.80 c intension -> extension : same as previous
0.79/0.80 c intension -> extension : same as previous
0.79/0.80 c intension -> extension : same as previous
0.79/0.80 c intension -> extension : same as previous
0.79/0.80 c intension eq(dist(f[164],f[255]),40) -> extension (support ? 1) - 46tuples
0.79/0.81 c intension eq(dist(f[1],f[260]),40) -> extension (support ? 1) - 282tuples
0.79/0.81 c intension -> extension : same as previous
0.79/0.81 c intension eq(dist(f[208],f[241]),40) -> extension (support ? 1) - 42tuples
0.79/0.81 c intension eq(dist(f[158],f[28]),40) -> extension (support ? 1) - 126tuples
0.79/0.82 c intension eq(dist(f[188],f[58]),40) -> extension (support ? 1) - 282tuples
0.79/0.83 c intension -> extension : same as previous
0.79/0.83 c intension eq(dist(f[10],f[126]),40) -> extension (support ? 1) - 186tuples
0.79/0.83 c intension eq(dist(f[116],f[48]),40) -> extension (support ? 1) - 126tuples
0.79/0.84 c intension eq(dist(f[172],f[212]),40) -> extension (support ? 1) - 118tuples
0.79/0.84 c intension eq(dist(f[235],f[44]),40) -> extension (support ? 1) - 42tuples
0.79/0.85 c intension eq(dist(f[239],f[257]),40) -> extension (support ? 1) - 282tuples
0.79/0.85 c intension eq(dist(f[142],f[156]),40) -> extension (support ? 1) - 46tuples
0.79/0.85 c intension eq(dist(f[102],f[189]),40) -> extension (support ? 1) - 58tuples
0.79/0.86 c intension eq(dist(f[128],f[45]),40) -> extension (support ? 1) - 282tuples
0.79/0.87 c intension -> extension : same as previous
0.79/0.87 c intension eq(dist(f[3],f[88]),40) -> extension (support ? 1) - 118tuples
0.79/0.88 c intension eq(dist(f[110],f[275]),40) -> extension (support ? 1) - 282tuples
0.79/0.88 c intension eq(dist(f[220],f[281]),40) -> extension (support ? 1) - 126tuples
0.79/0.89 c intension eq(dist(f[114],f[267]),40) -> extension (support ? 1) - 218tuples
0.88/0.90 c intension eq(dist(f[200],f[256]),40) -> extension (support ? 1) - 282tuples
0.88/0.90 c intension -> extension : same as previous
0.88/0.90 c intension eq(dist(f[109],f[173]),40) -> extension (support ? 1) - 98tuples
0.88/0.91 c intension eq(dist(f[140],f[292]),40) -> extension (support ? 1) - 282tuples
0.88/0.92 c intension eq(dist(f[18],f[221]),40) -> extension (support ? 1) - 126tuples
0.88/0.93 c intension eq(dist(f[144],f[277]),40) -> extension (support ? 1) - 282tuples
0.88/0.93 c intension -> extension : same as previous
0.88/0.93 c intension eq(dist(f[210],f[299]),40) -> extension (support ? 1) - 58tuples
0.88/0.93 c intension eq(dist(f[101],f[106]),40) -> extension (support ? 1) - 126tuples
0.88/0.94 c intension eq(dist(f[104],f[73]),40) -> extension (support ? 1) - 218tuples
0.88/0.95 c intension eq(dist(f[273],f[43]),40) -> extension (support ? 1) - 186tuples
0.88/0.96 c intension eq(dist(f[280],f[5]),40) -> extension (support ? 1) - 282tuples
0.88/0.96 c intension -> extension : same as previous
0.88/0.96 c intension -> extension : same as previous
0.88/0.96 c intension eq(dist(f[248],f[49]),40) -> extension (support ? 1) - 46tuples
0.88/0.96 c intension eq(dist(f[240],f[284]),40) -> extension (support ? 1) - 42tuples
0.88/0.96 c intension eq(dist(f[145],f[81]),40) -> extension (support ? 1) - 126tuples
0.88/0.98 c intension eq(dist(f[227],f[253]),40) -> extension (support ? 1) - 282tuples
0.88/0.98 c intension eq(dist(f[269],f[32]),40) -> extension (support ? 1) - 190tuples
0.88/0.98 c intension eq(dist(f[103],f[216]),40) -> extension (support ? 1) - 42tuples
0.88/0.99 c intension eq(dist(f[132],f[7]),40) -> extension (support ? 1) - 98tuples
0.88/1.00 c intension eq(dist(f[34],f[69]),40) -> extension (support ? 1) - 282tuples
1.00/1.01 c intension -> extension : same as previous
1.00/1.01 c intension -> extension : same as previous
1.00/1.01 c intension eq(dist(f[33],f[4]),40) -> extension (support ? 1) - 186tuples
1.00/1.01 c intension -> extension : same as previous
1.00/1.01 c intension ne(dist(f[225],f[25]),2) -> extension (support ? 0) - 0tuples
1.00/1.01 c intension ne(dist(f[178],f[285]),465) -> extension (support ? 0) - 0tuples
1.00/1.02 c intension ne(dist(f[281],f[6]),18) -> extension (support ? 0) - 0tuples
1.00/1.02 c intension ne(dist(f[14],f[236]),86) -> extension (support ? 0) - 0tuples
1.00/1.02 c intension ne(dist(f[10],f[270]),112) -> extension (support ? 0) - 36tuples
1.00/1.03 c intension ne(dist(f[195],f[290]),202) -> extension (support ? 0) - 0tuples
1.00/1.04 c intension ne(dist(f[131],f[238]),91) -> extension (support ? 0) - 0tuples
1.00/1.05 c intension ne(dist(f[100],f[137]),105) -> extension (support ? 0) - 0tuples
1.00/1.05 c intension ne(dist(f[11],f[159]),11) -> extension (support ? 0) - 0tuples
1.00/1.06 c intension ne(dist(f[184],f[260]),119) -> extension (support ? 0) - 0tuples
1.00/1.07 c intension ne(dist(f[195],f[36]),99) -> extension (support ? 0) - 0tuples
1.00/1.08 c intension ne(dist(f[246],f[31]),127) -> extension (support ? 0) - 0tuples
1.00/1.08 c intension ne(dist(f[37],f[71]),167) -> extension (support ? 0) - 0tuples
1.00/1.10 c intension ne(dist(f[22],f[253]),59) -> extension (support ? 0) - 0tuples
1.00/1.10 c intension ne(dist(f[11],f[281]),18) -> extension (support ? 0) - 0tuples
1.00/1.10 c intension ne(dist(f[125],f[161]),95) -> extension (support ? 0) - 0tuples
1.10/1.11 c intension ne(dist(f[120],f[189]),76) -> extension (support ? 0) - 78tuples
1.10/1.11 c intension ne(dist(f[142],f[241]),25) -> extension (support ? 0) - 0tuples
1.10/1.11 c intension ne(dist(f[175],f[283]),7) -> extension (support ? 0) - 0tuples
1.10/1.12 c intension ne(dist(f[151],f[289]),164) -> extension (support ? 0) - 220tuples
1.10/1.13 c intension ne(dist(f[214],f[41]),89) -> extension (support ? 0) - 0tuples
1.10/1.13 c intension ne(dist(f[119],f[80]),65) -> extension (support ? 0) - 0tuples
1.10/1.14 c intension ne(dist(f[269],f[87]),104) -> extension (support ? 0) - 161tuples
1.10/1.15 c intension ne(dist(f[151],f[209]),52) -> extension (support ? 0) - 229tuples
1.10/1.15 c intension ne(dist(f[15],f[196]),413) -> extension (support ? 0) - 0tuples
1.10/1.17 c intension ne(dist(f[0],f[60]),22) -> extension (support ? 0) - 0tuples
1.10/1.18 c intension ne(dist(f[213],f[298]),18) -> extension (support ? 0) - 0tuples
1.10/1.18 c intension ne(dist(f[248],f[37]),66) -> extension (support ? 0) - 0tuples
1.10/1.19 c intension ne(dist(f[43],f[58]),247) -> extension (support ? 0) - 0tuples
1.10/1.19 c intension ne(dist(f[276],f[78]),160) -> extension (support ? 0) - 66tuples
1.19/1.20 c intension ne(dist(f[159],f[253]),132) -> extension (support ? 0) - 236tuples
1.19/1.20 c intension ne(dist(f[49],f[70]),112) -> extension (support ? 0) - 47tuples
1.19/1.21 c intension ne(dist(f[133],f[98]),68) -> extension (support ? 0) - 268tuples
1.19/1.22 c intension ne(dist(f[112],f[196]),21) -> extension (support ? 0) - 0tuples
1.19/1.22 c intension ne(dist(f[119],f[218]),37) -> extension (support ? 0) - 0tuples
1.19/1.23 c intension ne(dist(f[272],f[54]),460) -> extension (support ? 0) - 40tuples
1.19/1.24 c intension ne(dist(f[34],f[9]),503) -> extension (support ? 0) - 0tuples
1.19/1.25 c intension ne(dist(f[153],f[256]),8) -> extension (support ? 0) - 62tuples
1.19/1.25 c intension ne(dist(f[21],f[254]),28) -> extension (support ? 0) - 116tuples
1.19/1.26 c intension ne(dist(f[118],f[150]),245) -> extension (support ? 0) - 0tuples
1.19/1.26 c intension ne(dist(f[249],f[297]),91) -> extension (support ? 0) - 0tuples
1.19/1.27 c intension ne(dist(f[132],f[30]),61) -> extension (support ? 0) - 0tuples
1.19/1.28 c intension ne(dist(f[261],f[79]),53) -> extension (support ? 0) - 0tuples
1.19/1.29 c intension ne(dist(f[175],f[30]),6) -> extension (support ? 0) - 0tuples
1.19/1.29 c intension ne(dist(f[238],f[7]),180) -> extension (support ? 0) - 80tuples
1.29/1.30 c intension ne(dist(f[261],f[35]),346) -> extension (support ? 0) - 0tuples
1.29/1.30 c intension ne(dist(f[211],f[65]),148) -> extension (support ? 0) - 33tuples
1.29/1.31 c intension ne(dist(f[13],f[62]),16) -> extension (support ? 0) - 61tuples
1.29/1.31 c intension ne(dist(f[137],f[88]),17) -> extension (support ? 0) - 0tuples
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.29/1.32 c AllEqual constraint using 1 generic x=y constraints
1.39/1.48 c intension eq(dist(f[160],f[8]),d[113]) -> extension (support ? 1) - 1521tuples
1.49/1.54 c intension -> extension : same as previous
1.49/1.54 c intension eq(dist(f[14],f[66]),d[164]) -> extension (support ? 1) - 961tuples
1.49/1.56 c intension eq(dist(f[14],f[76]),d[166]) -> extension (support ? 1) - 961tuples
1.59/1.62 c intension eq(dist(f[14],f[194]),d[171]) -> extension (support ? 1) - 1209tuples
1.59/1.68 c intension eq(dist(f[14],f[299]),d[176]) -> extension (support ? 1) - 1209tuples
1.69/1.71 c intension eq(dist(f[16],f[49]),d[184]) -> extension (support ? 1) - 1089tuples
1.69/1.77 c intension eq(dist(f[16],f[204]),d[190]) -> extension (support ? 1) - 1287tuples
1.79/1.80 c intension eq(dist(f[16],f[211]),d[192]) -> extension (support ? 1) - 1089tuples
1.79/1.83 c intension -> extension : same as previous
1.79/1.83 c intension eq(dist(f[16],f[276]),d[195]) -> extension (support ? 1) - 1089tuples
1.89/1.97 c intension eq(dist(f[130],f[25]),d[304]) -> extension (support ? 1) - 1209tuples
2.00/2.01 c intension eq(dist(f[202],f[25]),d[306]) -> extension (support ? 1) - 1521tuples
2.00/2.08 c intension eq(dist(f[211],f[25]),d[307]) -> extension (support ? 1) - 1287tuples
2.10/2.13 c intension eq(dist(f[235],f[25]),d[309]) -> extension (support ? 1) - 1209tuples
2.10/2.18 c intension -> extension : same as previous
2.10/2.18 c intension eq(dist(f[25],f[299]),d[313]) -> extension (support ? 1) - 1521tuples
2.20/2.23 c intension eq(dist(f[100],f[29]),d[348]) -> extension (support ? 1) - 961tuples
2.39/2.41 c intension eq(dist(f[189],f[44]),d[519]) -> extension (support ? 1) - 1209tuples
2.39/2.43 c intension eq(dist(f[208],f[44]),d[520]) -> extension (support ? 1) - 961tuples
2.39/2.45 c intension -> extension : same as previous
2.39/2.45 c intension eq(dist(f[284],f[44]),d[523]) -> extension (support ? 1) - 961tuples
2.39/2.49 c intension eq(dist(f[130],f[47]),d[549]) -> extension (support ? 1) - 961tuples
2.49/2.52 c intension eq(dist(f[262],f[47]),d[552]) -> extension (support ? 1) - 961tuples
2.49/2.55 c intension -> extension : same as previous
2.49/2.55 c intension -> extension : same as previous
2.49/2.55 c intension eq(dist(f[49],f[62]),d[563]) -> extension (support ? 1) - 1089tuples
2.49/2.58 c intension eq(dist(f[49],f[75]),d[565]) -> extension (support ? 1) - 1089tuples
2.60/2.61 c intension eq(dist(f[211],f[49]),d[569]) -> extension (support ? 1) - 1089tuples
2.69/2.70 c intension eq(dist(f[53],f[76]),d[612]) -> extension (support ? 1) - 1209tuples
2.69/2.76 c intension eq(dist(f[53],f[84]),d[614]) -> extension (support ? 1) - 1287tuples
2.79/2.80 c intension eq(dist(f[202],f[53]),d[619]) -> extension (support ? 1) - 1521tuples
2.89/2.92 c intension -> extension : same as previous
2.89/2.92 c intension eq(dist(f[62],f[64]),d[696]) -> extension (support ? 1) - 1287tuples
2.89/2.99 c intension eq(dist(f[204],f[62]),d[702]) -> extension (support ? 1) - 1287tuples
3.00/3.01 c intension eq(dist(f[235],f[62]),d[703]) -> extension (support ? 1) - 1023tuples
3.00/3.06 c intension eq(dist(f[102],f[64]),d[707]) -> extension (support ? 1) - 1521tuples
3.10/3.12 c intension eq(dist(f[249],f[64]),d[710]) -> extension (support ? 1) - 1287tuples
3.10/3.16 c intension eq(dist(f[129],f[66]),d[725]) -> extension (support ? 1) - 1023tuples
3.10/3.18 c intension eq(dist(f[228],f[66]),d[728]) -> extension (support ? 1) - 961tuples
3.19/3.25 c intension eq(dist(f[168],f[75]),d[783]) -> extension (support ? 1) - 1089tuples
3.19/3.28 c intension eq(dist(f[259],f[75]),d[785]) -> extension (support ? 1) - 1089tuples
3.29/3.31 c intension eq(dist(f[279],f[75]),d[787]) -> extension (support ? 1) - 1089tuples
3.29/3.33 c intension eq(dist(f[76],f[83]),d[788]) -> extension (support ? 1) - 1023tuples
3.29/3.36 c intension eq(dist(f[130],f[76]),d[791]) -> extension (support ? 1) - 961tuples
3.29/3.39 c intension eq(dist(f[165],f[76]),d[794]) -> extension (support ? 1) - 1023tuples
3.39/3.41 c intension -> extension : same as previous
3.39/3.41 c intension eq(dist(f[262],f[76]),d[797]) -> extension (support ? 1) - 961tuples
3.39/3.48 c intension eq(dist(f[228],f[83]),d[865]) -> extension (support ? 1) - 1023tuples
3.49/3.51 c intension eq(dist(f[248],f[83]),d[866]) -> extension (support ? 1) - 1089tuples
3.49/3.54 c intension eq(dist(f[262],f[83]),d[867]) -> extension (support ? 1) - 1023tuples
3.49/3.56 c intension -> extension : same as previous
3.49/3.56 c intension eq(dist(f[84],f[85]),d[869]) -> extension (support ? 1) - 1089tuples
3.49/3.59 c intension -> extension : same as previous
3.49/3.59 c intension eq(dist(f[255],f[84]),d[872]) -> extension (support ? 1) - 1089tuples
3.59/3.62 c intension eq(dist(f[103],f[85]),d[873]) -> extension (support ? 1) - 1023tuples
3.59/3.68 c intension eq(dist(f[160],f[85]),d[875]) -> extension (support ? 1) - 1287tuples
3.69/3.79 c intension eq(dist(f[135],f[97]),d[987]) -> extension (support ? 1) - 1089tuples
3.79/3.82 c intension eq(dist(f[164],f[97]),d[989]) -> extension (support ? 1) - 1089tuples
3.79/3.86 c intension -> extension : same as previous
3.79/3.86 c intension -> extension : same as previous
3.79/3.86 c intension -> extension : same as previous
3.79/3.86 c intension eq(dist(f[100],f[127]),d[1011]) -> extension (support ? 1) - 1023tuples
3.79/3.88 c intension -> extension : same as previous
3.79/3.88 c intension eq(dist(f[100],f[199]),d[1014]) -> extension (support ? 1) - 1023tuples
3.89/3.93 c intension eq(dist(f[102],f[194]),d[1025]) -> extension (support ? 1) - 1521tuples
3.89/3.98 c intension eq(dist(f[102],f[204]),d[1028]) -> extension (support ? 1) - 1521tuples
4.00/4.04 c intension eq(dist(f[102],f[262]),d[1031]) -> extension (support ? 1) - 1209tuples
4.00/4.08 c intension -> extension : same as previous
4.00/4.08 c intension eq(dist(f[102],f[299]),d[1034]) -> extension (support ? 1) - 1521tuples
4.10/4.11 c intension eq(dist(f[103],f[130]),d[1036]) -> extension (support ? 1) - 961tuples
4.10/4.13 c intension eq(dist(f[103],f[205]),d[1039]) -> extension (support ? 1) - 1023tuples
4.10/4.16 c intension eq(dist(f[103],f[235]),d[1040]) -> extension (support ? 1) - 961tuples
4.10/4.18 c intension eq(dist(f[103],f[255]),d[1041]) -> extension (support ? 1) - 1023tuples
4.19/4.23 c intension eq(dist(f[108],f[135]),d[1073]) -> extension (support ? 1) - 1023tuples
4.29/4.34 c intension eq(dist(f[119],f[283]),d[1155]) -> extension (support ? 1) - 1209tuples
4.40/4.45 c intension eq(dist(f[127],f[160]),d[1211]) -> extension (support ? 1) - 1287tuples
4.40/4.47 c intension eq(dist(f[127],f[237]),d[1213]) -> extension (support ? 1) - 1023tuples
4.49/4.50 c intension eq(dist(f[127],f[247]),d[1214]) -> extension (support ? 1) - 1089tuples
4.49/4.57 c intension -> extension : same as previous
4.49/4.57 c intension eq(dist(f[129],f[294]),d[1230]) -> extension (support ? 1) - 1287tuples
4.59/4.63 c intension eq(dist(f[130],f[160]),d[1232]) -> extension (support ? 1) - 1209tuples
4.79/4.86 c intension eq(dist(f[135],f[164]),d[1263]) -> extension (support ? 1) - 1089tuples
4.79/4.86 c intension eq(dist(f[135],f[210]),d[1265]) -> extension (support ? 1) - 1287tuples
4.79/4.86 c intension eq(dist(f[135],f[294]),d[1269]) -> extension (support ? 1) - 1287tuples
4.89/4.92 c intension eq(dist(f[153],f[189]),d[1365]) -> extension (support ? 1) - 1209tuples
4.89/4.96 c intension eq(dist(f[156],f[247]),d[1384]) -> extension (support ? 1) - 1089tuples
5.00/5.04 c intension -> extension : same as previous
5.00/5.04 c intension eq(dist(f[160],f[170]),d[1405]) -> extension (support ? 1) - 1287tuples
5.00/5.08 c intension eq(dist(f[164],f[179]),d[1425]) -> extension (support ? 1) - 1089tuples
5.10/5.14 c intension eq(dist(f[164],f[202]),d[1428]) -> extension (support ? 1) - 1287tuples
5.10/5.17 c intension eq(dist(f[164],f[211]),d[1429]) -> extension (support ? 1) - 1089tuples
5.19/5.20 c intension eq(dist(f[164],f[228]),d[1431]) -> extension (support ? 1) - 1023tuples
5.19/5.25 c intension eq(dist(f[170],f[284]),d[1468]) -> extension (support ? 1) - 1023tuples
5.29/5.31 c intension eq(dist(f[170],f[294]),d[1470]) -> extension (support ? 1) - 1287tuples
5.29/5.37 c intension eq(dist(f[179],f[193]),d[1513]) -> extension (support ? 1) - 1089tuples
5.29/5.39 c intension eq(dist(f[179],f[237]),d[1514]) -> extension (support ? 1) - 1023tuples
5.39/5.42 c intension eq(dist(f[179],f[270]),d[1517]) -> extension (support ? 1) - 1023tuples
5.39/5.48 c intension eq(dist(f[179],f[294]),d[1518]) -> extension (support ? 1) - 1287tuples
5.49/5.55 c intension eq(dist(f[193],f[255]),d[1575]) -> extension (support ? 1) - 1089tuples
5.59/5.61 c intension eq(dist(f[194],f[237]),d[1578]) -> extension (support ? 1) - 1209tuples
5.59/5.65 c intension eq(dist(f[199],f[255]),d[1599]) -> extension (support ? 1) - 1089tuples
5.59/5.67 c intension eq(dist(f[199],f[262]),d[1600]) -> extension (support ? 1) - 1023tuples
5.69/5.73 c intension eq(dist(f[202],f[262]),d[1608]) -> extension (support ? 1) - 1209tuples
5.69/5.78 c intension eq(dist(f[204],f[294]),d[1618]) -> extension (support ? 1) - 1521tuples
5.79/5.81 c intension eq(dist(f[205],f[249]),d[1619]) -> extension (support ? 1) - 1089tuples
5.79/5.84 c intension eq(dist(f[205],f[259]),d[1621]) -> extension (support ? 1) - 1089tuples
5.89/5.91 c intension eq(dist(f[208],f[299]),d[1636]) -> extension (support ? 1) - 1209tuples
5.89/5.94 c intension eq(dist(f[211],f[240]),d[1643]) -> extension (support ? 1) - 1023tuples
5.89/5.97 c intension eq(dist(f[216],f[237]),d[1658]) -> extension (support ? 1) - 961tuples
5.89/5.99 c intension eq(dist(f[216],f[276]),d[1659]) -> extension (support ? 1) - 1023tuples
6.00/6.04 c intension eq(dist(f[228],f[241]),d[1699]) -> extension (support ? 1) - 961tuples
6.00/6.08 c intension eq(dist(f[237],f[241]),d[1721]) -> extension (support ? 1) - 961tuples
6.10/6.13 c intension eq(dist(f[247],f[279]),d[1750]) -> extension (support ? 1) - 1089tuples
6.10/6.15 c intension eq(dist(f[247],f[283]),d[1751]) -> extension (support ? 1) - 1023tuples
6.10/6.18 c intension eq(dist(f[248],f[249]),d[1752]) -> extension (support ? 1) - 1089tuples
6.19/6.25 c intension eq(dist(f[262],f[299]),d[1777]) -> extension (support ? 1) - 1209tuples
1607.26/252.02 c enable optimization
1607.26/252.02 c ========================================[ Problem Statistics ]===========================================
1607.26/252.02 c |
1607.26/252.02 c | Parse time : 56.29 s
1607.26/252.02 c |
1607.26/252.02 c | Variables: 6028
1607.26/252.02 c | Domain Sizes: 1..151
1607.26/252.02 c |
1607.26/252.02 c | Constraints: 3866
1607.26/252.02 c | Arity: 2..3619 -- Binary: 247 -- Ternary: 1809
1607.26/252.02 c |
1607.26/252.02 c | Types:
1607.26/252.02 c | (X != Y): 22
1607.26/252.02 c | (X = Y): 26
1607.26/252.02 c | Extension: 2125 (nb tuples: 0..7220) -- (shared: 424)
1607.26/252.02 c | Intension: 1692
1607.26/252.02 c | Sum: 1
1607.26/252.02 c |
1607.26/252.02 c | Objective: Minimize Sum
1607.26/252.02
1607.26/252.02 c =========================================================================================================
1607.26/252.02 c Parallel mode: Portfolio
1607.26/252.02 c [pFactory][Group N°0] created (threads:8).
1607.26/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1607.26/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1607.26/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1607.26/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1607.26/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1607.26/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1607.26/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1607.26/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1607.26/252.02 c [pFactory][Group N°0] concurrent mode: enabled.
1607.26/252.02 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1607.26/252.02 c [pFactory][Group N°0] task 7 launched on thread 0.
1607.26/252.02 c [pFactory][Group N°0] task 6 launched on thread 2.
1607.26/252.02 c [pFactory][Group N°0] task 5 launched on thread 1.
1607.26/252.02 c [pFactory][Group N°0] task 4 launched on thread 7.
1607.26/252.02 c [pFactory][Group N°0] task 3 launched on thread 5.
1607.26/252.02 c [pFactory][Group N°0] task 2 launched on thread 3.
1607.26/252.02 c [pFactory][Group N°0] task 1 launched on thread 4.
1607.26/252.02 c [pFactory][Group N°0] task 0 launched on thread 6.
1607.26/252.02
1607.26/252.02 c *** INTERRUPTED ***
1607.26/252.02 c call to solver : 0
1607.26/252.02 c
1607.26/252.02 c restarts : 126
1607.26/252.02 c conflicts : 1986 (1 /sec)
1607.26/252.02 c decisions : 80904 (51 /sec)
1607.26/252.02 c propagations : 5718526 (3587 /sec)
1607.26/252.02 c root propagations : 15112
1607.26/252.02 c filter calls : 1798595 (1128 /sec)
1607.26/252.02 c useless filter calls : 1327465 (73 %)
1607.26/252.02 c Memory used : 5898.16 MB
1607.26/252.02 c Best bound time (wc) : -1.56861e+09 s
1607.26/252.02 c CPU time : 1594.13 s
1607.26/252.02 c real time : 252.018 s
1607.26/252.02
1607.26/252.02 c No Bound found!
1607.26/252.02
1607.26/252.02 s UNKNOWN