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 -- LSU
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-4105340-1466247126.opb
0.00/0.00	c File size is 128294 bytes.
1800.07/1800.40	c Sum of soft weights:         4688
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	c |  Problem Type:           Unweighted                                                                   |
1800.07/1800.40	c |  Number of variables:          4688                                                                   |
1800.07/1800.40	c |  Number of hard clauses:        403                                                                   |
1800.07/1800.40	c |  Number of soft clauses:       4688                                                                   |
1800.07/1800.40	c |  Number of cardinality:           0                                                                   |
1800.07/1800.40	c |  Number of PB :                   0                                                                   |
1800.07/1800.40	c |  Parse time:                   0.02 s                                                                 |
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	c ==========================================[ Solver Settings ]============================================
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	c |  Algorithm:                LinearSU                                                                   |
1800.07/1800.40	c |  Cardinality Encoding:       Modulo Totalizer                                                         |
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	o 181
1800.07/1800.40	o 175
1800.07/1800.40	o 173
1800.07/1800.40	o 171
1800.07/1800.40	o 165
1800.07/1800.40	o 164
1800.07/1800.40	o 162
1800.07/1800.40	o 161
1800.07/1800.40	o 158
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	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 

OK	158

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-4105340-1466247126/watcher-4105340-1466247126 -o /tmp/evaluation-result-4105340-1466247126/solver-4105340-1466247126 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466241508-28334 --watchdog 1960 open-wbo-lsu HOME/instance-4105340-1466247126.opb 

pid=30636
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: 1.89 1.97 1.99 3/176 30639
/proc/meminfo: memFree=31742700/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=2860 CPUtime=0 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 26757461 2928640 347 33554432000 4194304 6058637 140736635649520 140736927835688 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 715 347 166 456 0 219 0

[startup+0.100165 s]
/proc/loadavg: 1.89 1.97 1.99 3/176 30639
/proc/meminfo: memFree=31742700/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=18820 CPUtime=0.09 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 3536 0 0 0 9 0 0 0 20 0 1 0 26757461 19271680 3798 33554432000 4194304 6058637 140736635649520 140736635648616 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 4705 3799 164 456 0 4241 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18820

[startup+0.20036 s]
/proc/loadavg: 1.89 1.97 1.99 3/176 30639
/proc/meminfo: memFree=31742700/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=19080 CPUtime=0.19 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 3649 0 0 0 19 0 0 0 20 0 1 0 26757461 19537920 3907 33554432000 4194304 6058637 140736635649520 140736635648616 4246391 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 4770 3907 176 456 0 4306 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19080

[startup+0.300358 s]
/proc/loadavg: 1.89 1.97 1.99 3/176 30639
/proc/meminfo: memFree=31742700/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=19212 CPUtime=0.29 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 3699 0 0 0 29 0 0 0 20 0 1 0 26757461 19673088 3957 33554432000 4194304 6058637 140736635649520 140736635648616 4277663 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 4803 3957 176 456 0 4339 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19212

[startup+0.700297 s]
/proc/loadavg: 1.89 1.97 1.99 3/176 30639
/proc/meminfo: memFree=31742700/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=19476 CPUtime=0.69 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 3884 0 0 0 69 0 0 0 20 0 1 0 26757461 19943424 4140 33554432000 4194304 6058637 140736635649520 140736635648616 4255535 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 4869 4140 177 456 0 4405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19476

[startup+1.50032 s]
/proc/loadavg: 1.89 1.97 1.99 3/177 30640
/proc/meminfo: memFree=31639464/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=22460 CPUtime=1.49 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 4196 0 0 0 149 0 0 0 20 0 1 0 26757461 22999040 4446 33554432000 4194304 6058637 140736635649520 140736635648136 4277598 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 5615 4446 177 456 0 5151 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22460

[startup+3.1003 s]
/proc/loadavg: 1.89 1.97 1.99 3/177 30640
/proc/meminfo: memFree=31669284/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=22992 CPUtime=3.09 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 5160 0 0 0 308 1 0 0 20 0 1 0 26757461 23543808 5141 33554432000 4194304 6058637 140736635649520 140736635648136 4278280 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 5748 5141 178 456 0 5284 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22992

[startup+6.30032 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 30640
/proc/meminfo: memFree=31746084/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=31912 CPUtime=6.28 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 6145 0 0 0 627 1 0 0 20 0 1 0 26757461 32677888 7393 33554432000 4194304 6058637 140736635649520 140736635648280 4277357 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 7978 7393 178 456 0 7514 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31912

[startup+12.7003 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 30686
/proc/meminfo: memFree=31830960/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=39052 CPUtime=12.68 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 6951 0 0 0 1267 1 0 0 20 0 1 0 26757461 39989248 9163 33554432000 4194304 6058637 140736635649520 140736635648280 4277957 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 9763 9163 178 456 0 9299 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39052

[startup+25.5004 s]
/proc/loadavg: 1.93 1.97 1.99 3/177 30686
/proc/meminfo: memFree=31808328/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=39052 CPUtime=25.48 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 6956 0 0 0 2547 1 0 0 20 0 1 0 26757461 39989248 9168 33554432000 4194304 6058637 140736635649520 140736635648280 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 9763 9168 178 456 0 9299 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39052

[startup+51.1003 s]
/proc/loadavg: 1.95 1.97 1.99 3/177 30686
/proc/meminfo: memFree=31780964/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=58160 CPUtime=51.07 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 8205 0 0 0 5105 2 0 0 20 0 1 0 26757461 59555840 12469 33554432000 4194304 6058637 140736635649520 140736635648248 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 14540 12469 178 456 0 14076 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 58160

[startup+102.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 30687
/proc/meminfo: memFree=31750948/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=88508 CPUtime=102.28 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 9131 0 0 0 10225 3 0 0 20 0 1 0 26757461 90632192 14517 33554432000 4194304 6058637 140736635649520 140736635648248 4277403 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22127 14517 178 456 0 21663 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88508

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 30688
/proc/meminfo: memFree=31706324/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=88508 CPUtime=162.26 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 9520 0 0 0 16222 4 0 0 20 0 1 0 26757461 90632192 20524 33554432000 4194304 6058637 140736635649520 140736635648856 4255520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22127 20524 178 456 0 21663 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 88508

[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 30689
/proc/meminfo: memFree=31660204/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=137828 CPUtime=222.26 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 9554 0 0 0 22221 5 0 0 20 0 1 0 26757461 141135872 31800 33554432000 4194304 6058637 140736635649520 140736635648296 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 34457 31800 178 456 0 33993 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 137828

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/176 30690
/proc/meminfo: memFree=31701160/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=88508 CPUtime=282.24 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 9640 0 0 0 28218 6 0 0 20 0 1 0 26757461 90632192 21548 33554432000 4194304 6058637 140736635649520 140736635648584 4277660 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22127 21548 178 456 0 21663 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 88508

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 30692
/proc/meminfo: memFree=31701276/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=88508 CPUtime=342.23 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 9729 0 0 0 34215 8 0 0 20 0 1 0 26757461 90632192 21548 33554432000 4194304 6058637 140736635649520 140736635648584 4246197 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22127 21548 178 456 0 21663 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 88508

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 30693
/proc/meminfo: memFree=31647968/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=88508 CPUtime=402.22 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 9791 0 0 0 40213 9 0 0 20 0 1 0 26757461 90632192 21548 33554432000 4194304 6058637 140736635649520 140736635648584 4277424 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22127 21548 178 456 0 21663 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 88508

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 30694
/proc/meminfo: memFree=31644488/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=89956 CPUtime=462.22 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 10255 0 0 0 46211 11 0 0 20 0 1 0 26757461 92114944 21910 33554432000 4194304 6058637 140736635649520 140736635648296 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22489 21910 178 456 0 22025 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 89956

[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 30698
/proc/meminfo: memFree=31654896/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=89956 CPUtime=522.2 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 10323 0 0 0 52208 12 0 0 20 0 1 0 26757461 92114944 21910 33554432000 4194304 6058637 140736635649520 140736635648584 4246170 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22489 21910 178 456 0 22025 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 89956

[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 30722
/proc/meminfo: memFree=31642612/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=89956 CPUtime=582.19 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 10393 0 0 0 58206 13 0 0 20 0 1 0 26757461 92114944 21910 33554432000 4194304 6058637 140736635649520 140736635648584 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22489 21910 178 456 0 22025 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 89956


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


[startup+882.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 30728
/proc/meminfo: memFree=31604284/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=139276 CPUtime=882.15 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 11158 0 0 0 88190 25 0 0 20 0 1 0 26757461 142618624 30114 33554432000 4194304 6058637 140736635649520 140736635648296 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 34819 30114 178 456 0 34355 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 139276

[startup+942.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 30730
/proc/meminfo: memFree=31600296/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=170096 CPUtime=942.13 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 11347 0 0 0 94186 27 0 0 20 0 1 0 26757461 174178304 35301 33554432000 4194304 6058637 140736635649520 140736635648552 4277682 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 42524 35301 178 456 0 42060 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 170096

[startup+1002.3 s]
/proc/loadavg: 2.04 1.99 1.99 3/177 30731
/proc/meminfo: memFree=31637136/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=89956 CPUtime=1002.12 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 11458 0 0 0 100183 29 0 0 20 0 1 0 26757461 92114944 21910 33554432000 4194304 6058637 140736635649520 140736635648584 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22489 21910 178 456 0 22025 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 89956

[startup+1062.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 30732
/proc/meminfo: memFree=31590068/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=139276 CPUtime=1062.11 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 11604 0 0 0 106180 31 0 0 20 0 1 0 26757461 142618624 32674 33554432000 4194304 6058637 140736635649520 140736635648296 4277663 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 34819 32674 178 456 0 34355 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 139276

[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 30736
/proc/meminfo: memFree=31632876/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=170096 CPUtime=1122.11 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 11786 0 0 0 112177 34 0 0 20 0 1 0 26757461 174178304 35301 33554432000 4194304 6058637 140736635649520 140736635648552 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 42524 35301 178 456 0 42060 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 170096

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30737
/proc/meminfo: memFree=31640868/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=89956 CPUtime=1182.09 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 11912 0 0 0 118174 35 0 0 20 0 1 0 26757461 92114944 21911 33554432000 4194304 6058637 140736635649520 140736635648584 4854152 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 22489 21911 178 456 0 22025 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 89956

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30739
/proc/meminfo: memFree=31600200/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=139276 CPUtime=1242.08 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 12067 0 0 0 124171 37 0 0 20 0 1 0 26757461 142618624 31664 33554432000 4194304 6058637 140736635649520 140736635648296 4278162 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 34819 31664 178 456 0 34355 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 139276

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30740
/proc/meminfo: memFree=31597500/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=158292 CPUtime=1302.07 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 12260 0 0 0 130168 39 0 0 20 0 1 0 26757461 162091008 34300 33554432000 4194304 6058637 140736635649520 140736635648296 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 39573 34300 178 456 0 39109 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 158292

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30741
/proc/meminfo: memFree=31546428/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=200800 CPUtime=1362.06 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 13200 0 0 0 136164 42 0 0 20 0 1 0 26757461 205619200 43489 33554432000 4194304 6058637 140736635649520 140736635648552 4278255 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 50200 43489 178 456 0 49736 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 200800

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30742
/proc/meminfo: memFree=31535784/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=200800 CPUtime=1422.05 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 13314 0 0 0 142162 43 0 0 20 0 1 0 26757461 205619200 44513 33554432000 4194304 6058637 140736635649520 140736635648552 4278287 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 50200 44513 178 456 0 49736 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 200800

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30743
/proc/meminfo: memFree=31528488/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=200800 CPUtime=1482.04 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 13432 0 0 0 148159 45 0 0 20 0 1 0 26757461 205619200 46561 33554432000 4194304 6058637 140736635649520 140736635648552 4255137 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 50200 46561 178 456 0 49736 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 200800

[startup+1542.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 30745
/proc/meminfo: memFree=31591864/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=120660 CPUtime=1542.03 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 13548 0 0 0 154156 47 0 0 20 0 1 0 26757461 123555840 29586 33554432000 4194304 6058637 140736635649520 140736635648584 4277978 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 30165 29586 178 456 0 29701 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 120660

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30746
/proc/meminfo: memFree=31595608/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=120660 CPUtime=1602.01 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 13664 0 0 0 160153 48 0 0 20 0 1 0 26757461 123555840 29586 33554432000 4194304 6058637 140736635649520 140736635648584 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 30165 29586 178 456 0 29701 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 120660

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30747
/proc/meminfo: memFree=31593280/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=120660 CPUtime=1662 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 13798 0 0 0 166150 50 0 0 20 0 1 0 26757461 123555840 29586 33554432000 4194304 6058637 140736635649520 140736635648584 4277969 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 30165 29586 178 456 0 29701 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 120660

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 30751
/proc/meminfo: memFree=31597024/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=169980 CPUtime=1721.99 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 13942 0 0 0 172147 52 0 0 20 0 1 0 26757461 174059520 37790 33554432000 4194304 6058637 140736635649520 140736635648296 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 42495 37790 178 456 0 42031 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 169980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30752
/proc/meminfo: memFree=31592808/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=120660 CPUtime=1781.98 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 14032 0 0 0 178144 54 0 0 20 0 1 0 26757461 123555840 29586 33554432000 4194304 6058637 140736635649520 140736635648584 4277357 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 30165 29586 178 456 0 29701 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 120660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30752
/proc/meminfo: memFree=31600828/32872528 swapFree=7780/7780
[pid=30639] ppid=30636 vsize=169980 CPUtime=1800.07 cores=1,3,5,7
/proc/30639/stat : 30639 (open-wbo-lsu) R 30636 30639 28317 0 -1 4202496 14068 0 0 0 179953 54 0 0 20 0 1 0 26757461 174059520 41886 33554432000 4194304 6058637 140736635649520 140736635648296 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/30639/statm: 42495 41886 178 456 0 42031 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 169980

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 30639 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1799.54
CPU system time (s): 0.547916
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 200800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.547916
maximum resident set size= 196484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14071
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= 52
involuntary context switches= 2031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5953 second user time and 6.86596 second system time

The end

Begin job on node151 at 2016-06-18 12:52:06
IDJOB=4105340
IDBENCH=2837
IDSOLVER=2545
FILE ID=node151/4105340-1466247126
RUNJOBID= node151-1466241508-28334
PBS_JOBID= 19918209
Free space on /tmp= 71744 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105340-1466247126/watcher-4105340-1466247126 -o /tmp/evaluation-result-4105340-1466247126/solver-4105340-1466247126 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466241508-28334 --watchdog 1960  open-wbo-lsu HOME/instance-4105340-1466247126.opb

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

MD5SUM BENCH= cb09f183d3805e6536d629586026461f
RANDOM SEED=496055083

node151.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		: 2667.103
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	: 5334.20
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		: 2667.103
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.55
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		: 2667.103
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		: 2667.103
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		: 2667.103
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.54
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		: 2667.103
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.55
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		: 2667.103
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.56
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		: 2667.103
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:        31745376 kB
Buffers:           62332 kB
Cached:           193012 kB
SwapCached:         1932 kB
Active:           178896 kB
Inactive:         204740 kB
Active(anon):     128148 kB
Inactive(anon):     2512 kB
Active(file):      50748 kB
Inactive(file):   202228 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:              9816 kB
Writeback:             0 kB
AnonPages:        252208 kB
Mapped:             8784 kB
Shmem:                 0 kB
Slab:             606164 kB
SReclaimable:      49364 kB
SUnreclaim:       556800 kB
KernelStack:        1472 kB
PageTables:         4284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     259888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 71740 MiB
End job on node151 at 2016-06-18 13:22:07