| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2520.48 | 2520.4199 |
| Name | Fischer/Fischer-m1-s1/ Fischer-08-07-fair.xml |
| MD5SUM | 5f690ca061a68a4e848a5e1ee5dffcd4 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 824.70099 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 14823 |
| Number of constraints | 14025 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 20001 |
| Distribution of domain sizes | [{"size":2,"count":2009},{"size":201,"count":72},{"size":20001,"count":12742}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 121 |
| Distribution of variable degrees | [{"degree":2,"count":13085},{"degree":3,"count":336},{"degree":4,"count":31},{"degree":5,"count":160},{"degree":6,"count":95},{"degree":7,"count":288},{"degree":8,"count":391},{"degree":9,"count":247},{"degree":10,"count":88},{"degree":11,"count":8},{"degree":13,"count":56},{"degree":18,"count":1},{"degree":26,"count":8},{"degree":42,"count":8},{"degree":44,"count":5},{"degree":52,"count":1},{"degree":59,"count":7},{"degree":92,"count":2},{"degree":93,"count":5},{"degree":121,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":2319},{"arity":3,"count":11704}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 14025 |
| Distribution of constraint types | [{"type":"intension","count":14025}] |
| Optimization problem | NO |
| Type of objective |
1.19/1.25 c intension z[727]=x[1] using generic constraint 1.19/1.25 c intension z[728]=x[2] using generic constraint 1.19/1.25 c intension z[737]=x[11] using generic constraint 1.19/1.26 c intension z[827]=x[101] using generic constraint 1.19/1.26 c intension z[1840]=x[1170] using generic constraint 1.19/1.26 c intension z[1828]=x[1158] using generic constraint 1.19/1.26 c intension z[1718]=x[1048] using generic constraint 1.19/1.26 c intension z[1829]=x[1159] using generic constraint 1.19/1.26 c intension z[1003]=x[277] using generic constraint 1.19/1.26 c intension z[1843]=x[1173] using generic constraint 1.19/1.26 c intension z[1842]=x[1172] using generic constraint 1.19/1.26 c intension z[1830]=x[1160] using generic constraint 1.19/1.27 c intension z[1720]=x[1050] using generic constraint 1.19/1.27 c intension z[1831]=x[1161] using generic constraint 1.19/1.27 c intension z[828]=x[102] using generic constraint 1.19/1.27 c intension z[1006]=x[280] using generic constraint 1.19/1.27 c intension z[1845]=x[1175] using generic constraint 1.19/1.27 c intension z[1844]=x[1174] using generic constraint 1.19/1.27 c intension z[1832]=x[1162] using generic constraint 1.19/1.27 c intension z[1722]=x[1052] using generic constraint 1.19/1.27 c intension z[1012]=x[286] using generic constraint 1.19/1.28 c intension z[1009]=x[283] using generic constraint 1.19/1.28 c intension z[1846]=x[1176] using generic constraint 1.19/1.28 c intension z[1724]=x[1054] using generic constraint 1.19/1.28 c intension z[1015]=x[289] using generic constraint 1.19/1.28 c intension z[829]=x[103] using generic constraint 1.19/1.28 c intension z[1848]=x[1178] using generic constraint 1.19/1.28 c intension z[1847]=x[1177] using generic constraint 1.19/1.28 c intension z[1726]=x[1056] using generic constraint 1.19/1.28 c intension z[1018]=x[292] using generic constraint 1.19/1.29 c intension z[1850]=x[1180] using generic constraint 1.19/1.29 c intension z[1849]=x[1179] using generic constraint 1.19/1.29 c intension z[1728]=x[1058] using generic constraint 1.19/1.29 c intension z[1021]=x[295] using generic constraint 1.19/1.29 c intension z[1852]=x[1182] using generic constraint 1.19/1.29 c intension z[1851]=x[1181] using generic constraint 1.19/1.29 c intension z[830]=x[104] using generic constraint 1.19/1.29 c intension z[1730]=x[1060] using generic constraint 1.19/1.29 c intension z[1024]=x[298] using generic constraint 1.19/1.29 c intension z[1854]=x[1184] using generic constraint 1.29/1.30 c intension z[1853]=x[1183] using generic constraint 1.29/1.30 c intension z[1732]=x[1062] using generic constraint 1.29/1.30 c intension z[1027]=x[301] using generic constraint 1.29/1.30 c intension z[1856]=x[1186] using generic constraint 1.29/1.30 c intension z[1855]=x[1185] using generic constraint 1.29/1.30 c intension z[1734]=x[1064] using generic constraint 1.29/1.30 c intension z[1030]=x[304] using generic constraint 1.29/1.30 c intension z[831]=x[105] using generic constraint 1.29/1.30 c intension z[1858]=x[1188] using generic constraint 1.29/1.31 c intension z[1857]=x[1187] using generic constraint 1.29/1.31 c intension z[1736]=x[1066] using generic constraint 1.29/1.31 c intension z[1036]=x[310] using generic constraint 1.29/1.31 c intension z[1033]=x[307] using generic constraint 1.29/1.31 c intension z[1859]=x[1189] using generic constraint 1.29/1.31 c intension z[1738]=x[1068] using generic constraint 1.29/1.31 c intension z[1039]=x[313] using generic constraint 1.29/1.31 c intension z[1861]=x[1191] using generic constraint 1.29/1.31 c intension z[1860]=x[1190] using generic constraint 1.29/1.32 c intension z[832]=x[106] using generic constraint 1.29/1.32 c intension z[1740]=x[1070] using generic constraint 1.29/1.32 c intension z[1042]=x[316] using generic constraint 1.29/1.32 c intension z[1863]=x[1193] using generic constraint 1.29/1.32 c intension z[1862]=x[1192] using generic constraint 1.29/1.32 c intension z[1742]=x[1072] using generic constraint 1.29/1.32 c intension z[1045]=x[319] using generic constraint 1.29/1.32 c intension z[1865]=x[1195] using generic constraint 1.29/1.32 c intension z[1864]=x[1194] using generic constraint 1.29/1.32 c intension z[1744]=x[1074] using generic constraint 1.29/1.33 c intension z[1048]=x[322] using generic constraint 1.29/1.33 c intension z[833]=x[107] using generic constraint 1.29/1.33 c intension z[1867]=x[1197] using generic constraint 1.29/1.33 c intension z[1866]=x[1196] using generic constraint 1.29/1.33 c intension z[1746]=x[1076] using generic constraint 1.29/1.33 c intension z[1051]=x[325] using generic constraint 1.29/1.33 c intension z[1869]=x[1199] using generic constraint 1.29/1.33 c intension z[1868]=x[1198] using generic constraint 1.29/1.33 c intension z[1748]=x[1078] using generic constraint 1.29/1.34 c intension z[1054]=x[328] using generic constraint 1.29/1.34 c intension z[1871]=x[1201] using generic constraint 1.29/1.34 c intension z[1870]=x[1200] using generic constraint 1.29/1.34 c intension z[834]=x[108] using generic constraint 1.29/1.34 c intension z[1750]=x[1080] using generic constraint 1.29/1.34 c intension z[1060]=x[334] using generic constraint 1.29/1.34 c intension z[1057]=x[331] using generic constraint 1.29/1.34 c intension z[1872]=x[1202] using generic constraint 1.29/1.34 c intension z[1752]=x[1082] using generic constraint 1.29/1.35 c intension z[1063]=x[337] using generic constraint 1.29/1.35 c intension z[1874]=x[1204] using generic constraint 1.29/1.35 c intension z[1873]=x[1203] using generic constraint 1.29/1.35 c intension z[1754]=x[1084] using generic constraint 1.29/1.35 c intension z[1066]=x[340] using generic constraint 1.29/1.35 c intension z[835]=x[109] using generic constraint 1.29/1.35 c intension z[1876]=x[1206] using generic constraint 1.29/1.35 c intension z[1875]=x[1205] using generic constraint 1.29/1.35 c intension z[1756]=x[1086] using generic constraint 1.29/1.35 c intension z[1069]=x[343] using generic constraint 1.29/1.36 c intension z[1878]=x[1208] using generic constraint 1.29/1.36 c intension z[1877]=x[1207] using generic constraint 1.29/1.36 c intension z[1758]=x[1088] using generic constraint 1.29/1.36 c intension z[1072]=x[346] using generic constraint 1.29/1.36 c intension z[1880]=x[1210] using generic constraint 1.29/1.36 c intension z[1879]=x[1209] using generic constraint 1.29/1.36 c intension z[836]=x[110] using generic constraint 1.29/1.36 c intension z[1760]=x[1090] using generic constraint 1.29/1.36 c intension z[1075]=x[349] using generic constraint 1.29/1.37 c intension z[1882]=x[1212] using generic constraint 1.29/1.37 c intension z[1881]=x[1211] using generic constraint 1.29/1.37 c intension z[1762]=x[1092] using generic constraint 1.29/1.37 c intension z[1078]=x[352] using generic constraint 1.29/1.37 c intension z[1884]=x[1214] using generic constraint 1.29/1.37 c intension z[1883]=x[1213] using generic constraint 1.29/1.37 c intension z[1764]=x[1094] using generic constraint 1.29/1.37 c intension z[1084]=x[358] using generic constraint 1.29/1.37 c intension z[738]=x[12] using generic constraint 1.29/1.38 c intension z[837]=x[111] using generic constraint 1.29/1.38 c intension z[1081]=x[355] using generic constraint 1.29/1.38 c intension z[1885]=x[1215] using generic constraint 1.29/1.38 c intension z[1766]=x[1096] using generic constraint 1.29/1.38 c intension z[1087]=x[361] using generic constraint 1.29/1.38 c intension z[1887]=x[1217] using generic constraint 1.29/1.38 c intension z[1886]=x[1216] using generic constraint 1.29/1.38 c intension z[1768]=x[1098] using generic constraint 1.29/1.38 c intension z[1090]=x[364] using generic constraint 1.29/1.38 c intension z[1889]=x[1219] using generic constraint 1.29/1.39 c intension z[1888]=x[1218] using generic constraint 1.29/1.39 c intension z[838]=x[112] using generic constraint 1.29/1.39 c intension z[1770]=x[1100] using generic constraint 1.29/1.39 c intension z[1093]=x[367] using generic constraint 1.29/1.39 c intension z[1891]=x[1221] using generic constraint 1.29/1.39 c intension z[1890]=x[1220] using generic constraint 1.29/1.39 c intension z[1772]=x[1102] using generic constraint 1.29/1.39 c intension z[1096]=x[370] using generic constraint 1.29/1.39 c intension z[1893]=x[1223] using generic constraint 1.39/1.40 c intension z[1892]=x[1222] using generic constraint 1.39/1.40 c intension z[1774]=x[1104] using generic constraint 1.39/1.40 c intension z[1099]=x[373] using generic constraint 1.39/1.40 c intension z[839]=x[113] using generic constraint 1.39/1.40 c intension z[1895]=x[1225] using generic constraint 1.39/1.40 c intension z[1894]=x[1224] using generic constraint 1.39/1.40 c intension z[1776]=x[1106] using generic constraint 1.39/1.40 c intension z[1102]=x[376] using generic constraint 1.39/1.40 c intension z[1897]=x[1227] using generic constraint 1.39/1.41 c intension z[1896]=x[1226] using generic constraint 1.39/1.41 c intension z[1778]=x[1108] using generic constraint 1.39/1.41 c intension z[1108]=x[382] using generic constraint 1.39/1.41 c intension z[1105]=x[379] using generic constraint 1.39/1.41 c intension z[1898]=x[1228] using generic constraint 1.39/1.41 c intension z[840]=x[114] using generic constraint 1.39/1.41 c intension z[1780]=x[1110] using generic constraint 1.39/1.41 c intension z[1111]=x[385] using generic constraint 1.39/1.41 c intension z[1900]=x[1230] using generic constraint 1.39/1.42 c intension z[1899]=x[1229] using generic constraint 1.39/1.42 c intension z[1782]=x[1112] using generic constraint 1.39/1.42 c intension z[1114]=x[388] using generic constraint 1.39/1.42 c intension z[1902]=x[1232] using generic constraint 1.39/1.42 c intension z[1901]=x[1231] using generic constraint 1.39/1.42 c intension z[1784]=x[1114] using generic constraint 1.39/1.42 c intension z[1117]=x[391] using generic constraint 1.39/1.42 c intension z[841]=x[115] using generic constraint 1.39/1.42 c intension z[1904]=x[1234] using generic constraint 1.39/1.42 c intension z[1903]=x[1233] using generic constraint 1.39/1.43 c intension z[1786]=x[1116] using generic constraint 1.39/1.43 c intension z[1120]=x[394] using generic constraint 1.39/1.43 c intension z[1906]=x[1236] using generic constraint 1.39/1.43 c intension z[1905]=x[1235] using generic constraint 1.39/1.43 c intension z[1788]=x[1118] using generic constraint 1.39/1.43 c intension z[1123]=x[397] using generic constraint 1.39/1.43 c intension z[1908]=x[1238] using generic constraint 1.39/1.43 c intension z[1907]=x[1237] using generic constraint 1.39/1.43 c intension z[842]=x[116] using generic constraint 1.39/1.44 c intension z[1790]=x[1120] using generic constraint 1.39/1.44 c intension z[1126]=x[400] using generic constraint 1.39/1.44 c intension z[1910]=x[1240] using generic constraint 1.39/1.44 c intension z[1909]=x[1239] using generic constraint 1.39/1.44 c intension z[1792]=x[1122] using generic constraint 1.39/1.44 c intension z[1132]=x[406] using generic constraint 1.39/1.44 c intension z[1129]=x[403] using generic constraint 1.39/1.44 c intension z[1911]=x[1241] using generic constraint 1.39/1.44 c intension z[1794]=x[1124] using generic constraint 1.39/1.45 c intension z[1135]=x[409] using generic constraint 1.39/1.45 c intension z[843]=x[117] using generic constraint 1.39/1.45 c intension z[1913]=x[1243] using generic constraint 1.39/1.45 c intension z[1912]=x[1242] using generic constraint 1.39/1.45 c intension z[1796]=x[1126] using generic constraint 1.39/1.45 c intension z[1138]=x[412] using generic constraint 1.39/1.45 c intension z[1915]=x[1245] using generic constraint 1.39/1.45 c intension z[1914]=x[1244] using generic constraint 1.39/1.45 c intension z[1798]=x[1128] using generic constraint 1.39/1.46 c intension z[1141]=x[415] using generic constraint 1.39/1.46 c intension z[1917]=x[1247] using generic constraint 1.39/1.46 c intension z[1916]=x[1246] using generic constraint 1.39/1.46 c intension z[844]=x[118] using generic constraint 1.39/1.46 c intension z[1800]=x[1130] using generic constraint 1.39/1.46 c intension z[1144]=x[418] using generic constraint 1.39/1.46 c intension z[1919]=x[1249] using generic constraint 1.39/1.46 c intension z[1918]=x[1248] using generic constraint 1.39/1.46 c intension z[1802]=x[1132] using generic constraint 1.39/1.46 c intension z[1147]=x[421] using generic constraint 1.39/1.47 c intension z[1921]=x[1251] using generic constraint 1.39/1.47 c intension z[1920]=x[1250] using generic constraint 1.39/1.47 c intension z[1804]=x[1134] using generic constraint 1.39/1.47 c intension z[1150]=x[424] using generic constraint 1.39/1.47 c intension z[845]=x[119] using generic constraint 1.39/1.47 c intension z[1923]=x[1253] using generic constraint 1.39/1.47 c intension z[1922]=x[1252] using generic constraint 1.39/1.47 c intension z[1806]=x[1136] using generic constraint 1.39/1.47 c intension z[1156]=x[430] using generic constraint 1.39/1.48 c intension z[1153]=x[427] using generic constraint 1.39/1.48 c intension z[1924]=x[1254] using generic constraint 1.39/1.48 c intension z[1808]=x[1138] using generic constraint 1.39/1.48 c intension z[1159]=x[433] using generic constraint 1.39/1.48 c intension z[1926]=x[1256] using generic constraint 1.39/1.48 c intension z[1925]=x[1255] using generic constraint 1.39/1.48 c intension z[846]=x[120] using generic constraint 1.39/1.48 c intension z[1810]=x[1140] using generic constraint 1.39/1.48 c intension z[1162]=x[436] using generic constraint 1.39/1.49 c intension z[1928]=x[1258] using generic constraint 1.39/1.49 c intension z[1927]=x[1257] using generic constraint 1.39/1.49 c intension z[1812]=x[1142] using generic constraint 1.39/1.49 c intension z[1165]=x[439] using generic constraint 1.39/1.49 c intension z[1930]=x[1260] using generic constraint 1.39/1.49 c intension z[1929]=x[1259] using generic constraint 1.39/1.49 c intension z[1814]=x[1144] using generic constraint 1.39/1.49 c intension z[1168]=x[442] using generic constraint 1.39/1.49 c intension z[739]=x[13] using generic constraint 1.39/1.50 c intension z[847]=x[121] using generic constraint 1.49/1.50 c intension z[1932]=x[1262] using generic constraint 1.49/1.50 c intension z[1931]=x[1261] using generic constraint 1.49/1.50 c intension z[1816]=x[1146] using generic constraint 1.49/1.50 c intension z[1171]=x[445] using generic constraint 1.49/1.50 c intension z[1934]=x[1264] using generic constraint 1.49/1.50 c intension z[1933]=x[1263] using generic constraint 1.49/1.50 c intension z[1818]=x[1148] using generic constraint 1.49/1.50 c intension z[1174]=x[448] using generic constraint 1.49/1.50 c intension z[1936]=x[1266] using generic constraint 1.49/1.51 c intension z[1935]=x[1265] using generic constraint 1.49/1.51 c intension z[848]=x[122] using generic constraint 1.49/1.51 c intension z[1937]=x[1267] using generic constraint 1.49/1.51 c intension z[1938]=x[1268] using generic constraint 1.49/1.51 c intension z[1939]=x[1269] using generic constraint 1.49/1.51 c intension z[1940]=x[1270] using generic constraint 1.49/1.51 c intension z[1941]=x[1271] using generic constraint 1.49/1.51 c intension z[1942]=x[1272] using generic constraint 1.49/1.51 c intension z[1943]=x[1273] using generic constraint 1.49/1.52 c intension z[1944]=x[1274] using generic constraint 1.49/1.52 c intension z[1945]=x[1275] using generic constraint 1.49/1.52 c intension z[1946]=x[1276] using generic constraint 1.49/1.52 c intension z[849]=x[123] using generic constraint 1.49/1.52 c intension z[1947]=x[1277] using generic constraint 1.49/1.52 c intension z[1948]=x[1278] using generic constraint 1.49/1.52 c intension z[1949]=x[1279] using generic constraint 1.49/1.52 c intension z[1950]=x[1280] using generic constraint 1.49/1.52 c intension z[1951]=x[1281] using generic constraint 1.49/1.53 c intension z[1952]=x[1282] using generic constraint 1.49/1.53 c intension z[1953]=x[1283] using generic constraint 1.49/1.53 c intension z[1954]=x[1284] using generic constraint 1.49/1.53 c intension z[1955]=x[1285] using generic constraint 1.49/1.53 c intension z[1956]=x[1286] using generic constraint 1.49/1.53 c intension z[850]=x[124] using generic constraint 1.49/1.53 c intension z[1957]=x[1287] using generic constraint 1.49/1.53 c intension z[1958]=x[1288] using generic constraint 1.49/1.53 c intension z[1959]=x[1289] using generic constraint 1.49/1.54 c intension z[1960]=x[1290] using generic constraint 1.49/1.54 c intension z[1961]=x[1291] using generic constraint 1.49/1.54 c intension z[1962]=x[1292] using generic constraint 1.49/1.54 c intension z[1963]=x[1293] using generic constraint 1.49/1.54 c intension z[1964]=x[1294] using generic constraint 1.49/1.54 c intension z[1965]=x[1295] using generic constraint 1.49/1.54 c intension z[1966]=x[1296] using generic constraint 1.49/1.54 c intension z[851]=x[125] using generic constraint 1.49/1.54 c intension z[1967]=x[1297] using generic constraint 1.49/1.54 c intension z[1968]=x[1298] using generic constraint 1.49/1.55 c intension z[1969]=x[1299] using generic constraint 1.49/1.55 c intension z[1970]=x[1300] using generic constraint 1.49/1.55 c intension z[1971]=x[1301] using generic constraint 1.49/1.55 c intension z[1972]=x[1302] using generic constraint 1.49/1.55 c intension z[1973]=x[1303] using generic constraint 1.49/1.55 c intension z[1974]=x[1304] using generic constraint 1.49/1.55 c intension z[1975]=x[1305] using generic constraint 1.49/1.55 c intension z[1976]=x[1306] using generic constraint 1.49/1.55 c intension z[852]=x[126] using generic constraint 1.49/1.56 c intension z[1977]=x[1307] using generic constraint 1.49/1.56 c intension z[1978]=x[1308] using generic constraint 1.49/1.56 c intension z[1979]=x[1309] using generic constraint 1.49/1.56 c intension z[1980]=x[1310] using generic constraint 1.49/1.56 c intension z[1981]=x[1311] using generic constraint 1.49/1.56 c intension z[1982]=x[1312] using generic constraint 1.49/1.56 c intension z[1983]=x[1313] using generic constraint 1.49/1.56 c intension z[1984]=x[1314] using generic constraint 1.49/1.56 c intension z[1985]=x[1315] using generic constraint 1.49/1.57 c intension z[1986]=x[1316] using generic constraint 1.49/1.57 c intension z[853]=x[127] using generic constraint 1.49/1.57 c intension z[1987]=x[1317] using generic constraint 1.49/1.57 c intension z[1988]=x[1318] using generic constraint 1.49/1.57 c intension z[1989]=x[1319] using generic constraint 1.49/1.57 c intension z[1990]=x[1320] using generic constraint 1.49/1.57 c intension z[1991]=x[1321] using generic constraint 1.49/1.57 c intension z[1992]=x[1322] using generic constraint 1.49/1.57 c intension z[1993]=x[1323] using generic constraint 1.49/1.58 c intension z[1994]=x[1324] using generic constraint 1.49/1.58 c intension z[1995]=x[1325] using generic constraint 1.49/1.58 c intension z[1996]=x[1326] using generic constraint 1.49/1.58 c intension z[854]=x[128] using generic constraint 1.49/1.58 c intension z[1997]=x[1327] using generic constraint 1.49/1.58 c intension z[1998]=x[1328] using generic constraint 1.49/1.58 c intension z[1999]=x[1329] using generic constraint 1.49/1.58 c intension z[2000]=x[1330] using generic constraint 1.49/1.58 c intension z[2001]=x[1331] using generic constraint 1.49/1.58 c intension z[2002]=x[1332] using generic constraint 1.49/1.59 c intension z[2003]=x[1333] using generic constraint 1.49/1.59 c intension z[2004]=x[1334] using generic constraint 1.49/1.59 c intension z[2005]=x[1335] using generic constraint 1.49/1.59 c intension z[2006]=x[1336] using generic constraint 1.49/1.59 c intension z[855]=x[129] using generic constraint 1.49/1.59 c intension z[2007]=x[1337] using generic constraint 1.49/1.59 c intension z[2008]=x[1338] using generic constraint 1.49/1.59 c intension z[856]=x[130] using generic constraint 1.49/1.59 c intension z[740]=x[14] using generic constraint 1.59/1.60 c intension z[857]=x[131] using generic constraint 1.59/1.60 c intension z[858]=x[132] using generic constraint 1.59/1.60 c intension z[859]=x[133] using generic constraint 1.59/1.60 c intension z[860]=x[134] using generic constraint 1.59/1.60 c intension z[861]=x[135] using generic constraint 1.59/1.60 c intension z[862]=x[136] using generic constraint 1.59/1.60 c intension z[863]=x[137] using generic constraint 1.59/1.60 c intension z[864]=x[138] using generic constraint 1.59/1.60 c intension z[865]=x[139] using generic constraint 1.59/1.61 c intension z[866]=x[140] using generic constraint 1.59/1.61 c intension z[741]=x[15] using generic constraint 1.59/1.61 c intension z[867]=x[141] using generic constraint 1.59/1.61 c intension z[868]=x[142] using generic constraint 1.59/1.61 c intension z[869]=x[143] using generic constraint 1.59/1.61 c intension z[870]=x[144] using generic constraint 1.59/1.61 c intension z[871]=x[145] using generic constraint 1.59/1.61 c intension z[872]=x[146] using generic constraint 1.59/1.61 c intension z[873]=x[147] using generic constraint 1.59/1.62 c intension z[874]=x[148] using generic constraint 1.59/1.62 c intension z[875]=x[149] using generic constraint 1.59/1.62 c intension z[876]=x[150] using generic constraint 1.59/1.62 c intension z[742]=x[16] using generic constraint 1.59/1.62 c intension z[877]=x[151] using generic constraint 1.59/1.62 c intension z[878]=x[152] using generic constraint 1.59/1.62 c intension z[879]=x[153] using generic constraint 1.59/1.62 c intension z[880]=x[154] using generic constraint 1.59/1.62 c intension z[881]=x[155] using generic constraint 1.59/1.63 c intension z[882]=x[156] using generic constraint 1.59/1.63 c intension z[883]=x[157] using generic constraint 1.59/1.63 c intension z[884]=x[158] using generic constraint 1.59/1.63 c intension z[885]=x[159] using generic constraint 1.59/1.63 c intension z[886]=x[160] using generic constraint 1.59/1.63 c intension z[743]=x[17] using generic constraint 1.59/1.63 c intension z[887]=x[161] using generic constraint 1.59/1.63 c intension z[888]=x[162] using generic constraint 1.59/1.63 c intension z[889]=x[163] using generic constraint 1.59/1.63 c intension z[890]=x[164] using generic constraint 1.59/1.64 c intension z[891]=x[165] using generic constraint 1.59/1.64 c intension z[892]=x[166] using generic constraint 1.59/1.64 c intension z[893]=x[167] using generic constraint 1.59/1.64 c intension z[894]=x[168] using generic constraint 1.59/1.64 c intension z[895]=x[169] using generic constraint 1.59/1.64 c intension z[896]=x[170] using generic constraint 1.59/1.64 c intension z[744]=x[18] using generic constraint 1.59/1.64 c intension z[897]=x[171] using generic constraint 1.59/1.64 c intension z[898]=x[172] using generic constraint 1.59/1.65 c intension z[899]=x[173] using generic constraint 1.59/1.65 c intension z[900]=x[174] using generic constraint 1.59/1.65 c intension z[901]=x[175] using generic constraint 1.59/1.65 c intension z[902]=x[176] using generic constraint 1.59/1.65 c intension z[903]=x[177] using generic constraint 1.59/1.65 c intension z[904]=x[178] using generic constraint 1.59/1.65 c intension z[905]=x[179] using generic constraint 1.59/1.65 c intension z[906]=x[180] using generic constraint 1.59/1.65 c intension z[745]=x[19] using generic constraint 1.59/1.66 c intension z[907]=x[181] using generic constraint 1.59/1.66 c intension z[908]=x[182] using generic constraint 1.59/1.66 c intension z[909]=x[183] using generic constraint 1.59/1.66 c intension z[910]=x[184] using generic constraint 1.59/1.66 c intension z[911]=x[185] using generic constraint 1.59/1.66 c intension z[912]=x[186] using generic constraint 1.59/1.66 c intension z[913]=x[187] using generic constraint 1.59/1.66 c intension z[914]=x[188] using generic constraint 1.59/1.66 c intension z[915]=x[189] using generic constraint 1.59/1.67 c intension z[916]=x[190] using generic constraint 1.59/1.67 c intension z[746]=x[20] using generic constraint 1.59/1.67 c intension z[917]=x[191] using generic constraint 1.59/1.67 c intension z[918]=x[192] using generic constraint 1.59/1.67 c intension z[919]=x[193] using generic constraint 1.59/1.67 c intension z[920]=x[194] using generic constraint 1.59/1.67 c intension z[921]=x[195] using generic constraint 1.59/1.67 c intension z[922]=x[196] using generic constraint 1.59/1.67 c intension z[923]=x[197] using generic constraint 1.59/1.68 c intension z[924]=x[198] using generic constraint 1.59/1.68 c intension z[925]=x[199] using generic constraint 1.59/1.68 c intension z[926]=x[200] using generic constraint 1.59/1.68 c intension z[729]=x[3] using generic constraint 1.59/1.68 c intension z[747]=x[21] using generic constraint 1.59/1.68 c intension z[927]=x[201] using generic constraint 1.59/1.68 c intension z[928]=x[202] using generic constraint 1.59/1.68 c intension z[929]=x[203] using generic constraint 1.59/1.68 c intension z[930]=x[204] using generic constraint 1.59/1.68 c intension z[931]=x[205] using generic constraint 1.59/1.69 c intension z[932]=x[206] using generic constraint 1.59/1.69 c intension z[933]=x[207] using generic constraint 1.59/1.69 c intension z[934]=x[208] using generic constraint 1.59/1.69 c intension z[935]=x[209] using generic constraint 1.59/1.69 c intension z[936]=x[210] using generic constraint 1.59/1.69 c intension z[748]=x[22] using generic constraint 1.59/1.69 c intension z[937]=x[211] using generic constraint 1.59/1.69 c intension z[938]=x[212] using generic constraint 1.59/1.69 c intension z[939]=x[213] using generic constraint 1.69/1.70 c intension z[940]=x[214] using generic constraint 1.69/1.70 c intension z[941]=x[215] using generic constraint 1.69/1.70 c intension z[942]=x[216] using generic constraint 1.69/1.70 c intension z[943]=x[217] using generic constraint 1.69/1.70 c intension z[944]=x[218] using generic constraint 1.69/1.70 c intension z[945]=x[219] using generic constraint 1.69/1.70 c intension z[946]=x[220] using generic constraint 1.69/1.70 c intension z[749]=x[23] using generic constraint 1.69/1.70 c intension z[947]=x[221] using generic constraint 1.69/1.71 c intension z[948]=x[222] using generic constraint 1.69/1.71 c intension z[949]=x[223] using generic constraint 1.69/1.71 c intension z[950]=x[224] using generic constraint 1.69/1.71 c intension z[951]=x[225] using generic constraint 1.69/1.71 c intension z[952]=x[226] using generic constraint 1.69/1.71 c intension z[953]=x[227] using generic constraint 1.69/1.71 c intension z[954]=x[228] using generic constraint 1.69/1.71 c intension z[955]=x[229] using generic constraint 1.69/1.71 c intension z[956]=x[230] using generic constraint 1.69/1.72 c intension z[750]=x[24] using generic constraint 1.69/1.72 c intension z[957]=x[231] using generic constraint 1.69/1.72 c intension z[958]=x[232] using generic constraint 1.69/1.72 c intension z[959]=x[233] using generic constraint 1.69/1.72 c intension z[960]=x[234] using generic constraint 1.69/1.72 c intension z[961]=x[235] using generic constraint 1.69/1.72 c intension z[962]=x[236] using generic constraint 1.69/1.72 c intension z[963]=x[237] using generic constraint 1.69/1.72 c intension z[964]=x[238] using generic constraint 1.69/1.73 c intension z[965]=x[239] using generic constraint 1.69/1.73 c intension z[966]=x[240] using generic constraint 1.69/1.73 c intension z[751]=x[25] using generic constraint 1.69/1.73 c intension z[967]=x[241] using generic constraint 1.69/1.73 c intension z[968]=x[242] using generic constraint 1.69/1.73 c intension z[969]=x[243] using generic constraint 1.69/1.73 c intension z[970]=x[244] using generic constraint 1.69/1.73 c intension z[971]=x[245] using generic constraint 1.69/1.73 c intension z[972]=x[246] using generic constraint 1.69/1.74 c intension z[973]=x[247] using generic constraint 1.69/1.74 c intension z[974]=x[248] using generic constraint 1.69/1.74 c intension z[975]=x[249] using generic constraint 1.69/1.74 c intension z[976]=x[250] using generic constraint 1.69/1.74 c intension z[752]=x[26] using generic constraint 1.69/1.74 c intension z[977]=x[251] using generic constraint 1.69/1.74 c intension z[978]=x[252] using generic constraint 1.69/1.74 c intension z[979]=x[253] using generic constraint 1.69/1.74 c intension z[980]=x[254] using generic constraint 1.69/1.75 c intension z[981]=x[255] using generic constraint 1.69/1.75 c intension z[982]=x[256] using generic constraint 1.69/1.75 c intension z[983]=x[257] using generic constraint 1.69/1.75 c intension z[984]=x[258] using generic constraint 1.69/1.75 c intension z[986]=x[260] using generic constraint 1.69/1.75 c intension z[987]=x[261] using generic constraint 1.69/1.75 c intension z[753]=x[27] using generic constraint 1.69/1.75 c intension z[989]=x[263] using generic constraint 1.69/1.75 c intension z[990]=x[264] using generic constraint 1.69/1.75 c intension z[992]=x[266] using generic constraint 1.69/1.76 c intension z[993]=x[267] using generic constraint 1.69/1.76 c intension z[995]=x[269] using generic constraint 1.69/1.76 c intension z[996]=x[270] using generic constraint 1.69/1.76 c intension z[998]=x[272] using generic constraint 1.69/1.76 c intension z[999]=x[273] using generic constraint 1.69/1.76 c intension z[1001]=x[275] using generic constraint 1.69/1.76 c intension z[1002]=x[276] using generic constraint 1.69/1.76 c intension z[754]=x[28] using generic constraint 1.69/1.76 c intension z[1004]=x[278] using generic constraint 1.69/1.77 c intension z[1005]=x[279] using generic constraint 1.69/1.77 c intension z[1007]=x[281] using generic constraint 1.69/1.77 c intension z[1008]=x[282] using generic constraint 1.69/1.77 c intension z[1010]=x[284] using generic constraint 1.69/1.77 c intension z[1011]=x[285] using generic constraint 1.69/1.77 c intension z[1013]=x[287] using generic constraint 1.69/1.77 c intension z[1014]=x[288] using generic constraint 1.69/1.77 c intension z[1016]=x[290] using generic constraint 1.69/1.77 c intension z[1017]=x[291] using generic constraint 1.69/1.78 c intension z[755]=x[29] using generic constraint 1.69/1.78 c intension z[1019]=x[293] using generic constraint 1.69/1.78 c intension z[1020]=x[294] using generic constraint 1.69/1.78 c intension z[1022]=x[296] using generic constraint 1.69/1.78 c intension z[1023]=x[297] using generic constraint 1.69/1.78 c intension z[1025]=x[299] using generic constraint 1.69/1.78 c intension z[1026]=x[300] using generic constraint 1.69/1.78 c intension z[1028]=x[302] using generic constraint 1.69/1.78 c intension z[1029]=x[303] using generic constraint 1.69/1.79 c intension z[1031]=x[305] using generic constraint 1.69/1.79 c intension z[1032]=x[306] using generic constraint 1.69/1.79 c intension z[756]=x[30] using generic constraint 1.69/1.79 c intension z[1034]=x[308] using generic constraint 1.69/1.79 c intension z[1035]=x[309] using generic constraint 1.69/1.79 c intension z[1037]=x[311] using generic constraint 1.69/1.79 c intension z[1038]=x[312] using generic constraint 1.69/1.79 c intension z[1040]=x[314] using generic constraint 1.69/1.79 c intension z[1041]=x[315] using generic constraint 1.69/1.80 c intension z[1043]=x[317] using generic constraint 1.79/1.80 c intension z[1044]=x[318] using generic constraint 1.79/1.80 c intension z[1046]=x[320] using generic constraint 1.79/1.80 c intension z[1047]=x[321] using generic constraint 1.79/1.80 c intension z[730]=x[4] using generic constraint 1.79/1.80 c intension z[757]=x[31] using generic constraint 1.79/1.80 c intension z[1049]=x[323] using generic constraint 1.79/1.80 c intension z[1050]=x[324] using generic constraint 1.79/1.80 c intension z[1052]=x[326] using generic constraint 1.79/1.81 c intension z[1053]=x[327] using generic constraint 1.79/1.81 c intension z[1055]=x[329] using generic constraint 1.79/1.81 c intension z[1056]=x[330] using generic constraint 1.79/1.81 c intension z[1058]=x[332] using generic constraint 1.79/1.81 c intension z[1059]=x[333] using generic constraint 1.79/1.81 c intension z[1061]=x[335] using generic constraint 1.79/1.81 c intension z[1062]=x[336] using generic constraint 1.79/1.81 c intension z[758]=x[32] using generic constraint 1.79/1.84 c intension z[1064]=x[338] using generic constraint 1.79/1.84 c intension z[1065]=x[339] using generic constraint 1.79/1.84 c intension z[1067]=x[341] using generic constraint 1.79/1.84 c intension z[1068]=x[342] using generic constraint 1.79/1.84 c intension z[1070]=x[344] using generic constraint 1.79/1.84 c intension z[1071]=x[345] using generic constraint 1.79/1.84 c intension z[1073]=x[347] using generic constraint 1.79/1.84 c intension z[1074]=x[348] using generic constraint 1.79/1.84 c intension z[1076]=x[350] using generic constraint 1.79/1.84 c intension z[1077]=x[351] using generic constraint 1.79/1.84 c intension z[759]=x[33] using generic constraint 1.79/1.84 c intension z[1079]=x[353] using generic constraint 1.79/1.84 c intension z[1080]=x[354] using generic constraint 1.79/1.84 c intension z[1082]=x[356] using generic constraint 1.79/1.84 c intension z[1083]=x[357] using generic constraint 1.79/1.84 c intension z[1085]=x[359] using generic constraint 1.79/1.84 c intension z[1086]=x[360] using generic constraint 1.79/1.84 c intension z[1088]=x[362] using generic constraint 1.79/1.84 c intension z[1089]=x[363] using generic constraint 1.79/1.84 c intension z[1091]=x[365] using generic constraint 1.79/1.84 c intension z[1092]=x[366] using generic constraint 1.79/1.84 c intension z[760]=x[34] using generic constraint 1.79/1.84 c intension z[1094]=x[368] using generic constraint 1.79/1.84 c intension z[1095]=x[369] using generic constraint 1.79/1.84 c intension z[1097]=x[371] using generic constraint 1.79/1.84 c intension z[1098]=x[372] using generic constraint 1.79/1.84 c intension z[1100]=x[374] using generic constraint 1.79/1.84 c intension z[1101]=x[375] using generic constraint 1.79/1.84 c intension z[1103]=x[377] using generic constraint 1.79/1.85 c intension z[1104]=x[378] using generic constraint 1.79/1.85 c intension z[1106]=x[380] using generic constraint 1.79/1.85 c intension z[1107]=x[381] using generic constraint 1.79/1.85 c intension z[761]=x[35] using generic constraint 1.79/1.85 c intension z[1109]=x[383] using generic constraint 1.79/1.85 c intension z[1110]=x[384] using generic constraint 1.79/1.85 c intension z[1112]=x[386] using generic constraint 1.79/1.85 c intension z[1113]=x[387] using generic constraint 1.79/1.85 c intension z[1115]=x[389] using generic constraint 1.79/1.86 c intension z[1116]=x[390] using generic constraint 1.79/1.86 c intension z[1118]=x[392] using generic constraint 1.79/1.86 c intension z[1119]=x[393] using generic constraint 1.79/1.86 c intension z[1121]=x[395] using generic constraint 1.79/1.86 c intension z[1122]=x[396] using generic constraint 1.79/1.86 c intension z[762]=x[36] using generic constraint 1.79/1.86 c intension z[1124]=x[398] using generic constraint 1.79/1.86 c intension z[1125]=x[399] using generic constraint 1.79/1.86 c intension z[1127]=x[401] using generic constraint 1.79/1.87 c intension z[1128]=x[402] using generic constraint 1.79/1.87 c intension z[1130]=x[404] using generic constraint 1.79/1.87 c intension z[1131]=x[405] using generic constraint 1.79/1.87 c intension z[1133]=x[407] using generic constraint 1.79/1.87 c intension z[1134]=x[408] using generic constraint 1.79/1.87 c intension z[1136]=x[410] using generic constraint 1.79/1.87 c intension z[1137]=x[411] using generic constraint 1.79/1.87 c intension z[763]=x[37] using generic constraint 1.79/1.87 c intension z[1139]=x[413] using generic constraint 1.79/1.88 c intension z[1140]=x[414] using generic constraint 1.79/1.88 c intension z[1142]=x[416] using generic constraint 1.79/1.88 c intension z[1143]=x[417] using generic constraint 1.79/1.88 c intension z[1145]=x[419] using generic constraint 1.79/1.88 c intension z[1146]=x[420] using generic constraint 1.79/1.88 c intension z[1148]=x[422] using generic constraint 1.79/1.88 c intension z[1149]=x[423] using generic constraint 1.79/1.88 c intension z[1151]=x[425] using generic constraint 1.79/1.88 c intension z[1152]=x[426] using generic constraint 1.79/1.89 c intension z[764]=x[38] using generic constraint 1.79/1.89 c intension z[1154]=x[428] using generic constraint 1.79/1.89 c intension z[1155]=x[429] using generic constraint 1.79/1.89 c intension z[1157]=x[431] using generic constraint 1.79/1.89 c intension z[1158]=x[432] using generic constraint 1.79/1.89 c intension z[1160]=x[434] using generic constraint 1.79/1.89 c intension z[1161]=x[435] using generic constraint 1.79/1.89 c intension z[1163]=x[437] using generic constraint 1.79/1.89 c intension z[1164]=x[438] using generic constraint 1.79/1.90 c intension z[1166]=x[440] using generic constraint 1.89/1.90 c intension z[1167]=x[441] using generic constraint 1.89/1.90 c intension z[765]=x[39] using generic constraint 1.89/1.90 c intension z[1169]=x[443] using generic constraint 1.89/1.90 c intension z[1170]=x[444] using generic constraint 1.89/1.90 c intension z[1172]=x[446] using generic constraint 1.89/1.90 c intension z[1173]=x[447] using generic constraint 1.89/1.90 c intension z[1231]=x[561] using generic constraint 1.89/1.90 c intension z[1232]=x[562] using generic constraint 1.89/1.90 c intension z[1175]=x[450] using generic constraint 1.89/1.91 c intension z[1233]=x[563] using generic constraint 1.89/1.91 c intension z[1234]=x[564] using generic constraint 1.89/1.91 c intension z[1236]=x[566] using generic constraint 1.89/1.91 c intension z[766]=x[40] using generic constraint 1.89/1.91 c intension z[1237]=x[567] using generic constraint 1.89/1.91 c intension z[1238]=x[568] using generic constraint 1.89/1.91 c intension z[1176]=x[452] using generic constraint 1.89/1.91 c intension z[1239]=x[569] using generic constraint 1.89/1.91 c intension z[1240]=x[570] using generic constraint 1.89/1.92 c intension z[1242]=x[572] using generic constraint 1.89/1.92 c intension z[1243]=x[573] using generic constraint 1.89/1.92 c intension z[1244]=x[574] using generic constraint 1.89/1.92 c intension z[1177]=x[454] using generic constraint 1.89/1.92 c intension z[1245]=x[575] using generic constraint 1.89/1.92 c intension z[731]=x[5] using generic constraint 1.89/1.92 c intension z[767]=x[41] using generic constraint 1.89/1.92 c intension z[1246]=x[576] using generic constraint 1.89/1.92 c intension z[1248]=x[578] using generic constraint 1.89/1.93 c intension z[1249]=x[579] using generic constraint 1.89/1.93 c intension z[1250]=x[580] using generic constraint 1.89/1.93 c intension z[1178]=x[456] using generic constraint 1.89/1.93 c intension z[1251]=x[581] using generic constraint 1.89/1.93 c intension z[1252]=x[582] using generic constraint 1.89/1.93 c intension z[1254]=x[584] using generic constraint 1.89/1.93 c intension z[1255]=x[585] using generic constraint 1.89/1.93 c intension z[1256]=x[586] using generic constraint 1.89/1.93 c intension z[768]=x[42] using generic constraint 1.89/1.94 c intension z[1179]=x[458] using generic constraint 1.89/1.94 c intension z[1257]=x[587] using generic constraint 1.89/1.94 c intension z[1258]=x[588] using generic constraint 1.89/1.94 c intension z[1260]=x[590] using generic constraint 1.89/1.94 c intension z[1261]=x[591] using generic constraint 1.89/1.94 c intension z[1262]=x[592] using generic constraint 1.89/1.94 c intension z[1180]=x[460] using generic constraint 1.89/1.94 c intension z[1263]=x[593] using generic constraint 1.89/1.94 c intension z[1264]=x[594] using generic constraint 1.89/1.95 c intension z[1266]=x[596] using generic constraint 1.89/1.95 c intension z[769]=x[43] using generic constraint 1.89/1.95 c intension z[1267]=x[597] using generic constraint 1.89/1.95 c intension z[1268]=x[598] using generic constraint 1.89/1.95 c intension z[1181]=x[462] using generic constraint 1.89/1.95 c intension z[1269]=x[599] using generic constraint 1.89/1.95 c intension z[1270]=x[600] using generic constraint 1.89/1.95 c intension z[1272]=x[602] using generic constraint 1.89/1.95 c intension z[1273]=x[603] using generic constraint 1.89/1.96 c intension z[1274]=x[604] using generic constraint 1.89/1.96 c intension z[1275]=x[605] using generic constraint 1.89/1.96 c intension z[1276]=x[606] using generic constraint 1.89/1.96 c intension z[770]=x[44] using generic constraint 1.89/1.96 c intension z[1277]=x[607] using generic constraint 1.89/1.96 c intension z[1278]=x[608] using generic constraint 1.89/1.96 c intension z[1279]=x[609] using generic constraint 1.89/1.96 c intension z[1280]=x[610] using generic constraint 1.89/1.96 c intension z[1281]=x[611] using generic constraint 1.89/1.97 c intension z[1182]=x[464] using generic constraint 1.89/1.97 c intension z[1282]=x[612] using generic constraint 1.89/1.97 c intension z[1283]=x[613] using generic constraint 1.89/1.97 c intension z[1285]=x[615] using generic constraint 1.89/1.97 c intension z[1286]=x[616] using generic constraint 1.89/1.97 c intension z[771]=x[45] using generic constraint 1.89/1.97 c intension z[1287]=x[617] using generic constraint 1.89/1.97 c intension z[1183]=x[466] using generic constraint 1.89/1.97 c intension z[1288]=x[618] using generic constraint 1.89/1.98 c intension z[1289]=x[619] using generic constraint 1.89/1.98 c intension z[1291]=x[621] using generic constraint 1.89/1.98 c intension z[1292]=x[622] using generic constraint 1.89/1.98 c intension z[1293]=x[623] using generic constraint 1.89/1.98 c intension z[1184]=x[468] using generic constraint 1.89/1.98 c intension z[1294]=x[624] using generic constraint 1.89/1.98 c intension z[1295]=x[625] using generic constraint 1.89/1.98 c intension z[772]=x[46] using generic constraint 1.89/1.98 c intension z[1297]=x[627] using generic constraint 1.89/1.98 c intension z[1298]=x[628] using generic constraint 1.89/1.99 c intension z[1299]=x[629] using generic constraint 1.89/1.99 c intension z[1185]=x[470] using generic constraint 1.89/1.99 c intension z[1300]=x[630] using generic constraint 1.89/1.99 c intension z[1301]=x[631] using generic constraint 1.89/1.99 c intension z[1303]=x[633] using generic constraint 1.89/1.99 c intension z[1304]=x[634] using generic constraint 1.89/1.99 c intension z[1305]=x[635] using generic constraint 1.89/1.99 c intension z[1186]=x[472] using generic constraint 1.89/1.99 c intension z[773]=x[47] using generic constraint 1.89/2.00 c intension z[1306]=x[636] using generic constraint 1.89/2.00 c intension z[1307]=x[637] using generic constraint 1.89/2.00 c intension z[1309]=x[639] using generic constraint 1.89/2.00 c intension z[1310]=x[640] using generic constraint 1.89/2.00 c intension z[1311]=x[641] using generic constraint 1.89/2.00 c intension z[1187]=x[474] using generic constraint 1.89/2.00 c intension z[1312]=x[642] using generic constraint 1.89/2.00 c intension z[1313]=x[643] using generic constraint 1.89/2.00 c intension z[1315]=x[645] using generic constraint 2.00/2.01 c intension z[1316]=x[646] using generic constraint 2.00/2.01 c intension z[774]=x[48] using generic constraint 2.00/2.01 c intension z[1317]=x[647] using generic constraint 2.00/2.01 c intension z[1188]=x[476] using generic constraint 2.00/2.01 c intension z[1318]=x[648] using generic constraint 2.00/2.01 c intension z[1319]=x[649] using generic constraint 2.00/2.01 c intension z[1321]=x[651] using generic constraint 2.00/2.01 c intension z[1322]=x[652] using generic constraint 2.00/2.01 c intension z[1323]=x[653] using generic constraint 2.00/2.02 c intension z[1189]=x[478] using generic constraint 2.00/2.02 c intension z[1324]=x[654] using generic constraint 2.00/2.02 c intension z[1325]=x[655] using generic constraint 2.00/2.02 c intension z[775]=x[49] using generic constraint 2.00/2.02 c intension z[1327]=x[657] using generic constraint 2.00/2.02 c intension z[1328]=x[658] using generic constraint 2.00/2.02 c intension z[1329]=x[659] using generic constraint 2.00/2.02 c intension z[1190]=x[480] using generic constraint 2.00/2.02 c intension z[1330]=x[660] using generic constraint 2.00/2.03 c intension z[1331]=x[661] using generic constraint 2.00/2.03 c intension z[1333]=x[663] using generic constraint 2.00/2.03 c intension z[1334]=x[664] using generic constraint 2.00/2.03 c intension z[1335]=x[665] using generic constraint 2.00/2.03 c intension z[1191]=x[482] using generic constraint 2.00/2.03 c intension z[776]=x[50] using generic constraint 2.00/2.03 c intension z[1336]=x[666] using generic constraint 2.00/2.03 c intension z[1337]=x[667] using generic constraint 2.00/2.03 c intension z[1339]=x[669] using generic constraint 2.00/2.04 c intension z[1340]=x[670] using generic constraint 2.00/2.04 c intension z[1341]=x[671] using generic constraint 2.00/2.04 c intension z[1192]=x[484] using generic constraint 2.00/2.04 c intension z[1342]=x[672] using generic constraint 2.00/2.04 c intension z[1343]=x[673] using generic constraint 2.00/2.04 c intension z[1345]=x[675] using generic constraint 2.00/2.04 c intension z[1346]=x[676] using generic constraint 2.00/2.04 c intension z[732]=x[6] using generic constraint 2.00/2.04 c intension z[777]=x[51] using generic constraint 2.00/2.05 c intension z[1347]=x[677] using generic constraint 2.00/2.05 c intension z[1193]=x[486] using generic constraint 2.00/2.05 c intension z[1348]=x[678] using generic constraint 2.00/2.05 c intension z[1349]=x[679] using generic constraint 2.00/2.05 c intension z[1351]=x[681] using generic constraint 2.00/2.05 c intension z[1352]=x[682] using generic constraint 2.00/2.05 c intension z[1353]=x[683] using generic constraint 2.00/2.05 c intension z[1194]=x[488] using generic constraint 2.00/2.05 c intension z[1354]=x[684] using generic constraint 2.00/2.06 c intension z[1355]=x[685] using generic constraint 2.00/2.06 c intension z[778]=x[52] using generic constraint 2.00/2.06 c intension z[1357]=x[687] using generic constraint 2.00/2.06 c intension z[1358]=x[688] using generic constraint 2.00/2.06 c intension z[1359]=x[689] using generic constraint 2.00/2.06 c intension z[1195]=x[490] using generic constraint 2.00/2.06 c intension z[1360]=x[690] using generic constraint 2.00/2.06 c intension z[1361]=x[691] using generic constraint 2.00/2.06 c intension z[1363]=x[693] using generic constraint 2.00/2.07 c intension z[1364]=x[694] using generic constraint 2.00/2.07 c intension z[1365]=x[695] using generic constraint 2.00/2.07 c intension z[1196]=x[492] using generic constraint 2.00/2.07 c intension z[779]=x[53] using generic constraint 2.00/2.07 c intension z[1366]=x[696] using generic constraint 2.00/2.07 c intension z[1367]=x[697] using generic constraint 2.00/2.07 c intension z[1369]=x[699] using generic constraint 2.00/2.07 c intension z[1370]=x[700] using generic constraint 2.00/2.07 c intension z[1371]=x[701] using generic constraint 2.00/2.08 c intension z[1197]=x[494] using generic constraint 2.00/2.08 c intension z[1372]=x[702] using generic constraint 2.00/2.08 c intension z[1373]=x[703] using generic constraint 2.00/2.08 c intension z[1375]=x[705] using generic constraint 2.00/2.08 c intension z[1376]=x[706] using generic constraint 2.00/2.08 c intension z[780]=x[54] using generic constraint 2.00/2.08 c intension z[1377]=x[707] using generic constraint 2.00/2.08 c intension z[1198]=x[496] using generic constraint 2.00/2.08 c intension z[1378]=x[708] using generic constraint 2.00/2.08 c intension z[1379]=x[709] using generic constraint 2.00/2.09 c intension z[1381]=x[711] using generic constraint 2.00/2.09 c intension z[1382]=x[712] using generic constraint 2.00/2.09 c intension z[1383]=x[713] using generic constraint 2.00/2.09 c intension z[1199]=x[498] using generic constraint 2.00/2.09 c intension z[1384]=x[714] using generic constraint 2.00/2.09 c intension z[1385]=x[715] using generic constraint 2.00/2.09 c intension z[781]=x[55] using generic constraint 2.00/2.09 c intension z[1387]=x[717] using generic constraint 2.00/2.09 c intension z[1388]=x[718] using generic constraint 2.00/2.10 c intension z[1389]=x[719] using generic constraint 2.00/2.10 c intension z[1200]=x[500] using generic constraint 2.00/2.10 c intension z[1390]=x[720] using generic constraint 2.00/2.10 c intension z[1391]=x[721] using generic constraint 2.00/2.10 c intension z[1393]=x[723] using generic constraint 2.00/2.10 c intension z[1394]=x[724] using generic constraint 2.00/2.10 c intension z[1395]=x[725] using generic constraint 2.00/2.10 c intension z[1201]=x[502] using generic constraint 2.00/2.10 c intension z[782]=x[56] using generic constraint 2.10/2.11 c intension z[1396]=x[726] using generic constraint 2.10/2.11 c intension z[1397]=x[727] using generic constraint 2.10/2.11 c intension z[1399]=x[729] using generic constraint 2.10/2.11 c intension z[1400]=x[730] using generic constraint 2.10/2.11 c intension z[1401]=x[731] using generic constraint 2.10/2.11 c intension z[1202]=x[504] using generic constraint 2.10/2.11 c intension z[1402]=x[732] using generic constraint 2.10/2.11 c intension z[1403]=x[733] using generic constraint 2.10/2.11 c intension z[1405]=x[735] using generic constraint 2.10/2.12 c intension z[1406]=x[736] using generic constraint 2.10/2.12 c intension z[783]=x[57] using generic constraint 2.10/2.12 c intension z[1407]=x[737] using generic constraint 2.10/2.12 c intension z[1203]=x[506] using generic constraint 2.10/2.12 c intension z[1408]=x[738] using generic constraint 2.10/2.12 c intension z[1409]=x[739] using generic constraint 2.10/2.12 c intension z[1411]=x[741] using generic constraint 2.10/2.12 c intension z[1412]=x[742] using generic constraint 2.10/2.12 c intension z[1413]=x[743] using generic constraint 2.10/2.13 c intension z[1204]=x[508] using generic constraint 2.10/2.13 c intension z[1414]=x[744] using generic constraint 2.10/2.13 c intension z[1415]=x[745] using generic constraint 2.10/2.13 c intension z[784]=x[58] using generic constraint 2.10/2.13 c intension z[1417]=x[747] using generic constraint 2.10/2.13 c intension z[1418]=x[748] using generic constraint 2.10/2.13 c intension z[1419]=x[749] using generic constraint 2.10/2.13 c intension z[1205]=x[510] using generic constraint 2.10/2.14 c intension z[1420]=x[750] using generic constraint 2.10/2.14 c intension z[1421]=x[751] using generic constraint 2.10/2.14 c intension z[1423]=x[753] using generic constraint 2.10/2.14 c intension z[1424]=x[754] using generic constraint 2.10/2.14 c intension z[1425]=x[755] using generic constraint 2.10/2.14 c intension z[1206]=x[512] using generic constraint 2.10/2.14 c intension z[785]=x[59] using generic constraint 2.10/2.14 c intension z[1426]=x[756] using generic constraint 2.10/2.14 c intension z[1427]=x[757] using generic constraint 2.10/2.15 c intension z[1429]=x[759] using generic constraint 2.10/2.15 c intension z[1430]=x[760] using generic constraint 2.10/2.15 c intension z[1431]=x[761] using generic constraint 2.10/2.15 c intension z[1207]=x[514] using generic constraint 2.10/2.15 c intension z[1432]=x[762] using generic constraint 2.10/2.15 c intension z[1433]=x[763] using generic constraint 2.10/2.15 c intension z[1435]=x[765] using generic constraint 2.10/2.15 c intension z[1436]=x[766] using generic constraint 2.10/2.15 c intension z[786]=x[60] using generic constraint 2.10/2.16 c intension z[1437]=x[767] using generic constraint 2.10/2.16 c intension z[1208]=x[516] using generic constraint 2.10/2.16 c intension z[1438]=x[768] using generic constraint 2.10/2.16 c intension z[1439]=x[769] using generic constraint 2.10/2.16 c intension z[1441]=x[771] using generic constraint 2.10/2.16 c intension z[1442]=x[772] using generic constraint 2.10/2.16 c intension z[1443]=x[773] using generic constraint 2.10/2.16 c intension z[1209]=x[518] using generic constraint 2.10/2.16 c intension z[1444]=x[774] using generic constraint 2.10/2.17 c intension z[1445]=x[775] using generic constraint 2.10/2.17 c intension z[733]=x[7] using generic constraint 2.10/2.17 c intension z[787]=x[61] using generic constraint 2.10/2.17 c intension z[1447]=x[777] using generic constraint 2.10/2.17 c intension z[1448]=x[778] using generic constraint 2.10/2.17 c intension z[1449]=x[779] using generic constraint 2.10/2.17 c intension z[1210]=x[520] using generic constraint 2.10/2.17 c intension z[1450]=x[780] using generic constraint 2.10/2.17 c intension z[1451]=x[781] using generic constraint 2.10/2.18 c intension z[1453]=x[783] using generic constraint 2.10/2.18 c intension z[1454]=x[784] using generic constraint 2.10/2.18 c intension z[1455]=x[785] using generic constraint 2.10/2.18 c intension z[1211]=x[522] using generic constraint 2.10/2.18 c intension z[788]=x[62] using generic constraint 2.10/2.18 c intension z[1456]=x[786] using generic constraint 2.10/2.18 c intension z[1457]=x[787] using generic constraint 2.10/2.18 c intension z[1459]=x[789] using generic constraint 2.10/2.18 c intension z[1460]=x[790] using generic constraint 2.10/2.18 c intension z[1461]=x[791] using generic constraint 2.10/2.19 c intension z[1212]=x[524] using generic constraint 2.10/2.19 c intension z[1462]=x[792] using generic constraint 2.10/2.19 c intension z[1463]=x[793] using generic constraint 2.10/2.19 c intension z[1465]=x[795] using generic constraint 2.10/2.19 c intension z[1466]=x[796] using generic constraint 2.10/2.19 c intension z[789]=x[63] using generic constraint 2.10/2.19 c intension z[1467]=x[797] using generic constraint 2.10/2.19 c intension z[1213]=x[526] using generic constraint 2.10/2.19 c intension z[1468]=x[798] using generic constraint 2.19/2.20 c intension z[1469]=x[799] using generic constraint 2.19/2.20 c intension z[1471]=x[801] using generic constraint 2.19/2.20 c intension z[1472]=x[802] using generic constraint 2.19/2.20 c intension z[1473]=x[803] using generic constraint 2.19/2.20 c intension z[1214]=x[528] using generic constraint 2.19/2.20 c intension z[1474]=x[804] using generic constraint 2.19/2.20 c intension z[1475]=x[805] using generic constraint 2.19/2.20 c intension z[790]=x[64] using generic constraint 2.19/2.20 c intension z[1477]=x[807] using generic constraint 2.19/2.21 c intension z[1478]=x[808] using generic constraint 2.19/2.21 c intension z[1479]=x[809] using generic constraint 2.19/2.21 c intension z[1215]=x[530] using generic constraint 2.19/2.21 c intension z[1480]=x[810] using generic constraint 2.19/2.21 c intension z[1481]=x[811] using generic constraint 2.19/2.21 c intension z[1483]=x[813] using generic constraint 2.19/2.21 c intension z[1484]=x[814] using generic constraint 2.19/2.21 c intension z[1485]=x[815] using generic constraint 2.19/2.21 c intension z[1216]=x[532] using generic constraint 2.19/2.22 c intension z[791]=x[65] using generic constraint 2.19/2.22 c intension z[1486]=x[816] using generic constraint 2.19/2.22 c intension z[1487]=x[817] using generic constraint 2.19/2.22 c intension z[1489]=x[819] using generic constraint 2.19/2.22 c intension z[1490]=x[820] using generic constraint 2.19/2.22 c intension z[1491]=x[821] using generic constraint 2.19/2.22 c intension z[1217]=x[534] using generic constraint 2.19/2.22 c intension z[1492]=x[822] using generic constraint 2.19/2.22 c intension z[1493]=x[823] using generic constraint 2.19/2.23 c intension z[1495]=x[825] using generic constraint 2.19/2.23 c intension z[1496]=x[826] using generic constraint 2.19/2.23 c intension z[792]=x[66] using generic constraint 2.19/2.23 c intension z[1497]=x[827] using generic constraint 2.19/2.23 c intension z[1218]=x[536] using generic constraint 2.19/2.23 c intension z[1498]=x[828] using generic constraint 2.19/2.23 c intension z[1499]=x[829] using generic constraint 2.19/2.23 c intension z[1501]=x[831] using generic constraint 2.19/2.23 c intension z[1502]=x[832] using generic constraint 2.19/2.24 c intension z[1503]=x[833] using generic constraint 2.19/2.24 c intension z[1219]=x[538] using generic constraint 2.19/2.24 c intension z[1504]=x[834] using generic constraint 2.19/2.24 c intension z[1505]=x[835] using generic constraint 2.19/2.24 c intension z[793]=x[67] using generic constraint 2.19/2.24 c intension z[1507]=x[837] using generic constraint 2.19/2.24 c intension z[1508]=x[838] using generic constraint 2.19/2.24 c intension z[1509]=x[839] using generic constraint 2.19/2.24 c intension z[1220]=x[540] using generic constraint 2.19/2.25 c intension z[1510]=x[840] using generic constraint 2.19/2.25 c intension z[1511]=x[841] using generic constraint 2.19/2.25 c intension z[1513]=x[843] using generic constraint 2.19/2.25 c intension z[1514]=x[844] using generic constraint 2.19/2.25 c intension z[1515]=x[845] using generic constraint 2.19/2.25 c intension z[1221]=x[542] using generic constraint 2.19/2.25 c intension z[794]=x[68] using generic constraint 2.19/2.25 c intension z[1516]=x[846] using generic constraint 2.19/2.25 c intension z[1517]=x[847] using generic constraint 2.19/2.26 c intension z[1519]=x[849] using generic constraint 2.19/2.26 c intension z[1520]=x[850] using generic constraint 2.19/2.26 c intension z[1521]=x[851] using generic constraint 2.19/2.26 c intension z[1222]=x[544] using generic constraint 2.19/2.26 c intension z[1522]=x[852] using generic constraint 2.19/2.26 c intension z[1523]=x[853] using generic constraint 2.19/2.26 c intension z[1525]=x[855] using generic constraint 2.19/2.26 c intension z[1526]=x[856] using generic constraint 2.19/2.26 c intension z[795]=x[69] using generic constraint 2.19/2.27 c intension z[1527]=x[857] using generic constraint 2.19/2.27 c intension z[1223]=x[546] using generic constraint 2.19/2.27 c intension z[1528]=x[858] using generic constraint 2.19/2.27 c intension z[1529]=x[859] using generic constraint 2.19/2.27 c intension z[1531]=x[861] using generic constraint 2.19/2.27 c intension z[1532]=x[862] using generic constraint 2.19/2.27 c intension z[1533]=x[863] using generic constraint 2.19/2.27 c intension z[1224]=x[548] using generic constraint 2.19/2.27 c intension z[1534]=x[864] using generic constraint 2.19/2.28 c intension z[1535]=x[865] using generic constraint 2.19/2.28 c intension z[796]=x[70] using generic constraint 2.19/2.28 c intension z[1537]=x[867] using generic constraint 2.19/2.28 c intension z[1538]=x[868] using generic constraint 2.19/2.28 c intension z[1539]=x[869] using generic constraint 2.19/2.28 c intension z[1225]=x[550] using generic constraint 2.19/2.28 c intension z[1540]=x[870] using generic constraint 2.19/2.28 c intension z[1541]=x[871] using generic constraint 2.19/2.28 c intension z[1543]=x[873] using generic constraint 2.19/2.29 c intension z[1544]=x[874] using generic constraint 2.19/2.29 c intension z[1545]=x[875] using generic constraint 2.19/2.29 c intension z[1226]=x[552] using generic constraint 2.19/2.29 c intension z[734]=x[8] using generic constraint 2.19/2.29 c intension z[797]=x[71] using generic constraint 2.19/2.29 c intension z[1546]=x[876] using generic constraint 2.19/2.29 c intension z[1547]=x[877] using generic constraint 2.19/2.29 c intension z[1549]=x[879] using generic constraint 2.19/2.29 c intension z[1550]=x[880] using generic constraint 2.19/2.30 c intension z[1551]=x[881] using generic constraint 2.29/2.30 c intension z[1227]=x[554] using generic constraint 2.29/2.30 c intension z[1552]=x[882] using generic constraint 2.29/2.30 c intension z[1553]=x[883] using generic constraint 2.29/2.30 c intension z[1555]=x[885] using generic constraint 2.29/2.30 c intension z[1556]=x[886] using generic constraint 2.29/2.30 c intension z[798]=x[72] using generic constraint 2.29/2.30 c intension z[1557]=x[887] using generic constraint 2.29/2.30 c intension z[1228]=x[556] using generic constraint 2.29/2.31 c intension z[1558]=x[888] using generic constraint 2.29/2.31 c intension z[1559]=x[889] using generic constraint 2.29/2.31 c intension z[1561]=x[891] using generic constraint 2.29/2.31 c intension z[1562]=x[892] using generic constraint 2.29/2.31 c intension z[1563]=x[893] using generic constraint 2.29/2.31 c intension z[1229]=x[558] using generic constraint 2.29/2.31 c intension z[1564]=x[894] using generic constraint 2.29/2.31 c intension z[1565]=x[895] using generic constraint 2.29/2.31 c intension z[799]=x[73] using generic constraint 2.29/2.32 c intension z[1567]=x[897] using generic constraint 2.29/2.32 c intension z[1568]=x[898] using generic constraint 2.29/2.32 c intension z[1569]=x[899] using generic constraint 2.29/2.32 c intension z[1230]=x[560] using generic constraint 2.29/2.32 c intension z[1570]=x[900] using generic constraint 2.29/2.32 c intension z[1571]=x[901] using generic constraint 2.29/2.32 c intension z[1573]=x[903] using generic constraint 2.29/2.32 c intension z[1574]=x[904] using generic constraint 2.29/2.32 c intension z[1235]=x[565] using generic constraint 2.29/2.33 c intension z[1576]=x[906] using generic constraint 2.29/2.33 c intension z[800]=x[74] using generic constraint 2.29/2.33 c intension z[1241]=x[571] using generic constraint 2.29/2.33 c intension z[1578]=x[908] using generic constraint 2.29/2.33 c intension z[1247]=x[577] using generic constraint 2.29/2.33 c intension z[1580]=x[910] using generic constraint 2.29/2.33 c intension z[1253]=x[583] using generic constraint 2.29/2.33 c intension z[1582]=x[912] using generic constraint 2.29/2.33 c intension z[1259]=x[589] using generic constraint 2.29/2.34 c intension z[1584]=x[914] using generic constraint 2.29/2.34 c intension z[1265]=x[595] using generic constraint 2.29/2.34 c intension z[1586]=x[916] using generic constraint 2.29/2.34 c intension z[801]=x[75] using generic constraint 2.29/2.34 c intension z[1271]=x[601] using generic constraint 2.29/2.34 c intension z[1588]=x[918] using generic constraint 2.29/2.34 c intension z[1284]=x[614] using generic constraint 2.29/2.34 c intension z[1590]=x[920] using generic constraint 2.29/2.34 c intension z[1290]=x[620] using generic constraint 2.29/2.35 c intension z[1592]=x[922] using generic constraint 2.29/2.35 c intension z[1296]=x[626] using generic constraint 2.29/2.35 c intension z[1594]=x[924] using generic constraint 2.29/2.35 c intension z[1302]=x[632] using generic constraint 2.29/2.35 c intension z[1596]=x[926] using generic constraint 2.29/2.35 c intension z[802]=x[76] using generic constraint 2.29/2.35 c intension z[1308]=x[638] using generic constraint 2.29/2.35 c intension z[1598]=x[928] using generic constraint 2.29/2.35 c intension z[1314]=x[644] using generic constraint 2.29/2.35 c intension z[1600]=x[930] using generic constraint 2.29/2.36 c intension z[1320]=x[650] using generic constraint 2.29/2.36 c intension z[1602]=x[932] using generic constraint 2.29/2.36 c intension z[1326]=x[656] using generic constraint 2.29/2.36 c intension z[1604]=x[934] using generic constraint 2.29/2.36 c intension z[1332]=x[662] using generic constraint 2.29/2.36 c intension z[1606]=x[936] using generic constraint 2.29/2.36 c intension z[803]=x[77] using generic constraint 2.29/2.36 c intension z[1338]=x[668] using generic constraint 2.29/2.36 c intension z[1608]=x[938] using generic constraint 2.29/2.37 c intension z[1344]=x[674] using generic constraint 2.29/2.37 c intension z[1610]=x[940] using generic constraint 2.29/2.37 c intension z[1350]=x[680] using generic constraint 2.29/2.37 c intension z[1612]=x[942] using generic constraint 2.29/2.37 c intension z[1356]=x[686] using generic constraint 2.29/2.37 c intension z[1614]=x[944] using generic constraint 2.29/2.37 c intension z[1362]=x[692] using generic constraint 2.29/2.37 c intension z[1616]=x[946] using generic constraint 2.29/2.37 c intension z[804]=x[78] using generic constraint 2.29/2.38 c intension z[1368]=x[698] using generic constraint 2.29/2.38 c intension z[1618]=x[948] using generic constraint 2.29/2.38 c intension z[1374]=x[704] using generic constraint 2.29/2.38 c intension z[1620]=x[950] using generic constraint 2.29/2.38 c intension z[1380]=x[710] using generic constraint 2.29/2.38 c intension z[1622]=x[952] using generic constraint 2.29/2.38 c intension z[1386]=x[716] using generic constraint 2.29/2.38 c intension z[1624]=x[954] using generic constraint 2.29/2.38 c intension z[1392]=x[722] using generic constraint 2.29/2.39 c intension z[1626]=x[956] using generic constraint 2.29/2.39 c intension z[805]=x[79] using generic constraint 2.29/2.39 c intension z[1398]=x[728] using generic constraint 2.29/2.39 c intension z[1628]=x[958] using generic constraint 2.29/2.39 c intension z[1404]=x[734] using generic constraint 2.29/2.39 c intension z[1630]=x[960] using generic constraint 2.29/2.39 c intension z[1410]=x[740] using generic constraint 2.29/2.39 c intension z[1632]=x[962] using generic constraint 2.29/2.39 c intension z[1416]=x[746] using generic constraint 2.39/2.40 c intension z[1634]=x[964] using generic constraint 2.39/2.40 c intension z[1422]=x[752] using generic constraint 2.39/2.40 c intension z[1636]=x[966] using generic constraint 2.39/2.40 c intension z[806]=x[80] using generic constraint 2.39/2.40 c intension z[1428]=x[758] using generic constraint 2.39/2.40 c intension z[1638]=x[968] using generic constraint 2.39/2.40 c intension z[1434]=x[764] using generic constraint 2.39/2.40 c intension z[1640]=x[970] using generic constraint 2.39/2.40 c intension z[1440]=x[770] using generic constraint 2.39/2.41 c intension z[1642]=x[972] using generic constraint 2.39/2.41 c intension z[1446]=x[776] using generic constraint 2.39/2.41 c intension z[1644]=x[974] using generic constraint 2.39/2.41 c intension z[1452]=x[782] using generic constraint 2.39/2.41 c intension z[1646]=x[976] using generic constraint 2.39/2.41 c intension z[735]=x[9] using generic constraint 2.39/2.41 c intension z[807]=x[81] using generic constraint 2.39/2.41 c intension z[1458]=x[788] using generic constraint 2.39/2.41 c intension z[1648]=x[978] using generic constraint 2.39/2.42 c intension z[1464]=x[794] using generic constraint 2.39/2.42 c intension z[1650]=x[980] using generic constraint 2.39/2.42 c intension z[1470]=x[800] using generic constraint 2.39/2.42 c intension z[1652]=x[982] using generic constraint 2.39/2.42 c intension z[1476]=x[806] using generic constraint 2.39/2.42 c intension z[1654]=x[984] using generic constraint 2.39/2.42 c intension z[1482]=x[812] using generic constraint 2.39/2.42 c intension z[1656]=x[986] using generic constraint 2.39/2.43 c intension z[808]=x[82] using generic constraint 2.39/2.43 c intension z[1488]=x[818] using generic constraint 2.39/2.43 c intension z[1658]=x[988] using generic constraint 2.39/2.43 c intension z[1494]=x[824] using generic constraint 2.39/2.43 c intension z[1660]=x[990] using generic constraint 2.39/2.43 c intension z[1500]=x[830] using generic constraint 2.39/2.43 c intension z[1662]=x[992] using generic constraint 2.39/2.43 c intension z[1506]=x[836] using generic constraint 2.39/2.43 c intension z[1664]=x[994] using generic constraint 2.39/2.43 c intension z[1512]=x[842] using generic constraint 2.39/2.44 c intension z[1666]=x[996] using generic constraint 2.39/2.44 c intension z[809]=x[83] using generic constraint 2.39/2.44 c intension z[1518]=x[848] using generic constraint 2.39/2.44 c intension z[1668]=x[998] using generic constraint 2.39/2.44 c intension z[1524]=x[854] using generic constraint 2.39/2.44 c intension z[1670]=x[1000] using generic constraint 2.39/2.44 c intension z[1530]=x[860] using generic constraint 2.39/2.44 c intension z[1672]=x[1002] using generic constraint 2.39/2.44 c intension z[1536]=x[866] using generic constraint 2.39/2.45 c intension z[1674]=x[1004] using generic constraint 2.39/2.45 c intension z[1542]=x[872] using generic constraint 2.39/2.45 c intension z[1676]=x[1006] using generic constraint 2.39/2.45 c intension z[810]=x[84] using generic constraint 2.39/2.45 c intension z[1548]=x[878] using generic constraint 2.39/2.45 c intension z[1678]=x[1008] using generic constraint 2.39/2.45 c intension z[1554]=x[884] using generic constraint 2.39/2.45 c intension z[1680]=x[1010] using generic constraint 2.39/2.45 c intension z[1560]=x[890] using generic constraint 2.39/2.46 c intension z[1682]=x[1012] using generic constraint 2.39/2.46 c intension z[1566]=x[896] using generic constraint 2.39/2.46 c intension z[1684]=x[1014] using generic constraint 2.39/2.46 c intension z[1572]=x[902] using generic constraint 2.39/2.46 c intension z[1686]=x[1016] using generic constraint 2.39/2.46 c intension z[811]=x[85] using generic constraint 2.39/2.46 c intension z[1575]=x[905] using generic constraint 2.39/2.46 c intension z[1689]=x[1019] using generic constraint 2.39/2.46 c intension z[1577]=x[907] using generic constraint 2.39/2.47 c intension z[1692]=x[1022] using generic constraint 2.39/2.47 c intension z[1579]=x[909] using generic constraint 2.39/2.47 c intension z[1695]=x[1025] using generic constraint 2.39/2.47 c intension z[1581]=x[911] using generic constraint 2.39/2.47 c intension z[1698]=x[1028] using generic constraint 2.39/2.47 c intension z[1583]=x[913] using generic constraint 2.39/2.47 c intension z[1701]=x[1031] using generic constraint 2.39/2.47 c intension z[812]=x[86] using generic constraint 2.39/2.47 c intension z[1585]=x[915] using generic constraint 2.39/2.48 c intension z[1704]=x[1034] using generic constraint 2.39/2.48 c intension z[1587]=x[917] using generic constraint 2.39/2.48 c intension z[1589]=x[919] using generic constraint 2.39/2.48 c intension z[1688]=x[1018] using generic constraint 2.39/2.48 c intension z[1591]=x[921] using generic constraint 2.39/2.48 c intension z[1691]=x[1021] using generic constraint 2.39/2.48 c intension z[1593]=x[923] using generic constraint 2.39/2.48 c intension z[1694]=x[1024] using generic constraint 2.39/2.48 c intension z[1595]=x[925] using generic constraint 2.39/2.49 c intension z[813]=x[87] using generic constraint 2.39/2.49 c intension z[1697]=x[1027] using generic constraint 2.39/2.49 c intension z[1597]=x[927] using generic constraint 2.39/2.49 c intension z[1700]=x[1030] using generic constraint 2.39/2.49 c intension z[1599]=x[929] using generic constraint 2.39/2.49 c intension z[1703]=x[1033] using generic constraint 2.39/2.49 c intension z[1601]=x[931] using generic constraint 2.39/2.49 c intension z[1706]=x[1036] using generic constraint 2.39/2.49 c intension z[1603]=x[933] using generic constraint 2.39/2.50 c intension z[1605]=x[935] using generic constraint 2.49/2.50 c intension z[1607]=x[937] using generic constraint 2.49/2.50 c intension z[814]=x[88] using generic constraint 2.49/2.50 c intension z[1609]=x[939] using generic constraint 2.49/2.50 c intension z[1611]=x[941] using generic constraint 2.49/2.50 c intension z[1613]=x[943] using generic constraint 2.49/2.50 c intension z[1615]=x[945] using generic constraint 2.49/2.50 c intension z[1617]=x[947] using generic constraint 2.49/2.50 c intension z[1619]=x[949] using generic constraint 2.49/2.51 c intension z[1621]=x[951] using generic constraint 2.49/2.51 c intension z[1623]=x[953] using generic constraint 2.49/2.51 c intension z[1625]=x[955] using generic constraint 2.49/2.51 c intension z[1627]=x[957] using generic constraint 2.49/2.51 c intension z[815]=x[89] using generic constraint 2.49/2.51 c intension z[1629]=x[959] using generic constraint 2.49/2.51 c intension z[1631]=x[961] using generic constraint 2.49/2.51 c intension z[1633]=x[963] using generic constraint 2.49/2.51 c intension z[1635]=x[965] using generic constraint 2.49/2.52 c intension z[1637]=x[967] using generic constraint 2.49/2.52 c intension z[1639]=x[969] using generic constraint 2.49/2.52 c intension z[1641]=x[971] using generic constraint 2.49/2.52 c intension z[1643]=x[973] using generic constraint 2.49/2.52 c intension z[1645]=x[975] using generic constraint 2.49/2.52 c intension z[1647]=x[977] using generic constraint 2.49/2.52 c intension z[816]=x[90] using generic constraint 2.49/2.52 c intension z[1649]=x[979] using generic constraint 2.49/2.52 c intension z[1651]=x[981] using generic constraint 2.49/2.53 c intension z[1653]=x[983] using generic constraint 2.49/2.53 c intension z[1655]=x[985] using generic constraint 2.49/2.53 c intension z[1657]=x[987] using generic constraint 2.49/2.53 c intension z[1659]=x[989] using generic constraint 2.49/2.53 c intension z[1661]=x[991] using generic constraint 2.49/2.53 c intension z[1663]=x[993] using generic constraint 2.49/2.53 c intension z[1665]=x[995] using generic constraint 2.49/2.53 c intension z[1667]=x[997] using generic constraint 2.49/2.53 c intension z[736]=x[10] using generic constraint 2.49/2.54 c intension z[817]=x[91] using generic constraint 2.49/2.54 c intension z[1669]=x[999] using generic constraint 2.49/2.54 c intension z[1671]=x[1001] using generic constraint 2.49/2.54 c intension z[1673]=x[1003] using generic constraint 2.49/2.54 c intension z[1675]=x[1005] using generic constraint 2.49/2.54 c intension z[1677]=x[1007] using generic constraint 2.49/2.54 c intension z[1679]=x[1009] using generic constraint 2.49/2.54 c intension z[1681]=x[1011] using generic constraint 2.49/2.54 c intension z[1683]=x[1013] using generic constraint 2.49/2.54 c intension z[1685]=x[1015] using generic constraint 2.49/2.55 c intension z[1707]=x[1037] using generic constraint 2.49/2.55 c intension z[818]=x[92] using generic constraint 2.49/2.55 c intension z[1709]=x[1039] using generic constraint 2.49/2.55 c intension z[1711]=x[1041] using generic constraint 2.49/2.55 c intension z[1713]=x[1043] using generic constraint 2.49/2.55 c intension z[1715]=x[1045] using generic constraint 2.49/2.55 c intension z[1717]=x[1047] using generic constraint 2.49/2.55 c intension z[1719]=x[1049] using generic constraint 2.49/2.55 c intension z[1721]=x[1051] using generic constraint 2.49/2.56 c intension z[1723]=x[1053] using generic constraint 2.49/2.56 c intension z[1725]=x[1055] using generic constraint 2.49/2.56 c intension z[1727]=x[1057] using generic constraint 2.49/2.56 c intension z[819]=x[93] using generic constraint 2.49/2.56 c intension z[1729]=x[1059] using generic constraint 2.49/2.56 c intension z[1731]=x[1061] using generic constraint 2.49/2.56 c intension z[1733]=x[1063] using generic constraint 2.49/2.56 c intension z[1735]=x[1065] using generic constraint 2.49/2.56 c intension z[1737]=x[1067] using generic constraint 2.49/2.57 c intension z[1739]=x[1069] using generic constraint 2.49/2.57 c intension z[1741]=x[1071] using generic constraint 2.49/2.57 c intension z[1743]=x[1073] using generic constraint 2.49/2.57 c intension z[1745]=x[1075] using generic constraint 2.49/2.57 c intension z[1747]=x[1077] using generic constraint 2.49/2.57 c intension z[820]=x[94] using generic constraint 2.49/2.57 c intension z[1749]=x[1079] using generic constraint 2.49/2.57 c intension z[1751]=x[1081] using generic constraint 2.49/2.58 c intension z[1753]=x[1083] using generic constraint 2.49/2.58 c intension z[1755]=x[1085] using generic constraint 2.49/2.58 c intension z[1757]=x[1087] using generic constraint 2.49/2.58 c intension z[1759]=x[1089] using generic constraint 2.49/2.58 c intension z[1761]=x[1091] using generic constraint 2.49/2.58 c intension z[1763]=x[1093] using generic constraint 2.49/2.58 c intension z[1765]=x[1095] using generic constraint 2.49/2.58 c intension z[1767]=x[1097] using generic constraint 2.49/2.58 c intension z[821]=x[95] using generic constraint 2.49/2.59 c intension z[1769]=x[1099] using generic constraint 2.49/2.59 c intension z[1771]=x[1101] using generic constraint 2.49/2.59 c intension z[1773]=x[1103] using generic constraint 2.49/2.59 c intension z[1775]=x[1105] using generic constraint 2.49/2.59 c intension z[1777]=x[1107] using generic constraint 2.49/2.59 c intension z[1779]=x[1109] using generic constraint 2.49/2.59 c intension z[1781]=x[1111] using generic constraint 2.49/2.59 c intension z[1783]=x[1113] using generic constraint 2.49/2.59 c intension z[1785]=x[1115] using generic constraint 2.49/2.60 c intension z[1787]=x[1117] using generic constraint 2.59/2.60 c intension z[822]=x[96] using generic constraint 2.59/2.60 c intension z[1789]=x[1119] using generic constraint 2.59/2.60 c intension z[1791]=x[1121] using generic constraint 2.59/2.60 c intension z[1793]=x[1123] using generic constraint 2.59/2.60 c intension z[1795]=x[1125] using generic constraint 2.59/2.60 c intension z[1797]=x[1127] using generic constraint 2.59/2.60 c intension z[1799]=x[1129] using generic constraint 2.59/2.60 c intension z[1801]=x[1131] using generic constraint 2.59/2.61 c intension z[1803]=x[1133] using generic constraint 2.59/2.61 c intension z[1805]=x[1135] using generic constraint 2.59/2.61 c intension z[1807]=x[1137] using generic constraint 2.59/2.61 c intension z[823]=x[97] using generic constraint 2.59/2.61 c intension z[1809]=x[1139] using generic constraint 2.59/2.61 c intension z[1811]=x[1141] using generic constraint 2.59/2.61 c intension z[1813]=x[1143] using generic constraint 2.59/2.61 c intension z[1815]=x[1145] using generic constraint 2.59/2.61 c intension z[1817]=x[1147] using generic constraint 2.59/2.62 c intension z[1687]=x[1017] using generic constraint 2.59/2.62 c intension z[1690]=x[1020] using generic constraint 2.59/2.62 c intension z[1693]=x[1023] using generic constraint 2.59/2.62 c intension z[1696]=x[1026] using generic constraint 2.59/2.62 c intension z[1699]=x[1029] using generic constraint 2.59/2.62 c intension z[824]=x[98] using generic constraint 2.59/2.62 c intension z[1702]=x[1032] using generic constraint 2.59/2.62 c intension z[1705]=x[1035] using generic constraint 2.59/2.62 c intension z[1708]=x[1038] using generic constraint 2.59/2.62 c intension z[1819]=x[1149] using generic constraint 2.59/2.63 c intension z[988]=x[262] using generic constraint 2.59/2.63 c intension z[985]=x[259] using generic constraint 2.59/2.63 c intension z[1833]=x[1163] using generic constraint 2.59/2.63 c intension z[1820]=x[1150] using generic constraint 2.59/2.63 c intension z[1710]=x[1040] using generic constraint 2.59/2.63 c intension z[1821]=x[1151] using generic constraint 2.59/2.63 c intension z[825]=x[99] using generic constraint 2.59/2.63 c intension z[991]=x[265] using generic constraint 2.59/2.63 c intension z[1835]=x[1165] using generic constraint 2.59/2.64 c intension z[1834]=x[1164] using generic constraint 2.59/2.64 c intension z[1822]=x[1152] using generic constraint 2.59/2.64 c intension z[1712]=x[1042] using generic constraint 2.59/2.64 c intension z[1823]=x[1153] using generic constraint 2.59/2.64 c intension z[994]=x[268] using generic constraint 2.59/2.64 c intension z[1837]=x[1167] using generic constraint 2.59/2.64 c intension z[1836]=x[1166] using generic constraint 2.59/2.64 c intension z[1824]=x[1154] using generic constraint 2.59/2.64 c intension z[826]=x[100] using generic constraint 2.59/2.65 c intension z[1714]=x[1044] using generic constraint 2.59/2.65 c intension z[1825]=x[1155] using generic constraint 2.59/2.65 c intension z[997]=x[271] using generic constraint 2.59/2.65 c intension z[1839]=x[1169] using generic constraint 2.59/2.65 c intension z[1838]=x[1168] using generic constraint 2.59/2.65 c intension z[1826]=x[1156] using generic constraint 2.59/2.65 c intension z[1716]=x[1046] using generic constraint 2.59/2.65 c intension z[1827]=x[1157] using generic constraint 2.59/2.65 c intension z[1000]=x[274] using generic constraint 2.59/2.66 c intension z[1841]=x[1171] using generic constraint 22.09/22.17 c root propagations : 0 22.09/22.17 c restarts enabled, print stats at every restarts 22.09/22.17 c 22.09/22.17 c 22.09/22.17 c 22.09/22.17 c This is cosoco 1.12 -- 22.09/22.17 c 22.09/22.17 c command line: cosoco -lc -model -restarts HOME/instance-4267992-1502586084.xml 22.09/22.17 c ========================================[ Problem Statistics ]=========================================== 22.09/22.17 c | 22.09/22.17 c | Parse time : 16.80 s 22.09/22.17 c | 22.09/22.17 c | Variables: 14823 22.09/22.17 c | Domain Sizes: 2..20001 22.09/22.17 c | 22.09/22.17 c | Constraints: 14025 22.09/22.17 c | Arity: 1..3 -- Unary: 2 -- Binary: 2319 -- Ternary: 11704 22.09/22.17 c | 22.09/22.17 c | Types: 22.09/22.17 c | (X = Y): 1282 22.09/22.17 c | Intension: 12743 22.09/22.17 c | 22.09/22.17 c ========================================================================================================= 22.09/22.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 22.69/22.75 c 101 2269 30154 3912 0 0 1028 2169 1877 23.29/23.32 c 211 4483 45799 7747 0 0 1030 2105 1788 23.79/23.88 c 332 6699 61537 11608 0 0 139 2096 1757 24.39/24.44 c 465 8953 77621 15572 0 0 139 2122 1762 25.00/25.01 c 611 11261 94130 19657 0 0 132 2163 1790 25.49/25.59 c 771 13617 111025 23861 0 0 133 2197 1785 26.10/26.19 c 947 16056 128650 28246 0 0 172 2264 1869 26.79/26.80 c 1140 18544 146709 32758 0 0 134 2296 1892 27.39/27.44 c 1352 21155 165433 37520 0 0 135 2400 1886 28.10/28.12 c 1585 23984 185301 42695 0 0 136 2597 1937 28.79/28.82 c 1841 26892 206012 48058 0 0 137 2653 1951 29.49/29.54 c 2122 29903 227064 53655 0 0 138 2731 1983 30.19/30.27 c 2431 32988 248753 59445 0 0 139 2777 1986 31.00/31.03 c 2770 36199 271364 65518 0 0 140 2873 2029 31.79/31.81 c 3142 39515 294831 71857 0 0 141 2945 2052 32.60/32.60 c 3551 42932 319281 78466 0 0 142 3009 2110 33.40/33.40 c 4000 46441 344615 85336 0 0 143 3061 2145 34.20/34.22 c 4493 50062 371353 92512 0 0 144 3129 2179 35.00/35.06 c 5035 53816 399215 100051 0 0 145 3213 2204 35.89/35.91 c 5631 57664 428192 107892 0 0 146 3253 2140 36.69/36.77 c 6286 61610 459977 187008 0 0 175 3292 2258 37.59/37.67 c 7006 65622 495849 396235 0 0 147 3293 2332 38.69/38.79 c 7798 69706 549397 927191 0 0 151 3293 2417 39.79/39.85 c 8669 73887 621183 1297391 0 0 152 3311 2489 39.89/39.90 c 9627 74845 625015 1301223 1 0 1 1 0 39.89/39.98 c 10680 75898 629227 1305435 1 0 1 1 0 40.10/40.14 c 11838 77056 633859 1310067 1 0 1 1 0 40.39/40.41 c 13111 78329 638951 1315159 1 0 1 1 0 40.79/40.82 c 14511 79729 644551 1320759 1 0 1 1 0 41.39/41.41 c 16051 81269 650711 1326919 1 0 1 1 0 42.19/42.24 c 17745 82963 657487 1333695 1 0 1 1 0 43.70/43.75 c 19608 85760 891783 1667179 1 0 1 880 433 44.59/44.67 c 21657 91176 1081431 1704746 1 0 154 3364 2870 44.69/44.73 c 23910 93429 1356297 1711505 2 0 1 1 0 44.69/44.78 c 26388 95907 1658613 1718939 2 0 1 1 0 44.79/44.83 c 29113 98632 1991063 1727114 2 0 1 1 0 45.39/45.48 c 32110 103855 2326568 1769487 2 0 1 2220 223 46.39/46.41 c 35406 110522 2370957 1809609 2 0 153 3365 3048 46.39/46.47 c 39031 114147 2381832 1820484 3 0 1 1 0 46.49/46.50 c 43018 118134 2393793 1832445 3 0 1 1 0 47.39/47.43 c 47403 125892 2441461 1877063 3 0 1 3367 1299 47.49/47.50 c 52226 130715 2455930 1891532 4 0 1 1 0 47.89/47.91 c 57531 137258 2488246 1948994 4 0 1 1229 20 48.89/48.90 c 63366 146471 2543241 2019484 4 0 156 3369 3185 48.89/48.98 c 69784 152889 2562495 2038738 5 0 1 1 0 49.89/49.96 c 76843 163328 2621105 2112890 5 0 1 3371 1509 50.00/50.08 c 84607 171092 2644397 2136182 6 0 1 1 0 51.00/51.09 c 93147 183014 2707602 2216796 6 0 1 3373 2364 51.19/51.23 c 102541 192408 2735784 2244978 7 0 1 1 0 52.19/52.29 c 112874 206125 2804272 2330168 7 0 1 3375 3073 53.29/53.34 c 124240 220877 2875860 2419058 8 0 1 3377 312 54.39/54.45 c 136742 236767 2950868 2511361 9 0 1 3379 591 55.59/55.60 c 150494 253907 3030666 2607274 10 0 1 3381 849 57.59/57.62 c 165621 272465 3329183 4458618 11 0 1 3383 839 58.79/58.85 c 182260 292497 3416185 4555147 12 0 1 3385 1287 60.10/60.13 c 200562 314194 3508190 4656692 13 0 1 3387 1479 62.29/62.30 c 220694 337762 3837763 6585972 14 0 1 3389 1447 63.58/63.67 c 242839 363303 3937966 6677448 15 0 1 3393 1813 64.99/65.10 c 267198 391060 4044856 6776373 16 0 1 3395 1040 66.58/66.65 c 293992 421262 4162232 6903168 17 0 1 3397 1254 68.18/68.30 c 323465 454143 4287884 7030147 18 0 1 3399 1363 70.00/70.08 c 355885 489975 4422385 7165971 19 0 1 3403 1547 71.89/71.98 c 391547 529051 4566642 7311525 20 0 1 3405 1088 73.99/74.07 c 430775 571695 4721502 7467173 21 0 1 3407 1300 76.28/76.37 c 473925 618265 4888115 7634221 22 0 1 3411 1431 80.18/80.20 c 521390 669190 5466104 10682731 23 0 1 3413 992 82.99/83.01 c 573601 724818 5655397 10860180 24 0 1 3417 1295 86.09/86.14 c 631033 785669 5860342 11053294 25 0 1 3419 1098 89.69/89.70 c 694208 852267 6082531 11264444 26 0 1 3423 1305 93.68/93.72 c 763700 925184 6323675 11494547 27 0 1 3425 1137 98.28/98.33 c 840141 1005054 6585684 11745701 28 0 1 3429 1343 103.58/103.62 c 924226 1092572 6870792 12020196 29 0 1 3433 1234 109.69/109.73 c 1016719 1188502 7181208 12321338 30 0 1 3437 1196 116.78/116.83 c 1118461 1293687 7521006 12656693 31 0 1 3441 1129 125.09/125.12 c 1230377 1409050 7891399 13023584 32 0 1 3445 1136 134.79/134.83 c 1353484 1535608 8295351 13424048 33 0 1 3449 1140 146.18/146.25 c 1488901 1674480 8736200 13861443 34 0 1 3453 1166 159.68/159.70 c 1637859 1826897 9217694 14339468 35 0 1 3457 1187 175.58/175.64 c 1801712 1994215 9743917 14862183 36 0 1 3463 1254 194.38/194.49 c 1981950 2177922 10319264 15434059 37 0 1 3467 1192 217.28/217.37 c 2180211 2379675 11116128 17217742 38 0 1 3473 1240 246.78/246.87 c 2398298 2601355 12726232 25434332 39 0 1 3479 1196 278.68/278.75 c 2638193 2844749 13484389 26203061 40 0 1 3485 1225 316.78/316.85 c 2902077 3112140 14314562 27043971 41 0 1 3493 1248 362.38/362.43 c 3192349 3405925 15223897 27964050 42 0 1 3499 1209 416.99/417.09 c 3511648 3728745 16220303 28971229 43 0 1 3507 1241 482.58/482.66 c 3862876 4083504 17312539 30074204 44 0 1 3517 1246 561.38/561.46 c 4249226 4473401 18553934 31581563 45 0 1 3525 1195 655.99/656.09 c 4674211 4901935 19867426 32905824 46 0 1 3535 1237 770.29/770.34 c 5141694 5373007 21651974 37060496 47 0 1 3545 1200 907.30/907.37 c 5655925 5890797 23227914 38625376 48 0 1 3557 1237 1072.40/1072.47 c 6221579 6460022 24958216 40345738 49 0 1 3569 1222 1271.61/1271.62 c 6843798 7085825 26858820 42238021 50 0 1 3583 1232 1512.12/1512.15 c 7528238 7773876 28950590 44337475 51 0 1 3597 1225 1803.32/1803.35 c 8281122 8530387 31247865 46644502 52 0 1 3613 1243 2156.54/2156.58 c 9109294 9362202 33771021 49177208 53 0 1 3629 1249 2520.06/2520.01 2520.06/2520.01 c *** INTERRUPTED *** 2520.06/2520.01 c restarts : 96 2520.06/2520.01 c conflicts : 9956778 (3959 /sec) 2520.06/2520.01 c decisions : 10213335 (4061 /sec) 2520.06/2520.01 c propagations : 51768047 (20585 /sec) 2520.06/2520.01 c root propagations : 0 2520.06/2520.01 c filter calls : 36352090 (14455 /sec) 2520.06/2520.01 c useless filter calls : 25874849 (71 %) 2520.06/2520.01 c Memory used : 11079.45 MB 2520.06/2520.01 c CPU time : 2514.87 s 2520.06/2520.01 2520.06/2520.01 s UNKNOWN
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 (13803 MiB free)
memory of node 1: 16384 MiB (14086 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267992-1502586084/watcher-4267992-1502586084 -o /tmp/evaluation-result-4267992-1502586084/solver-4267992-1502586084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502574286-2986 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267992-1502586084.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4022, runsolver pid=4019
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 4023
/proc/meminfo: memFree=28452312/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=148104 memory=123996 CPUtime=0.1 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 31206 0 0 0 7 3 0 0 20 0 1 0 91689521 151658496 30999 33554432000 4194304 5972588 140723603345440 140723603342088 5127357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 37026 30999 710 435 0 30389 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 148104 KiB
Current children cumulated memory: 123996 KiB
[startup+0.20984 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 4023
/proc/meminfo: memFree=28268544/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=331624 memory=307740 CPUtime=0.21 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 77099 0 0 0 12 9 0 0 20 0 1 0 91689521 339582976 76935 33554432000 4194304 5972588 140723603345440 140723603342088 5127357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 82906 76935 710 435 0 76269 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 331624 KiB
Current children cumulated memory: 307740 KiB
[startup+0.309763 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 4023
/proc/meminfo: memFree=28100524/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=498856 memory=474852 CPUtime=0.31 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 118888 0 0 0 17 14 0 0 20 0 1 0 91689521 510828544 118713 33554432000 4194304 5972588 140723603345440 140723603342088 140440971580396 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 124714 118713 710 435 0 118077 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 498856 KiB
Current children cumulated memory: 474852 KiB
[startup+0.700373 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4023
/proc/meminfo: memFree=27766616/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=1136868 memory=1112940 CPUtime=0.69 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 278410 0 0 0 36 33 0 0 20 0 1 0 91689521 1164152832 278235 33554432000 4194304 5972588 140723603345440 140723603340696 5127437 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 284217 278235 710 435 0 277580 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 1136868 KiB
Current children cumulated memory: 1112940 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4023
/proc/meminfo: memFree=26943996/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=2039828 memory=2016300 CPUtime=1.49 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 504242 0 0 0 90 59 0 0 20 0 1 0 91689521 2088783872 504075 33554432000 4194304 5972588 140723603345440 140723603338776 140440971128764 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 509957 504075 790 435 0 503320 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039828 KiB
Current children cumulated memory: 2016300 KiB
[startup+3.10954 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4023
/proc/meminfo: memFree=26368168/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=2251936 memory=2228212 CPUtime=3.1 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 559033 0 0 0 244 66 0 0 20 0 1 0 91689521 2305982464 557053 33554432000 4194304 5972588 140723603345440 140723603329160 140440971866872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 562984 557053 790 435 0 556347 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2251936 KiB
Current children cumulated memory: 2228212 KiB
[startup+6.30034 s]
/proc/loadavg: 1.92 1.98 2.03 3/187 4023
/proc/meminfo: memFree=25259236/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=3428316 memory=3404548 CPUtime=6.29 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 860792 0 0 0 526 103 0 0 20 0 1 0 91689521 3510595584 851137 33554432000 4194304 5972588 140723603345440 140723603339000 140440971118681 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 857079 851137 790 435 0 850442 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3428316 KiB
Current children cumulated memory: 3404548 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 2.03 3/187 4023
/proc/meminfo: memFree=22738648/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=6093724 memory=6070244 CPUtime=12.69 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 1537677 0 0 0 1086 183 0 0 20 0 1 0 91689521 6239973376 1517561 33554432000 4194304 5972588 140723603345440 140723603339000 5211141 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 1523431 1517561 790 435 0 1516794 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 6093724 KiB
Current children cumulated memory: 6070244 KiB
[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 2.03 3/187 4023
/proc/meminfo: memFree=17262448/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11303256 memory=11279784 CPUtime=25.49 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 2870251 0 0 0 2212 337 0 0 20 0 1 0 91689521 11574534144 2819946 33554432000 4194304 5972588 140723603345440 140723603342744 5338164 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2825814 2819946 829 435 0 2819177 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 11303256 KiB
Current children cumulated memory: 11279784 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 1.99 2.03 3/187 4023
/proc/meminfo: memFree=17236292/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11330592 memory=11305764 CPUtime=51.1 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 2900026 0 0 0 4771 339 0 0 20 0 1 0 91689521 11602526208 2826441 33554432000 4194304 5972588 140723603345440 140723603342744 4909274 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2832648 2826441 829 435 0 2826011 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 11330592 KiB
Current children cumulated memory: 11305764 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 4024
/proc/meminfo: memFree=17233016/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11332740 memory=11308100 CPUtime=102.28 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 2954654 0 0 0 9884 344 0 0 20 0 1 0 91689521 11604725760 2827025 33554432000 4194304 5972588 140723603345440 140723603342744 5338164 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2833185 2827025 829 435 0 2826548 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 11332740 KiB
Current children cumulated memory: 11308100 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 4025
/proc/meminfo: memFree=17231552/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11334252 memory=11309352 CPUtime=162.29 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3015567 0 0 0 15878 351 0 0 20 0 1 0 91689521 11606274048 2827338 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2833563 2827338 829 435 0 2826926 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 11334252 KiB
Current children cumulated memory: 11309352 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4034
/proc/meminfo: memFree=17230192/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11335392 memory=11310220 CPUtime=222.29 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3075500 0 0 0 21872 357 0 0 20 0 1 0 91689521 11607441408 2827555 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2833848 2827555 829 435 0 2827211 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 11335392 KiB
Current children cumulated memory: 11310220 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4035
/proc/meminfo: memFree=17229616/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11335816 memory=11310864 CPUtime=282.28 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3133385 0 0 0 27864 364 0 0 20 0 1 0 91689521 11607875584 2827716 33554432000 4194304 5972588 140723603345440 140723603342744 5312304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2833954 2827716 829 435 0 2827317 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 11335816 KiB
Current children cumulated memory: 11310864 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4036
/proc/meminfo: memFree=17229364/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11335948 memory=11311220 CPUtime=342.28 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3182519 0 0 0 33860 368 0 0 20 0 1 0 91689521 11608010752 2827805 33554432000 4194304 5972588 140723603345440 140723603342744 5312304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2833987 2827805 829 435 0 2827350 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 11335948 KiB
Current children cumulated memory: 11311220 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4037
/proc/meminfo: memFree=17228756/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11337172 memory=11311612 CPUtime=402.28 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3224490 0 0 0 39855 373 0 0 20 0 1 0 91689521 11609264128 2827903 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2834293 2827903 829 435 0 2827656 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 11337172 KiB
Current children cumulated memory: 11311612 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4038
/proc/meminfo: memFree=17228516/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11337456 memory=11312064 CPUtime=462.28 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3266324 0 0 0 45850 378 0 0 20 0 1 0 91689521 11609554944 2828016 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2834364 2828016 829 435 0 2827727 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 11337456 KiB
Current children cumulated memory: 11312064 KiB
################
# More data... #
################
/proc/meminfo: memFree=15861088/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11344380 memory=11317912 CPUtime=1782.32 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3712275 0 0 0 177760 472 0 0 20 0 1 0 91689521 11616645120 2829478 33554432000 4194304 5972588 140723603345440 140723603342536 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836095 2829478 829 435 0 2829458 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 11344380 KiB
Current children cumulated memory: 11317912 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.00 2.04 4/187 4158
/proc/meminfo: memFree=15862044/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11344520 memory=11318264 CPUtime=1842.33 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3724927 0 0 0 183756 477 0 0 20 0 1 0 91689521 11616788480 2829566 33554432000 4194304 5972588 140723603345440 140723603342744 5312304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836130 2829566 829 435 0 2829493 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 11344520 KiB
Current children cumulated memory: 11318264 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.00 2.04 4/188 4160
/proc/meminfo: memFree=15861628/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11344520 memory=11318264 CPUtime=1902.32 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3729631 0 0 0 189751 481 0 0 20 0 1 0 91689521 11616788480 2829566 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836130 2829566 829 435 0 2829493 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 11344520 KiB
Current children cumulated memory: 11318264 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4161
/proc/meminfo: memFree=15861064/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11344520 memory=11318264 CPUtime=1962.33 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3735183 0 0 0 195749 484 0 0 20 0 1 0 91689521 11616788480 2829566 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836130 2829566 829 435 0 2829493 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 11344520 KiB
Current children cumulated memory: 11318264 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4167
/proc/meminfo: memFree=15860516/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11344520 memory=11318276 CPUtime=2022.33 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3743339 0 0 0 201744 489 0 0 20 0 1 0 91689521 11616788480 2829569 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836130 2829569 829 435 0 2829493 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 11344520 KiB
Current children cumulated memory: 11318276 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4168
/proc/meminfo: memFree=15860488/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11344520 memory=11318276 CPUtime=2082.33 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3748616 0 0 0 207741 492 0 0 20 0 1 0 91689521 11616788480 2829569 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836130 2829569 829 435 0 2829493 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 11344520 KiB
Current children cumulated memory: 11318276 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4169
/proc/meminfo: memFree=15859520/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11344936 memory=11319168 CPUtime=2142.33 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3760001 0 0 0 213737 496 0 0 20 0 1 0 91689521 11617214464 2829792 33554432000 4194304 5972588 140723603345440 140723603342536 5312304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836234 2829792 829 435 0 2829597 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 11344936 KiB
Current children cumulated memory: 11319168 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4170
/proc/meminfo: memFree=15859312/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11345076 memory=11319360 CPUtime=2202.33 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3771325 0 0 0 219732 501 0 0 20 0 1 0 91689521 11617357824 2829840 33554432000 4194304 5972588 140723603345440 140723603342744 5312304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836269 2829840 829 435 0 2829632 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 11345076 KiB
Current children cumulated memory: 11319360 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4171
/proc/meminfo: memFree=15858148/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11345076 memory=11320584 CPUtime=2262.34 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3776345 0 0 0 225729 505 0 0 20 0 1 0 91689521 11617357824 2830146 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836269 2830146 829 435 0 2829632 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 11345076 KiB
Current children cumulated memory: 11320584 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4173
/proc/meminfo: memFree=15857640/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11345076 memory=11320912 CPUtime=2322.34 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3779530 0 0 0 231726 508 0 0 20 0 1 0 91689521 11617357824 2830228 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836269 2830228 829 435 0 2829632 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 11345076 KiB
Current children cumulated memory: 11320912 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4174
/proc/meminfo: memFree=15857844/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11345076 memory=11320912 CPUtime=2382.34 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3782057 0 0 0 237722 512 0 0 20 0 1 0 91689521 11617357824 2830228 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836269 2830228 829 435 0 2829632 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 11345076 KiB
Current children cumulated memory: 11320912 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4175
/proc/meminfo: memFree=15858044/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11345076 memory=11320912 CPUtime=2442.34 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3786089 0 0 0 243720 514 0 0 20 0 1 0 91689521 11617357824 2830228 33554432000 4194304 5972588 140723603345440 140723603342744 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836269 2830228 829 435 0 2829632 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 11345076 KiB
Current children cumulated memory: 11320912 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/188 4177
/proc/meminfo: memFree=15857204/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11345356 memory=11321168 CPUtime=2502.35 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3790589 0 0 0 249716 519 0 0 20 0 1 0 91689521 11617644544 2830292 33554432000 4194304 5972588 140723603345440 140723603342376 5312315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836339 2830292 829 435 0 2829702 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 11345356 KiB
Current children cumulated memory: 11321168 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 4/188 4177
/proc/meminfo: memFree=15856924/32770624 swapFree=67108860/67108860
[pid=4022] ppid=4019 vsize=11345356 memory=11321368 CPUtime=2520.06 cores=0,2,4,6
/proc/4022/stat : 4022 (cosoco) R 4019 4022 2954 0 -1 4202496 3791574 0 0 0 251487 519 0 0 20 0 1 0 91689521 11617644544 2830342 33554432000 4194304 5972588 140723603345440 140723603342376 5312304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 16330752 140723603346623 140723603346718 140723603346718 140723603349454 0
/proc/4022/statm: 2836339 2830342 829 435 0 2829702 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11345356 KiB
Current children cumulated memory: 11321368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.42 s]
# the end of solver process 4022 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.87 s, system=5.60224 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.4 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 4177
/proc/meminfo: memFree=21511704/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.42
CPU time (s): 2520.48
CPU user time (s): 2514.87
CPU system time (s): 5.60224
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11345356
Max. memory (cumulated for all children) (KiB): 11321368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.87
system time used= 5.60224
maximum resident set size= 11321440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3791618
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= 119
involuntary context switches= 3166
# summary of solver processes directly reported to runsolver:
# pid: 4022
# total CPU time (s): 2520.48
# total CPU user time (s): 2514.87
# total CPU system time (s): 5.60224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10409 second user time and 17.2294 second system time
The end
Begin job on node148 at 2017-08-13 02:47:06 IDJOB=4267992 IDBENCH=139283 IDSOLVER=2658 FILE ID=node148/4267992-1502586084 RUNJOBID= node148-1502574286-2986 PBS_JOBID= 20628291 Free space on /tmp= 61616 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-08-07-fair.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267992-1502586084/watcher-4267992-1502586084 -o /tmp/evaluation-result-4267992-1502586084/solver-4267992-1502586084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502574286-2986 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267992-1502586084.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5f690ca061a68a4e848a5e1ee5dffcd4 RANDOM SEED=1111407214 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 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.19 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.19 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.19 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: 28559376 kB MemAvailable: 31986524 kB Buffers: 214588 kB Cached: 3503104 kB SwapCached: 0 kB Active: 755284 kB Inactive: 3021632 kB Active(anon): 62300 kB Inactive(anon): 25092 kB Active(file): 692984 kB Inactive(file): 2996540 kB Unevictable: 6208 kB Mlocked: 6208 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 65524 kB Mapped: 44620 kB Shmem: 25224 kB Slab: 132684 kB SReclaimable: 106916 kB SUnreclaim: 25768 kB KernelStack: 3328 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61612 MiB End job on node148 at 2017-08-13 03:29:07