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-4118849-1467229258.opb
0.00/0.00	c File size is 331670 bytes.
1800.01/1800.30	c Sum of soft weights:        14299
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c |  Problem Type:             Weighted                                                                   |
1800.01/1800.30	c |  Number of variables:          4222                                                                   |
1800.01/1800.30	c |  Number of hard clauses:       5496                                                                   |
1800.01/1800.30	c |  Number of soft clauses:       4217                                                                   |
1800.01/1800.30	c |  Number of cardinality:           1                                                                   |
1800.01/1800.30	c |  Number of PB :                4039                                                                   |
1800.01/1800.30	c |  Parse time:                   0.04 s                                                                 |
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	o 3936
1800.01/1800.30	o 3746
1800.01/1800.30	o 3721
1800.01/1800.30	o 3663
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	v -x184 -x1 -x92 -x185 -x93 -x186 -x97 -x187 -x98 -x188 -x103 -x189 -x104 -x190 -x111 -x191 -x112 -x192 -x113 -x193 -x114 -x194 x115 -x195 x116 -x196 -x118 -x197 -x119 -x198 -x121 -x199 -x122 -x200 -x123 -x201 -x125 -x202 -x138 -x203 -x141 -x204 -x142 -x205 -x145 -x206 x146 -x207 x148 -x208 x152 -x209 x153 -x210 x154 -x211 -x162 -x212 -x163 -x213 -x166 -x214 x167 -x215 x170 -x216 x171 -x217 x172 -x218 -x174 -x219 -x220 x176 -x221 -x180 -x222 x181 -x223 -x2 -x224 -x225 -x94 -x226 -x227 -x99 -x228 -x101 -x229 -x102 -x230 -x231 -x106 -x232 -x107 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x139 -x244 -x245 -x144 -x246 -x247 x147 -x248 -x249 -x149 -x250 -x251 -x155 -x252 -x156 -x253 -x157 -x254 -x159 -x255 -x256 -x165 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x3 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x120 -x275 -x276 -x277 x127 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x160 -x285 x161 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x182 -x294 -x4 -x295 -x296 -x95 -x297 -x96 -x298 -x299 -x300 -x100 -x301 -x302 -x303 -x304 -x108 -x305 x109 -x306 x110 -x307 -x308 -x309 -x310 -x311 -x117 -x312 -x313 -x314 -x315 -x316 -x317 x124 -x318 -x319 -x126 -x320 -x321 -x129 -x322 -x132 -x323 -x133 -x324 -x136 -x325 x137 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x151 -x333 -x334 -x335 -x336 -x337 -x338 x169 -x339 -x340 x173 -x341 -x342 -x178 -x343 -x344 -x345 -x346 -x5 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x130 -x375 -x376 -x135 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x158 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x177 -x404 -x405 -x406 -x407 -x6 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x7 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x8 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x105 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x9 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x10 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x11 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x12 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x150 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x14 -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 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x15 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x16 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x17 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x18 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x19 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x20 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x21 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x22 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x23 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x24 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -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 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x25 -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 -x1288 x26 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 x1297 -x1298 -x1299 -x1300 x1301 x1302 -x1303 -x128 -x1304 -x1305 -x131 -x1306 -x1307 -x1308 x1309 x143 -x1310 x1311 x1312 x1313 x1314 x1315 x164 -x1316 x1317 x1318 x1319 x1320 x1321 -x1322 x1323 -x1324 -x1325 x1326 -x1327 x27 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -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 -x1363 -x1364 -x1365 x1366 -x1367 x1368 x1369 x1370 -x1371 -x1372 -x1373 -x1374 x28 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 x1387 -x1388 -x1389 -x1390 x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x140 -x1408 -x1409 x1410 -x1411 -x1412 x1413 x1414 x1415 x1416 x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 x1424 x1425 x1426 x1427 x1428 -x1429 x1430 -x1431 -x1432 x1433 -x1434 x29 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 x1462 -x1463 -x1464 -x1465 x30 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 x1481 x1482 x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 x1492 x1493 x1494 -x1495 -x1496 -x1497 -x31 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x32 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -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 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x33 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x34 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 x1657 -x1658 -x1659 -x1660 x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 x1678 x1679 x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 x1689 x1690 x1691 x1692 x1693 -x1694 x1695 -x1696 -x1697 x1698 -x1699 x35 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 x1708 -x1709 -x1710 -x1711 x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 x1727 x1728 x1729 x1730 x1731 -x1732 x1733 x1734 x1735 x1736 x1737 -x1738 x1739 -x1740 -x1741 x1742 -x1743 -x36 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x37 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x38 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x39 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x134 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x40 -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 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x41 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x42 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x43 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x44 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x45 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 x2113 -x2114 -x2115 -x2116 -x2117 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 -x46 -x2147 -x2148 -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 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x47 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x48 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x49 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x50 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x51 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x52 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -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 -x2447 -x2448 -x2449 -x53 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 x54 -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 -x2528 -x2529 x2530 -x2531 -x2532 x2533 x2534 x2535 x2536 -x2537 x2538 x2539 -x2540 -x55 -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 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x56 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -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 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x57 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x58 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x59 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x60 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x61 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x62 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 x2841 x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 x2849 -x2850 -x63 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -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 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x64 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x65 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x66 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -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 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x67 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -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 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x68 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -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 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x69 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 x3187 x3188 -x3189 -x3190 -x3191 -x3192 x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 x3201 -x3202 -x3203 x3204 x3205 x3206 x3207 x3208 x3209 x3210 x3211 x3212 -x3213 -x3214 x3215 x3216 -x3217 -x70 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -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 -x71 -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 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x72 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -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 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x74 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x75 -x3430 -x3431 -x3432 -x3433 x3434 -x3435 -x3436 -x3437 x3438 -x3439 x3440 x3441 x3442 x3443 x3444 -x3445 -x3446 -x3447 x3448 -x3449 -x3450 x3451 -x3452 x3453 -x3454 x3455 x3456 x3457 x3458 -x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x76 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x77 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x78 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 x79 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 x3633 x3634 -x3635 -x3636 -x3637 x3638 x3639 -x3640 -x3641 -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 x80 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 x3679 x3680 -x3681 -x3682 -x3683 x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 x3702 -x3703 -x3704 -x3705 -x3706 x3707 -x3708 -x3709 x3710 x3711 -x3712 x3713 -x3714 -x3715 -x3716 x3717 -x3718 -x81 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x82 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -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 x83 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 -x3831 x3832 -x3833 -x3834 -x3835 x3836 -x3837 -x3838 x3839 -x3840 x3841 -x3842 -x3843 -x3844 -x3845 x3846 x3847 x3848 x3849 x3850 -x3851 -x3852 x3853 -x3854 x84 -x3855 -x3856 -x3857 -x3858 -x3859 x3860 -x3861 x3862 -x3863 -x3864 -x3865 x3866 -x3867 -x3868 x3869 -x3870 -x3871 x3872 x3873 x3874 x3875 x3876 -x3877 -x3878 x3879 -x3880 -x85 -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 -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 x86 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 x3970 -x3971 x87 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 -x3993 -x3994 x3995 -x3996 -x3997 -x3998 -x3999 x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 -x4010 x4011 x4012 x4013 -x4014 -x4015 -x4016 x4017 -x4018 -x4019 x4020 -x4021 -x4022 x4023 -x4024 -x4025 x4026 -x4027 -x88 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -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 -x4082 -x4083 -x4084 -x4085 -x4086 x89 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 x4107 x4108 -x4109 -x4110 -x4111 x4112 -x4113 -x4114 x4115 -x4116 -x90 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -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 -x91 -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 -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 x183 -x13 -x73 x168 -x175 -x179 

OK	3663

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-4118849-1467229258/watcher-4118849-1467229258 -o /tmp/evaluation-result-4118849-1467229258/solver-4118849-1467229258 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467213050-5998 --watchdog 1960 open-wbo HOME/instance-4118849-1467229258.opb 

pid=7940
running on 4 cores: 1,3,5,7

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.21 2.11 2.09 3/175 7943
/proc/meminfo: memFree=29966668/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=3056 CPUtime=0 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 4029552 3129344 387 33554432000 4194304 6059633 140734952082128 140736620281592 5131575 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 764 387 214 456 0 219 0

[startup+0.100122 s]
/proc/loadavg: 2.21 2.11 2.09 3/175 7943
/proc/meminfo: memFree=29966668/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=17116 CPUtime=0.09 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 3133 0 0 0 9 0 0 0 20 0 1 0 4029552 17526784 2844 33554432000 4194304 6059633 140734952082128 140736620281592 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 4279 2844 172 456 0 3815 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17116

[startup+0.200375 s]
/proc/loadavg: 2.21 2.11 2.09 3/175 7943
/proc/meminfo: memFree=29966668/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=17512 CPUtime=0.19 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 3276 0 0 0 19 0 0 0 20 0 1 0 4029552 17932288 2987 33554432000 4194304 6059633 140734952082128 140734952080888 5268791 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 4378 2987 174 456 0 3914 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17512

[startup+0.300304 s]
/proc/loadavg: 2.21 2.11 2.09 3/175 7943
/proc/meminfo: memFree=29966668/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=17776 CPUtime=0.29 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 3396 0 0 0 29 0 0 0 20 0 1 0 4029552 18202624 3105 33554432000 4194304 6059633 140734952082128 140734952080888 4277586 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 4444 3105 174 456 0 3980 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17776

[startup+0.700264 s]
/proc/loadavg: 2.21 2.11 2.09 3/175 7943
/proc/meminfo: memFree=29966668/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=19344 CPUtime=0.69 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 3756 0 0 0 69 0 0 0 20 0 1 0 4029552 19808256 3462 33554432000 4194304 6059633 140734952082128 140734952080888 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 4836 3462 174 456 0 4372 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19344

[startup+1.50031 s]
/proc/loadavg: 2.21 2.11 2.09 3/176 7944
/proc/meminfo: memFree=29952632/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=23832 CPUtime=1.49 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 4858 0 0 0 149 0 0 0 20 0 1 0 4029552 24403968 4553 33554432000 4194304 6059633 140734952082128 140734952080888 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 5958 4553 175 456 0 5494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23832

[startup+3.10031 s]
/proc/loadavg: 2.21 2.11 2.09 3/176 7944
/proc/meminfo: memFree=29945624/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=24652 CPUtime=3.09 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 5526 0 0 0 309 0 0 0 20 0 1 0 4029552 25243648 5306 33554432000 4194304 6059633 140734952082128 140734952080888 4277507 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 6163 5306 191 456 0 5699 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24652

[startup+6.30032 s]
/proc/loadavg: 2.20 2.10 2.09 3/175 7944
/proc/meminfo: memFree=29944908/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=25408 CPUtime=6.29 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 6253 0 0 0 629 0 0 0 20 0 1 0 4029552 26017792 5631 33554432000 4194304 6059633 140734952082128 140734952080168 4277797 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 6352 5631 192 456 0 5888 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25408

[startup+12.7003 s]
/proc/loadavg: 2.18 2.10 2.09 3/175 7944
/proc/meminfo: memFree=29936048/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=32524 CPUtime=12.69 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 7048 0 0 0 1268 1 0 0 20 0 1 0 4029552 33304576 7364 33554432000 4194304 6059633 140734952082128 140734952080888 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 8131 7364 193 456 0 7667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32524

[startup+25.5004 s]
/proc/loadavg: 2.21 2.11 2.09 3/175 7944
/proc/meminfo: memFree=29974168/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=36916 CPUtime=25.48 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 8596 0 0 0 2547 1 0 0 20 0 1 0 4029552 37801984 8089 33554432000 4194304 6059633 140734952082128 140734952080888 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 9229 8089 193 456 0 8765 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36916

[startup+51.1004 s]
/proc/loadavg: 2.14 2.10 2.09 3/175 7944
/proc/meminfo: memFree=29937188/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=40736 CPUtime=51.08 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 9589 0 0 0 5106 2 0 0 20 0 1 0 4029552 41713664 9317 33554432000 4194304 6059633 140734952082128 140734952080616 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 10184 9317 193 456 0 9720 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40736

[startup+102.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/175 7946
/proc/meminfo: memFree=29955212/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=52228 CPUtime=102.27 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 10187 0 0 0 10225 2 0 0 20 0 1 0 4029552 53481472 12456 33554432000 4194304 6059633 140734952082128 140734952080888 4277822 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 13057 12456 193 456 0 12593 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52228

[startup+162.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/175 7947
/proc/meminfo: memFree=29915148/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=59412 CPUtime=162.25 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 10994 0 0 0 16223 2 0 0 20 0 1 0 4029552 60837888 14245 33554432000 4194304 6059633 140734952082128 140734952080888 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 14853 14245 193 456 0 14389 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 59412

[startup+222.307 s]
/proc/loadavg: 2.02 2.06 2.08 3/175 7948
/proc/meminfo: memFree=29913100/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=59412 CPUtime=222.25 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 11020 0 0 0 22223 2 0 0 20 0 1 0 4029552 60837888 14269 33554432000 4194304 6059633 140734952082128 140734952080888 4278457 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 14853 14269 193 456 0 14389 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 59412

[startup+282.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/175 7949
/proc/meminfo: memFree=29910376/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=64472 CPUtime=282.24 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 11697 0 0 0 28221 3 0 0 20 0 1 0 4029552 66019328 15435 33554432000 4194304 6059633 140734952082128 140734952080312 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 16118 15435 193 456 0 15654 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 64472

[startup+342.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/175 7950
/proc/meminfo: memFree=29910568/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=75792 CPUtime=342.23 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 12572 0 0 0 34219 4 0 0 20 0 1 0 4029552 77611008 16016 33554432000 4194304 6059633 140734952082128 140734952080888 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 18948 16016 193 456 0 18484 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 75792

[startup+402.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/175 7952
/proc/meminfo: memFree=29927640/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106140 CPUtime=402.22 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 13158 0 0 0 40218 4 0 0 20 0 1 0 4029552 108687360 19657 33554432000 4194304 6059633 140734952082128 140734952080888 4277737 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26535 19657 193 456 0 26071 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 106140

[startup+462.3 s]
/proc/loadavg: 2.09 2.07 2.07 3/175 7953
/proc/meminfo: memFree=29927880/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106140 CPUtime=462.21 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 13167 0 0 0 46217 4 0 0 20 0 1 0 4029552 108687360 19666 33554432000 4194304 6059633 140734952082128 140734952080888 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26535 19666 193 456 0 26071 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 106140

[startup+522.3 s]
/proc/loadavg: 2.11 2.07 2.07 3/175 7954
/proc/meminfo: memFree=29925388/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106140 CPUtime=522.21 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 13180 0 0 0 52216 5 0 0 20 0 1 0 4029552 108687360 20186 33554432000 4194304 6059633 140734952082128 140734952080888 4278425 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26535 20186 193 456 0 26071 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 106140

[startup+582.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/176 8050
/proc/meminfo: memFree=30007556/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106140 CPUtime=582.2 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 13184 0 0 0 58215 5 0 0 20 0 1 0 4029552 108687360 20701 33554432000 4194304 6059633 140734952082128 140734952080888 4278479 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26535 20701 193 456 0 26071 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 106140


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


[startup+942.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/175 8057
/proc/meminfo: memFree=29924660/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=942.14 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 14471 0 0 0 94208 6 0 0 20 0 1 0 4029552 108797952 25506 33554432000 4194304 6059633 140734952082128 140734952080616 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25506 193 456 0 26098 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 106248

[startup+1002.3 s]
/proc/loadavg: 2.03 2.06 2.07 3/175 8059
/proc/meminfo: memFree=29925040/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=1002.13 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 14889 0 0 0 100206 7 0 0 20 0 1 0 4029552 108797952 25508 33554432000 4194304 6059633 140734952082128 140734952080616 4246362 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25508 193 456 0 26098 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 106248

[startup+1062.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/175 8060
/proc/meminfo: memFree=29925160/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=1062.12 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 15305 0 0 0 106204 8 0 0 20 0 1 0 4029552 108797952 25508 33554432000 4194304 6059633 140734952082128 140734952080616 4264672 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25508 193 456 0 26098 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 106248

[startup+1122.3 s]
/proc/loadavg: 2.18 2.08 2.08 3/175 8061
/proc/meminfo: memFree=29925040/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=1122.11 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 15724 0 0 0 112203 8 0 0 20 0 1 0 4029552 108797952 25511 33554432000 4194304 6059633 140734952082128 140734952080616 4277998 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25511 193 456 0 26098 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 106248

[startup+1182.3 s]
/proc/loadavg: 2.06 2.07 2.07 3/176 8065
/proc/meminfo: memFree=29925052/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=1182.1 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 16142 0 0 0 118201 9 0 0 20 0 1 0 4029552 108797952 25512 33554432000 4194304 6059633 140734952082128 140734952080616 4277781 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25512 193 456 0 26098 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 106248

[startup+1242.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/176 8089
/proc/meminfo: memFree=29872060/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=1242.09 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 16569 0 0 0 124200 9 0 0 20 0 1 0 4029552 108797952 25521 33554432000 4194304 6059633 140734952082128 140734952080616 4265098 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25521 193 456 0 26098 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 106248

[startup+1302.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/175 8091
/proc/meminfo: memFree=29905080/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=1302.08 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 16987 0 0 0 130198 10 0 0 20 0 1 0 4029552 108797952 25521 33554432000 4194304 6059633 140734952082128 140734952080616 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25521 193 456 0 26098 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 106248

[startup+1362.3 s]
/proc/loadavg: 2.11 2.08 2.08 3/175 8092
/proc/meminfo: memFree=29838488/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=155568 CPUtime=1362.08 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 17404 0 0 0 136197 11 0 0 20 0 1 0 4029552 159301632 34625 33554432000 4194304 6059633 140734952082128 140734952080328 4262723 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 38892 34625 193 456 0 38428 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 155568

[startup+1422.3 s]
/proc/loadavg: 2.20 2.11 2.09 3/175 8093
/proc/meminfo: memFree=29871256/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=155568 CPUtime=1422.07 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 17824 0 0 0 142196 11 0 0 20 0 1 0 4029552 159301632 34116 33554432000 4194304 6059633 140734952082128 140734952080328 4278457 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 38892 34116 193 456 0 38428 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 155568

[startup+1482.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/175 8094
/proc/meminfo: memFree=29873424/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=155568 CPUtime=1482.06 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 18242 0 0 0 148194 12 0 0 20 0 1 0 4029552 159301632 33604 33554432000 4194304 6059633 140734952082128 140734952080328 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 38892 33604 193 456 0 38428 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 155568

[startup+1542.31 s]
/proc/loadavg: 2.12 2.10 2.09 3/175 8095
/proc/meminfo: memFree=29905004/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=1542.06 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 18246 0 0 0 154194 12 0 0 20 0 1 0 4029552 108797952 25524 33554432000 4194304 6059633 140734952082128 140734952080616 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25524 193 456 0 26098 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 106248

[startup+1602.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/175 8097
/proc/meminfo: memFree=29870184/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=1602.04 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 18668 0 0 0 160191 13 0 0 20 0 1 0 4029552 108797952 25527 33554432000 4194304 6059633 140734952082128 140734952080616 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25527 194 456 0 26098 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 106248

[startup+1662.3 s]
/proc/loadavg: 2.23 2.12 2.09 3/175 8098
/proc/meminfo: memFree=29866212/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=106248 CPUtime=1662.02 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 19094 0 0 0 166189 13 0 0 20 0 1 0 4029552 108797952 25533 33554432000 4194304 6059633 140734952082128 140734952080616 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 26562 25533 194 456 0 26098 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 106248

[startup+1722.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/175 8099
/proc/meminfo: memFree=29828228/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=155568 CPUtime=1722.02 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 19512 0 0 0 172188 14 0 0 20 0 1 0 4029552 159301632 35149 33554432000 4194304 6059633 140734952082128 140734952080328 4255727 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 38892 35149 194 456 0 38428 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 155568

[startup+1782.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/176 8103
/proc/meminfo: memFree=29836088/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=155568 CPUtime=1782.01 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 19932 0 0 0 178186 15 0 0 20 0 1 0 4029552 159301632 33615 33554432000 4194304 6059633 140734952082128 140734952080328 4277781 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 38892 33615 194 456 0 38428 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 155568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/176 8103
/proc/meminfo: memFree=29867048/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=155568 CPUtime=1800.01 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 19936 0 0 0 179986 15 0 0 20 0 1 0 4029552 159301632 35152 33554432000 4194304 6059633 140734952082128 140734952080328 4265497 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 38892 35152 194 456 0 38428 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 155568

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

[startup+1800.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/176 8103
/proc/meminfo: memFree=29867048/32872528 swapFree=447588/480292
[pid=7943] ppid=7940 vsize=155568 CPUtime=1800.01 cores=1,3,5,7
/proc/7943/stat : 7943 (open-wbo) R 7940 7943 3935 0 -1 4202496 19936 0 0 0 179986 15 0 0 20 0 1 0 4029552 159301632 35152 33554432000 4194304 6059633 140734952082128 140734952080328 4265497 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7943/statm: 38892 35152 194 456 0 38428 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 155568

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.87
CPU system time (s): 0.153976
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 155568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.153976
maximum resident set size= 146740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19939
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= 16
involuntary context switches= 1979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.05123 second user time and 5.78212 second system time

The end

Begin job on node104 at 2016-06-29 21:40:58
IDJOB=4118849
IDBENCH=111539
IDSOLVER=2547
FILE ID=node104/4118849-1467229258
RUNJOBID= node104-1467213050-5998
PBS_JOBID= 19997589
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 209e82578e5ca39ac1017817e82e48a8
RANDOM SEED=1395349224

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:        29966932 kB
Buffers:          133500 kB
Cached:          1405992 kB
SwapCached:            0 kB
Active:          1073664 kB
Inactive:         611152 kB
Active(anon):     148012 kB
Inactive(anon):        0 kB
Active(file):     925652 kB
Inactive(file):   611152 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5056 kB
Writeback:             0 kB
AnonPages:        689012 kB
Mapped:            13944 kB
Shmem:               204 kB
Slab:             604888 kB
SReclaimable:      49452 kB
SUnreclaim:       555436 kB
KernelStack:        1464 kB
PageTables:         5160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     736124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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 22:10:58