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 wbo file format. File HOME/instance-3728627-1338671436.wbo.
0.00/0.00	c Instance file HOME/instance-3728627-1338671436.wbo
0.00/0.00	c File size is 93899 bytes.
0.00/0.01	c Highest Coefficient sum: 76
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      5303                                                |
0.00/0.01	c |  Number Clauses:        75                                                  |
0.00/0.01	c |  Number Cardinality:    39                                                  |
0.00/0.01	c |  Number PB Constraints: 31                                                  |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.08/900.31	o 329
1800.08/900.31	o 32
1800.08/900.31	o 15
1800.08/900.31	o 14
1800.08/900.31	o 1
1800.08/900.31	c ===============================================================================
1800.08/900.31	c Wall Clock Time: 900.31 s
1800.08/900.31	c Best Solution: 1
1800.08/900.31	s SATISFIABLE
1800.08/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 -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 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250

OK	1

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

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.77 3.85 3.25 3/173 8233
/proc/meminfo: memFree=27426912/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=5960 CPUtime=0 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) R 8230 8232 7711 0 -1 4202496 768 0 0 0 0 0 0 0 20 0 1 0 333269694 6103040 720 33554432000 4194304 5964478 140736632991120 140737114238456 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 1490 720 165 433 0 1031 0

[startup+0.0497161 s]
/proc/loadavg: 3.77 3.85 3.25 3/173 8233
/proc/meminfo: memFree=27426912/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=172988 CPUtime=0.07 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 5695 0 0 0 5 2 0 0 20 0 3 0 333269694 177139712 5502 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 43247 5502 205 433 0 42811 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 172988

[startup+0.100215 s]
/proc/loadavg: 3.77 3.85 3.25 3/173 8233
/proc/meminfo: memFree=27426912/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=182836 CPUtime=0.17 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 10965 0 0 0 13 4 0 0 20 0 3 0 333269694 187224064 10584 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 45776 10589 206 433 0 45340 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 182836

[startup+0.300166 s]
/proc/loadavg: 3.77 3.85 3.25 3/173 8233
/proc/meminfo: memFree=27426912/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=192744 CPUtime=0.56 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 14916 0 0 0 51 5 0 0 20 0 3 0 333269694 197369856 14527 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 48186 14527 207 433 0 47750 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 192744

[startup+0.700165 s]
/proc/loadavg: 3.77 3.85 3.25 3/173 8233
/proc/meminfo: memFree=27426912/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=192744 CPUtime=1.36 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 16250 0 0 0 130 6 0 0 20 0 3 0 333269694 197369856 15861 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 48186 15861 207 433 0 47750 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 192744

[startup+1.50026 s]
/proc/loadavg: 3.77 3.85 3.25 5/182 8253
/proc/meminfo: memFree=27311132/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=192744 CPUtime=2.96 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 18879 0 0 0 289 7 0 0 20 0 3 0 333269694 197369856 18490 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 48186 18490 207 433 0 47750 0
[pid=8232/tid=8236] ppid=8230 vsize=192744 CPUtime=1.46 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 3405 0 0 0 145 1 0 0 20 0 3 0 333269695 197369856 18490 33554432000 4194304 5964478 140736632991120 140006419138600 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=192744 CPUtime=1.47 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 14006 0 0 0 140 7 0 0 20 0 3 0 333269695 197369856 18490 33554432000 4194304 5964478 140736632991120 140006408649016 4373363 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 192744

[startup+3.10023 s]
/proc/loadavg: 3.77 3.85 3.25 5/182 8253
/proc/meminfo: memFree=27281496/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=192744 CPUtime=6.15 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 23610 0 0 0 607 8 0 0 20 0 3 0 333269694 197369856 23221 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 48186 23222 207 433 0 47750 0
[pid=8232/tid=8236] ppid=8230 vsize=192744 CPUtime=3.06 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 5691 0 0 0 305 1 0 0 20 0 3 0 333269695 197369856 23222 33554432000 4194304 5964478 140736632991120 140006419138552 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=192744 CPUtime=3.07 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 16452 0 0 0 300 7 0 0 20 0 3 0 333269695 197369856 23222 33554432000 4194304 5964478 140736632991120 140006408649016 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 192744

[startup+6.30031 s]
/proc/loadavg: 3.79 3.86 3.25 5/182 8253
/proc/meminfo: memFree=27220900/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=192744 CPUtime=12.54 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 29677 0 0 0 1243 11 0 0 20 0 3 0 333269694 197369856 29398 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 48186 29398 207 433 0 47750 0
[pid=8232/tid=8236] ppid=8230 vsize=192744 CPUtime=6.26 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 7702 0 0 0 623 3 0 0 20 0 3 0 333269695 197369856 29398 33554432000 4194304 5964478 140736632991120 140006419138552 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=192744 CPUtime=6.27 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 20507 0 0 0 618 9 0 0 20 0 3 0 333269695 197369856 29398 33554432000 4194304 5964478 140736632991120 140006408649016 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 192744

[startup+12.7002 s]
/proc/loadavg: 3.88 3.88 3.26 5/182 8253
/proc/meminfo: memFree=27122940/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=258820 CPUtime=25.35 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 41241 0 0 0 2519 16 0 0 20 0 3 0 333269694 265031680 40962 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 64705 40962 207 433 0 64269 0
[pid=8232/tid=8236] ppid=8230 vsize=258820 CPUtime=12.66 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 11902 0 0 0 1261 5 0 0 20 0 3 0 333269695 265031680 40962 33554432000 4194304 5964478 140736632991120 140006419138552 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=258820 CPUtime=12.67 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 27871 0 0 0 1255 12 0 0 20 0 3 0 333269695 265031680 40962 33554432000 4194304 5964478 140736632991120 140006408649016 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 258820

[startup+25.5003 s]
/proc/loadavg: 3.91 3.88 3.27 5/181 8253
/proc/meminfo: memFree=26962380/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=324516 CPUtime=50.92 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 58418 0 0 0 5069 23 0 0 20 0 3 0 333269694 332304384 58125 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 81129 58125 207 433 0 80693 0
[pid=8232/tid=8236] ppid=8230 vsize=324516 CPUtime=25.44 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 16386 0 0 0 2537 7 0 0 20 0 3 0 333269695 332304384 58125 33554432000 4194304 5964478 140736632991120 140006419138360 4381974 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=324516 CPUtime=25.46 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 40564 0 0 0 2529 17 0 0 20 0 3 0 333269695 332304384 58125 33554432000 4194304 5964478 140736632991120 140006408649016 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 324516

[startup+51.1003 s]
/proc/loadavg: 3.94 3.89 3.29 5/181 8253
/proc/meminfo: memFree=26697360/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=456296 CPUtime=102.1 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 92218 0 0 0 10172 38 0 0 20 0 3 0 333269694 467247104 91924 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 114074 91924 207 433 0 113638 0
[pid=8232/tid=8236] ppid=8230 vsize=456296 CPUtime=51.04 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 28293 0 0 0 5092 12 0 0 20 0 3 0 333269695 467247104 91924 33554432000 4194304 5964478 140736632991120 140006419138360 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=456296 CPUtime=51.05 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 62457 0 0 0 5078 27 0 0 20 0 3 0 333269695 467247104 91924 33554432000 4194304 5964478 140736632991120 140006408649016 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 456296

[startup+102.3 s]
/proc/loadavg: 4.10 3.94 3.33 5/181 8253
/proc/meminfo: memFree=26208240/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=720076 CPUtime=204.47 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 157943 0 0 0 20378 69 0 0 20 0 3 0 333269694 737357824 157844 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 180019 157844 207 433 0 179583 0
[pid=8232/tid=8236] ppid=8230 vsize=720076 CPUtime=102.24 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 56277 0 0 0 10199 25 0 0 20 0 3 0 333269695 737357824 157844 33554432000 4194304 5964478 140736632991120 140006419138552 4390878 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=720076 CPUtime=102.25 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 100198 0 0 0 10178 47 0 0 20 0 3 0 333269695 737357824 157844 33554432000 4194304 5964478 140736632991120 140006408649016 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 720076

[startup+162.3 s]
/proc/loadavg: 4.03 3.94 3.37 5/181 8254
/proc/meminfo: memFree=25783692/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=983916 CPUtime=324.44 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 206345 0 0 0 32351 93 0 0 20 0 3 0 333269694 1007529984 207196 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 245979 207196 207 433 0 245543 0
[pid=8232/tid=8236] ppid=8230 vsize=983916 CPUtime=162.23 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 67158 0 0 0 16192 31 0 0 20 0 3 0 333269695 1007529984 207196 33554432000 4194304 5964478 140736632991120 140006419138552 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=983916 CPUtime=162.24 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 137719 0 0 0 16157 67 0 0 20 0 3 0 333269695 1007529984 207196 33554432000 4194304 5964478 140736632991120 140006408649016 4391768 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 983916

[startup+222.307 s]
/proc/loadavg: 4.01 3.95 3.41 5/181 8254
/proc/meminfo: memFree=25413168/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=1180524 CPUtime=444.43 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 266591 0 0 0 44322 121 0 0 20 0 3 0 333269694 1208856576 267411 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 295131 267411 207 433 0 294695 0
[pid=8232/tid=8236] ppid=8230 vsize=1180524 CPUtime=222.24 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 73156 0 0 0 22189 35 0 0 20 0 3 0 333269695 1208856576 267411 33554432000 4194304 5964478 140736632991120 140006419138584 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1180524 CPUtime=222.25 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 191967 0 0 0 22132 93 0 0 20 0 3 0 333269695 1208856576 267411 33554432000 4194304 5964478 140736632991120 140006408649016 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 1180524

[startup+282.3 s]
/proc/loadavg: 4.00 3.96 3.44 5/181 8254
/proc/meminfo: memFree=25099060/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=1312360 CPUtime=564.4 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 305119 0 0 0 56298 142 0 0 20 0 3 0 333269694 1343856640 305939 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 328090 305939 207 433 0 327654 0
[pid=8232/tid=8236] ppid=8230 vsize=1312360 CPUtime=282.24 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 79040 0 0 0 28185 39 0 0 20 0 3 0 333269695 1343856640 305939 33554432000 4194304 5964478 140736632991120 140006419138552 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1312360 CPUtime=282.24 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 224611 0 0 0 28112 112 0 0 20 0 3 0 333269695 1343856640 305939 33554432000 4194304 5964478 140736632991120 140006408649016 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 1312360

[startup+342.3 s]
/proc/loadavg: 4.00 3.96 3.48 5/181 8254
/proc/meminfo: memFree=24783196/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=1444648 CPUtime=684.39 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 338742 0 0 0 68275 164 0 0 20 0 3 0 333269694 1479319552 339562 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 361162 339562 207 433 0 360726 0
[pid=8232/tid=8236] ppid=8230 vsize=1444648 CPUtime=342.24 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 88794 0 0 0 34179 45 0 0 20 0 3 0 333269695 1479319552 339562 33554432000 4194304 5964478 140736632991120 140006419138552 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1444648 CPUtime=342.24 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 248480 0 0 0 34094 130 0 0 20 0 3 0 333269695 1479319552 339562 33554432000 4194304 5964478 140736632991120 140006408648824 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 1444648

[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.51 5/181 8254
/proc/meminfo: memFree=24643728/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=1510184 CPUtime=804.36 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 356175 0 0 0 80255 181 0 0 20 0 3 0 333269694 1546428416 356995 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 377546 356995 207 433 0 377110 0
[pid=8232/tid=8236] ppid=8230 vsize=1510184 CPUtime=402.25 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 88989 0 0 0 40179 46 0 0 20 0 3 0 333269695 1546428416 356995 33554432000 4194304 5964478 140736632991120 140006419138552 4382008 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1510184 CPUtime=402.24 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 265718 0 0 0 40076 148 0 0 20 0 3 0 333269695 1546428416 356995 33554432000 4194304 5964478 140736632991120 140006408649016 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 1510184

[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.53 5/180 8254
/proc/meminfo: memFree=24491740/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=1641472 CPUtime=924.35 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 386893 0 0 0 92234 201 0 0 20 0 3 0 333269694 1680867328 387713 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 410368 387713 207 433 0 409932 0
[pid=8232/tid=8236] ppid=8230 vsize=1641472 CPUtime=462.25 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 105381 0 0 0 46173 52 0 0 20 0 3 0 333269695 1680867328 387713 33554432000 4194304 5964478 140736632991120 140006419138360 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1641472 CPUtime=462.24 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 280044 0 0 0 46060 164 0 0 20 0 3 0 333269695 1680867328 387713 33554432000 4194304 5964478 140736632991120 140006408648824 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 1641472

[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.56 5/181 8255
/proc/meminfo: memFree=24276004/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=1773812 CPUtime=1044.31 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 420563 0 0 0 104208 223 0 0 20 0 3 0 333269694 1816383488 421757 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 443453 421757 207 433 0 443017 0
[pid=8232/tid=8236] ppid=8230 vsize=1773812 CPUtime=522.24 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 120642 0 0 0 52165 59 0 0 20 0 3 0 333269695 1816383488 421757 33554432000 4194304 5964478 140736632991120 140006419138552 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1773812 CPUtime=522.22 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 298453 0 0 0 52043 179 0 0 20 0 3 0 333269695 1816383488 421757 33554432000 4194304 5964478 140736632991120 140006408649016 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 1773812

[startup+582.3 s]
/proc/loadavg: 4.12 4.00 3.59 5/182 8258
/proc/meminfo: memFree=24095108/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=1905020 CPUtime=1164.27 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 454168 0 0 0 116180 247 0 0 20 0 3 0 333269694 1950740480 455811 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 476255 455811 207 433 0 475819 0
[pid=8232/tid=8236] ppid=8230 vsize=1905020 CPUtime=582.25 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 128341 0 0 0 58161 64 0 0 20 0 3 0 333269695 1950740480 455811 33554432000 4194304 5964478 140736632991120 140006419138552 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1905020 CPUtime=582.2 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 324359 0 0 0 58020 200 0 0 20 0 3 0 333269695 1950740480 455811 33554432000 4194304 5964478 140736632991120 140006408649016 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 1905020

[startup+642.3 s]
/proc/loadavg: 4.08 4.01 3.62 5/181 8258
/proc/meminfo: memFree=23897116/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=2104300 CPUtime=1284.22 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 504897 0 0 0 128145 277 0 0 20 0 3 0 333269694 2154803200 506585 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 526075 506585 207 433 0 525639 0
[pid=8232/tid=8236] ppid=8230 vsize=2104300 CPUtime=642.23 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 159488 0 0 0 64141 82 0 0 20 0 3 0 333269695 2154803200 506585 33554432000 4194304 5964478 140736632991120 140006419138552 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=2104300 CPUtime=642.19 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 343941 0 0 0 64004 215 0 0 20 0 3 0 333269695 2154803200 506585 33554432000 4194304 5964478 140736632991120 140006408649016 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.22
Current children cumulated vsize (KiB) 2104300

[startup+702.3 s]
/proc/loadavg: 4.06 4.02 3.65 5/181 8258
/proc/meminfo: memFree=23669852/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=2303468 CPUtime=1404.18 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 560143 0 0 0 140110 308 0 0 20 0 3 0 333269694 2358751232 562017 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 575867 562017 207 433 0 575431 0
[pid=8232/tid=8236] ppid=8230 vsize=2303468 CPUtime=702.23 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 193683 0 0 0 70123 100 0 0 20 0 3 0 333269695 2358751232 562017 33554432000 4194304 5964478 140736632991120 140006419138552 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=2303468 CPUtime=702.18 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 364992 0 0 0 69989 229 0 0 20 0 3 0 333269695 2358751232 562017 33554432000 4194304 5964478 140736632991120 140006408649016 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.18
Current children cumulated vsize (KiB) 2303468

[startup+762.3 s]
/proc/loadavg: 4.02 4.02 3.67 5/181 8258
/proc/meminfo: memFree=23501612/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=2500268 CPUtime=1524.15 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 601525 0 0 0 152083 332 0 0 20 0 3 0 333269694 2560274432 603527 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 625067 603527 207 433 0 624631 0
[pid=8232/tid=8236] ppid=8230 vsize=2500268 CPUtime=762.22 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 218681 0 0 0 76105 117 0 0 20 0 3 0 333269695 2560274432 603529 33554432000 4194304 5964478 140736632991120 140006419138552 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=2500268 CPUtime=762.18 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 381378 0 0 0 75979 239 0 0 20 0 3 0 333269695 2560274432 603529 33554432000 4194304 5964478 140736632991120 140006408649016 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.15
Current children cumulated vsize (KiB) 2500268

[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.68 5/181 8259
/proc/meminfo: memFree=23336104/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=2565804 CPUtime=1644.11 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 618248 0 0 0 164066 345 0 0 20 0 3 0 333269694 2627383296 620553 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 641451 620553 207 433 0 641015 0
[pid=8232/tid=8236] ppid=8230 vsize=2565804 CPUtime=822.22 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 219115 0 0 0 82104 118 0 0 20 0 3 0 333269695 2627383296 620553 33554432000 4194304 5964478 140736632991120 140006419138552 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=2565804 CPUtime=822.16 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 397665 0 0 0 81964 252 0 0 20 0 3 0 333269695 2627383296 620553 33554432000 4194304 5964478 140736632991120 140006408649016 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 2565804

[startup+882.307 s]
/proc/loadavg: 4.00 4.01 3.70 5/181 8259
/proc/meminfo: memFree=23269420/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=2631340 CPUtime=1764.09 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 634600 0 0 0 176049 360 0 0 20 0 3 0 333269694 2694492160 637022 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 657835 637022 207 433 0 657399 0
[pid=8232/tid=8236] ppid=8230 vsize=2631340 CPUtime=882.22 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 219118 0 0 0 88103 119 0 0 20 0 3 0 333269695 2694492160 637022 33554432000 4194304 5964478 140736632991120 140006419138552 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=2631340 CPUtime=882.15 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 414014 0 0 0 87947 268 0 0 20 0 3 0 333269695 2694492160 637022 33554432000 4194304 5964478 140736632991120 140006408649016 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 2631340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.71 5/181 8259
/proc/meminfo: memFree=23248184/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=2696876 CPUtime=1800.08 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) S 8230 8232 7711 0 -1 4202496 639831 0 0 0 179643 365 0 0 20 0 3 0 333269694 2761601024 642248 33554432000 4194304 5964478 140736632991120 140736632990640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 674219 642248 207 433 0 673783 0
[pid=8232/tid=8236] ppid=8230 vsize=2696876 CPUtime=900.23 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 219118 0 0 0 89904 119 0 0 20 0 3 0 333269695 2761601024 642248 33554432000 4194304 5964478 140736632991120 140006419138552 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=2696876 CPUtime=900.15 cores=1,3,5,7
/proc/8232/task/8237/stat : 8237 (pwbo2.02) R 8230 8232 7711 0 -1 4202560 419245 0 0 0 89742 273 0 0 20 0 3 0 333269695 2761601024 642248 33554432000 4194304 5964478 140736632991120 140006408649016 4399923 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2696876

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

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

[startup+900.411 s]
/proc/loadavg: 4.00 4.00 3.71 5/181 8259
/proc/meminfo: memFree=23248184/32873648 swapFree=6860/6860
[pid=8232] ppid=8230 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/8232/stat : 8232 (pwbo2.02) Z 8230 8232 7711 0 -1 4202508 639832 0 0 0 179644 389 0 0 20 0 2 0 333269694 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8232/statm: 0 0 0 0 0 0 0
[pid=8232/tid=8236] ppid=8230 vsize=0 CPUtime=900.33 cores=1,3,5,7
/proc/8232/task/8236/stat : 8236 (pwbo2.02) R 8230 8232 7711 0 -1 4203588 219118 0 0 0 89904 129 0 0 20 0 2 0 333269695 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 900.422
CPU time (s): 1800.53
CPU user time (s): 1796.48
CPU system time (s): 4.05238
CPU usage (%): 199.965
Max. virtual memory (cumulated for all children) (KiB): 2696876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.48
system time used= 4.05238
maximum resident set size= 2568996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639832
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= 1667
involuntary context switches= 1877

runsolver used 1.66175 second user time and 5.31319 second system time

The end

Begin job on node116 at 2012-06-02 23:10:36
IDJOB=3728627
IDBENCH=78722
IDSOLVER=2316
FILE ID=node116/3728627-1338671436
RUNJOBID= node116-1338670534-8107
PBS_JOBID= 14636521
Free space on /tmp= 71032 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
COMMAND LINE= pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728627-1338671436/watcher-3728627-1338671436 -o /tmp/evaluation-result-3728627-1338671436/solver-3728627-1338671436 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728627-1338671436.wbo

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

MD5SUM BENCH= 9f59d922c085a32576bd21436364ce6a
RANDOM SEED=1426568261

node116.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.556
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.11
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.556
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.556
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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.556
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.92
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.556
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.92
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.556
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.90
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.556
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:        27427904 kB
Buffers:          501732 kB
Cached:          4050740 kB
SwapCached:         3028 kB
Active:          2129588 kB
Inactive:        2435356 kB
Active(anon):       2392 kB
Inactive(anon):     8512 kB
Active(file):    2127196 kB
Inactive(file):  2426844 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:              5496 kB
Writeback:             0 kB
AnonPages:         12860 kB
Mapped:            11168 kB
Shmem:                68 kB
Slab:             746188 kB
SReclaimable:     190728 kB
SUnreclaim:       555460 kB
KernelStack:        1464 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     102684 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= 71028 MiB
End job on node116 at 2012-06-02 23:25:39