0.00/0.00	c
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4118597-1467224431.opb
0.00/0.00	c File size is 483263 bytes.
1800.00/1800.30	c Sum of soft weights:        12775
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	c |  Problem Type:             Weighted                                                                   |
1800.00/1800.30	c |  Number of variables:          4451                                                                   |
1800.00/1800.30	c |  Number of hard clauses:      10149                                                                   |
1800.00/1800.30	c |  Number of soft clauses:       4391                                                                   |
1800.00/1800.30	c |  Number of cardinality:           1                                                                   |
1800.00/1800.30	c |  Number of PB :                3988                                                                   |
1800.00/1800.30	c |  Parse time:                   0.06 s                                                                 |
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	o 1929
1800.00/1800.30	o 1833
1800.00/1800.30	o 1814
1800.00/1800.30	o 1745
1800.00/1800.30	o 1630
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	v -x464 x1 -x273 -x465 -x276 -x466 -x277 x467 x295 -x468 -x296 x469 x301 -x470 -x304 x471 x305 x472 x343 x473 x344 x474 x349 -x475 -x352 x476 x353 -x477 -x358 -x478 -x363 -x479 -x366 -x480 -x367 -x481 -x2 -x285 -x482 -x291 -x483 x303 -x484 -x485 x351 -x486 -x487 x378 -x488 -x384 -x489 -x428 -x490 -x491 -x492 -x443 -x493 -x452 -x494 x495 x3 -x496 x497 -x498 -x499 -x365 -x500 -x371 x501 x4 -x502 x503 x504 -x505 -x506 -x5 -x507 -x508 -x509 -x510 -x511 -x512 -x6 -x513 -x514 x298 -x515 -x308 -x516 -x517 -x518 x346 -x519 x356 -x520 -x521 -x360 -x522 -x370 -x523 -x7 -x524 -x525 -x526 -x527 -x528 -x529 -x401 -x530 -x407 -x531 -x532 -x462 -x533 -x8 -x534 -x535 x300 -x536 x302 -x537 -x538 -x539 x348 -x540 x350 -x541 -x542 -x362 -x543 -x364 -x544 -x9 -x545 -x546 -x547 -x548 -x420 -x549 -x426 -x550 -x435 -x551 -x441 -x552 -x10 -x235 -x553 -x236 -x554 -x241 -x555 -x242 -x556 -x243 -x557 -x558 -x294 -x559 -x560 -x297 -x561 -x562 -x563 -x564 -x345 -x565 -x566 -x567 -x359 -x568 -x569 -x11 -x259 -x570 -x260 -x571 -x572 -x272 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x390 -x580 -x396 -x581 -x582 -x583 -x12 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x292 -x593 -x594 -x595 -x311 -x596 -x597 -x598 -x599 -x600 -x601 -x13 -x602 -x603 -x604 -x605 -x606 -x607 -x320 -x608 -x609 -x610 -x611 -x612 -x613 -x14 -x614 -x615 -x616 -x617 x307 -x618 -x619 x355 -x620 -x369 -x621 -x15 -x622 -x623 -x624 -x625 -x626 -x461 -x627 -x16 x293 -x628 -x629 -x630 -x631 -x632 x306 -x633 -x327 -x634 -x328 -x635 -x636 -x637 x354 -x638 -x639 -x640 -x368 -x641 -x17 -x336 -x642 -x342 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x447 -x650 -x651 -x459 -x652 -x18 -x653 -x654 -x655 -x656 -x657 -x658 -x19 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x21 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x24 -x683 -x684 -x685 -x686 -x687 -x688 -x25 -x689 -x690 -x691 -x692 -x26 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x27 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x28 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x29 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x30 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x31 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x32 -x751 -x752 x753 x754 -x755 -x756 x757 x758 x759 -x760 -x761 -x762 x763 x764 -x765 x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x33 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x34 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x299 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x347 -x806 -x807 -x808 -x809 -x361 -x810 -x811 -x812 -x813 -x35 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x411 -x822 -x417 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x36 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x37 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x38 -x849 -x850 x851 -x852 x853 x854 -x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x39 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x40 -x873 -x874 -x875 x876 x877 x878 x879 x880 -x881 -x882 -x883 -x41 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x42 -x891 -x892 -x278 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x376 -x900 -x379 -x901 x380 -x902 -x43 -x903 -x904 -x905 -x280 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x373 -x918 -x919 -x920 -x921 -x383 -x922 -x399 -x923 -x402 -x924 -x403 -x925 -x433 -x926 x451 -x927 -x455 -x928 -x44 -x929 -x930 -x282 -x931 -x284 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x375 -x945 -x946 x377 -x947 -x948 -x949 -x418 -x950 -x951 -x422 -x952 x427 -x953 -x436 -x954 -x437 -x955 -x45 -x232 -x956 -x233 -x957 -x958 -x959 -x960 -x961 -x245 -x962 -x246 -x963 -x964 -x256 -x965 -x261 -x966 -x262 -x967 -x263 -x968 -x264 -x969 -x970 -x971 -x972 -x279 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x372 -x990 -x991 -x992 -x993 -x994 x388 -x995 -x391 -x996 x392 -x997 -x998 -x999 -x1000 -x46 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x274 -x1016 -x1017 -x1018 -x1019 -x1020 -x283 -x1021 -x286 -x1022 -x287 -x1023 -x1024 -x1025 -x1026 -x1027 -x313 -x1028 -x318 -x1029 -x1030 -x322 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x47 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x289 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x382 -x1059 -x432 -x1060 x450 -x1061 -x454 -x1062 -x48 x275 -x1063 -x1064 -x1065 -x1066 -x1067 -x288 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x329 -x1076 -x334 -x1077 -x337 -x1078 -x338 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x381 -x1092 -x1093 -x430 -x1094 x431 -x1095 -x1096 -x1097 x448 -x1098 x449 -x1099 x453 -x1100 -x49 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x50 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x429 -x1136 -x1137 -x1138 -x1139 -x1140 -x52 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x53 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x54 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x55 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x56 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x57 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x281 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x374 -x1320 -x1321 -x1322 -x1323 x409 -x1324 -x412 -x1325 x413 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x58 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x59 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x60 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x61 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x62 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x63 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x64 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x65 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x66 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x67 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x70 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x71 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x72 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x73 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x74 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x75 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x76 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x77 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x78 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x79 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x398 -x1657 x400 -x1658 -x425 -x1659 -x440 -x1660 -x80 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x249 -x1667 -x250 -x1668 -x269 -x1669 -x270 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x385 -x1684 x395 -x1685 -x406 -x1686 -x81 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x315 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x82 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x405 -x1730 -x1731 -x83 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x331 -x1740 -x341 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x404 -x1757 -x1758 -x1759 -x1760 -x84 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x85 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x88 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x89 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x90 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x91 -x1858 -x1859 -x1860 -x1861 x1862 x1863 -x1864 -x1865 x1866 x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 x1875 -x1876 x1877 x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 x1886 x1887 x1888 -x1889 -x1890 x1891 x1892 x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x92 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x416 -x1937 -x1938 -x1939 -x1940 -x93 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 x94 -x1957 -x1958 x1959 -x1960 x1961 x1962 -x1963 x1964 x1965 -x1966 -x1967 -x1968 x1969 -x1970 x1971 -x1972 x1973 -x1974 x1975 -x1976 -x1977 x95 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 x1986 x1987 x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x96 -x1994 -x1995 -x1996 -x1997 -x253 -x1998 -x254 -x1999 -x257 -x2000 -x258 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x387 -x2014 x389 -x2015 -x2016 -x2017 -x97 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x317 -x2032 -x319 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x419 -x2040 -x98 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x424 -x2050 -x439 -x2051 -x99 -x2052 -x2053 -x333 -x2054 -x335 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x423 -x2071 -x2072 -x2073 x438 -x2074 -x100 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x103 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x104 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x105 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x107 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 x2163 x2164 -x2165 x2166 x2167 -x2168 -x2169 x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x108 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x408 -x2200 x410 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x109 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x110 -x2222 -x2223 -x2224 x2225 -x2226 x2227 x2228 -x2229 -x2230 -x2231 -x2232 x111 -x2233 -x2234 -x2235 x2236 -x2237 x2238 x2239 -x2240 -x2241 x2242 x2243 x2244 x2245 -x2246 -x2247 -x2248 -x112 -x2249 -x2250 -x2251 -x2252 -x237 -x2253 -x238 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x314 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x113 -x234 -x2282 -x2283 -x2284 -x2285 -x248 -x2286 -x267 -x2287 -x268 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x394 -x2297 -x2298 -x114 x239 -x2299 x240 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x265 -x2309 -x266 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x330 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x393 -x2336 -x2337 -x2338 -x2339 -x115 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x247 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x118 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x119 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x120 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x121 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x122 -x2474 x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 x2497 -x2498 -x2499 x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 x2514 x2515 -x2516 -x2517 x2518 x2519 x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x123 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x251 -x2539 -x252 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x386 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x124 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x125 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 x2628 x2629 x2630 -x2631 -x2632 x126 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 -x2646 -x2647 x2648 x2649 -x2650 -x2651 -x2652 x2653 x2654 x2655 x2656 -x2657 -x2658 -x2659 x127 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x324 -x2672 -x2673 x2674 -x2675 x2676 x128 x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 x310 -x2695 -x2696 -x2697 -x2698 -x2699 -x323 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 x2706 x2707 x2708 -x2709 -x2710 x2711 -x2712 x129 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 x2722 -x2723 -x2724 x130 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 x2743 -x2744 -x132 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x133 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 x2773 x2774 -x2775 x2776 x134 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 x135 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 x2819 x2820 x2821 -x2822 -x2823 x136 -x2824 x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 x2864 x2865 x2866 x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 x137 -x2874 -x2875 x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x316 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 x2910 -x2911 x2912 x2913 -x2914 -x2915 -x2916 -x2917 -x138 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x139 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 x2966 x2967 x2968 -x2969 -x2970 x140 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 x2986 -x2987 -x2988 x2989 x2990 x2991 -x2992 -x2993 -x141 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x340 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x457 -x3010 -x142 -x3011 -x3012 -x3013 -x3014 -x3015 -x143 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x147 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x148 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 x149 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x415 -x3111 -x3112 -x3113 -x151 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x152 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 x3134 x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x154 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x155 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x339 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x157 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x158 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x160 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 x3274 x3275 -x3276 x3277 x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 x3286 x3287 x3288 x3289 x3290 x3291 -x3292 -x3293 x3294 -x3295 -x3296 x3297 -x3298 -x3299 -x3300 -x162 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x332 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x414 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 x164 -x3365 -x3366 -x3367 -x3368 x3369 x3370 -x3371 x3372 x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 x3381 x3382 x3383 x3384 x3385 x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 x3393 x165 -x3394 -x3395 -x3396 -x3397 -x3398 x3399 -x3400 x3401 x3402 x3403 x3404 -x3405 -x3406 x3407 x3408 -x3409 -x3410 -x3411 -x3412 x3413 -x3414 x3415 -x3416 -x166 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x168 -x3425 -x3426 -x3427 -x3428 -x169 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x170 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x171 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x172 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 x3459 x3460 x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x173 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x174 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x175 -x3492 -x3493 x3494 x3495 -x3496 x3497 -x3498 -x3499 -x3500 x176 -x3501 -x3502 x3503 x3504 x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 x3527 -x3528 x3529 -x3530 x3531 -x3532 -x180 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x181 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 x3556 -x3557 -x3558 x3559 x3560 -x3561 -x3562 x182 -x3563 x3564 x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 x3589 -x3590 x3591 -x3592 x3593 x3594 -x3595 -x3596 -x3597 -x183 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x184 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x185 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x3655 x3656 -x3657 x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 -x3673 x3674 -x3675 x3676 x3677 -x3678 -x3679 -x3680 -x3681 x3682 -x3683 x3684 -x3685 x197 -x3686 -x3687 -x3688 x3689 -x3690 -x3691 x3692 x3693 x3694 -x3695 -x3696 -x3697 x3698 -x3699 x3700 x199 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 x3711 x3712 x3713 -x3714 x3715 -x3716 x3717 x200 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 x3728 x3729 -x3730 -x3731 -x3732 -x201 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x202 -x3740 -x3741 -x3742 -x3743 -x3744 x3745 x3746 -x3747 -x3748 x3749 x203 -x3750 x3751 x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x204 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x205 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 x206 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x3800 x3801 -x3802 x3803 x3804 x3805 -x3806 -x3807 -x3808 x3809 x3810 x3811 x3812 -x3813 -x3814 x3815 -x3816 -x3817 x3818 -x3819 -x3820 -x207 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x208 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 x209 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866 x3867 x3868 -x3869 -x3870 x3871 x3872 x3873 x3874 -x3875 -x3876 -x3877 -x3878 x210 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 x3885 x3886 x3887 x3888 x3889 x3890 -x3891 -x3892 x3893 x3894 -x3895 x3896 x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 x3905 x3906 x3907 -x3908 x3909 x212 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 x3926 x3927 -x3928 x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 x3937 -x3938 x3939 -x3940 x3941 x213 -x3942 -x3943 -x3944 x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 x3953 -x3954 x3955 x3956 -x3957 x3958 -x3959 -x3960 x3961 x3962 -x3963 -x3964 -x214 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 x215 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 x3987 -x3988 x3989 x3990 -x3991 x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 x3999 x216 -x4000 -x4001 -x4002 x4003 x4004 -x4005 x4006 -x4007 -x4008 x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x217 -x4016 -x4017 -x4018 x4019 x4020 -x4021 -x4022 x4023 x4024 x4025 -x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 x4039 x4040 x4041 x4042 x4043 -x4044 x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x218 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x219 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097 x220 -x4098 -x4099 x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 x4110 x4111 x4112 x4113 -x4114 -x4115 -x4116 -x4117 x221 -x4118 -x4119 -x4120 x4121 x4122 x4123 x4124 x4125 -x4126 -x4127 x4128 -x4129 x4130 -x4131 -x4132 -x222 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x223 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 x224 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 x4248 x4249 x4250 -x4251 -x4252 -x4253 x4254 x4255 x4256 x4257 x4258 -x4259 -x4260 -x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x225 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 x4278 -x4279 -x4280 x4281 x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 x4290 x4291 x4292 x4293 -x4294 x4295 -x4296 -x4297 x4298 -x4299 -x4300 -x226 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 x227 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 x4346 x4347 -x4348 x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 -x4357 x4358 x4359 x4360 -x4361 x4362 x4363 -x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 x228 -x4371 -x4372 -x4373 -x4374 x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 x4383 -x4384 -x4385 x4386 -x4387 x4388 -x4389 -x4390 x4391 x4392 -x4393 x4394 -x4395 -x4396 x4397 -x4398 -x4399 -x4400 -x4401 x229 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 x4413 -x4414 x4415 -x4416 x4417 x230 -x4418 -x4419 -x4420 x4421 x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x231 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 x4440 -x4441 -x4442 -x4443 x4444 x4445 -x4446 x4447 -x4448 x4449 -x4450 -x4451 x463 -x20 x22 x23 x51 -x68 x69 x86 -x87 -x101 x102 -x106 -x116 x117 x131 x144 -x145 -x146 -x150 x153 x156 -x159 x161 -x163 x167 x177 -x178 x179 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x198 x211 -x244 -x255 -x271 -x290 -x309 -x312 -x321 -x325 -x326 -x357 -x397 -x421 -x434 -x442 x444 -x445 -x446 -x456 -x458 -x460 

OK	1630

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118597-1467224431/watcher-4118597-1467224431 -o /tmp/evaluation-result-4118597-1467224431/solver-4118597-1467224431 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467213050-5997 --watchdog 1960 open-wbo HOME/instance-4118597-1467224431.opb 

pid=7569
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 7572
/proc/meminfo: memFree=30024408/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=3072 CPUtime=0 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 3546836 3145728 373 33554432000 4194304 6059633 140733993296656 140734492104616 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 768 373 251 456 0 186 0

[startup+0.100167 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 7572
/proc/meminfo: memFree=30024408/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=17464 CPUtime=0.09 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 3328 0 0 0 9 0 0 0 20 0 1 0 3546836 17883136 2972 33554432000 4194304 6059633 140733993296656 140734492104616 5043132 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 4366 2972 172 456 0 3902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17464

[startup+0.20035 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 7572
/proc/meminfo: memFree=30024408/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=17860 CPUtime=0.19 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 3503 0 0 0 19 0 0 0 20 0 1 0 3546836 18288640 3146 33554432000 4194304 6059633 140733993296656 140734492104616 5268791 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 4465 3146 174 456 0 4001 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17860

[startup+0.300278 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 7572
/proc/meminfo: memFree=30024408/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=18500 CPUtime=0.29 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 3657 0 0 0 29 0 0 0 20 0 1 0 3546836 18944000 3298 33554432000 4194304 6059633 140733993296656 140734492104616 5268791 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 4625 3298 174 456 0 4161 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18500

[startup+0.700245 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 7572
/proc/meminfo: memFree=30024408/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=19964 CPUtime=0.68 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 4027 0 0 0 68 0 0 0 20 0 1 0 3546836 20443136 3666 33554432000 4194304 6059633 140733993296656 140733993295416 5268791 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 4991 3666 174 456 0 4527 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19964

[startup+1.50028 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 7573
/proc/meminfo: memFree=30009164/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=24708 CPUtime=1.49 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 5236 0 0 0 148 1 0 0 20 0 1 0 3546836 25300992 5377 33554432000 4194304 6059633 140733993296656 140733993295416 4277740 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 6177 5377 192 456 0 5713 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24708

[startup+3.10029 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 7573
/proc/meminfo: memFree=30002652/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=24776 CPUtime=3.09 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 5633 0 0 0 308 1 0 0 20 0 1 0 3546836 25370624 5391 33554432000 4194304 6059633 140733993296656 140733993295144 4246280 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 6194 5391 194 456 0 5730 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24776

[startup+6.30028 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 7573
/proc/meminfo: memFree=30002068/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=25588 CPUtime=6.28 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 6784 0 0 0 627 1 0 0 20 0 1 0 3546836 26202112 5593 33554432000 4194304 6059633 140733993296656 140733993294808 4261780 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 6397 5593 194 456 0 5933 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25588

[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 7573
/proc/meminfo: memFree=29995844/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=32696 CPUtime=12.68 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 8143 0 0 0 1267 1 0 0 20 0 1 0 3546836 33480704 7356 33554432000 4194304 6059633 140733993296656 140733993295416 4261745 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 8174 7356 195 456 0 7710 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32696

[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 7573
/proc/meminfo: memFree=29980416/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=37092 CPUtime=25.49 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 8337 0 0 0 2547 2 0 0 20 0 1 0 3546836 37982208 8563 33554432000 4194304 6059633 140733993296656 140733993295416 4277477 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 9273 8563 195 456 0 8809 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37092

[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 7573
/proc/meminfo: memFree=29980060/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=37564 CPUtime=51.08 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 8477 0 0 0 5106 2 0 0 20 0 1 0 3546836 38465536 8699 33554432000 4194304 6059633 140733993296656 140733993295416 4277781 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 9391 8699 195 456 0 8927 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37564

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 7574
/proc/meminfo: memFree=29964996/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=52092 CPUtime=102.28 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 9868 0 0 0 10226 2 0 0 20 0 1 0 3546836 53342208 12364 33554432000 4194304 6059633 140733993296656 140733993295416 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 13023 12364 195 456 0 12559 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 52092

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 7575
/proc/meminfo: memFree=29957236/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=59276 CPUtime=162.27 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 10683 0 0 0 16224 3 0 0 20 0 1 0 3546836 60698624 14146 33554432000 4194304 6059633 140733993296656 140733993295416 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 14819 14146 195 456 0 14355 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 59276

[startup+222.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 7576
/proc/meminfo: memFree=29957244/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=59276 CPUtime=222.26 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 10698 0 0 0 22223 3 0 0 20 0 1 0 3546836 60698624 14161 33554432000 4194304 6059633 140733993296656 140733993295416 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 14819 14161 195 456 0 14355 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 59276

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 7577
/proc/meminfo: memFree=29950724/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=63696 CPUtime=282.25 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 10790 0 0 0 28222 3 0 0 20 0 1 0 3546836 65224704 15270 33554432000 4194304 6059633 140733993296656 140733993295416 4261657 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 15924 15270 195 456 0 15460 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 63696

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 7579
/proc/meminfo: memFree=29933456/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=63972 CPUtime=342.23 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 10888 0 0 0 34220 3 0 0 20 0 1 0 3546836 65507328 15384 33554432000 4194304 6059633 140733993296656 140733993294840 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 15993 15384 195 456 0 15529 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 63972

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 7580
/proc/meminfo: memFree=29914844/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=84300 CPUtime=402.21 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 11682 0 0 0 40218 3 0 0 20 0 1 0 3546836 86323200 18877 33554432000 4194304 6059633 140733993296656 140733993294808 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 21075 18877 195 456 0 20611 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 84300

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 7581
/proc/meminfo: memFree=29912920/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=84300 CPUtime=462.2 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 11684 0 0 0 46217 3 0 0 20 0 1 0 3546836 86323200 19390 33554432000 4194304 6059633 140733993296656 140733993295416 4277682 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 21075 19390 195 456 0 20611 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 84300

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 7582
/proc/meminfo: memFree=29910872/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=84300 CPUtime=522.2 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 11690 0 0 0 52217 3 0 0 20 0 1 0 3546836 86323200 19907 33554432000 4194304 6059633 140733993296656 140733993295416 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 21075 19907 195 456 0 20611 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 84300

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7586
/proc/meminfo: memFree=29908848/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=84300 CPUtime=582.19 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 11695 0 0 0 58216 3 0 0 20 0 1 0 3546836 86323200 19912 33554432000 4194304 6059633 140733993296656 140733993295416 4277832 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 21075 19912 195 456 0 20611 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 84300


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7594
/proc/meminfo: memFree=29852228/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=942.13 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 15430 0 0 0 94206 7 0 0 20 0 1 0 3546836 155987968 33348 33554432000 4194304 6059633 140733993296656 140733993294856 4278360 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 33348 195 456 0 37619 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 152332

[startup+1002.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/175 7595
/proc/meminfo: memFree=29884436/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=103012 CPUtime=1002.13 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 15943 0 0 0 100205 8 0 0 20 0 1 0 3546836 105484288 25179 33554432000 4194304 6059633 140733993296656 140733993295144 4277781 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 25753 25179 195 456 0 25289 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 103012

[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/175 7596
/proc/meminfo: memFree=29884440/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=103012 CPUtime=1062.12 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 16453 0 0 0 106203 9 0 0 20 0 1 0 3546836 105484288 25179 33554432000 4194304 6059633 140733993296656 140733993295144 4277822 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 25753 25179 195 456 0 25289 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 103012

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 7597
/proc/meminfo: memFree=29852236/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=1122.11 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 17475 0 0 0 112201 10 0 0 20 0 1 0 3546836 155987968 33355 33554432000 4194304 6059633 140733993296656 140733993294856 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 33355 195 456 0 37619 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 152332

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 7601
/proc/meminfo: memFree=29846012/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=1182.1 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 17994 0 0 0 118199 11 0 0 20 0 1 0 3546836 155987968 34897 33554432000 4194304 6059633 140733993296656 140733993295416 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 34897 195 456 0 37619 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 152332

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 7649
/proc/meminfo: memFree=29987268/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=103012 CPUtime=1242.09 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 18506 0 0 0 124198 11 0 0 20 0 1 0 3546836 105484288 25189 33554432000 4194304 6059633 140733993296656 140733993295144 4277832 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 25753 25189 195 456 0 25289 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 103012

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 7650
/proc/meminfo: memFree=29965628/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=103012 CPUtime=1302.08 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 19020 0 0 0 130196 12 0 0 20 0 1 0 3546836 105484288 25192 33554432000 4194304 6059633 140733993296656 140733993295144 4255366 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 25753 25192 195 456 0 25289 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 103012

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7651
/proc/meminfo: memFree=29961856/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=103012 CPUtime=1362.08 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 19531 0 0 0 136195 13 0 0 20 0 1 0 3546836 105484288 25192 33554432000 4194304 6059633 140733993296656 140733993295144 4277832 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 25753 25192 195 456 0 25289 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 103012

[startup+1422.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 7652
/proc/meminfo: memFree=29959808/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=103012 CPUtime=1422.07 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 20044 0 0 0 142194 13 0 0 20 0 1 0 3546836 105484288 25193 33554432000 4194304 6059633 140733993296656 140733993295416 4278352 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 25753 25193 195 456 0 25289 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 103012

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 7653
/proc/meminfo: memFree=29918912/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=1482.05 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 21063 0 0 0 148191 14 0 0 20 0 1 0 3546836 155987968 33365 33554432000 4194304 6059633 140733993296656 140733993295144 4277968 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 33365 195 456 0 37619 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 152332

[startup+1542.31 s]
/proc/loadavg: 2.10 2.03 2.01 3/175 7655
/proc/meminfo: memFree=29896572/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=1542.05 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 21580 0 0 0 154190 15 0 0 20 0 1 0 3546836 155987968 33880 33554432000 4194304 6059633 140733993296656 140733993294856 4262761 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 33880 195 456 0 37619 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 152332

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/175 7656
/proc/meminfo: memFree=29896024/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=1602.03 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 22093 0 0 0 160187 16 0 0 20 0 1 0 3546836 155987968 33880 33554432000 4194304 6059633 140733993296656 140733993294856 4277710 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 33880 195 456 0 37619 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 152332

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 7657
/proc/meminfo: memFree=29896316/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=1662.03 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 22607 0 0 0 166186 17 0 0 20 0 1 0 3546836 155987968 33880 33554432000 4194304 6059633 140733993296656 140733993294856 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 33880 195 456 0 37619 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 152332

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/174 7658
/proc/meminfo: memFree=29898568/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=1722.01 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 23125 0 0 0 172184 17 0 0 20 0 1 0 3546836 155987968 33372 33554432000 4194304 6059633 140733993296656 140733993294856 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 33372 195 456 0 37619 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 152332

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 7663
/proc/meminfo: memFree=29929384/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=103012 CPUtime=1782.01 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 23133 0 0 0 178183 18 0 0 20 0 1 0 3546836 105484288 25200 33554432000 4194304 6059633 140733993296656 140733993295144 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 25753 25200 195 456 0 25289 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 103012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 7663
/proc/meminfo: memFree=29893248/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=1800 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 23643 0 0 0 179982 18 0 0 20 0 1 0 3546836 155987968 34908 33554432000 4194304 6059633 140733993296656 140733993294856 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 34908 195 456 0 37619 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 152332

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

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

[startup+1800.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 7663
/proc/meminfo: memFree=29893248/32872528 swapFree=447588/480292
[pid=7572] ppid=7569 vsize=152332 CPUtime=1800 cores=0,2,4,6
/proc/7572/stat : 7572 (open-wbo) R 7569 7572 3935 0 -1 4202496 23643 0 0 0 179982 18 0 0 20 0 1 0 3546836 155987968 34908 33554432000 4194304 6059633 140733993296656 140733993294856 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/7572/statm: 38083 34908 195 456 0 37619 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 152332

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.83
CPU system time (s): 0.189971
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 152332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.189971
maximum resident set size= 149872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23646
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= 17
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.15037 second user time and 7.30989 second system time

The end

Begin job on node104 at 2016-06-29 20:20:31
IDJOB=4118597
IDBENCH=111511
IDSOLVER=2547
FILE ID=node104/4118597-1467224431
RUNJOBID= node104-1467213050-5997
PBS_JOBID= 19997589
Free space on /tmp= 71724 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross22-096.lin.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118597-1467224431/watcher-4118597-1467224431 -o /tmp/evaluation-result-4118597-1467224431/solver-4118597-1467224431 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467213050-5997 --watchdog 1960  open-wbo HOME/instance-4118597-1467224431.opb

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

MD5SUM BENCH= cc73ecea61b27a8c48752a7f4c9fa818
RANDOM SEED=867652868

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.66
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
cpu MHz		: 2666.334
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 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 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 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
cpu MHz		: 2666.334
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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 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 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 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
cpu MHz		: 2666.334
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 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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 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 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 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
cpu MHz		: 2666.334
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
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
cpu MHz		: 2666.334
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 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 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 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:       32872528 kB
MemFree:        30025052 kB
Buffers:          131820 kB
Cached:          1404596 kB
SwapCached:            0 kB
Active:          1023308 kB
Inactive:         608384 kB
Active(anon):      97964 kB
Inactive(anon):        0 kB
Active(file):     925344 kB
Inactive(file):   608384 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5260 kB
Writeback:             0 kB
AnonPages:        575176 kB
Mapped:            13956 kB
Shmem:               204 kB
Slab:             605568 kB
SReclaimable:      49492 kB
SUnreclaim:       556076 kB
KernelStack:        1464 kB
PageTables:         4928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     676028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node104 at 2016-06-29 20:50:31