Trace number 4409965

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 NameAnswerobjective functionCPU timeWall clock time
cosoco 2.0 parallelOPT8 176.624 23.7693

General information on the benchmark

NamePseudoBoolean/
PseudoBoolean-opt-fx/Pb-fx84.xml
MD5SUM1336b893a40905842b4acbe054af1d4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark19.5979
Satisfiable
(Un)Satisfiability was proved
Number of variables6088
Number of constraints6677
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":6088}]
Minimum variable degree3
Maximum variable degree762
Distribution of variable degrees[{"degree":3,"count":2560},{"degree":4,"count":256},{"degree":6,"count":768},{"degree":10,"count":1408},{"degree":18,"count":864},{"degree":34,"count":80},{"degree":66,"count":144},{"degree":762,"count":8}]
Minimum constraint arity2
Maximum constraint arity512
Distribution of constraint arities[{"arity":2,"count":6080},{"arity":8,"count":19},{"arity":16,"count":5},{"arity":32,"count":27},{"arity":64,"count":22},{"arity":84,"count":512},{"arity":128,"count":6},{"arity":256,"count":1},{"arity":512,"count":5}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":6677}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

175.90/23.52	c
175.90/23.52	c This is cosoco 2.00 --  
175.90/23.52	c
175.90/23.52	c command line: cosoco -model -nbcores=8 HOME/instance-4409965-1569829639.xml 
175.90/23.52	c enable optimization
175.90/23.52	c ========================================[ Problem Statistics ]===========================================
175.90/23.52	c |                                                                                                       
175.90/23.52	c |  Parse time        :         1.13 s 
175.90/23.52	c |
175.90/23.52	c |               Variables: 6088
175.90/23.52	c |            Domain Sizes: 2..2
175.90/23.52	c |
175.90/23.52	c |             Constraints: 6678
175.90/23.52	c |                   Arity: 2..512  -- Binary: 6080
175.90/23.52	c | 
175.90/23.52	c |                   Types: 
175.90/23.52	c |                          Sum: 6678
175.90/23.52	c |                          
175.90/23.52	c |               Objective: Minimize Sum
175.90/23.52	
175.90/23.52	c =========================================================================================================
175.90/23.52	c Parallel mode: Portfolio
175.90/23.52	c [pFactory][Group N°0] created (threads:8).
175.90/23.52	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
175.90/23.52	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
175.90/23.52	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
175.90/23.52	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
175.90/23.52	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
175.90/23.52	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
175.90/23.52	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
175.90/23.52	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
175.90/23.52	c [pFactory][Group N°0] concurrent mode: enabled.
175.90/23.52	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
175.90/23.52	c [pFactory][Group N°0] task 7 launched on thread 0.
175.90/23.52	c [pFactory][Group N°0] task 6 launched on thread 1.
175.90/23.52	c [pFactory][Group N°0] task 5 launched on thread 6.
175.90/23.52	c [pFactory][Group N°0] task 4 launched on thread 4.
175.90/23.52	c [pFactory][Group N°0] task 3 launched on thread 2.
175.90/23.52	c [pFactory][Group N°0] task 2 launched on thread 7.
175.90/23.52	c [pFactory][Group N°0] task 1 launched on thread 3.
175.90/23.52	c [pFactory][Group N°0] task 0 launched on thread 5.
175.90/23.52	o 8
175.90/23.58	c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 4.
175.90/23.58	c [pFactory][Group N°0] Thread N°0 is joined.
175.90/23.58	c [pFactory][Group N°0] Thread N°1 is joined.
175.90/23.58	c [pFactory][Group N°0] Thread N°2 is joined.
175.90/23.58	c [pFactory][Group N°0] Thread N°3 is joined.
175.90/23.58	c [pFactory][Group N°0] Thread N°4 is joined.
175.90/23.58	c [pFactory][Group N°0] Thread N°5 is joined.
175.90/23.58	c [pFactory][Group N°0] Thread N°6 is joined.
175.90/23.58	c [pFactory][Group N°0] Thread N°7 is joined.
175.90/23.58	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°4)
175.90/23.58	s OPTIMUM FOUND
175.90/23.58	c call to solver        : 2
175.90/23.58	c
175.90/23.58	c restarts              : 28          
175.90/23.58	c conflicts             : 269          (2 /sec)
175.90/23.58	c decisions             : 139697       (803 /sec)
175.90/23.58	c propagations          : 316427      (1820 /sec)
175.90/23.58	c root propagations     : 8           
175.90/23.58	c filter calls          : 2223219        (12786 /sec)
175.90/23.58	c useless filter calls  : 2197471        (98 %)
175.90/23.58	c Memory used           : 2773.78 MB
175.90/23.58	c Best bound time (wc)  : 23.5225 s
175.90/23.58	c CPU time              : 173.886 s
175.90/23.58	c real time             : 23.5775 s
175.90/23.58	
175.90/23.58	
175.90/23.58	v <instantiation type='solution' cost='8'>
175.90/23.58	v <list>x[0] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[100] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[101] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[102] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[103] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[104] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[105] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[106] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[107] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[108] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[109] x[10] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[110] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[111] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[112] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[113] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[114] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[115] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[116] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[117] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[118] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[119] x[11] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[120] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[121] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[122] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[123] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[124] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[125] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[126] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[127] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[128] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[129] x[12] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[130] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[131] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[132] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[133] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[134] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[135] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[136] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[137] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[138] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[139] x[13] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[140] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[141] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[142] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[143] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[144] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[145] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[146] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[147] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[148] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[149] x[14] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[150] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[151] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[152] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[153] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[154] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[155] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[156] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[157] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[158] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[159] x[15] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[160] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[161] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[162] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[163] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[164] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[165] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[166] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[167] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[168] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[169] x[16] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[170] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[171] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[172] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[173] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[174] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[175] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[176] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[177] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[178] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[179] x[17] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[180] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[181] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[182] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[183] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[184] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[185] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[186] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[187] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[188] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[189] x[18] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[190] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[191] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[192] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[193] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[194] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[195] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[196] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[197] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[198] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[199] x[19] x[1] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[200] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[201] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[202] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[203] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[204] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[205] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[206] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[207] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[208] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[209] x[20] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[210] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[211] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[212] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[213] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[214] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[215] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[216] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[217] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[218] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[219] x[21] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[220] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[221] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[222] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[223] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[224] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[225] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[226] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[227] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[228] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[229] x[22] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[230] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[231] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[232] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[233] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[234] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[235] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[236] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[237] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[238] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[239] x[23] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[240] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[241] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[242] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[243] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[244] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[245] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[246] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[247] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[248] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[249] x[24] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[250] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[251] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[252] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[253] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[254] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[255] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[256] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[257] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[258] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[259] x[25] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[260] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[261] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[262] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[263] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[264] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[265] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[266] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[267] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[268] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[269] x[26] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[270] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[271] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[272] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[273] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[274] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[275] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[276] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[277] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[278] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[279] x[27] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[280] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[281] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[282] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[283] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[284] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[285] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[286] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[287] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[288] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[289] x[28] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[290] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[291] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[292] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[293] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[294] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[295] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[296] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[297] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[298] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[299] x[29] x[2] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[300] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[301] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[302] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[303] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[304] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[305] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[306] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[307] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[308] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[309] x[30] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[310] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[311] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[312] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[313] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[314] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[315] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[316] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[317] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[318] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[319] x[31] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[320] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[321] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[322] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[323] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[324] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[325] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[326] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[327] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[328] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[329] x[32] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[330] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[331] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[332] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[333] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[334] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[335] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[336] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[337] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[338] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[339] x[33] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[340] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[341] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[342] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[343] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[344] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[345] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[346] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[347] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[348] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[349] x[34] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[350] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[351] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[352] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[353] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[354] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[355] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[356] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[357] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[358] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[359] x[35] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[360] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[361] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[362] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[363] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[364] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[365] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[366] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[367] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[368] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[369] x[36] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[370] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[371] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[372] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[373] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[374] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[375] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[376] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[377] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[378] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[379] x[37] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[380] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[381] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[382] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[383] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[384] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[385] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[386] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[387] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[388] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[389] x[38] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[390] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[391] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[392] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[393] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[394] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[395] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[396] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[397] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[398] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[399] x[39] x[3] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[400] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[401] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[402] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[403] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[404] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[405] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[406] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[407] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[408] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[409] x[40] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[410] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[411] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[412] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[413] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145] x[4146] x[4147] x[4148] x[4149] x[414] x[4150] x[4151] x[4152] x[4153] x[4154] x[4155] x[4156] x[4157] x[4158] x[4159] x[415] x[4160] x[4161] x[4162] x[4163] x[4164] x[4165] x[4166] x[4167] x[4168] x[4169] x[416] x[4170] x[4171] x[4172] x[4173] x[4174] x[4175] x[4176] x[4177] x[4178] x[4179] x[417] x[4180] x[4181] x[4182] x[4183] x[4184] x[4185] x[4186] x[4187] x[4188] x[4189] x[418] x[4190] x[4191] x[4192] x[4193] x[4194] x[4195] x[4196] x[4197] x[4198] x[4199] x[419] x[41] x[4200] x[4201] x[4202] x[4203] x[4204] x[4205] x[4206] x[4207] x[4208] x[4209] x[420] x[4210] x[4211] x[4212] x[4213] x[4214] x[4215] x[4216] x[4217] x[4218] x[4219] x[421] x[4220] x[4221] x[4222] x[4223] x[4224] x[4225] x[4226] x[4227] x[4228] x[4229] x[422] x[4230] x[4231] x[4232] x[4233] x[4234] x[4235] x[4236] x[4237] x[4238] x[4239] x[423] x[4240] x[4241] x[4242] x[4243] x[4244] x[4245] x[4246] x[4247] x[4248] x[4249] x[424] x[4250] x[4251] x[4252] x[4253] x[4254] x[4255] x[4256] x[4257] x[4258] x[4259] x[425] x[4260] x[4261] x[4262] x[4263] x[4264] x[4265] x[4266] x[4267] x[4268] x[4269] x[426] x[4270] x[4271] x[4272] x[4273] x[4274] x[4275] x[4276] x[4277] x[4278] x[4279] x[427] x[4280] x[4281] x[4282] x[4283] x[4284] x[4285] x[4286] x[4287] x[4288] x[4289] x[428] x[4290] x[4291] x[4292] x[4293] x[4294] x[4295] x[4296] x[4297] x[4298] x[4299] x[429] x[42] x[4300] x[4301] x[4302] x[4303] x[4304] x[4305] x[4306] x[4307] x[4308] x[4309] x[430] x[4310] x[4311] x[4312] x[4313] x[4314] x[4315] x[4316] x[4317] x[4318] x[4319] x[431] x[4320] x[4321] x[4322] x[4323] x[4324] x[4325] x[4326] x[4327] x[4328] x[4329] x[432] x[4330] x[4331] x[4332] x[4333] x[4334] x[4335] x[4336] x[4337] x[4338] x[4339] x[433] x[4340] x[4341] x[4342] x[4343] x[4344] x[4345] x[4346] x[4347] x[4348] x[4349] x[434] x[4350] x[4351] x[4352] x[4353] x[4354] x[4355] x[4356] x[4357] x[4358] x[4359] x[435] x[4360] x[4361] x[4362] x[4363] x[4364] x[4365] x[4366] x[4367] x[4368] x[4369] x[436] x[4370] x[4371] x[4372] x[4373] x[4374] x[4375] x[4376] x[4377] x[4378] x[4379] x[437] x[4380] x[4381] x[4382] x[4383] x[4384] x[4385] x[4386] x[4387] x[4388] x[4389] x[438] x[4390] x[4391] x[4392] x[4393] x[4394] x[4395] x[4396] x[4397] x[4398] x[4399] x[439] x[43] x[4400] x[4401] x[4402] x[4403] x[4404] x[4405] x[4406] x[4407] x[4408] x[4409] x[440] x[4410] x[4411] x[4412] x[4413] x[4414] x[4415] x[4416] x[4417] x[4418] x[4419] x[441] x[4420] x[4421] x[4422] x[4423] x[4424] x[4425] x[4426] x[4427] x[4428] x[4429] x[442] x[4430] x[4431] x[4432] x[4433] x[4434] x[4435] x[4436] x[4437] x[4438] x[4439] x[443] x[4440] x[4441] x[4442] x[4443] x[4444] x[4445] x[4446] x[4447] x[4448] x[4449] x[444] x[4450] x[4451] x[4452] x[4453] x[4454] x[4455] x[4456] x[4457] x[4458] x[4459] x[445] x[4460] x[4461] x[4462] x[4463] x[4464] x[4465] x[4466] x[4467] x[4468] x[4469] x[446] x[4470] x[4471] x[4472] x[4473] x[4474] x[4475] x[4476] x[4477] x[4478] x[4479] x[447] x[4480] x[4481] x[4482] x[4483] x[4484] x[4485] x[4486] x[4487] x[4488] x[4489] x[448] x[4490] x[4491] x[4492] x[4493] x[4494] x[4495] x[4496] x[4497] x[4498] x[4499] x[449] x[44] x[4500] x[4501] x[4502] x[4503] x[4504] x[4505] x[4506] x[4507] x[4508] x[4509] x[450] x[4510] x[4511] x[4512] x[4513] x[4514] x[4515] x[4516] x[4517] x[4518] x[4519] x[451] x[4520] x[4521] x[4522] x[4523] x[4524] x[4525] x[4526] x[4527] x[4528] x[4529] x[452] x[4530] x[4531] x[4532] x[4533] x[4534] x[4535] x[4536] x[4537] x[4538] x[4539] x[453] x[4540] x[4541] x[4542] x[4543] x[4544] x[4545] x[4546] x[4547] x[4548] x[4549] x[454] x[4550] x[4551] x[4552] x[4553] x[4554] x[4555] x[4556] x[4557] x[4558] x[4559] x[455] x[4560] x[4561] x[4562] x[4563] x[4564] x[4565] x[4566] x[4567] x[4568] x[4569] x[456] x[4570] x[4571] x[4572] x[4573] x[4574] x[4575] x[4576] x[4577] x[4578] x[4579] x[457] x[4580] x[4581] x[4582] x[4583] x[4584] x[4585] x[4586] x[4587] x[4588] x[4589] x[458] x[4590] x[4591] x[4592] x[4593] x[4594] x[4595] x[4596] x[4597] x[4598] x[4599] x[459] x[45] x[4600] x[4601] x[4602] x[4603] x[4604] x[4605] x[4606] x[4607] x[4608] x[4609] x[460] x[4610] x[4611] x[4612] x[4613] x[4614] x[4615] x[4616] x[4617] x[4618] x[4619] x[461] x[4620] x[4621] x[4622] x[4623] x[4624] x[4625] x[4626] x[4627] x[4628] x[4629] x[462] x[4630] x[4631] x[4632] x[4633] x[4634] x[4635] x[4636] x[4637] x[4638] x[4639] x[463] x[4640] x[4641] x[4642] x[4643] x[4644] x[4645] x[4646] x[4647] x[4648] x[4649] x[464] x[4650] x[4651] x[4652] x[4653] x[4654] x[4655] x[4656] x[4657] x[4658] x[4659] x[465] x[4660] x[4661] x[4662] x[4663] x[4664] x[4665] x[4666] x[4667] x[4668] x[4669] x[466] x[4670] x[4671] x[4672] x[4673] x[4674] x[4675] x[4676] x[4677] x[4678] x[4679] x[467] x[4680] x[4681] x[4682] x[4683] x[4684] x[4685] x[4686] x[4687] x[4688] x[4689] x[468] x[4690] x[4691] x[4692] x[4693] x[4694] x[4695] x[4696] x[4697] x[4698] x[4699] x[469] x[46] x[4700] x[4701] x[4702] x[4703] x[4704] x[4705] x[4706] x[4707] x[4708] x[4709] x[470] x[4710] x[4711] x[4712] x[4713] x[4714] x[4715] x[4716] x[4717] x[4718] x[4719] x[471] x[4720] x[4721] x[4722] x[4723] x[4724] x[4725] x[4726] x[4727] x[4728] x[4729] x[472] x[4730] x[4731] x[4732] x[4733] x[4734] x[4735] x[4736] x[4737] x[4738] x[4739] x[473] x[4740] x[4741] x[4742] x[4743] x[4744] x[4745] x[4746] x[4747] x[4748] x[4749] x[474] x[4750] x[4751] x[4752] x[4753] x[4754] x[4755] x[4756] x[4757] x[4758] x[4759] x[475] x[4760] x[4761] x[4762] x[4763] x[4764] x[4765] x[4766] x[4767] x[4768] x[4769] x[476] x[4770] x[4771] x[4772] x[4773] x[4774] x[4775] x[4776] x[4777] x[4778] x[4779] x[477] x[4780] x[4781] x[4782] x[4783] x[4784] x[4785] x[4786] x[4787] x[4788] x[4789] x[478] x[4790] x[4791] x[4792] x[4793] x[4794] x[4795] x[4796] x[4797] x[4798] x[4799] x[479] x[47] x[4800] x[4801] x[4802] x[4803] x[4804] x[4805] x[4806] x[4807] x[4808] x[4809] x[480] x[4810] x[4811] x[4812] x[4813] x[4814] x[4815] x[4816] x[4817] x[4818] x[4819] x[481] x[4820] x[4821] x[4822] x[4823] x[4824] x[4825] x[4826] x[4827] x[4828] x[4829] x[482] x[4830] x[4831] x[4832] x[4833] x[4834] x[4835] x[4836] x[4837] x[4838] x[4839] x[483] x[4840] x[4841] x[4842] x[4843] x[4844] x[4845] x[4846] x[4847] x[4848] x[4849] x[484] x[4850] x[4851] x[4852] x[4853] x[4854] x[4855] x[4856] x[4857] x[4858] x[4859] x[485] x[4860] x[4861] x[4862] x[4863] x[4864] x[4865] x[4866] x[4867] x[4868] x[4869] x[486] x[4870] x[4871] x[4872] x[4873] x[4874] x[4875] x[4876] x[4877] x[4878] x[4879] x[487] x[4880] x[4881] x[4882] x[4883] x[4884] x[4885] x[4886] x[4887] x[4888] x[4889] x[488] x[4890] x[4891] x[4892] x[4893] x[4894] x[4895] x[4896] x[4897] x[4898] x[4899] x[489] x[48] x[4900] x[4901] x[4902] x[4903] x[4904] x[4905] x[4906] x[4907] x[4908] x[4909] x[490] x[4910] x[4911] x[4912] x[4913] x[4914] x[4915] x[4916] x[4917] x[4918] x[4919] x[491] x[4920] x[4921] x[4922] x[4923] x[4924] x[4925] x[4926] x[4927] x[4928] x[4929] x[492] x[4930] x[4931] x[4932] x[4933] x[4934] x[4935] x[4936] x[4937] x[4938] x[4939] x[493] x[4940] x[4941] x[4942] x[4943] x[4944] x[4945] x[4946] x[4947] x[4948] x[4949] x[494] x[4950] x[4951] x[4952] x[4953] x[4954] x[4955] x[4956] x[4957] x[4958] x[4959] x[495] x[4960] x[4961] x[4962] x[4963] x[4964] x[4965] x[4966] x[4967] x[4968] x[4969] x[496] x[4970] x[4971] x[4972] x[4973] x[4974] x[4975] x[4976] x[4977] x[4978] x[4979] x[497] x[4980] x[4981] x[4982] x[4983] x[4984] x[4985] x[4986] x[4987] x[4988] x[4989] x[498] x[4990] x[4991] x[4992] x[4993] x[4994] x[4995] x[4996] x[4997] x[4998] x[4999] x[499] x[49] x[4] x[5000] x[5001] x[5002] x[5003] x[5004] x[5005] x[5006] x[5007] x[5008] x[5009] x[500] x[5010] x[5011] x[5012] x[5013] x[5014] x[5015] x[5016] x[5017] x[5018] x[5019] x[501] x[5020] x[5021] x[5022] x[5023] x[5024] x[5025] x[5026] x[5027] x[5028] x[5029] x[502] x[5030] x[5031] x[5032] x[5033] x[5034] x[5035] x[5036] x[5037] x[5038] x[5039] x[503] x[5040] x[5041] x[5042] x[5043] x[5044] x[5045] x[5046] x[5047] x[5048] x[5049] x[504] x[5050] x[5051] x[5052] x[5053] x[5054] x[5055] x[5056] x[5057] x[5058] x[5059] x[505] x[5060] x[5061] x[5062] x[5063] x[5064] x[5065] x[5066] x[5067] x[5068] x[5069] x[506] x[5070] x[5071] x[5072] x[5073] x[5074] x[5075] x[5076] x[5077] x[5078] x[5079] x[507] x[5080] x[5081] x[5082] x[5083] x[5084] x[5085] x[5086] x[5087] x[5088] x[5089] x[508] x[5090] x[5091] x[5092] x[5093] x[5094] x[5095] x[5096] x[5097] x[5098] x[5099] x[509] x[50] x[5100] x[5101] x[5102] x[5103] x[5104] x[5105] x[5106] x[5107] x[5108] x[5109] x[510] x[5110] x[5111] x[5112] x[5113] x[5114] x[5115] x[5116] x[5117] x[5118] x[5119] x[511] x[5120] x[5121] x[5122] x[5123] x[5124] x[5125] x[5126] x[5127] x[5128] x[5129] x[512] x[5130] x[5131] x[5132] x[5133] x[5134] x[5135] x[5136] x[5137] x[5138] x[5139] x[513] x[5140] x[5141] x[5142] x[5143] x[5144] x[5145] x[5146] x[5147] x[5148] x[5149] x[514] x[5150] x[5151] x[5152] x[5153] x[5154] x[5155] x[5156] x[5157] x[5158] x[5159] x[515] x[5160] x[5161] x[5162] x[5163] x[5164] x[5165] x[5166] x[5167] x[5168] x[5169] x[516] x[5170] x[5171] x[5172] x[5173] x[5174] x[5175] x[5176] x[5177] x[5178] x[5179] x[517] x[5180] x[5181] x[5182] x[5183] x[5184] x[5185] x[5186] x[5187] x[5188] x[5189] x[518] x[5190] x[5191] x[5192] x[5193] x[5194] x[5195] x[5196] x[5197] x[5198] x[5199] x[519] x[51] x[5200] x[5201] x[5202] x[5203] x[5204] x[5205] x[5206] x[5207] x[5208] x[5209] x[520] x[5210] x[5211] x[5212] x[5213] x[5214] x[5215] x[5216] x[5217] x[5218] x[5219] x[521] x[5220] x[5221] x[5222] x[5223] x[5224] x[5225] x[5226] x[5227] x[5228] x[5229] x[522] x[5230] x[5231] x[5232] x[5233] x[5234] x[5235] x[5236] x[5237] x[5238] x[5239] x[523] x[5240] x[5241] x[5242] x[5243] x[5244] x[5245] x[5246] x[5247] x[5248] x[5249] x[524] x[5250] x[5251] x[5252] x[5253] x[5254] x[5255] x[5256] x[5257] x[5258] x[5259] x[525] x[5260] x[5261] x[5262] x[5263] x[5264] x[5265] x[5266] x[5267] x[5268] x[5269] x[526] x[5270] x[5271] x[5272] x[5273] x[5274] x[5275] x[5276] x[5277] x[5278] x[5279] x[527] x[5280] x[5281] x[5282] x[5283] x[5284] x[5285] x[5286] x[5287] x[5288] x[5289] x[528] x[5290] x[5291] x[5292] x[5293] x[5294] x[5295] x[5296] x[5297] x[5298] x[5299] x[529] x[52] x[5300] x[5301] x[5302] x[5303] x[5304] x[5305] x[5306] x[5307] x[5308] x[5309] x[530] x[5310] x[5311] x[5312] x[5313] x[5314] x[5315] x[5316] x[5317] x[5318] x[5319] x[531] x[5320] x[5321] x[5322] x[5323] x[5324] x[5325] x[5326] x[5327] x[5328] x[5329] x[532] x[5330] x[5331] x[5332] x[5333] x[5334] x[5335] x[5336] x[5337] x[5338] x[5339] x[533] x[5340] x[5341] x[5342] x[5343] x[5344] x[5345] x[5346] x[5347] x[5348] x[5349] x[534] x[5350] x[5351] x[5352] x[5353] x[5354] x[5355] x[5356] x[5357] x[5358] x[5359] x[535] x[5360] x[5361] x[5362] x[5363] x[5364] x[5365] x[5366] x[5367] x[5368] x[5369] x[536] x[5370] x[5371] x[5372] x[5373] x[5374] x[5375] x[5376] x[5377] x[5378] x[5379] x[537] x[5380] x[5381] x[5382] x[5383] x[5384] x[5385] x[5386] x[5387] x[5388] x[5389] x[538] x[5390] x[5391] x[5392] x[5393] x[5394] x[5395] x[5396] x[5397] x[5398] x[5399] x[539] x[53] x[5400] x[5401] x[5402] x[5403] x[5404] x[5405] x[5406] x[5407] x[5408] x[5409] x[540] x[5410] x[5411] x[5412] x[5413] x[5414] x[5415] x[5416] x[5417] x[5418] x[5419] x[541] x[5420] x[5421] x[5422] x[5423] x[5424] x[5425] x[5426] x[5427] x[5428] x[5429] x[542] x[5430] x[5431] x[5432] x[5433] x[5434] x[5435] x[5436] x[5437] x[5438] x[5439] x[543] x[5440] x[5441] x[5442] x[5443] x[5444] x[5445] x[5446] x[5447] x[5448] x[5449] x[544] x[5450] x[5451] x[5452] x[5453] x[5454] x[5455] x[5456] x[5457] x[5458] x[5459] x[545] x[5460] x[5461] x[5462] x[5463] x[5464] x[5465] x[5466] x[5467] x[5468] x[5469] x[546] x[5470] x[5471] x[5472] x[5473] x[5474] x[5475] x[5476] x[5477] x[5478] x[5479] x[547] x[5480] x[5481] x[5482] x[5483] x[5484] x[5485] x[5486] x[5487] x[5488] x[5489] x[548] x[5490] x[5491] x[5492] x[5493] x[5494] x[5495] x[5496] x[5497] x[5498] x[5499] x[549] x[54] x[5500] x[5501] x[5502] x[5503] x[5504] x[5505] x[5506] x[5507] x[5508] x[5509] x[550] x[5510] x[5511] x[5512] x[5513] x[5514] x[5515] x[5516] x[5517] x[5518] x[5519] x[551] x[5520] x[5521] x[5522] x[5523] x[5524] x[5525] x[5526] x[5527] x[5528] x[5529] x[552] x[5530] x[5531] x[5532] x[5533] x[5534] x[5535] x[5536] x[5537] x[5538] x[5539] x[553] x[5540] x[5541] x[5542] x[5543] x[5544] x[5545] x[5546] x[5547] x[5548] x[5549] x[554] x[5550] x[5551] x[5552] x[5553] x[5554] x[5555] x[5556] x[5557] x[5558] x[5559] x[555] x[5560] x[5561] x[5562] x[5563] x[5564] x[5565] x[5566] x[5567] x[5568] x[5569] x[556] x[5570] x[5571] x[5572] x[5573] x[5574] x[5575] x[5576] x[5577] x[5578] x[5579] x[557] x[5580] x[5581] x[5582] x[5583] x[5584] x[5585] x[5586] x[5587] x[5588] x[5589] x[558] x[5590] x[5591] x[5592] x[5593] x[5594] x[5595] x[5596] x[5597] x[5598] x[5599] x[559] x[55] x[5600] x[5601] x[5602] x[5603] x[5604] x[5605] x[5606] x[5607] x[5608] x[5609] x[560] x[5610] x[5611] x[5612] x[5613] x[5614] x[5615] x[5616] x[5617] x[5618] x[5619] x[561] x[5620] x[5621] x[5622] x[5623] x[5624] x[5625] x[5626] x[5627] x[5628] x[5629] x[562] x[5630] x[5631] x[5632] x[5633] x[5634] x[5635] x[5636] x[5637] x[5638] x[5639] x[563] x[5640] x[5641] x[5642] x[5643] x[5644] x[5645] x[5646] x[5647] x[5648] x[5649] x[564] x[5650] x[5651] x[5652] x[5653] x[5654] x[5655] x[5656] x[5657] x[5658] x[5659] x[565] x[5660] x[5661] x[5662] x[5663] x[5664] x[5665] x[5666] x[5667] x[5668] x[5669] x[566] x[5670] x[5671] x[5672] x[5673] x[5674] x[5675] x[5676] x[5677] x[5678] x[5679] x[567] x[5680] x[5681] x[5682] x[5683] x[5684] x[5685] x[5686] x[5687] x[5688] x[5689] x[568] x[5690] x[5691] x[5692] x[5693] x[5694] x[5695] x[5696] x[5697] x[5698] x[5699] x[569] x[56] x[5700] x[5701] x[5702] x[5703] x[5704] x[5705] x[5706] x[5707] x[5708] x[5709] x[570] x[5710] x[5711] x[5712] x[5713] x[5714] x[5715] x[5716] x[5717] x[5718] x[5719] x[571] x[5720] x[5721] x[5722] x[5723] x[5724] x[5725] x[5726] x[5727] x[5728] x[5729] x[572] x[5730] x[5731] x[5732] x[5733] x[5734] x[5735] x[5736] x[5737] x[5738] x[5739] x[573] x[5740] x[5741] x[5742] x[5743] x[5744] x[5745] x[5746] x[5747] x[5748] x[5749] x[574] x[5750] x[5751] x[5752] x[5753] x[5754] x[5755] x[5756] x[5757] x[5758] x[5759] x[575] x[5760] x[5761] x[5762] x[5763] x[5764] x[5765] x[5766] x[5767] x[5768] x[5769] x[576] x[5770] x[5771] x[5772] x[5773] x[5774] x[5775] x[5776] x[5777] x[5778] x[5779] x[577] x[5780] x[5781] x[5782] x[5783] x[5784] x[5785] x[5786] x[5787] x[5788] x[5789] x[578] x[5790] x[5791] x[5792] x[5793] x[5794] x[5795] x[5796] x[5797] x[5798] x[5799] x[579] x[57] x[5800] x[5801] x[5802] x[5803] x[5804] x[5805] x[5806] x[5807] x[5808] x[5809] x[580] x[5810] x[5811] x[5812] x[5813] x[5814] x[5815] x[5816] x[5817] x[5818] x[5819] x[581] x[5820] x[5821] x[5822] x[5823] x[5824] x[5825] x[5826] x[5827] x[5828] x[5829] x[582] x[5830] x[5831] x[5832] x[5833] x[5834] x[5835] x[5836] x[5837] x[5838] x[5839] x[583] x[5840] x[5841] x[5842] x[5843] x[5844] x[5845] x[5846] x[5847] x[5848] x[5849] x[584] x[5850] x[5851] x[5852] x[5853] x[5854] x[5855] x[5856] x[5857] x[5858] x[5859] x[585] x[5860] x[5861] x[5862] x[5863] x[5864] x[5865] x[5866] x[5867] x[5868] x[5869] x[586] x[5870] x[5871] x[5872] x[5873] x[5874] x[5875] x[5876] x[5877] x[5878] x[5879] x[587] x[5880] x[5881] x[5882] x[5883] x[5884] x[5885] x[5886] x[5887] x[5888] x[5889] x[588] x[5890] x[5891] x[5892] x[5893] x[5894] x[5895] x[5896] x[5897] x[5898] x[5899] x[589] x[58] x[5900] x[5901] x[5902] x[5903] x[5904] x[5905] x[5906] x[5907] x[5908] x[5909] x[590] x[5910] x[5911] x[5912] x[5913] x[5914] x[5915] x[5916] x[5917] x[5918] x[5919] x[591] x[5920] x[5921] x[5922] x[5923] x[5924] x[5925] x[5926] x[5927] x[5928] x[5929] x[592] x[5930] x[5931] x[5932] x[5933] x[5934] x[5935] x[5936] x[5937] x[5938] x[5939] x[593] x[5940] x[5941] x[5942] x[5943] x[5944] x[5945] x[5946] x[5947] x[5948] x[5949] x[594] x[5950] x[5951] x[5952] x[5953] x[5954] x[5955] x[5956] x[5957] x[5958] x[5959] x[595] x[5960] x[5961] x[5962] x[5963] x[5964] x[5965] x[5966] x[5967] x[5968] x[5969] x[596] x[5970] x[5971] x[5972] x[5973] x[5974] x[5975] x[5976] x[5977] x[5978] x[5979] x[597] x[5980] x[5981] x[5982] x[5983] x[5984] x[5985] x[5986] x[5987] x[5988] x[5989] x[598] x[5990] x[5991] x[5992] x[5993] x[5994] x[5995] x[5996] x[5997] x[5998] x[5999] x[599] x[59] x[5] x[6000] x[6001] x[6002] x[6003] x[6004] x[6005] x[6006] x[6007] x[6008] x[6009] x[600] x[6010] x[6011] x[6012] x[6013] x[6014] x[6015] x[6016] x[6017] x[6018] x[6019] x[601] x[6020] x[6021] x[6022] x[6023] x[6024] x[6025] x[6026] x[6027] x[6028] x[6029] x[602] x[6030] x[6031] x[6032] x[6033] x[6034] x[6035] x[6036] x[6037] x[6038] x[6039] x[603] x[6040] x[6041] x[6042] x[6043] x[6044] x[6045] x[6046] x[6047] x[6048] x[6049] x[604] x[6050] x[6051] x[6052] x[6053] x[6054] x[6055] x[6056] x[6057] x[6058] x[6059] x[605] x[6060] x[6061] x[6062] x[6063] x[6064] x[6065] x[6066] x[6067] x[6068] x[6069] x[606] x[6070] x[6071] x[6072] x[6073] x[6074] x[6075] x[6076] x[6077] x[6078] x[6079] x[607] x[6080] x[6081] x[6082] x[6083] x[6084] x[6085] x[6086] x[6087] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list>
175.90/23.58	v <values>1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 </values>
175.90/23.58	v </instantiation>
175.90/23.58

Verifier Data 

OK	8

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 (15430 MiB free)
  memory of node 1: 16384 MiB (15580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409965-1569829639/watcher-4409965-1569829639 -o /tmp/evaluation-result-4409965-1569829639/solver-4409965-1569829639 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409965-1569829639.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20354, runsolver pid=20351
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 9.18 7.99 6.92 2/191 20355
/proc/meminfo: memFree=31727252/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=54920 memory=31096 CPUtime=0.09 cores=0-7
/proc/20354/stat : 20354 (cosoco) R 20351 20354 15778 0 -1 4202496 7958 0 0 0 8 1 0 0 20 0 1 0 559232709 56238080 7774 33554432000 4194304 6211132 140721977760496 140721977757032 140380795997157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 13730 7774 810 493 0 7035 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54920 KiB
Current children cumulated memory: 31096 KiB

[startup+0.209426 s]*
/proc/loadavg: 9.18 7.99 6.92 2/191 20355
/proc/meminfo: memFree=31629044/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=164800 memory=141184 CPUtime=0.21 cores=0-7
/proc/20354/stat : 20354 (cosoco) R 20351 20354 15778 0 -1 4202496 35442 0 0 0 16 5 0 0 20 0 1 0 559232709 168755200 35230 33554432000 4194304 6211132 140721977760496 140721977757032 140380796045216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 41200 35230 837 493 0 34505 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 164800 KiB
Current children cumulated memory: 141184 KiB

[startup+0.309498 s]*
/proc/loadavg: 9.18 7.99 6.92 2/191 20355
/proc/meminfo: memFree=31495124/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=298288 memory=274504 CPUtime=0.31 cores=0-7
/proc/20354/stat : 20354 (cosoco) R 20351 20354 15778 0 -1 4202496 68821 0 0 0 21 10 0 0 20 0 1 0 559232709 305446912 68626 33554432000 4194304 6211132 140721977760496 140721977757032 140380795997157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 74572 68626 837 493 0 67877 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 298288 KiB
Current children cumulated memory: 274504 KiB

[startup+0.700365 s]
/proc/loadavg: 9.18 7.99 6.92 2/191 20355
/proc/meminfo: memFree=31228028/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=809616 memory=785872 CPUtime=0.7 cores=0-7
/proc/20354/stat : 20354 (cosoco) R 20351 20354 15778 0 -1 4202496 196651 0 0 0 42 28 0 0 20 0 1 0 559232709 829046784 196468 33554432000 4194304 6211132 140721977760496 140721977754632 140380796045216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 202441 196468 837 493 0 195746 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 809616 KiB
Current children cumulated memory: 785872 KiB

[startup+1.50037 s]
/proc/loadavg: 9.18 7.99 6.92 2/191 20355
/proc/meminfo: memFree=30567008/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=1340644 memory=1316860 CPUtime=1.49 cores=0-7
/proc/20354/stat : 20354 (cosoco) R 20351 20354 15778 0 -1 4202496 329449 0 0 0 104 45 0 0 20 0 1 0 559232709 1372819456 329215 33554432000 4194304 6211132 140721977760496 140721977754632 140380796045216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 335161 329215 838 493 0 328466 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1340644 KiB
Current children cumulated memory: 1316860 KiB

[startup+3.11171 s]
/proc/loadavg: 8.52 7.87 6.88 9/199 20363
/proc/meminfo: memFree=29786152/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=2217772 memory=1984476 CPUtime=13.44 cores=0-7
/proc/20354/stat : 20354 (cosoco) S 20351 20354 15778 0 -1 1077944320 527607 0 0 0 1247 97 0 0 20 0 9 0 559232709 2270998528 496119 33554432000 4194304 6211132 140721977760496 140721977758752 140380812037879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 554443 496119 880 493 0 547748 0
[pid=20354/tid=20356] ppid=20351 vsize=2217772 memory=0 CPUtime=1.47 cores=0-7
/proc/20354/task/20356/stat : 20356 (cosoco) R 20351 20354 15778 0 -1 4202560 17494 0 0 0 141 6 0 0 20 0 9 0 559232869 2270998528 496119 33554432000 4194304 6211132 140721977760496 140380788894296 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20357] ppid=20351 vsize=2217772 memory=0 CPUtime=1.47 cores=0-7
/proc/20354/task/20357/stat : 20357 (cosoco) R 20351 20354 15778 0 -1 4202560 16867 0 0 0 141 6 0 0 20 0 9 0 559232869 2270998528 496119 33554432000 4194304 6211132 140721977760496 140380780501608 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20358] ppid=20351 vsize=2217772 memory=0 CPUtime=1.47 cores=0-7
/proc/20354/task/20358/stat : 20358 (cosoco) R 20351 20354 15778 0 -1 4202560 23631 0 0 0 141 6 0 0 20 0 9 0 559232869 2270998528 496119 33554432000 4194304 6211132 140721977760496 140380772108904 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20359] ppid=20351 vsize=2217772 memory=0 CPUtime=1.46 cores=0-7
/proc/20354/task/20359/stat : 20359 (cosoco) R 20351 20354 15778 0 -1 4202560 32379 0 0 0 141 5 0 0 20 0 9 0 559232869 2270998528 496119 33554432000 4194304 6211132 140721977760496 140380763716184 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20360] ppid=20351 vsize=2217772 memory=0 CPUtime=1.47 cores=0-7
/proc/20354/task/20360/stat : 20360 (cosoco) R 20351 20354 15778 0 -1 4202560 25074 0 0 0 143 4 0 0 20 0 9 0 559232869 2270998528 496119 33554432000 4194304 6211132 140721977760496 140380755323336 5155989 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20361] ppid=20351 vsize=2217772 memory=0 CPUtime=1.47 cores=0-7
/proc/20354/task/20361/stat : 20361 (cosoco) R 20351 20354 15778 0 -1 4202560 31554 0 0 0 142 5 0 0 20 0 9 0 559232869 2270998528 496119 33554432000 4194304 6211132 140721977760496 140380746930616 5250266 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20362] ppid=20351 vsize=2217772 memory=0 CPUtime=1.48 cores=0-7
/proc/20354/task/20362/stat : 20362 (cosoco) R 20351 20354 15778 0 -1 4202560 26442 0 0 0 141 7 0 0 20 0 9 0 559232869 2270998528 496119 33554432000 4194304 6211132 140721977760496 140380738538088 5155832 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20363] ppid=20351 vsize=2217772 memory=0 CPUtime=1.48 cores=0-7
/proc/20354/task/20363/stat : 20363 (cosoco) R 20351 20354 15778 0 -1 4202560 18399 0 0 0 140 8 0 0 20 0 9 0 559232869 2270998528 496119 33554432000 4194304 6211132 140721977760496 140380730145384 5009136 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
Current children cumulated CPU time: 13.44 s
Current children cumulated vsize: 2217772 KiB
Current children cumulated memory: 1984476 KiB

[startup+6.30071 s]
/proc/loadavg: 8.52 7.87 6.88 9/199 20365
/proc/meminfo: memFree=29424916/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=2742060 memory=2365424 CPUtime=38.68 cores=0-7
/proc/20354/stat : 20354 (cosoco) S 20351 20354 15778 0 -1 1077944320 999440 0 0 0 3693 175 0 0 20 0 9 0 559232709 2807869440 591356 33554432000 4194304 6211132 140721977760496 140721977758752 140380812037879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 685515 591356 880 493 0 678820 0
[pid=20354/tid=20356] ppid=20351 vsize=2742060 memory=2311944 CPUtime=4.63 cores=0-7
/proc/20354/task/20356/stat : 20356 (cosoco) R 20351 20354 15778 0 -1 4202560 75519 0 0 0 446 17 0 0 20 0 9 0 559232869 2807869440 591356 33554432000 4194304 6211132 140721977760496 140380788894136 5396439 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20357] ppid=20351 vsize=2742060 memory=12846247184909 CPUtime=4.62 cores=0-7
/proc/20354/task/20357/stat : 20357 (cosoco) R 20351 20354 15778 0 -1 4202560 82547 0 0 0 442 20 0 0 20 0 9 0 559232869 2807869440 591356 33554432000 4194304 6211132 140721977760496 140380780501608 5148716 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20358] ppid=20351 vsize=2742060 memory=140721535104639 CPUtime=4.62 cores=0-7
/proc/20354/task/20358/stat : 20358 (cosoco) R 20351 20354 15778 0 -1 4202560 76438 0 0 0 449 13 0 0 20 0 9 0 559232869 2807869440 591356 33554432000 4194304 6211132 140721977760496 140380772108744 5155839 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20359] ppid=20351 vsize=2742060 memory=0 CPUtime=4.61 cores=0-7
/proc/20354/task/20359/stat : 20359 (cosoco) R 20351 20354 15778 0 -1 4202560 95495 0 0 0 450 11 0 0 20 0 9 0 559232869 2807869440 591356 33554432000 4194304 6211132 140721977760496 140380763716040 5250499 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20360] ppid=20351 vsize=2742060 memory=6944656592455360604 CPUtime=4.63 cores=0-7
/proc/20354/task/20360/stat : 20360 (cosoco) R 20351 20354 15778 0 -1 4202560 87307 0 0 0 453 10 0 0 20 0 9 0 559232869 2807869440 591356 33554432000 4194304 6211132 140721977760496 140380755323336 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20361] ppid=20351 vsize=2742060 memory=0 CPUtime=4.61 cores=0-7
/proc/20354/task/20361/stat : 20361 (cosoco) R 20351 20354 15778 0 -1 4202560 80421 0 0 0 450 11 0 0 20 0 9 0 559232869 2807869440 591356 33554432000 4194304 6211132 140721977760496 140380746930792 5157572 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20362] ppid=20351 vsize=2742060 memory=0 CPUtime=4.64 cores=0-7
/proc/20354/task/20362/stat : 20362 (cosoco) R 20351 20354 15778 0 -1 4202560 86691 0 0 0 445 19 0 0 20 0 9 0 559232869 2807869440 591356 33554432000 4194304 6211132 140721977760496 140380738538088 5250311 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20363] ppid=20351 vsize=2742060 memory=2324068 CPUtime=4.63 cores=0-7
/proc/20354/task/20363/stat : 20363 (cosoco) R 20351 20354 15778 0 -1 4202560 79256 0 0 0 441 22 0 0 20 0 9 0 559232869 2807869440 591356 33554432000 4194304 6211132 140721977760496 140380730145208 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
Current children cumulated CPU time: 38.68 s
Current children cumulated vsize: 2742060 KiB
Current children cumulated memory: 2365424 KiB

[startup+12.7007 s]
/proc/loadavg: 8.37 7.86 6.89 9/199 20365
/proc/meminfo: memFree=29297512/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=2873132 memory=2457024 CPUtime=89.73 cores=0-7
/proc/20354/stat : 20354 (cosoco) S 20351 20354 15778 0 -1 1077944320 1388165 0 0 0 8757 216 0 0 20 0 9 0 559232709 2942087168 614256 33554432000 4194304 6211132 140721977760496 140721977758752 140380812037879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 718283 614256 884 493 0 711588 0
[pid=20354/tid=20356] ppid=20351 vsize=2873132 memory=2446360 CPUtime=11.03 cores=0-7
/proc/20354/task/20356/stat : 20356 (cosoco) R 20351 20354 15778 0 -1 4202560 119024 0 0 0 1081 22 0 0 20 0 9 0 559232869 2942087168 614256 33554432000 4194304 6211132 140721977760496 140380788894152 5155884 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20357] ppid=20351 vsize=2873132 memory=2456984 CPUtime=11.02 cores=0-7
/proc/20354/task/20357/stat : 20357 (cosoco) R 20351 20354 15778 0 -1 4202560 119588 0 0 0 1077 25 0 0 20 0 9 0 559232869 2942087168 614256 33554432000 4194304 6211132 140721977760496 140380780501448 5250283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20358] ppid=20351 vsize=2873132 memory=2446336 CPUtime=11.01 cores=0-7
/proc/20354/task/20358/stat : 20358 (cosoco) R 20351 20354 15778 0 -1 4202560 117269 0 0 0 1084 17 0 0 20 0 9 0 559232869 2942087168 614256 33554432000 4194304 6211132 140721977760496 140380772108744 5186484 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20359] ppid=20351 vsize=2873132 memory=281434174673024 CPUtime=11.01 cores=0-7
/proc/20354/task/20359/stat : 20359 (cosoco) R 20351 20354 15778 0 -1 4202560 162969 0 0 0 1082 19 0 0 20 0 9 0 559232869 2942087168 614256 33554432000 4194304 6211132 140721977760496 140380763716024 5186484 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20360] ppid=20351 vsize=2873132 memory=2424488 CPUtime=11.03 cores=0-7
/proc/20354/task/20360/stat : 20360 (cosoco) R 20351 20354 15778 0 -1 4202560 137897 0 0 0 1087 16 0 0 20 0 9 0 559232869 2942087168 614256 33554432000 4194304 6211132 140721977760496 140380755323336 5409471 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20361] ppid=20351 vsize=2873132 memory=2456480 CPUtime=10.9 cores=0-7
/proc/20354/task/20361/stat : 20361 (cosoco) R 20351 20354 15778 0 -1 4202560 127506 0 0 0 1075 15 0 0 20 0 9 0 559232869 2942087168 614256 33554432000 4194304 6211132 140721977760496 140380746930792 5149152 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20362] ppid=20351 vsize=2873132 memory=1428 CPUtime=11.03 cores=0-7
/proc/20354/task/20362/stat : 20362 (cosoco) R 20351 20354 15778 0 -1 4202560 149529 0 0 0 1078 25 0 0 20 0 9 0 559232869 2942087168 614256 33554432000 4194304 6211132 140721977760496 140380738537912 5185175 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20363] ppid=20351 vsize=2873132 memory=4024 CPUtime=11.03 cores=0-7
/proc/20354/task/20363/stat : 20363 (cosoco) R 20351 20354 15778 0 -1 4202560 118601 0 0 0 1076 27 0 0 20 0 9 0 559232869 2942087168 614256 33554432000 4194304 6211132 140721977760496 140380730145224 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
Current children cumulated CPU time: 89.73 s
Current children cumulated vsize: 2873132 KiB
Current children cumulated memory: 2457024 KiB

[startup+23.7692 s]
# the end of solver process 20354 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=173.887 s, system=2.73632 s

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

[startup+12.8007 s]
/proc/loadavg: 8.37 7.86 6.89 9/199 20365
/proc/meminfo: memFree=29297512/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=2873132 memory=2458456 CPUtime=90.54 cores=0-7
/proc/20354/stat : 20354 (cosoco) S 20351 20354 15778 0 -1 1077944320 1402224 0 0 0 8836 218 0 0 20 0 9 0 559232709 2942087168 614614 33554432000 4194304 6211132 140721977760496 140721977758752 140380812037879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 718283 614614 884 493 0 711588 0
[pid=20354/tid=20356] ppid=20351 vsize=2873132 memory=0 CPUtime=11.13 cores=0-7
/proc/20354/task/20356/stat : 20356 (cosoco) R 20351 20354 15778 0 -1 4202560 119917 0 0 0 1091 22 0 0 20 0 9 0 559232869 2942087168 614614 33554432000 4194304 6211132 140721977760496 140380788894152 5148711 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20357] ppid=20351 vsize=2873132 memory=0 CPUtime=11.12 cores=0-7
/proc/20354/task/20357/stat : 20357 (cosoco) R 20351 20354 15778 0 -1 4202560 120363 0 0 0 1087 25 0 0 20 0 9 0 559232869 2942087168 614614 33554432000 4194304 6211132 140721977760496 140380780501448 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20358] ppid=20351 vsize=2873132 memory=6935054825532540783 CPUtime=11.11 cores=0-7
/proc/20354/task/20358/stat : 20358 (cosoco) R 20351 20354 15778 0 -1 4202560 119128 0 0 0 1094 17 0 0 20 0 9 0 559232869 2942087168 614614 33554432000 4194304 6211132 140721977760496 140380772108744 5158060 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20359] ppid=20351 vsize=2873132 memory=3624 CPUtime=11.1 cores=0-7
/proc/20354/task/20359/stat : 20359 (cosoco) R 20351 20354 15778 0 -1 4202560 165426 0 0 0 1091 19 0 0 20 0 9 0 559232869 2942087168 614614 33554432000 4194304 6211132 140721977760496 140380763716024 5155527 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20360] ppid=20351 vsize=2873132 memory=10656 CPUtime=11.13 cores=0-7
/proc/20354/task/20360/stat : 20360 (cosoco) R 20351 20354 15778 0 -1 4202560 139176 0 0 0 1097 16 0 0 20 0 9 0 559232869 2942087168 614614 33554432000 4194304 6211132 140721977760496 140380755323336 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20361] ppid=20351 vsize=2873132 memory=988 CPUtime=11 cores=0-7
/proc/20354/task/20361/stat : 20361 (cosoco) R 20351 20354 15778 0 -1 4202560 129183 0 0 0 1085 15 0 0 20 0 9 0 559232869 2942087168 614614 33554432000 4194304 6211132 140721977760496 140380746930792 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20362] ppid=20351 vsize=2873132 memory=3472328296227679313 CPUtime=11.13 cores=0-7
/proc/20354/task/20362/stat : 20362 (cosoco) R 20351 20354 15778 0 -1 4202560 153753 0 0 0 1088 25 0 0 20 0 9 0 559232869 2942087168 614614 33554432000 4194304 6211132 140721977760496 140380738538088 5148711 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20363] ppid=20351 vsize=2873132 memory=140717087464784 CPUtime=11.13 cores=0-7
/proc/20354/task/20363/stat : 20363 (cosoco) R 20351 20354 15778 0 -1 4202560 119488 0 0 0 1086 27 0 0 20 0 9 0 559232869 2942087168 614614 33554432000 4194304 6211132 140721977760496 140380730145224 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
Current children cumulated CPU time: 90.54 s
Current children cumulated vsize: 2873132 KiB
Current children cumulated memory: 2458456 KiB

[startup+19.2007 s]
/proc/loadavg: 8.34 7.86 6.90 9/199 20365
/proc/meminfo: memFree=29268632/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=2873132 memory=2485508 CPUtime=141.62 cores=0-7
/proc/20354/stat : 20354 (cosoco) S 20351 20354 15778 0 -1 1077944320 1640005 0 0 0 13916 246 0 0 20 0 9 0 559232709 2942087168 621377 33554432000 4194304 6211132 140721977760496 140721977758752 140380812037879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 718283 621377 884 493 0 711588 0
[pid=20354/tid=20356] ppid=20351 vsize=2873132 memory=-4695052241013923951 CPUtime=17.53 cores=0-7
/proc/20354/task/20356/stat : 20356 (cosoco) R 20351 20354 15778 0 -1 4202560 136373 0 0 0 1729 24 0 0 20 0 9 0 559232869 2942087168 621377 33554432000 4194304 6211132 140721977760496 140380788894152 140380795989960 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20357] ppid=20351 vsize=2873132 memory=2477696 CPUtime=17.51 cores=0-7
/proc/20354/task/20357/stat : 20357 (cosoco) R 20351 20354 15778 0 -1 4202560 160955 0 0 0 1722 29 0 0 20 0 9 0 559232869 2942087168 621377 33554432000 4194304 6211132 140721977760496 140380780501448 5157552 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20358] ppid=20351 vsize=2873132 memory=1760 CPUtime=17.51 cores=0-7
/proc/20354/task/20358/stat : 20358 (cosoco) R 20351 20354 15778 0 -1 4202560 136726 0 0 0 1733 18 0 0 20 0 9 0 559232869 2942087168 621377 33554432000 4194304 6211132 140721977760496 140380772108744 5409476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20359] ppid=20351 vsize=2873132 memory=916 CPUtime=17.5 cores=0-7
/proc/20354/task/20359/stat : 20359 (cosoco) R 20351 20354 15778 0 -1 4202560 204201 0 0 0 1726 24 0 0 20 0 9 0 559232869 2942087168 621377 33554432000 4194304 6211132 140721977760496 140380763716040 5157572 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20360] ppid=20351 vsize=2873132 memory=3624 CPUtime=17.53 cores=0-7
/proc/20354/task/20360/stat : 20360 (cosoco) R 20351 20354 15778 0 -1 4202560 178208 0 0 0 1733 20 0 0 20 0 9 0 559232869 2942087168 621377 33554432000 4194304 6211132 140721977760496 140380755323496 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20361] ppid=20351 vsize=2873132 memory=10656 CPUtime=17.31 cores=0-7
/proc/20354/task/20361/stat : 20361 (cosoco) R 20351 20354 15778 0 -1 4202560 158269 0 0 0 1713 18 0 0 20 0 9 0 559232869 2942087168 621377 33554432000 4194304 6211132 140721977760496 140380746930792 5148691 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20362] ppid=20351 vsize=2873132 memory=988 CPUtime=17.53 cores=0-7
/proc/20354/task/20362/stat : 20362 (cosoco) R 20351 20354 15778 0 -1 4202560 182267 0 0 0 1724 29 0 0 20 0 9 0 559232869 2942087168 621377 33554432000 4194304 6211132 140721977760496 140380738537928 5397400 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20363] ppid=20351 vsize=2873132 memory=6935054825532540783 CPUtime=17.52 cores=0-7
/proc/20354/task/20363/stat : 20363 (cosoco) R 20351 20354 15778 0 -1 4202560 147219 0 0 0 1720 32 0 0 20 0 9 0 559232869 2942087168 621377 33554432000 4194304 6211132 140721977760496 140380730145464 5155992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
Current children cumulated CPU time: 141.62 s
Current children cumulated vsize: 2873132 KiB
Current children cumulated memory: 2485508 KiB

[startup+20.8007 s]
/proc/loadavg: 8.34 7.86 6.90 9/199 20365
/proc/meminfo: memFree=29268224/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=2873132 memory=2486600 CPUtime=154.34 cores=0-7
/proc/20354/stat : 20354 (cosoco) S 20351 20354 15778 0 -1 1077944320 1664210 0 0 0 15185 249 0 0 20 0 9 0 559232709 2942087168 621650 33554432000 4194304 6211132 140721977760496 140721977758752 140380812037879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 718283 621650 884 493 0 711588 0
[pid=20354/tid=20356] ppid=20351 vsize=2873132 memory=1428 CPUtime=19.12 cores=0-7
/proc/20354/task/20356/stat : 20356 (cosoco) R 20351 20354 15778 0 -1 4202560 140414 0 0 0 1887 25 0 0 20 0 9 0 559232869 2942087168 621650 33554432000 4194304 6211132 140721977760496 140380788894152 5409497 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20357] ppid=20351 vsize=2873132 memory=4024 CPUtime=19.1 cores=0-7
/proc/20354/task/20357/stat : 20357 (cosoco) R 20351 20354 15778 0 -1 4202560 163945 0 0 0 1881 29 0 0 20 0 9 0 559232869 2942087168 621650 33554432000 4194304 6211132 140721977760496 140380780501448 5148711 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20358] ppid=20351 vsize=2873132 memory=6935054825532540783 CPUtime=19.11 cores=0-7
/proc/20354/task/20358/stat : 20358 (cosoco) R 20351 20354 15778 0 -1 4202560 138448 0 0 0 1892 19 0 0 20 0 9 0 559232869 2942087168 621650 33554432000 4194304 6211132 140721977760496 140380772108744 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20359] ppid=20351 vsize=2873132 memory=2484020 CPUtime=19.09 cores=0-7
/proc/20354/task/20359/stat : 20359 (cosoco) R 20351 20354 15778 0 -1 4202560 205284 0 0 0 1885 24 0 0 20 0 9 0 559232869 2942087168 621650 33554432000 4194304 6211132 140721977760496 140380763716040 5157594 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20360] ppid=20351 vsize=2873132 memory=9592 CPUtime=19.12 cores=0-7
/proc/20354/task/20360/stat : 20360 (cosoco) R 20351 20354 15778 0 -1 4202560 181095 0 0 0 1892 20 0 0 20 0 9 0 559232869 2942087168 621650 33554432000 4194304 6211132 140721977760496 140380755323496 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20361] ppid=20351 vsize=2873132 memory=2828 CPUtime=18.89 cores=0-7
/proc/20354/task/20361/stat : 20361 (cosoco) R 20351 20354 15778 0 -1 4202560 160894 0 0 0 1870 19 0 0 20 0 9 0 559232869 2942087168 621650 33554432000 4194304 6211132 140721977760496 140380746930616 5250256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20362] ppid=20351 vsize=2873132 memory=0 CPUtime=19.12 cores=0-7
/proc/20354/task/20362/stat : 20362 (cosoco) R 20351 20354 15778 0 -1 4202560 189465 0 0 0 1882 30 0 0 20 0 9 0 559232869 2942087168 621650 33554432000 4194304 6211132 140721977760496 140380738537928 5148711 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20363] ppid=20351 vsize=2873132 memory=33 CPUtime=19.12 cores=0-7
/proc/20354/task/20363/stat : 20363 (cosoco) R 20351 20354 15778 0 -1 4202560 148872 0 0 0 1879 33 0 0 20 0 9 0 559232869 2942087168 621650 33554432000 4194304 6211132 140721977760496 140380730145464 5250283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
Current children cumulated CPU time: 154.34 s
Current children cumulated vsize: 2873132 KiB
Current children cumulated memory: 2486600 KiB

[startup+22.4007 s]
/proc/loadavg: 8.31 7.86 6.90 9/199 20365
/proc/meminfo: memFree=29266400/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=2873132 memory=2487900 CPUtime=167.11 cores=0-7
/proc/20354/stat : 20354 (cosoco) S 20351 20354 15778 0 -1 1077944320 1685071 0 0 0 16459 252 0 0 20 0 9 0 559232709 2942087168 621975 33554432000 4194304 6211132 140721977760496 140721977758752 140380812037879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 718283 621975 884 493 0 711588 0
[pid=20354/tid=20356] ppid=20351 vsize=2873132 memory=988 CPUtime=20.72 cores=0-7
/proc/20354/task/20356/stat : 20356 (cosoco) R 20351 20354 15778 0 -1 4202560 141895 0 0 0 2047 25 0 0 20 0 9 0 559232869 2942087168 621975 33554432000 4194304 6211132 140721977760496 140380788894152 5193786 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20357] ppid=20351 vsize=2873132 memory=2024 CPUtime=20.7 cores=0-7
/proc/20354/task/20357/stat : 20357 (cosoco) R 20351 20354 15778 0 -1 4202560 165456 0 0 0 2041 29 0 0 20 0 9 0 559232869 2942087168 621975 33554432000 4194304 6211132 140721977760496 140380780501448 5149040 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20358] ppid=20351 vsize=2873132 memory=1428 CPUtime=20.71 cores=0-7
/proc/20354/task/20358/stat : 20358 (cosoco) R 20351 20354 15778 0 -1 4202560 139702 0 0 0 2052 19 0 0 20 0 9 0 559232869 2942087168 621975 33554432000 4194304 6211132 140721977760496 140380772108744 5409497 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20359] ppid=20351 vsize=2873132 memory=10656 CPUtime=20.69 cores=0-7
/proc/20354/task/20359/stat : 20359 (cosoco) R 20351 20354 15778 0 -1 4202560 213640 0 0 0 2044 25 0 0 20 0 9 0 559232869 2942087168 621975 33554432000 4194304 6211132 140721977760496 140380763716024 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20360] ppid=20351 vsize=2873132 memory=988 CPUtime=20.72 cores=0-7
/proc/20354/task/20360/stat : 20360 (cosoco) R 20351 20354 15778 0 -1 4202560 183844 0 0 0 2051 21 0 0 20 0 9 0 559232869 2942087168 621975 33554432000 4194304 6211132 140721977760496 140380755323496 5148716 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20361] ppid=20351 vsize=2873132 memory=2024 CPUtime=20.46 cores=0-7
/proc/20354/task/20361/stat : 20361 (cosoco) R 20351 20354 15778 0 -1 4202560 162724 0 0 0 2027 19 0 0 20 0 9 0 559232869 2942087168 621975 33554432000 4194304 6211132 140721977760496 140380746930792 5250266 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20362] ppid=20351 vsize=2873132 memory=6935054825532540783 CPUtime=20.72 cores=0-7
/proc/20354/task/20362/stat : 20362 (cosoco) R 20351 20354 15778 0 -1 4202560 191717 0 0 0 2041 31 0 0 20 0 9 0 559232869 2942087168 621975 33554432000 4194304 6211132 140721977760496 140380738537928 5148716 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20363] ppid=20351 vsize=2873132 memory=9592 CPUtime=20.71 cores=0-7
/proc/20354/task/20363/stat : 20363 (cosoco) R 20351 20354 15778 0 -1 4202560 150300 0 0 0 2038 33 0 0 20 0 9 0 559232869 2942087168 621975 33554432000 4194304 6211132 140721977760496 140380730145464 5148716 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
Current children cumulated CPU time: 167.11 s
Current children cumulated vsize: 2873132 KiB
Current children cumulated memory: 2487900 KiB

[startup+23.2007 s]
/proc/loadavg: 8.31 7.86 6.90 9/199 20365
/proc/meminfo: memFree=29265408/32770624 swapFree=66959828/67108860
[pid=20354] ppid=20351 vsize=2873132 memory=2488468 CPUtime=173.5 cores=0-7
/proc/20354/stat : 20354 (cosoco) S 20351 20354 15778 0 -1 1077944320 1691181 0 0 0 17097 253 0 0 20 0 9 0 559232709 2942087168 622117 33554432000 4194304 6211132 140721977760496 140721977758752 140380812037879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
/proc/20354/statm: 718283 622117 884 493 0 711588 0
[pid=20354/tid=20356] ppid=20351 vsize=2873132 memory=2487328 CPUtime=21.52 cores=0-7
/proc/20354/task/20356/stat : 20356 (cosoco) R 20351 20354 15778 0 -1 4202560 142845 0 0 0 2127 25 0 0 20 0 9 0 559232869 2942087168 622117 33554432000 4194304 6211132 140721977760496 140380788894152 5158127 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20357] ppid=20351 vsize=2873132 memory=6935054825532540783 CPUtime=21.5 cores=0-7
/proc/20354/task/20357/stat : 20357 (cosoco) R 20351 20354 15778 0 -1 4202560 165875 0 0 0 2121 29 0 0 20 0 9 0 559232869 2942087168 622117 33554432000 4194304 6211132 140721977760496 140380780501448 5250283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20358] ppid=20351 vsize=2873132 memory=10656 CPUtime=21.51 cores=0-7
/proc/20354/task/20358/stat : 20358 (cosoco) R 20351 20354 15778 0 -1 4202560 139748 0 0 0 2132 19 0 0 20 0 9 0 559232869 2942087168 622117 33554432000 4194304 6211132 140721977760496 140380772108744 5409489 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20359] ppid=20351 vsize=2873132 memory=988 CPUtime=21.49 cores=0-7
/proc/20354/task/20359/stat : 20359 (cosoco) R 20351 20354 15778 0 -1 4202560 215701 0 0 0 2124 25 0 0 20 0 9 0 559232869 2942087168 622117 33554432000 4194304 6211132 140721977760496 140380763716024 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20360] ppid=20351 vsize=2873132 memory=2024 CPUtime=21.52 cores=0-7
/proc/20354/task/20360/stat : 20360 (cosoco) R 20351 20354 15778 0 -1 4202560 185498 0 0 0 2131 21 0 0 20 0 9 0 559232869 2942087168 622117 33554432000 4194304 6211132 140721977760496 140380755323496 5158052 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20361] ppid=20351 vsize=2873132 memory=6935054825532540783 CPUtime=21.25 cores=0-7
/proc/20354/task/20361/stat : 20361 (cosoco) R 20351 20354 15778 0 -1 4202560 163362 0 0 0 2106 19 0 0 20 0 9 0 559232869 2942087168 622117 33554432000 4194304 6211132 140721977760496 140380746930616 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20362] ppid=20351 vsize=2873132 memory=3624 CPUtime=21.52 cores=0-7
/proc/20354/task/20362/stat : 20362 (cosoco) R 20351 20354 15778 0 -1 4202560 191931 0 0 0 2121 31 0 0 20 0 9 0 559232869 2942087168 622117 33554432000 4194304 6211132 140721977760496 140380738537928 5156216 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
[pid=20354/tid=20363] ppid=20351 vsize=2873132 memory=2474584 CPUtime=21.51 cores=0-7
/proc/20354/task/20363/stat : 20363 (cosoco) R 20351 20354 15778 0 -1 4202560 150428 0 0 0 2118 33 0 0 20 0 9 0 559232869 2942087168 622117 33554432000 4194304 6211132 140721977760496 140380730145464 5155849 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38305792 140721977766934 140721977767026 140721977767026 140721977769934 0
Current children cumulated CPU time: 173.5 s
Current children cumulated vsize: 2873132 KiB
Current children cumulated memory: 2488468 KiB

[startup+23.6006 s]*
/proc/loadavg: 8.31 7.86 6.90 2/191 20365
/proc/meminfo: memFree=29512688/32770624 swapFree=66959828/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+23.7095 s]
/proc/loadavg: 8.31 7.86 6.90 2/191 20365
/proc/meminfo: memFree=29512688/32770624 swapFree=66959828/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 23.7693
CPU time (s): 176.624
CPU user time (s): 173.887
CPU system time (s): 2.73632
CPU usage (%): 743.075
Max. virtual memory (cumulated for all children) (KiB): 2873132
Max. memory (cumulated for all children) (KiB): 2494252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.887
system time used= 2.73632
maximum resident set size= 2496948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1700720
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= 31454
involuntary context switches= 1462


# summary of solver processes directly reported to runsolver:
#   pid: 20354
#   total CPU time (s): 176.624
#   total CPU user time (s): 173.887
#   total CPU system time (s): 2.73632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147421 second user time and 0.239245 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-30 09:46:38
IDJOB=4409965
IDBENCH=134866
IDSOLVER=2878
FILE ID=node127/4409965-1569829639
RUNJOBID= node127-1569817234-15805
PBS_JOBID= 21705916
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-fx/Pb-fx84.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409965-1569829639/watcher-4409965-1569829639 -o /tmp/evaluation-result-4409965-1569829639/solver-4409965-1569829639 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4409965-1569829639.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1336b893a40905842b4acbe054af1d4e
RANDOM SEED=1269703820

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
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:        31755156 kB
MemAvailable:   31816672 kB
Buffers:           99700 kB
Cached:           289340 kB
SwapCached:        45128 kB
Active:           271116 kB
Inactive:         170272 kB
Active(anon):       4496 kB
Inactive(anon):   129344 kB
Active(file):     266620 kB
Inactive(file):    40928 kB
Unevictable:      107512 kB
Mlocked:          107512 kB
SwapTotal:      67108860 kB
SwapFree:       66959828 kB
Dirty:              3000 kB
Writeback:             0 kB
AnonPages:        126004 kB
Mapped:            26548 kB
Shmem:             73072 kB
Slab:             168544 kB
SReclaimable:     139608 kB
SUnreclaim:        28936 kB
KernelStack:        3712 kB
PageTables:         5884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 62028 MiB
End job on node127 at 2019-09-30 09:47:02