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-3704027-1338098148.opb.
0.00/0.00	c Instance file HOME/instance-3704027-1338098148.opb
0.00/0.00	c File size is 21212150 bytes.
1.59/1.67	c Cost Offset: 0
1.59/1.67	c Highest Coefficient sum: 46
1.59/1.67	c ============================[ Problem Statistics ]=============================
1.59/1.67	c |                                                                             |
1.59/1.67	c |  Parsing time:          1.67         s                                      |
1.59/1.67	c |  Number Variables:      5048                                                |
1.59/1.67	c |  Number Clauses:        65280                                               |
1.59/1.67	c |  Number Cardinality:    0                                                   |
1.59/1.67	c |  Number PB Constraints: 0                                                   |
1.59/1.67	c |                                                                             |
1.59/1.69	c |  Problem Type:          Optimization                                        |
1.59/1.69	c |  Objective Function:    Cardinality Constraint                              |
1.59/1.69	c |                                                                             |
1.59/1.69	c ===============================================================================
1800.08/901.21	o 49
1800.08/901.21	c ===============================================================================
1800.08/901.21	c Wall Clock Time: 901.21 s
1800.08/901.21	c Best Solution: 49
1800.08/901.21	s SATISFIABLE
1800.08/901.21	v -x1 x2 x3 x4 x5 x6 -x7 x8 -x9 -x10 x11 x12 x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 x46 x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 x922 x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 x2198 x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048

OK	49

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-3704027-1338098148/watcher-3704027-1338098148 -o /tmp/evaluation-result-3704027-1338098148/solver-3704027-1338098148 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704027-1338098148.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: 4.02 4.02 3.94 3/180 18792
/proc/meminfo: memFree=29728016/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=25988 CPUtime=0 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) R 18790 18792 15889 0 -1 4202496 640 0 0 0 0 0 0 0 20 0 1 0 275939664 26611712 593 33554432000 4194304 5965102 140736010510736 140736699106168 4396460 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 6497 594 159 433 0 882 0

[startup+0.055034 s]
/proc/loadavg: 4.02 4.02 3.94 3/180 18792
/proc/meminfo: memFree=29728016/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=27360 CPUtime=0.05 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) R 18790 18792 15889 0 -1 4202496 1108 0 0 0 5 0 0 0 20 0 1 0 275939664 28016640 1061 33554432000 4194304 5965102 140736010510736 140736699106168 5074672 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 6840 1061 308 433 0 1225 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27360

[startup+0.10019 s]
/proc/loadavg: 4.02 4.02 3.94 3/180 18792
/proc/meminfo: memFree=29728016/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=28152 CPUtime=0.09 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) R 18790 18792 15889 0 -1 4202496 1448 0 0 0 9 0 0 0 20 0 1 0 275939664 28827648 1401 33554432000 4194304 5965102 140736010510736 140736010508824 5374227 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 7038 1401 448 433 0 1423 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28152

[startup+0.30016 s]
/proc/loadavg: 4.02 4.02 3.94 3/180 18792
/proc/meminfo: memFree=29728016/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=31936 CPUtime=0.29 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) R 18790 18792 15889 0 -1 4202496 2993 0 0 0 29 0 0 0 20 0 1 0 275939664 32702464 2946 33554432000 4194304 5965102 140736010510736 140736010508680 5374819 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 7984 2947 1071 433 0 2369 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31936

[startup+0.700165 s]
/proc/loadavg: 4.02 4.02 3.94 3/180 18792
/proc/meminfo: memFree=29728016/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=39336 CPUtime=0.68 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) R 18790 18792 15889 0 -1 4202496 6057 0 0 0 68 0 0 0 20 0 1 0 275939664 40280064 6010 33554432000 4194304 5965102 140736010510736 140736010508968 4351027 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 9834 6010 2315 433 0 4219 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 39336

[startup+1.50017 s]
/proc/loadavg: 3.93 4.01 3.94 4/181 18793
/proc/meminfo: memFree=29707044/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=54132 CPUtime=1.49 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) R 18790 18792 15889 0 -1 4202496 12218 0 0 0 147 2 0 0 20 0 1 0 275939664 55431168 12105 33554432000 4194304 5965102 140736010510736 140736010508680 5120608 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 13533 12105 4803 433 0 7918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54132

[startup+3.10028 s]
/proc/loadavg: 3.93 4.01 3.94 5/183 18795
/proc/meminfo: memFree=29633356/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=201868 CPUtime=4.49 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 30875 0 0 0 440 9 0 0 20 0 3 0 275939664 206712832 25058 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 50467 25058 201 433 0 50031 0
[pid=18792/tid=18794] ppid=18790 vsize=201868 CPUtime=1.41 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 8294 0 0 0 136 5 0 0 20 0 3 0 275939831 206712832 25058 33554432000 4194304 5965102 140736010510736 139920879942168 5131826 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=201868 CPUtime=1.4 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 8660 0 0 0 138 2 0 0 20 0 3 0 275939831 206712832 25058 33554432000 4194304 5965102 140736010510736 139920860371256 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 201868

[startup+6.30026 s]
/proc/loadavg: 3.94 4.01 3.94 5/183 18795
/proc/meminfo: memFree=29619344/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=201868 CPUtime=10.89 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 34084 0 0 0 1079 10 0 0 20 0 3 0 275939664 206712832 27510 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 50467 27510 202 433 0 50031 0
[pid=18792/tid=18794] ppid=18790 vsize=201868 CPUtime=4.61 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 9688 0 0 0 456 5 0 0 20 0 3 0 275939831 206712832 27510 33554432000 4194304 5965102 140736010510736 139920879941976 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=201868 CPUtime=4.6 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 10475 0 0 0 457 3 0 0 20 0 3 0 275939831 206712832 27510 33554432000 4194304 5965102 140736010510736 139920860371256 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 201868

[startup+12.7003 s]
/proc/loadavg: 3.94 4.01 3.94 5/183 18795
/proc/meminfo: memFree=29597400/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=201868 CPUtime=23.69 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 38749 0 0 0 2357 12 0 0 20 0 3 0 275939664 206712832 32175 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 50467 32175 202 433 0 50031 0
[pid=18792/tid=18794] ppid=18790 vsize=201868 CPUtime=11.01 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 11734 0 0 0 1096 5 0 0 20 0 3 0 275939831 206712832 32175 33554432000 4194304 5965102 140736010510736 139920879942008 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=201868 CPUtime=11 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 13094 0 0 0 1095 5 0 0 20 0 3 0 275939831 206712832 32175 33554432000 4194304 5965102 140736010510736 139920860371064 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 23.69
Current children cumulated vsize (KiB) 201868

[startup+25.5004 s]
/proc/loadavg: 3.95 4.00 3.94 5/183 18795
/proc/meminfo: memFree=29538200/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=333080 CPUtime=49.28 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 52467 0 0 0 4909 19 0 0 20 0 3 0 275939664 341073920 45893 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 83270 45893 202 433 0 82834 0
[pid=18792/tid=18794] ppid=18790 vsize=333080 CPUtime=23.81 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 19816 0 0 0 2372 9 0 0 20 0 3 0 275939831 341073920 45893 33554432000 4194304 5965102 140736010510736 139920879941624 4390150 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=333080 CPUtime=23.8 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 18730 0 0 0 2371 9 0 0 20 0 3 0 275939831 341073920 45893 33554432000 4194304 5965102 140736010510736 139920860371256 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 49.28
Current children cumulated vsize (KiB) 333080

[startup+51.1003 s]
/proc/loadavg: 3.97 4.00 3.94 5/183 18795
/proc/meminfo: memFree=29406572/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=399864 CPUtime=100.46 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 85649 0 0 0 9988 58 0 0 20 0 3 0 275939664 409460736 79075 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 99966 79075 202 433 0 99530 0
[pid=18792/tid=18794] ppid=18790 vsize=399864 CPUtime=49.41 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 42477 0 0 0 4914 27 0 0 20 0 3 0 275939831 409460736 79075 33554432000 4194304 5965102 140736010510736 139920879941624 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=399864 CPUtime=49.4 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 29251 0 0 0 4910 30 0 0 20 0 3 0 275939831 409460736 79075 33554432000 4194304 5965102 140736010510736 139920860371256 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 100.46
Current children cumulated vsize (KiB) 399864

[startup+102.307 s]
/proc/loadavg: 3.98 4.00 3.94 5/183 18795
/proc/meminfo: memFree=29170776/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=599472 CPUtime=202.85 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 139181 0 0 0 20151 134 0 0 20 0 3 0 275939664 613859328 132607 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 149868 132607 202 433 0 149432 0
[pid=18792/tid=18794] ppid=18790 vsize=599472 CPUtime=100.61 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 74721 0 0 0 10003 58 0 0 20 0 3 0 275939831 613859328 132607 33554432000 4194304 5965102 140736010510736 139920879941624 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=599472 CPUtime=100.6 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 50539 0 0 0 9983 77 0 0 20 0 3 0 275939831 613859328 132607 33554432000 4194304 5965102 140736010510736 139920860371256 4404457 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 202.85
Current children cumulated vsize (KiB) 599472

[startup+162.3 s]
/proc/loadavg: 3.89 3.97 3.93 5/182 18836
/proc/meminfo: memFree=29069372/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=796488 CPUtime=322.79 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 185018 0 0 0 32098 181 0 0 20 0 3 0 275939664 815603712 178876 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 199122 178876 202 433 0 198686 0
[pid=18792/tid=18794] ppid=18790 vsize=796488 CPUtime=160.6 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 98042 0 0 0 15987 73 0 0 20 0 3 0 275939831 815603712 178876 33554432000 4194304 5965102 140736010510736 139920879941624 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=796488 CPUtime=160.57 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 73055 0 0 0 15947 110 0 0 20 0 3 0 275939831 815603712 178876 33554432000 4194304 5965102 140736010510736 139920860371304 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 322.79
Current children cumulated vsize (KiB) 796488

[startup+222.3 s]
/proc/loadavg: 3.96 3.97 3.93 5/183 18837
/proc/meminfo: memFree=28789544/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=863660 CPUtime=442.72 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 206331 0 0 0 44073 199 0 0 20 0 3 0 275939664 884387840 200211 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 215915 200211 202 433 0 215479 0
[pid=18792/tid=18794] ppid=18790 vsize=863660 CPUtime=220.61 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 98046 0 0 0 21987 74 0 0 20 0 3 0 275939831 884387840 200211 33554432000 4194304 5965102 140736010510736 139920879941624 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=863660 CPUtime=220.53 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 94364 0 0 0 21923 130 0 0 20 0 3 0 275939831 884387840 200211 33554432000 4194304 5965102 140736010510736 139920860371256 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 442.72
Current children cumulated vsize (KiB) 863660

[startup+282.3 s]
/proc/loadavg: 3.98 3.97 3.93 5/184 18840
/proc/meminfo: memFree=28474300/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1062496 CPUtime=562.65 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 244309 0 0 0 56040 225 0 0 20 0 3 0 275939664 1087995904 238348 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 265624 238348 202 433 0 265188 0
[pid=18792/tid=18794] ppid=18790 vsize=1062496 CPUtime=280.6 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 116925 0 0 0 27974 86 0 0 20 0 3 0 275939831 1087995904 238348 33554432000 4194304 5965102 140736010510736 139920879941624 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1062496 CPUtime=280.49 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 113463 0 0 0 27903 146 0 0 20 0 3 0 275939831 1087995904 238348 33554432000 4194304 5965102 140736010510736 139920860371256 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 562.65
Current children cumulated vsize (KiB) 1062496

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/184 18863
/proc/meminfo: memFree=28188752/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1192720 CPUtime=682.6 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 280632 0 0 0 68012 248 0 0 20 0 3 0 275939664 1221345280 274505 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 298180 274505 202 433 0 297744 0
[pid=18792/tid=18794] ppid=18790 vsize=1192720 CPUtime=340.58 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 138925 0 0 0 33960 98 0 0 20 0 3 0 275939831 1221345280 274505 33554432000 4194304 5965102 140736010510736 139920879942584 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1192720 CPUtime=340.47 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 127786 0 0 0 33889 158 0 0 20 0 3 0 275939831 1221345280 274505 33554432000 4194304 5965102 140736010510736 139920860371256 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 682.6
Current children cumulated vsize (KiB) 1192720

[startup+402.3 s]
/proc/loadavg: 4.03 3.99 3.93 5/183 18863
/proc/meminfo: memFree=28096584/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1259264 CPUtime=802.56 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 298213 0 0 0 79993 263 0 0 20 0 3 0 275939664 1289486336 292161 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 314816 292161 202 433 0 314380 0
[pid=18792/tid=18794] ppid=18790 vsize=1259264 CPUtime=400.58 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 139052 0 0 0 39959 99 0 0 20 0 3 0 275939831 1289486336 292161 33554432000 4194304 5965102 140736010510736 139920879942584 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1259264 CPUtime=400.45 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 145240 0 0 0 39870 175 0 0 20 0 3 0 275939831 1289486336 292161 33554432000 4194304 5965102 140736010510736 139920860371256 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 802.56
Current children cumulated vsize (KiB) 1259264

[startup+462.3 s]
/proc/loadavg: 4.01 3.99 3.93 5/183 18863
/proc/meminfo: memFree=28020848/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1324800 CPUtime=922.53 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 312786 0 0 0 91975 278 0 0 20 0 3 0 275939664 1356595200 306767 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 331200 306767 202 433 0 330764 0
[pid=18792/tid=18794] ppid=18790 vsize=1324800 CPUtime=460.57 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 139069 0 0 0 45958 99 0 0 20 0 3 0 275939831 1356595200 306767 33554432000 4194304 5965102 140736010510736 139920879942584 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1324800 CPUtime=460.44 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 159796 0 0 0 45855 189 0 0 20 0 3 0 275939831 1356595200 306767 33554432000 4194304 5965102 140736010510736 139920860371256 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 922.53
Current children cumulated vsize (KiB) 1324800

[startup+522.3 s]
/proc/loadavg: 4.04 4.00 3.94 5/183 18864
/proc/meminfo: memFree=27994468/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1324800 CPUtime=1042.47 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 316802 0 0 0 103966 281 0 0 20 0 3 0 275939664 1356595200 310762 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 331200 310762 202 433 0 330764 0
[pid=18792/tid=18794] ppid=18790 vsize=1324800 CPUtime=520.55 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 139087 0 0 0 51955 100 0 0 20 0 3 0 275939831 1356595200 310762 33554432000 4194304 5965102 140736010510736 139920879942584 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1324800 CPUtime=520.43 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 163794 0 0 0 51849 194 0 0 20 0 3 0 275939831 1356595200 310762 33554432000 4194304 5965102 140736010510736 139920860371256 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1042.47
Current children cumulated vsize (KiB) 1324800

[startup+582.3 s]
/proc/loadavg: 4.01 4.00 3.94 5/183 18864
/proc/meminfo: memFree=27993380/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1324800 CPUtime=1162.4 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 316860 0 0 0 115959 281 0 0 20 0 3 0 275939664 1356595200 310779 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 331200 310779 202 433 0 330764 0
[pid=18792/tid=18794] ppid=18790 vsize=1324800 CPUtime=580.56 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 139089 0 0 0 57955 101 0 0 20 0 3 0 275939831 1356595200 310779 33554432000 4194304 5965102 140736010510736 139920879942584 4401118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1324800 CPUtime=580.38 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 163850 0 0 0 57843 195 0 0 20 0 3 0 275939831 1356595200 310779 33554432000 4194304 5965102 140736010510736 139920860371256 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1162.4
Current children cumulated vsize (KiB) 1324800

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 18864
/proc/meminfo: memFree=27970168/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1324800 CPUtime=1282.36 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 316933 0 0 0 127954 282 0 0 20 0 3 0 275939664 1356595200 311828 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 331200 311828 202 433 0 330764 0
[pid=18792/tid=18794] ppid=18790 vsize=1324800 CPUtime=640.53 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 139157 0 0 0 63951 102 0 0 20 0 3 0 275939831 1356595200 311828 33554432000 4194304 5965102 140736010510736 139920879942584 4390147 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1324800 CPUtime=640.38 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 163855 0 0 0 63842 196 0 0 20 0 3 0 275939831 1356595200 311828 33554432000 4194304 5965102 140736010510736 139920860371256 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1282.36
Current children cumulated vsize (KiB) 1324800

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 18864
/proc/meminfo: memFree=27964212/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1324800 CPUtime=1402.33 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 317033 0 0 0 139951 282 0 0 20 0 3 0 275939664 1356595200 312627 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 331200 312627 202 433 0 330764 0
[pid=18792/tid=18794] ppid=18790 vsize=1324800 CPUtime=700.53 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 139256 0 0 0 69950 103 0 0 20 0 3 0 275939831 1356595200 312627 33554432000 4194304 5965102 140736010510736 139920879942584 4390200 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1324800 CPUtime=700.37 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 163856 0 0 0 69840 197 0 0 20 0 3 0 275939831 1356595200 312627 33554432000 4194304 5965102 140736010510736 139920860371256 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1402.33
Current children cumulated vsize (KiB) 1324800

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 18864
/proc/meminfo: memFree=27913184/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1390524 CPUtime=1522.33 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 327593 0 0 0 151944 289 0 0 20 0 3 0 275939664 1423896576 323187 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 347631 323187 202 433 0 347195 0
[pid=18792/tid=18794] ppid=18790 vsize=1390524 CPUtime=760.54 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 149763 0 0 0 75943 111 0 0 20 0 3 0 275939831 1423896576 323187 33554432000 4194304 5965102 140736010510736 139920879941624 4393747 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1390524 CPUtime=760.37 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 163909 0 0 0 75839 198 0 0 20 0 3 0 275939831 1423896576 323187 33554432000 4194304 5965102 140736010510736 139920860371016 4401137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1522.33
Current children cumulated vsize (KiB) 1390524

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 18865
/proc/meminfo: memFree=27920356/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1390524 CPUtime=1642.3 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 327623 0 0 0 163941 289 0 0 20 0 3 0 275939664 1423896576 323217 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 347631 323217 202 433 0 347195 0
[pid=18792/tid=18794] ppid=18790 vsize=1390524 CPUtime=820.53 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 149763 0 0 0 81941 112 0 0 20 0 3 0 275939831 1423896576 323217 33554432000 4194304 5965102 140736010510736 139920879941624 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1390524 CPUtime=820.37 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 163939 0 0 0 81838 199 0 0 20 0 3 0 275939831 1423896576 323217 33554432000 4194304 5965102 140736010510736 139920860371016 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1642.3
Current children cumulated vsize (KiB) 1390524

[startup+882.3 s]
/proc/loadavg: 4.04 4.01 3.94 5/184 18868
/proc/meminfo: memFree=27809832/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1521596 CPUtime=1762.27 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 351308 0 0 0 175920 307 0 0 20 0 3 0 275939664 1558114304 346902 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 380399 346902 202 433 0 379963 0
[pid=18792/tid=18794] ppid=18790 vsize=1521596 CPUtime=880.54 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 149763 0 0 0 87941 113 0 0 20 0 3 0 275939831 1558114304 346902 33554432000 4194304 5965102 140736010510736 139920879941624 4390210 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1521596 CPUtime=880.37 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 187624 0 0 0 87818 219 0 0 20 0 3 0 275939831 1558114304 346902 33554432000 4194304 5965102 140736010510736 139920860371256 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1762.27
Current children cumulated vsize (KiB) 1521596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.2 s]
/proc/loadavg: 4.03 4.01 3.94 5/184 18868
/proc/meminfo: memFree=27774092/32873844 swapFree=7372/7372
[pid=18792] ppid=18790 vsize=1521596 CPUtime=1800.08 cores=0,2,4,6
/proc/18792/stat : 18792 (pwbo2.0) S 18790 18792 15889 0 -1 4202496 360136 0 0 0 179694 314 0 0 20 0 3 0 275939664 1558114304 355730 33554432000 4194304 5965102 140736010510736 140736010510256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18792/statm: 380399 355730 202 433 0 379963 0
[pid=18792/tid=18794] ppid=18790 vsize=1521596 CPUtime=899.44 cores=0,2,4,6
/proc/18792/task/18794/stat : 18794 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 149763 0 0 0 89831 113 0 0 20 0 3 0 275939831 1558114304 355730 33554432000 4194304 5965102 140736010510736 139920879941624 4390125 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18792/tid=18795] ppid=18790 vsize=1521596 CPUtime=899.27 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (pwbo2.0) R 18790 18792 15889 0 -1 4202560 196452 0 0 0 89701 226 0 0 20 0 3 0 275939831 1558114304 355730 33554432000 4194304 5965102 140736010510736 139920860371256 5179915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1521596

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

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

Child status: 0
Real time (s): 901.257
CPU time (s): 1800.47
CPU user time (s): 1796.98
CPU system time (s): 3.48547
CPU usage (%): 199.773
Max. virtual memory (cumulated for all children) (KiB): 1521596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.98
system time used= 3.48547
maximum resident set size= 1422928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360138
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= 2263
involuntary context switches= 2229

runsolver used 1.90271 second user time and 5.17321 second system time

The end

Begin job on node133 at 2012-05-27 07:55:49
IDJOB=3704027
IDBENCH=89910
IDSOLVER=2279
FILE ID=node133/3704027-1338098148
RUNJOBID= node133-1338084137-15905
PBS_JOBID= 14624424
Free space on /tmp= 71704 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704027-1338098148/watcher-3704027-1338098148 -o /tmp/evaluation-result-3704027-1338098148/solver-3704027-1338098148 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704027-1338098148.opb

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

MD5SUM BENCH= 5ce23254bdc15fb1c07c51b856e9b57c
RANDOM SEED=1330470524

node133.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.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
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.540
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.92
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.540
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.92
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.540
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.540
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.540
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.90
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.540
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.540
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:       32873844 kB
MemFree:        29728016 kB
Buffers:          319788 kB
Cached:          1694276 kB
SwapCached:          104 kB
Active:           875548 kB
Inactive:        1443436 kB
Active(anon):     296140 kB
Inactive(anon):    11368 kB
Active(file):     579408 kB
Inactive(file):  1432068 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:             26024 kB
Writeback:             0 kB
AnonPages:        312448 kB
Mapped:            15168 kB
Shmem:               212 kB
Slab:             685312 kB
SReclaimable:     127520 kB
SUnreclaim:       557792 kB
KernelStack:        1488 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     183244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node133 at 2012-05-27 08:10:52