Trace number 4267991

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
cosoco 1.12? (TO) 2520.4199 2520.1799

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

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (4558 MiB free)
  memory of node 1: 16384 MiB (14681 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267991-1502585360/watcher-4267991-1502585360 -o /tmp/evaluation-result-4267991-1502585360/solver-4267991-1502585360 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502576806-1302 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267991-1502585360.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2441, runsolver pid=2438
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2442
/proc/meminfo: memFree=19544392/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=152296 memory=128352 CPUtime=0.1 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 32268 0 0 0 6 4 0 0 20 0 1 0 91616972 155951104 32088 33554432000 4194304 5972588 140734860355808 140734860352456 5127437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 38074 32088 710 435 0 31437 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 152296 KiB
Current children cumulated memory: 128352 KiB

[startup+0.209996 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2442
/proc/meminfo: memFree=19308668/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=336284 memory=312360 CPUtime=0.21 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 78251 0 0 0 13 8 0 0 20 0 1 0 91616972 344354816 78024 33554432000 4194304 5972588 140734860355808 140734860352456 5127437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 84071 78090 710 435 0 77434 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 336284 KiB
Current children cumulated memory: 312360 KiB

[startup+0.309905 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2442
/proc/meminfo: memFree=19094768/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=503516 memory=479736 CPUtime=0.3 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 120085 0 0 0 17 13 0 0 20 0 1 0 91616972 515600384 119868 33554432000 4194304 5972588 140734860355808 140734860352456 5127357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 125918 119868 710 435 0 119281 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 503516 KiB
Current children cumulated memory: 479736 KiB

[startup+0.700388 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2442
/proc/meminfo: memFree=18667052/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=1144812 memory=1120992 CPUtime=0.69 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 280417 0 0 0 37 32 0 0 20 0 1 0 91616972 1172287488 280248 33554432000 4194304 5972588 140734860355808 140734860352456 5127437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 286243 280248 710 435 0 279606 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 1144812 KiB
Current children cumulated memory: 1120992 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2442
/proc/meminfo: memFree=17613408/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=1941532 memory=1917888 CPUtime=1.49 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 479680 0 0 0 95 54 0 0 20 0 1 0 91616972 1988128768 479472 33554432000 4194304 5972588 140734860355808 140734860351064 140039806031776 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 485383 479472 790 435 0 478746 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1941532 KiB
Current children cumulated memory: 1917888 KiB

[startup+3.10978 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2442
/proc/meminfo: memFree=16179616/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=2193732 memory=2170000 CPUtime=3.1 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 545034 0 0 0 246 64 0 0 20 0 1 0 91616972 2246381568 542500 33554432000 4194304 5972588 140734860355808 140734860349368 140039805983717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 548433 542500 790 435 0 541796 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2193732 KiB
Current children cumulated memory: 2170000 KiB

[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2442
/proc/meminfo: memFree=13508728/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=3376972 memory=3353176 CPUtime=6.29 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 847986 0 0 0 528 101 0 0 20 0 1 0 91616972 3458019328 838294 33554432000 4194304 5972588 140734860355808 140734860349368 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 844243 838294 790 435 0 837606 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3376972 KiB
Current children cumulated memory: 3353176 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2442
/proc/meminfo: memFree=7785464/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=6181916 memory=6158016 CPUtime=12.7 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 1559775 0 0 0 1085 185 0 0 20 0 1 0 91616972 6330281984 1539504 33554432000 4194304 5972588 140734860355808 140734860349368 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 1545479 1539504 790 435 0 1538842 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 6181916 KiB
Current children cumulated memory: 6158016 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=15319732/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10658356 memory=10634952 CPUtime=25.49 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 2710495 0 0 0 2233 316 0 0 20 0 1 0 91616972 10914156544 2658738 33554432000 4194304 5972588 140734860355808 140734860353112 5338164 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2664589 2658738 829 435 0 2657952 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 10658356 KiB
Current children cumulated memory: 10634952 KiB

[startup+51.1097 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 2503
/proc/meminfo: memFree=15297868/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10679112 memory=10654684 CPUtime=51.08 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 2738505 0 0 0 4789 319 0 0 20 0 1 0 91616972 10935410688 2663671 33554432000 4194304 5972588 140734860355808 140734860353112 5071832 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2669778 2663671 829 435 0 2663141 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 10679112 KiB
Current children cumulated memory: 10654684 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 2504
/proc/meminfo: memFree=15294276/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10681400 memory=10656688 CPUtime=102.27 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 2791358 0 0 0 9902 325 0 0 20 0 1 0 91616972 10937753600 2664172 33554432000 4194304 5972588 140734860355808 140734860353112 5338164 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2670350 2664172 829 435 0 2663713 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 10681400 KiB
Current children cumulated memory: 10656688 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2505
/proc/meminfo: memFree=15292448/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10682304 memory=10657628 CPUtime=162.27 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 2845354 0 0 0 15896 331 0 0 20 0 1 0 91616972 10938679296 2664407 33554432000 4194304 5972588 140734860355808 140734860352744 5312318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2670576 2664407 829 435 0 2663939 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 10682304 KiB
Current children cumulated memory: 10657628 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2506
/proc/meminfo: memFree=15291236/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10683572 memory=10658500 CPUtime=222.27 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 2903660 0 0 0 21891 336 0 0 20 0 1 0 91616972 10939977728 2664625 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2670893 2664625 829 435 0 2664256 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 10683572 KiB
Current children cumulated memory: 10658500 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2507
/proc/meminfo: memFree=15290408/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10683848 memory=10659116 CPUtime=282.28 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 2957739 0 0 0 27885 343 0 0 20 0 1 0 91616972 10940260352 2664779 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2670962 2664779 829 435 0 2664325 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 10683848 KiB
Current children cumulated memory: 10659116 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2515
/proc/meminfo: memFree=15289144/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10683984 memory=10659472 CPUtime=342.29 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 2999666 0 0 0 33881 348 0 0 20 0 1 0 91616972 10940399616 2664868 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2670996 2664868 829 435 0 2664359 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 10683984 KiB
Current children cumulated memory: 10659472 KiB

[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 2516
/proc/meminfo: memFree=15288716/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10685340 memory=10659868 CPUtime=402.3 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3043501 0 0 0 39875 355 0 0 20 0 1 0 91616972 10941788160 2664967 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2671335 2664967 829 435 0 2664698 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 10685340 KiB
Current children cumulated memory: 10659868 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 2517
/proc/meminfo: memFree=15287368/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10685476 memory=10660280 CPUtime=462.3 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3082963 0 0 0 45870 360 0 0 20 0 1 0 91616972 10941927424 2665070 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2671369 2665070 829 435 0 2664732 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 10685476 KiB
Current children cumulated memory: 10660280 KiB


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


[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2579
/proc/meminfo: memFree=15279908/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10692536 memory=10666560 CPUtime=1842.46 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3511095 0 0 0 183785 461 0 0 20 0 1 0 91616972 10949156864 2666640 33554432000 4194304 5972588 140734860355808 140734860353112 5312304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673134 2666640 829 435 0 2666497 0
Current children cumulated CPU time: 1842.46 s
Current children cumulated vsize: 10692536 KiB
Current children cumulated memory: 10666560 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2580
/proc/meminfo: memFree=15279564/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10692536 memory=10666580 CPUtime=1902.47 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3516353 0 0 0 189781 466 0 0 20 0 1 0 91616972 10949156864 2666645 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673134 2666645 829 435 0 2666497 0
Current children cumulated CPU time: 1902.47 s
Current children cumulated vsize: 10692536 KiB
Current children cumulated memory: 10666580 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2581
/proc/meminfo: memFree=15279700/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10692536 memory=10666580 CPUtime=1962.48 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3521431 0 0 0 195778 470 0 0 20 0 1 0 91616972 10949156864 2666645 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673134 2666645 829 435 0 2666497 0
Current children cumulated CPU time: 1962.48 s
Current children cumulated vsize: 10692536 KiB
Current children cumulated memory: 10666580 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2582
/proc/meminfo: memFree=15279604/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10692536 memory=10666580 CPUtime=2022.48 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3527920 0 0 0 201775 473 0 0 20 0 1 0 91616972 10949156864 2666645 33554432000 4194304 5972588 140734860355808 140734860353112 5336797 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673134 2666645 829 435 0 2666497 0
Current children cumulated CPU time: 2022.48 s
Current children cumulated vsize: 10692536 KiB
Current children cumulated memory: 10666580 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2583
/proc/meminfo: memFree=15278152/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10692536 memory=10667708 CPUtime=2082.48 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3534046 0 0 0 207772 476 0 0 20 0 1 0 91616972 10949156864 2666927 33554432000 4194304 5972588 140734860355808 140734860353112 5312304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673134 2666927 829 435 0 2666497 0
Current children cumulated CPU time: 2082.48 s
Current children cumulated vsize: 10692536 KiB
Current children cumulated memory: 10667708 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2589
/proc/meminfo: memFree=15276880/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10692956 memory=10668580 CPUtime=2142.48 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3539283 0 0 0 213768 480 0 0 20 0 1 0 91616972 10949586944 2667145 33554432000 4194304 5972588 140734860355808 140734860352904 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673239 2667145 829 435 0 2666602 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 10692956 KiB
Current children cumulated memory: 10668580 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2590
/proc/meminfo: memFree=15277296/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10693092 memory=10668752 CPUtime=2202.49 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3544295 0 0 0 219766 483 0 0 20 0 1 0 91616972 10949726208 2667188 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673273 2667188 829 435 0 2666636 0
Current children cumulated CPU time: 2202.49 s
Current children cumulated vsize: 10693092 KiB
Current children cumulated memory: 10668752 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2591
/proc/meminfo: memFree=15277068/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10693092 memory=10668752 CPUtime=2262.5 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3547756 0 0 0 225764 486 0 0 20 0 1 0 91616972 10949726208 2667188 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673273 2667188 829 435 0 2666636 0
Current children cumulated CPU time: 2262.5 s
Current children cumulated vsize: 10693092 KiB
Current children cumulated memory: 10668752 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2592
/proc/meminfo: memFree=15277328/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10693092 memory=10668752 CPUtime=2322.51 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3550993 0 0 0 231762 489 0 0 20 0 1 0 91616972 10949726208 2667188 33554432000 4194304 5972588 140734860355808 140734860353112 5312318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673273 2667188 829 435 0 2666636 0
Current children cumulated CPU time: 2322.51 s
Current children cumulated vsize: 10693092 KiB
Current children cumulated memory: 10668752 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2593
/proc/meminfo: memFree=15277224/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10693092 memory=10668752 CPUtime=2382.52 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3554218 0 0 0 237760 492 0 0 20 0 1 0 91616972 10949726208 2667188 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673273 2667188 829 435 0 2666636 0
Current children cumulated CPU time: 2382.52 s
Current children cumulated vsize: 10693092 KiB
Current children cumulated memory: 10668752 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2594
/proc/meminfo: memFree=15277608/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10693092 memory=10668752 CPUtime=2442.52 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3558033 0 0 0 243758 494 0 0 20 0 1 0 91616972 10949726208 2667188 33554432000 4194304 5972588 140734860355808 140734860353112 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673273 2667188 829 435 0 2666636 0
Current children cumulated CPU time: 2442.52 s
Current children cumulated vsize: 10693092 KiB
Current children cumulated memory: 10668752 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2595
/proc/meminfo: memFree=15277148/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10693372 memory=10669084 CPUtime=2502.53 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3564629 0 0 0 249756 497 0 0 20 0 1 0 91616972 10950012928 2667271 33554432000 4194304 5972588 140734860355808 140734860352744 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673343 2667271 829 435 0 2666706 0
Current children cumulated CPU time: 2502.53 s
Current children cumulated vsize: 10693372 KiB
Current children cumulated memory: 10669084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2595
/proc/meminfo: memFree=15277100/32770624 swapFree=67108860/67108860
[pid=2441] ppid=2438 vsize=10693372 memory=10669296 CPUtime=2520.04 cores=1,3,5,7
/proc/2441/stat : 2441 (cosoco) R 2438 2441 1270 0 -1 4202496 3564784 0 0 0 251505 499 0 0 20 0 1 0 91616972 10950012928 2667324 33554432000 4194304 5972588 140734860355808 140734860352744 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26071040 140734860362943 140734860363038 140734860363038 140734860365774 0
/proc/2441/statm: 2673343 2667324 829 435 0 2666706 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10693372 KiB
Current children cumulated memory: 10669296 KiB

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

[startup+2520.18 s]
# the end of solver process 2441 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.05 s, system=5.36866 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.01 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2595
/proc/meminfo: memFree=22901284/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2520.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2595
/proc/meminfo: memFree=22901284/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 2520.18
CPU time (s): 2520.42
CPU user time (s): 2515.05
CPU system time (s): 5.36866
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 10693372
Max. memory (cumulated for all children) (KiB): 10669296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.05
system time used= 5.36866
maximum resident set size= 10669368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3564830
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= 126
involuntary context switches= 1159


# summary of solver processes directly reported to runsolver:
#   pid: 2441
#   total CPU time (s): 2520.42
#   total CPU user time (s): 2515.05
#   total CPU system time (s): 5.36866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.35009 second user time and 16.6678 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-13 02:35:02
IDJOB=4267991
IDBENCH=139256
IDSOLVER=2658
FILE ID=node151/4267991-1502585360
RUNJOBID= node151-1502576806-1302
PBS_JOBID= 20628292
Free space on /tmp= 61752 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-06-09-fair.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267991-1502585360/watcher-4267991-1502585360 -o /tmp/evaluation-result-4267991-1502585360/solver-4267991-1502585360 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502576806-1302 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267991-1502585360.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4da452dd6a7f9c00a5696d6c71e9e662
RANDOM SEED=1623931152

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19710172 kB
MemAvailable:   22772812 kB
Buffers:          213708 kB
Cached:          3141432 kB
SwapCached:            0 kB
Active:         10040952 kB
Inactive:        2569892 kB
Active(anon):    9258220 kB
Inactive(anon):    25044 kB
Active(file):     782732 kB
Inactive(file):  2544848 kB
Unevictable:        7024 kB
Mlocked:            7024 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2804 kB
Writeback:             0 kB
AnonPages:       9262488 kB
Mapped:            44444 kB
Shmem:             25224 kB
Slab:             128364 kB
SReclaimable:     101788 kB
SUnreclaim:        26576 kB
KernelStack:        3312 kB
PageTables:        22896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9554820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61752 MiB
End job on node151 at 2017-08-13 03:17:02