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-4105342-1466251817.opb
0.00/0.00	c File size is 128294 bytes.
1800.00/1800.30	c Sum of soft weights:         4688
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	c |  Problem Type:           Unweighted                                                                   |
1800.00/1800.30	c |  Number of variables:          4688                                                                   |
1800.00/1800.30	c |  Number of hard clauses:        403                                                                   |
1800.00/1800.30	c |  Number of soft clauses:       4688                                                                   |
1800.00/1800.30	c |  Number of cardinality:           0                                                                   |
1800.00/1800.30	c |  Number of PB :                   0                                                                   |
1800.00/1800.30	c |  Parse time:                   0.02 s                                                                 |
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	o 181
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	v -x1 -x2 x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 x346 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 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -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 -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 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -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 -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 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 -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 -x687 x688 -x689 -x690 x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 x704 x705 -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 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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 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 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -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 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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -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 -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 -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 -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 -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 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 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x2819 -x2820 -x2821 -x2822 -x2823 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x4223 -x4224 -x4225 -x4226 -x4227 -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 -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 -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 -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 -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 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 

OK	181

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-4105342-1466251817/watcher-4105342-1466251817 -o /tmp/evaluation-result-4105342-1466251817/solver-4105342-1466251817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466241383-19987 --watchdog 1960 open-wbo HOME/instance-4105342-1466251817.opb 

pid=27277
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.36 2.23 2.19 3/177 27280
/proc/meminfo: memFree=30190852/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=2860 CPUtime=0 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 27230387 2928640 328 33554432000 4194304 6059633 140734625664592 140734301548264 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 715 329 165 456 0 219 0

[startup+0.100164 s]
/proc/loadavg: 2.36 2.23 2.19 3/177 27280
/proc/meminfo: memFree=30190852/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=13516 CPUtime=0.09 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 2061 0 0 0 9 0 0 0 20 0 1 0 27230387 13840384 1883 33554432000 4194304 6059633 140734625664592 140734301548264 4277737 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 3379 1883 180 456 0 2915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13516

[startup+0.200284 s]
/proc/loadavg: 2.36 2.23 2.19 3/177 27280
/proc/meminfo: memFree=30190852/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=10488 CPUtime=0.19 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 2404 0 0 0 19 0 0 0 20 0 1 0 27230387 10739712 2046 33554432000 4194304 6059633 140734625664592 140734301548264 4278520 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 2622 2046 183 456 0 2158 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10488

[startup+0.3003 s]
/proc/loadavg: 2.36 2.23 2.19 3/177 27280
/proc/meminfo: memFree=30190852/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=11256 CPUtime=0.29 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 2584 0 0 0 29 0 0 0 20 0 1 0 27230387 11526144 2222 33554432000 4194304 6059633 140734625664592 140734301548264 4255359 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 2814 2222 183 456 0 2350 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11256

[startup+0.700285 s]
/proc/loadavg: 2.36 2.23 2.19 3/177 27280
/proc/meminfo: memFree=30190852/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=12536 CPUtime=0.69 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 3333 0 0 0 69 0 0 0 20 0 1 0 27230387 12836864 2594 33554432000 4194304 6059633 140734625664592 140734301548264 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 3134 2594 183 456 0 2670 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12536

[startup+1.50024 s]
/proc/loadavg: 2.33 2.22 2.19 3/178 27281
/proc/meminfo: memFree=30176860/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=15408 CPUtime=1.48 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 4231 0 0 0 148 0 0 0 20 0 1 0 27230387 15777792 3456 33554432000 4194304 6059633 140734625664592 140734625663080 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 3852 3456 185 456 0 3388 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15408

[startup+3.10024 s]
/proc/loadavg: 2.33 2.22 2.19 3/178 27281
/proc/meminfo: memFree=30174788/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=18280 CPUtime=3.09 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 4479 0 0 0 308 1 0 0 20 0 1 0 27230387 18718720 4090 33554432000 4194304 6059633 140734625664592 140734625663080 4277586 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 4570 4090 185 456 0 4106 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18280

[startup+6.30025 s]
/proc/loadavg: 2.33 2.22 2.19 3/178 27281
/proc/meminfo: memFree=30163380/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=28100 CPUtime=6.29 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 5486 0 0 0 628 1 0 0 20 0 1 0 27230387 28774400 6612 33554432000 4194304 6059633 140734625664592 140734625663112 4277689 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 7025 6612 185 456 0 6561 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28100

[startup+12.7003 s]
/proc/loadavg: 2.28 2.22 2.19 3/178 27281
/proc/meminfo: memFree=30194024/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=31056 CPUtime=12.69 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 5963 0 0 0 1268 1 0 0 20 0 1 0 27230387 31801344 7076 33554432000 4194304 6059633 140734625664592 140734625663112 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 7764 7076 186 456 0 7300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31056

[startup+25.5003 s]
/proc/loadavg: 2.31 2.23 2.19 3/178 27281
/proc/meminfo: memFree=30181188/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=57300 CPUtime=25.48 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 7042 0 0 0 2547 1 0 0 20 0 1 0 27230387 58675200 10237 33554432000 4194304 6059633 140734625664592 140734625663080 4277557 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 14325 10237 186 456 0 13861 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57300

[startup+51.1004 s]
/proc/loadavg: 2.25 2.22 2.18 3/176 27281
/proc/meminfo: memFree=30176984/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=57300 CPUtime=51.09 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 7362 0 0 0 5107 2 0 0 20 0 1 0 27230387 58675200 11261 33554432000 4194304 6059633 140734625664592 140734625663416 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 14325 11261 186 456 0 13861 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57300

[startup+102.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/177 27283
/proc/meminfo: memFree=30167064/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=76156 CPUtime=102.28 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 8219 0 0 0 10225 3 0 0 20 0 1 0 27230387 77983744 13699 33554432000 4194304 6059633 140734625664592 140734625663416 4261221 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 19039 13699 186 456 0 18575 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 76156

[startup+162.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/177 27284
/proc/meminfo: memFree=30111080/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=76156 CPUtime=162.26 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 10191 0 0 0 16221 5 0 0 20 0 1 0 27230387 77983744 18372 33554432000 4194304 6059633 140734625664592 140734625663416 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 19039 18372 186 456 0 18575 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 76156

[startup+222.307 s]
/proc/loadavg: 2.26 2.23 2.18 3/177 27285
/proc/meminfo: memFree=30062556/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=156296 CPUtime=222.27 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 12162 0 0 0 22219 8 0 0 20 0 1 0 27230387 160047104 32193 33554432000 4194304 6059633 140734625664592 140734625663384 4277765 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 39074 32193 186 456 0 38610 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 156296

[startup+282.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 27286
/proc/meminfo: memFree=30106156/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=76156 CPUtime=282.24 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 14230 0 0 0 28213 11 0 0 20 0 1 0 27230387 77983744 18464 33554432000 4194304 6059633 140734625664592 140734625663416 4246291 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 19039 18464 186 456 0 18575 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 76156

[startup+342.3 s]
/proc/loadavg: 2.15 2.19 2.18 4/177 27287
/proc/meminfo: memFree=30073360/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=125476 CPUtime=342.24 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 15615 0 0 0 34210 14 0 0 20 0 1 0 27230387 128487424 28634 33554432000 4194304 6059633 140734625664592 140734625663128 4246395 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 31369 28634 186 456 0 30905 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 125476

[startup+402.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 27289
/proc/meminfo: memFree=30135916/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=88684 CPUtime=402.23 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 16608 0 0 0 40208 15 0 0 20 0 1 0 27230387 90812416 21593 33554432000 4194304 6059633 140734625664592 140734625663416 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 22171 21593 186 456 0 21707 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 88684

[startup+462.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/177 27290
/proc/meminfo: memFree=30094728/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=138004 CPUtime=462.22 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 18021 0 0 0 46205 17 0 0 20 0 1 0 27230387 141316096 29740 33554432000 4194304 6059633 140734625664592 140734625663416 4278418 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 34501 29740 186 456 0 34037 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 138004

[startup+522.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 27291
/proc/meminfo: memFree=30083584/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=88684 CPUtime=522.21 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 18493 0 0 0 52203 18 0 0 20 0 1 0 27230387 90812416 21618 33554432000 4194304 6059633 140734625664592 140734625663416 4278631 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 22171 21618 186 456 0 21707 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 88684

[startup+582.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/177 27292
/proc/meminfo: memFree=30135692/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=88684 CPUtime=582.2 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 20093 0 0 0 58200 20 0 0 20 0 1 0 27230387 90812416 21618 33554432000 4194304 6059633 140734625664592 140734625663416 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 22171 21618 186 456 0 21707 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 88684


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


[startup+942.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 27302
/proc/meminfo: memFree=30098372/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=88684 CPUtime=942.14 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 28366 0 0 0 94180 34 0 0 20 0 1 0 27230387 90812416 21618 33554432000 4194304 6059633 140734625664592 140734625663416 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 22171 21618 186 456 0 21707 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 88684

[startup+1002.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/177 27304
/proc/meminfo: memFree=30090472/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=88684 CPUtime=1002.13 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 29424 0 0 0 100177 36 0 0 20 0 1 0 27230387 90812416 21618 33554432000 4194304 6059633 140734625664592 140734625663416 4277874 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 22171 21618 186 456 0 21707 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 88684

[startup+1062.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 27305
/proc/meminfo: memFree=30085724/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=88684 CPUtime=1062.12 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 30478 0 0 0 106174 38 0 0 20 0 1 0 27230387 90812416 21618 33554432000 4194304 6059633 140734625664592 140734625663416 4867836 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 22171 21618 186 456 0 21707 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 88684

[startup+1122.3 s]
/proc/loadavg: 2.32 2.23 2.19 4/177 27352
/proc/meminfo: memFree=30181284/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=138004 CPUtime=1122.12 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 32000 0 0 0 112172 40 0 0 20 0 1 0 27230387 141316096 29740 33554432000 4194304 6059633 140734625664592 140734625663128 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 34501 29740 186 456 0 34037 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 138004

[startup+1182.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 27353
/proc/meminfo: memFree=30163228/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=138004 CPUtime=1182.11 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 33058 0 0 0 118169 42 0 0 20 0 1 0 27230387 141316096 29740 33554432000 4194304 6059633 140734625664592 140734625663128 4261844 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 34501 29740 186 456 0 34037 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 138004

[startup+1242.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/178 27357
/proc/meminfo: memFree=30102044/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=168824 CPUtime=1242.1 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 33661 0 0 0 124167 43 0 0 20 0 1 0 27230387 172875776 41583 33554432000 4194304 6059633 140734625664592 140734625663384 4278429 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 42206 41583 186 456 0 41742 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 168824

[startup+1302.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 27359
/proc/meminfo: memFree=30085244/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=168824 CPUtime=1302.09 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 34724 0 0 0 130164 45 0 0 20 0 1 0 27230387 172875776 40047 33554432000 4194304 6059633 140734625664592 140734625663384 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 42206 40047 186 456 0 41742 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 168824

[startup+1362.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 27360
/proc/meminfo: memFree=30087064/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=168824 CPUtime=1362.08 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 35784 0 0 0 136162 46 0 0 20 0 1 0 27230387 172875776 39023 33554432000 4194304 6059633 140734625664592 140734625663384 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 42206 39023 186 456 0 41742 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 168824

[startup+1422.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 27361
/proc/meminfo: memFree=30101272/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=168824 CPUtime=1422.08 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 37145 0 0 0 142159 49 0 0 20 0 1 0 27230387 172875776 34927 33554432000 4194304 6059633 140734625664592 140734625663384 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 42206 34927 186 456 0 41742 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 168824

[startup+1482.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 27362
/proc/meminfo: memFree=30109884/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=138004 CPUtime=1482.06 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 37891 0 0 0 148156 50 0 0 20 0 1 0 27230387 141316096 32812 33554432000 4194304 6059633 140734625664592 140734625663128 4277656 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 34501 32812 186 456 0 34037 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 138004

[startup+1542.31 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 27363
/proc/meminfo: memFree=30118108/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=138004 CPUtime=1542.05 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 38952 0 0 0 154153 52 0 0 20 0 1 0 27230387 141316096 30252 33554432000 4194304 6059633 140734625664592 140734625663128 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 34501 30252 186 456 0 34037 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 138004

[startup+1602.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 27365
/proc/meminfo: memFree=30067032/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=218912 CPUtime=1602.04 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 39860 0 0 0 160150 54 0 0 20 0 1 0 27230387 224165888 42396 33554432000 4194304 6059633 140734625664592 140734625663384 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 54728 42396 186 456 0 54264 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 218912

[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 27366
/proc/meminfo: memFree=30078280/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=168824 CPUtime=1662.02 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 40948 0 0 0 166146 56 0 0 20 0 1 0 27230387 172875776 39535 33554432000 4194304 6059633 140734625664592 140734625663384 4278472 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 42206 39535 186 456 0 41742 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 168824

[startup+1722.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 27367
/proc/meminfo: memFree=30096880/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=168824 CPUtime=1722.01 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 42314 0 0 0 172142 59 0 0 20 0 1 0 27230387 172875776 34927 33554432000 4194304 6059633 140734625664592 140734625663384 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 42206 34927 186 456 0 41742 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 168824

[startup+1782.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 27368
/proc/meminfo: memFree=30081356/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=138004 CPUtime=1782 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 43095 0 0 0 178140 60 0 0 20 0 1 0 27230387 141316096 30764 33554432000 4194304 6059633 140734625664592 140734625663128 4261596 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 34501 30764 186 456 0 34037 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 138004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/178 27371
/proc/meminfo: memFree=30099772/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=168824 CPUtime=1800 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 43397 0 0 0 179939 61 0 0 20 0 1 0 27230387 172875776 34129 33554432000 4194304 6059633 140734625664592 140734625663384 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 42206 34129 186 456 0 41742 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 168824

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

[startup+1800.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/178 27371
/proc/meminfo: memFree=30099772/32872528 swapFree=1431120/1543540
[pid=27280] ppid=27277 vsize=168824 CPUtime=1800 cores=0,2,4,6
/proc/27280/stat : 27280 (open-wbo) R 27277 27280 19971 0 -1 4202496 43397 0 0 0 179939 61 0 0 20 0 1 0 27230387 172875776 34129 33554432000 4194304 6059633 140734625664592 140734625663384 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/27280/statm: 42206 34129 186 456 0 41742 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 168824

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.39
CPU system time (s): 0.616906
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 218912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.616906
maximum resident set size= 175728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43400
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= 34
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09607 second user time and 6.72098 second system time

The end

Begin job on node116 at 2016-06-18 14:10:17
IDJOB=4105342
IDBENCH=2837
IDSOLVER=2547
FILE ID=node116/4105342-1466251817
RUNJOBID= node116-1466241383-19987
PBS_JOBID= 19918206
Free space on /tmp= 71720 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105342-1466251817/watcher-4105342-1466251817 -o /tmp/evaluation-result-4105342-1466251817/solver-4105342-1466251817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466241383-19987 --watchdog 1960  open-wbo HOME/instance-4105342-1466251817.opb

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

MD5SUM BENCH= cb09f183d3805e6536d629586026461f
RANDOM SEED=1371032867

node116.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.781
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	: 5333.56
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.781
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.781
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.781
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.781
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.781
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.54
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.781
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30191488 kB
Buffers:          130904 kB
Cached:           137632 kB
SwapCached:         2060 kB
Active:           200456 kB
Inactive:         182408 kB
Active(anon):     113660 kB
Inactive(anon):     3016 kB
Active(file):      86796 kB
Inactive(file):   179392 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:              5072 kB
Writeback:             0 kB
AnonPages:       1671260 kB
Mapped:             7856 kB
Shmem:                 0 kB
Slab:             607728 kB
SReclaimable:      50960 kB
SUnreclaim:       556768 kB
KernelStack:        1472 kB
PageTables:         7272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1802796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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= 71716 MiB
End job on node116 at 2016-06-18 14:40:17