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-4086323-1465245621.opb
0.00/0.00	c File size is 127509 bytes.
1800.00/1800.30	c Sum of soft weights:         4676
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:          4676                                                                   |
1800.00/1800.30	c |  Number of hard clauses:        398                                                                   |
1800.00/1800.30	c |  Number of soft clauses:       4676                                                                   |
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 173
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 

OK	173

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-4086323-1465245621/watcher-4086323-1465245621 -o /tmp/evaluation-result-4086323-1465245621/solver-4086323-1465245621 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1465221904-12888 --watchdog 1960 open-wbo HOME/instance-4086323-1465245621.opb 

pid=19146
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.20 2.18 2.12 3/177 19149
/proc/meminfo: memFree=30449032/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=2860 CPUtime=0 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 106496214 2928640 331 33554432000 4194304 6059633 140735669981424 140734735224696 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 715 331 165 456 0 219 0

[startup+0.100161 s]
/proc/loadavg: 2.20 2.18 2.12 3/177 19149
/proc/meminfo: memFree=30449032/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=13528 CPUtime=0.09 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 2074 0 0 0 9 0 0 0 20 0 1 0 106496214 13852672 1889 33554432000 4194304 6059633 140735669981424 140734735224696 4280227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 3382 1889 180 456 0 2918 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13528

[startup+0.200319 s]
/proc/loadavg: 2.20 2.18 2.12 3/177 19149
/proc/meminfo: memFree=30449032/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=10908 CPUtime=0.19 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 2743 0 0 0 19 0 0 0 20 0 1 0 106496214 11169792 2251 33554432000 4194304 6059633 140735669981424 140734735224696 4277627 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 2727 2251 183 456 0 2263 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10908

[startup+0.300291 s]
/proc/loadavg: 2.20 2.18 2.12 3/177 19149
/proc/meminfo: memFree=30449032/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=11296 CPUtime=0.29 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 2848 0 0 0 29 0 0 0 20 0 1 0 106496214 11567104 2356 33554432000 4194304 6059633 140735669981424 140734735224696 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 2824 2356 183 456 0 2360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11296

[startup+0.700241 s]
/proc/loadavg: 2.20 2.18 2.12 3/177 19149
/proc/meminfo: memFree=30449032/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=11352 CPUtime=0.69 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 3462 0 0 0 69 0 0 0 20 0 1 0 106496214 11624448 2353 33554432000 4194304 6059633 140735669981424 140735669980216 4280227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 2838 2353 183 456 0 2374 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11352

[startup+1.50023 s]
/proc/loadavg: 2.19 2.17 2.12 3/178 19150
/proc/meminfo: memFree=30436484/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=20320 CPUtime=1.48 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 4911 0 0 0 148 0 0 0 20 0 1 0 106496214 20807680 4307 33554432000 4194304 6059633 140735669981424 140735669980216 4277582 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 5080 4307 184 456 0 4616 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20320

[startup+3.10027 s]
/proc/loadavg: 2.19 2.17 2.12 3/178 19150
/proc/meminfo: memFree=30429716/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=23040 CPUtime=3.09 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 5606 0 0 0 308 1 0 0 20 0 1 0 106496214 23592960 4977 33554432000 4194304 6059633 140735669981424 140735669979944 4278363 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 5760 4977 184 456 0 5296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23040

[startup+6.30027 s]
/proc/loadavg: 2.19 2.17 2.12 3/178 19150
/proc/meminfo: memFree=30395296/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=23040 CPUtime=6.29 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 5628 0 0 0 628 1 0 0 20 0 1 0 106496214 23592960 4998 33554432000 4194304 6059633 140735669981424 140735669979944 4246291 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 5760 4998 184 456 0 5296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23040

[startup+12.7003 s]
/proc/loadavg: 2.23 2.18 2.12 3/178 19150
/proc/meminfo: memFree=30419760/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=39160 CPUtime=12.69 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 6826 0 0 0 1268 1 0 0 20 0 1 0 106496214 40099840 7410 33554432000 4194304 6059633 140735669981424 140735669979912 4255308 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 9790 7410 184 456 0 9326 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39160

[startup+25.5003 s]
/proc/loadavg: 2.27 2.19 2.13 3/178 19150
/proc/meminfo: memFree=30373320/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=43624 CPUtime=25.49 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 7601 0 0 0 2548 1 0 0 20 0 1 0 106496214 44670976 10209 33554432000 4194304 6059633 140735669981424 140735669979944 4277754 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 10906 10209 184 456 0 10442 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43624

[startup+51.1004 s]
/proc/loadavg: 2.24 2.19 2.13 3/177 19150
/proc/meminfo: memFree=30407588/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=46344 CPUtime=51.08 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 10370 0 0 0 5106 2 0 0 20 0 1 0 106496214 47456256 10715 33554432000 4194304 6059633 140735669981424 140735669979944 4277874 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 11586 10715 184 456 0 11122 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46344

[startup+102.3 s]
/proc/loadavg: 2.20 2.19 2.13 3/177 19151
/proc/meminfo: memFree=30383340/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=69620 CPUtime=102.28 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 10862 0 0 0 10224 4 0 0 20 0 1 0 106496214 71290880 16735 33554432000 4194304 6059633 140735669981424 140735669980248 4255352 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 17405 16735 184 456 0 16941 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 69620

[startup+162.3 s]
/proc/loadavg: 2.17 2.18 2.13 3/177 19152
/proc/meminfo: memFree=30349172/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=69620 CPUtime=162.26 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 11000 0 0 0 16220 6 0 0 20 0 1 0 106496214 71290880 16735 33554432000 4194304 6059633 140735669981424 140735669980248 4867836 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 17405 16735 184 456 0 16941 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 69620

[startup+222.307 s]
/proc/loadavg: 2.19 2.18 2.13 3/177 19153
/proc/meminfo: memFree=30334732/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=81408 CPUtime=222.26 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 11629 0 0 0 22217 9 0 0 20 0 1 0 106496214 83361792 19697 33554432000 4194304 6059633 140735669981424 140735669980248 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 20352 19697 184 456 0 19888 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 81408

[startup+282.3 s]
/proc/loadavg: 2.15 2.17 2.13 3/177 19154
/proc/meminfo: memFree=30291632/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=282.25 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 12015 0 0 0 28212 13 0 0 20 0 1 0 106496214 133865472 31585 33554432000 4194304 6059633 140735669981424 140735669980520 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 31585 186 456 0 32218 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 130728

[startup+342.3 s]
/proc/loadavg: 2.15 2.17 2.12 3/177 19156
/proc/meminfo: memFree=30331552/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=342.23 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 12162 0 0 0 34209 14 0 0 20 0 1 0 106496214 133865472 29537 33554432000 4194304 6059633 140735669981424 140735669979960 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 29537 186 456 0 32218 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 130728

[startup+402.3 s]
/proc/loadavg: 2.22 2.18 2.13 3/177 19157
/proc/meminfo: memFree=30324184/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=81408 CPUtime=402.23 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 12267 0 0 0 40207 16 0 0 20 0 1 0 106496214 83361792 19781 33554432000 4194304 6059633 140735669981424 140735669980248 4277847 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 20352 19781 186 456 0 19888 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 81408

[startup+462.3 s]
/proc/loadavg: 2.12 2.16 2.12 3/177 19158
/proc/meminfo: memFree=30370112/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=81408 CPUtime=462.22 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 12439 0 0 0 46204 18 0 0 20 0 1 0 106496214 83361792 19781 33554432000 4194304 6059633 140735669981424 140735669980248 4278354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 20352 19781 186 456 0 19888 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 81408

[startup+522.3 s]
/proc/loadavg: 2.18 2.17 2.13 3/177 19159
/proc/meminfo: memFree=30290324/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=522.2 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 12547 0 0 0 52201 19 0 0 20 0 1 0 106496214 133865472 31073 33554432000 4194304 6059633 140735669981424 140735669979960 4277910 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 31073 186 456 0 32218 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 130728

[startup+582.3 s]
/proc/loadavg: 2.20 2.17 2.13 3/178 19163
/proc/meminfo: memFree=30275784/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=582.2 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 12648 0 0 0 58199 21 0 0 20 0 1 0 106496214 133865472 30561 33554432000 4194304 6059633 140735669981424 140735669979960 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 30561 186 456 0 32218 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 130728


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.16 2.12 3/177 19171
/proc/meminfo: memFree=30323312/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=81408 CPUtime=942.14 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 13766 0 0 0 94179 35 0 0 20 0 1 0 106496214 83361792 19781 33554432000 4194304 6059633 140735669981424 140735669980248 4278288 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 20352 19781 186 456 0 19888 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 81408

[startup+1002.3 s]
/proc/loadavg: 2.18 2.16 2.12 3/177 19172
/proc/meminfo: memFree=30290288/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=1002.13 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 13938 0 0 0 100176 37 0 0 20 0 1 0 106496214 133865472 28001 33554432000 4194304 6059633 140735669981424 140735669980248 4277768 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 28001 186 456 0 32218 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 130728

[startup+1062.3 s]
/proc/loadavg: 2.21 2.16 2.12 3/177 19173
/proc/meminfo: memFree=30284320/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=1062.13 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 14066 0 0 0 106174 39 0 0 20 0 1 0 106496214 133865472 29537 33554432000 4194304 6059633 140735669981424 140735669979960 4263328 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 29537 186 456 0 32218 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 130728

[startup+1122.3 s]
/proc/loadavg: 2.17 2.16 2.12 3/177 19174
/proc/meminfo: memFree=30288268/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=1122.12 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 14198 0 0 0 112171 41 0 0 20 0 1 0 106496214 133865472 31585 33554432000 4194304 6059633 140735669981424 140735669979960 4278329 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 31585 186 456 0 32218 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 130728

[startup+1182.3 s]
/proc/loadavg: 2.18 2.16 2.12 3/178 19178
/proc/meminfo: memFree=30281972/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=161548 CPUtime=1182.11 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 14395 0 0 0 118168 43 0 0 20 0 1 0 106496214 165425152 33700 33554432000 4194304 6059633 140735669981424 140735669980216 4277586 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 40387 33700 186 456 0 39923 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 161548

[startup+1242.3 s]
/proc/loadavg: 2.24 2.17 2.12 3/178 19203
/proc/meminfo: memFree=30238536/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=161548 CPUtime=1242.09 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 14532 0 0 0 124165 44 0 0 20 0 1 0 106496214 165425152 33700 33554432000 4194304 6059633 140735669981424 140735669980216 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 40387 33700 186 456 0 39923 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 161548

[startup+1302.3 s]
/proc/loadavg: 2.12 2.15 2.11 3/177 19204
/proc/meminfo: memFree=30246376/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=161548 CPUtime=1302.07 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 14679 0 0 0 130162 45 0 0 20 0 1 0 106496214 165425152 34724 33554432000 4194304 6059633 140735669981424 140735669980216 4277990 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 40387 34724 186 456 0 39923 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 161548

[startup+1362.3 s]
/proc/loadavg: 2.04 2.12 2.10 3/177 19205
/proc/meminfo: memFree=30262168/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=161548 CPUtime=1362.06 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 14808 0 0 0 136159 47 0 0 20 0 1 0 106496214 165425152 34212 33554432000 4194304 6059633 140735669981424 140735669980216 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 40387 34212 186 456 0 39923 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 161548

[startup+1422.3 s]
/proc/loadavg: 2.09 2.13 2.10 3/177 19206
/proc/meminfo: memFree=30281804/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=161548 CPUtime=1422.06 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 14936 0 0 0 142157 49 0 0 20 0 1 0 106496214 165425152 32676 33554432000 4194304 6059633 140735669981424 140735669980216 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 40387 32676 186 456 0 39923 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 161548

[startup+1482.3 s]
/proc/loadavg: 2.07 2.11 2.10 3/177 19207
/proc/meminfo: memFree=30252900/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=1482.04 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 14996 0 0 0 148154 50 0 0 20 0 1 0 106496214 133865472 30561 33554432000 4194304 6059633 140735669981424 140735669979960 4255284 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 30561 186 456 0 32218 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 130728

[startup+1542.31 s]
/proc/loadavg: 2.11 2.12 2.09 3/177 19255
/proc/meminfo: memFree=30400292/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=1542.05 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 15123 0 0 0 154153 52 0 0 20 0 1 0 106496214 133865472 29025 33554432000 4194304 6059633 140735669981424 140735669979960 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 29025 186 456 0 32218 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 130728

[startup+1602.3 s]
/proc/loadavg: 2.03 2.09 2.09 3/177 19393
/proc/meminfo: memFree=30426412/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=81408 CPUtime=1602.03 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 15209 0 0 0 160150 53 0 0 20 0 1 0 106496214 83361792 19781 33554432000 4194304 6059633 140735669981424 140735669980248 4277910 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 20352 19781 186 456 0 19888 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 81408

[startup+1662.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/177 19394
/proc/meminfo: memFree=30343324/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=161548 CPUtime=1662.01 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 15338 0 0 0 166147 54 0 0 20 0 1 0 106496214 165425152 37284 33554432000 4194304 6059633 140735669981424 140735669980216 4277820 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 40387 37284 186 456 0 39923 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 161548

[startup+1722.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/177 19395
/proc/meminfo: memFree=30348400/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=161548 CPUtime=1722.01 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 16286 0 0 0 172144 57 0 0 20 0 1 0 106496214 165425152 33188 33554432000 4194304 6059633 140735669981424 140735669980216 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 40387 33188 186 456 0 39923 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 161548

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.08 3/178 19399
/proc/meminfo: memFree=30345716/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=130728 CPUtime=1782 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 16345 0 0 0 178142 58 0 0 20 0 1 0 106496214 133865472 30049 33554432000 4194304 6059633 140735669981424 140735669979960 4262704 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 32682 30049 186 456 0 32218 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 130728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/178 19399
/proc/meminfo: memFree=30331956/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=161548 CPUtime=1800 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 16419 0 0 0 179941 59 0 0 20 0 1 0 106496214 165425152 33188 33554432000 4194304 6059633 140735669981424 140735669980216 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 40387 33188 186 456 0 39923 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 161548

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

[startup+1800.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/178 19399
/proc/meminfo: memFree=30331956/32872528 swapFree=14548/942524
[pid=19149] ppid=19146 vsize=161548 CPUtime=1800 cores=0,2,4,6
/proc/19149/stat : 19149 (open-wbo) R 19146 19149 31093 0 -1 4202496 16419 0 0 0 179941 59 0 0 20 0 1 0 106496214 165425152 33188 33554432000 4194304 6059633 140735669981424 140735669980216 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/19149/statm: 40387 33188 186 456 0 39923 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 161548

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.593909
maximum resident set size= 162628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16422
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= 33
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47232 second user time and 6.98694 second system time

The end

Begin job on node113 at 2016-06-06 22:40:21
IDJOB=4086323
IDBENCH=2048
IDSOLVER=2547
FILE ID=node113/4086323-1465245621
RUNJOBID= node113-1465221904-12888
PBS_JOBID= 19843230
Free space on /tmp= 71736 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4086323-1465245621/watcher-4086323-1465245621 -o /tmp/evaluation-result-4086323-1465245621/solver-4086323-1465245621 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1465221904-12888 --watchdog 1960  open-wbo HOME/instance-4086323-1465245621.opb

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

MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731
RANDOM SEED=1811488432

node113.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.722
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.44
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.722
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.54
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.722
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.54
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.722
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.722
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.722
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.722
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.722
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:        30449660 kB
Buffers:           60704 kB
Cached:           610712 kB
SwapCached:         3384 kB
Active:           224724 kB
Inactive:         536116 kB
Active(anon):      88608 kB
Inactive(anon):     3092 kB
Active(file):     136116 kB
Inactive(file):   533024 kB
Unevictable:      942524 kB
Mlocked:           14548 kB
SwapTotal:      67108856 kB
SwapFree:       67097100 kB
Dirty:              4708 kB
Writeback:             0 kB
AnonPages:       1029772 kB
Mapped:             7896 kB
Shmem:                 0 kB
Slab:             586776 kB
SReclaimable:      30416 kB
SUnreclaim:       556360 kB
KernelStack:        1448 kB
PageTables:         6200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1145140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1003520 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= 71732 MiB
End job on node113 at 2016-06-06 23:10:21