0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3725794-1338653371.opb.
0.00/0.00	c Instance file HOME/instance-3725794-1338653371.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-3725794-1338653371/watcher-3725794-1338653371 -o /tmp/evaluation-result-3725794-1338653371/solver-3725794-1338653371 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725794-1338653371.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.95 3.99 3.70 4/178 29811
/proc/meminfo: memFree=29778288/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=5364 CPUtime=0 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) R 29809 29811 27825 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 331462593 5492736 554 33554432000 4194304 5964478 140737380100256 140735490204616 4395199 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 1341 555 156 433 0 839 0

[startup+0.035826 s]
/proc/loadavg: 3.95 3.99 3.70 4/178 29811
/proc/meminfo: memFree=29778288/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=165552 CPUtime=0.03 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 2910 0 0 0 2 1 0 0 20 0 3 0 331462593 169525248 2718 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 41388 2737 199 433 0 40952 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 165552

[startup+0.100192 s]
/proc/loadavg: 3.95 3.99 3.70 4/178 29811
/proc/meminfo: memFree=29778288/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=181772 CPUtime=0.16 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 10275 0 0 0 13 3 0 0 20 0 3 0 331462593 186134528 9450 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 45443 9453 200 433 0 45007 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 181772

[startup+0.300179 s]
/proc/loadavg: 3.95 3.99 3.70 4/178 29811
/proc/meminfo: memFree=29778288/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=226164 CPUtime=0.55 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 25027 0 0 0 48 7 0 0 20 0 3 0 331462593 231591936 25127 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 56541 25127 203 433 0 56105 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 226164

[startup+0.700186 s]
/proc/loadavg: 3.95 3.99 3.70 4/178 29811
/proc/meminfo: memFree=29778288/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=226772 CPUtime=1.35 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 25473 0 0 0 128 7 0 0 20 0 3 0 331462593 232214528 25548 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 56693 25548 203 433 0 56257 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 226772

[startup+1.50023 s]
/proc/loadavg: 3.95 3.99 3.70 5/181 29814
/proc/meminfo: memFree=29674872/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=226772 CPUtime=2.95 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 25943 0 0 0 288 7 0 0 20 0 3 0 331462593 232214528 26018 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 56693 26018 203 433 0 56257 0
[pid=29811/tid=29813] ppid=29809 vsize=226772 CPUtime=1.46 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 3097 0 0 0 144 2 0 0 20 0 3 0 331462596 232214528 26018 33554432000 4194304 5964478 140737380100256 139780766562664 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=226772 CPUtime=1.46 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 21504 0 0 0 139 7 0 0 20 0 3 0 331462596 232214528 26018 33554432000 4194304 5964478 140737380100256 139780756072680 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 226772

[startup+3.10024 s]
/proc/loadavg: 3.95 3.99 3.70 5/181 29814
/proc/meminfo: memFree=29667988/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=226772 CPUtime=6.15 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 28029 0 0 0 607 8 0 0 20 0 3 0 331462593 232214528 28104 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 56693 28104 203 433 0 56257 0
[pid=29811/tid=29813] ppid=29809 vsize=226772 CPUtime=3.06 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 5128 0 0 0 303 3 0 0 20 0 3 0 331462596 232214528 28104 33554432000 4194304 5964478 140737380100256 139780766562296 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=226772 CPUtime=3.06 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 21559 0 0 0 299 7 0 0 20 0 3 0 331462596 232214528 28104 33554432000 4194304 5964478 140737380100256 139780756072760 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 226772

[startup+6.30024 s]
/proc/loadavg: 3.95 3.99 3.70 5/181 29814
/proc/meminfo: memFree=29660844/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=226772 CPUtime=12.55 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 29439 0 0 0 1246 9 0 0 20 0 3 0 331462593 232214528 29514 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 56693 29514 203 433 0 56257 0
[pid=29811/tid=29813] ppid=29809 vsize=226772 CPUtime=6.26 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 6332 0 0 0 623 3 0 0 20 0 3 0 331462596 232214528 29514 33554432000 4194304 5964478 140737380100256 139780766562664 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=226772 CPUtime=6.26 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 21765 0 0 0 619 7 0 0 20 0 3 0 331462596 232214528 29514 33554432000 4194304 5964478 140737380100256 139780756072808 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 226772

[startup+12.7003 s]
/proc/loadavg: 3.96 3.99 3.70 5/181 29814
/proc/meminfo: memFree=29648824/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=226772 CPUtime=25.35 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 32277 0 0 0 2525 10 0 0 20 0 3 0 331462593 232214528 32352 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 56693 32352 203 433 0 56257 0
[pid=29811/tid=29813] ppid=29809 vsize=226772 CPUtime=12.66 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 8873 0 0 0 1262 4 0 0 20 0 3 0 331462596 232214528 32352 33554432000 4194304 5964478 140737380100256 139780766562104 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=226772 CPUtime=12.66 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 22062 0 0 0 1259 7 0 0 20 0 3 0 331462596 232214528 32352 33554432000 4194304 5964478 140737380100256 139780756072760 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 226772

[startup+25.5003 s]
/proc/loadavg: 3.97 3.99 3.71 5/181 29814
/proc/meminfo: memFree=29615704/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=226772 CPUtime=50.94 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 37895 0 0 0 5081 13 0 0 20 0 3 0 331462593 232214528 37970 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 56693 37970 203 433 0 56257 0
[pid=29811/tid=29813] ppid=29809 vsize=226772 CPUtime=25.46 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 13854 0 0 0 2539 7 0 0 20 0 3 0 331462596 232214528 37970 33554432000 4194304 5964478 140737380100256 139780766562296 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=226772 CPUtime=25.46 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 22699 0 0 0 2538 8 0 0 20 0 3 0 331462596 232214528 37970 33554432000 4194304 5964478 140737380100256 139780756072808 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 226772

[startup+51.1003 s]
/proc/loadavg: 3.98 3.99 3.71 5/182 29817
/proc/meminfo: memFree=29518728/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=292792 CPUtime=102.14 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 55148 0 0 0 10192 22 0 0 20 0 3 0 331462593 299819008 55553 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 73198 55553 203 433 0 72762 0
[pid=29811/tid=29813] ppid=29809 vsize=292792 CPUtime=51.06 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 29722 0 0 0 5091 15 0 0 20 0 3 0 331462596 299819008 55553 33554432000 4194304 5964478 140737380100256 139780766562296 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=292792 CPUtime=51.06 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 24084 0 0 0 5097 9 0 0 20 0 3 0 331462596 299819008 55553 33554432000 4194304 5964478 140737380100256 139780756072760 5136420 0 0 4096 16387 0 0 0 -1 5 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.99 3.99 3.73 5/181 29817
/proc/meminfo: memFree=29442644/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=358892 CPUtime=204.51 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 65836 0 0 0 20421 30 0 0 20 0 3 0 331462593 367505408 66339 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 89723 66339 203 433 0 89287 0
[pid=29811/tid=29813] ppid=29809 vsize=358892 CPUtime=102.23 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 37957 0 0 0 10202 21 0 0 20 0 3 0 331462596 367505408 66339 33554432000 4194304 5964478 140737380100256 139780766562104 4222384 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=358892 CPUtime=102.27 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 26537 0 0 0 10214 13 0 0 20 0 3 0 331462596 367505408 66339 33554432000 4194304 5964478 140737380100256 139780756072808 4399909 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 358892

[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.74 5/181 29817
/proc/meminfo: memFree=29375780/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=423864 CPUtime=324.45 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 80660 0 0 0 32405 40 0 0 20 0 3 0 331462593 434036736 75278 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 105966 75278 203 433 0 105530 0
[pid=29811/tid=29813] ppid=29809 vsize=423864 CPUtime=162.21 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 48467 0 0 0 16193 28 0 0 20 0 3 0 331462596 434036736 75278 33554432000 4194304 5964478 140737380100256 139780766563144 4399887 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=423864 CPUtime=162.25 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 30851 0 0 0 16207 18 0 0 20 0 3 0 331462596 434036736 75278 33554432000 4194304 5964478 140737380100256 139780756072568 4400563 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 423864

[startup+222.3 s]
/proc/loadavg: 4.04 4.00 3.76 5/181 29818
/proc/meminfo: memFree=29330832/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=424368 CPUtime=444.42 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 84177 0 0 0 44398 44 0 0 20 0 3 0 331462593 434552832 79899 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 106092 79899 203 433 0 105656 0
[pid=29811/tid=29813] ppid=29809 vsize=424368 CPUtime=222.22 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 48524 0 0 0 22193 29 0 0 20 0 3 0 331462596 434552832 79899 33554432000 4194304 5964478 140737380100256 139780766563144 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=424368 CPUtime=222.24 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 34311 0 0 0 22202 22 0 0 20 0 3 0 331462596 434552832 79899 33554432000 4194304 5964478 140737380100256 139780756072760 4400024 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 424368

[startup+282.3 s]
/proc/loadavg: 4.07 4.01 3.77 5/181 29818
/proc/meminfo: memFree=29217036/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=490036 CPUtime=564.4 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 108390 0 0 0 56381 59 0 0 20 0 3 0 331462593 501796864 104112 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 122509 104113 203 433 0 122073 0
[pid=29811/tid=29813] ppid=29809 vsize=490036 CPUtime=282.22 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 68656 0 0 0 28183 39 0 0 20 0 3 0 331462596 501796864 104113 33554432000 4194304 5964478 140737380100256 139780766562296 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=490036 CPUtime=282.24 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 38393 0 0 0 28195 29 0 0 20 0 3 0 331462596 501796864 104113 33554432000 4194304 5964478 140737380100256 139780756072808 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 490036

[startup+342.3 s]
/proc/loadavg: 4.02 4.01 3.79 5/181 29818
/proc/meminfo: memFree=29121140/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=556208 CPUtime=684.37 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 124396 0 0 0 68367 70 0 0 20 0 3 0 331462593 569556992 120182 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 139052 120182 203 433 0 138616 0
[pid=29811/tid=29813] ppid=29809 vsize=556208 CPUtime=342.21 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 80985 0 0 0 34174 47 0 0 20 0 3 0 331462596 569556992 120182 33554432000 4194304 5964478 140737380100256 139780766562296 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=556208 CPUtime=342.25 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 42069 0 0 0 34190 35 0 0 20 0 3 0 331462596 569556992 120182 33554432000 4194304 5964478 140737380100256 139780756072760 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 556208

[startup+402.3 s]
/proc/loadavg: 4.01 4.00 3.80 5/181 29818
/proc/meminfo: memFree=29065556/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=621744 CPUtime=804.32 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 132628 0 0 0 80355 77 0 0 20 0 3 0 331462593 636665856 128430 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 155436 128430 203 433 0 155000 0
[pid=29811/tid=29813] ppid=29809 vsize=621744 CPUtime=402.19 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 85658 0 0 0 40168 51 0 0 20 0 3 0 331462596 636665856 128430 33554432000 4194304 5964478 140737380100256 139780766562296 4399932 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=621744 CPUtime=402.25 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 45628 0 0 0 40186 39 0 0 20 0 3 0 331462596 636665856 128430 33554432000 4194304 5964478 140737380100256 139780756072760 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 621744

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.81 5/181 29818
/proc/meminfo: memFree=28996020/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=687420 CPUtime=924.28 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 146783 0 0 0 92340 88 0 0 20 0 3 0 331462593 703918080 142590 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 171855 142590 203 433 0 171419 0
[pid=29811/tid=29813] ppid=29809 vsize=687420 CPUtime=462.17 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 95328 0 0 0 46159 58 0 0 20 0 3 0 331462596 703918080 142590 33554432000 4194304 5964478 140737380100256 139780766562296 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=687420 CPUtime=462.24 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 50113 0 0 0 46178 46 0 0 20 0 3 0 331462596 703918080 142590 33554432000 4194304 5964478 140737380100256 139780756072760 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.28
Current children cumulated vsize (KiB) 687420

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 29819
/proc/meminfo: memFree=28957796/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=687552 CPUtime=1044.25 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 150107 0 0 0 104334 91 0 0 20 0 3 0 331462593 704053248 145930 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 171888 145930 203 433 0 171452 0
[pid=29811/tid=29813] ppid=29809 vsize=687552 CPUtime=522.17 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 96007 0 0 0 52159 58 0 0 20 0 3 0 331462596 704053248 145930 33554432000 4194304 5964478 140737380100256 139780766562104 4400109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=687552 CPUtime=522.24 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 52758 0 0 0 52175 49 0 0 20 0 3 0 331462596 704053248 145930 33554432000 4194304 5964478 140737380100256 139780756072760 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.25
Current children cumulated vsize (KiB) 687552

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 29819
/proc/meminfo: memFree=28910924/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=689176 CPUtime=1164.23 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 158623 0 0 0 116325 98 0 0 20 0 3 0 331462593 705716224 154442 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 172294 154442 203 433 0 171858 0
[pid=29811/tid=29813] ppid=29809 vsize=689176 CPUtime=582.17 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 101376 0 0 0 58155 62 0 0 20 0 3 0 331462596 705716224 154442 33554432000 4194304 5964478 140737380100256 139780766562104 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=689176 CPUtime=582.24 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 55905 0 0 0 58170 54 0 0 20 0 3 0 331462596 705716224 154442 33554432000 4194304 5964478 140737380100256 139780756072760 4387951 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.23
Current children cumulated vsize (KiB) 689176

[startup+642.3 s]
/proc/loadavg: 4.04 4.01 3.84 5/182 29822
/proc/meminfo: memFree=28820064/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=820680 CPUtime=1284.23 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 175483 0 0 0 128310 113 0 0 20 0 3 0 331462593 840376320 171302 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 205170 171302 203 433 0 204734 0
[pid=29811/tid=29813] ppid=29809 vsize=820680 CPUtime=642.18 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 112735 0 0 0 64147 71 0 0 20 0 3 0 331462596 840376320 171302 33554432000 4194304 5964478 140737380100256 139780766562296 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=820680 CPUtime=642.25 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 61406 0 0 0 64164 61 0 0 20 0 3 0 331462596 840376320 171302 33554432000 4194304 5964478 140737380100256 139780756072760 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 820680

[startup+702.3 s]
/proc/loadavg: 4.07 4.02 3.85 5/181 29822
/proc/meminfo: memFree=28742736/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=886216 CPUtime=1404.2 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 194035 0 0 0 140294 126 0 0 20 0 3 0 331462593 907485184 189854 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 221554 189854 203 433 0 221118 0
[pid=29811/tid=29813] ppid=29809 vsize=886216 CPUtime=702.18 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 129066 0 0 0 70136 82 0 0 20 0 3 0 331462596 907485184 189854 33554432000 4194304 5964478 140737380100256 139780766562296 4388196 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=886216 CPUtime=702.25 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 63627 0 0 0 70160 65 0 0 20 0 3 0 331462596 907485184 189854 33554432000 4194304 5964478 140737380100256 139780756072760 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.2
Current children cumulated vsize (KiB) 886216

[startup+762.307 s]
/proc/loadavg: 4.02 4.02 3.85 5/181 29822
/proc/meminfo: memFree=28714840/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=886216 CPUtime=1524.19 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 196361 0 0 0 152291 128 0 0 20 0 3 0 331462593 907485184 192180 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 221554 192180 203 433 0 221118 0
[pid=29811/tid=29813] ppid=29809 vsize=886216 CPUtime=762.19 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 129549 0 0 0 76136 83 0 0 20 0 3 0 331462596 907485184 192180 33554432000 4194304 5964478 140737380100256 139780766562104 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=886216 CPUtime=762.26 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 65470 0 0 0 76157 69 0 0 20 0 3 0 331462596 907485184 192180 33554432000 4194304 5964478 140737380100256 139780756072760 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.19
Current children cumulated vsize (KiB) 886216

[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.86 5/181 29823
/proc/meminfo: memFree=28652380/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=951972 CPUtime=1644.16 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 208295 0 0 0 164279 137 0 0 20 0 3 0 331462593 974819328 204113 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 237993 204113 203 433 0 237557 0
[pid=29811/tid=29813] ppid=29809 vsize=951972 CPUtime=822.19 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 139080 0 0 0 82131 88 0 0 20 0 3 0 331462596 974819328 204113 33554432000 4194304 5964478 140737380100256 139780766562296 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=951972 CPUtime=822.25 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 67873 0 0 0 82151 74 0 0 20 0 3 0 331462596 974819328 204113 33554432000 4194304 5964478 140737380100256 139780756072760 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.16
Current children cumulated vsize (KiB) 951972

[startup+882.3 s]
/proc/loadavg: 3.84 3.97 3.86 3/177 29824
/proc/meminfo: memFree=28955020/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=952404 CPUtime=1764.11 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 221808 0 0 0 176263 148 0 0 20 0 3 0 331462593 975261696 217986 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 238101 217986 203 433 0 237665 0
[pid=29811/tid=29813] ppid=29809 vsize=952404 CPUtime=882.16 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 149090 0 0 0 88120 96 0 0 20 0 3 0 331462596 975261696 217986 33554432000 4194304 5964478 140737380100256 139780766562296 4400109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=952404 CPUtime=882.26 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 71376 0 0 0 88147 79 0 0 20 0 3 0 331462596 975261696 217986 33554432000 4194304 5964478 140737380100256 139780756072760 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 952404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 3.87 3.97 3.86 5/181 29864
/proc/meminfo: memFree=28634168/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=1017940 CPUtime=1800.11 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 233175 0 0 0 179855 156 0 0 20 0 3 0 331462593 1042370560 229373 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 254485 229373 203 433 0 254049 0
[pid=29811/tid=29813] ppid=29809 vsize=1017940 CPUtime=900.16 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 159956 0 0 0 89912 104 0 0 20 0 3 0 331462596 1042370560 229375 33554432000 4194304 5964478 140737380100256 139780766562296 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=1017940 CPUtime=900.26 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 71879 0 0 0 89946 80 0 0 20 0 3 0 331462596 1042370560 229375 33554432000 4194304 5964478 140737380100256 139780756072760 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1017940

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: 3.87 3.97 3.86 5/181 29864
/proc/meminfo: memFree=28634168/32873648 swapFree=7116/7116
[pid=29811] ppid=29809 vsize=1017940 CPUtime=1800.11 cores=1,3,5,7
/proc/29811/stat : 29811 (pwbo2.02) S 29809 29811 27825 0 -1 4202496 233175 0 0 0 179855 156 0 0 20 0 3 0 331462593 1042370560 229373 33554432000 4194304 5964478 140737380100256 140737380099776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29811/statm: 254485 229373 203 433 0 254049 0
[pid=29811/tid=29813] ppid=29809 vsize=1017940 CPUtime=900.16 cores=1,3,5,7
/proc/29811/task/29813/stat : 29813 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 159956 0 0 0 89912 104 0 0 20 0 3 0 331462596 1042370560 229375 33554432000 4194304 5964478 140737380100256 139780766562296 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29811/tid=29814] ppid=29809 vsize=1017940 CPUtime=900.26 cores=1,3,5,7
/proc/29811/task/29814/stat : 29814 (pwbo2.02) R 29809 29811 27825 0 -1 4202560 71879 0 0 0 89946 80 0 0 20 0 3 0 331462596 1042370560 229375 33554432000 4194304 5964478 140737380100256 139780756072760 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1017940

Child status: 0
Real time (s): 900.338
CPU time (s): 1800.51
CPU user time (s): 1798.63
CPU system time (s): 1.88171
CPU usage (%): 199.982
Max. virtual memory (cumulated for all children) (KiB): 1017940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 1.88171
maximum resident set size= 917576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233196
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= 835
involuntary context switches= 1824

runsolver used 1.9717 second user time and 5.18521 second system time

The end

Begin job on node127 at 2012-06-02 18:09:31
IDJOB=3725794
IDBENCH=2044
IDSOLVER=2309
FILE ID=node127/3725794-1338653371
RUNJOBID= node127-1338651468-29220
PBS_JOBID= 14636453
Free space on /tmp= 70476 MiB

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

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

MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f
RANDOM SEED=904322790

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:        29778668 kB
Buffers:          372204 kB
Cached:          1784352 kB
SwapCached:         1500 kB
Active:          1025276 kB
Inactive:        1187644 kB
Active(anon):      50552 kB
Inactive(anon):     7932 kB
Active(file):     974724 kB
Inactive(file):  1179712 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104404 kB
Dirty:             11544 kB
Writeback:             0 kB
AnonPages:         61840 kB
Mapped:            11468 kB
Shmem:                92 kB
Slab:             743856 kB
SReclaimable:     188068 kB
SUnreclaim:       555788 kB
KernelStack:        1472 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     158296 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= 70472 MiB
End job on node127 at 2012-06-02 18:24:34