0.00/0.00	c
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4118408-1467221118.opb
0.00/0.00	c File size is 476351 bytes.
1800.01/1800.30	c Sum of soft weights:        53769
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c |  Problem Type:             Weighted                                                                   |
1800.01/1800.30	c |  Number of variables:          4901                                                                   |
1800.01/1800.30	c |  Number of hard clauses:       9201                                                                   |
1800.01/1800.30	c |  Number of soft clauses:       4900                                                                   |
1800.01/1800.30	c |  Number of cardinality:           1                                                                   |
1800.01/1800.30	c |  Number of PB :                4600                                                                   |
1800.01/1800.30	c |  Parse time:                   0.05 s                                                                 |
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	o 6621
1800.01/1800.30	o 6598
1800.01/1800.30	o 6523
1800.01/1800.30	o 6481
1800.01/1800.30	o 6355
1800.01/1800.30	o 6305
1800.01/1800.30	o 6188
1800.01/1800.30	o 6181
1800.01/1800.30	o 6163
1800.01/1800.30	o 6144
1800.01/1800.30	o 6046
1800.01/1800.30	o 6025
1800.01/1800.30	o 5600
1800.01/1800.30	o 5216
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	v -x302 x1 -x2 x303 x4 -x304 -x7 -x305 -x8 -x306 -x9 -x307 -x10 -x308 -x16 -x309 -x17 -x310 -x18 -x311 -x20 -x312 -x21 -x313 -x22 -x314 -x23 -x315 -x24 -x316 -x25 -x317 -x28 -x318 -x29 -x319 -x31 -x320 -x32 -x321 -x35 -x322 -x37 -x323 -x38 -x324 -x40 -x325 -x41 -x326 -x43 -x327 -x44 -x328 -x45 -x329 -x46 -x330 -x3 -x331 -x332 -x5 -x333 -x6 -x334 -x335 -x336 -x337 -x11 -x338 -x13 -x339 -x15 -x340 -x341 -x342 -x343 -x19 -x344 -x345 -x346 -x347 -x50 -x348 -x51 -x349 -x53 -x350 -x54 -x351 -x57 -x352 -x59 -x353 -x60 -x354 -x62 -x355 -x63 -x356 -x65 -x357 -x66 -x358 -x67 -x359 -x68 -x360 -x361 -x362 -x363 -x364 -x365 -x12 -x366 -x367 -x14 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x26 -x378 -x48 -x379 x71 -x380 -x72 -x381 -x74 -x382 -x75 -x383 -x78 -x384 -x80 -x385 -x81 -x386 x83 -x387 -x84 -x388 -x86 -x389 -x87 -x390 -x88 -x391 -x89 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x27 x400 x49 -x401 -x91 -x402 -x92 -x403 -x94 -x404 -x95 -x405 -x98 -x406 -x100 -x407 -x101 -x408 -x103 -x409 -x104 -x410 -x106 -x411 -x107 -x412 -x108 -x413 -x109 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x111 -x432 -x113 -x433 -x114 -x434 -x117 -x435 -x119 -x436 -x120 -x437 x122 -x438 -x123 -x439 -x125 -x440 -x126 -x441 -x127 -x442 -x128 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x131 -x460 x132 -x461 -x135 -x462 -x137 -x463 -x138 -x464 x140 -x465 -x141 -x466 -x143 -x467 -x144 -x468 -x145 -x469 -x146 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x30 -x482 -x52 -x483 -x484 x130 -x485 -x148 -x486 x149 -x487 -x152 -x488 -x154 -x489 -x155 -x490 x157 -x491 -x158 -x492 -x160 -x493 -x161 -x494 -x162 -x495 -x163 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x165 -x515 -x168 -x516 -x170 -x517 -x171 -x518 x173 -x519 -x174 -x520 -x176 -x521 -x177 -x522 -x178 -x523 -x179 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x183 -x540 -x185 -x541 -x186 -x542 x188 -x543 -x189 -x544 -x191 -x545 -x192 -x546 -x193 -x547 -x194 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x33 -x559 -x55 -x560 x115 -x561 x133 -x562 x166 -x563 x181 -x564 -x197 -x565 -x199 -x566 -x200 -x567 x202 -x568 -x203 -x569 -x205 -x570 -x206 -x571 -x207 -x572 -x208 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x34 -x582 -x56 -x583 -x116 -x584 -x134 -x585 -x167 -x586 -x182 -x587 -x210 -x588 x212 -x589 x213 -x590 x215 -x591 x216 -x592 -x218 -x593 -x219 -x594 -x220 -x595 -x221 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x224 -x610 x225 -x611 x227 -x612 x228 -x613 -x230 -x614 -x231 -x615 x232 -x616 -x233 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x36 -x625 -x58 -x626 -x118 -x627 x136 -x628 x169 -x629 x184 -x630 x223 -x631 -x235 -x632 -x236 -x633 x238 -x634 -x239 -x635 -x241 -x636 -x242 -x637 -x243 -x638 -x244 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x246 -x652 x248 -x653 x249 -x654 -x251 -x655 -x252 -x656 -x253 -x657 -x254 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x257 -x675 x258 -x676 -x260 -x677 -x261 -x678 -x262 -x679 -x263 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x39 -x689 -x61 -x690 -x121 -x691 -x139 -x692 -x172 -x693 -x187 -x694 x226 -x695 -x247 -x696 -x256 -x697 x265 -x698 x266 -x699 -x268 -x700 -x269 -x701 x270 -x702 -x271 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x273 -x715 -x275 -x716 -x276 -x717 -x277 -x718 -x278 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x281 -x735 -x282 -x736 -x283 -x737 -x284 -x738 -x739 -x740 -x741 -x742 -x42 -x743 -x64 -x744 -x124 -x745 -x142 -x746 -x175 -x747 -x190 -x748 x229 -x749 -x250 -x750 -x259 -x751 -x274 -x752 -x280 -x753 -x286 -x754 -x287 -x755 -x288 -x756 -x289 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x291 -x772 x292 -x773 -x293 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x295 -x787 -x296 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x298 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x47 -x818 -x69 -x819 -x129 -x820 -x147 -x821 -x180 -x822 -x195 -x823 x234 -x824 x255 -x825 -x264 -x826 -x279 -x827 -x285 -x828 x294 -x829 x297 -x830 x299 -x831 x300 -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 x70 -x880 -x73 -x881 -x882 -x883 x76 -x884 -x82 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x90 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x93 -x901 -x902 -x903 -x96 -x904 -x102 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x110 -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 x150 -x984 -x156 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x164 -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 -x201 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x209 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x97 -x1075 -x151 -x1076 -x1077 -x1078 -x196 -x1079 -x214 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x222 -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 -x99 -x1117 x153 -x1118 -x1119 -x1120 -x198 -x1121 -x237 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x245 -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 x272 -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 -x105 -x1230 -x159 -x1231 -x1232 -x1233 -x204 -x1234 x267 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x290 -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 -x77 -x1335 x79 -x1336 -x1337 -x1338 -x1339 -x1340 -x85 -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 x211 -x1545 -x1546 -x1547 -x1548 -x1549 x217 -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 -x240 -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 x301 -x112 

OK	5216

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118408-1467221118/watcher-4118408-1467221118 -o /tmp/evaluation-result-4118408-1467221118/solver-4118408-1467221118 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467209011-6354 --watchdog 1960 open-wbo HOME/instance-4118408-1467221118.opb 

pid=8259
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.31 2.22 2.19 3/176 8262
/proc/meminfo: memFree=28628496/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=3200 CPUtime=0 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 3066635 3276800 412 33554432000 4194304 6059633 140736880024464 140737139747480 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 800 412 250 456 0 219 0

[startup+0.100169 s]
/proc/loadavg: 2.31 2.22 2.19 3/176 8262
/proc/meminfo: memFree=28628496/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=18844 CPUtime=0.09 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 3664 0 0 0 9 0 0 0 20 0 1 0 3066635 19296256 3810 33554432000 4194304 6059633 140736880024464 140737139747480 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 4711 3810 172 456 0 4247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18844

[startup+0.200367 s]
/proc/loadavg: 2.31 2.22 2.19 3/176 8262
/proc/meminfo: memFree=28628496/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=18844 CPUtime=0.19 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 3673 0 0 0 19 0 0 0 20 0 1 0 3066635 19296256 3819 33554432000 4194304 6059633 140736880024464 140737139747480 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 4711 3819 172 456 0 4247 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18844

[startup+0.300299 s]
/proc/loadavg: 2.31 2.22 2.19 3/176 8262
/proc/meminfo: memFree=28628496/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=18976 CPUtime=0.29 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 3700 0 0 0 29 0 0 0 20 0 1 0 3066635 19431424 3846 33554432000 4194304 6059633 140736880024464 140737139747480 5268791 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 4744 3846 174 456 0 4280 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18976

[startup+0.700261 s]
/proc/loadavg: 2.31 2.22 2.19 3/176 8262
/proc/meminfo: memFree=28628496/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=19756 CPUtime=0.68 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 4019 0 0 0 68 0 0 0 20 0 1 0 3066635 20230144 4161 33554432000 4194304 6059633 140736880024464 140736880023224 4277990 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 4939 4161 188 456 0 4475 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19756

[startup+1.50029 s]
/proc/loadavg: 2.31 2.22 2.19 3/177 8263
/proc/meminfo: memFree=28611404/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=24300 CPUtime=1.49 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 5061 0 0 0 148 1 0 0 20 0 1 0 3066635 24883200 5203 33554432000 4194304 6059633 140736880024464 140736880023224 4278457 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 6075 5203 190 456 0 5611 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24300

[startup+3.10026 s]
/proc/loadavg: 2.31 2.22 2.19 3/177 8263
/proc/meminfo: memFree=28607568/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=23156 CPUtime=3.09 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 5370 0 0 0 308 1 0 0 20 0 1 0 3066635 23711744 5177 33554432000 4194304 6059633 140736880024464 140736880022504 4277586 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 5789 5177 192 456 0 5325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23156

[startup+6.30029 s]
/proc/loadavg: 2.29 2.21 2.18 3/177 8263
/proc/meminfo: memFree=28607020/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=26512 CPUtime=6.29 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 5777 0 0 0 628 1 0 0 20 0 1 0 3066635 27148288 5573 33554432000 4194304 6059633 140736880024464 140736880022920 4246354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 6628 5573 193 456 0 6164 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26512

[startup+12.7003 s]
/proc/loadavg: 2.34 2.23 2.19 3/177 8263
/proc/meminfo: memFree=28600112/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=36324 CPUtime=12.69 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 7246 0 0 0 1267 2 0 0 20 0 1 0 3066635 37195776 7149 33554432000 4194304 6059633 140736880024464 140736880023224 4277847 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 9081 7149 193 456 0 8617 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36324

[startup+25.5004 s]
/proc/loadavg: 2.27 2.22 2.18 4/177 8263
/proc/meminfo: memFree=28603052/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=29456 CPUtime=25.48 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 8900 0 0 0 2546 2 0 0 20 0 1 0 3066635 30162944 6499 33554432000 4194304 6059633 140736880024464 140736880022952 4246399 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 7364 6499 193 456 0 6900 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29456

[startup+51.1004 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 8263
/proc/meminfo: memFree=28595052/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=36736 CPUtime=51.09 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 9320 0 0 0 5106 3 0 0 20 0 1 0 3066635 37617664 8437 33554432000 4194304 6059633 140736880024464 140736880022648 4277874 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 9184 8437 193 456 0 8720 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36736

[startup+102.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/177 8264
/proc/meminfo: memFree=28580428/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=51184 CPUtime=102.28 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 10663 0 0 0 10225 3 0 0 20 0 1 0 3066635 52412416 12061 33554432000 4194304 6059633 140736880024464 140736880023224 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 12796 12061 193 456 0 12332 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 51184

[startup+162.3 s]
/proc/loadavg: 2.13 2.17 2.17 4/177 8266
/proc/meminfo: memFree=28572796/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=58368 CPUtime=162.27 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 10945 0 0 0 16223 4 0 0 20 0 1 0 3066635 59768832 13857 33554432000 4194304 6059633 140736880024464 140736880023224 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 14592 13857 194 456 0 14128 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 58368

[startup+222.307 s]
/proc/loadavg: 2.18 2.17 2.17 3/177 8267
/proc/meminfo: memFree=28572928/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=58368 CPUtime=222.27 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 10953 0 0 0 22223 4 0 0 20 0 1 0 3066635 59768832 13865 33554432000 4194304 6059633 140736880024464 140736880023224 4277595 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 14592 13865 194 456 0 14128 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 58368

[startup+282.3 s]
/proc/loadavg: 2.21 2.18 2.18 4/177 8268
/proc/meminfo: memFree=28568092/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=62772 CPUtime=282.25 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 11027 0 0 0 28221 4 0 0 20 0 1 0 3066635 64278528 14959 33554432000 4194304 6059633 140736880024464 140736880022648 4277874 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 15693 14959 194 456 0 15229 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 62772

[startup+342.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/178 8272
/proc/meminfo: memFree=28568360/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=62964 CPUtime=342.24 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 11089 0 0 0 34220 4 0 0 20 0 1 0 3066635 64475136 15019 33554432000 4194304 6059633 140736880024464 140736880022648 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 15741 15019 194 456 0 15277 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 62964

[startup+402.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 8273
/proc/meminfo: memFree=28557952/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=82376 CPUtime=402.22 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 11877 0 0 0 40218 4 0 0 20 0 1 0 3066635 84353024 17492 33554432000 4194304 6059633 140736880024464 140736880023224 4277832 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 20594 17492 194 456 0 20130 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 82376

[startup+462.3 s]
/proc/loadavg: 2.37 2.23 2.19 4/177 8275
/proc/meminfo: memFree=28555900/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=82376 CPUtime=462.22 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 11881 0 0 0 46218 4 0 0 20 0 1 0 3066635 84353024 18007 33554432000 4194304 6059633 140736880024464 140736880023224 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 20594 18007 194 456 0 20130 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 82376

[startup+522.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/177 8276
/proc/meminfo: memFree=28553856/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=82376 CPUtime=522.21 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 11882 0 0 0 52217 4 0 0 20 0 1 0 3066635 84353024 18519 33554432000 4194304 6059633 140736880024464 140736880023224 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 20594 18519 194 456 0 20130 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 82376

[startup+582.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 8277
/proc/meminfo: memFree=28552184/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=82376 CPUtime=582.2 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 11887 0 0 0 58216 4 0 0 20 0 1 0 3066635 84353024 19035 33554432000 4194304 6059633 140736880024464 140736880023224 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 20594 19035 194 456 0 20130 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 82376


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


[startup+942.3 s]
/proc/loadavg: 2.37 2.29 2.21 3/178 8378
/proc/meminfo: memFree=28608840/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=942.14 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 13722 0 0 0 94208 6 0 0 20 0 1 0 3066635 134856704 28055 33554432000 4194304 6059633 140736880024464 140736880022664 4246280 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 28055 194 456 0 32460 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 131696

[startup+1002.3 s]
/proc/loadavg: 2.39 2.31 2.22 4/177 8379
/proc/meminfo: memFree=28627592/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=82376 CPUtime=1002.13 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 14222 0 0 0 100206 7 0 0 20 0 1 0 3066635 84353024 19893 33554432000 4194304 6059633 140736880024464 140736880022952 4277866 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 20594 19893 194 456 0 20130 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 82376

[startup+1062.3 s]
/proc/loadavg: 2.30 2.29 2.22 3/177 8381
/proc/meminfo: memFree=28620148/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=82376 CPUtime=1062.13 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 14726 0 0 0 106205 8 0 0 20 0 1 0 3066635 84353024 19897 33554432000 4194304 6059633 140736880024464 140736880023224 4277879 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 20594 19897 194 456 0 20130 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 82376

[startup+1122.3 s]
/proc/loadavg: 2.29 2.30 2.22 4/177 8382
/proc/meminfo: memFree=28612024/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=82376 CPUtime=1122.11 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 15225 0 0 0 112203 8 0 0 20 0 1 0 3066635 84353024 19897 33554432000 4194304 6059633 140736880024464 140736880022952 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 20594 19897 194 456 0 20130 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 82376

[startup+1182.3 s]
/proc/loadavg: 2.44 2.33 2.23 4/177 8383
/proc/meminfo: memFree=28580064/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1182.11 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 16222 0 0 0 118201 10 0 0 20 0 1 0 3066635 134856704 28059 33554432000 4194304 6059633 140736880024464 140736880022664 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 28059 194 456 0 32460 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 131696

[startup+1242.3 s]
/proc/loadavg: 2.36 2.32 2.23 3/177 8384
/proc/meminfo: memFree=28554804/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1242.09 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 16755 0 0 0 124199 10 0 0 20 0 1 0 3066635 134856704 28092 33554432000 4194304 6059633 140736880024464 140736880022664 4278472 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 28092 194 456 0 32460 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 131696

[startup+1302.3 s]
/proc/loadavg: 2.29 2.30 2.23 3/177 8385
/proc/meminfo: memFree=28547048/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1302.09 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 17256 0 0 0 130198 11 0 0 20 0 1 0 3066635 134856704 28604 33554432000 4194304 6059633 140736880024464 140736880022664 4278520 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 28604 194 456 0 32460 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 131696

[startup+1362.3 s]
/proc/loadavg: 2.27 2.29 2.23 4/177 8387
/proc/meminfo: memFree=28544872/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1362.08 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 17758 0 0 0 136196 12 0 0 20 0 1 0 3066635 134856704 29116 33554432000 4194304 6059633 140736880024464 140736880023224 4277968 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 29116 194 456 0 32460 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 131696

[startup+1422.3 s]
/proc/loadavg: 2.16 2.25 2.22 3/177 8388
/proc/meminfo: memFree=28546544/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1422.07 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 18259 0 0 0 142195 12 0 0 20 0 1 0 3066635 134856704 28604 33554432000 4194304 6059633 140736880024464 140736880022664 4277586 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 28604 194 456 0 32460 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 131696

[startup+1482.3 s]
/proc/loadavg: 2.19 2.25 2.22 3/177 8389
/proc/meminfo: memFree=28544368/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1482.06 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 18761 0 0 0 148193 13 0 0 20 0 1 0 3066635 134856704 29116 33554432000 4194304 6059633 140736880024464 140736880022664 4255339 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 29116 194 456 0 32460 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 131696

[startup+1542.31 s]
/proc/loadavg: 2.29 2.26 2.22 4/178 8393
/proc/meminfo: memFree=28542360/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1542.06 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 19267 0 0 0 154192 14 0 0 20 0 1 0 3066635 134856704 29630 33554432000 4194304 6059633 140736880024464 140736880023224 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 29630 194 456 0 32460 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 131696

[startup+1602.3 s]
/proc/loadavg: 2.20 2.24 2.21 3/177 8394
/proc/meminfo: memFree=28548508/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1602.04 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 19767 0 0 0 160190 14 0 0 20 0 1 0 3066635 134856704 28094 33554432000 4194304 6059633 140736880024464 140736880022664 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 28094 194 456 0 32460 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 131696

[startup+1662.3 s]
/proc/loadavg: 2.12 2.21 2.20 3/177 8396
/proc/meminfo: memFree=28550680/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1662.03 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 20268 0 0 0 166188 15 0 0 20 0 1 0 3066635 134856704 27582 33554432000 4194304 6059633 140736880024464 140736880022952 4277868 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 27582 194 456 0 32460 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 131696

[startup+1722.3 s]
/proc/loadavg: 2.33 2.25 2.21 4/177 8397
/proc/meminfo: memFree=28540184/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1722.02 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 20773 0 0 0 172186 16 0 0 20 0 1 0 3066635 134856704 28094 33554432000 4194304 6059633 140736880024464 140736880022952 4261770 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 28094 194 456 0 32460 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 131696

[startup+1782.3 s]
/proc/loadavg: 2.30 2.25 2.21 4/177 8398
/proc/meminfo: memFree=28567068/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=82376 CPUtime=1782.01 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 20973 0 0 0 178184 17 0 0 20 0 1 0 3066635 84353024 19939 33554432000 4194304 6059633 140736880024464 140736880022952 4255366 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 20594 19939 194 456 0 20130 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 82376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.23 2.23 2.20 3/177 8398
/proc/meminfo: memFree=28500044/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1800.01 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 21470 0 0 0 179984 17 0 0 20 0 1 0 3066635 134856704 28101 33554432000 4194304 6059633 140736880024464 140736880022664 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 28101 194 456 0 32460 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 131696

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8262 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.23 2.23 2.20 3/177 8398
/proc/meminfo: memFree=28500044/32872528 swapFree=1370068/1517236
[pid=8262] ppid=8259 vsize=131696 CPUtime=1800.01 cores=0,2,4,6
/proc/8262/stat : 8262 (open-wbo) R 8259 8262 6338 0 -1 4202496 21470 0 0 0 179984 17 0 0 20 0 1 0 3066635 134856704 28101 33554432000 4194304 6059633 140736880024464 140736880022664 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/8262/statm: 32924 28101 194 456 0 32460 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 131696

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.84
CPU system time (s): 0.178972
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 162516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.178972
maximum resident set size= 129520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21473
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= 12
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87741 second user time and 7.59284 second system time

The end

Begin job on node129 at 2016-06-29 19:25:18
IDJOB=4118408
IDBENCH=111490
IDSOLVER=2547
FILE ID=node129/4118408-1467221118
RUNJOBID= node129-1467209011-6354
PBS_JOBID= 19997579
Free space on /tmp= 71596 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118408-1467221118/watcher-4118408-1467221118 -o /tmp/evaluation-result-4118408-1467221118/solver-4118408-1467221118 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467209011-6354 --watchdog 1960  open-wbo HOME/instance-4118408-1467221118.opb

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

MD5SUM BENCH= 245be8e93852fe7bd6f734599ed1eccd
RANDOM SEED=1528633939

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28628876 kB
Buffers:           79060 kB
Cached:          1770224 kB
SwapCached:            0 kB
Active:           417576 kB
Inactive:        1559780 kB
Active(anon):     130244 kB
Inactive(anon):        0 kB
Active(file):     287332 kB
Inactive(file):  1559780 kB
Unevictable:     1517236 kB
Mlocked:         1370068 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5052 kB
Writeback:             0 kB
AnonPages:       1724532 kB
Mapped:            14668 kB
Shmem:               204 kB
Slab:             617012 kB
SReclaimable:      61440 kB
SUnreclaim:       555572 kB
KernelStack:        1472 kB
PageTables:         7608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1751996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71592 MiB
End job on node129 at 2016-06-29 19:55:18