Trace number 4243193

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco 1.1? (TO) 2400.69 2401.26

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-08-07-fair.xml
MD5SUM5f690ca061a68a4e848a5e1ee5dffcd4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark824.70099
Satisfiable
(Un)Satisfiability was proved
Number of variables14823
Number of constraints14025
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":2009},{"size":201,"count":72},{"size":20001,"count":12742}]
Minimum variable degree2
Maximum variable degree121
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 arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":2319},{"arity":3,"count":11704}]
Number of extensional constraints0
Number of intensional constraints14025
Distribution of constraint types[{"type":"intension","count":14025}]
Optimization problemNO
Type of objective

Solver Data 

1.20/1.29	c intension z[727]=x[1]  using generic constraint 
1.20/1.29	c intension z[728]=x[2]  using generic constraint 
1.20/1.29	c intension z[737]=x[11]  using generic constraint 
1.20/1.29	c intension z[827]=x[101]  using generic constraint 
1.20/1.29	c intension z[1840]=x[1170]  using generic constraint 
1.28/1.30	c intension z[1828]=x[1158]  using generic constraint 
1.28/1.30	c intension z[1718]=x[1048]  using generic constraint 
1.28/1.30	c intension z[1829]=x[1159]  using generic constraint 
1.28/1.30	c intension z[1003]=x[277]  using generic constraint 
1.28/1.30	c intension z[1843]=x[1173]  using generic constraint 
1.28/1.30	c intension z[1842]=x[1172]  using generic constraint 
1.28/1.30	c intension z[1830]=x[1160]  using generic constraint 
1.28/1.30	c intension z[1720]=x[1050]  using generic constraint 
1.28/1.30	c intension z[1831]=x[1161]  using generic constraint 
1.28/1.31	c intension z[828]=x[102]  using generic constraint 
1.28/1.31	c intension z[1006]=x[280]  using generic constraint 
1.28/1.31	c intension z[1845]=x[1175]  using generic constraint 
1.28/1.31	c intension z[1844]=x[1174]  using generic constraint 
1.28/1.31	c intension z[1832]=x[1162]  using generic constraint 
1.28/1.31	c intension z[1722]=x[1052]  using generic constraint 
1.28/1.31	c intension z[1012]=x[286]  using generic constraint 
1.28/1.31	c intension z[1009]=x[283]  using generic constraint 
1.28/1.31	c intension z[1846]=x[1176]  using generic constraint 
1.28/1.32	c intension z[1724]=x[1054]  using generic constraint 
1.28/1.32	c intension z[1015]=x[289]  using generic constraint 
1.28/1.32	c intension z[829]=x[103]  using generic constraint 
1.28/1.32	c intension z[1848]=x[1178]  using generic constraint 
1.28/1.32	c intension z[1847]=x[1177]  using generic constraint 
1.28/1.32	c intension z[1726]=x[1056]  using generic constraint 
1.28/1.32	c intension z[1018]=x[292]  using generic constraint 
1.28/1.32	c intension z[1850]=x[1180]  using generic constraint 
1.28/1.32	c intension z[1849]=x[1179]  using generic constraint 
1.28/1.33	c intension z[1728]=x[1058]  using generic constraint 
1.28/1.33	c intension z[1021]=x[295]  using generic constraint 
1.28/1.33	c intension z[1852]=x[1182]  using generic constraint 
1.28/1.33	c intension z[1851]=x[1181]  using generic constraint 
1.28/1.33	c intension z[830]=x[104]  using generic constraint 
1.28/1.33	c intension z[1730]=x[1060]  using generic constraint 
1.28/1.33	c intension z[1024]=x[298]  using generic constraint 
1.28/1.33	c intension z[1854]=x[1184]  using generic constraint 
1.28/1.33	c intension z[1853]=x[1183]  using generic constraint 
1.28/1.33	c intension z[1732]=x[1062]  using generic constraint 
1.28/1.34	c intension z[1027]=x[301]  using generic constraint 
1.28/1.34	c intension z[1856]=x[1186]  using generic constraint 
1.28/1.34	c intension z[1855]=x[1185]  using generic constraint 
1.28/1.34	c intension z[1734]=x[1064]  using generic constraint 
1.28/1.34	c intension z[1030]=x[304]  using generic constraint 
1.28/1.34	c intension z[831]=x[105]  using generic constraint 
1.28/1.34	c intension z[1858]=x[1188]  using generic constraint 
1.28/1.34	c intension z[1857]=x[1187]  using generic constraint 
1.28/1.34	c intension z[1736]=x[1066]  using generic constraint 
1.28/1.35	c intension z[1036]=x[310]  using generic constraint 
1.28/1.35	c intension z[1033]=x[307]  using generic constraint 
1.28/1.35	c intension z[1859]=x[1189]  using generic constraint 
1.28/1.35	c intension z[1738]=x[1068]  using generic constraint 
1.28/1.35	c intension z[1039]=x[313]  using generic constraint 
1.28/1.35	c intension z[1861]=x[1191]  using generic constraint 
1.28/1.35	c intension z[1860]=x[1190]  using generic constraint 
1.28/1.35	c intension z[832]=x[106]  using generic constraint 
1.28/1.35	c intension z[1740]=x[1070]  using generic constraint 
1.28/1.35	c intension z[1042]=x[316]  using generic constraint 
1.28/1.36	c intension z[1863]=x[1193]  using generic constraint 
1.28/1.36	c intension z[1862]=x[1192]  using generic constraint 
1.28/1.36	c intension z[1742]=x[1072]  using generic constraint 
1.28/1.36	c intension z[1045]=x[319]  using generic constraint 
1.28/1.36	c intension z[1865]=x[1195]  using generic constraint 
1.28/1.36	c intension z[1864]=x[1194]  using generic constraint 
1.28/1.36	c intension z[1744]=x[1074]  using generic constraint 
1.28/1.36	c intension z[1048]=x[322]  using generic constraint 
1.28/1.36	c intension z[833]=x[107]  using generic constraint 
1.28/1.37	c intension z[1867]=x[1197]  using generic constraint 
1.28/1.37	c intension z[1866]=x[1196]  using generic constraint 
1.28/1.37	c intension z[1746]=x[1076]  using generic constraint 
1.28/1.37	c intension z[1051]=x[325]  using generic constraint 
1.28/1.37	c intension z[1869]=x[1199]  using generic constraint 
1.28/1.37	c intension z[1868]=x[1198]  using generic constraint 
1.28/1.37	c intension z[1748]=x[1078]  using generic constraint 
1.28/1.37	c intension z[1054]=x[328]  using generic constraint 
1.28/1.37	c intension z[1871]=x[1201]  using generic constraint 
1.28/1.38	c intension z[1870]=x[1200]  using generic constraint 
1.28/1.38	c intension z[834]=x[108]  using generic constraint 
1.28/1.38	c intension z[1750]=x[1080]  using generic constraint 
1.28/1.38	c intension z[1060]=x[334]  using generic constraint 
1.28/1.38	c intension z[1057]=x[331]  using generic constraint 
1.28/1.38	c intension z[1872]=x[1202]  using generic constraint 
1.28/1.38	c intension z[1752]=x[1082]  using generic constraint 
1.28/1.38	c intension z[1063]=x[337]  using generic constraint 
1.28/1.38	c intension z[1874]=x[1204]  using generic constraint 
1.28/1.39	c intension z[1873]=x[1203]  using generic constraint 
1.28/1.39	c intension z[1754]=x[1084]  using generic constraint 
1.28/1.39	c intension z[1066]=x[340]  using generic constraint 
1.28/1.39	c intension z[835]=x[109]  using generic constraint 
1.28/1.39	c intension z[1876]=x[1206]  using generic constraint 
1.28/1.39	c intension z[1875]=x[1205]  using generic constraint 
1.28/1.39	c intension z[1756]=x[1086]  using generic constraint 
1.28/1.39	c intension z[1069]=x[343]  using generic constraint 
1.28/1.39	c intension z[1878]=x[1208]  using generic constraint 
1.28/1.39	c intension z[1877]=x[1207]  using generic constraint 
1.39/1.40	c intension z[1758]=x[1088]  using generic constraint 
1.39/1.40	c intension z[1072]=x[346]  using generic constraint 
1.39/1.40	c intension z[1880]=x[1210]  using generic constraint 
1.39/1.40	c intension z[1879]=x[1209]  using generic constraint 
1.39/1.40	c intension z[836]=x[110]  using generic constraint 
1.39/1.40	c intension z[1760]=x[1090]  using generic constraint 
1.39/1.40	c intension z[1075]=x[349]  using generic constraint 
1.39/1.40	c intension z[1882]=x[1212]  using generic constraint 
1.39/1.40	c intension z[1881]=x[1211]  using generic constraint 
1.39/1.41	c intension z[1762]=x[1092]  using generic constraint 
1.39/1.41	c intension z[1078]=x[352]  using generic constraint 
1.39/1.41	c intension z[1884]=x[1214]  using generic constraint 
1.39/1.41	c intension z[1883]=x[1213]  using generic constraint 
1.39/1.41	c intension z[1764]=x[1094]  using generic constraint 
1.39/1.41	c intension z[1084]=x[358]  using generic constraint 
1.39/1.41	c intension z[738]=x[12]  using generic constraint 
1.39/1.41	c intension z[837]=x[111]  using generic constraint 
1.39/1.41	c intension z[1081]=x[355]  using generic constraint 
1.39/1.42	c intension z[1885]=x[1215]  using generic constraint 
1.39/1.42	c intension z[1766]=x[1096]  using generic constraint 
1.39/1.42	c intension z[1087]=x[361]  using generic constraint 
1.39/1.42	c intension z[1887]=x[1217]  using generic constraint 
1.39/1.42	c intension z[1886]=x[1216]  using generic constraint 
1.39/1.42	c intension z[1768]=x[1098]  using generic constraint 
1.39/1.42	c intension z[1090]=x[364]  using generic constraint 
1.39/1.42	c intension z[1889]=x[1219]  using generic constraint 
1.39/1.42	c intension z[1888]=x[1218]  using generic constraint 
1.39/1.42	c intension z[838]=x[112]  using generic constraint 
1.39/1.43	c intension z[1770]=x[1100]  using generic constraint 
1.39/1.43	c intension z[1093]=x[367]  using generic constraint 
1.39/1.43	c intension z[1891]=x[1221]  using generic constraint 
1.39/1.43	c intension z[1890]=x[1220]  using generic constraint 
1.39/1.43	c intension z[1772]=x[1102]  using generic constraint 
1.39/1.43	c intension z[1096]=x[370]  using generic constraint 
1.39/1.43	c intension z[1893]=x[1223]  using generic constraint 
1.39/1.43	c intension z[1892]=x[1222]  using generic constraint 
1.39/1.43	c intension z[1774]=x[1104]  using generic constraint 
1.39/1.44	c intension z[1099]=x[373]  using generic constraint 
1.39/1.44	c intension z[839]=x[113]  using generic constraint 
1.39/1.44	c intension z[1895]=x[1225]  using generic constraint 
1.39/1.44	c intension z[1894]=x[1224]  using generic constraint 
1.39/1.44	c intension z[1776]=x[1106]  using generic constraint 
1.39/1.44	c intension z[1102]=x[376]  using generic constraint 
1.39/1.44	c intension z[1897]=x[1227]  using generic constraint 
1.39/1.44	c intension z[1896]=x[1226]  using generic constraint 
1.39/1.44	c intension z[1778]=x[1108]  using generic constraint 
1.39/1.45	c intension z[1108]=x[382]  using generic constraint 
1.39/1.45	c intension z[1105]=x[379]  using generic constraint 
1.39/1.45	c intension z[1898]=x[1228]  using generic constraint 
1.39/1.45	c intension z[840]=x[114]  using generic constraint 
1.39/1.45	c intension z[1780]=x[1110]  using generic constraint 
1.39/1.45	c intension z[1111]=x[385]  using generic constraint 
1.39/1.45	c intension z[1900]=x[1230]  using generic constraint 
1.39/1.45	c intension z[1899]=x[1229]  using generic constraint 
1.39/1.45	c intension z[1782]=x[1112]  using generic constraint 
1.39/1.45	c intension z[1114]=x[388]  using generic constraint 
1.39/1.46	c intension z[1902]=x[1232]  using generic constraint 
1.39/1.46	c intension z[1901]=x[1231]  using generic constraint 
1.39/1.46	c intension z[1784]=x[1114]  using generic constraint 
1.39/1.46	c intension z[1117]=x[391]  using generic constraint 
1.39/1.46	c intension z[841]=x[115]  using generic constraint 
1.39/1.46	c intension z[1904]=x[1234]  using generic constraint 
1.39/1.46	c intension z[1903]=x[1233]  using generic constraint 
1.39/1.46	c intension z[1786]=x[1116]  using generic constraint 
1.39/1.46	c intension z[1120]=x[394]  using generic constraint 
1.39/1.47	c intension z[1906]=x[1236]  using generic constraint 
1.39/1.47	c intension z[1905]=x[1235]  using generic constraint 
1.39/1.47	c intension z[1788]=x[1118]  using generic constraint 
1.39/1.47	c intension z[1123]=x[397]  using generic constraint 
1.39/1.47	c intension z[1908]=x[1238]  using generic constraint 
1.39/1.47	c intension z[1907]=x[1237]  using generic constraint 
1.39/1.47	c intension z[842]=x[116]  using generic constraint 
1.39/1.47	c intension z[1790]=x[1120]  using generic constraint 
1.39/1.47	c intension z[1126]=x[400]  using generic constraint 
1.39/1.48	c intension z[1910]=x[1240]  using generic constraint 
1.39/1.48	c intension z[1909]=x[1239]  using generic constraint 
1.39/1.48	c intension z[1792]=x[1122]  using generic constraint 
1.39/1.48	c intension z[1132]=x[406]  using generic constraint 
1.39/1.48	c intension z[1129]=x[403]  using generic constraint 
1.39/1.48	c intension z[1911]=x[1241]  using generic constraint 
1.39/1.48	c intension z[1794]=x[1124]  using generic constraint 
1.39/1.48	c intension z[1135]=x[409]  using generic constraint 
1.39/1.48	c intension z[843]=x[117]  using generic constraint 
1.39/1.48	c intension z[1913]=x[1243]  using generic constraint 
1.39/1.49	c intension z[1912]=x[1242]  using generic constraint 
1.39/1.49	c intension z[1796]=x[1126]  using generic constraint 
1.39/1.49	c intension z[1138]=x[412]  using generic constraint 
1.39/1.49	c intension z[1915]=x[1245]  using generic constraint 
1.39/1.49	c intension z[1914]=x[1244]  using generic constraint 
1.39/1.49	c intension z[1798]=x[1128]  using generic constraint 
1.39/1.49	c intension z[1141]=x[415]  using generic constraint 
1.39/1.49	c intension z[1917]=x[1247]  using generic constraint 
1.39/1.49	c intension z[1916]=x[1246]  using generic constraint 
1.39/1.50	c intension z[844]=x[118]  using generic constraint 
1.49/1.50	c intension z[1800]=x[1130]  using generic constraint 
1.49/1.50	c intension z[1144]=x[418]  using generic constraint 
1.49/1.50	c intension z[1919]=x[1249]  using generic constraint 
1.49/1.50	c intension z[1918]=x[1248]  using generic constraint 
1.49/1.50	c intension z[1802]=x[1132]  using generic constraint 
1.49/1.50	c intension z[1147]=x[421]  using generic constraint 
1.49/1.50	c intension z[1921]=x[1251]  using generic constraint 
1.49/1.50	c intension z[1920]=x[1250]  using generic constraint 
1.49/1.51	c intension z[1804]=x[1134]  using generic constraint 
1.49/1.51	c intension z[1150]=x[424]  using generic constraint 
1.49/1.51	c intension z[845]=x[119]  using generic constraint 
1.49/1.51	c intension z[1923]=x[1253]  using generic constraint 
1.49/1.51	c intension z[1922]=x[1252]  using generic constraint 
1.49/1.51	c intension z[1806]=x[1136]  using generic constraint 
1.49/1.51	c intension z[1156]=x[430]  using generic constraint 
1.49/1.51	c intension z[1153]=x[427]  using generic constraint 
1.49/1.51	c intension z[1924]=x[1254]  using generic constraint 
1.49/1.51	c intension z[1808]=x[1138]  using generic constraint 
1.49/1.52	c intension z[1159]=x[433]  using generic constraint 
1.49/1.52	c intension z[1926]=x[1256]  using generic constraint 
1.49/1.52	c intension z[1925]=x[1255]  using generic constraint 
1.49/1.52	c intension z[846]=x[120]  using generic constraint 
1.49/1.52	c intension z[1810]=x[1140]  using generic constraint 
1.49/1.52	c intension z[1162]=x[436]  using generic constraint 
1.49/1.52	c intension z[1928]=x[1258]  using generic constraint 
1.49/1.52	c intension z[1927]=x[1257]  using generic constraint 
1.49/1.52	c intension z[1812]=x[1142]  using generic constraint 
1.49/1.53	c intension z[1165]=x[439]  using generic constraint 
1.49/1.53	c intension z[1930]=x[1260]  using generic constraint 
1.49/1.53	c intension z[1929]=x[1259]  using generic constraint 
1.49/1.53	c intension z[1814]=x[1144]  using generic constraint 
1.49/1.53	c intension z[1168]=x[442]  using generic constraint 
1.49/1.53	c intension z[739]=x[13]  using generic constraint 
1.49/1.53	c intension z[847]=x[121]  using generic constraint 
1.49/1.53	c intension z[1932]=x[1262]  using generic constraint 
1.49/1.53	c intension z[1931]=x[1261]  using generic constraint 
1.49/1.54	c intension z[1816]=x[1146]  using generic constraint 
1.49/1.54	c intension z[1171]=x[445]  using generic constraint 
1.49/1.54	c intension z[1934]=x[1264]  using generic constraint 
1.49/1.54	c intension z[1933]=x[1263]  using generic constraint 
1.49/1.54	c intension z[1818]=x[1148]  using generic constraint 
1.49/1.54	c intension z[1174]=x[448]  using generic constraint 
1.49/1.54	c intension z[1936]=x[1266]  using generic constraint 
1.49/1.54	c intension z[1935]=x[1265]  using generic constraint 
1.49/1.54	c intension z[848]=x[122]  using generic constraint 
1.49/1.54	c intension z[1937]=x[1267]  using generic constraint 
1.49/1.55	c intension z[1938]=x[1268]  using generic constraint 
1.49/1.55	c intension z[1939]=x[1269]  using generic constraint 
1.49/1.55	c intension z[1940]=x[1270]  using generic constraint 
1.49/1.55	c intension z[1941]=x[1271]  using generic constraint 
1.49/1.55	c intension z[1942]=x[1272]  using generic constraint 
1.49/1.55	c intension z[1943]=x[1273]  using generic constraint 
1.49/1.55	c intension z[1944]=x[1274]  using generic constraint 
1.49/1.55	c intension z[1945]=x[1275]  using generic constraint 
1.49/1.55	c intension z[1946]=x[1276]  using generic constraint 
1.49/1.56	c intension z[849]=x[123]  using generic constraint 
1.49/1.56	c intension z[1947]=x[1277]  using generic constraint 
1.49/1.56	c intension z[1948]=x[1278]  using generic constraint 
1.49/1.56	c intension z[1949]=x[1279]  using generic constraint 
1.49/1.56	c intension z[1950]=x[1280]  using generic constraint 
1.49/1.56	c intension z[1951]=x[1281]  using generic constraint 
1.49/1.56	c intension z[1952]=x[1282]  using generic constraint 
1.49/1.56	c intension z[1953]=x[1283]  using generic constraint 
1.49/1.56	c intension z[1954]=x[1284]  using generic constraint 
1.49/1.57	c intension z[1955]=x[1285]  using generic constraint 
1.49/1.57	c intension z[1956]=x[1286]  using generic constraint 
1.49/1.57	c intension z[850]=x[124]  using generic constraint 
1.49/1.57	c intension z[1957]=x[1287]  using generic constraint 
1.49/1.57	c intension z[1958]=x[1288]  using generic constraint 
1.49/1.57	c intension z[1959]=x[1289]  using generic constraint 
1.49/1.57	c intension z[1960]=x[1290]  using generic constraint 
1.49/1.57	c intension z[1961]=x[1291]  using generic constraint 
1.49/1.57	c intension z[1962]=x[1292]  using generic constraint 
1.49/1.58	c intension z[1963]=x[1293]  using generic constraint 
1.49/1.58	c intension z[1964]=x[1294]  using generic constraint 
1.49/1.58	c intension z[1965]=x[1295]  using generic constraint 
1.49/1.58	c intension z[1966]=x[1296]  using generic constraint 
1.49/1.58	c intension z[851]=x[125]  using generic constraint 
1.49/1.58	c intension z[1967]=x[1297]  using generic constraint 
1.49/1.58	c intension z[1968]=x[1298]  using generic constraint 
1.49/1.58	c intension z[1969]=x[1299]  using generic constraint 
1.49/1.58	c intension z[1970]=x[1300]  using generic constraint 
1.49/1.58	c intension z[1971]=x[1301]  using generic constraint 
1.49/1.59	c intension z[1972]=x[1302]  using generic constraint 
1.49/1.59	c intension z[1973]=x[1303]  using generic constraint 
1.49/1.59	c intension z[1974]=x[1304]  using generic constraint 
1.49/1.59	c intension z[1975]=x[1305]  using generic constraint 
1.49/1.59	c intension z[1976]=x[1306]  using generic constraint 
1.49/1.59	c intension z[852]=x[126]  using generic constraint 
1.49/1.59	c intension z[1977]=x[1307]  using generic constraint 
1.49/1.59	c intension z[1978]=x[1308]  using generic constraint 
1.49/1.59	c intension z[1979]=x[1309]  using generic constraint 
1.49/1.60	c intension z[1980]=x[1310]  using generic constraint 
1.59/1.60	c intension z[1981]=x[1311]  using generic constraint 
1.59/1.60	c intension z[1982]=x[1312]  using generic constraint 
1.59/1.60	c intension z[1983]=x[1313]  using generic constraint 
1.59/1.60	c intension z[1984]=x[1314]  using generic constraint 
1.59/1.60	c intension z[1985]=x[1315]  using generic constraint 
1.59/1.60	c intension z[1986]=x[1316]  using generic constraint 
1.59/1.60	c intension z[853]=x[127]  using generic constraint 
1.59/1.60	c intension z[1987]=x[1317]  using generic constraint 
1.59/1.61	c intension z[1988]=x[1318]  using generic constraint 
1.59/1.61	c intension z[1989]=x[1319]  using generic constraint 
1.59/1.61	c intension z[1990]=x[1320]  using generic constraint 
1.59/1.61	c intension z[1991]=x[1321]  using generic constraint 
1.59/1.61	c intension z[1992]=x[1322]  using generic constraint 
1.59/1.61	c intension z[1993]=x[1323]  using generic constraint 
1.59/1.61	c intension z[1994]=x[1324]  using generic constraint 
1.59/1.61	c intension z[1995]=x[1325]  using generic constraint 
1.59/1.61	c intension z[1996]=x[1326]  using generic constraint 
1.59/1.62	c intension z[854]=x[128]  using generic constraint 
1.59/1.62	c intension z[1997]=x[1327]  using generic constraint 
1.59/1.62	c intension z[1998]=x[1328]  using generic constraint 
1.59/1.62	c intension z[1999]=x[1329]  using generic constraint 
1.59/1.62	c intension z[2000]=x[1330]  using generic constraint 
1.59/1.62	c intension z[2001]=x[1331]  using generic constraint 
1.59/1.62	c intension z[2002]=x[1332]  using generic constraint 
1.59/1.62	c intension z[2003]=x[1333]  using generic constraint 
1.59/1.62	c intension z[2004]=x[1334]  using generic constraint 
1.59/1.62	c intension z[2005]=x[1335]  using generic constraint 
1.59/1.63	c intension z[2006]=x[1336]  using generic constraint 
1.59/1.63	c intension z[855]=x[129]  using generic constraint 
1.59/1.63	c intension z[2007]=x[1337]  using generic constraint 
1.59/1.63	c intension z[2008]=x[1338]  using generic constraint 
1.59/1.63	c intension z[856]=x[130]  using generic constraint 
1.59/1.63	c intension z[740]=x[14]  using generic constraint 
1.59/1.63	c intension z[857]=x[131]  using generic constraint 
1.59/1.63	c intension z[858]=x[132]  using generic constraint 
1.59/1.63	c intension z[859]=x[133]  using generic constraint 
1.59/1.64	c intension z[860]=x[134]  using generic constraint 
1.59/1.64	c intension z[861]=x[135]  using generic constraint 
1.59/1.64	c intension z[862]=x[136]  using generic constraint 
1.59/1.64	c intension z[863]=x[137]  using generic constraint 
1.59/1.64	c intension z[864]=x[138]  using generic constraint 
1.59/1.64	c intension z[865]=x[139]  using generic constraint 
1.59/1.64	c intension z[866]=x[140]  using generic constraint 
1.59/1.64	c intension z[741]=x[15]  using generic constraint 
1.59/1.64	c intension z[867]=x[141]  using generic constraint 
1.59/1.65	c intension z[868]=x[142]  using generic constraint 
1.59/1.65	c intension z[869]=x[143]  using generic constraint 
1.59/1.65	c intension z[870]=x[144]  using generic constraint 
1.59/1.65	c intension z[871]=x[145]  using generic constraint 
1.59/1.65	c intension z[872]=x[146]  using generic constraint 
1.59/1.65	c intension z[873]=x[147]  using generic constraint 
1.59/1.65	c intension z[874]=x[148]  using generic constraint 
1.59/1.65	c intension z[875]=x[149]  using generic constraint 
1.59/1.65	c intension z[876]=x[150]  using generic constraint 
1.59/1.65	c intension z[742]=x[16]  using generic constraint 
1.59/1.66	c intension z[877]=x[151]  using generic constraint 
1.59/1.66	c intension z[878]=x[152]  using generic constraint 
1.59/1.66	c intension z[879]=x[153]  using generic constraint 
1.59/1.66	c intension z[880]=x[154]  using generic constraint 
1.59/1.66	c intension z[881]=x[155]  using generic constraint 
1.59/1.66	c intension z[882]=x[156]  using generic constraint 
1.59/1.66	c intension z[883]=x[157]  using generic constraint 
1.59/1.66	c intension z[884]=x[158]  using generic constraint 
1.59/1.66	c intension z[885]=x[159]  using generic constraint 
1.59/1.67	c intension z[886]=x[160]  using generic constraint 
1.59/1.67	c intension z[743]=x[17]  using generic constraint 
1.59/1.67	c intension z[887]=x[161]  using generic constraint 
1.59/1.67	c intension z[888]=x[162]  using generic constraint 
1.59/1.67	c intension z[889]=x[163]  using generic constraint 
1.59/1.67	c intension z[890]=x[164]  using generic constraint 
1.59/1.67	c intension z[891]=x[165]  using generic constraint 
1.59/1.67	c intension z[892]=x[166]  using generic constraint 
1.59/1.67	c intension z[893]=x[167]  using generic constraint 
1.59/1.68	c intension z[894]=x[168]  using generic constraint 
1.59/1.68	c intension z[895]=x[169]  using generic constraint 
1.59/1.68	c intension z[896]=x[170]  using generic constraint 
1.59/1.68	c intension z[744]=x[18]  using generic constraint 
1.59/1.68	c intension z[897]=x[171]  using generic constraint 
1.59/1.68	c intension z[898]=x[172]  using generic constraint 
1.59/1.68	c intension z[899]=x[173]  using generic constraint 
1.59/1.68	c intension z[900]=x[174]  using generic constraint 
1.59/1.68	c intension z[901]=x[175]  using generic constraint 
1.59/1.69	c intension z[902]=x[176]  using generic constraint 
1.59/1.69	c intension z[903]=x[177]  using generic constraint 
1.59/1.69	c intension z[904]=x[178]  using generic constraint 
1.59/1.69	c intension z[905]=x[179]  using generic constraint 
1.59/1.69	c intension z[906]=x[180]  using generic constraint 
1.59/1.69	c intension z[745]=x[19]  using generic constraint 
1.59/1.69	c intension z[907]=x[181]  using generic constraint 
1.59/1.69	c intension z[908]=x[182]  using generic constraint 
1.59/1.69	c intension z[909]=x[183]  using generic constraint 
1.59/1.69	c intension z[910]=x[184]  using generic constraint 
1.69/1.70	c intension z[911]=x[185]  using generic constraint 
1.69/1.70	c intension z[912]=x[186]  using generic constraint 
1.69/1.70	c intension z[913]=x[187]  using generic constraint 
1.69/1.70	c intension z[914]=x[188]  using generic constraint 
1.69/1.70	c intension z[915]=x[189]  using generic constraint 
1.69/1.70	c intension z[916]=x[190]  using generic constraint 
1.69/1.70	c intension z[746]=x[20]  using generic constraint 
1.69/1.70	c intension z[917]=x[191]  using generic constraint 
1.69/1.70	c intension z[918]=x[192]  using generic constraint 
1.69/1.71	c intension z[919]=x[193]  using generic constraint 
1.69/1.71	c intension z[920]=x[194]  using generic constraint 
1.69/1.71	c intension z[921]=x[195]  using generic constraint 
1.69/1.71	c intension z[922]=x[196]  using generic constraint 
1.69/1.71	c intension z[923]=x[197]  using generic constraint 
1.69/1.71	c intension z[924]=x[198]  using generic constraint 
1.69/1.71	c intension z[925]=x[199]  using generic constraint 
1.69/1.71	c intension z[926]=x[200]  using generic constraint 
1.69/1.71	c intension z[729]=x[3]  using generic constraint 
1.69/1.72	c intension z[747]=x[21]  using generic constraint 
1.69/1.72	c intension z[927]=x[201]  using generic constraint 
1.69/1.72	c intension z[928]=x[202]  using generic constraint 
1.69/1.72	c intension z[929]=x[203]  using generic constraint 
1.69/1.72	c intension z[930]=x[204]  using generic constraint 
1.69/1.72	c intension z[931]=x[205]  using generic constraint 
1.69/1.72	c intension z[932]=x[206]  using generic constraint 
1.69/1.72	c intension z[933]=x[207]  using generic constraint 
1.69/1.72	c intension z[934]=x[208]  using generic constraint 
1.69/1.73	c intension z[935]=x[209]  using generic constraint 
1.69/1.73	c intension z[936]=x[210]  using generic constraint 
1.69/1.73	c intension z[748]=x[22]  using generic constraint 
1.69/1.73	c intension z[937]=x[211]  using generic constraint 
1.69/1.73	c intension z[938]=x[212]  using generic constraint 
1.69/1.73	c intension z[939]=x[213]  using generic constraint 
1.69/1.73	c intension z[940]=x[214]  using generic constraint 
1.69/1.73	c intension z[941]=x[215]  using generic constraint 
1.69/1.73	c intension z[942]=x[216]  using generic constraint 
1.69/1.73	c intension z[943]=x[217]  using generic constraint 
1.69/1.74	c intension z[944]=x[218]  using generic constraint 
1.69/1.74	c intension z[945]=x[219]  using generic constraint 
1.69/1.74	c intension z[946]=x[220]  using generic constraint 
1.69/1.74	c intension z[749]=x[23]  using generic constraint 
1.69/1.74	c intension z[947]=x[221]  using generic constraint 
1.69/1.74	c intension z[948]=x[222]  using generic constraint 
1.69/1.74	c intension z[949]=x[223]  using generic constraint 
1.69/1.74	c intension z[950]=x[224]  using generic constraint 
1.69/1.74	c intension z[951]=x[225]  using generic constraint 
1.69/1.75	c intension z[952]=x[226]  using generic constraint 
1.69/1.75	c intension z[953]=x[227]  using generic constraint 
1.69/1.75	c intension z[954]=x[228]  using generic constraint 
1.69/1.75	c intension z[955]=x[229]  using generic constraint 
1.69/1.75	c intension z[956]=x[230]  using generic constraint 
1.69/1.75	c intension z[750]=x[24]  using generic constraint 
1.69/1.75	c intension z[957]=x[231]  using generic constraint 
1.69/1.75	c intension z[958]=x[232]  using generic constraint 
1.69/1.75	c intension z[959]=x[233]  using generic constraint 
1.69/1.76	c intension z[960]=x[234]  using generic constraint 
1.69/1.76	c intension z[961]=x[235]  using generic constraint 
1.69/1.76	c intension z[962]=x[236]  using generic constraint 
1.69/1.76	c intension z[963]=x[237]  using generic constraint 
1.69/1.76	c intension z[964]=x[238]  using generic constraint 
1.69/1.76	c intension z[965]=x[239]  using generic constraint 
1.69/1.76	c intension z[966]=x[240]  using generic constraint 
1.69/1.76	c intension z[751]=x[25]  using generic constraint 
1.69/1.76	c intension z[967]=x[241]  using generic constraint 
1.69/1.77	c intension z[968]=x[242]  using generic constraint 
1.69/1.77	c intension z[969]=x[243]  using generic constraint 
1.69/1.77	c intension z[970]=x[244]  using generic constraint 
1.69/1.77	c intension z[971]=x[245]  using generic constraint 
1.69/1.77	c intension z[972]=x[246]  using generic constraint 
1.69/1.77	c intension z[973]=x[247]  using generic constraint 
1.69/1.77	c intension z[974]=x[248]  using generic constraint 
1.69/1.77	c intension z[975]=x[249]  using generic constraint 
1.69/1.77	c intension z[976]=x[250]  using generic constraint 
1.69/1.78	c intension z[752]=x[26]  using generic constraint 
1.69/1.78	c intension z[977]=x[251]  using generic constraint 
1.69/1.78	c intension z[978]=x[252]  using generic constraint 
1.69/1.78	c intension z[979]=x[253]  using generic constraint 
1.69/1.78	c intension z[980]=x[254]  using generic constraint 
1.69/1.78	c intension z[981]=x[255]  using generic constraint 
1.69/1.78	c intension z[982]=x[256]  using generic constraint 
1.69/1.78	c intension z[983]=x[257]  using generic constraint 
1.69/1.78	c intension z[984]=x[258]  using generic constraint 
1.69/1.78	c intension z[986]=x[260]  using generic constraint 
1.69/1.79	c intension z[987]=x[261]  using generic constraint 
1.69/1.79	c intension z[753]=x[27]  using generic constraint 
1.69/1.79	c intension z[989]=x[263]  using generic constraint 
1.69/1.79	c intension z[990]=x[264]  using generic constraint 
1.69/1.79	c intension z[992]=x[266]  using generic constraint 
1.69/1.79	c intension z[993]=x[267]  using generic constraint 
1.69/1.79	c intension z[995]=x[269]  using generic constraint 
1.69/1.79	c intension z[996]=x[270]  using generic constraint 
1.69/1.79	c intension z[998]=x[272]  using generic constraint 
1.79/1.80	c intension z[999]=x[273]  using generic constraint 
1.79/1.80	c intension z[1001]=x[275]  using generic constraint 
1.79/1.80	c intension z[1002]=x[276]  using generic constraint 
1.79/1.80	c intension z[754]=x[28]  using generic constraint 
1.79/1.80	c intension z[1004]=x[278]  using generic constraint 
1.79/1.80	c intension z[1005]=x[279]  using generic constraint 
1.79/1.80	c intension z[1007]=x[281]  using generic constraint 
1.79/1.80	c intension z[1008]=x[282]  using generic constraint 
1.79/1.80	c intension z[1010]=x[284]  using generic constraint 
1.79/1.81	c intension z[1011]=x[285]  using generic constraint 
1.79/1.81	c intension z[1013]=x[287]  using generic constraint 
1.79/1.81	c intension z[1014]=x[288]  using generic constraint 
1.79/1.81	c intension z[1016]=x[290]  using generic constraint 
1.79/1.81	c intension z[1017]=x[291]  using generic constraint 
1.79/1.81	c intension z[755]=x[29]  using generic constraint 
1.79/1.81	c intension z[1019]=x[293]  using generic constraint 
1.79/1.81	c intension z[1020]=x[294]  using generic constraint 
1.79/1.81	c intension z[1022]=x[296]  using generic constraint 
1.79/1.82	c intension z[1023]=x[297]  using generic constraint 
1.79/1.82	c intension z[1025]=x[299]  using generic constraint 
1.79/1.82	c intension z[1026]=x[300]  using generic constraint 
1.79/1.82	c intension z[1028]=x[302]  using generic constraint 
1.79/1.82	c intension z[1029]=x[303]  using generic constraint 
1.79/1.82	c intension z[1031]=x[305]  using generic constraint 
1.79/1.82	c intension z[1032]=x[306]  using generic constraint 
1.79/1.82	c intension z[756]=x[30]  using generic constraint 
1.79/1.82	c intension z[1034]=x[308]  using generic constraint 
1.79/1.83	c intension z[1035]=x[309]  using generic constraint 
1.79/1.83	c intension z[1037]=x[311]  using generic constraint 
1.79/1.83	c intension z[1038]=x[312]  using generic constraint 
1.79/1.83	c intension z[1040]=x[314]  using generic constraint 
1.79/1.83	c intension z[1041]=x[315]  using generic constraint 
1.79/1.83	c intension z[1043]=x[317]  using generic constraint 
1.79/1.83	c intension z[1044]=x[318]  using generic constraint 
1.79/1.83	c intension z[1046]=x[320]  using generic constraint 
1.79/1.83	c intension z[1047]=x[321]  using generic constraint 
1.79/1.84	c intension z[730]=x[4]  using generic constraint 
1.79/1.84	c intension z[757]=x[31]  using generic constraint 
1.79/1.84	c intension z[1049]=x[323]  using generic constraint 
1.79/1.84	c intension z[1050]=x[324]  using generic constraint 
1.79/1.84	c intension z[1052]=x[326]  using generic constraint 
1.79/1.84	c intension z[1053]=x[327]  using generic constraint 
1.79/1.84	c intension z[1055]=x[329]  using generic constraint 
1.79/1.84	c intension z[1056]=x[330]  using generic constraint 
1.79/1.84	c intension z[1058]=x[332]  using generic constraint 
1.79/1.84	c intension z[1059]=x[333]  using generic constraint 
1.79/1.85	c intension z[1061]=x[335]  using generic constraint 
1.79/1.85	c intension z[1062]=x[336]  using generic constraint 
1.79/1.85	c intension z[758]=x[32]  using generic constraint 
1.79/1.85	c intension z[1064]=x[338]  using generic constraint 
1.79/1.85	c intension z[1065]=x[339]  using generic constraint 
1.79/1.85	c intension z[1067]=x[341]  using generic constraint 
1.79/1.85	c intension z[1068]=x[342]  using generic constraint 
1.79/1.85	c intension z[1070]=x[344]  using generic constraint 
1.79/1.85	c intension z[1071]=x[345]  using generic constraint 
1.79/1.86	c intension z[1073]=x[347]  using generic constraint 
1.79/1.86	c intension z[1074]=x[348]  using generic constraint 
1.79/1.86	c intension z[1076]=x[350]  using generic constraint 
1.79/1.86	c intension z[1077]=x[351]  using generic constraint 
1.79/1.86	c intension z[759]=x[33]  using generic constraint 
1.79/1.86	c intension z[1079]=x[353]  using generic constraint 
1.79/1.86	c intension z[1080]=x[354]  using generic constraint 
1.79/1.86	c intension z[1082]=x[356]  using generic constraint 
1.79/1.86	c intension z[1083]=x[357]  using generic constraint 
1.79/1.87	c intension z[1085]=x[359]  using generic constraint 
1.79/1.87	c intension z[1086]=x[360]  using generic constraint 
1.79/1.87	c intension z[1088]=x[362]  using generic constraint 
1.79/1.87	c intension z[1089]=x[363]  using generic constraint 
1.79/1.87	c intension z[1091]=x[365]  using generic constraint 
1.79/1.87	c intension z[1092]=x[366]  using generic constraint 
1.79/1.87	c intension z[760]=x[34]  using generic constraint 
1.79/1.87	c intension z[1094]=x[368]  using generic constraint 
1.79/1.87	c intension z[1095]=x[369]  using generic constraint 
1.79/1.88	c intension z[1097]=x[371]  using generic constraint 
1.79/1.88	c intension z[1098]=x[372]  using generic constraint 
1.79/1.88	c intension z[1100]=x[374]  using generic constraint 
1.79/1.88	c intension z[1101]=x[375]  using generic constraint 
1.79/1.88	c intension z[1103]=x[377]  using generic constraint 
1.79/1.88	c intension z[1104]=x[378]  using generic constraint 
1.79/1.88	c intension z[1106]=x[380]  using generic constraint 
1.79/1.88	c intension z[1107]=x[381]  using generic constraint 
1.79/1.88	c intension z[761]=x[35]  using generic constraint 
1.79/1.89	c intension z[1109]=x[383]  using generic constraint 
1.79/1.89	c intension z[1110]=x[384]  using generic constraint 
1.79/1.89	c intension z[1112]=x[386]  using generic constraint 
1.79/1.89	c intension z[1113]=x[387]  using generic constraint 
1.79/1.89	c intension z[1115]=x[389]  using generic constraint 
1.79/1.89	c intension z[1116]=x[390]  using generic constraint 
1.79/1.89	c intension z[1118]=x[392]  using generic constraint 
1.79/1.89	c intension z[1119]=x[393]  using generic constraint 
1.79/1.89	c intension z[1121]=x[395]  using generic constraint 
1.79/1.89	c intension z[1122]=x[396]  using generic constraint 
1.89/1.90	c intension z[762]=x[36]  using generic constraint 
1.89/1.90	c intension z[1124]=x[398]  using generic constraint 
1.89/1.90	c intension z[1125]=x[399]  using generic constraint 
1.89/1.90	c intension z[1127]=x[401]  using generic constraint 
1.89/1.90	c intension z[1128]=x[402]  using generic constraint 
1.89/1.90	c intension z[1130]=x[404]  using generic constraint 
1.89/1.90	c intension z[1131]=x[405]  using generic constraint 
1.89/1.90	c intension z[1133]=x[407]  using generic constraint 
1.89/1.91	c intension z[1134]=x[408]  using generic constraint 
1.89/1.91	c intension z[1136]=x[410]  using generic constraint 
1.89/1.91	c intension z[1137]=x[411]  using generic constraint 
1.89/1.91	c intension z[763]=x[37]  using generic constraint 
1.89/1.91	c intension z[1139]=x[413]  using generic constraint 
1.89/1.91	c intension z[1140]=x[414]  using generic constraint 
1.89/1.91	c intension z[1142]=x[416]  using generic constraint 
1.89/1.91	c intension z[1143]=x[417]  using generic constraint 
1.89/1.91	c intension z[1145]=x[419]  using generic constraint 
1.89/1.91	c intension z[1146]=x[420]  using generic constraint 
1.89/1.92	c intension z[1148]=x[422]  using generic constraint 
1.89/1.92	c intension z[1149]=x[423]  using generic constraint 
1.89/1.92	c intension z[1151]=x[425]  using generic constraint 
1.89/1.92	c intension z[1152]=x[426]  using generic constraint 
1.89/1.92	c intension z[764]=x[38]  using generic constraint 
1.89/1.92	c intension z[1154]=x[428]  using generic constraint 
1.89/1.92	c intension z[1155]=x[429]  using generic constraint 
1.89/1.92	c intension z[1157]=x[431]  using generic constraint 
1.89/1.92	c intension z[1158]=x[432]  using generic constraint 
1.89/1.93	c intension z[1160]=x[434]  using generic constraint 
1.89/1.93	c intension z[1161]=x[435]  using generic constraint 
1.89/1.93	c intension z[1163]=x[437]  using generic constraint 
1.89/1.93	c intension z[1164]=x[438]  using generic constraint 
1.89/1.93	c intension z[1166]=x[440]  using generic constraint 
1.89/1.93	c intension z[1167]=x[441]  using generic constraint 
1.89/1.93	c intension z[765]=x[39]  using generic constraint 
1.89/1.93	c intension z[1169]=x[443]  using generic constraint 
1.89/1.93	c intension z[1170]=x[444]  using generic constraint 
1.89/1.94	c intension z[1172]=x[446]  using generic constraint 
1.89/1.94	c intension z[1173]=x[447]  using generic constraint 
1.89/1.94	c intension z[1231]=x[561]  using generic constraint 
1.89/1.94	c intension z[1232]=x[562]  using generic constraint 
1.89/1.94	c intension z[1175]=x[450]  using generic constraint 
1.89/1.94	c intension z[1233]=x[563]  using generic constraint 
1.89/1.94	c intension z[1234]=x[564]  using generic constraint 
1.89/1.94	c intension z[1236]=x[566]  using generic constraint 
1.89/1.94	c intension z[766]=x[40]  using generic constraint 
1.89/1.95	c intension z[1237]=x[567]  using generic constraint 
1.89/1.95	c intension z[1238]=x[568]  using generic constraint 
1.89/1.95	c intension z[1176]=x[452]  using generic constraint 
1.89/1.95	c intension z[1239]=x[569]  using generic constraint 
1.89/1.95	c intension z[1240]=x[570]  using generic constraint 
1.89/1.95	c intension z[1242]=x[572]  using generic constraint 
1.89/1.95	c intension z[1243]=x[573]  using generic constraint 
1.89/1.95	c intension z[1244]=x[574]  using generic constraint 
1.89/1.95	c intension z[1177]=x[454]  using generic constraint 
1.89/1.96	c intension z[1245]=x[575]  using generic constraint 
1.89/1.96	c intension z[731]=x[5]  using generic constraint 
1.89/1.96	c intension z[767]=x[41]  using generic constraint 
1.89/1.96	c intension z[1246]=x[576]  using generic constraint 
1.89/1.96	c intension z[1248]=x[578]  using generic constraint 
1.89/1.96	c intension z[1249]=x[579]  using generic constraint 
1.89/1.96	c intension z[1250]=x[580]  using generic constraint 
1.89/1.96	c intension z[1178]=x[456]  using generic constraint 
1.89/1.96	c intension z[1251]=x[581]  using generic constraint 
1.89/1.97	c intension z[1252]=x[582]  using generic constraint 
1.89/1.97	c intension z[1254]=x[584]  using generic constraint 
1.89/1.97	c intension z[1255]=x[585]  using generic constraint 
1.89/1.97	c intension z[1256]=x[586]  using generic constraint 
1.89/1.97	c intension z[768]=x[42]  using generic constraint 
1.89/1.97	c intension z[1179]=x[458]  using generic constraint 
1.89/1.97	c intension z[1257]=x[587]  using generic constraint 
1.89/1.97	c intension z[1258]=x[588]  using generic constraint 
1.89/1.97	c intension z[1260]=x[590]  using generic constraint 
1.89/1.97	c intension z[1261]=x[591]  using generic constraint 
1.89/1.98	c intension z[1262]=x[592]  using generic constraint 
1.89/1.98	c intension z[1180]=x[460]  using generic constraint 
1.89/1.98	c intension z[1263]=x[593]  using generic constraint 
1.89/1.98	c intension z[1264]=x[594]  using generic constraint 
1.89/1.98	c intension z[1266]=x[596]  using generic constraint 
1.89/1.98	c intension z[769]=x[43]  using generic constraint 
1.89/1.98	c intension z[1267]=x[597]  using generic constraint 
1.89/1.98	c intension z[1268]=x[598]  using generic constraint 
1.89/1.98	c intension z[1181]=x[462]  using generic constraint 
1.89/1.99	c intension z[1269]=x[599]  using generic constraint 
1.89/1.99	c intension z[1270]=x[600]  using generic constraint 
1.89/1.99	c intension z[1272]=x[602]  using generic constraint 
1.89/1.99	c intension z[1273]=x[603]  using generic constraint 
1.89/1.99	c intension z[1274]=x[604]  using generic constraint 
1.89/1.99	c intension z[1275]=x[605]  using generic constraint 
1.89/1.99	c intension z[1276]=x[606]  using generic constraint 
1.89/1.99	c intension z[770]=x[44]  using generic constraint 
1.89/1.99	c intension z[1277]=x[607]  using generic constraint 
1.89/2.00	c intension z[1278]=x[608]  using generic constraint 
1.99/2.00	c intension z[1279]=x[609]  using generic constraint 
1.99/2.00	c intension z[1280]=x[610]  using generic constraint 
1.99/2.00	c intension z[1281]=x[611]  using generic constraint 
1.99/2.00	c intension z[1182]=x[464]  using generic constraint 
1.99/2.00	c intension z[1282]=x[612]  using generic constraint 
1.99/2.00	c intension z[1283]=x[613]  using generic constraint 
1.99/2.00	c intension z[1285]=x[615]  using generic constraint 
1.99/2.00	c intension z[1286]=x[616]  using generic constraint 
1.99/2.01	c intension z[771]=x[45]  using generic constraint 
1.99/2.01	c intension z[1287]=x[617]  using generic constraint 
1.99/2.01	c intension z[1183]=x[466]  using generic constraint 
1.99/2.01	c intension z[1288]=x[618]  using generic constraint 
1.99/2.01	c intension z[1289]=x[619]  using generic constraint 
1.99/2.01	c intension z[1291]=x[621]  using generic constraint 
1.99/2.01	c intension z[1292]=x[622]  using generic constraint 
1.99/2.01	c intension z[1293]=x[623]  using generic constraint 
1.99/2.01	c intension z[1184]=x[468]  using generic constraint 
1.99/2.02	c intension z[1294]=x[624]  using generic constraint 
1.99/2.02	c intension z[1295]=x[625]  using generic constraint 
1.99/2.02	c intension z[772]=x[46]  using generic constraint 
1.99/2.02	c intension z[1297]=x[627]  using generic constraint 
1.99/2.02	c intension z[1298]=x[628]  using generic constraint 
1.99/2.02	c intension z[1299]=x[629]  using generic constraint 
1.99/2.02	c intension z[1185]=x[470]  using generic constraint 
1.99/2.02	c intension z[1300]=x[630]  using generic constraint 
1.99/2.02	c intension z[1301]=x[631]  using generic constraint 
1.99/2.03	c intension z[1303]=x[633]  using generic constraint 
1.99/2.03	c intension z[1304]=x[634]  using generic constraint 
1.99/2.03	c intension z[1305]=x[635]  using generic constraint 
1.99/2.03	c intension z[1186]=x[472]  using generic constraint 
1.99/2.03	c intension z[773]=x[47]  using generic constraint 
1.99/2.03	c intension z[1306]=x[636]  using generic constraint 
1.99/2.03	c intension z[1307]=x[637]  using generic constraint 
1.99/2.03	c intension z[1309]=x[639]  using generic constraint 
1.99/2.03	c intension z[1310]=x[640]  using generic constraint 
1.99/2.04	c intension z[1311]=x[641]  using generic constraint 
1.99/2.04	c intension z[1187]=x[474]  using generic constraint 
1.99/2.04	c intension z[1312]=x[642]  using generic constraint 
1.99/2.04	c intension z[1313]=x[643]  using generic constraint 
1.99/2.04	c intension z[1315]=x[645]  using generic constraint 
1.99/2.04	c intension z[1316]=x[646]  using generic constraint 
1.99/2.04	c intension z[774]=x[48]  using generic constraint 
1.99/2.04	c intension z[1317]=x[647]  using generic constraint 
1.99/2.04	c intension z[1188]=x[476]  using generic constraint 
1.99/2.04	c intension z[1318]=x[648]  using generic constraint 
1.99/2.05	c intension z[1319]=x[649]  using generic constraint 
1.99/2.05	c intension z[1321]=x[651]  using generic constraint 
1.99/2.05	c intension z[1322]=x[652]  using generic constraint 
1.99/2.05	c intension z[1323]=x[653]  using generic constraint 
1.99/2.05	c intension z[1189]=x[478]  using generic constraint 
1.99/2.05	c intension z[1324]=x[654]  using generic constraint 
1.99/2.05	c intension z[1325]=x[655]  using generic constraint 
1.99/2.05	c intension z[775]=x[49]  using generic constraint 
1.99/2.05	c intension z[1327]=x[657]  using generic constraint 
1.99/2.06	c intension z[1328]=x[658]  using generic constraint 
1.99/2.06	c intension z[1329]=x[659]  using generic constraint 
1.99/2.06	c intension z[1190]=x[480]  using generic constraint 
1.99/2.06	c intension z[1330]=x[660]  using generic constraint 
1.99/2.06	c intension z[1331]=x[661]  using generic constraint 
1.99/2.06	c intension z[1333]=x[663]  using generic constraint 
1.99/2.06	c intension z[1334]=x[664]  using generic constraint 
1.99/2.06	c intension z[1335]=x[665]  using generic constraint 
1.99/2.06	c intension z[1191]=x[482]  using generic constraint 
1.99/2.07	c intension z[776]=x[50]  using generic constraint 
1.99/2.07	c intension z[1336]=x[666]  using generic constraint 
1.99/2.07	c intension z[1337]=x[667]  using generic constraint 
1.99/2.07	c intension z[1339]=x[669]  using generic constraint 
1.99/2.07	c intension z[1340]=x[670]  using generic constraint 
1.99/2.07	c intension z[1341]=x[671]  using generic constraint 
1.99/2.07	c intension z[1192]=x[484]  using generic constraint 
1.99/2.07	c intension z[1342]=x[672]  using generic constraint 
1.99/2.07	c intension z[1343]=x[673]  using generic constraint 
1.99/2.08	c intension z[1345]=x[675]  using generic constraint 
1.99/2.08	c intension z[1346]=x[676]  using generic constraint 
1.99/2.08	c intension z[732]=x[6]  using generic constraint 
1.99/2.08	c intension z[777]=x[51]  using generic constraint 
1.99/2.08	c intension z[1347]=x[677]  using generic constraint 
1.99/2.08	c intension z[1193]=x[486]  using generic constraint 
1.99/2.08	c intension z[1348]=x[678]  using generic constraint 
1.99/2.08	c intension z[1349]=x[679]  using generic constraint 
1.99/2.08	c intension z[1351]=x[681]  using generic constraint 
1.99/2.09	c intension z[1352]=x[682]  using generic constraint 
1.99/2.09	c intension z[1353]=x[683]  using generic constraint 
1.99/2.09	c intension z[1194]=x[488]  using generic constraint 
1.99/2.09	c intension z[1354]=x[684]  using generic constraint 
1.99/2.09	c intension z[1355]=x[685]  using generic constraint 
1.99/2.09	c intension z[778]=x[52]  using generic constraint 
1.99/2.09	c intension z[1357]=x[687]  using generic constraint 
1.99/2.09	c intension z[1358]=x[688]  using generic constraint 
1.99/2.09	c intension z[1359]=x[689]  using generic constraint 
1.99/2.09	c intension z[1195]=x[490]  using generic constraint 
2.08/2.10	c intension z[1360]=x[690]  using generic constraint 
2.08/2.10	c intension z[1361]=x[691]  using generic constraint 
2.08/2.10	c intension z[1363]=x[693]  using generic constraint 
2.08/2.10	c intension z[1364]=x[694]  using generic constraint 
2.08/2.10	c intension z[1365]=x[695]  using generic constraint 
2.08/2.10	c intension z[1196]=x[492]  using generic constraint 
2.08/2.10	c intension z[779]=x[53]  using generic constraint 
2.08/2.10	c intension z[1366]=x[696]  using generic constraint 
2.08/2.11	c intension z[1367]=x[697]  using generic constraint 
2.08/2.11	c intension z[1369]=x[699]  using generic constraint 
2.08/2.11	c intension z[1370]=x[700]  using generic constraint 
2.08/2.11	c intension z[1371]=x[701]  using generic constraint 
2.08/2.11	c intension z[1197]=x[494]  using generic constraint 
2.08/2.11	c intension z[1372]=x[702]  using generic constraint 
2.08/2.11	c intension z[1373]=x[703]  using generic constraint 
2.08/2.11	c intension z[1375]=x[705]  using generic constraint 
2.08/2.11	c intension z[1376]=x[706]  using generic constraint 
2.08/2.11	c intension z[780]=x[54]  using generic constraint 
2.08/2.12	c intension z[1377]=x[707]  using generic constraint 
2.08/2.12	c intension z[1198]=x[496]  using generic constraint 
2.08/2.12	c intension z[1378]=x[708]  using generic constraint 
2.08/2.12	c intension z[1379]=x[709]  using generic constraint 
2.08/2.12	c intension z[1381]=x[711]  using generic constraint 
2.08/2.12	c intension z[1382]=x[712]  using generic constraint 
2.08/2.12	c intension z[1383]=x[713]  using generic constraint 
2.08/2.12	c intension z[1199]=x[498]  using generic constraint 
2.08/2.12	c intension z[1384]=x[714]  using generic constraint 
2.08/2.13	c intension z[1385]=x[715]  using generic constraint 
2.08/2.13	c intension z[781]=x[55]  using generic constraint 
2.08/2.13	c intension z[1387]=x[717]  using generic constraint 
2.08/2.13	c intension z[1388]=x[718]  using generic constraint 
2.08/2.13	c intension z[1389]=x[719]  using generic constraint 
2.08/2.13	c intension z[1200]=x[500]  using generic constraint 
2.08/2.13	c intension z[1390]=x[720]  using generic constraint 
2.08/2.13	c intension z[1391]=x[721]  using generic constraint 
2.08/2.13	c intension z[1393]=x[723]  using generic constraint 
2.08/2.14	c intension z[1394]=x[724]  using generic constraint 
2.08/2.14	c intension z[1395]=x[725]  using generic constraint 
2.08/2.14	c intension z[1201]=x[502]  using generic constraint 
2.08/2.14	c intension z[782]=x[56]  using generic constraint 
2.08/2.14	c intension z[1396]=x[726]  using generic constraint 
2.08/2.14	c intension z[1397]=x[727]  using generic constraint 
2.08/2.14	c intension z[1399]=x[729]  using generic constraint 
2.08/2.14	c intension z[1400]=x[730]  using generic constraint 
2.08/2.14	c intension z[1401]=x[731]  using generic constraint 
2.08/2.15	c intension z[1202]=x[504]  using generic constraint 
2.08/2.15	c intension z[1402]=x[732]  using generic constraint 
2.08/2.15	c intension z[1403]=x[733]  using generic constraint 
2.08/2.15	c intension z[1405]=x[735]  using generic constraint 
2.08/2.15	c intension z[1406]=x[736]  using generic constraint 
2.08/2.15	c intension z[783]=x[57]  using generic constraint 
2.08/2.15	c intension z[1407]=x[737]  using generic constraint 
2.08/2.15	c intension z[1203]=x[506]  using generic constraint 
2.08/2.15	c intension z[1408]=x[738]  using generic constraint 
2.08/2.16	c intension z[1409]=x[739]  using generic constraint 
2.08/2.16	c intension z[1411]=x[741]  using generic constraint 
2.08/2.16	c intension z[1412]=x[742]  using generic constraint 
2.08/2.16	c intension z[1413]=x[743]  using generic constraint 
2.08/2.16	c intension z[1204]=x[508]  using generic constraint 
2.08/2.16	c intension z[1414]=x[744]  using generic constraint 
2.08/2.16	c intension z[1415]=x[745]  using generic constraint 
2.08/2.16	c intension z[784]=x[58]  using generic constraint 
2.08/2.17	c intension z[1417]=x[747]  using generic constraint 
2.08/2.17	c intension z[1418]=x[748]  using generic constraint 
2.08/2.17	c intension z[1419]=x[749]  using generic constraint 
2.08/2.17	c intension z[1205]=x[510]  using generic constraint 
2.08/2.17	c intension z[1420]=x[750]  using generic constraint 
2.08/2.17	c intension z[1421]=x[751]  using generic constraint 
2.08/2.17	c intension z[1423]=x[753]  using generic constraint 
2.08/2.17	c intension z[1424]=x[754]  using generic constraint 
2.08/2.17	c intension z[1425]=x[755]  using generic constraint 
2.08/2.17	c intension z[1206]=x[512]  using generic constraint 
2.08/2.18	c intension z[785]=x[59]  using generic constraint 
2.08/2.18	c intension z[1426]=x[756]  using generic constraint 
2.08/2.18	c intension z[1427]=x[757]  using generic constraint 
2.08/2.18	c intension z[1429]=x[759]  using generic constraint 
2.08/2.18	c intension z[1430]=x[760]  using generic constraint 
2.08/2.18	c intension z[1431]=x[761]  using generic constraint 
2.08/2.18	c intension z[1207]=x[514]  using generic constraint 
2.08/2.18	c intension z[1432]=x[762]  using generic constraint 
2.08/2.18	c intension z[1433]=x[763]  using generic constraint 
2.08/2.19	c intension z[1435]=x[765]  using generic constraint 
2.08/2.19	c intension z[1436]=x[766]  using generic constraint 
2.08/2.19	c intension z[786]=x[60]  using generic constraint 
2.08/2.19	c intension z[1437]=x[767]  using generic constraint 
2.08/2.19	c intension z[1208]=x[516]  using generic constraint 
2.08/2.19	c intension z[1438]=x[768]  using generic constraint 
2.08/2.19	c intension z[1439]=x[769]  using generic constraint 
2.08/2.19	c intension z[1441]=x[771]  using generic constraint 
2.08/2.19	c intension z[1442]=x[772]  using generic constraint 
2.08/2.20	c intension z[1443]=x[773]  using generic constraint 
2.08/2.20	c intension z[1209]=x[518]  using generic constraint 
2.08/2.20	c intension z[1444]=x[774]  using generic constraint 
2.08/2.20	c intension z[1445]=x[775]  using generic constraint 
2.08/2.20	c intension z[733]=x[7]  using generic constraint 
2.08/2.20	c intension z[787]=x[61]  using generic constraint 
2.08/2.20	c intension z[1447]=x[777]  using generic constraint 
2.08/2.20	c intension z[1448]=x[778]  using generic constraint 
2.20/2.20	c intension z[1449]=x[779]  using generic constraint 
2.20/2.21	c intension z[1210]=x[520]  using generic constraint 
2.20/2.21	c intension z[1450]=x[780]  using generic constraint 
2.20/2.21	c intension z[1451]=x[781]  using generic constraint 
2.20/2.21	c intension z[1453]=x[783]  using generic constraint 
2.20/2.21	c intension z[1454]=x[784]  using generic constraint 
2.20/2.21	c intension z[1455]=x[785]  using generic constraint 
2.20/2.21	c intension z[1211]=x[522]  using generic constraint 
2.20/2.21	c intension z[788]=x[62]  using generic constraint 
2.20/2.21	c intension z[1456]=x[786]  using generic constraint 
2.20/2.22	c intension z[1457]=x[787]  using generic constraint 
2.20/2.22	c intension z[1459]=x[789]  using generic constraint 
2.20/2.22	c intension z[1460]=x[790]  using generic constraint 
2.20/2.22	c intension z[1461]=x[791]  using generic constraint 
2.20/2.22	c intension z[1212]=x[524]  using generic constraint 
2.20/2.22	c intension z[1462]=x[792]  using generic constraint 
2.20/2.22	c intension z[1463]=x[793]  using generic constraint 
2.20/2.22	c intension z[1465]=x[795]  using generic constraint 
2.20/2.22	c intension z[1466]=x[796]  using generic constraint 
2.20/2.23	c intension z[789]=x[63]  using generic constraint 
2.20/2.23	c intension z[1467]=x[797]  using generic constraint 
2.20/2.23	c intension z[1213]=x[526]  using generic constraint 
2.20/2.23	c intension z[1468]=x[798]  using generic constraint 
2.20/2.23	c intension z[1469]=x[799]  using generic constraint 
2.20/2.23	c intension z[1471]=x[801]  using generic constraint 
2.20/2.23	c intension z[1472]=x[802]  using generic constraint 
2.20/2.23	c intension z[1473]=x[803]  using generic constraint 
2.20/2.23	c intension z[1214]=x[528]  using generic constraint 
2.20/2.24	c intension z[1474]=x[804]  using generic constraint 
2.20/2.24	c intension z[1475]=x[805]  using generic constraint 
2.20/2.24	c intension z[790]=x[64]  using generic constraint 
2.20/2.24	c intension z[1477]=x[807]  using generic constraint 
2.20/2.24	c intension z[1478]=x[808]  using generic constraint 
2.20/2.24	c intension z[1479]=x[809]  using generic constraint 
2.20/2.24	c intension z[1215]=x[530]  using generic constraint 
2.20/2.24	c intension z[1480]=x[810]  using generic constraint 
2.20/2.24	c intension z[1481]=x[811]  using generic constraint 
2.20/2.25	c intension z[1483]=x[813]  using generic constraint 
2.20/2.25	c intension z[1484]=x[814]  using generic constraint 
2.20/2.25	c intension z[1485]=x[815]  using generic constraint 
2.20/2.25	c intension z[1216]=x[532]  using generic constraint 
2.20/2.25	c intension z[791]=x[65]  using generic constraint 
2.20/2.25	c intension z[1486]=x[816]  using generic constraint 
2.20/2.25	c intension z[1487]=x[817]  using generic constraint 
2.20/2.25	c intension z[1489]=x[819]  using generic constraint 
2.20/2.25	c intension z[1490]=x[820]  using generic constraint 
2.20/2.25	c intension z[1491]=x[821]  using generic constraint 
2.20/2.26	c intension z[1217]=x[534]  using generic constraint 
2.20/2.26	c intension z[1492]=x[822]  using generic constraint 
2.20/2.26	c intension z[1493]=x[823]  using generic constraint 
2.20/2.26	c intension z[1495]=x[825]  using generic constraint 
2.20/2.26	c intension z[1496]=x[826]  using generic constraint 
2.20/2.26	c intension z[792]=x[66]  using generic constraint 
2.20/2.26	c intension z[1497]=x[827]  using generic constraint 
2.20/2.26	c intension z[1218]=x[536]  using generic constraint 
2.20/2.26	c intension z[1498]=x[828]  using generic constraint 
2.20/2.27	c intension z[1499]=x[829]  using generic constraint 
2.20/2.27	c intension z[1501]=x[831]  using generic constraint 
2.20/2.27	c intension z[1502]=x[832]  using generic constraint 
2.20/2.27	c intension z[1503]=x[833]  using generic constraint 
2.20/2.27	c intension z[1219]=x[538]  using generic constraint 
2.20/2.27	c intension z[1504]=x[834]  using generic constraint 
2.20/2.27	c intension z[1505]=x[835]  using generic constraint 
2.20/2.27	c intension z[793]=x[67]  using generic constraint 
2.20/2.27	c intension z[1507]=x[837]  using generic constraint 
2.20/2.28	c intension z[1508]=x[838]  using generic constraint 
2.20/2.28	c intension z[1509]=x[839]  using generic constraint 
2.20/2.28	c intension z[1220]=x[540]  using generic constraint 
2.20/2.28	c intension z[1510]=x[840]  using generic constraint 
2.20/2.28	c intension z[1511]=x[841]  using generic constraint 
2.20/2.28	c intension z[1513]=x[843]  using generic constraint 
2.20/2.28	c intension z[1514]=x[844]  using generic constraint 
2.20/2.28	c intension z[1515]=x[845]  using generic constraint 
2.20/2.28	c intension z[1221]=x[542]  using generic constraint 
2.20/2.29	c intension z[794]=x[68]  using generic constraint 
2.20/2.29	c intension z[1516]=x[846]  using generic constraint 
2.20/2.29	c intension z[1517]=x[847]  using generic constraint 
2.20/2.29	c intension z[1519]=x[849]  using generic constraint 
2.20/2.29	c intension z[1520]=x[850]  using generic constraint 
2.20/2.29	c intension z[1521]=x[851]  using generic constraint 
2.20/2.29	c intension z[1222]=x[544]  using generic constraint 
2.20/2.29	c intension z[1522]=x[852]  using generic constraint 
2.20/2.29	c intension z[1523]=x[853]  using generic constraint 
2.20/2.30	c intension z[1525]=x[855]  using generic constraint 
2.20/2.30	c intension z[1526]=x[856]  using generic constraint 
2.20/2.30	c intension z[795]=x[69]  using generic constraint 
2.20/2.30	c intension z[1527]=x[857]  using generic constraint 
2.20/2.30	c intension z[1223]=x[546]  using generic constraint 
2.20/2.30	c intension z[1528]=x[858]  using generic constraint 
2.20/2.30	c intension z[1529]=x[859]  using generic constraint 
2.20/2.30	c intension z[1531]=x[861]  using generic constraint 
2.30/2.30	c intension z[1532]=x[862]  using generic constraint 
2.30/2.31	c intension z[1533]=x[863]  using generic constraint 
2.30/2.31	c intension z[1224]=x[548]  using generic constraint 
2.30/2.31	c intension z[1534]=x[864]  using generic constraint 
2.30/2.31	c intension z[1535]=x[865]  using generic constraint 
2.30/2.31	c intension z[796]=x[70]  using generic constraint 
2.30/2.31	c intension z[1537]=x[867]  using generic constraint 
2.30/2.31	c intension z[1538]=x[868]  using generic constraint 
2.30/2.31	c intension z[1539]=x[869]  using generic constraint 
2.30/2.31	c intension z[1225]=x[550]  using generic constraint 
2.30/2.32	c intension z[1540]=x[870]  using generic constraint 
2.30/2.32	c intension z[1541]=x[871]  using generic constraint 
2.30/2.32	c intension z[1543]=x[873]  using generic constraint 
2.30/2.32	c intension z[1544]=x[874]  using generic constraint 
2.30/2.32	c intension z[1545]=x[875]  using generic constraint 
2.30/2.32	c intension z[1226]=x[552]  using generic constraint 
2.30/2.32	c intension z[734]=x[8]  using generic constraint 
2.30/2.32	c intension z[797]=x[71]  using generic constraint 
2.30/2.32	c intension z[1546]=x[876]  using generic constraint 
2.30/2.32	c intension z[1547]=x[877]  using generic constraint 
2.30/2.33	c intension z[1549]=x[879]  using generic constraint 
2.30/2.33	c intension z[1550]=x[880]  using generic constraint 
2.30/2.33	c intension z[1551]=x[881]  using generic constraint 
2.30/2.33	c intension z[1227]=x[554]  using generic constraint 
2.30/2.33	c intension z[1552]=x[882]  using generic constraint 
2.30/2.33	c intension z[1553]=x[883]  using generic constraint 
2.30/2.33	c intension z[1555]=x[885]  using generic constraint 
2.30/2.33	c intension z[1556]=x[886]  using generic constraint 
2.30/2.33	c intension z[798]=x[72]  using generic constraint 
2.30/2.34	c intension z[1557]=x[887]  using generic constraint 
2.30/2.34	c intension z[1228]=x[556]  using generic constraint 
2.30/2.34	c intension z[1558]=x[888]  using generic constraint 
2.30/2.34	c intension z[1559]=x[889]  using generic constraint 
2.30/2.34	c intension z[1561]=x[891]  using generic constraint 
2.30/2.34	c intension z[1562]=x[892]  using generic constraint 
2.30/2.34	c intension z[1563]=x[893]  using generic constraint 
2.30/2.34	c intension z[1229]=x[558]  using generic constraint 
2.30/2.34	c intension z[1564]=x[894]  using generic constraint 
2.30/2.35	c intension z[1565]=x[895]  using generic constraint 
2.30/2.35	c intension z[799]=x[73]  using generic constraint 
2.30/2.35	c intension z[1567]=x[897]  using generic constraint 
2.30/2.35	c intension z[1568]=x[898]  using generic constraint 
2.30/2.35	c intension z[1569]=x[899]  using generic constraint 
2.30/2.35	c intension z[1230]=x[560]  using generic constraint 
2.30/2.35	c intension z[1570]=x[900]  using generic constraint 
2.30/2.35	c intension z[1571]=x[901]  using generic constraint 
2.30/2.35	c intension z[1573]=x[903]  using generic constraint 
2.30/2.36	c intension z[1574]=x[904]  using generic constraint 
2.30/2.36	c intension z[1235]=x[565]  using generic constraint 
2.30/2.36	c intension z[1576]=x[906]  using generic constraint 
2.30/2.36	c intension z[800]=x[74]  using generic constraint 
2.30/2.36	c intension z[1241]=x[571]  using generic constraint 
2.30/2.36	c intension z[1578]=x[908]  using generic constraint 
2.30/2.36	c intension z[1247]=x[577]  using generic constraint 
2.30/2.36	c intension z[1580]=x[910]  using generic constraint 
2.30/2.37	c intension z[1253]=x[583]  using generic constraint 
2.30/2.37	c intension z[1582]=x[912]  using generic constraint 
2.30/2.37	c intension z[1259]=x[589]  using generic constraint 
2.30/2.37	c intension z[1584]=x[914]  using generic constraint 
2.30/2.37	c intension z[1265]=x[595]  using generic constraint 
2.30/2.37	c intension z[1586]=x[916]  using generic constraint 
2.30/2.37	c intension z[801]=x[75]  using generic constraint 
2.30/2.37	c intension z[1271]=x[601]  using generic constraint 
2.30/2.37	c intension z[1588]=x[918]  using generic constraint 
2.30/2.37	c intension z[1284]=x[614]  using generic constraint 
2.30/2.38	c intension z[1590]=x[920]  using generic constraint 
2.30/2.38	c intension z[1290]=x[620]  using generic constraint 
2.30/2.38	c intension z[1592]=x[922]  using generic constraint 
2.30/2.38	c intension z[1296]=x[626]  using generic constraint 
2.30/2.38	c intension z[1594]=x[924]  using generic constraint 
2.30/2.38	c intension z[1302]=x[632]  using generic constraint 
2.30/2.38	c intension z[1596]=x[926]  using generic constraint 
2.30/2.38	c intension z[802]=x[76]  using generic constraint 
2.30/2.38	c intension z[1308]=x[638]  using generic constraint 
2.30/2.39	c intension z[1598]=x[928]  using generic constraint 
2.30/2.39	c intension z[1314]=x[644]  using generic constraint 
2.30/2.39	c intension z[1600]=x[930]  using generic constraint 
2.30/2.39	c intension z[1320]=x[650]  using generic constraint 
2.30/2.39	c intension z[1602]=x[932]  using generic constraint 
2.30/2.39	c intension z[1326]=x[656]  using generic constraint 
2.30/2.39	c intension z[1604]=x[934]  using generic constraint 
2.30/2.39	c intension z[1332]=x[662]  using generic constraint 
2.30/2.39	c intension z[1606]=x[936]  using generic constraint 
2.39/2.40	c intension z[803]=x[77]  using generic constraint 
2.39/2.40	c intension z[1338]=x[668]  using generic constraint 
2.39/2.40	c intension z[1608]=x[938]  using generic constraint 
2.39/2.40	c intension z[1344]=x[674]  using generic constraint 
2.39/2.40	c intension z[1610]=x[940]  using generic constraint 
2.39/2.40	c intension z[1350]=x[680]  using generic constraint 
2.39/2.40	c intension z[1612]=x[942]  using generic constraint 
2.39/2.40	c intension z[1356]=x[686]  using generic constraint 
2.39/2.40	c intension z[1614]=x[944]  using generic constraint 
2.39/2.41	c intension z[1362]=x[692]  using generic constraint 
2.39/2.41	c intension z[1616]=x[946]  using generic constraint 
2.39/2.41	c intension z[804]=x[78]  using generic constraint 
2.39/2.41	c intension z[1368]=x[698]  using generic constraint 
2.39/2.41	c intension z[1618]=x[948]  using generic constraint 
2.39/2.41	c intension z[1374]=x[704]  using generic constraint 
2.39/2.41	c intension z[1620]=x[950]  using generic constraint 
2.39/2.41	c intension z[1380]=x[710]  using generic constraint 
2.39/2.41	c intension z[1622]=x[952]  using generic constraint 
2.39/2.42	c intension z[1386]=x[716]  using generic constraint 
2.39/2.42	c intension z[1624]=x[954]  using generic constraint 
2.39/2.42	c intension z[1392]=x[722]  using generic constraint 
2.39/2.42	c intension z[1626]=x[956]  using generic constraint 
2.39/2.42	c intension z[805]=x[79]  using generic constraint 
2.39/2.42	c intension z[1398]=x[728]  using generic constraint 
2.39/2.42	c intension z[1628]=x[958]  using generic constraint 
2.39/2.42	c intension z[1404]=x[734]  using generic constraint 
2.39/2.42	c intension z[1630]=x[960]  using generic constraint 
2.39/2.43	c intension z[1410]=x[740]  using generic constraint 
2.39/2.43	c intension z[1632]=x[962]  using generic constraint 
2.39/2.43	c intension z[1416]=x[746]  using generic constraint 
2.39/2.43	c intension z[1634]=x[964]  using generic constraint 
2.39/2.43	c intension z[1422]=x[752]  using generic constraint 
2.39/2.43	c intension z[1636]=x[966]  using generic constraint 
2.39/2.43	c intension z[806]=x[80]  using generic constraint 
2.39/2.43	c intension z[1428]=x[758]  using generic constraint 
2.39/2.43	c intension z[1638]=x[968]  using generic constraint 
2.39/2.44	c intension z[1434]=x[764]  using generic constraint 
2.39/2.44	c intension z[1640]=x[970]  using generic constraint 
2.39/2.44	c intension z[1440]=x[770]  using generic constraint 
2.39/2.44	c intension z[1642]=x[972]  using generic constraint 
2.39/2.44	c intension z[1446]=x[776]  using generic constraint 
2.39/2.44	c intension z[1644]=x[974]  using generic constraint 
2.39/2.44	c intension z[1452]=x[782]  using generic constraint 
2.39/2.44	c intension z[1646]=x[976]  using generic constraint 
2.39/2.44	c intension z[735]=x[9]  using generic constraint 
2.39/2.45	c intension z[807]=x[81]  using generic constraint 
2.39/2.45	c intension z[1458]=x[788]  using generic constraint 
2.39/2.45	c intension z[1648]=x[978]  using generic constraint 
2.39/2.45	c intension z[1464]=x[794]  using generic constraint 
2.39/2.45	c intension z[1650]=x[980]  using generic constraint 
2.39/2.45	c intension z[1470]=x[800]  using generic constraint 
2.39/2.45	c intension z[1652]=x[982]  using generic constraint 
2.39/2.45	c intension z[1476]=x[806]  using generic constraint 
2.39/2.45	c intension z[1654]=x[984]  using generic constraint 
2.39/2.46	c intension z[1482]=x[812]  using generic constraint 
2.39/2.46	c intension z[1656]=x[986]  using generic constraint 
2.39/2.46	c intension z[808]=x[82]  using generic constraint 
2.39/2.46	c intension z[1488]=x[818]  using generic constraint 
2.39/2.46	c intension z[1658]=x[988]  using generic constraint 
2.39/2.46	c intension z[1494]=x[824]  using generic constraint 
2.39/2.46	c intension z[1660]=x[990]  using generic constraint 
2.39/2.46	c intension z[1500]=x[830]  using generic constraint 
2.39/2.46	c intension z[1662]=x[992]  using generic constraint 
2.39/2.47	c intension z[1506]=x[836]  using generic constraint 
2.39/2.47	c intension z[1664]=x[994]  using generic constraint 
2.39/2.47	c intension z[1512]=x[842]  using generic constraint 
2.39/2.47	c intension z[1666]=x[996]  using generic constraint 
2.39/2.47	c intension z[809]=x[83]  using generic constraint 
2.39/2.47	c intension z[1518]=x[848]  using generic constraint 
2.39/2.47	c intension z[1668]=x[998]  using generic constraint 
2.39/2.47	c intension z[1524]=x[854]  using generic constraint 
2.39/2.47	c intension z[1670]=x[1000]  using generic constraint 
2.39/2.47	c intension z[1530]=x[860]  using generic constraint 
2.39/2.48	c intension z[1672]=x[1002]  using generic constraint 
2.39/2.48	c intension z[1536]=x[866]  using generic constraint 
2.39/2.48	c intension z[1674]=x[1004]  using generic constraint 
2.39/2.48	c intension z[1542]=x[872]  using generic constraint 
2.39/2.48	c intension z[1676]=x[1006]  using generic constraint 
2.39/2.48	c intension z[810]=x[84]  using generic constraint 
2.39/2.48	c intension z[1548]=x[878]  using generic constraint 
2.39/2.48	c intension z[1678]=x[1008]  using generic constraint 
2.39/2.48	c intension z[1554]=x[884]  using generic constraint 
2.39/2.49	c intension z[1680]=x[1010]  using generic constraint 
2.39/2.49	c intension z[1560]=x[890]  using generic constraint 
2.39/2.49	c intension z[1682]=x[1012]  using generic constraint 
2.39/2.49	c intension z[1566]=x[896]  using generic constraint 
2.39/2.49	c intension z[1684]=x[1014]  using generic constraint 
2.39/2.49	c intension z[1572]=x[902]  using generic constraint 
2.39/2.49	c intension z[1686]=x[1016]  using generic constraint 
2.39/2.49	c intension z[811]=x[85]  using generic constraint 
2.39/2.49	c intension z[1575]=x[905]  using generic constraint 
2.39/2.50	c intension z[1689]=x[1019]  using generic constraint 
2.49/2.50	c intension z[1577]=x[907]  using generic constraint 
2.49/2.50	c intension z[1692]=x[1022]  using generic constraint 
2.49/2.50	c intension z[1579]=x[909]  using generic constraint 
2.49/2.50	c intension z[1695]=x[1025]  using generic constraint 
2.49/2.50	c intension z[1581]=x[911]  using generic constraint 
2.49/2.50	c intension z[1698]=x[1028]  using generic constraint 
2.49/2.50	c intension z[1583]=x[913]  using generic constraint 
2.49/2.50	c intension z[1701]=x[1031]  using generic constraint 
2.49/2.51	c intension z[812]=x[86]  using generic constraint 
2.49/2.51	c intension z[1585]=x[915]  using generic constraint 
2.49/2.51	c intension z[1704]=x[1034]  using generic constraint 
2.49/2.51	c intension z[1587]=x[917]  using generic constraint 
2.49/2.51	c intension z[1589]=x[919]  using generic constraint 
2.49/2.51	c intension z[1688]=x[1018]  using generic constraint 
2.49/2.51	c intension z[1591]=x[921]  using generic constraint 
2.49/2.51	c intension z[1691]=x[1021]  using generic constraint 
2.49/2.51	c intension z[1593]=x[923]  using generic constraint 
2.49/2.52	c intension z[1694]=x[1024]  using generic constraint 
2.49/2.52	c intension z[1595]=x[925]  using generic constraint 
2.49/2.52	c intension z[813]=x[87]  using generic constraint 
2.49/2.52	c intension z[1697]=x[1027]  using generic constraint 
2.49/2.52	c intension z[1597]=x[927]  using generic constraint 
2.49/2.52	c intension z[1700]=x[1030]  using generic constraint 
2.49/2.52	c intension z[1599]=x[929]  using generic constraint 
2.49/2.52	c intension z[1703]=x[1033]  using generic constraint 
2.49/2.52	c intension z[1601]=x[931]  using generic constraint 
2.49/2.53	c intension z[1706]=x[1036]  using generic constraint 
2.49/2.53	c intension z[1603]=x[933]  using generic constraint 
2.49/2.53	c intension z[1605]=x[935]  using generic constraint 
2.49/2.53	c intension z[1607]=x[937]  using generic constraint 
2.49/2.53	c intension z[814]=x[88]  using generic constraint 
2.49/2.53	c intension z[1609]=x[939]  using generic constraint 
2.49/2.53	c intension z[1611]=x[941]  using generic constraint 
2.49/2.53	c intension z[1613]=x[943]  using generic constraint 
2.49/2.53	c intension z[1615]=x[945]  using generic constraint 
2.49/2.54	c intension z[1617]=x[947]  using generic constraint 
2.49/2.54	c intension z[1619]=x[949]  using generic constraint 
2.49/2.54	c intension z[1621]=x[951]  using generic constraint 
2.49/2.54	c intension z[1623]=x[953]  using generic constraint 
2.49/2.54	c intension z[1625]=x[955]  using generic constraint 
2.49/2.54	c intension z[1627]=x[957]  using generic constraint 
2.49/2.54	c intension z[815]=x[89]  using generic constraint 
2.49/2.54	c intension z[1629]=x[959]  using generic constraint 
2.49/2.54	c intension z[1631]=x[961]  using generic constraint 
2.49/2.55	c intension z[1633]=x[963]  using generic constraint 
2.49/2.55	c intension z[1635]=x[965]  using generic constraint 
2.49/2.55	c intension z[1637]=x[967]  using generic constraint 
2.49/2.55	c intension z[1639]=x[969]  using generic constraint 
2.49/2.55	c intension z[1641]=x[971]  using generic constraint 
2.49/2.55	c intension z[1643]=x[973]  using generic constraint 
2.49/2.55	c intension z[1645]=x[975]  using generic constraint 
2.49/2.55	c intension z[1647]=x[977]  using generic constraint 
2.49/2.55	c intension z[816]=x[90]  using generic constraint 
2.49/2.56	c intension z[1649]=x[979]  using generic constraint 
2.49/2.56	c intension z[1651]=x[981]  using generic constraint 
2.49/2.56	c intension z[1653]=x[983]  using generic constraint 
2.49/2.56	c intension z[1655]=x[985]  using generic constraint 
2.49/2.56	c intension z[1657]=x[987]  using generic constraint 
2.49/2.56	c intension z[1659]=x[989]  using generic constraint 
2.49/2.56	c intension z[1661]=x[991]  using generic constraint 
2.49/2.56	c intension z[1663]=x[993]  using generic constraint 
2.49/2.56	c intension z[1665]=x[995]  using generic constraint 
2.49/2.57	c intension z[1667]=x[997]  using generic constraint 
2.49/2.57	c intension z[736]=x[10]  using generic constraint 
2.49/2.57	c intension z[817]=x[91]  using generic constraint 
2.49/2.57	c intension z[1669]=x[999]  using generic constraint 
2.49/2.57	c intension z[1671]=x[1001]  using generic constraint 
2.49/2.57	c intension z[1673]=x[1003]  using generic constraint 
2.49/2.57	c intension z[1675]=x[1005]  using generic constraint 
2.49/2.57	c intension z[1677]=x[1007]  using generic constraint 
2.49/2.57	c intension z[1679]=x[1009]  using generic constraint 
2.49/2.58	c intension z[1681]=x[1011]  using generic constraint 
2.49/2.58	c intension z[1683]=x[1013]  using generic constraint 
2.49/2.58	c intension z[1685]=x[1015]  using generic constraint 
2.49/2.58	c intension z[1707]=x[1037]  using generic constraint 
2.49/2.58	c intension z[818]=x[92]  using generic constraint 
2.49/2.58	c intension z[1709]=x[1039]  using generic constraint 
2.49/2.58	c intension z[1711]=x[1041]  using generic constraint 
2.49/2.58	c intension z[1713]=x[1043]  using generic constraint 
2.49/2.58	c intension z[1715]=x[1045]  using generic constraint 
2.49/2.59	c intension z[1717]=x[1047]  using generic constraint 
2.49/2.59	c intension z[1719]=x[1049]  using generic constraint 
2.49/2.59	c intension z[1721]=x[1051]  using generic constraint 
2.49/2.59	c intension z[1723]=x[1053]  using generic constraint 
2.49/2.59	c intension z[1725]=x[1055]  using generic constraint 
2.49/2.59	c intension z[1727]=x[1057]  using generic constraint 
2.49/2.59	c intension z[819]=x[93]  using generic constraint 
2.49/2.59	c intension z[1729]=x[1059]  using generic constraint 
2.49/2.59	c intension z[1731]=x[1061]  using generic constraint 
2.49/2.59	c intension z[1733]=x[1063]  using generic constraint 
2.58/2.60	c intension z[1735]=x[1065]  using generic constraint 
2.58/2.60	c intension z[1737]=x[1067]  using generic constraint 
2.58/2.60	c intension z[1739]=x[1069]  using generic constraint 
2.58/2.60	c intension z[1741]=x[1071]  using generic constraint 
2.58/2.60	c intension z[1743]=x[1073]  using generic constraint 
2.58/2.60	c intension z[1745]=x[1075]  using generic constraint 
2.58/2.60	c intension z[1747]=x[1077]  using generic constraint 
2.58/2.60	c intension z[820]=x[94]  using generic constraint 
2.58/2.61	c intension z[1749]=x[1079]  using generic constraint 
2.58/2.61	c intension z[1751]=x[1081]  using generic constraint 
2.58/2.61	c intension z[1753]=x[1083]  using generic constraint 
2.58/2.61	c intension z[1755]=x[1085]  using generic constraint 
2.58/2.61	c intension z[1757]=x[1087]  using generic constraint 
2.58/2.61	c intension z[1759]=x[1089]  using generic constraint 
2.58/2.61	c intension z[1761]=x[1091]  using generic constraint 
2.58/2.61	c intension z[1763]=x[1093]  using generic constraint 
2.58/2.61	c intension z[1765]=x[1095]  using generic constraint 
2.58/2.61	c intension z[1767]=x[1097]  using generic constraint 
2.58/2.62	c intension z[821]=x[95]  using generic constraint 
2.58/2.62	c intension z[1769]=x[1099]  using generic constraint 
2.58/2.62	c intension z[1771]=x[1101]  using generic constraint 
2.58/2.62	c intension z[1773]=x[1103]  using generic constraint 
2.58/2.62	c intension z[1775]=x[1105]  using generic constraint 
2.58/2.62	c intension z[1777]=x[1107]  using generic constraint 
2.58/2.62	c intension z[1779]=x[1109]  using generic constraint 
2.58/2.62	c intension z[1781]=x[1111]  using generic constraint 
2.58/2.62	c intension z[1783]=x[1113]  using generic constraint 
2.58/2.63	c intension z[1785]=x[1115]  using generic constraint 
2.58/2.63	c intension z[1787]=x[1117]  using generic constraint 
2.58/2.63	c intension z[822]=x[96]  using generic constraint 
2.58/2.63	c intension z[1789]=x[1119]  using generic constraint 
2.58/2.63	c intension z[1791]=x[1121]  using generic constraint 
2.58/2.63	c intension z[1793]=x[1123]  using generic constraint 
2.58/2.63	c intension z[1795]=x[1125]  using generic constraint 
2.58/2.63	c intension z[1797]=x[1127]  using generic constraint 
2.58/2.63	c intension z[1799]=x[1129]  using generic constraint 
2.58/2.64	c intension z[1801]=x[1131]  using generic constraint 
2.58/2.64	c intension z[1803]=x[1133]  using generic constraint 
2.58/2.64	c intension z[1805]=x[1135]  using generic constraint 
2.58/2.64	c intension z[1807]=x[1137]  using generic constraint 
2.58/2.64	c intension z[823]=x[97]  using generic constraint 
2.58/2.64	c intension z[1809]=x[1139]  using generic constraint 
2.58/2.64	c intension z[1811]=x[1141]  using generic constraint 
2.58/2.64	c intension z[1813]=x[1143]  using generic constraint 
2.58/2.64	c intension z[1815]=x[1145]  using generic constraint 
2.58/2.65	c intension z[1817]=x[1147]  using generic constraint 
2.58/2.65	c intension z[1687]=x[1017]  using generic constraint 
2.58/2.65	c intension z[1690]=x[1020]  using generic constraint 
2.58/2.65	c intension z[1693]=x[1023]  using generic constraint 
2.58/2.65	c intension z[1696]=x[1026]  using generic constraint 
2.58/2.65	c intension z[1699]=x[1029]  using generic constraint 
2.58/2.65	c intension z[824]=x[98]  using generic constraint 
2.58/2.65	c intension z[1702]=x[1032]  using generic constraint 
2.58/2.65	c intension z[1705]=x[1035]  using generic constraint 
2.58/2.66	c intension z[1708]=x[1038]  using generic constraint 
2.58/2.66	c intension z[1819]=x[1149]  using generic constraint 
2.58/2.66	c intension z[988]=x[262]  using generic constraint 
2.58/2.66	c intension z[985]=x[259]  using generic constraint 
2.58/2.66	c intension z[1833]=x[1163]  using generic constraint 
2.58/2.66	c intension z[1820]=x[1150]  using generic constraint 
2.58/2.66	c intension z[1710]=x[1040]  using generic constraint 
2.58/2.66	c intension z[1821]=x[1151]  using generic constraint 
2.58/2.66	c intension z[825]=x[99]  using generic constraint 
2.58/2.67	c intension z[991]=x[265]  using generic constraint 
2.58/2.67	c intension z[1835]=x[1165]  using generic constraint 
2.58/2.67	c intension z[1834]=x[1164]  using generic constraint 
2.58/2.67	c intension z[1822]=x[1152]  using generic constraint 
2.58/2.67	c intension z[1712]=x[1042]  using generic constraint 
2.58/2.67	c intension z[1823]=x[1153]  using generic constraint 
2.58/2.67	c intension z[994]=x[268]  using generic constraint 
2.58/2.67	c intension z[1837]=x[1167]  using generic constraint 
2.58/2.67	c intension z[1836]=x[1166]  using generic constraint 
2.58/2.68	c intension z[1824]=x[1154]  using generic constraint 
2.58/2.68	c intension z[826]=x[100]  using generic constraint 
2.58/2.68	c intension z[1714]=x[1044]  using generic constraint 
2.58/2.68	c intension z[1825]=x[1155]  using generic constraint 
2.58/2.68	c intension z[997]=x[271]  using generic constraint 
2.58/2.68	c intension z[1839]=x[1169]  using generic constraint 
2.58/2.68	c intension z[1838]=x[1168]  using generic constraint 
2.58/2.68	c intension z[1826]=x[1156]  using generic constraint 
2.58/2.68	c intension z[1716]=x[1046]  using generic constraint 
2.58/2.68	c intension z[1827]=x[1157]  using generic constraint 
2.58/2.69	c intension z[1000]=x[274]  using generic constraint 
2.58/2.69	c intension z[1841]=x[1171]  using generic constraint 
22.09/22.19	c root propagations     : 0           
22.09/22.19	c restarts enabled, print stats at every restarts
22.09/22.19	c
22.09/22.19	c
22.09/22.19	c
22.09/22.19	c This is cosoco 1.0 --  
22.09/22.19	c
22.09/22.19	c ========================================[ Problem Statistics ]===========================================
22.09/22.19	c |                                                                                                       
22.09/22.19	c |  Parse time        :        16.86 s 
22.09/22.19	c |
22.09/22.19	c |               Variables: 14823
22.09/22.19	c |            Domain Sizes: 2..20001
22.09/22.19	c |
22.09/22.19	c |             Constraints: 14025
22.09/22.19	c |                   Arity: 1..3  -- Unary: 2  -- Binary: 2319  -- Ternary: 11704
22.09/22.19	c | 
22.09/22.19	c |                   Types: 
22.09/22.19	c |                          (X = Y): 1282
22.09/22.19	c |                          Intension: 12743
22.09/22.19	c |                          
22.09/22.19	c =========================================================================================================
22.09/22.19	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
22.77/22.81	c 101            2269           30154          3912           0              0              1028   2169   1877
23.38/23.41	c 211            4483           45799          7747           0              0              1030   2105   1788
23.98/24.00	c 332            6699           61537          11608          0              0              139   2096   1757
24.48/24.60	c 465            8953           77621          15572          0              0              139   2122   1762
25.18/25.20	c 611            11261          94130          19657          0              0              132   2163   1790
25.78/25.82	c 771            13617          111025         23861          0              0              133   2197   1785
26.39/26.46	c 947            16056          128650         28246          0              0              172   2264   1869
27.08/27.10	c 1140           18544          146709         32758          0              0              134   2296   1892
27.67/27.78	c 1352           21155          165433         37520          0              0              135   2400   1886
28.48/28.50	c 1585           23984          185301         42695          0              0              136   2597   1937
29.18/29.25	c 1841           26892          206012         48058          0              0              137   2653   1951
29.98/30.01	c 2122           29903          227064         53655          0              0              138   2731   1983
30.68/30.78	c 2431           32988          248753         59445          0              0              139   2777   1986
31.48/31.58	c 2770           36199          271364         65518          0              0              140   2873   2029
32.38/32.40	c 3142           39515          294831         71857          0              0              141   2945   2052
33.18/33.23	c 3551           42932          319281         78466          0              0              142   3009   2110
33.98/34.08	c 4000           46441          344615         85336          0              0              143   3061   2145
34.88/34.94	c 4493           50062          371353         92512          0              0              144   3129   2179
35.78/35.82	c 5035           53816          399215         100051         0              0              145   3213   2204
36.68/36.71	c 5631           57664          428192         107892         0              0              146   3253   2140
37.58/37.63	c 6286           61610          459977         187008         0              0              175   3292   2258
38.48/38.57	c 7006           65622          495849         396235         0              0              147   3293   2332
39.68/39.73	c 7798           69706          549397         927191         0              0              151   3293   2417
40.78/40.83	c 8669           73887          621183         1297391        0              0              152   3311   2489
40.78/40.87	c 9627           74845          625015         1301223        1              0              1   1   0      
40.88/40.96	c 10680          75898          629227         1305435        1              0              1   1   0      
41.08/41.12	c 11838          77056          633859         1310067        1              0              1   1   0      
41.28/41.39	c 13111          78329          638951         1315159        1              0              1   1   0      
41.68/41.80	c 14511          79729          644551         1320759        1              0              1   1   0      
42.28/42.40	c 16051          81269          650711         1326919        1              0              1   1   0      
43.18/43.22	c 17745          82963          657487         1333695        1              0              1   1   0      
44.68/44.75	c 19608          85760          891783         1667179        1              0              1   880   433  
45.67/45.71	c 21657          91176          1081431        1704746        1              0              154   3364   2870
45.67/45.78	c 23910          93429          1356297        1711505        2              0              1   1   0      
45.77/45.83	c 26388          95907          1658613        1718939        2              0              1   1   0      
45.77/45.88	c 29113          98632          1991063        1727114        2              0              1   1   0      
46.47/46.57	c 32110          103855         2326568        1769487        2              0              1   2220   223 
47.47/47.55	c 35406          110522         2370957        1809609        2              0              153   3365   3048
47.57/47.60	c 39031          114147         2381832        1820484        3              0              1   1   0      
47.57/47.64	c 43018          118134         2393793        1832445        3              0              1   1   0      
48.58/48.61	c 47403          125892         2441461        1877063        3              0              1   3367   1299
48.58/48.69	c 52226          130715         2455930        1891532        4              0              1   1   0      
49.08/49.12	c 57531          137258         2488246        1948994        4              0              1   1229   20  
50.07/50.14	c 63366          146471         2543241        2019484        4              0              156   3369   3185
50.17/50.23	c 69784          152889         2562495        2038738        5              0              1   1   0      
51.17/51.25	c 76843          163328         2621105        2112890        5              0              1   3371   1509
51.27/51.37	c 84607          171092         2644397        2136182        6              0              1   1   0      
52.37/52.43	c 93147          183014         2707602        2216796        6              0              1   3373   2364
52.47/52.57	c 102541         192408         2735784        2244978        7              0              1   1   0      
53.57/53.67	c 112874         206125         2804272        2330168        7              0              1   3375   3073
54.66/54.78	c 124240         220877         2875860        2419058        8              0              1   3377   312 
55.87/55.94	c 136742         236767         2950868        2511361        9              0              1   3379   591 
57.07/57.15	c 150494         253907         3030666        2607274        10             0              1   3381   849 
59.17/59.23	c 165621         272465         3329183        4458618        11             0              1   3383   839 
60.48/60.51	c 182260         292497         3416185        4555147        12             0              1   3385   1287
61.77/61.83	c 200562         314194         3508190        4656692        13             0              1   3387   1479
63.97/64.06	c 220694         337762         3837763        6585972        14             0              1   3389   1447
65.37/65.49	c 242839         363303         3937966        6677448        15             0              1   3393   1813
66.86/66.98	c 267198         391060         4044856        6776373        16             0              1   3395   1040
68.57/68.60	c 293992         421262         4162232        6903168        17             0              1   3397   1254
70.26/70.32	c 323465         454143         4287884        7030147        18             0              1   3399   1363
72.06/72.16	c 355885         489975         4422385        7165971        19             0              1   3403   1547
74.07/74.14	c 391547         529051         4566642        7311525        20             0              1   3405   1088
76.27/76.30	c 430775         571695         4721502        7467173        21             0              1   3407   1300
78.57/78.66	c 473925         618265         4888115        7634221        22             0              1   3411   1431
82.46/82.59	c 521390         669190         5466104        10682731       23             0              1   3413   992 
85.36/85.47	c 573601         724818         5655397        10860180       24             0              1   3417   1295
88.56/88.68	c 631033         785669         5860342        11053294       25             0              1   3419   1098
92.26/92.33	c 694208         852267         6082531        11264444       26             0              1   3423   1305
96.35/96.43	c 763700         925184         6323675        11494547       27             0              1   3425   1137
101.06/101.16	c 840141         1005054        6585684        11745701       28             0              1   3429   1343
106.45/106.54	c 924226         1092572        6870792        12020196       29             0              1   3433   1234
112.66/112.76	c 1016719        1188502        7181208        12321338       30             0              1   3437   1196
119.86/119.97	c 1118461        1293687        7521006        12656693       31             0              1   3441   1129
128.35/128.40	c 1230377        1409050        7891399        13023584       32             0              1   3445   1136
138.15/138.24	c 1353484        1535608        8295351        13424048       33             0              1   3449   1140
149.75/149.81	c 1488901        1674480        8736200        13861443       34             0              1   3453   1166
163.34/163.44	c 1637859        1826897        9217694        14339468       35             0              1   3457   1187
179.44/179.55	c 1801712        1994215        9743917        14862183       36             0              1   3463   1254
198.53/198.61	c 1981950        2177922        10319264       15434059       37             0              1   3467   1192
221.63/221.74	c 2180211        2379675        11116128       17217742       38             0              1   3473   1240
251.42/251.56	c 2398298        2601355        12726232       25434332       39             0              1   3479   1196
283.62/283.73	c 2638193        2844749        13484389       26203061       40             0              1   3485   1225
322.01/322.19	c 2902077        3112140        14314562       27043971       41             0              1   3493   1248
368.00/368.19	c 3192349        3405925        15223897       27964050       42             0              1   3499   1209
423.18/423.33	c 3511648        3728745        16220303       28971229       43             0              1   3507   1241
489.27/489.47	c 3862876        4083504        17312539       30074204       44             0              1   3517   1246
568.75/568.95	c 4249226        4473401        18553934       31581563       45             0              1   3525   1195
664.13/664.40	c 4674211        4901935        19867426       32905824       46             0              1   3535   1237
779.40/779.61	c 5141694        5373007        21651974       37060496       47             0              1   3545   1200
917.37/917.68	c 5655925        5890797        23227914       38625376       48             0              1   3557   1237
1083.64/1083.97	c 6221579        6460022        24958216       40345738       49             0              1   3569   1222
1283.99/1284.38	c 6843798        7085825        26858820       42238021       50             0              1   3583   1232
1525.73/1526.10	c 7528238        7773876        28950590       44337475       51             0              1   3597   1225
1817.87/1818.39	c 8281122        8530387        31247865       46644502       52             0              1   3613   1243
2171.98/2172.57	c 9109294        9362202        33771021       49177208       53             0              1   3629   1249

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243193-1500671274/watcher-4243193-1500671274 -o /tmp/evaluation-result-4243193-1500671274/solver-4243193-1500671274 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500648174-9890 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243193-1500671274.xml 

pid=13194
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.04 2.05 3/246 13197
/proc/meminfo: memFree=21345964/32770624 swapFree=5904/204012
[pid=13197] ppid=13194 vsize=27396 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 1042 0 0 0 0 0 0 0 20 0 1 0 2394372 28053504 871 33554432000 4194304 5970956 140735931146864 140735931143512 139663062465509 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 6849 871 698 434 0 213 0

[startup+0.100131 s]
/proc/loadavg: 2.02 2.04 2.05 3/246 13197
/proc/meminfo: memFree=21345964/32770624 swapFree=5904/204012
[pid=13197] ppid=13194 vsize=84684 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 15376 0 0 0 7 2 0 0 20 0 1 0 2394372 86716416 15152 33554432000 4194304 5970956 140735931146864 140735931142152 5125629 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 21210 15218 703 434 0 14574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84684

[startup+0.200411 s]
/proc/loadavg: 2.02 2.04 2.05 3/246 13197
/proc/meminfo: memFree=21345964/32770624 swapFree=5904/204012
[pid=13197] ppid=13194 vsize=242992 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 54917 0 0 0 13 6 0 0 20 0 1 0 2394372 248823808 54752 33554432000 4194304 5970956 140735931146864 140735931142152 5125549 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 60748 54752 703 434 0 54112 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 242992

[startup+0.300386 s]
/proc/loadavg: 2.02 2.04 2.05 3/246 13197
/proc/meminfo: memFree=21345964/32770624 swapFree=5904/204012
[pid=13197] ppid=13194 vsize=409136 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 96482 0 0 0 18 11 0 0 20 0 1 0 2394372 418955264 96266 33554432000 4194304 5970956 140735931146864 140735931142152 5125629 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 102323 96332 703 434 0 95687 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 409136

[startup+0.700363 s]
/proc/loadavg: 2.02 2.04 2.05 3/246 13197
/proc/meminfo: memFree=21345964/32770624 swapFree=5904/204012
[pid=13197] ppid=13194 vsize=1076736 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 263379 0 0 0 39 30 0 0 20 0 1 0 2394372 1102577664 263180 33554432000 4194304 5970956 140735931146864 140735931142152 5125549 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 269223 263246 703 434 0 262587 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1076736

[startup+1.50025 s]
/proc/loadavg: 2.02 2.03 2.05 3/247 13198
/proc/meminfo: memFree=19623688/32770624 swapFree=5904/204112
[pid=13197] ppid=13194 vsize=2037900 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 503742 0 0 0 91 58 0 0 20 0 1 0 2394372 2086809600 503541 33554432000 4194304 5970956 140735931146864 140735931130616 139663062513568 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 509475 503541 786 434 0 502839 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2037900

[startup+3.10035 s]
/proc/loadavg: 2.02 2.03 2.05 3/247 13198
/proc/meminfo: memFree=19293104/32770624 swapFree=5904/204112
[pid=13197] ppid=13194 vsize=2237948 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 555445 0 0 0 244 64 0 0 20 0 1 0 2394372 2291658752 553609 33554432000 4194304 5970956 140735931146864 140735931140456 139663062465509 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 559487 553609 786 434 0 552851 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 2237948

[startup+6.30034 s]
/proc/loadavg: 2.02 2.03 2.05 3/247 13198
/proc/meminfo: memFree=18264672/32770624 swapFree=5904/204088
[pid=13197] ppid=13194 vsize=3419212 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 858242 0 0 0 529 99 0 0 20 0 1 0 2394372 3501273088 848858 33554432000 4194304 5970956 140735931146864 140735931140456 4966541 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 854803 848858 786 434 0 848167 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3419212

[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.05 3/247 13198
/proc/meminfo: memFree=15488792/32770624 swapFree=5904/204100
[pid=13197] ppid=13194 vsize=6091576 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 1536930 0 0 0 1091 178 0 0 20 0 1 0 2394372 6237773824 1516996 33554432000 4194304 5970956 140735931146864 140735931140456 139663062465509 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 1522894 1516996 786 434 0 1516258 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6091576

[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.05 3/247 13198
/proc/meminfo: memFree=10047392/32770624 swapFree=5904/204108
[pid=13197] ppid=13194 vsize=11303176 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 2871599 0 0 0 2219 329 0 0 20 0 1 0 2394372 11574452224 2819932 33554432000 4194304 5970956 140735931146864 140735931144200 5337497 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2825794 2819932 826 434 0 2819158 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11303176

[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.05 3/246 13198
/proc/meminfo: memFree=10022644/32770624 swapFree=5904/204136
[pid=13197] ppid=13194 vsize=11330280 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 2900724 0 0 0 4776 331 0 0 20 0 1 0 2394372 11602206720 2826383 33554432000 4194304 5970956 140735931146864 140735931144200 5337492 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2832570 2826383 826 434 0 2825934 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11330280

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/247 13200
/proc/meminfo: memFree=10017844/32770624 swapFree=5904/204232
[pid=13197] ppid=13194 vsize=11332744 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 2959914 0 0 0 9890 337 0 0 20 0 1 0 2394372 11604729856 2827010 33554432000 4194304 5970956 140735931146864 140735931144200 5336103 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2833186 2827010 826 434 0 2826550 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11332744

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/249 13210
/proc/meminfo: memFree=10016036/32770624 swapFree=5904/204312
[pid=13197] ppid=13194 vsize=11334252 CPUtime=162.24 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 3024902 0 0 0 15881 343 0 0 20 0 1 0 2394372 11606274048 2827292 33554432000 4194304 5970956 140735931146864 140735931143832 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2833563 2827292 826 434 0 2826927 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 11334252

[startup+222.308 s]
/proc/loadavg: 2.08 2.03 2.05 3/249 13211
/proc/meminfo: memFree=10015432/32770624 swapFree=5904/204356
[pid=13197] ppid=13194 vsize=11335396 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 3092427 0 0 0 21875 349 0 0 20 0 1 0 2394372 11607445504 2827518 33554432000 4194304 5970956 140735931146864 140735931144200 4964363 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2833849 2827518 826 434 0 2827213 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 11335396

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/249 13212
/proc/meminfo: memFree=10014108/32770624 swapFree=5904/204416
[pid=13197] ppid=13194 vsize=11335816 CPUtime=282.22 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 3158711 0 0 0 27866 356 0 0 20 0 1 0 2394372 11607875584 2827658 33554432000 4194304 5970956 140735931146864 140735931143992 5311648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2833954 2827658 826 434 0 2827318 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 11335816

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/249 13213
/proc/meminfo: memFree=10013160/32770624 swapFree=5904/204460
[pid=13197] ppid=13194 vsize=11335948 CPUtime=342.2 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 3214211 0 0 0 33859 361 0 0 20 0 1 0 2394372 11608010752 2827767 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2833987 2827767 826 434 0 2827351 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 11335948

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/249 13214
/proc/meminfo: memFree=10012488/32770624 swapFree=5904/204492
[pid=13197] ppid=13194 vsize=11337176 CPUtime=402.19 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 3268521 0 0 0 39853 366 0 0 20 0 1 0 2394372 11609268224 2827859 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2834294 2827859 826 434 0 2827658 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 11337176

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13215
/proc/meminfo: memFree=10011536/32770624 swapFree=5904/204540
[pid=13197] ppid=13194 vsize=11337456 CPUtime=462.17 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 3331798 0 0 0 45845 372 0 0 20 0 1 0 2394372 11609554944 2827978 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2834364 2827978 826 434 0 2827728 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 11337456

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13216
/proc/meminfo: memFree=10010552/32770624 swapFree=5904/204580
[pid=13197] ppid=13194 vsize=11337724 CPUtime=522.17 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 3385802 0 0 0 51838 379 0 0 20 0 1 0 2394372 11609829376 2828110 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2834431 2828110 826 434 0 2827795 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 11337724

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13218
/proc/meminfo: memFree=10009432/32770624 swapFree=5904/204620
[pid=13197] ppid=13194 vsize=11338004 CPUtime=582.15 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 3447549 0 0 0 57830 385 0 0 20 0 1 0 2394372 11610116096 2828228 33554432000 4194304 5970956 140735931146864 140735931144200 5311648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2834501 2828228 826 434 0 2827865 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 11338004


################
# More data... #
################


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13253
/proc/meminfo: memFree=10000456/32770624 swapFree=5904/205300
[pid=13197] ppid=13194 vsize=11344012 CPUtime=1601.91 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4189245 0 0 0 159717 474 0 0 20 0 1 0 2394372 11616268288 2829297 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836003 2829297 826 434 0 2829367 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 11344012

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/247 13254
/proc/meminfo: memFree=10000492/32770624 swapFree=5904/205352
[pid=13197] ppid=13194 vsize=11344012 CPUtime=1661.9 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4224565 0 0 0 165711 479 0 0 20 0 1 0 2394372 11616268288 2829297 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836003 2829297 826 434 0 2829367 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 11344012

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/247 13255
/proc/meminfo: memFree=10000184/32770624 swapFree=5904/205392
[pid=13197] ppid=13194 vsize=11344012 CPUtime=1721.89 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4266186 0 0 0 171705 484 0 0 20 0 1 0 2394372 11616268288 2829297 33554432000 4194304 5970956 140735931146864 140735931144200 5311648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836003 2829297 826 434 0 2829367 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 11344012

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/246 13256
/proc/meminfo: memFree=9999876/32770624 swapFree=5904/205428
[pid=13197] ppid=13194 vsize=11344424 CPUtime=1781.87 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4314627 0 0 0 177697 490 0 0 20 0 1 0 2394372 11616690176 2829400 33554432000 4194304 5970956 140735931146864 140735931143992 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836106 2829400 826 434 0 2829470 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 11344424

[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/247 13258
/proc/meminfo: memFree=9998100/32770624 swapFree=5904/205476
[pid=13197] ppid=13194 vsize=11344564 CPUtime=1841.85 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4370576 0 0 0 183689 496 0 0 20 0 1 0 2394372 11616833536 2829532 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836141 2829532 826 434 0 2829505 0
Current children cumulated CPU time (s) 1841.85
Current children cumulated vsize (KiB) 11344564

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 13259
/proc/meminfo: memFree=9998616/32770624 swapFree=5904/205516
[pid=13197] ppid=13194 vsize=11344564 CPUtime=1901.84 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4400612 0 0 0 189682 502 0 0 20 0 1 0 2394372 11616833536 2829532 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836141 2829532 826 434 0 2829505 0
Current children cumulated CPU time (s) 1901.84
Current children cumulated vsize (KiB) 11344564

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 13268
/proc/meminfo: memFree=9996600/32770624 swapFree=5904/205556
[pid=13197] ppid=13194 vsize=11344564 CPUtime=1961.83 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4436815 0 0 0 195676 507 0 0 20 0 1 0 2394372 11616833536 2829532 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836141 2829532 826 434 0 2829505 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 11344564

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/248 13269
/proc/meminfo: memFree=9997220/32770624 swapFree=5904/205596
[pid=13197] ppid=13194 vsize=11344564 CPUtime=2021.81 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4475653 0 0 0 201669 512 0 0 20 0 1 0 2394372 11616833536 2829532 33554432000 4194304 5970956 140735931146864 140735931144200 5311648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836141 2829532 826 434 0 2829505 0
Current children cumulated CPU time (s) 2021.81
Current children cumulated vsize (KiB) 11344564

[startup+2082.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/248 13270
/proc/meminfo: memFree=9997252/32770624 swapFree=5904/205636
[pid=13197] ppid=13194 vsize=11344564 CPUtime=2081.8 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4508748 0 0 0 207662 518 0 0 20 0 1 0 2394372 11616833536 2829532 33554432000 4194304 5970956 140735931146864 140735931144200 5311648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836141 2829532 826 434 0 2829505 0
Current children cumulated CPU time (s) 2081.8
Current children cumulated vsize (KiB) 11344564

[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/247 13271
/proc/meminfo: memFree=9996308/32770624 swapFree=5904/205672
[pid=13197] ppid=13194 vsize=11344996 CPUtime=2141.78 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4565300 0 0 0 213653 525 0 0 20 0 1 0 2394372 11617275904 2829711 33554432000 4194304 5970956 140735931146864 140735931143992 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836249 2829711 826 434 0 2829613 0
Current children cumulated CPU time (s) 2141.78
Current children cumulated vsize (KiB) 11344996

[startup+2202.31 s]
/proc/loadavg: 1.73 1.95 2.02 2/240 13323
/proc/meminfo: memFree=20686316/32770624 swapFree=5904/205736
[pid=13197] ppid=13194 vsize=11344996 CPUtime=2201.77 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4612163 0 0 0 219645 532 0 0 20 0 1 0 2394372 11617275904 2829808 33554432000 4194304 5970956 140735931146864 140735931144200 5311648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836249 2829808 826 434 0 2829613 0
Current children cumulated CPU time (s) 2201.77
Current children cumulated vsize (KiB) 11344996

[startup+2262.3 s]
/proc/loadavg: 1.30 1.80 1.96 2/240 13325
/proc/meminfo: memFree=20683996/32770624 swapFree=5904/205764
[pid=13197] ppid=13194 vsize=11344996 CPUtime=2261.75 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4653145 0 0 0 225638 537 0 0 20 0 1 0 2394372 11617275904 2829808 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836249 2829808 826 434 0 2829613 0
Current children cumulated CPU time (s) 2261.75
Current children cumulated vsize (KiB) 11344996

[startup+2322.3 s]
/proc/loadavg: 1.11 1.65 1.91 2/240 13326
/proc/meminfo: memFree=20684428/32770624 swapFree=5904/205788
[pid=13197] ppid=13194 vsize=11344996 CPUtime=2321.74 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4681239 0 0 0 231630 544 0 0 20 0 1 0 2394372 11617275904 2829808 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836249 2829808 826 434 0 2829613 0
Current children cumulated CPU time (s) 2321.74
Current children cumulated vsize (KiB) 11344996

[startup+2382.3 s]
/proc/loadavg: 1.04 1.54 1.85 2/240 13327
/proc/meminfo: memFree=20684344/32770624 swapFree=5904/205808
[pid=13197] ppid=13194 vsize=11344996 CPUtime=2381.72 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4720999 0 0 0 237623 549 0 0 20 0 1 0 2394372 11617275904 2829808 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836249 2829808 826 434 0 2829613 0
Current children cumulated CPU time (s) 2381.72
Current children cumulated vsize (KiB) 11344996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 1.03 1.51 1.83 2/240 13327
/proc/meminfo: memFree=20684188/32770624 swapFree=5904/205816
[pid=13197] ppid=13194 vsize=11344996 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202496 4727484 0 0 0 239451 550 0 0 20 0 1 0 2394372 11617275904 2829808 33554432000 4194304 5970956 140735931146864 140735931144200 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20611072 140735931151553 140735931151683 140735931151683 140735931154382 0
/proc/13197/statm: 2836249 2829808 826 434 0 2829613 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 11344996

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13197 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.8 s]
/proc/loadavg: 1.03 1.51 1.83 2/240 13327
/proc/meminfo: memFree=20684188/32770624 swapFree=5904/205816
[pid=13197] ppid=13194 vsize=0 CPUtime=2400.21 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202500 4727514 0 0 0 239451 570 0 0 20 0 1 0 2394372 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/13197/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.21
Current children cumulated vsize (KiB) 0

[startup+2401.2 s]
/proc/loadavg: 1.03 1.51 1.83 2/240 13327
/proc/meminfo: memFree=20684188/32770624 swapFree=5904/205816
[pid=13197] ppid=13194 vsize=0 CPUtime=2400.61 cores=0,2,4,6,8,10,12,14
/proc/13197/stat : 13197 (cosoco) R 13194 13197 9859 0 -1 4202500 4727514 0 0 0 239451 610 0 0 20 0 1 0 2394372 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/13197/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.61
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2401.26
CPU time (s): 2400.69
CPU user time (s): 2394.52
CPU system time (s): 6.17246
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 11344996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.52
system time used= 6.17246
maximum resident set size= 11319272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4727514
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= 15
involuntary context switches= 121178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43027 second user time and 11.831 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-21 23:07:54
IDJOB=4243193
IDBENCH=139283
IDSOLVER=2620
FILE ID=node133/4243193-1500671274
RUNJOBID= node133-1500648174-9890
PBS_JOBID= 20623287
Free space on /tmp= 62012 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-08-07-fair.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243193-1500671274/watcher-4243193-1500671274 -o /tmp/evaluation-result-4243193-1500671274/solver-4243193-1500671274 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500648174-9890 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4243193-1500671274.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 5f690ca061a68a4e848a5e1ee5dffcd4
RANDOM SEED=123358782

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5229.85
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5229.85
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5229.85
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		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21347048 kB
MemAvailable:   21353756 kB
Buffers:           39988 kB
Cached:           276548 kB
SwapCached:            0 kB
Active:         10812980 kB
Inactive:         212764 kB
Active(anon):   10712064 kB
Inactive(anon):     8752 kB
Active(file):     100916 kB
Inactive(file):   204012 kB
Unevictable:        5904 kB
Mlocked:            5904 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2804 kB
Writeback:             0 kB
AnonPages:      10721160 kB
Mapped:            30932 kB
Shmem:              8872 kB
Slab:              67188 kB
SReclaimable:      35228 kB
SUnreclaim:        31960 kB
KernelStack:        4320 kB
PageTables:        25904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10984476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    372736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62012 MiB
End job on node133 at 2017-07-21 23:47:56