0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703493-1338089786.opb.
0.00/0.00	c Instance file HOME/instance-3703493-1338089786.opb
0.00/0.00	c File size is 266563 bytes.
0.00/0.02	c Cost Offset: 0
0.00/0.02	c Highest Coefficient sum: 167
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      4676                                                |
0.00/0.02	c |  Number Clauses:        509                                                 |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1800.11/900.31	o 89
1800.11/900.31	c ===============================================================================
1800.11/900.31	c Wall Clock Time: 900.31 s
1800.11/900.31	c Best Solution: 89
1800.11/900.31	s SATISFIABLE
1800.11/900.31	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	89

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3703493-1338089786/watcher-3703493-1338089786 -o /tmp/evaluation-result-3703493-1338089786/solver-3703493-1338089786 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703493-1338089786.opb 

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: 3.68 3.93 3.83 4/178 20472
/proc/meminfo: memFree=28389260/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=6112 CPUtime=0 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) R 20470 20472 20135 0 -1 4202496 774 0 0 0 0 0 0 0 20 0 1 0 275104065 6258688 726 33554432000 4194304 5965102 140737190177376 140735324190616 4220672 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 1528 726 166 433 0 1026 0

[startup+0.0606889 s]
/proc/loadavg: 3.68 3.93 3.83 4/178 20472
/proc/meminfo: memFree=28389260/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=172184 CPUtime=0.09 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 6121 0 0 0 7 2 0 0 20 0 3 0 275104065 176316416 5736 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 43046 5739 202 433 0 42610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 172184

[startup+0.100219 s]
/proc/loadavg: 3.68 3.93 3.83 4/178 20472
/proc/meminfo: memFree=28389260/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=181772 CPUtime=0.17 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 10534 0 0 0 14 3 0 0 20 0 3 0 275104065 186134528 9743 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 45443 9746 202 433 0 45007 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 181772

[startup+0.300157 s]
/proc/loadavg: 3.68 3.93 3.83 4/178 20472
/proc/meminfo: memFree=28389260/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=226164 CPUtime=0.56 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 25532 0 0 0 49 7 0 0 20 0 3 0 275104065 231591936 25205 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 56541 25206 206 433 0 56105 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 226164

[startup+0.700161 s]
/proc/loadavg: 3.68 3.93 3.83 4/178 20472
/proc/meminfo: memFree=28389260/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=226772 CPUtime=1.36 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 25877 0 0 0 129 7 0 0 20 0 3 0 275104065 232214528 25550 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 56693 25550 206 433 0 56257 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 226772

[startup+1.50028 s]
/proc/loadavg: 3.68 3.93 3.83 5/181 20475
/proc/meminfo: memFree=28280600/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=226772 CPUtime=2.96 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 26338 0 0 0 289 7 0 0 20 0 3 0 275104065 232214528 26010 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 56693 26011 206 433 0 56257 0
[pid=20472/tid=20474] ppid=20470 vsize=226772 CPUtime=1.46 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 3018 0 0 0 145 1 0 0 20 0 3 0 275104068 232214528 26011 33554432000 4194304 5965102 140737190177376 140640786962792 4392441 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=226772 CPUtime=1.46 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 21978 0 0 0 139 7 0 0 20 0 3 0 275104068 232214528 26011 33554432000 4194304 5965102 140737190177376 140640776472696 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 226772

[startup+3.10022 s]
/proc/loadavg: 3.68 3.93 3.83 5/181 20475
/proc/meminfo: memFree=28271028/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=226772 CPUtime=6.16 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 28425 0 0 0 608 8 0 0 20 0 3 0 275104065 232214528 28097 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 56693 28097 206 433 0 56257 0
[pid=20472/tid=20474] ppid=20470 vsize=226772 CPUtime=3.06 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 5050 0 0 0 304 2 0 0 20 0 3 0 275104068 232214528 28097 33554432000 4194304 5965102 140737190177376 140640786962472 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=226772 CPUtime=3.06 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 22032 0 0 0 299 7 0 0 20 0 3 0 275104068 232214528 28097 33554432000 4194304 5965102 140737190177376 140640776472936 4400894 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 226772

[startup+6.30028 s]
/proc/loadavg: 3.70 3.93 3.83 6/181 20475
/proc/meminfo: memFree=28250968/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=226772 CPUtime=12.56 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 29840 0 0 0 1248 8 0 0 20 0 3 0 275104065 232214528 29511 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 56693 29511 206 433 0 56257 0
[pid=20472/tid=20474] ppid=20470 vsize=226772 CPUtime=6.26 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 6258 0 0 0 624 2 0 0 20 0 3 0 275104068 232214528 29511 33554432000 4194304 5965102 140737190177376 140640786962760 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=226772 CPUtime=6.26 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 22239 0 0 0 619 7 0 0 20 0 3 0 275104068 232214528 29511 33554432000 4194304 5965102 140737190177376 140640776472888 4393958 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 226772

[startup+12.7003 s]
/proc/loadavg: 3.73 3.94 3.83 6/181 20475
/proc/meminfo: memFree=28212056/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=226772 CPUtime=25.36 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 32679 0 0 0 2526 10 0 0 20 0 3 0 275104065 232214528 32351 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 56693 32351 206 433 0 56257 0
[pid=20472/tid=20474] ppid=20470 vsize=226772 CPUtime=12.66 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 8803 0 0 0 1262 4 0 0 20 0 3 0 275104068 232214528 32351 33554432000 4194304 5965102 140737190177376 140640786962424 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=226772 CPUtime=12.66 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 22534 0 0 0 1259 7 0 0 20 0 3 0 275104068 232214528 32351 33554432000 4194304 5965102 140737190177376 140640776472888 4388991 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 226772

[startup+25.5003 s]
/proc/loadavg: 3.79 3.94 3.83 6/181 20475
/proc/meminfo: memFree=28151104/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=226772 CPUtime=50.95 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 38298 0 0 0 5084 11 0 0 20 0 3 0 275104065 232214528 37969 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 56693 37969 206 433 0 56257 0
[pid=20472/tid=20474] ppid=20470 vsize=226772 CPUtime=25.46 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 13790 0 0 0 2541 5 0 0 20 0 3 0 275104068 232214528 37969 33554432000 4194304 5965102 140737190177376 140640786962232 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=226772 CPUtime=25.46 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 23165 0 0 0 2538 8 0 0 20 0 3 0 275104068 232214528 37969 33554432000 4194304 5965102 140737190177376 140640776472888 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 226772

[startup+51.1003 s]
/proc/loadavg: 3.86 3.94 3.84 6/181 20475
/proc/meminfo: memFree=28035752/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=292792 CPUtime=102.14 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 55528 0 0 0 10193 21 0 0 20 0 3 0 275104065 299819008 55199 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 73198 55199 206 433 0 72762 0
[pid=20472/tid=20474] ppid=20470 vsize=292792 CPUtime=51.06 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 29659 0 0 0 5094 12 0 0 20 0 3 0 275104068 299819008 55199 33554432000 4194304 5965102 140737190177376 140640786962424 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=292792 CPUtime=51.06 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 24526 0 0 0 5096 10 0 0 20 0 3 0 275104068 299819008 55199 33554432000 4194304 5965102 140737190177376 140640776472888 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 292792

[startup+102.307 s]
/proc/loadavg: 3.94 3.95 3.84 6/181 20475
/proc/meminfo: memFree=27961924/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=358892 CPUtime=204.53 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 66154 0 0 0 20424 29 0 0 20 0 3 0 275104065 367505408 66060 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 89723 66060 206 433 0 89287 0
[pid=20472/tid=20474] ppid=20470 vsize=358892 CPUtime=102.25 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 37849 0 0 0 10207 18 0 0 20 0 3 0 275104068 367505408 66060 33554432000 4194304 5965102 140737190177376 140640786962232 4401849 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=358892 CPUtime=102.27 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 26962 0 0 0 10213 14 0 0 20 0 3 0 275104068 367505408 66060 33554432000 4194304 5965102 140737190177376 140640776472936 4401752 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 358892

[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.85 6/181 20476
/proc/meminfo: memFree=27863812/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=423864 CPUtime=324.48 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 81063 0 0 0 32409 39 0 0 20 0 3 0 275104065 434036736 74600 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 105966 74600 206 433 0 105530 0
[pid=20472/tid=20474] ppid=20470 vsize=423864 CPUtime=162.22 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 48395 0 0 0 16198 24 0 0 20 0 3 0 275104068 434036736 74600 33554432000 4194304 5965102 140737190177376 140640786963272 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=423864 CPUtime=162.26 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 31325 0 0 0 16206 20 0 0 20 0 3 0 275104068 434036736 74600 33554432000 4194304 5965102 140737190177376 140640776472888 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 423864

[startup+222.3 s]
/proc/loadavg: 3.99 3.96 3.85 6/182 20479
/proc/meminfo: memFree=27800928/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=424376 CPUtime=444.43 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 85901 0 0 0 44400 43 0 0 20 0 3 0 275104065 434561024 79506 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 106094 79506 206 433 0 105658 0
[pid=20472/tid=20474] ppid=20470 vsize=424376 CPUtime=222.21 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 48486 0 0 0 22196 25 0 0 20 0 3 0 275104068 434561024 79506 33554432000 4194304 5965102 140737190177376 140640786963272 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=424376 CPUtime=222.25 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 36072 0 0 0 22200 25 0 0 20 0 3 0 275104068 434561024 79506 33554432000 4194304 5965102 140737190177376 140640776472888 4388991 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 424376

[startup+282.3 s]
/proc/loadavg: 4.05 3.98 3.86 6/181 20479
/proc/meminfo: memFree=27639308/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=490552 CPUtime=564.4 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 113810 0 0 0 56381 59 0 0 20 0 3 0 275104065 502325248 108704 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 122638 108704 206 433 0 122202 0
[pid=20472/tid=20474] ppid=20470 vsize=490552 CPUtime=282.21 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 71199 0 0 0 28184 37 0 0 20 0 3 0 275104068 502325248 108704 33554432000 4194304 5965102 140737190177376 140640786962424 4389308 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=490552 CPUtime=282.24 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 41268 0 0 0 28193 31 0 0 20 0 3 0 275104068 502325248 108704 33554432000 4194304 5965102 140737190177376 140640776472888 4404320 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 490552

[startup+342.3 s]
/proc/loadavg: 4.02 3.98 3.87 6/181 20479
/proc/meminfo: memFree=27518192/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=621776 CPUtime=684.38 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 129008 0 0 0 68368 70 0 0 20 0 3 0 275104065 636698624 123902 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 155444 123902 206 433 0 155008 0
[pid=20472/tid=20474] ppid=20470 vsize=621776 CPUtime=342.21 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 81119 0 0 0 34178 43 0 0 20 0 3 0 275104068 636698624 123902 33554432000 4194304 5965102 140737190177376 140640786962232 4390150 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=621776 CPUtime=342.25 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 46546 0 0 0 34187 38 0 0 20 0 3 0 275104068 636698624 123902 33554432000 4194304 5965102 140737190177376 140640776472888 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 621776

[startup+402.3 s]
/proc/loadavg: 4.00 3.98 3.88 6/181 20479
/proc/meminfo: memFree=27459568/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=621912 CPUtime=804.36 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 138989 0 0 0 80360 76 0 0 20 0 3 0 275104065 636837888 133883 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 155478 133883 206 433 0 155042 0
[pid=20472/tid=20474] ppid=20470 vsize=621912 CPUtime=402.21 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 85199 0 0 0 40175 46 0 0 20 0 3 0 275104068 636837888 133883 33554432000 4194304 5965102 140737190177376 140640786962424 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=621912 CPUtime=402.25 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 52447 0 0 0 40182 43 0 0 20 0 3 0 275104068 636837888 133883 33554432000 4194304 5965102 140737190177376 140640776472888 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 621912

[startup+462.3 s]
/proc/loadavg: 4.00 3.98 3.88 6/181 20480
/proc/meminfo: memFree=27360368/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=687596 CPUtime=924.34 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 152295 0 0 0 92348 86 0 0 20 0 3 0 275104065 704098304 147189 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 171899 147189 206 433 0 171463 0
[pid=20472/tid=20474] ppid=20470 vsize=687596 CPUtime=462.21 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 94878 0 0 0 46170 51 0 0 20 0 3 0 275104068 704098304 147189 33554432000 4194304 5965102 140737190177376 140640786962232 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=687596 CPUtime=462.25 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 56074 0 0 0 46175 50 0 0 20 0 3 0 275104068 704098304 147189 33554432000 4194304 5965102 140737190177376 140640776472888 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 687596

[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.89 6/181 20480
/proc/meminfo: memFree=27290752/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=755068 CPUtime=1044.32 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 161229 0 0 0 104339 93 0 0 20 0 3 0 275104065 773189632 156352 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 188767 156352 206 433 0 188331 0
[pid=20472/tid=20474] ppid=20470 vsize=755068 CPUtime=522.21 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 97416 0 0 0 52169 52 0 0 20 0 3 0 275104068 773189632 156354 33554432000 4194304 5965102 140737190177376 140640786962424 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=755068 CPUtime=522.25 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 62472 0 0 0 52168 57 0 0 20 0 3 0 275104068 773189632 156354 33554432000 4194304 5965102 140737190177376 140640776472888 4401107 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 755068

[startup+582.3 s]
/proc/loadavg: 4.00 3.98 3.89 6/181 20480
/proc/meminfo: memFree=27249988/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=755068 CPUtime=1164.27 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 167478 0 0 0 116328 99 0 0 20 0 3 0 275104065 773189632 162846 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 188767 162846 206 433 0 188331 0
[pid=20472/tid=20474] ppid=20470 vsize=755068 CPUtime=582.17 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 101007 0 0 0 58162 55 0 0 20 0 3 0 275104068 773189632 162846 33554432000 4194304 5965102 140737190177376 140640786962232 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=755068 CPUtime=582.25 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 65128 0 0 0 58163 62 0 0 20 0 3 0 275104068 773189632 162846 33554432000 4194304 5965102 140737190177376 140640776472888 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 755068

[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.90 6/181 20480
/proc/meminfo: memFree=27146352/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=820764 CPUtime=1284.24 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 182044 0 0 0 128315 109 0 0 20 0 3 0 275104065 840462336 177589 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 205191 177589 206 433 0 204755 0
[pid=20472/tid=20474] ppid=20470 vsize=820764 CPUtime=642.15 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 112408 0 0 0 64154 61 0 0 20 0 3 0 275104068 840462336 177589 33554432000 4194304 5965102 140737190177376 140640786962232 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=820764 CPUtime=642.26 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 68293 0 0 0 64159 67 0 0 20 0 3 0 275104068 840462336 177589 33554432000 4194304 5965102 140737190177376 140640776472888 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.24
Current children cumulated vsize (KiB) 820764

[startup+702.3 s]
/proc/loadavg: 4.00 3.98 3.90 6/181 20480
/proc/meminfo: memFree=26986496/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=886872 CPUtime=1404.18 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 202539 0 0 0 140297 121 0 0 20 0 3 0 275104065 908156928 198075 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 221718 198075 206 433 0 221282 0
[pid=20472/tid=20474] ppid=20470 vsize=886872 CPUtime=702.13 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 128702 0 0 0 70142 71 0 0 20 0 3 0 275104068 908156928 198075 33554432000 4194304 5965102 140737190177376 140640786962424 4401050 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=886872 CPUtime=702.25 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 72494 0 0 0 70153 72 0 0 20 0 3 0 275104068 908156928 198075 33554432000 4194304 5965102 140737190177376 140640776472888 4401794 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.18
Current children cumulated vsize (KiB) 886872

[startup+762.307 s]
/proc/loadavg: 4.00 3.98 3.91 6/181 20481
/proc/meminfo: memFree=26936812/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=952576 CPUtime=1524.16 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 211400 0 0 0 152286 130 0 0 20 0 3 0 275104065 975437824 206923 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 238144 206923 206 433 0 237708 0
[pid=20472/tid=20474] ppid=20470 vsize=952576 CPUtime=762.13 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 129204 0 0 0 76141 72 0 0 20 0 3 0 275104068 975437824 206923 33554432000 4194304 5965102 140737190177376 140640786962232 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=952576 CPUtime=762.24 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 80853 0 0 0 76143 81 0 0 20 0 3 0 275104068 975437824 206923 33554432000 4194304 5965102 140737190177376 140640776472888 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 952576

[startup+822.3 s]
/proc/loadavg: 4.00 3.98 3.91 6/182 20484
/proc/meminfo: memFree=26808656/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=1019064 CPUtime=1644.13 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 229420 0 0 0 164271 142 0 0 20 0 3 0 275104065 1043521536 224939 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 254766 224939 206 433 0 254330 0
[pid=20472/tid=20474] ppid=20470 vsize=1019064 CPUtime=822.12 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 138897 0 0 0 82135 77 0 0 20 0 3 0 275104068 1043521536 224939 33554432000 4194304 5965102 140737190177376 140640786962232 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=1019064 CPUtime=822.24 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 89180 0 0 0 82134 90 0 0 20 0 3 0 275104068 1043521536 224939 33554432000 4194304 5965102 140737190177376 140640776472888 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 1019064

[startup+882.3 s]
/proc/loadavg: 4.00 3.98 3.91 6/181 20484
/proc/meminfo: memFree=26650184/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=1150436 CPUtime=1764.11 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 263251 0 0 0 176252 159 0 0 20 0 3 0 275104065 1178046464 258768 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 287609 258768 206 433 0 287173 0
[pid=20472/tid=20474] ppid=20470 vsize=1150436 CPUtime=882.12 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 163535 0 0 0 88123 89 0 0 20 0 3 0 275104068 1178046464 258768 33554432000 4194304 5965102 140737190177376 140640786962424 4390200 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=1150436 CPUtime=882.24 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 98373 0 0 0 88127 97 0 0 20 0 3 0 275104068 1178046464 258768 33554432000 4194304 5965102 140737190177376 140640776472888 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 1150436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.98 3.91 3/178 20485
/proc/meminfo: memFree=27319844/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=1215972 CPUtime=1800.11 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 276900 0 0 0 179844 167 0 0 20 0 3 0 275104065 1245155328 272417 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 303993 272417 206 433 0 303557 0
[pid=20472/tid=20474] ppid=20470 vsize=1215972 CPUtime=900.13 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 176284 0 0 0 89916 97 0 0 20 0 3 0 275104068 1245155328 272417 33554432000 4194304 5965102 140737190177376 140640786962424 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=1215972 CPUtime=900.25 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 99273 0 0 0 89928 97 0 0 20 0 3 0 275104068 1245155328 272417 33554432000 4194304 5965102 140737190177376 140640776472888 4401050 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1215972

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

Solver just ended. Dumping a history of the last processes samples

[startup+900.3 s]
/proc/loadavg: 4.00 3.98 3.91 3/178 20485
/proc/meminfo: memFree=27319844/32873648 swapFree=7104/7104
[pid=20472] ppid=20470 vsize=1215972 CPUtime=1800.11 cores=0,2,4,6
/proc/20472/stat : 20472 (pwbo2.0) S 20470 20472 20135 0 -1 4202496 276900 0 0 0 179844 167 0 0 20 0 3 0 275104065 1245155328 272417 33554432000 4194304 5965102 140737190177376 140737190176896 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20472/statm: 303993 272417 206 433 0 303557 0
[pid=20472/tid=20474] ppid=20470 vsize=1215972 CPUtime=900.13 cores=0,2,4,6
/proc/20472/task/20474/stat : 20474 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 176284 0 0 0 89916 97 0 0 20 0 3 0 275104068 1245155328 272417 33554432000 4194304 5965102 140737190177376 140640786962424 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20472/tid=20475] ppid=20470 vsize=1215972 CPUtime=900.25 cores=0,2,4,6
/proc/20472/task/20475/stat : 20475 (pwbo2.0) R 20470 20472 20135 0 -1 4202560 99273 0 0 0 89928 97 0 0 20 0 3 0 275104068 1245155328 272417 33554432000 4194304 5965102 140737190177376 140640776472888 4401050 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1215972

Child status: 0
Real time (s): 900.343
CPU time (s): 1800.46
CPU user time (s): 1798.47
CPU system time (s): 1.9927
CPU usage (%): 199.975
Max. virtual memory (cumulated for all children) (KiB): 1215972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 1.9927
maximum resident set size= 1089688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276905
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= 830
involuntary context switches= 2223

runsolver used 1.72974 second user time and 4.99524 second system time

The end

Begin job on node127 at 2012-05-27 05:36:26
IDJOB=3703493
IDBENCH=2044
IDSOLVER=2279
FILE ID=node127/3703493-1338089786
RUNJOBID= node127-1338087073-20151
PBS_JOBID= 14624433
Free space on /tmp= 71172 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703493-1338089786/watcher-3703493-1338089786 -o /tmp/evaluation-result-3703493-1338089786/solver-3703493-1338089786 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703493-1338089786.opb

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

MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f
RANDOM SEED=1157207964

node127.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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.69
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.348
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	: 5331.91
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.348
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	: 5331.94
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.348
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	: 5331.91
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.348
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	: 5331.91
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.348
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	: 5331.91
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.348
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	: 5331.91
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.348
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28390236 kB
Buffers:          363008 kB
Cached:          3258336 kB
SwapCached:            0 kB
Active:          1111956 kB
Inactive:        2543768 kB
Active(anon):      36196 kB
Inactive(anon):        0 kB
Active(file):    1075760 kB
Inactive(file):  2543768 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             11308 kB
Writeback:             0 kB
AnonPages:         40636 kB
Mapped:            15144 kB
Shmem:               200 kB
Slab:             689624 kB
SReclaimable:     133980 kB
SUnreclaim:       555644 kB
KernelStack:        1440 kB
PageTables:         3992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     168380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71172 MiB
End job on node127 at 2012-05-27 05:51:28