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-4118822-1467228406.opb
0.00/0.00	c File size is 379498 bytes.
1800.01/1800.30	c Sum of soft weights:       385472
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c |  Problem Type:             Weighted                                                                   |
1800.01/1800.30	c |  Number of variables:          4457                                                                   |
1800.01/1800.30	c |  Number of hard clauses:       4407                                                                   |
1800.01/1800.30	c |  Number of soft clauses:       4457                                                                   |
1800.01/1800.30	c |  Number of cardinality:           0                                                                   |
1800.01/1800.30	c |  Number of PB :                4407                                                                   |
1800.01/1800.30	c |  Parse time:                   0.05 s                                                                 |
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	o -3618
1800.01/1800.30	o -4137
1800.01/1800.30	o -4139
1800.01/1800.30	o -4734
1800.01/1800.30	o -5028
1800.01/1800.30	o -5036
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	v -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 -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 

OK	-5036

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-4118822-1467228406/watcher-4118822-1467228406 -o /tmp/evaluation-result-4118822-1467228406/solver-4118822-1467228406 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467210304-1980 --watchdog 1960 open-wbo HOME/instance-4118822-1467228406.opb 

pid=4084
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.26 2.24 2.21 3/174 4087
/proc/meminfo: memFree=29079408/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 506 0 0 0 0 0 0 0 20 0 1 0 1866565 3178496 382 33554432000 4194304 6059633 140735867396160 140734049691400 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 776 382 226 456 0 219 0

[startup+0.100167 s]
/proc/loadavg: 2.26 2.24 2.21 3/174 4087
/proc/meminfo: memFree=29079408/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=22012 CPUtime=0.09 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 4123 0 0 0 9 0 0 0 20 0 1 0 1866565 22540288 4357 33554432000 4194304 6059633 140735867396160 140735867394488 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 5503 4357 171 456 0 5039 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22012

[startup+0.200353 s]
/proc/loadavg: 2.26 2.24 2.21 3/174 4087
/proc/meminfo: memFree=29079408/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=22388 CPUtime=0.19 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 4224 0 0 0 19 0 0 0 20 0 1 0 1866565 22925312 4458 33554432000 4194304 6059633 140735867396160 140735867394488 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 5597 4458 183 456 0 5133 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22388

[startup+0.300333 s]
/proc/loadavg: 2.26 2.24 2.21 3/174 4087
/proc/meminfo: memFree=29079408/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=22388 CPUtime=0.29 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 4256 0 0 0 29 0 0 0 20 0 1 0 1866565 22925312 4490 33554432000 4194304 6059633 140735867396160 140735867394488 4277790 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 5597 4490 183 456 0 5133 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22388

[startup+0.700283 s]
/proc/loadavg: 2.26 2.24 2.21 3/174 4087
/proc/meminfo: memFree=29079408/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=22520 CPUtime=0.69 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 4309 0 0 0 69 0 0 0 20 0 1 0 1866565 23060480 5054 33554432000 4194304 6059633 140735867396160 140735867394488 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 5630 5054 184 456 0 5166 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22520

[startup+1.50027 s]
/proc/loadavg: 2.26 2.24 2.21 3/175 4088
/proc/meminfo: memFree=29058448/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=21108 CPUtime=1.49 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 4938 0 0 0 149 0 0 0 20 0 1 0 1866565 21614592 4558 33554432000 4194304 6059633 140735867396160 140735867394920 4277904 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 5277 4558 186 456 0 4813 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21108

[startup+3.10028 s]
/proc/loadavg: 2.26 2.24 2.21 3/175 4088
/proc/meminfo: memFree=29061104/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=23048 CPUtime=3.09 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 5217 0 0 0 309 0 0 0 20 0 1 0 1866565 23601152 4829 33554432000 4194304 6059633 140735867396160 140735867394616 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 5762 4829 186 456 0 5298 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23048

[startup+6.30025 s]
/proc/loadavg: 2.24 2.23 2.20 3/175 4088
/proc/meminfo: memFree=29057872/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=26012 CPUtime=6.29 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 6464 0 0 0 628 1 0 0 20 0 1 0 1866565 26636288 5669 33554432000 4194304 6059633 140735867396160 140735867394312 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 6503 5669 186 456 0 6039 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26012

[startup+12.7003 s]
/proc/loadavg: 2.22 2.23 2.20 4/175 4088
/proc/meminfo: memFree=29053292/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=29448 CPUtime=12.69 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 6852 0 0 0 1268 1 0 0 20 0 1 0 1866565 30154752 6553 33554432000 4194304 6059633 140735867396160 140735867394920 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 7362 6553 189 456 0 6898 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29448

[startup+25.5004 s]
/proc/loadavg: 2.54 2.30 2.23 3/175 4088
/proc/meminfo: memFree=29046840/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=36764 CPUtime=25.48 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 7996 0 0 0 2547 1 0 0 20 0 1 0 1866565 37646336 8301 33554432000 4194304 6059633 140735867396160 140735867394920 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 9191 8301 189 456 0 8727 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36764

[startup+51.1004 s]
/proc/loadavg: 2.36 2.27 2.22 3/175 4088
/proc/meminfo: memFree=29046096/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=36764 CPUtime=51.08 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 8178 0 0 0 5106 2 0 0 20 0 1 0 1866565 37646336 8478 33554432000 4194304 6059633 140735867396160 140735867394920 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 9191 8478 189 456 0 8727 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36764

[startup+102.3 s]
/proc/loadavg: 2.30 2.27 2.22 3/175 4089
/proc/meminfo: memFree=29041836/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=41184 CPUtime=102.28 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 8293 0 0 0 10226 2 0 0 20 0 1 0 1866565 42172416 9606 33554432000 4194304 6059633 140735867396160 140735867394920 4277904 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 10296 9606 190 456 0 9832 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 41184

[startup+162.3 s]
/proc/loadavg: 2.22 2.25 2.21 3/175 4090
/proc/meminfo: memFree=29019436/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=45152 CPUtime=162.26 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 8699 0 0 0 16224 2 0 0 20 0 1 0 1866565 46235648 10515 33554432000 4194304 6059633 140735867396160 140735867394344 4246291 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 11288 10515 190 456 0 10824 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 45152

[startup+222.307 s]
/proc/loadavg: 2.17 2.23 2.21 3/176 4139
/proc/meminfo: memFree=29094148/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=68964 CPUtime=222.26 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 9585 0 0 0 22223 3 0 0 20 0 1 0 1866565 70619136 13216 33554432000 4194304 6059633 140735867396160 140735867394312 4278472 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 17241 13216 190 456 0 16777 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 68964

[startup+282.3 s]
/proc/loadavg: 2.14 2.22 2.20 3/175 4141
/proc/meminfo: memFree=29089260/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=68964 CPUtime=282.24 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 9600 0 0 0 28221 3 0 0 20 0 1 0 1866565 70619136 13231 33554432000 4194304 6059633 140735867396160 140735867394920 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 17241 13231 190 456 0 16777 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 68964

[startup+342.3 s]
/proc/loadavg: 2.21 2.22 2.20 3/175 4142
/proc/meminfo: memFree=29086536/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=68964 CPUtime=342.23 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 9601 0 0 0 34220 3 0 0 20 0 1 0 1866565 70619136 13743 33554432000 4194304 6059633 140735867396160 140735867394920 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 17241 13743 190 456 0 16777 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 68964

[startup+402.3 s]
/proc/loadavg: 2.23 2.22 2.20 3/175 4143
/proc/meminfo: memFree=29072580/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=68964 CPUtime=402.22 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 9848 0 0 0 40219 3 0 0 20 0 1 0 1866565 70619136 16537 33554432000 4194304 6059633 140735867396160 140735867394920 4262374 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 17241 16537 191 456 0 16777 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 68964

[startup+462.3 s]
/proc/loadavg: 2.31 2.24 2.20 3/175 4144
/proc/meminfo: memFree=29070844/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=68964 CPUtime=462.21 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 9867 0 0 0 46218 3 0 0 20 0 1 0 1866565 70619136 16556 33554432000 4194304 6059633 140735867396160 140735867394920 4277535 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 17241 16556 191 456 0 16777 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 68964

[startup+522.3 s]
/proc/loadavg: 2.47 2.30 2.22 3/175 4145
/proc/meminfo: memFree=29051304/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=80452 CPUtime=522.21 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 10204 0 0 0 52217 4 0 0 20 0 1 0 1866565 82382848 19434 33554432000 4194304 6059633 140735867396160 140735867394920 4277586 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 20113 19434 191 456 0 19649 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 80452

[startup+582.3 s]
/proc/loadavg: 2.46 2.32 2.23 3/175 4147
/proc/meminfo: memFree=29049432/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=80452 CPUtime=582.2 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 10215 0 0 0 58216 4 0 0 20 0 1 0 1866565 82382848 19485 33554432000 4194304 6059633 140735867396160 140735867394920 4278354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 20113 19485 191 456 0 19649 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 80452


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


[startup+942.3 s]
/proc/loadavg: 2.32 2.29 2.23 4/175 4157
/proc/meminfo: memFree=29032920/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=81532 CPUtime=942.14 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 10494 0 0 0 94210 4 0 0 20 0 1 0 1866565 83488768 19756 33554432000 4194304 6059633 140735867396160 140735867394344 4278024 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 20383 19756 192 456 0 19919 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 81532

[startup+1002.3 s]
/proc/loadavg: 2.35 2.29 2.23 4/175 4158
/proc/meminfo: memFree=29032424/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=81960 CPUtime=1002.13 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 10603 0 0 0 100209 4 0 0 20 0 1 0 1866565 83927040 19863 33554432000 4194304 6059633 140735867396160 140735867394344 4246357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 20490 19863 192 456 0 20026 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 81960

[startup+1062.3 s]
/proc/loadavg: 2.25 2.27 2.22 3/175 4159
/proc/meminfo: memFree=29031792/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=82388 CPUtime=1062.12 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 10711 0 0 0 106208 4 0 0 20 0 1 0 1866565 84365312 19971 33554432000 4194304 6059633 140735867396160 140735867394344 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 20597 19971 192 456 0 20133 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 82388

[startup+1122.3 s]
/proc/loadavg: 2.18 2.25 2.22 4/175 4160
/proc/meminfo: memFree=29012432/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=83028 CPUtime=1122.11 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 10875 0 0 0 112207 4 0 0 20 0 1 0 1866565 85020672 20131 33554432000 4194304 6059633 140735867396160 140735867394344 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 20757 20131 192 456 0 20293 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 83028

[startup+1182.3 s]
/proc/loadavg: 2.21 2.24 2.22 3/175 4162
/proc/meminfo: memFree=29012432/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=83028 CPUtime=1182.1 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 10894 0 0 0 118206 4 0 0 20 0 1 0 1866565 85020672 20150 33554432000 4194304 6059633 140735867396160 140735867394920 4301010 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 20757 20150 192 456 0 20293 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 83028

[startup+1242.3 s]
/proc/loadavg: 2.28 2.26 2.22 3/175 4163
/proc/meminfo: memFree=29040788/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=83344 CPUtime=1242.09 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 10976 0 0 0 124205 4 0 0 20 0 1 0 1866565 85344256 20229 33554432000 4194304 6059633 140735867396160 140735867394344 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 20836 20229 192 456 0 20372 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 83344

[startup+1302.3 s]
/proc/loadavg: 2.25 2.25 2.22 3/175 4164
/proc/meminfo: memFree=29019748/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=84300 CPUtime=1302.08 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 11226 0 0 0 130204 4 0 0 20 0 1 0 1866565 86323200 20468 33554432000 4194304 6059633 140735867396160 140735867394344 4277697 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 21075 20468 192 456 0 20611 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 84300

[startup+1362.3 s]
/proc/loadavg: 2.17 2.23 2.21 4/175 4165
/proc/meminfo: memFree=29019128/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=84656 CPUtime=1362.07 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 11318 0 0 0 136203 4 0 0 20 0 1 0 1866565 86687744 20557 33554432000 4194304 6059633 140735867396160 140735867394344 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 21164 20557 192 456 0 20700 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 84656

[startup+1422.3 s]
/proc/loadavg: 2.21 2.23 2.21 4/176 4169
/proc/meminfo: memFree=29016180/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=85340 CPUtime=1422.07 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 11496 0 0 0 142203 4 0 0 20 0 1 0 1866565 87388160 20728 33554432000 4194304 6059633 140735867396160 140735867394344 4277835 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 21335 20728 192 456 0 20871 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 85340

[startup+1482.3 s]
/proc/loadavg: 2.21 2.23 2.21 3/175 4171
/proc/meminfo: memFree=29015568/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=85712 CPUtime=1482.05 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 11595 0 0 0 148201 4 0 0 20 0 1 0 1866565 87769088 20821 33554432000 4194304 6059633 140735867396160 140735867394344 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 21428 20821 192 456 0 20964 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 85712

[startup+1542.31 s]
/proc/loadavg: 2.29 2.26 2.22 3/175 4172
/proc/meminfo: memFree=29015692/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=85712 CPUtime=1542.05 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 11595 0 0 0 154201 4 0 0 20 0 1 0 1866565 87769088 20821 33554432000 4194304 6059633 140735867396160 140735867394344 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 21428 20821 192 456 0 20964 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 85712

[startup+1602.3 s]
/proc/loadavg: 2.32 2.27 2.22 3/175 4173
/proc/meminfo: memFree=29005080/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=93332 CPUtime=1602.04 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 11981 0 0 0 160199 5 0 0 20 0 1 0 1866565 95571968 22726 33554432000 4194304 6059633 140735867396160 140735867394344 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 23333 22726 192 456 0 22869 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 93332

[startup+1662.3 s]
/proc/loadavg: 2.21 2.25 2.21 3/175 4174
/proc/meminfo: memFree=29004344/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=93332 CPUtime=1662.03 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 12189 0 0 0 166198 5 0 0 20 0 1 0 1866565 95571968 22729 33554432000 4194304 6059633 140735867396160 140735867394648 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 23333 22729 192 456 0 22869 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 93332

[startup+1722.3 s]
/proc/loadavg: 2.26 2.25 2.21 3/175 4175
/proc/meminfo: memFree=28975800/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=93332 CPUtime=1722.02 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 12429 0 0 0 172196 6 0 0 20 0 1 0 1866565 95571968 22729 33554432000 4194304 6059633 140735867396160 140735867394648 4246304 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 23333 22729 192 456 0 22869 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 93332

[startup+1782.3 s]
/proc/loadavg: 2.33 2.26 2.22 4/175 4177
/proc/meminfo: memFree=28997464/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=105820 CPUtime=1782.01 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 12732 0 0 0 178195 6 0 0 20 0 1 0 1866565 108359680 24560 33554432000 4194304 6059633 140735867396160 140735867394312 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 26455 24560 192 456 0 25991 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 105820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.26 2.22 3/175 4178
/proc/meminfo: memFree=28993724/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=105820 CPUtime=1800.01 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 12734 0 0 0 179995 6 0 0 20 0 1 0 1866565 108359680 25584 33554432000 4194304 6059633 140735867396160 140735867394312 4277832 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 26455 25584 192 456 0 25991 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 105820

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

[startup+1800.3 s]
/proc/loadavg: 2.30 2.26 2.22 3/175 4178
/proc/meminfo: memFree=28993724/32872528 swapFree=1297548/1461068
[pid=4087] ppid=4084 vsize=105820 CPUtime=1800.01 cores=0,2,4,6
/proc/4087/stat : 4087 (open-wbo) R 4084 4087 1964 0 -1 4202496 12734 0 0 0 179995 6 0 0 20 0 1 0 1866565 108359680 25584 33554432000 4194304 6059633 140735867396160 140735867394312 4277832 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4087/statm: 26455 25584 192 456 0 25991 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 105820

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.96
CPU system time (s): 0.06399
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 142652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.06399
maximum resident set size= 122396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12737
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= 14
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40433 second user time and 7.06393 second system time

The end

Begin job on node121 at 2016-06-29 21:26:46
IDJOB=4118822
IDBENCH=111536
IDSOLVER=2547
FILE ID=node121/4118822-1467228406
RUNJOBID= node121-1467210304-1980
PBS_JOBID= 19997596
Free space on /tmp= 71704 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118822-1467228406/watcher-4118822-1467228406 -o /tmp/evaluation-result-4118822-1467228406/solver-4118822-1467228406 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467210304-1980 --watchdog 1960  open-wbo HOME/instance-4118822-1467228406.opb

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

MD5SUM BENCH= aab1aa19ee49ed77df3100abf5070097
RANDOM SEED=160076266

node121.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		: 2667.172
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	: 5334.34
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		: 2667.172
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		: 2667.172
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		: 2667.172
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		: 2667.172
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.54
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		: 2667.172
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.56
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		: 2667.172
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.56
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		: 2667.172
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:        29079952 kB
Buffers:           41928 kB
Cached:          1461372 kB
SwapCached:            0 kB
Active:           200236 kB
Inactive:        1419392 kB
Active(anon):     118884 kB
Inactive(anon):        4 kB
Active(file):      81352 kB
Inactive(file):  1419388 kB
Unevictable:     1461068 kB
Mlocked:         1297548 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5060 kB
Writeback:             4 kB
AnonPages:       1702092 kB
Mapped:            14580 kB
Shmem:               204 kB
Slab:             577660 kB
SReclaimable:      22228 kB
SUnreclaim:       555432 kB
KernelStack:        1472 kB
PageTables:         7224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1687568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    372736 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= 71700 MiB
End job on node121 at 2016-06-29 21:56:46