Trace number 4243185

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.49 2401.22

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-06-09-fair.xml
MD5SUM4da452dd6a7f9c00a5696d6c71e9e662
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables14103
Number of constraints13337
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":1937},{"size":201,"count":70},{"size":20001,"count":12096}]
Minimum variable degree2
Maximum variable degree115
Distribution of variable degrees[{"degree":2,"count":12425},{"degree":3,"count":324},{"degree":4,"count":27},{"degree":5,"count":144},{"degree":6,"count":83},{"degree":7,"count":295},{"degree":8,"count":455},{"degree":9,"count":234},{"degree":10,"count":14},{"degree":13,"count":54},{"degree":14,"count":1},{"degree":20,"count":10},{"degree":32,"count":10},{"degree":34,"count":7},{"degree":40,"count":1},{"degree":45,"count":9},{"degree":70,"count":2},{"degree":71,"count":7},{"degree":115,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":2237},{"arity":3,"count":11098}]
Number of extensional constraints0
Number of intensional constraints13337
Distribution of constraint types[{"type":"intension","count":13337}]
Optimization problemNO
Type of objective

Solver Data 

1.20/1.25	c intension z[697]=x[1]  using generic constraint 
1.20/1.25	c intension z[698]=x[2]  using generic constraint 
1.20/1.25	c intension z[707]=x[11]  using generic constraint 
1.20/1.25	c intension z[797]=x[101]  using generic constraint 
1.20/1.25	c intension z[1786]=x[1144]  using generic constraint 
1.20/1.25	c intension z[1785]=x[1143]  using generic constraint 
1.20/1.25	c intension z[1664]=x[1022]  using generic constraint 
1.20/1.25	c intension z[981]=x[285]  using generic constraint 
1.20/1.25	c intension z[1788]=x[1146]  using generic constraint 
1.20/1.25	c intension z[1787]=x[1145]  using generic constraint 
1.20/1.26	c intension z[1666]=x[1024]  using generic constraint 
1.20/1.26	c intension z[984]=x[288]  using generic constraint 
1.20/1.26	c intension z[1790]=x[1148]  using generic constraint 
1.20/1.26	c intension z[1789]=x[1147]  using generic constraint 
1.20/1.26	c intension z[798]=x[102]  using generic constraint 
1.20/1.26	c intension z[1668]=x[1026]  using generic constraint 
1.20/1.26	c intension z[987]=x[291]  using generic constraint 
1.20/1.26	c intension z[1792]=x[1150]  using generic constraint 
1.20/1.26	c intension z[1791]=x[1149]  using generic constraint 
1.20/1.27	c intension z[1670]=x[1028]  using generic constraint 
1.20/1.27	c intension z[990]=x[294]  using generic constraint 
1.20/1.27	c intension z[1794]=x[1152]  using generic constraint 
1.20/1.27	c intension z[1793]=x[1151]  using generic constraint 
1.20/1.27	c intension z[1672]=x[1030]  using generic constraint 
1.20/1.27	c intension z[993]=x[297]  using generic constraint 
1.20/1.27	c intension z[799]=x[103]  using generic constraint 
1.20/1.27	c intension z[1796]=x[1154]  using generic constraint 
1.20/1.27	c intension z[1795]=x[1153]  using generic constraint 
1.20/1.27	c intension z[1674]=x[1032]  using generic constraint 
1.20/1.28	c intension z[996]=x[300]  using generic constraint 
1.20/1.28	c intension z[1798]=x[1156]  using generic constraint 
1.20/1.28	c intension z[1797]=x[1155]  using generic constraint 
1.20/1.28	c intension z[1676]=x[1034]  using generic constraint 
1.20/1.28	c intension z[1002]=x[306]  using generic constraint 
1.20/1.28	c intension z[999]=x[303]  using generic constraint 
1.20/1.28	c intension z[1799]=x[1157]  using generic constraint 
1.20/1.28	c intension z[800]=x[104]  using generic constraint 
1.20/1.28	c intension z[1678]=x[1036]  using generic constraint 
1.20/1.29	c intension z[1005]=x[309]  using generic constraint 
1.20/1.29	c intension z[1801]=x[1159]  using generic constraint 
1.20/1.29	c intension z[1800]=x[1158]  using generic constraint 
1.20/1.29	c intension z[1680]=x[1038]  using generic constraint 
1.20/1.29	c intension z[1008]=x[312]  using generic constraint 
1.20/1.29	c intension z[1803]=x[1161]  using generic constraint 
1.20/1.29	c intension z[1802]=x[1160]  using generic constraint 
1.20/1.29	c intension z[1682]=x[1040]  using generic constraint 
1.20/1.29	c intension z[1011]=x[315]  using generic constraint 
1.20/1.29	c intension z[801]=x[105]  using generic constraint 
1.29/1.30	c intension z[1805]=x[1163]  using generic constraint 
1.29/1.30	c intension z[1804]=x[1162]  using generic constraint 
1.29/1.30	c intension z[1684]=x[1042]  using generic constraint 
1.29/1.30	c intension z[1014]=x[318]  using generic constraint 
1.29/1.30	c intension z[1807]=x[1165]  using generic constraint 
1.29/1.30	c intension z[1806]=x[1164]  using generic constraint 
1.29/1.30	c intension z[1686]=x[1044]  using generic constraint 
1.29/1.30	c intension z[1017]=x[321]  using generic constraint 
1.29/1.30	c intension z[1809]=x[1167]  using generic constraint 
1.29/1.31	c intension z[1808]=x[1166]  using generic constraint 
1.29/1.31	c intension z[802]=x[106]  using generic constraint 
1.29/1.31	c intension z[1688]=x[1046]  using generic constraint 
1.29/1.31	c intension z[1020]=x[324]  using generic constraint 
1.29/1.31	c intension z[1811]=x[1169]  using generic constraint 
1.29/1.31	c intension z[1810]=x[1168]  using generic constraint 
1.29/1.31	c intension z[1690]=x[1048]  using generic constraint 
1.29/1.31	c intension z[1023]=x[327]  using generic constraint 
1.29/1.31	c intension z[1813]=x[1171]  using generic constraint 
1.29/1.32	c intension z[1812]=x[1170]  using generic constraint 
1.29/1.32	c intension z[1692]=x[1050]  using generic constraint 
1.29/1.32	c intension z[1026]=x[330]  using generic constraint 
1.29/1.32	c intension z[803]=x[107]  using generic constraint 
1.29/1.32	c intension z[1815]=x[1173]  using generic constraint 
1.29/1.32	c intension z[1814]=x[1172]  using generic constraint 
1.29/1.32	c intension z[1694]=x[1052]  using generic constraint 
1.29/1.32	c intension z[1032]=x[336]  using generic constraint 
1.29/1.32	c intension z[1029]=x[333]  using generic constraint 
1.29/1.32	c intension z[1816]=x[1174]  using generic constraint 
1.29/1.33	c intension z[1696]=x[1054]  using generic constraint 
1.29/1.33	c intension z[1035]=x[339]  using generic constraint 
1.29/1.33	c intension z[1818]=x[1176]  using generic constraint 
1.29/1.33	c intension z[1817]=x[1175]  using generic constraint 
1.29/1.33	c intension z[804]=x[108]  using generic constraint 
1.29/1.33	c intension z[1698]=x[1056]  using generic constraint 
1.29/1.33	c intension z[1038]=x[342]  using generic constraint 
1.29/1.33	c intension z[1820]=x[1178]  using generic constraint 
1.29/1.33	c intension z[1819]=x[1177]  using generic constraint 
1.29/1.34	c intension z[1700]=x[1058]  using generic constraint 
1.29/1.34	c intension z[1041]=x[345]  using generic constraint 
1.29/1.34	c intension z[1822]=x[1180]  using generic constraint 
1.29/1.34	c intension z[1821]=x[1179]  using generic constraint 
1.29/1.34	c intension z[1702]=x[1060]  using generic constraint 
1.29/1.34	c intension z[1044]=x[348]  using generic constraint 
1.29/1.34	c intension z[805]=x[109]  using generic constraint 
1.29/1.34	c intension z[1824]=x[1182]  using generic constraint 
1.29/1.34	c intension z[1823]=x[1181]  using generic constraint 
1.29/1.34	c intension z[1704]=x[1062]  using generic constraint 
1.29/1.35	c intension z[1047]=x[351]  using generic constraint 
1.29/1.35	c intension z[1826]=x[1184]  using generic constraint 
1.29/1.35	c intension z[1825]=x[1183]  using generic constraint 
1.29/1.35	c intension z[1706]=x[1064]  using generic constraint 
1.29/1.35	c intension z[1050]=x[354]  using generic constraint 
1.29/1.35	c intension z[1828]=x[1186]  using generic constraint 
1.29/1.35	c intension z[1827]=x[1185]  using generic constraint 
1.29/1.35	c intension z[806]=x[110]  using generic constraint 
1.29/1.35	c intension z[1708]=x[1066]  using generic constraint 
1.29/1.36	c intension z[1053]=x[357]  using generic constraint 
1.29/1.36	c intension z[1830]=x[1188]  using generic constraint 
1.29/1.36	c intension z[1829]=x[1187]  using generic constraint 
1.29/1.36	c intension z[1710]=x[1068]  using generic constraint 
1.29/1.36	c intension z[1056]=x[360]  using generic constraint 
1.29/1.36	c intension z[1832]=x[1190]  using generic constraint 
1.29/1.36	c intension z[1831]=x[1189]  using generic constraint 
1.29/1.36	c intension z[1712]=x[1070]  using generic constraint 
1.29/1.36	c intension z[1062]=x[366]  using generic constraint 
1.29/1.37	c intension z[708]=x[12]  using generic constraint 
1.29/1.37	c intension z[807]=x[111]  using generic constraint 
1.29/1.37	c intension z[1059]=x[363]  using generic constraint 
1.29/1.37	c intension z[1833]=x[1191]  using generic constraint 
1.29/1.37	c intension z[1714]=x[1072]  using generic constraint 
1.29/1.37	c intension z[1065]=x[369]  using generic constraint 
1.29/1.37	c intension z[1835]=x[1193]  using generic constraint 
1.29/1.37	c intension z[1834]=x[1192]  using generic constraint 
1.29/1.37	c intension z[1716]=x[1074]  using generic constraint 
1.29/1.37	c intension z[1068]=x[372]  using generic constraint 
1.29/1.38	c intension z[1837]=x[1195]  using generic constraint 
1.29/1.38	c intension z[1836]=x[1194]  using generic constraint 
1.29/1.38	c intension z[808]=x[112]  using generic constraint 
1.29/1.38	c intension z[1718]=x[1076]  using generic constraint 
1.29/1.38	c intension z[1071]=x[375]  using generic constraint 
1.29/1.38	c intension z[1839]=x[1197]  using generic constraint 
1.29/1.38	c intension z[1838]=x[1196]  using generic constraint 
1.29/1.38	c intension z[1720]=x[1078]  using generic constraint 
1.29/1.38	c intension z[1074]=x[378]  using generic constraint 
1.29/1.39	c intension z[1841]=x[1199]  using generic constraint 
1.29/1.39	c intension z[1840]=x[1198]  using generic constraint 
1.29/1.39	c intension z[1722]=x[1080]  using generic constraint 
1.29/1.39	c intension z[1077]=x[381]  using generic constraint 
1.29/1.39	c intension z[809]=x[113]  using generic constraint 
1.29/1.39	c intension z[1843]=x[1201]  using generic constraint 
1.29/1.39	c intension z[1842]=x[1200]  using generic constraint 
1.29/1.39	c intension z[1724]=x[1082]  using generic constraint 
1.29/1.39	c intension z[1080]=x[384]  using generic constraint 
1.29/1.40	c intension z[1845]=x[1203]  using generic constraint 
1.38/1.40	c intension z[1844]=x[1202]  using generic constraint 
1.38/1.40	c intension z[1726]=x[1084]  using generic constraint 
1.38/1.40	c intension z[1083]=x[387]  using generic constraint 
1.38/1.40	c intension z[1847]=x[1205]  using generic constraint 
1.38/1.40	c intension z[1846]=x[1204]  using generic constraint 
1.38/1.40	c intension z[810]=x[114]  using generic constraint 
1.38/1.40	c intension z[1728]=x[1086]  using generic constraint 
1.38/1.40	c intension z[1086]=x[390]  using generic constraint 
1.38/1.40	c intension z[1849]=x[1207]  using generic constraint 
1.38/1.41	c intension z[1848]=x[1206]  using generic constraint 
1.38/1.41	c intension z[1730]=x[1088]  using generic constraint 
1.38/1.41	c intension z[1092]=x[396]  using generic constraint 
1.38/1.41	c intension z[1089]=x[393]  using generic constraint 
1.38/1.41	c intension z[1850]=x[1208]  using generic constraint 
1.38/1.41	c intension z[1732]=x[1090]  using generic constraint 
1.38/1.41	c intension z[1095]=x[399]  using generic constraint 
1.38/1.41	c intension z[811]=x[115]  using generic constraint 
1.38/1.41	c intension z[1852]=x[1210]  using generic constraint 
1.38/1.42	c intension z[1851]=x[1209]  using generic constraint 
1.38/1.42	c intension z[1734]=x[1092]  using generic constraint 
1.38/1.42	c intension z[1098]=x[402]  using generic constraint 
1.38/1.42	c intension z[1854]=x[1212]  using generic constraint 
1.38/1.42	c intension z[1853]=x[1211]  using generic constraint 
1.38/1.42	c intension z[1736]=x[1094]  using generic constraint 
1.38/1.42	c intension z[1101]=x[405]  using generic constraint 
1.38/1.42	c intension z[1856]=x[1214]  using generic constraint 
1.38/1.42	c intension z[1855]=x[1213]  using generic constraint 
1.38/1.43	c intension z[812]=x[116]  using generic constraint 
1.38/1.43	c intension z[1738]=x[1096]  using generic constraint 
1.38/1.43	c intension z[1104]=x[408]  using generic constraint 
1.38/1.43	c intension z[1858]=x[1216]  using generic constraint 
1.38/1.43	c intension z[1857]=x[1215]  using generic constraint 
1.38/1.43	c intension z[1740]=x[1098]  using generic constraint 
1.38/1.43	c intension z[1107]=x[411]  using generic constraint 
1.38/1.43	c intension z[1860]=x[1218]  using generic constraint 
1.38/1.43	c intension z[1859]=x[1217]  using generic constraint 
1.38/1.43	c intension z[1742]=x[1100]  using generic constraint 
1.38/1.44	c intension z[1110]=x[414]  using generic constraint 
1.38/1.44	c intension z[813]=x[117]  using generic constraint 
1.38/1.44	c intension z[1862]=x[1220]  using generic constraint 
1.38/1.44	c intension z[1861]=x[1219]  using generic constraint 
1.38/1.44	c intension z[1744]=x[1102]  using generic constraint 
1.38/1.44	c intension z[1113]=x[417]  using generic constraint 
1.38/1.44	c intension z[1864]=x[1222]  using generic constraint 
1.38/1.44	c intension z[1863]=x[1221]  using generic constraint 
1.38/1.44	c intension z[1746]=x[1104]  using generic constraint 
1.38/1.45	c intension z[1116]=x[420]  using generic constraint 
1.38/1.45	c intension z[1866]=x[1224]  using generic constraint 
1.38/1.45	c intension z[1865]=x[1223]  using generic constraint 
1.38/1.45	c intension z[814]=x[118]  using generic constraint 
1.38/1.45	c intension z[1867]=x[1225]  using generic constraint 
1.38/1.45	c intension z[1868]=x[1226]  using generic constraint 
1.38/1.45	c intension z[1869]=x[1227]  using generic constraint 
1.38/1.45	c intension z[1870]=x[1228]  using generic constraint 
1.38/1.45	c intension z[1871]=x[1229]  using generic constraint 
1.38/1.45	c intension z[1872]=x[1230]  using generic constraint 
1.38/1.46	c intension z[1873]=x[1231]  using generic constraint 
1.38/1.46	c intension z[1874]=x[1232]  using generic constraint 
1.38/1.46	c intension z[1875]=x[1233]  using generic constraint 
1.38/1.46	c intension z[1876]=x[1234]  using generic constraint 
1.38/1.46	c intension z[815]=x[119]  using generic constraint 
1.38/1.46	c intension z[1877]=x[1235]  using generic constraint 
1.38/1.46	c intension z[1878]=x[1236]  using generic constraint 
1.38/1.46	c intension z[1879]=x[1237]  using generic constraint 
1.38/1.46	c intension z[1880]=x[1238]  using generic constraint 
1.38/1.47	c intension z[1881]=x[1239]  using generic constraint 
1.38/1.47	c intension z[1882]=x[1240]  using generic constraint 
1.38/1.47	c intension z[1883]=x[1241]  using generic constraint 
1.38/1.47	c intension z[1884]=x[1242]  using generic constraint 
1.38/1.47	c intension z[1885]=x[1243]  using generic constraint 
1.38/1.47	c intension z[1886]=x[1244]  using generic constraint 
1.38/1.47	c intension z[816]=x[120]  using generic constraint 
1.38/1.47	c intension z[1887]=x[1245]  using generic constraint 
1.38/1.47	c intension z[1888]=x[1246]  using generic constraint 
1.38/1.48	c intension z[1889]=x[1247]  using generic constraint 
1.38/1.48	c intension z[1890]=x[1248]  using generic constraint 
1.38/1.48	c intension z[1891]=x[1249]  using generic constraint 
1.38/1.48	c intension z[1892]=x[1250]  using generic constraint 
1.38/1.48	c intension z[1893]=x[1251]  using generic constraint 
1.38/1.48	c intension z[1894]=x[1252]  using generic constraint 
1.38/1.48	c intension z[1895]=x[1253]  using generic constraint 
1.38/1.48	c intension z[1896]=x[1254]  using generic constraint 
1.38/1.48	c intension z[709]=x[13]  using generic constraint 
1.38/1.48	c intension z[817]=x[121]  using generic constraint 
1.38/1.49	c intension z[1897]=x[1255]  using generic constraint 
1.38/1.49	c intension z[1898]=x[1256]  using generic constraint 
1.38/1.49	c intension z[1899]=x[1257]  using generic constraint 
1.38/1.49	c intension z[1900]=x[1258]  using generic constraint 
1.38/1.49	c intension z[1901]=x[1259]  using generic constraint 
1.38/1.49	c intension z[1902]=x[1260]  using generic constraint 
1.38/1.49	c intension z[1903]=x[1261]  using generic constraint 
1.38/1.49	c intension z[1904]=x[1262]  using generic constraint 
1.38/1.49	c intension z[1905]=x[1263]  using generic constraint 
1.49/1.50	c intension z[1906]=x[1264]  using generic constraint 
1.49/1.50	c intension z[818]=x[122]  using generic constraint 
1.49/1.50	c intension z[1907]=x[1265]  using generic constraint 
1.49/1.50	c intension z[1908]=x[1266]  using generic constraint 
1.49/1.50	c intension z[1909]=x[1267]  using generic constraint 
1.49/1.50	c intension z[1910]=x[1268]  using generic constraint 
1.49/1.50	c intension z[1911]=x[1269]  using generic constraint 
1.49/1.50	c intension z[1912]=x[1270]  using generic constraint 
1.49/1.50	c intension z[1913]=x[1271]  using generic constraint 
1.49/1.51	c intension z[1914]=x[1272]  using generic constraint 
1.49/1.51	c intension z[1915]=x[1273]  using generic constraint 
1.49/1.51	c intension z[1916]=x[1274]  using generic constraint 
1.49/1.51	c intension z[819]=x[123]  using generic constraint 
1.49/1.51	c intension z[1917]=x[1275]  using generic constraint 
1.49/1.51	c intension z[1918]=x[1276]  using generic constraint 
1.49/1.51	c intension z[1919]=x[1277]  using generic constraint 
1.49/1.51	c intension z[1920]=x[1278]  using generic constraint 
1.49/1.51	c intension z[1921]=x[1279]  using generic constraint 
1.49/1.51	c intension z[1922]=x[1280]  using generic constraint 
1.49/1.52	c intension z[1923]=x[1281]  using generic constraint 
1.49/1.52	c intension z[1924]=x[1282]  using generic constraint 
1.49/1.52	c intension z[1925]=x[1283]  using generic constraint 
1.49/1.52	c intension z[1926]=x[1284]  using generic constraint 
1.49/1.52	c intension z[820]=x[124]  using generic constraint 
1.49/1.52	c intension z[1927]=x[1285]  using generic constraint 
1.49/1.52	c intension z[1928]=x[1286]  using generic constraint 
1.49/1.52	c intension z[1929]=x[1287]  using generic constraint 
1.49/1.52	c intension z[1930]=x[1288]  using generic constraint 
1.49/1.53	c intension z[1931]=x[1289]  using generic constraint 
1.49/1.53	c intension z[1932]=x[1290]  using generic constraint 
1.49/1.53	c intension z[1933]=x[1291]  using generic constraint 
1.49/1.53	c intension z[1934]=x[1292]  using generic constraint 
1.49/1.53	c intension z[1935]=x[1293]  using generic constraint 
1.49/1.53	c intension z[1936]=x[1294]  using generic constraint 
1.49/1.53	c intension z[821]=x[125]  using generic constraint 
1.49/1.53	c intension z[822]=x[126]  using generic constraint 
1.49/1.53	c intension z[823]=x[127]  using generic constraint 
1.49/1.54	c intension z[824]=x[128]  using generic constraint 
1.49/1.54	c intension z[825]=x[129]  using generic constraint 
1.49/1.54	c intension z[826]=x[130]  using generic constraint 
1.49/1.54	c intension z[710]=x[14]  using generic constraint 
1.49/1.54	c intension z[827]=x[131]  using generic constraint 
1.49/1.54	c intension z[828]=x[132]  using generic constraint 
1.49/1.54	c intension z[829]=x[133]  using generic constraint 
1.49/1.54	c intension z[830]=x[134]  using generic constraint 
1.49/1.54	c intension z[831]=x[135]  using generic constraint 
1.49/1.55	c intension z[832]=x[136]  using generic constraint 
1.49/1.55	c intension z[833]=x[137]  using generic constraint 
1.49/1.55	c intension z[834]=x[138]  using generic constraint 
1.49/1.55	c intension z[835]=x[139]  using generic constraint 
1.49/1.55	c intension z[836]=x[140]  using generic constraint 
1.49/1.55	c intension z[711]=x[15]  using generic constraint 
1.49/1.55	c intension z[837]=x[141]  using generic constraint 
1.49/1.55	c intension z[838]=x[142]  using generic constraint 
1.49/1.55	c intension z[839]=x[143]  using generic constraint 
1.49/1.55	c intension z[840]=x[144]  using generic constraint 
1.49/1.56	c intension z[841]=x[145]  using generic constraint 
1.49/1.56	c intension z[842]=x[146]  using generic constraint 
1.49/1.56	c intension z[843]=x[147]  using generic constraint 
1.49/1.56	c intension z[844]=x[148]  using generic constraint 
1.49/1.56	c intension z[845]=x[149]  using generic constraint 
1.49/1.56	c intension z[846]=x[150]  using generic constraint 
1.49/1.56	c intension z[712]=x[16]  using generic constraint 
1.49/1.56	c intension z[847]=x[151]  using generic constraint 
1.49/1.56	c intension z[848]=x[152]  using generic constraint 
1.49/1.57	c intension z[849]=x[153]  using generic constraint 
1.49/1.57	c intension z[850]=x[154]  using generic constraint 
1.49/1.57	c intension z[851]=x[155]  using generic constraint 
1.49/1.57	c intension z[852]=x[156]  using generic constraint 
1.49/1.57	c intension z[853]=x[157]  using generic constraint 
1.49/1.57	c intension z[854]=x[158]  using generic constraint 
1.49/1.57	c intension z[855]=x[159]  using generic constraint 
1.49/1.57	c intension z[856]=x[160]  using generic constraint 
1.49/1.57	c intension z[713]=x[17]  using generic constraint 
1.49/1.58	c intension z[857]=x[161]  using generic constraint 
1.49/1.58	c intension z[858]=x[162]  using generic constraint 
1.49/1.58	c intension z[859]=x[163]  using generic constraint 
1.49/1.58	c intension z[860]=x[164]  using generic constraint 
1.49/1.58	c intension z[861]=x[165]  using generic constraint 
1.49/1.58	c intension z[862]=x[166]  using generic constraint 
1.49/1.58	c intension z[863]=x[167]  using generic constraint 
1.49/1.58	c intension z[864]=x[168]  using generic constraint 
1.49/1.58	c intension z[865]=x[169]  using generic constraint 
1.49/1.58	c intension z[866]=x[170]  using generic constraint 
1.49/1.59	c intension z[714]=x[18]  using generic constraint 
1.49/1.59	c intension z[867]=x[171]  using generic constraint 
1.49/1.59	c intension z[868]=x[172]  using generic constraint 
1.49/1.59	c intension z[869]=x[173]  using generic constraint 
1.49/1.59	c intension z[870]=x[174]  using generic constraint 
1.49/1.59	c intension z[871]=x[175]  using generic constraint 
1.49/1.59	c intension z[872]=x[176]  using generic constraint 
1.49/1.59	c intension z[873]=x[177]  using generic constraint 
1.49/1.59	c intension z[874]=x[178]  using generic constraint 
1.59/1.60	c intension z[875]=x[179]  using generic constraint 
1.59/1.60	c intension z[876]=x[180]  using generic constraint 
1.59/1.60	c intension z[715]=x[19]  using generic constraint 
1.59/1.60	c intension z[877]=x[181]  using generic constraint 
1.59/1.60	c intension z[878]=x[182]  using generic constraint 
1.59/1.60	c intension z[879]=x[183]  using generic constraint 
1.59/1.60	c intension z[880]=x[184]  using generic constraint 
1.59/1.60	c intension z[881]=x[185]  using generic constraint 
1.59/1.60	c intension z[882]=x[186]  using generic constraint 
1.59/1.61	c intension z[883]=x[187]  using generic constraint 
1.59/1.61	c intension z[884]=x[188]  using generic constraint 
1.59/1.61	c intension z[885]=x[189]  using generic constraint 
1.59/1.61	c intension z[886]=x[190]  using generic constraint 
1.59/1.61	c intension z[716]=x[20]  using generic constraint 
1.59/1.61	c intension z[887]=x[191]  using generic constraint 
1.59/1.61	c intension z[888]=x[192]  using generic constraint 
1.59/1.61	c intension z[889]=x[193]  using generic constraint 
1.59/1.61	c intension z[890]=x[194]  using generic constraint 
1.59/1.62	c intension z[891]=x[195]  using generic constraint 
1.59/1.62	c intension z[892]=x[196]  using generic constraint 
1.59/1.62	c intension z[893]=x[197]  using generic constraint 
1.59/1.62	c intension z[894]=x[198]  using generic constraint 
1.59/1.62	c intension z[895]=x[199]  using generic constraint 
1.59/1.62	c intension z[896]=x[200]  using generic constraint 
1.59/1.62	c intension z[699]=x[3]  using generic constraint 
1.59/1.62	c intension z[717]=x[21]  using generic constraint 
1.59/1.62	c intension z[897]=x[201]  using generic constraint 
1.59/1.62	c intension z[898]=x[202]  using generic constraint 
1.59/1.63	c intension z[899]=x[203]  using generic constraint 
1.59/1.63	c intension z[900]=x[204]  using generic constraint 
1.59/1.63	c intension z[901]=x[205]  using generic constraint 
1.59/1.63	c intension z[902]=x[206]  using generic constraint 
1.59/1.63	c intension z[903]=x[207]  using generic constraint 
1.59/1.63	c intension z[904]=x[208]  using generic constraint 
1.59/1.63	c intension z[905]=x[209]  using generic constraint 
1.59/1.63	c intension z[906]=x[210]  using generic constraint 
1.59/1.63	c intension z[718]=x[22]  using generic constraint 
1.59/1.64	c intension z[907]=x[211]  using generic constraint 
1.59/1.64	c intension z[908]=x[212]  using generic constraint 
1.59/1.64	c intension z[909]=x[213]  using generic constraint 
1.59/1.64	c intension z[910]=x[214]  using generic constraint 
1.59/1.64	c intension z[911]=x[215]  using generic constraint 
1.59/1.64	c intension z[912]=x[216]  using generic constraint 
1.59/1.64	c intension z[913]=x[217]  using generic constraint 
1.59/1.64	c intension z[914]=x[218]  using generic constraint 
1.59/1.64	c intension z[915]=x[219]  using generic constraint 
1.59/1.65	c intension z[916]=x[220]  using generic constraint 
1.59/1.65	c intension z[719]=x[23]  using generic constraint 
1.59/1.65	c intension z[917]=x[221]  using generic constraint 
1.59/1.65	c intension z[918]=x[222]  using generic constraint 
1.59/1.65	c intension z[919]=x[223]  using generic constraint 
1.59/1.65	c intension z[920]=x[224]  using generic constraint 
1.59/1.65	c intension z[921]=x[225]  using generic constraint 
1.59/1.65	c intension z[922]=x[226]  using generic constraint 
1.59/1.65	c intension z[923]=x[227]  using generic constraint 
1.59/1.66	c intension z[924]=x[228]  using generic constraint 
1.59/1.66	c intension z[925]=x[229]  using generic constraint 
1.59/1.66	c intension z[926]=x[230]  using generic constraint 
1.59/1.66	c intension z[720]=x[24]  using generic constraint 
1.59/1.66	c intension z[927]=x[231]  using generic constraint 
1.59/1.66	c intension z[928]=x[232]  using generic constraint 
1.59/1.66	c intension z[929]=x[233]  using generic constraint 
1.59/1.66	c intension z[930]=x[234]  using generic constraint 
1.59/1.66	c intension z[931]=x[235]  using generic constraint 
1.59/1.66	c intension z[932]=x[236]  using generic constraint 
1.59/1.67	c intension z[933]=x[237]  using generic constraint 
1.59/1.67	c intension z[934]=x[238]  using generic constraint 
1.59/1.67	c intension z[935]=x[239]  using generic constraint 
1.59/1.67	c intension z[936]=x[240]  using generic constraint 
1.59/1.67	c intension z[721]=x[25]  using generic constraint 
1.59/1.67	c intension z[937]=x[241]  using generic constraint 
1.59/1.67	c intension z[938]=x[242]  using generic constraint 
1.59/1.67	c intension z[940]=x[244]  using generic constraint 
1.59/1.67	c intension z[941]=x[245]  using generic constraint 
1.59/1.68	c intension z[943]=x[247]  using generic constraint 
1.59/1.68	c intension z[944]=x[248]  using generic constraint 
1.59/1.68	c intension z[946]=x[250]  using generic constraint 
1.59/1.68	c intension z[947]=x[251]  using generic constraint 
1.59/1.68	c intension z[949]=x[253]  using generic constraint 
1.59/1.68	c intension z[950]=x[254]  using generic constraint 
1.59/1.68	c intension z[722]=x[26]  using generic constraint 
1.59/1.68	c intension z[952]=x[256]  using generic constraint 
1.59/1.68	c intension z[953]=x[257]  using generic constraint 
1.59/1.69	c intension z[955]=x[259]  using generic constraint 
1.59/1.69	c intension z[956]=x[260]  using generic constraint 
1.59/1.69	c intension z[958]=x[262]  using generic constraint 
1.59/1.69	c intension z[959]=x[263]  using generic constraint 
1.59/1.69	c intension z[961]=x[265]  using generic constraint 
1.59/1.69	c intension z[962]=x[266]  using generic constraint 
1.59/1.69	c intension z[964]=x[268]  using generic constraint 
1.59/1.69	c intension z[965]=x[269]  using generic constraint 
1.59/1.69	c intension z[723]=x[27]  using generic constraint 
1.59/1.70	c intension z[967]=x[271]  using generic constraint 
1.69/1.70	c intension z[968]=x[272]  using generic constraint 
1.69/1.70	c intension z[970]=x[274]  using generic constraint 
1.69/1.70	c intension z[971]=x[275]  using generic constraint 
1.69/1.70	c intension z[973]=x[277]  using generic constraint 
1.69/1.70	c intension z[974]=x[278]  using generic constraint 
1.69/1.70	c intension z[976]=x[280]  using generic constraint 
1.69/1.70	c intension z[977]=x[281]  using generic constraint 
1.69/1.70	c intension z[979]=x[283]  using generic constraint 
1.69/1.70	c intension z[980]=x[284]  using generic constraint 
1.69/1.71	c intension z[724]=x[28]  using generic constraint 
1.69/1.71	c intension z[982]=x[286]  using generic constraint 
1.69/1.71	c intension z[983]=x[287]  using generic constraint 
1.69/1.71	c intension z[985]=x[289]  using generic constraint 
1.69/1.71	c intension z[986]=x[290]  using generic constraint 
1.69/1.71	c intension z[988]=x[292]  using generic constraint 
1.69/1.71	c intension z[989]=x[293]  using generic constraint 
1.69/1.71	c intension z[991]=x[295]  using generic constraint 
1.69/1.71	c intension z[992]=x[296]  using generic constraint 
1.69/1.72	c intension z[994]=x[298]  using generic constraint 
1.69/1.72	c intension z[995]=x[299]  using generic constraint 
1.69/1.72	c intension z[725]=x[29]  using generic constraint 
1.69/1.72	c intension z[997]=x[301]  using generic constraint 
1.69/1.72	c intension z[998]=x[302]  using generic constraint 
1.69/1.72	c intension z[1000]=x[304]  using generic constraint 
1.69/1.72	c intension z[1001]=x[305]  using generic constraint 
1.69/1.72	c intension z[1003]=x[307]  using generic constraint 
1.69/1.72	c intension z[1004]=x[308]  using generic constraint 
1.69/1.73	c intension z[1006]=x[310]  using generic constraint 
1.69/1.73	c intension z[1007]=x[311]  using generic constraint 
1.69/1.73	c intension z[1009]=x[313]  using generic constraint 
1.69/1.73	c intension z[1010]=x[314]  using generic constraint 
1.69/1.73	c intension z[726]=x[30]  using generic constraint 
1.69/1.73	c intension z[1012]=x[316]  using generic constraint 
1.69/1.73	c intension z[1013]=x[317]  using generic constraint 
1.69/1.73	c intension z[1015]=x[319]  using generic constraint 
1.69/1.73	c intension z[1016]=x[320]  using generic constraint 
1.69/1.74	c intension z[1018]=x[322]  using generic constraint 
1.69/1.74	c intension z[1019]=x[323]  using generic constraint 
1.69/1.74	c intension z[1021]=x[325]  using generic constraint 
1.69/1.74	c intension z[1022]=x[326]  using generic constraint 
1.69/1.74	c intension z[1024]=x[328]  using generic constraint 
1.69/1.74	c intension z[1025]=x[329]  using generic constraint 
1.69/1.74	c intension z[700]=x[4]  using generic constraint 
1.69/1.74	c intension z[727]=x[31]  using generic constraint 
1.69/1.74	c intension z[1027]=x[331]  using generic constraint 
1.69/1.74	c intension z[1028]=x[332]  using generic constraint 
1.69/1.75	c intension z[1030]=x[334]  using generic constraint 
1.69/1.75	c intension z[1031]=x[335]  using generic constraint 
1.69/1.75	c intension z[1033]=x[337]  using generic constraint 
1.69/1.75	c intension z[1034]=x[338]  using generic constraint 
1.69/1.75	c intension z[1036]=x[340]  using generic constraint 
1.69/1.75	c intension z[1037]=x[341]  using generic constraint 
1.69/1.75	c intension z[1039]=x[343]  using generic constraint 
1.69/1.75	c intension z[1040]=x[344]  using generic constraint 
1.69/1.75	c intension z[728]=x[32]  using generic constraint 
1.69/1.76	c intension z[1042]=x[346]  using generic constraint 
1.69/1.76	c intension z[1043]=x[347]  using generic constraint 
1.69/1.76	c intension z[1045]=x[349]  using generic constraint 
1.69/1.76	c intension z[1046]=x[350]  using generic constraint 
1.69/1.76	c intension z[1048]=x[352]  using generic constraint 
1.69/1.76	c intension z[1049]=x[353]  using generic constraint 
1.69/1.76	c intension z[1051]=x[355]  using generic constraint 
1.69/1.76	c intension z[1052]=x[356]  using generic constraint 
1.69/1.76	c intension z[1054]=x[358]  using generic constraint 
1.69/1.77	c intension z[1055]=x[359]  using generic constraint 
1.69/1.77	c intension z[729]=x[33]  using generic constraint 
1.69/1.77	c intension z[1057]=x[361]  using generic constraint 
1.69/1.77	c intension z[1058]=x[362]  using generic constraint 
1.69/1.77	c intension z[1060]=x[364]  using generic constraint 
1.69/1.77	c intension z[1061]=x[365]  using generic constraint 
1.69/1.77	c intension z[1063]=x[367]  using generic constraint 
1.69/1.77	c intension z[1064]=x[368]  using generic constraint 
1.69/1.77	c intension z[1066]=x[370]  using generic constraint 
1.69/1.78	c intension z[1067]=x[371]  using generic constraint 
1.69/1.78	c intension z[1069]=x[373]  using generic constraint 
1.69/1.78	c intension z[1070]=x[374]  using generic constraint 
1.69/1.78	c intension z[730]=x[34]  using generic constraint 
1.69/1.78	c intension z[1072]=x[376]  using generic constraint 
1.69/1.78	c intension z[1073]=x[377]  using generic constraint 
1.69/1.78	c intension z[1075]=x[379]  using generic constraint 
1.69/1.78	c intension z[1076]=x[380]  using generic constraint 
1.69/1.78	c intension z[1078]=x[382]  using generic constraint 
1.69/1.79	c intension z[1079]=x[383]  using generic constraint 
1.69/1.79	c intension z[1081]=x[385]  using generic constraint 
1.69/1.79	c intension z[1082]=x[386]  using generic constraint 
1.69/1.79	c intension z[1084]=x[388]  using generic constraint 
1.69/1.79	c intension z[1085]=x[389]  using generic constraint 
1.69/1.79	c intension z[731]=x[35]  using generic constraint 
1.69/1.79	c intension z[1087]=x[391]  using generic constraint 
1.69/1.79	c intension z[1088]=x[392]  using generic constraint 
1.69/1.79	c intension z[1090]=x[394]  using generic constraint 
1.69/1.79	c intension z[1091]=x[395]  using generic constraint 
1.79/1.80	c intension z[1093]=x[397]  using generic constraint 
1.79/1.80	c intension z[1094]=x[398]  using generic constraint 
1.79/1.80	c intension z[1096]=x[400]  using generic constraint 
1.79/1.80	c intension z[1097]=x[401]  using generic constraint 
1.79/1.80	c intension z[1099]=x[403]  using generic constraint 
1.79/1.80	c intension z[1100]=x[404]  using generic constraint 
1.79/1.80	c intension z[732]=x[36]  using generic constraint 
1.79/1.80	c intension z[1102]=x[406]  using generic constraint 
1.79/1.80	c intension z[1103]=x[407]  using generic constraint 
1.79/1.81	c intension z[1105]=x[409]  using generic constraint 
1.79/1.81	c intension z[1106]=x[410]  using generic constraint 
1.79/1.81	c intension z[1108]=x[412]  using generic constraint 
1.79/1.81	c intension z[1109]=x[413]  using generic constraint 
1.79/1.81	c intension z[1111]=x[415]  using generic constraint 
1.79/1.81	c intension z[1112]=x[416]  using generic constraint 
1.79/1.81	c intension z[1114]=x[418]  using generic constraint 
1.79/1.81	c intension z[1115]=x[419]  using generic constraint 
1.79/1.81	c intension z[733]=x[37]  using generic constraint 
1.79/1.82	c intension z[1171]=x[529]  using generic constraint 
1.79/1.82	c intension z[1172]=x[530]  using generic constraint 
1.79/1.82	c intension z[1117]=x[422]  using generic constraint 
1.79/1.82	c intension z[1173]=x[531]  using generic constraint 
1.79/1.82	c intension z[1174]=x[532]  using generic constraint 
1.79/1.82	c intension z[1176]=x[534]  using generic constraint 
1.79/1.82	c intension z[1177]=x[535]  using generic constraint 
1.79/1.82	c intension z[1178]=x[536]  using generic constraint 
1.79/1.82	c intension z[1118]=x[424]  using generic constraint 
1.79/1.83	c intension z[1179]=x[537]  using generic constraint 
1.79/1.83	c intension z[734]=x[38]  using generic constraint 
1.79/1.83	c intension z[1180]=x[538]  using generic constraint 
1.79/1.83	c intension z[1182]=x[540]  using generic constraint 
1.79/1.83	c intension z[1183]=x[541]  using generic constraint 
1.79/1.83	c intension z[1184]=x[542]  using generic constraint 
1.79/1.83	c intension z[1119]=x[426]  using generic constraint 
1.79/1.83	c intension z[1185]=x[543]  using generic constraint 
1.79/1.83	c intension z[1186]=x[544]  using generic constraint 
1.79/1.84	c intension z[1188]=x[546]  using generic constraint 
1.79/1.84	c intension z[1189]=x[547]  using generic constraint 
1.79/1.84	c intension z[1190]=x[548]  using generic constraint 
1.79/1.84	c intension z[735]=x[39]  using generic constraint 
1.79/1.84	c intension z[1120]=x[428]  using generic constraint 
1.79/1.84	c intension z[1191]=x[549]  using generic constraint 
1.79/1.84	c intension z[1192]=x[550]  using generic constraint 
1.79/1.84	c intension z[1194]=x[552]  using generic constraint 
1.79/1.84	c intension z[1195]=x[553]  using generic constraint 
1.79/1.85	c intension z[1196]=x[554]  using generic constraint 
1.79/1.85	c intension z[1121]=x[430]  using generic constraint 
1.79/1.85	c intension z[1197]=x[555]  using generic constraint 
1.79/1.85	c intension z[1198]=x[556]  using generic constraint 
1.79/1.85	c intension z[1200]=x[558]  using generic constraint 
1.79/1.85	c intension z[736]=x[40]  using generic constraint 
1.79/1.85	c intension z[1201]=x[559]  using generic constraint 
1.79/1.85	c intension z[1202]=x[560]  using generic constraint 
1.79/1.85	c intension z[1122]=x[432]  using generic constraint 
1.79/1.85	c intension z[1203]=x[561]  using generic constraint 
1.79/1.86	c intension z[1204]=x[562]  using generic constraint 
1.79/1.86	c intension z[1206]=x[564]  using generic constraint 
1.79/1.86	c intension z[1207]=x[565]  using generic constraint 
1.79/1.86	c intension z[1208]=x[566]  using generic constraint 
1.79/1.86	c intension z[1123]=x[434]  using generic constraint 
1.79/1.86	c intension z[1209]=x[567]  using generic constraint 
1.79/1.86	c intension z[701]=x[5]  using generic constraint 
1.79/1.86	c intension z[737]=x[41]  using generic constraint 
1.79/1.86	c intension z[1210]=x[568]  using generic constraint 
1.79/1.87	c intension z[1212]=x[570]  using generic constraint 
1.79/1.87	c intension z[1213]=x[571]  using generic constraint 
1.79/1.87	c intension z[1214]=x[572]  using generic constraint 
1.79/1.87	c intension z[1124]=x[436]  using generic constraint 
1.79/1.87	c intension z[1215]=x[573]  using generic constraint 
1.79/1.87	c intension z[1216]=x[574]  using generic constraint 
1.79/1.87	c intension z[1218]=x[576]  using generic constraint 
1.79/1.87	c intension z[1219]=x[577]  using generic constraint 
1.79/1.87	c intension z[1220]=x[578]  using generic constraint 
1.79/1.88	c intension z[738]=x[42]  using generic constraint 
1.79/1.88	c intension z[1125]=x[438]  using generic constraint 
1.79/1.88	c intension z[1221]=x[579]  using generic constraint 
1.79/1.88	c intension z[1222]=x[580]  using generic constraint 
1.79/1.88	c intension z[1224]=x[582]  using generic constraint 
1.79/1.88	c intension z[1225]=x[583]  using generic constraint 
1.79/1.88	c intension z[1226]=x[584]  using generic constraint 
1.79/1.88	c intension z[1227]=x[585]  using generic constraint 
1.79/1.88	c intension z[1228]=x[586]  using generic constraint 
1.79/1.89	c intension z[1229]=x[587]  using generic constraint 
1.79/1.89	c intension z[1230]=x[588]  using generic constraint 
1.79/1.89	c intension z[739]=x[43]  using generic constraint 
1.79/1.89	c intension z[1231]=x[589]  using generic constraint 
1.79/1.89	c intension z[1232]=x[590]  using generic constraint 
1.79/1.89	c intension z[1233]=x[591]  using generic constraint 
1.79/1.89	c intension z[1234]=x[592]  using generic constraint 
1.79/1.89	c intension z[1235]=x[593]  using generic constraint 
1.79/1.89	c intension z[1126]=x[440]  using generic constraint 
1.79/1.90	c intension z[1236]=x[594]  using generic constraint 
1.89/1.90	c intension z[1237]=x[595]  using generic constraint 
1.89/1.90	c intension z[1239]=x[597]  using generic constraint 
1.89/1.90	c intension z[1240]=x[598]  using generic constraint 
1.89/1.90	c intension z[740]=x[44]  using generic constraint 
1.89/1.90	c intension z[1241]=x[599]  using generic constraint 
1.89/1.90	c intension z[1127]=x[442]  using generic constraint 
1.89/1.90	c intension z[1242]=x[600]  using generic constraint 
1.89/1.90	c intension z[1243]=x[601]  using generic constraint 
1.89/1.90	c intension z[1245]=x[603]  using generic constraint 
1.89/1.91	c intension z[1246]=x[604]  using generic constraint 
1.89/1.91	c intension z[1247]=x[605]  using generic constraint 
1.89/1.91	c intension z[1128]=x[444]  using generic constraint 
1.89/1.91	c intension z[1248]=x[606]  using generic constraint 
1.89/1.91	c intension z[1249]=x[607]  using generic constraint 
1.89/1.91	c intension z[741]=x[45]  using generic constraint 
1.89/1.91	c intension z[1251]=x[609]  using generic constraint 
1.89/1.91	c intension z[1252]=x[610]  using generic constraint 
1.89/1.91	c intension z[1253]=x[611]  using generic constraint 
1.89/1.92	c intension z[1129]=x[446]  using generic constraint 
1.89/1.92	c intension z[1254]=x[612]  using generic constraint 
1.89/1.92	c intension z[1255]=x[613]  using generic constraint 
1.89/1.92	c intension z[1257]=x[615]  using generic constraint 
1.89/1.92	c intension z[1258]=x[616]  using generic constraint 
1.89/1.92	c intension z[1259]=x[617]  using generic constraint 
1.89/1.92	c intension z[1130]=x[448]  using generic constraint 
1.89/1.92	c intension z[742]=x[46]  using generic constraint 
1.89/1.92	c intension z[1260]=x[618]  using generic constraint 
1.89/1.93	c intension z[1261]=x[619]  using generic constraint 
1.89/1.93	c intension z[1263]=x[621]  using generic constraint 
1.89/1.93	c intension z[1264]=x[622]  using generic constraint 
1.89/1.93	c intension z[1265]=x[623]  using generic constraint 
1.89/1.93	c intension z[1131]=x[450]  using generic constraint 
1.89/1.93	c intension z[1266]=x[624]  using generic constraint 
1.89/1.93	c intension z[1267]=x[625]  using generic constraint 
1.89/1.93	c intension z[1269]=x[627]  using generic constraint 
1.89/1.93	c intension z[1270]=x[628]  using generic constraint 
1.89/1.94	c intension z[743]=x[47]  using generic constraint 
1.89/1.94	c intension z[1271]=x[629]  using generic constraint 
1.89/1.94	c intension z[1132]=x[452]  using generic constraint 
1.89/1.94	c intension z[1272]=x[630]  using generic constraint 
1.89/1.94	c intension z[1273]=x[631]  using generic constraint 
1.89/1.94	c intension z[1275]=x[633]  using generic constraint 
1.89/1.94	c intension z[1276]=x[634]  using generic constraint 
1.89/1.94	c intension z[1277]=x[635]  using generic constraint 
1.89/1.94	c intension z[1133]=x[454]  using generic constraint 
1.89/1.95	c intension z[1278]=x[636]  using generic constraint 
1.89/1.95	c intension z[1279]=x[637]  using generic constraint 
1.89/1.95	c intension z[744]=x[48]  using generic constraint 
1.89/1.95	c intension z[1281]=x[639]  using generic constraint 
1.89/1.95	c intension z[1282]=x[640]  using generic constraint 
1.89/1.95	c intension z[1283]=x[641]  using generic constraint 
1.89/1.95	c intension z[1134]=x[456]  using generic constraint 
1.89/1.95	c intension z[1284]=x[642]  using generic constraint 
1.89/1.95	c intension z[1285]=x[643]  using generic constraint 
1.89/1.96	c intension z[1287]=x[645]  using generic constraint 
1.89/1.96	c intension z[1288]=x[646]  using generic constraint 
1.89/1.96	c intension z[1289]=x[647]  using generic constraint 
1.89/1.96	c intension z[1135]=x[458]  using generic constraint 
1.89/1.96	c intension z[745]=x[49]  using generic constraint 
1.89/1.96	c intension z[1290]=x[648]  using generic constraint 
1.89/1.96	c intension z[1291]=x[649]  using generic constraint 
1.89/1.96	c intension z[1293]=x[651]  using generic constraint 
1.89/1.96	c intension z[1294]=x[652]  using generic constraint 
1.89/1.96	c intension z[1295]=x[653]  using generic constraint 
1.89/1.97	c intension z[1136]=x[460]  using generic constraint 
1.89/1.97	c intension z[1296]=x[654]  using generic constraint 
1.89/1.97	c intension z[1297]=x[655]  using generic constraint 
1.89/1.97	c intension z[1299]=x[657]  using generic constraint 
1.89/1.97	c intension z[1300]=x[658]  using generic constraint 
1.89/1.97	c intension z[746]=x[50]  using generic constraint 
1.89/1.97	c intension z[1301]=x[659]  using generic constraint 
1.89/1.97	c intension z[1137]=x[462]  using generic constraint 
1.89/1.97	c intension z[1302]=x[660]  using generic constraint 
1.89/1.98	c intension z[1303]=x[661]  using generic constraint 
1.89/1.98	c intension z[1305]=x[663]  using generic constraint 
1.89/1.98	c intension z[1306]=x[664]  using generic constraint 
1.89/1.98	c intension z[1307]=x[665]  using generic constraint 
1.89/1.98	c intension z[1138]=x[464]  using generic constraint 
1.89/1.98	c intension z[1308]=x[666]  using generic constraint 
1.89/1.98	c intension z[1309]=x[667]  using generic constraint 
1.89/1.98	c intension z[702]=x[6]  using generic constraint 
1.89/1.98	c intension z[747]=x[51]  using generic constraint 
1.89/1.99	c intension z[1311]=x[669]  using generic constraint 
1.89/1.99	c intension z[1312]=x[670]  using generic constraint 
1.89/1.99	c intension z[1313]=x[671]  using generic constraint 
1.89/1.99	c intension z[1139]=x[466]  using generic constraint 
1.89/1.99	c intension z[1314]=x[672]  using generic constraint 
1.89/1.99	c intension z[1315]=x[673]  using generic constraint 
1.89/1.99	c intension z[1317]=x[675]  using generic constraint 
1.89/1.99	c intension z[1318]=x[676]  using generic constraint 
1.89/1.99	c intension z[1319]=x[677]  using generic constraint 
1.89/2.00	c intension z[1140]=x[468]  using generic constraint 
1.99/2.00	c intension z[748]=x[52]  using generic constraint 
1.99/2.00	c intension z[1320]=x[678]  using generic constraint 
1.99/2.00	c intension z[1321]=x[679]  using generic constraint 
1.99/2.00	c intension z[1323]=x[681]  using generic constraint 
1.99/2.00	c intension z[1324]=x[682]  using generic constraint 
1.99/2.00	c intension z[1325]=x[683]  using generic constraint 
1.99/2.00	c intension z[1141]=x[470]  using generic constraint 
1.99/2.00	c intension z[1326]=x[684]  using generic constraint 
1.99/2.01	c intension z[1327]=x[685]  using generic constraint 
1.99/2.01	c intension z[1329]=x[687]  using generic constraint 
1.99/2.01	c intension z[1330]=x[688]  using generic constraint 
1.99/2.01	c intension z[749]=x[53]  using generic constraint 
1.99/2.01	c intension z[1331]=x[689]  using generic constraint 
1.99/2.01	c intension z[1142]=x[472]  using generic constraint 
1.99/2.01	c intension z[1332]=x[690]  using generic constraint 
1.99/2.01	c intension z[1333]=x[691]  using generic constraint 
1.99/2.01	c intension z[1335]=x[693]  using generic constraint 
1.99/2.01	c intension z[1336]=x[694]  using generic constraint 
1.99/2.02	c intension z[1337]=x[695]  using generic constraint 
1.99/2.02	c intension z[1143]=x[474]  using generic constraint 
1.99/2.02	c intension z[1338]=x[696]  using generic constraint 
1.99/2.02	c intension z[1339]=x[697]  using generic constraint 
1.99/2.02	c intension z[750]=x[54]  using generic constraint 
1.99/2.02	c intension z[1341]=x[699]  using generic constraint 
1.99/2.02	c intension z[1342]=x[700]  using generic constraint 
1.99/2.02	c intension z[1343]=x[701]  using generic constraint 
1.99/2.02	c intension z[1144]=x[476]  using generic constraint 
1.99/2.03	c intension z[1344]=x[702]  using generic constraint 
1.99/2.03	c intension z[1345]=x[703]  using generic constraint 
1.99/2.03	c intension z[1347]=x[705]  using generic constraint 
1.99/2.03	c intension z[1348]=x[706]  using generic constraint 
1.99/2.03	c intension z[1349]=x[707]  using generic constraint 
1.99/2.03	c intension z[1145]=x[478]  using generic constraint 
1.99/2.03	c intension z[751]=x[55]  using generic constraint 
1.99/2.03	c intension z[1350]=x[708]  using generic constraint 
1.99/2.03	c intension z[1351]=x[709]  using generic constraint 
1.99/2.04	c intension z[1353]=x[711]  using generic constraint 
1.99/2.04	c intension z[1354]=x[712]  using generic constraint 
1.99/2.04	c intension z[1355]=x[713]  using generic constraint 
1.99/2.04	c intension z[1146]=x[480]  using generic constraint 
1.99/2.04	c intension z[1356]=x[714]  using generic constraint 
1.99/2.04	c intension z[1357]=x[715]  using generic constraint 
1.99/2.04	c intension z[1359]=x[717]  using generic constraint 
1.99/2.04	c intension z[1360]=x[718]  using generic constraint 
1.99/2.04	c intension z[752]=x[56]  using generic constraint 
1.99/2.05	c intension z[1361]=x[719]  using generic constraint 
1.99/2.05	c intension z[1147]=x[482]  using generic constraint 
1.99/2.05	c intension z[1362]=x[720]  using generic constraint 
1.99/2.05	c intension z[1363]=x[721]  using generic constraint 
1.99/2.05	c intension z[1365]=x[723]  using generic constraint 
1.99/2.05	c intension z[1366]=x[724]  using generic constraint 
1.99/2.05	c intension z[1367]=x[725]  using generic constraint 
1.99/2.05	c intension z[1148]=x[484]  using generic constraint 
1.99/2.05	c intension z[1368]=x[726]  using generic constraint 
1.99/2.06	c intension z[1369]=x[727]  using generic constraint 
1.99/2.06	c intension z[753]=x[57]  using generic constraint 
1.99/2.06	c intension z[1371]=x[729]  using generic constraint 
1.99/2.06	c intension z[1372]=x[730]  using generic constraint 
1.99/2.06	c intension z[1373]=x[731]  using generic constraint 
1.99/2.06	c intension z[1149]=x[486]  using generic constraint 
1.99/2.06	c intension z[1374]=x[732]  using generic constraint 
1.99/2.06	c intension z[1375]=x[733]  using generic constraint 
1.99/2.06	c intension z[1377]=x[735]  using generic constraint 
1.99/2.06	c intension z[1378]=x[736]  using generic constraint 
1.99/2.07	c intension z[1379]=x[737]  using generic constraint 
1.99/2.07	c intension z[1150]=x[488]  using generic constraint 
1.99/2.07	c intension z[754]=x[58]  using generic constraint 
1.99/2.07	c intension z[1380]=x[738]  using generic constraint 
1.99/2.07	c intension z[1381]=x[739]  using generic constraint 
1.99/2.07	c intension z[1383]=x[741]  using generic constraint 
1.99/2.07	c intension z[1384]=x[742]  using generic constraint 
1.99/2.07	c intension z[1385]=x[743]  using generic constraint 
1.99/2.07	c intension z[1151]=x[490]  using generic constraint 
1.99/2.08	c intension z[1386]=x[744]  using generic constraint 
1.99/2.08	c intension z[1387]=x[745]  using generic constraint 
1.99/2.08	c intension z[1389]=x[747]  using generic constraint 
1.99/2.08	c intension z[1390]=x[748]  using generic constraint 
1.99/2.08	c intension z[755]=x[59]  using generic constraint 
1.99/2.08	c intension z[1391]=x[749]  using generic constraint 
1.99/2.08	c intension z[1152]=x[492]  using generic constraint 
1.99/2.08	c intension z[1392]=x[750]  using generic constraint 
1.99/2.08	c intension z[1393]=x[751]  using generic constraint 
1.99/2.09	c intension z[1395]=x[753]  using generic constraint 
1.99/2.09	c intension z[1396]=x[754]  using generic constraint 
1.99/2.09	c intension z[1397]=x[755]  using generic constraint 
1.99/2.09	c intension z[1153]=x[494]  using generic constraint 
1.99/2.09	c intension z[1398]=x[756]  using generic constraint 
1.99/2.09	c intension z[1399]=x[757]  using generic constraint 
1.99/2.09	c intension z[756]=x[60]  using generic constraint 
1.99/2.09	c intension z[1401]=x[759]  using generic constraint 
1.99/2.09	c intension z[1402]=x[760]  using generic constraint 
1.99/2.10	c intension z[1403]=x[761]  using generic constraint 
2.09/2.10	c intension z[1154]=x[496]  using generic constraint 
2.09/2.10	c intension z[1404]=x[762]  using generic constraint 
2.09/2.10	c intension z[1405]=x[763]  using generic constraint 
2.09/2.10	c intension z[1407]=x[765]  using generic constraint 
2.09/2.10	c intension z[1408]=x[766]  using generic constraint 
2.09/2.10	c intension z[1409]=x[767]  using generic constraint 
2.09/2.10	c intension z[1155]=x[498]  using generic constraint 
2.09/2.10	c intension z[703]=x[7]  using generic constraint 
2.09/2.11	c intension z[757]=x[61]  using generic constraint 
2.09/2.11	c intension z[1410]=x[768]  using generic constraint 
2.09/2.11	c intension z[1411]=x[769]  using generic constraint 
2.09/2.11	c intension z[1413]=x[771]  using generic constraint 
2.09/2.11	c intension z[1414]=x[772]  using generic constraint 
2.09/2.11	c intension z[1415]=x[773]  using generic constraint 
2.09/2.11	c intension z[1156]=x[500]  using generic constraint 
2.09/2.11	c intension z[1416]=x[774]  using generic constraint 
2.09/2.11	c intension z[1417]=x[775]  using generic constraint 
2.09/2.11	c intension z[1419]=x[777]  using generic constraint 
2.09/2.12	c intension z[1420]=x[778]  using generic constraint 
2.09/2.12	c intension z[758]=x[62]  using generic constraint 
2.09/2.12	c intension z[1421]=x[779]  using generic constraint 
2.09/2.12	c intension z[1157]=x[502]  using generic constraint 
2.09/2.12	c intension z[1422]=x[780]  using generic constraint 
2.09/2.12	c intension z[1423]=x[781]  using generic constraint 
2.09/2.12	c intension z[1425]=x[783]  using generic constraint 
2.09/2.12	c intension z[1426]=x[784]  using generic constraint 
2.09/2.12	c intension z[1427]=x[785]  using generic constraint 
2.09/2.13	c intension z[1158]=x[504]  using generic constraint 
2.09/2.13	c intension z[1428]=x[786]  using generic constraint 
2.09/2.13	c intension z[1429]=x[787]  using generic constraint 
2.09/2.13	c intension z[759]=x[63]  using generic constraint 
2.09/2.13	c intension z[1431]=x[789]  using generic constraint 
2.09/2.13	c intension z[1432]=x[790]  using generic constraint 
2.09/2.13	c intension z[1433]=x[791]  using generic constraint 
2.09/2.13	c intension z[1159]=x[506]  using generic constraint 
2.09/2.13	c intension z[1434]=x[792]  using generic constraint 
2.09/2.14	c intension z[1435]=x[793]  using generic constraint 
2.09/2.14	c intension z[1437]=x[795]  using generic constraint 
2.09/2.14	c intension z[1438]=x[796]  using generic constraint 
2.09/2.14	c intension z[1439]=x[797]  using generic constraint 
2.09/2.14	c intension z[1160]=x[508]  using generic constraint 
2.09/2.14	c intension z[760]=x[64]  using generic constraint 
2.09/2.14	c intension z[1440]=x[798]  using generic constraint 
2.09/2.14	c intension z[1441]=x[799]  using generic constraint 
2.09/2.14	c intension z[1443]=x[801]  using generic constraint 
2.09/2.15	c intension z[1444]=x[802]  using generic constraint 
2.09/2.15	c intension z[1445]=x[803]  using generic constraint 
2.09/2.15	c intension z[1161]=x[510]  using generic constraint 
2.09/2.15	c intension z[1446]=x[804]  using generic constraint 
2.09/2.15	c intension z[1447]=x[805]  using generic constraint 
2.09/2.15	c intension z[1449]=x[807]  using generic constraint 
2.09/2.15	c intension z[1450]=x[808]  using generic constraint 
2.09/2.15	c intension z[761]=x[65]  using generic constraint 
2.09/2.15	c intension z[1451]=x[809]  using generic constraint 
2.09/2.16	c intension z[1162]=x[512]  using generic constraint 
2.09/2.16	c intension z[1452]=x[810]  using generic constraint 
2.09/2.16	c intension z[1453]=x[811]  using generic constraint 
2.09/2.16	c intension z[1455]=x[813]  using generic constraint 
2.09/2.16	c intension z[1456]=x[814]  using generic constraint 
2.09/2.16	c intension z[1457]=x[815]  using generic constraint 
2.09/2.16	c intension z[1163]=x[514]  using generic constraint 
2.09/2.16	c intension z[1458]=x[816]  using generic constraint 
2.09/2.16	c intension z[1459]=x[817]  using generic constraint 
2.09/2.17	c intension z[762]=x[66]  using generic constraint 
2.09/2.17	c intension z[1461]=x[819]  using generic constraint 
2.09/2.17	c intension z[1462]=x[820]  using generic constraint 
2.09/2.17	c intension z[1463]=x[821]  using generic constraint 
2.09/2.17	c intension z[1164]=x[516]  using generic constraint 
2.09/2.17	c intension z[1464]=x[822]  using generic constraint 
2.09/2.17	c intension z[1465]=x[823]  using generic constraint 
2.09/2.17	c intension z[1467]=x[825]  using generic constraint 
2.09/2.17	c intension z[1468]=x[826]  using generic constraint 
2.09/2.18	c intension z[1469]=x[827]  using generic constraint 
2.09/2.18	c intension z[1165]=x[518]  using generic constraint 
2.09/2.18	c intension z[763]=x[67]  using generic constraint 
2.09/2.18	c intension z[1470]=x[828]  using generic constraint 
2.09/2.18	c intension z[1471]=x[829]  using generic constraint 
2.09/2.18	c intension z[1473]=x[831]  using generic constraint 
2.09/2.18	c intension z[1474]=x[832]  using generic constraint 
2.09/2.18	c intension z[1475]=x[833]  using generic constraint 
2.09/2.18	c intension z[1166]=x[520]  using generic constraint 
2.09/2.19	c intension z[1476]=x[834]  using generic constraint 
2.09/2.19	c intension z[1477]=x[835]  using generic constraint 
2.09/2.19	c intension z[1479]=x[837]  using generic constraint 
2.09/2.19	c intension z[1480]=x[838]  using generic constraint 
2.09/2.19	c intension z[764]=x[68]  using generic constraint 
2.09/2.19	c intension z[1481]=x[839]  using generic constraint 
2.09/2.19	c intension z[1167]=x[522]  using generic constraint 
2.09/2.19	c intension z[1482]=x[840]  using generic constraint 
2.09/2.19	c intension z[1483]=x[841]  using generic constraint 
2.09/2.20	c intension z[1485]=x[843]  using generic constraint 
2.09/2.20	c intension z[1486]=x[844]  using generic constraint 
2.09/2.20	c intension z[1487]=x[845]  using generic constraint 
2.09/2.20	c intension z[1168]=x[524]  using generic constraint 
2.09/2.20	c intension z[1488]=x[846]  using generic constraint 
2.09/2.20	c intension z[1489]=x[847]  using generic constraint 
2.09/2.20	c intension z[765]=x[69]  using generic constraint 
2.09/2.20	c intension z[1491]=x[849]  using generic constraint 
2.20/2.20	c intension z[1492]=x[850]  using generic constraint 
2.20/2.21	c intension z[1493]=x[851]  using generic constraint 
2.20/2.21	c intension z[1169]=x[526]  using generic constraint 
2.20/2.21	c intension z[1494]=x[852]  using generic constraint 
2.20/2.21	c intension z[1495]=x[853]  using generic constraint 
2.20/2.21	c intension z[1497]=x[855]  using generic constraint 
2.20/2.21	c intension z[1498]=x[856]  using generic constraint 
2.20/2.21	c intension z[1499]=x[857]  using generic constraint 
2.20/2.21	c intension z[1170]=x[528]  using generic constraint 
2.20/2.21	c intension z[766]=x[70]  using generic constraint 
2.20/2.22	c intension z[1500]=x[858]  using generic constraint 
2.20/2.22	c intension z[1501]=x[859]  using generic constraint 
2.20/2.22	c intension z[1503]=x[861]  using generic constraint 
2.20/2.22	c intension z[1504]=x[862]  using generic constraint 
2.20/2.22	c intension z[1175]=x[533]  using generic constraint 
2.20/2.22	c intension z[1506]=x[864]  using generic constraint 
2.20/2.22	c intension z[1181]=x[539]  using generic constraint 
2.20/2.22	c intension z[1508]=x[866]  using generic constraint 
2.20/2.22	c intension z[1187]=x[545]  using generic constraint 
2.20/2.23	c intension z[1510]=x[868]  using generic constraint 
2.20/2.23	c intension z[704]=x[8]  using generic constraint 
2.20/2.23	c intension z[767]=x[71]  using generic constraint 
2.20/2.23	c intension z[1193]=x[551]  using generic constraint 
2.20/2.23	c intension z[1512]=x[870]  using generic constraint 
2.20/2.23	c intension z[1199]=x[557]  using generic constraint 
2.20/2.23	c intension z[1514]=x[872]  using generic constraint 
2.20/2.23	c intension z[1205]=x[563]  using generic constraint 
2.20/2.23	c intension z[1516]=x[874]  using generic constraint 
2.20/2.23	c intension z[1211]=x[569]  using generic constraint 
2.20/2.24	c intension z[1518]=x[876]  using generic constraint 
2.20/2.24	c intension z[1217]=x[575]  using generic constraint 
2.20/2.24	c intension z[1520]=x[878]  using generic constraint 
2.20/2.24	c intension z[768]=x[72]  using generic constraint 
2.20/2.24	c intension z[1223]=x[581]  using generic constraint 
2.20/2.24	c intension z[1522]=x[880]  using generic constraint 
2.20/2.24	c intension z[1238]=x[596]  using generic constraint 
2.20/2.24	c intension z[1524]=x[882]  using generic constraint 
2.20/2.24	c intension z[1244]=x[602]  using generic constraint 
2.20/2.25	c intension z[1526]=x[884]  using generic constraint 
2.20/2.25	c intension z[1250]=x[608]  using generic constraint 
2.20/2.25	c intension z[1528]=x[886]  using generic constraint 
2.20/2.25	c intension z[1256]=x[614]  using generic constraint 
2.20/2.25	c intension z[1530]=x[888]  using generic constraint 
2.20/2.25	c intension z[769]=x[73]  using generic constraint 
2.20/2.25	c intension z[1262]=x[620]  using generic constraint 
2.20/2.25	c intension z[1532]=x[890]  using generic constraint 
2.20/2.25	c intension z[1268]=x[626]  using generic constraint 
2.20/2.26	c intension z[1534]=x[892]  using generic constraint 
2.20/2.26	c intension z[1274]=x[632]  using generic constraint 
2.20/2.26	c intension z[1536]=x[894]  using generic constraint 
2.20/2.26	c intension z[1280]=x[638]  using generic constraint 
2.20/2.26	c intension z[1538]=x[896]  using generic constraint 
2.20/2.26	c intension z[1286]=x[644]  using generic constraint 
2.20/2.26	c intension z[1540]=x[898]  using generic constraint 
2.20/2.26	c intension z[770]=x[74]  using generic constraint 
2.20/2.26	c intension z[1292]=x[650]  using generic constraint 
2.20/2.27	c intension z[1542]=x[900]  using generic constraint 
2.20/2.27	c intension z[1298]=x[656]  using generic constraint 
2.20/2.27	c intension z[1544]=x[902]  using generic constraint 
2.20/2.27	c intension z[1304]=x[662]  using generic constraint 
2.20/2.27	c intension z[1546]=x[904]  using generic constraint 
2.20/2.27	c intension z[1310]=x[668]  using generic constraint 
2.20/2.27	c intension z[1548]=x[906]  using generic constraint 
2.20/2.27	c intension z[1316]=x[674]  using generic constraint 
2.20/2.27	c intension z[1550]=x[908]  using generic constraint 
2.20/2.28	c intension z[771]=x[75]  using generic constraint 
2.20/2.28	c intension z[1322]=x[680]  using generic constraint 
2.20/2.28	c intension z[1552]=x[910]  using generic constraint 
2.20/2.28	c intension z[1328]=x[686]  using generic constraint 
2.20/2.28	c intension z[1554]=x[912]  using generic constraint 
2.20/2.28	c intension z[1334]=x[692]  using generic constraint 
2.20/2.28	c intension z[1556]=x[914]  using generic constraint 
2.20/2.28	c intension z[1340]=x[698]  using generic constraint 
2.20/2.28	c intension z[1558]=x[916]  using generic constraint 
2.20/2.28	c intension z[1346]=x[704]  using generic constraint 
2.20/2.29	c intension z[1560]=x[918]  using generic constraint 
2.20/2.29	c intension z[772]=x[76]  using generic constraint 
2.20/2.29	c intension z[1352]=x[710]  using generic constraint 
2.20/2.29	c intension z[1562]=x[920]  using generic constraint 
2.20/2.29	c intension z[1358]=x[716]  using generic constraint 
2.20/2.29	c intension z[1564]=x[922]  using generic constraint 
2.20/2.29	c intension z[1364]=x[722]  using generic constraint 
2.20/2.29	c intension z[1566]=x[924]  using generic constraint 
2.20/2.29	c intension z[1370]=x[728]  using generic constraint 
2.20/2.30	c intension z[1568]=x[926]  using generic constraint 
2.20/2.30	c intension z[1376]=x[734]  using generic constraint 
2.20/2.30	c intension z[1570]=x[928]  using generic constraint 
2.20/2.30	c intension z[773]=x[77]  using generic constraint 
2.20/2.30	c intension z[1382]=x[740]  using generic constraint 
2.20/2.30	c intension z[1572]=x[930]  using generic constraint 
2.20/2.30	c intension z[1388]=x[746]  using generic constraint 
2.20/2.30	c intension z[1574]=x[932]  using generic constraint 
2.30/2.30	c intension z[1394]=x[752]  using generic constraint 
2.30/2.31	c intension z[1576]=x[934]  using generic constraint 
2.30/2.31	c intension z[1400]=x[758]  using generic constraint 
2.30/2.31	c intension z[1578]=x[936]  using generic constraint 
2.30/2.31	c intension z[1406]=x[764]  using generic constraint 
2.30/2.31	c intension z[1580]=x[938]  using generic constraint 
2.30/2.31	c intension z[774]=x[78]  using generic constraint 
2.30/2.31	c intension z[1412]=x[770]  using generic constraint 
2.30/2.31	c intension z[1582]=x[940]  using generic constraint 
2.30/2.31	c intension z[1418]=x[776]  using generic constraint 
2.30/2.32	c intension z[1584]=x[942]  using generic constraint 
2.30/2.32	c intension z[1424]=x[782]  using generic constraint 
2.30/2.32	c intension z[1586]=x[944]  using generic constraint 
2.30/2.32	c intension z[1430]=x[788]  using generic constraint 
2.30/2.32	c intension z[1588]=x[946]  using generic constraint 
2.30/2.32	c intension z[1436]=x[794]  using generic constraint 
2.30/2.32	c intension z[1590]=x[948]  using generic constraint 
2.30/2.32	c intension z[775]=x[79]  using generic constraint 
2.30/2.32	c intension z[1442]=x[800]  using generic constraint 
2.30/2.33	c intension z[1592]=x[950]  using generic constraint 
2.30/2.33	c intension z[1448]=x[806]  using generic constraint 
2.30/2.33	c intension z[1594]=x[952]  using generic constraint 
2.30/2.33	c intension z[1454]=x[812]  using generic constraint 
2.30/2.33	c intension z[1596]=x[954]  using generic constraint 
2.30/2.33	c intension z[1460]=x[818]  using generic constraint 
2.30/2.33	c intension z[1598]=x[956]  using generic constraint 
2.30/2.33	c intension z[1466]=x[824]  using generic constraint 
2.30/2.33	c intension z[1600]=x[958]  using generic constraint 
2.30/2.34	c intension z[776]=x[80]  using generic constraint 
2.30/2.34	c intension z[1472]=x[830]  using generic constraint 
2.30/2.34	c intension z[1602]=x[960]  using generic constraint 
2.30/2.34	c intension z[1478]=x[836]  using generic constraint 
2.30/2.34	c intension z[1604]=x[962]  using generic constraint 
2.30/2.34	c intension z[1484]=x[842]  using generic constraint 
2.30/2.34	c intension z[1606]=x[964]  using generic constraint 
2.30/2.34	c intension z[1490]=x[848]  using generic constraint 
2.30/2.34	c intension z[1608]=x[966]  using generic constraint 
2.30/2.35	c intension z[1496]=x[854]  using generic constraint 
2.30/2.35	c intension z[1610]=x[968]  using generic constraint 
2.30/2.35	c intension z[705]=x[9]  using generic constraint 
2.30/2.35	c intension z[777]=x[81]  using generic constraint 
2.30/2.35	c intension z[1502]=x[860]  using generic constraint 
2.30/2.35	c intension z[1612]=x[970]  using generic constraint 
2.30/2.35	c intension z[1505]=x[863]  using generic constraint 
2.30/2.35	c intension z[1615]=x[973]  using generic constraint 
2.30/2.35	c intension z[1507]=x[865]  using generic constraint 
2.30/2.36	c intension z[1618]=x[976]  using generic constraint 
2.30/2.36	c intension z[1509]=x[867]  using generic constraint 
2.30/2.36	c intension z[1621]=x[979]  using generic constraint 
2.30/2.36	c intension z[1511]=x[869]  using generic constraint 
2.30/2.36	c intension z[1624]=x[982]  using generic constraint 
2.30/2.36	c intension z[778]=x[82]  using generic constraint 
2.30/2.37	c intension z[1513]=x[871]  using generic constraint 
2.30/2.37	c intension z[1627]=x[985]  using generic constraint 
2.30/2.37	c intension z[1515]=x[873]  using generic constraint 
2.30/2.37	c intension z[1630]=x[988]  using generic constraint 
2.30/2.37	c intension z[1517]=x[875]  using generic constraint 
2.30/2.37	c intension z[1633]=x[991]  using generic constraint 
2.30/2.38	c intension z[1519]=x[877]  using generic constraint 
2.30/2.38	c intension z[1636]=x[994]  using generic constraint 
2.30/2.38	c intension z[1521]=x[879]  using generic constraint 
2.30/2.38	c intension z[1523]=x[881]  using generic constraint 
2.30/2.38	c intension z[779]=x[83]  using generic constraint 
2.30/2.38	c intension z[1614]=x[972]  using generic constraint 
2.30/2.38	c intension z[1525]=x[883]  using generic constraint 
2.30/2.38	c intension z[1617]=x[975]  using generic constraint 
2.30/2.38	c intension z[1527]=x[885]  using generic constraint 
2.30/2.39	c intension z[1620]=x[978]  using generic constraint 
2.30/2.39	c intension z[1529]=x[887]  using generic constraint 
2.30/2.39	c intension z[1623]=x[981]  using generic constraint 
2.30/2.39	c intension z[1531]=x[889]  using generic constraint 
2.30/2.39	c intension z[1626]=x[984]  using generic constraint 
2.30/2.39	c intension z[1533]=x[891]  using generic constraint 
2.30/2.39	c intension z[780]=x[84]  using generic constraint 
2.30/2.39	c intension z[1629]=x[987]  using generic constraint 
2.30/2.39	c intension z[1535]=x[893]  using generic constraint 
2.30/2.39	c intension z[1632]=x[990]  using generic constraint 
2.38/2.40	c intension z[1537]=x[895]  using generic constraint 
2.38/2.40	c intension z[1635]=x[993]  using generic constraint 
2.38/2.40	c intension z[1539]=x[897]  using generic constraint 
2.38/2.40	c intension z[1638]=x[996]  using generic constraint 
2.38/2.40	c intension z[1541]=x[899]  using generic constraint 
2.38/2.40	c intension z[1543]=x[901]  using generic constraint 
2.38/2.40	c intension z[1545]=x[903]  using generic constraint 
2.38/2.40	c intension z[781]=x[85]  using generic constraint 
2.38/2.40	c intension z[1547]=x[905]  using generic constraint 
2.38/2.41	c intension z[1549]=x[907]  using generic constraint 
2.38/2.41	c intension z[1551]=x[909]  using generic constraint 
2.38/2.41	c intension z[1553]=x[911]  using generic constraint 
2.38/2.41	c intension z[1555]=x[913]  using generic constraint 
2.38/2.41	c intension z[1557]=x[915]  using generic constraint 
2.38/2.41	c intension z[1559]=x[917]  using generic constraint 
2.38/2.41	c intension z[1561]=x[919]  using generic constraint 
2.38/2.41	c intension z[1563]=x[921]  using generic constraint 
2.38/2.41	c intension z[1565]=x[923]  using generic constraint 
2.38/2.42	c intension z[782]=x[86]  using generic constraint 
2.38/2.42	c intension z[1567]=x[925]  using generic constraint 
2.38/2.42	c intension z[1569]=x[927]  using generic constraint 
2.38/2.42	c intension z[1571]=x[929]  using generic constraint 
2.38/2.42	c intension z[1573]=x[931]  using generic constraint 
2.38/2.42	c intension z[1575]=x[933]  using generic constraint 
2.38/2.42	c intension z[1577]=x[935]  using generic constraint 
2.38/2.42	c intension z[1579]=x[937]  using generic constraint 
2.38/2.42	c intension z[1581]=x[939]  using generic constraint 
2.38/2.43	c intension z[1583]=x[941]  using generic constraint 
2.38/2.43	c intension z[1585]=x[943]  using generic constraint 
2.38/2.43	c intension z[783]=x[87]  using generic constraint 
2.38/2.43	c intension z[1587]=x[945]  using generic constraint 
2.38/2.43	c intension z[1589]=x[947]  using generic constraint 
2.38/2.43	c intension z[1591]=x[949]  using generic constraint 
2.38/2.43	c intension z[1593]=x[951]  using generic constraint 
2.38/2.43	c intension z[1595]=x[953]  using generic constraint 
2.38/2.43	c intension z[1597]=x[955]  using generic constraint 
2.38/2.44	c intension z[1599]=x[957]  using generic constraint 
2.38/2.44	c intension z[1601]=x[959]  using generic constraint 
2.38/2.44	c intension z[1603]=x[961]  using generic constraint 
2.38/2.44	c intension z[1605]=x[963]  using generic constraint 
2.38/2.44	c intension z[784]=x[88]  using generic constraint 
2.38/2.44	c intension z[1607]=x[965]  using generic constraint 
2.38/2.44	c intension z[1609]=x[967]  using generic constraint 
2.38/2.44	c intension z[1611]=x[969]  using generic constraint 
2.38/2.44	c intension z[1639]=x[997]  using generic constraint 
2.38/2.45	c intension z[1641]=x[999]  using generic constraint 
2.38/2.45	c intension z[1643]=x[1001]  using generic constraint 
2.38/2.45	c intension z[1645]=x[1003]  using generic constraint 
2.38/2.45	c intension z[1647]=x[1005]  using generic constraint 
2.38/2.45	c intension z[1649]=x[1007]  using generic constraint 
2.38/2.45	c intension z[1651]=x[1009]  using generic constraint 
2.38/2.45	c intension z[785]=x[89]  using generic constraint 
2.38/2.45	c intension z[1653]=x[1011]  using generic constraint 
2.38/2.45	c intension z[1655]=x[1013]  using generic constraint 
2.38/2.45	c intension z[1657]=x[1015]  using generic constraint 
2.38/2.46	c intension z[1659]=x[1017]  using generic constraint 
2.38/2.46	c intension z[1661]=x[1019]  using generic constraint 
2.38/2.46	c intension z[1663]=x[1021]  using generic constraint 
2.38/2.46	c intension z[1665]=x[1023]  using generic constraint 
2.38/2.46	c intension z[1667]=x[1025]  using generic constraint 
2.38/2.46	c intension z[1669]=x[1027]  using generic constraint 
2.38/2.46	c intension z[1671]=x[1029]  using generic constraint 
2.38/2.46	c intension z[786]=x[90]  using generic constraint 
2.38/2.46	c intension z[1673]=x[1031]  using generic constraint 
2.38/2.47	c intension z[1675]=x[1033]  using generic constraint 
2.38/2.47	c intension z[1677]=x[1035]  using generic constraint 
2.38/2.47	c intension z[1679]=x[1037]  using generic constraint 
2.38/2.47	c intension z[1681]=x[1039]  using generic constraint 
2.38/2.47	c intension z[1683]=x[1041]  using generic constraint 
2.38/2.47	c intension z[1685]=x[1043]  using generic constraint 
2.38/2.47	c intension z[1687]=x[1045]  using generic constraint 
2.38/2.47	c intension z[1689]=x[1047]  using generic constraint 
2.38/2.47	c intension z[1691]=x[1049]  using generic constraint 
2.38/2.48	c intension z[706]=x[10]  using generic constraint 
2.38/2.48	c intension z[787]=x[91]  using generic constraint 
2.38/2.48	c intension z[1693]=x[1051]  using generic constraint 
2.38/2.48	c intension z[1695]=x[1053]  using generic constraint 
2.38/2.48	c intension z[1697]=x[1055]  using generic constraint 
2.38/2.48	c intension z[1699]=x[1057]  using generic constraint 
2.38/2.48	c intension z[1701]=x[1059]  using generic constraint 
2.38/2.48	c intension z[1703]=x[1061]  using generic constraint 
2.38/2.48	c intension z[1705]=x[1063]  using generic constraint 
2.38/2.49	c intension z[1707]=x[1065]  using generic constraint 
2.38/2.49	c intension z[1709]=x[1067]  using generic constraint 
2.38/2.49	c intension z[1711]=x[1069]  using generic constraint 
2.38/2.49	c intension z[788]=x[92]  using generic constraint 
2.38/2.49	c intension z[1713]=x[1071]  using generic constraint 
2.38/2.49	c intension z[1715]=x[1073]  using generic constraint 
2.38/2.49	c intension z[1717]=x[1075]  using generic constraint 
2.38/2.49	c intension z[1719]=x[1077]  using generic constraint 
2.38/2.49	c intension z[1721]=x[1079]  using generic constraint 
2.38/2.50	c intension z[1723]=x[1081]  using generic constraint 
2.48/2.50	c intension z[1725]=x[1083]  using generic constraint 
2.48/2.50	c intension z[1727]=x[1085]  using generic constraint 
2.48/2.50	c intension z[1729]=x[1087]  using generic constraint 
2.48/2.50	c intension z[1731]=x[1089]  using generic constraint 
2.48/2.50	c intension z[789]=x[93]  using generic constraint 
2.48/2.50	c intension z[1733]=x[1091]  using generic constraint 
2.48/2.50	c intension z[1735]=x[1093]  using generic constraint 
2.48/2.50	c intension z[1737]=x[1095]  using generic constraint 
2.48/2.51	c intension z[1739]=x[1097]  using generic constraint 
2.48/2.51	c intension z[1741]=x[1099]  using generic constraint 
2.48/2.51	c intension z[1743]=x[1101]  using generic constraint 
2.48/2.51	c intension z[1745]=x[1103]  using generic constraint 
2.48/2.51	c intension z[1613]=x[971]  using generic constraint 
2.48/2.51	c intension z[1616]=x[974]  using generic constraint 
2.48/2.51	c intension z[1619]=x[977]  using generic constraint 
2.48/2.51	c intension z[790]=x[94]  using generic constraint 
2.48/2.51	c intension z[1622]=x[980]  using generic constraint 
2.48/2.52	c intension z[1625]=x[983]  using generic constraint 
2.48/2.52	c intension z[1628]=x[986]  using generic constraint 
2.48/2.52	c intension z[1631]=x[989]  using generic constraint 
2.48/2.52	c intension z[1634]=x[992]  using generic constraint 
2.48/2.52	c intension z[1637]=x[995]  using generic constraint 
2.48/2.52	c intension z[1640]=x[998]  using generic constraint 
2.48/2.52	c intension z[1747]=x[1105]  using generic constraint 
2.48/2.52	c intension z[942]=x[246]  using generic constraint 
2.48/2.52	c intension z[939]=x[243]  using generic constraint 
2.48/2.53	c intension z[791]=x[95]  using generic constraint 
2.48/2.53	c intension z[1765]=x[1123]  using generic constraint 
2.48/2.53	c intension z[1748]=x[1106]  using generic constraint 
2.48/2.53	c intension z[1642]=x[1000]  using generic constraint 
2.48/2.53	c intension z[1749]=x[1107]  using generic constraint 
2.48/2.53	c intension z[945]=x[249]  using generic constraint 
2.48/2.53	c intension z[1767]=x[1125]  using generic constraint 
2.48/2.53	c intension z[1766]=x[1124]  using generic constraint 
2.48/2.53	c intension z[1750]=x[1108]  using generic constraint 
2.48/2.54	c intension z[1644]=x[1002]  using generic constraint 
2.48/2.54	c intension z[1751]=x[1109]  using generic constraint 
2.48/2.54	c intension z[792]=x[96]  using generic constraint 
2.48/2.54	c intension z[948]=x[252]  using generic constraint 
2.48/2.54	c intension z[1769]=x[1127]  using generic constraint 
2.48/2.54	c intension z[1768]=x[1126]  using generic constraint 
2.48/2.54	c intension z[1752]=x[1110]  using generic constraint 
2.48/2.54	c intension z[1646]=x[1004]  using generic constraint 
2.48/2.54	c intension z[1753]=x[1111]  using generic constraint 
2.48/2.55	c intension z[951]=x[255]  using generic constraint 
2.48/2.55	c intension z[1771]=x[1129]  using generic constraint 
2.48/2.55	c intension z[1770]=x[1128]  using generic constraint 
2.48/2.55	c intension z[1754]=x[1112]  using generic constraint 
2.48/2.55	c intension z[793]=x[97]  using generic constraint 
2.48/2.55	c intension z[1648]=x[1006]  using generic constraint 
2.48/2.55	c intension z[1755]=x[1113]  using generic constraint 
2.48/2.55	c intension z[954]=x[258]  using generic constraint 
2.48/2.55	c intension z[1773]=x[1131]  using generic constraint 
2.48/2.55	c intension z[1772]=x[1130]  using generic constraint 
2.48/2.56	c intension z[1756]=x[1114]  using generic constraint 
2.48/2.56	c intension z[1650]=x[1008]  using generic constraint 
2.48/2.56	c intension z[1757]=x[1115]  using generic constraint 
2.48/2.56	c intension z[957]=x[261]  using generic constraint 
2.48/2.56	c intension z[1775]=x[1133]  using generic constraint 
2.48/2.56	c intension z[794]=x[98]  using generic constraint 
2.48/2.56	c intension z[1774]=x[1132]  using generic constraint 
2.48/2.56	c intension z[1758]=x[1116]  using generic constraint 
2.48/2.56	c intension z[1652]=x[1010]  using generic constraint 
2.48/2.57	c intension z[1759]=x[1117]  using generic constraint 
2.48/2.57	c intension z[960]=x[264]  using generic constraint 
2.48/2.57	c intension z[1777]=x[1135]  using generic constraint 
2.48/2.57	c intension z[1776]=x[1134]  using generic constraint 
2.48/2.57	c intension z[1760]=x[1118]  using generic constraint 
2.48/2.57	c intension z[1654]=x[1012]  using generic constraint 
2.48/2.57	c intension z[1761]=x[1119]  using generic constraint 
2.48/2.57	c intension z[795]=x[99]  using generic constraint 
2.48/2.57	c intension z[963]=x[267]  using generic constraint 
2.48/2.58	c intension z[1779]=x[1137]  using generic constraint 
2.48/2.58	c intension z[1778]=x[1136]  using generic constraint 
2.48/2.58	c intension z[1762]=x[1120]  using generic constraint 
2.48/2.58	c intension z[1656]=x[1014]  using generic constraint 
2.48/2.58	c intension z[1763]=x[1121]  using generic constraint 
2.48/2.58	c intension z[966]=x[270]  using generic constraint 
2.48/2.58	c intension z[1781]=x[1139]  using generic constraint 
2.48/2.58	c intension z[1780]=x[1138]  using generic constraint 
2.48/2.58	c intension z[1764]=x[1122]  using generic constraint 
2.48/2.59	c intension z[796]=x[100]  using generic constraint 
2.48/2.59	c intension z[1658]=x[1016]  using generic constraint 
2.48/2.59	c intension z[972]=x[276]  using generic constraint 
2.48/2.59	c intension z[969]=x[273]  using generic constraint 
2.48/2.59	c intension z[1782]=x[1140]  using generic constraint 
2.48/2.59	c intension z[1660]=x[1018]  using generic constraint 
2.48/2.59	c intension z[975]=x[279]  using generic constraint 
2.48/2.59	c intension z[1784]=x[1142]  using generic constraint 
2.48/2.59	c intension z[1783]=x[1141]  using generic constraint 
2.48/2.60	c intension z[1662]=x[1020]  using generic constraint 
2.58/2.60	c intension z[978]=x[282]  using generic constraint 
20.77/20.86	c root propagations     : 0           
20.77/20.86	c restarts enabled, print stats at every restarts
20.77/20.86	c
20.77/20.86	c
20.77/20.86	c
20.77/20.86	c This is cosoco 1.0 --  
20.77/20.86	c
20.77/20.86	c ========================================[ Problem Statistics ]===========================================
20.77/20.86	c |                                                                                                       
20.77/20.86	c |  Parse time        :        15.91 s 
20.77/20.86	c |
20.77/20.86	c |               Variables: 14103
20.77/20.86	c |            Domain Sizes: 2..20001
20.77/20.86	c |
20.77/20.86	c |             Constraints: 13337
20.77/20.86	c |                   Arity: 1..3  -- Unary: 2  -- Binary: 2237  -- Ternary: 11098
20.77/20.86	c | 
20.77/20.86	c |                   Types: 
20.77/20.86	c |                          (X = Y): 1240
20.77/20.86	c |                          Intension: 12097
20.77/20.86	c |                          
20.77/20.86	c =========================================================================================================
20.77/20.86	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
21.27/21.39	c 101            2245           28918          3878           0              0              709   2145   1862
21.76/21.89	c 211            4406           43909          7624           0              0              710   2052   1718
22.36/22.40	c 332            6588           59126          11430          0              0              996   2062   1723
22.86/22.91	c 465            8815           74710          15338          0              0              166   2095   1720
23.36/23.43	c 611            11092          90721          19372          0              0              174   2132   1754
23.86/23.95	c 771            13424          107200         23533          0              0              163   2173   1769
24.35/24.49	c 947            15829          124185         27869          0              0              158   2230   1810
24.96/25.08	c 1140           18474          142375         32647          0              0              169   2453   1871
25.56/25.69	c 1352           21195          161169         37603          0              0              153   2510   1913
26.26/26.31	c 1585           23989          180605         42750          0              0              154   2562   1928
26.86/26.95	c 1841           26870          200659         48100          0              0              155   2626   1946
27.47/27.59	c 2122           29830          221155         53636          0              0              156   2680   1948
28.16/28.26	c 2431           32909          242572         59436          0              0              157   2771   2000
28.86/28.94	c 2770           36057          264520         65437          0              0              158   2810   2010
29.56/29.63	c 3142           39298          287314         71686          0              0              159   2870   2061
30.25/30.34	c 3551           42656          311821         78241          0              0              160   2950   2123
30.95/31.07	c 4000           46168          337278         85158          0              0              161   3064   2173
31.76/31.80	c 4493           49710          363348         92234          0              0              162   3050   2036
32.45/32.56	c 5035           53419          390645         99719          0              0              163   3168   2151
33.25/33.33	c 5631           57192          420335         162338         0              0              164   3178   2226
34.06/34.12	c 6286           61025          455176         325983         0              0              165   3179   2277
34.85/34.93	c 7006           64935          492735         525362         0              0              178   3191   2262
35.75/35.84	c 7798           68915          537247         775704         0              0              166   3189   2396
36.26/36.30	c 8669           70673          600066         1279010        0              0              167   884   860
36.26/36.34	c 9627           71631          603898         1282842        1              0              1   1   0      
36.36/36.42	c 10680          72684          608110         1287054        1              0              1   1   0      
36.45/36.58	c 11838          73842          612742         1291686        1              0              1   1   0      
36.75/36.85	c 13111          75115          617834         1296778        1              0              1   1   0      
37.15/37.26	c 14511          76515          623434         1302378        1              0              1   1   0      
37.75/37.86	c 16051          78055          629594         1308538        1              0              1   1   0      
38.56/38.69	c 17745          79749          636370         1315314        1              0              1   1   0      
39.66/39.75	c 19608          82348          756027         1523399        1              0              1   644   318  
40.85/40.93	c 21657          85340          993631         3603411        1              0              182   904   859
41.65/41.73	c 23910          90840          1209490        3631745        1              0              183   3248   2923
41.65/41.79	c 26388          93318          1496938        3639179        2              0              1   1   0      
41.76/41.84	c 29113          96043          1813038        3647354        2              0              1   1   0      
41.76/41.88	c 32110          99040          2160690        3656345        2              0              1   1   0      
42.64/42.70	c 35406          105584         2404050        3700033        2              0              1   3249   1245
42.64/42.76	c 39031          109209         2414925        3710908        3              0              1   1   0      
42.64/42.79	c 43018          113196         2426886        3722869        3              0              1   1   0      
44.34/44.41	c 47403          119373         2690298        6090155        3              0              1   1758   337 
45.15/45.25	c 52226          127448         2736249        6132794        3              0              181   3251   3090
45.25/45.32	c 57531          132753         2752164        6148709        4              0              1   1   0      
46.05/46.14	c 63366          141843         2801148        6190495        4              0              1   3253   504 
46.15/46.25	c 69784          148261         2820402        6209749        5              0              1   1   0      
47.05/47.10	c 76843          158577         2873874        6255117        5              0              1   3255   1469
47.15/47.21	c 84607          166341         2897166        6278409        6              0              1   1   0      
48.05/48.10	c 93147          178140         2954982        6329167        6              0              1   3257   2295
48.15/48.24	c 102541         187534         2983164        6357349        7              0              1   1   0      
49.04/49.18	c 112874         201134         3050172        6425073        7              0              1   3259   2978
50.04/50.12	c 124240         215769         3120347        6496116        8              0              1   3261   310 
51.54/51.66	c 136742         229206         3539482        7257299        9              0              1   686   126  
52.54/52.68	c 150494         246222         3611139        7317117        9              0              188   3265   3194
53.14/53.21	c 165621         262446         3665749        7373097        10             0              1   1098   370 
54.14/54.27	c 182260         282351         3746135        7442566        11             0              1   3267   1247
55.34/55.42	c 200562         303921         3831976        7519870        12             0              1   3269   1431
56.54/56.61	c 220694         327323         3923354        7602668        13             0              1   3271   1599
57.74/57.87	c 242839         352742         4020738        7691722        14             0              1   3275   1752
59.04/59.19	c 267198         380377         4124684        7787403        15             0              1   3277   1005
60.55/60.61	c 293992         410449         4235893        7890185        16             0              1   3279   1130
62.04/62.15	c 323465         443202         4355134        8001607        17             0              1   3281   1324
63.74/63.81	c 355885         478906         4483159        8122661        18             0              1   3285   1502
65.63/65.73	c 391547         517856         4653652        8598893        19             0              1   3287   1038
67.63/67.71	c 430775         560372         4801915        8737946        20             0              1   3289   1255
70.03/70.17	c 473925         606819         5020817        9525427        21             0              1   3293   1365
72.43/72.57	c 521390         657578         5193801        9688980        22             0              1   3295   1104
75.13/75.27	c 573601         713087         5381073        9866607        23             0              1   3299   1298
78.32/78.42	c 631033         773820         5613606        10315911       24             0              1   3301   1055
83.42/83.51	c 694208         840343         6197814        13843843       25             0              1   3303   1130
87.32/87.45	c 763700         913154         6443025        14090025       26             0              1   3307   1417
91.82/91.96	c 840141         992918         6709118        14357064       27             0              1   3311   1305
97.01/97.17	c 924226         1080332        6998570        14654792       28             0              1   3315   1234
103.11/103.20	c 1016719        1176164        7315898        14980010       29             0              1   3319   1143
110.11/110.22	c 1118461        1281249        7661013        15332998       30             0              1   3323   1127
118.30/118.42	c 1230377        1396512        8036867        15719744       31             0              1   3327   1112
127.90/128.04	c 1353484        1522977        8446430        16140290       32             0              1   3331   1098
148.60/148.73	c 1488901        1660504        12625678       33678153       33             0              1   1179   834 
161.71/161.86	c 1637859        1812800        13103452       34147838       34             0              1   3339   1460
177.49/177.63	c 1801712        1979997        13625892       34660836       35             0              1   3345   1236
196.18/196.38	c 1981950        2163583        14197494       35223200       36             0              1   3349   1186
218.47/218.69	c 2180211        2365198        14823244       35840432       37             0              1   3355   1236
245.06/245.28	c 2398298        2586645        15508445       36517145       38             0              1   3361   1210
276.76/276.99	c 2638193        2829906        16259120       37258709       39             0              1   3367   1194
314.75/314.92	c 2902077        3097164        17081689       38072230       40             0              1   3375   1207
360.14/360.35	c 3192349        3390816        17983460       38964726       41             0              1   3381   1163
414.73/414.91	c 3511648        3713504        19001925       40201525       42             0              1   3389   1210
480.11/480.30	c 3862876        4068130        20086628       41276313       43             0              1   3399   1215
558.70/558.91	c 4249226        4457887        21307377       42716616       44             0              1   3407   1177
653.18/653.43	c 4674211        4886289        22638838       44264249       45             0              1   3417   1191
767.04/767.39	c 5141694        5357199        24101783       45944843       46             0              1   3427   1196
904.60/904.94	c 5655925        5874869        25700876       47760008       47             0              1   3439   1209
1070.96/1071.32	c 6221579        6443974        27458358       49735123       48             0              1   3451   1205
1272.20/1272.67	c 6843798        7069659        29381522       51874291       49             0              1   3465   1218
1516.22/1516.78	c 7528238        7757578        31495424       54205780       50             0              1   3479   1203
1812.33/1812.93	c 8281122        8513957        33810579       56737158       51             0              1   3495   1220
2168.62/2169.36	c 9109294        9345640        36355755       59500079       52             0              1   3511   1236

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-4243185-1500671058/watcher-4243185-1500671058 -o /tmp/evaluation-result-4243185-1500671058/solver-4243185-1500671058 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500648174-9891 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243185-1500671058.xml 

pid=13125
running on 8 cores: 1,3,5,7,9,11,13,15

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.00 2.04 2.05 3/247 13128
/proc/meminfo: memFree=32012236/32770624 swapFree=5904/203672
[pid=13128] ppid=13125 vsize=27388 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 1041 0 0 0 1 0 0 0 20 0 1 0 2372727 28045312 869 33554432000 4194304 5970956 140729569120624 140729569115896 140300299086821 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 6847 869 698 434 0 211 0

[startup+0.100163 s]
/proc/loadavg: 2.00 2.04 2.05 3/247 13128
/proc/meminfo: memFree=32012236/32770624 swapFree=5904/203672
[pid=13128] ppid=13125 vsize=71960 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 12164 0 0 0 7 2 0 0 20 0 1 0 2372727 73687040 11950 33554432000 4194304 5970956 140729569120624 140729569115912 5125629 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 17990 11950 703 434 0 11354 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 71960

[startup+0.2004 s]
/proc/loadavg: 2.00 2.04 2.05 3/247 13128
/proc/meminfo: memFree=32012236/32770624 swapFree=5904/203672
[pid=13128] ppid=13125 vsize=213672 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 47604 0 0 0 12 7 0 0 20 0 1 0 2372727 218800128 47392 33554432000 4194304 5970956 140729569120624 140729569115912 5125629 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 53418 47458 703 434 0 46782 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 213672

[startup+0.300359 s]
/proc/loadavg: 2.00 2.04 2.05 3/247 13128
/proc/meminfo: memFree=32012236/32770624 swapFree=5904/203672
[pid=13128] ppid=13125 vsize=380756 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 89374 0 0 0 18 11 0 0 20 0 1 0 2372727 389894144 89170 33554432000 4194304 5970956 140729569120624 140729569115912 5125629 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 95228 89236 703 434 0 88592 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 380756

[startup+0.700289 s]
/proc/loadavg: 2.00 2.04 2.05 3/247 13128
/proc/meminfo: memFree=32012236/32770624 swapFree=5904/203672
[pid=13128] ppid=13125 vsize=1050080 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 256713 0 0 0 38 31 0 0 20 0 1 0 2372727 1075281920 256546 33554432000 4194304 5970956 140729569120624 140729569115912 5125629 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 262559 256546 703 434 0 255923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1050080

[startup+1.50022 s]
/proc/loadavg: 2.00 2.04 2.05 3/248 13129
/proc/meminfo: memFree=30316744/32770624 swapFree=5904/203596
[pid=13128] ppid=13125 vsize=1938364 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 478871 0 0 0 92 57 0 0 20 0 1 0 2372727 1984884736 478673 33554432000 4194304 5970956 140729569120624 140729569113992 5219354 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 484591 478673 786 434 0 477955 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1938364

[startup+3.10028 s]
/proc/loadavg: 2.00 2.04 2.05 3/248 13129
/proc/meminfo: memFree=30060556/32770624 swapFree=5904/203748
[pid=13128] ppid=13125 vsize=2161468 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 536592 0 0 0 244 64 0 0 20 0 1 0 2372727 2213343232 534490 33554432000 4194304 5970956 140729569120624 140729569114216 140300299086821 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 540367 534490 786 434 0 533731 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 2161468

[startup+6.30027 s]
/proc/loadavg: 2.00 2.04 2.05 3/248 13129
/proc/meminfo: memFree=28979200/32770624 swapFree=5904/203756
[pid=13128] ppid=13125 vsize=3338000 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 837823 0 0 0 530 99 0 0 20 0 1 0 2372727 3418112000 828579 33554432000 4194304 5970956 140729569120624 140729569114216 4966541 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 834500 828579 786 434 0 827864 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3338000

[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/248 13129
/proc/meminfo: memFree=26261876/32770624 swapFree=5904/203764
[pid=13128] ppid=13125 vsize=6071588 CPUtime=12.67 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 1532196 0 0 0 1087 180 0 0 20 0 1 0 2372727 6217306112 1512000 33554432000 4194304 5970956 140729569120624 140729569114216 4966541 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 1517897 1512000 786 434 0 1511261 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 6071588

[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/248 13129
/proc/meminfo: memFree=21359876/32770624 swapFree=5904/203784
[pid=13128] ppid=13125 vsize=10658348 CPUtime=25.46 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 2710179 0 0 0 2230 316 0 0 20 0 1 0 2372727 10914148352 2658737 33554432000 4194304 5970956 140729569120624 140729569117960 5337492 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2664587 2658737 826 434 0 2657951 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 10658348

[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.05 3/247 13129
/proc/meminfo: memFree=21340296/32770624 swapFree=5904/203824
[pid=13128] ppid=13125 vsize=10679108 CPUtime=51.04 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 2733722 0 0 0 4786 318 0 0 20 0 1 0 2372727 10935406592 2663683 33554432000 4194304 5970956 140729569120624 140729569117960 5069728 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2669777 2663683 826 434 0 2663141 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 10679108

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/247 13130
/proc/meminfo: memFree=21338084/32770624 swapFree=5904/203904
[pid=13128] ppid=13125 vsize=10681396 CPUtime=102.21 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 2784370 0 0 0 9898 323 0 0 20 0 1 0 2372727 10937749504 2664188 33554432000 4194304 5970956 140729569120624 140729569117960 5311648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2670349 2664188 826 434 0 2663713 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 10681396

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/247 13131
/proc/meminfo: memFree=21337160/32770624 swapFree=5904/203968
[pid=13128] ppid=13125 vsize=10682300 CPUtime=162.2 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 2839100 0 0 0 15891 329 0 0 20 0 1 0 2372727 10938675200 2664425 33554432000 4194304 5970956 140729569120624 140729569117960 5337492 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2670575 2664425 826 434 0 2663939 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 10682300

[startup+222.308 s]
/proc/loadavg: 2.02 2.03 2.05 3/247 13198
/proc/meminfo: memFree=18146128/32770624 swapFree=5904/204088
[pid=13128] ppid=13125 vsize=10683568 CPUtime=222.18 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 2895740 0 0 0 21884 334 0 0 20 0 1 0 2372727 10939973632 2664635 33554432000 4194304 5970956 140729569120624 140729569117960 5311648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2670892 2664635 826 434 0 2664256 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 10683568

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/246 13199
/proc/meminfo: memFree=10021000/32770624 swapFree=5904/204176
[pid=13128] ppid=13125 vsize=10683840 CPUtime=282.16 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 2953080 0 0 0 27876 340 0 0 20 0 1 0 2372727 10940252160 2664785 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2670960 2664785 826 434 0 2664324 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 10683840

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/247 13201
/proc/meminfo: memFree=10017068/32770624 swapFree=5904/204280
[pid=13128] ppid=13125 vsize=10683980 CPUtime=342.15 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 2997492 0 0 0 33870 345 0 0 20 0 1 0 2372727 10940395520 2664874 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2670995 2664874 826 434 0 2664359 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 10683980

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/249 13211
/proc/meminfo: memFree=10015884/32770624 swapFree=5904/204340
[pid=13128] ppid=13125 vsize=10685332 CPUtime=402.14 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3037237 0 0 0 39864 350 0 0 20 0 1 0 2372727 10941779968 2664973 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2671333 2664973 826 434 0 2664697 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 10685332

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/249 13212
/proc/meminfo: memFree=10015248/32770624 swapFree=5904/204388
[pid=13128] ppid=13125 vsize=10685472 CPUtime=462.11 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3077982 0 0 0 45856 355 0 0 20 0 1 0 2372727 10941923328 2665075 33554432000 4194304 5970956 140729569120624 140729569117960 5311648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2671368 2665075 826 434 0 2664732 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 10685472

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/249 13213
/proc/meminfo: memFree=10014216/32770624 swapFree=5904/204444
[pid=13128] ppid=13125 vsize=10685604 CPUtime=522.09 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3114317 0 0 0 51849 360 0 0 20 0 1 0 2372727 10942058496 2665185 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2671401 2665185 826 434 0 2664765 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 10685604

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/249 13214
/proc/meminfo: memFree=10012752/32770624 swapFree=5904/204492
[pid=13128] ppid=13125 vsize=10685872 CPUtime=582.08 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3149888 0 0 0 57844 364 0 0 20 0 1 0 2372727 10942332928 2665300 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2671468 2665300 826 434 0 2664832 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 10685872


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13241
/proc/meminfo: memFree=10002188/32770624 swapFree=5904/205144
[pid=13128] ppid=13125 vsize=10692132 CPUtime=1541.82 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3442733 0 0 0 153755 427 0 0 20 0 1 0 2372727 10948743168 2666414 33554432000 4194304 5970956 140729569120624 140729569117960 5311648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673033 2666414 826 434 0 2666397 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 10692132

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13249
/proc/meminfo: memFree=10001636/32770624 swapFree=5904/205188
[pid=13128] ppid=13125 vsize=10692132 CPUtime=1601.8 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3448048 0 0 0 159750 430 0 0 20 0 1 0 2372727 10948743168 2666414 33554432000 4194304 5970956 140729569120624 140729569117960 5311648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673033 2666414 826 434 0 2666397 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 10692132

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/247 13250
/proc/meminfo: memFree=10001580/32770624 swapFree=5904/205224
[pid=13128] ppid=13125 vsize=10692132 CPUtime=1661.79 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3453106 0 0 0 165745 434 0 0 20 0 1 0 2372727 10948743168 2666414 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673033 2666414 826 434 0 2666397 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 10692132

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/247 13252
/proc/meminfo: memFree=10001064/32770624 swapFree=5904/205252
[pid=13128] ppid=13125 vsize=10692132 CPUtime=1721.76 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3461050 0 0 0 171739 437 0 0 20 0 1 0 2372727 10948743168 2666414 33554432000 4194304 5970956 140729569120624 140729569117960 5311648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673033 2666414 826 434 0 2666397 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 10692132

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 13253
/proc/meminfo: memFree=10000372/32770624 swapFree=5904/205292
[pid=13128] ppid=13125 vsize=10692408 CPUtime=1781.74 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3471024 0 0 0 177733 441 0 0 20 0 1 0 2372727 10949025792 2666524 33554432000 4194304 5970956 140729569120624 140729569117592 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673102 2666524 826 434 0 2666466 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 10692408

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13254
/proc/meminfo: memFree=10000432/32770624 swapFree=5904/205340
[pid=13128] ppid=13125 vsize=10692544 CPUtime=1841.72 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3481979 0 0 0 183727 445 0 0 20 0 1 0 2372727 10949165056 2666642 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673136 2666642 826 434 0 2666500 0
Current children cumulated CPU time (s) 1841.72
Current children cumulated vsize (KiB) 10692544

[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/247 13255
/proc/meminfo: memFree=10000088/32770624 swapFree=5904/205384
[pid=13128] ppid=13125 vsize=10692544 CPUtime=1901.71 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3486688 0 0 0 189723 448 0 0 20 0 1 0 2372727 10949165056 2666647 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673136 2666647 826 434 0 2666500 0
Current children cumulated CPU time (s) 1901.71
Current children cumulated vsize (KiB) 10692544

[startup+1962.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/247 13256
/proc/meminfo: memFree=10000540/32770624 swapFree=5904/205420
[pid=13128] ppid=13125 vsize=10692544 CPUtime=1961.68 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3492605 0 0 0 195717 451 0 0 20 0 1 0 2372727 10949165056 2666647 33554432000 4194304 5970956 140729569120624 140729569117960 5311662 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673136 2666647 826 434 0 2666500 0
Current children cumulated CPU time (s) 1961.68
Current children cumulated vsize (KiB) 10692544

[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/247 13258
/proc/meminfo: memFree=9999712/32770624 swapFree=5904/205460
[pid=13128] ppid=13125 vsize=10692544 CPUtime=2021.66 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3499104 0 0 0 201711 455 0 0 20 0 1 0 2372727 10949165056 2666647 33554432000 4194304 5970956 140729569120624 140729569117960 4964363 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673136 2666647 826 434 0 2666500 0
Current children cumulated CPU time (s) 2021.66
Current children cumulated vsize (KiB) 10692544

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/247 13259
/proc/meminfo: memFree=9998704/32770624 swapFree=5904/205504
[pid=13128] ppid=13125 vsize=10692544 CPUtime=2081.66 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3503639 0 0 0 207708 458 0 0 20 0 1 0 2372727 10949165056 2666935 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673136 2666935 826 434 0 2666500 0
Current children cumulated CPU time (s) 2081.66
Current children cumulated vsize (KiB) 10692544

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/247 13260
/proc/meminfo: memFree=9997940/32770624 swapFree=5904/205552
[pid=13128] ppid=13125 vsize=10692952 CPUtime=2141.63 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3510381 0 0 0 213702 461 0 0 20 0 1 0 2372727 10949582848 2667095 33554432000 4194304 5970956 140729569120624 140729569117752 5311648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673238 2667095 826 434 0 2666602 0
Current children cumulated CPU time (s) 2141.63
Current children cumulated vsize (KiB) 10692952

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 13269
/proc/meminfo: memFree=9997284/32770624 swapFree=5904/205588
[pid=13128] ppid=13125 vsize=10693088 CPUtime=2201.61 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3517093 0 0 0 219698 463 0 0 20 0 1 0 2372727 10949722112 2667194 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673272 2667194 826 434 0 2666636 0
Current children cumulated CPU time (s) 2201.61
Current children cumulated vsize (KiB) 10693088

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/248 13270
/proc/meminfo: memFree=9997312/32770624 swapFree=5904/205628
[pid=13128] ppid=13125 vsize=10693088 CPUtime=2261.59 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3520954 0 0 0 225693 466 0 0 20 0 1 0 2372727 10949722112 2667194 33554432000 4194304 5970956 140729569120624 140729569117960 5311648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673272 2667194 826 434 0 2666636 0
Current children cumulated CPU time (s) 2261.59
Current children cumulated vsize (KiB) 10693088

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/247 13271
/proc/meminfo: memFree=9997352/32770624 swapFree=5904/205664
[pid=13128] ppid=13125 vsize=10693088 CPUtime=2321.58 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3524482 0 0 0 231689 469 0 0 20 0 1 0 2372727 10949722112 2667194 33554432000 4194304 5970956 140729569120624 140729569117960 5311659 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673272 2667194 826 434 0 2666636 0
Current children cumulated CPU time (s) 2321.58
Current children cumulated vsize (KiB) 10693088

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/247 13272
/proc/meminfo: memFree=9996180/32770624 swapFree=5904/205704
[pid=13128] ppid=13125 vsize=10693088 CPUtime=2381.57 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3528501 0 0 0 237685 472 0 0 20 0 1 0 2372727 10949722112 2667194 33554432000 4194304 5970956 140729569120624 140729569117960 5311648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673272 2667194 826 434 0 2666636 0
Current children cumulated CPU time (s) 2381.57
Current children cumulated vsize (KiB) 10693088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 13272
/proc/meminfo: memFree=9996244/32770624 swapFree=5904/205700
[pid=13128] ppid=13125 vsize=10693088 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202496 3530394 0 0 0 239534 472 0 0 20 0 1 0 2372727 10949722112 2667194 33554432000 4194304 5970956 140729569120624 140729569117960 5336125 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29364224 140729569125569 140729569125699 140729569125699 140729569128398 0
/proc/13128/statm: 2673272 2667194 826 434 0 2666636 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10693088

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 13128 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2401.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 13272
/proc/meminfo: memFree=9996244/32770624 swapFree=5904/205700
[pid=13128] ppid=13125 vsize=0 CPUtime=2400.46 cores=1,3,5,7,9,11,13,15
/proc/13128/stat : 13128 (cosoco) R 13125 13128 9859 0 -1 4202500 3530422 0 0 0 239534 512 0 0 20 0 1 0 2372727 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/13128/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.46
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2401.22
CPU time (s): 2400.49
CPU user time (s): 2395.34
CPU system time (s): 5.14856
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 10693088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.34
system time used= 5.14856
maximum resident set size= 10668816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3530422
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= 136
involuntary context switches= 121120

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2657 second user time and 11.5824 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-21 23:04:18
IDJOB=4243185
IDBENCH=139256
IDSOLVER=2620
FILE ID=node133/4243185-1500671058
RUNJOBID= node133-1500648174-9891
PBS_JOBID= 20623287
Free space on /tmp= 62012 MiB

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

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

MD5SUM BENCH= 4da452dd6a7f9c00a5696d6c71e9e662
RANDOM SEED=2013078966

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		: 1600.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		: 1600.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		: 2533.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		: 1600.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		: 2668.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		: 1733.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:        32012240 kB
MemAvailable:   32018792 kB
Buffers:           39748 kB
Cached:           276448 kB
SwapCached:            0 kB
Active:           166320 kB
Inactive:         212424 kB
Active(anon):      65200 kB
Inactive(anon):     8752 kB
Active(file):     101120 kB
Inactive(file):   203672 kB
Unevictable:        5904 kB
Mlocked:            5904 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2916 kB
Writeback:             0 kB
AnonPages:         67640 kB
Mapped:            31812 kB
Shmem:              8872 kB
Slab:              67316 kB
SReclaimable:      35188 kB
SUnreclaim:        32128 kB
KernelStack:        4336 kB
PageTables:         4672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:44:19