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

OK	85

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-4083690-1465337568/watcher-4083690-1465337568 -o /tmp/evaluation-result-4083690-1465337568/solver-4083690-1465337568 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465314711-15536 --watchdog 1960 open-wbo-lsu HOME/instance-4083690-1465337568.opb 

pid=20059
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.22 2.26 2.22 3/176 20062
/proc/meminfo: memFree=25346684/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=2996 CPUtime=0 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 499 0 0 0 0 0 0 0 20 0 1 0 115690424 3067904 375 33554432000 4194304 6058637 140734979646928 140735921943096 5042435 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 749 375 200 456 0 219 0

[startup+0.100192 s]
/proc/loadavg: 2.22 2.26 2.22 3/176 20062
/proc/meminfo: memFree=25346684/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=18224 CPUtime=0.09 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 3501 0 0 0 9 0 0 0 20 0 1 0 115690424 18661376 3757 33554432000 4194304 6058637 140734979646928 140735921943096 4246099 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 4556 3757 176 456 0 4092 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18224

[startup+0.200362 s]
/proc/loadavg: 2.22 2.26 2.22 3/176 20062
/proc/meminfo: memFree=25346684/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=18356 CPUtime=0.19 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 3549 0 0 0 19 0 0 0 20 0 1 0 115690424 18796544 3805 33554432000 4194304 6058637 140734979646928 140735921943096 4277394 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 4589 3805 176 456 0 4125 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18356

[startup+0.300318 s]
/proc/loadavg: 2.22 2.26 2.22 3/176 20062
/proc/meminfo: memFree=25346684/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=18572 CPUtime=0.29 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 3609 0 0 0 29 0 0 0 20 0 1 0 115690424 19017728 3863 33554432000 4194304 6058637 140734979646928 140735921943096 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 4643 3863 177 456 0 4179 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18572

[startup+0.70028 s]
/proc/loadavg: 2.22 2.26 2.22 3/176 20062
/proc/meminfo: memFree=25346684/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=18832 CPUtime=0.69 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 3779 0 0 0 69 0 0 0 20 0 1 0 115690424 19283968 4033 33554432000 4194304 6058637 140734979646928 140734979645752 4280035 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 4708 4033 177 456 0 4244 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18832

[startup+1.50027 s]
/proc/loadavg: 2.22 2.26 2.22 3/177 20063
/proc/meminfo: memFree=25331592/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=21868 CPUtime=1.49 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 4566 0 0 0 148 1 0 0 20 0 1 0 115690424 22392832 4269 33554432000 4194304 6058637 140734979646928 140734979645960 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 5467 4269 178 456 0 5003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21868

[startup+3.10028 s]
/proc/loadavg: 2.28 2.27 2.22 4/177 20063
/proc/meminfo: memFree=25325324/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=30840 CPUtime=3.09 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 6099 0 0 0 308 1 0 0 20 0 1 0 115690424 31580160 7057 33554432000 4194304 6058637 140734979646928 140734979645656 4254552 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 7710 7057 178 456 0 7246 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30840

[startup+6.30028 s]
/proc/loadavg: 2.28 2.27 2.22 3/177 20063
/proc/meminfo: memFree=25314236/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=37980 CPUtime=6.29 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 6885 0 0 0 628 1 0 0 20 0 1 0 115690424 38891520 8301 33554432000 4194304 6058637 140734979646928 140734979645688 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 9495 8301 178 456 0 9031 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37980

[startup+12.7003 s]
/proc/loadavg: 2.32 2.28 2.22 4/177 20063
/proc/meminfo: memFree=25311320/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=37980 CPUtime=12.69 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 7491 0 0 0 1268 1 0 0 20 0 1 0 115690424 38891520 8893 33554432000 4194304 6058637 140734979646928 140734979645688 4263437 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 9495 8893 178 456 0 9031 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37980

[startup+25.5003 s]
/proc/loadavg: 2.27 2.27 2.22 3/177 20063
/proc/meminfo: memFree=25302968/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=49584 CPUtime=25.49 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 8207 0 0 0 2547 2 0 0 20 0 1 0 115690424 50774016 11115 33554432000 4194304 6058637 140734979646928 140734979645656 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 12396 11115 178 456 0 11932 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49584

[startup+51.1004 s]
/proc/loadavg: 2.17 2.25 2.21 3/177 20063
/proc/meminfo: memFree=25277824/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=69356 CPUtime=51.08 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 9717 0 0 0 5106 2 0 0 20 0 1 0 115690424 71020544 16755 33554432000 4194304 6058637 140734979646928 140734979645992 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 17339 16755 178 456 0 16875 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69356

[startup+102.3 s]
/proc/loadavg: 2.29 2.26 2.22 4/177 20110
/proc/meminfo: memFree=29956400/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=88212 CPUtime=102.28 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 10313 0 0 0 10226 2 0 0 20 0 1 0 115690424 90329088 21427 33554432000 4194304 6058637 140734979646928 140734979646264 4255256 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 22053 21427 178 456 0 21589 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88212

[startup+162.3 s]
/proc/loadavg: 2.18 2.23 2.21 3/177 20111
/proc/meminfo: memFree=29912700/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=88212 CPUtime=162.26 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 10610 0 0 0 16222 4 0 0 20 0 1 0 115690424 90329088 21475 33554432000 4194304 6058637 140734979646928 140734979645992 4278162 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 22053 21475 178 456 0 21589 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 88212

[startup+222.307 s]
/proc/loadavg: 2.18 2.21 2.20 3/177 20113
/proc/meminfo: memFree=29893172/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=88212 CPUtime=222.26 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 10947 0 0 0 22220 6 0 0 20 0 1 0 115690424 90329088 21475 33554432000 4194304 6058637 140734979646928 140734979645992 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 22053 21475 178 456 0 21589 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 88212

[startup+282.3 s]
/proc/loadavg: 2.11 2.19 2.19 4/177 20113
/proc/meminfo: memFree=29856480/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=137532 CPUtime=282.25 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 11288 0 0 0 28216 9 0 0 20 0 1 0 115690424 140832768 30757 33554432000 4194304 6058637 140734979646928 140734979645704 4277748 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 34383 30757 178 456 0 33919 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 137532

[startup+342.3 s]
/proc/loadavg: 2.24 2.21 2.19 3/177 20115
/proc/meminfo: memFree=29856548/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=137532 CPUtime=342.23 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 11552 0 0 0 34212 11 0 0 20 0 1 0 115690424 140832768 30757 33554432000 4194304 6058637 140734979646928 140734979645704 4255171 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 34383 30757 178 456 0 33919 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 137532

[startup+402.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 20115
/proc/meminfo: memFree=29874412/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=88212 CPUtime=402.23 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 12399 0 0 0 40209 14 0 0 20 0 1 0 115690424 90329088 21475 33554432000 4194304 6058637 140734979646928 140734979645992 4277832 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 22053 21475 178 456 0 21589 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 88212

[startup+462.3 s]
/proc/loadavg: 2.13 2.19 2.18 4/178 20120
/proc/meminfo: memFree=29829316/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=137532 CPUtime=462.21 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 13840 0 0 0 46204 17 0 0 20 0 1 0 115690424 140832768 33317 33554432000 4194304 6058637 140734979646928 140734979645704 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 34383 33317 178 456 0 33919 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 137532

[startup+522.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/177 20121
/proc/meminfo: memFree=29817076/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=168352 CPUtime=522.2 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 15779 0 0 0 52199 21 0 0 20 0 1 0 115690424 172392448 36456 33554432000 4194304 6058637 140734979646928 140734979645960 4278210 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 42088 36456 178 456 0 41624 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 168352

[startup+582.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 20122
/proc/meminfo: memFree=29823864/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=99924 CPUtime=582.2 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 17545 0 0 0 58195 25 0 0 20 0 1 0 115690424 102322176 24432 33554432000 4194304 6058637 140734979646928 140734979645992 4278218 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 24981 24432 178 456 0 24517 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 99924


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


[startup+942.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/177 20129
/proc/meminfo: memFree=29751304/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=180064 CPUtime=942.15 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 24392 0 0 0 94173 42 0 0 20 0 1 0 115690424 184385536 42485 33554432000 4194304 6058637 140734979646928 140734979645960 4278255 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 45016 42485 178 456 0 44552 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 180064

[startup+1002.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/177 20130
/proc/meminfo: memFree=29764940/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=149244 CPUtime=1002.14 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 25649 0 0 0 100169 45 0 0 20 0 1 0 115690424 152825856 36748 33554432000 4194304 6058637 140734979646928 140734979645704 4254548 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 37311 36748 178 456 0 36847 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 149244

[startup+1062.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/178 20134
/proc/meminfo: memFree=29784756/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=180064 CPUtime=1062.13 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 27142 0 0 0 106165 48 0 0 20 0 1 0 115690424 184385536 41461 33554432000 4194304 6058637 140734979646928 140734979645960 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 45016 41461 178 456 0 44552 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 180064

[startup+1122.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 20136
/proc/meminfo: memFree=29805224/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=99924 CPUtime=1122.12 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 28075 0 0 0 112161 51 0 0 20 0 1 0 115690424 102322176 24432 33554432000 4194304 6058637 140734979646928 140734979645992 4277682 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 24981 24432 178 456 0 24517 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 99924

[startup+1182.3 s]
/proc/loadavg: 2.21 2.22 2.18 4/177 20137
/proc/meminfo: memFree=29809340/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=149244 CPUtime=1182.11 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 29672 0 0 0 118156 55 0 0 20 0 1 0 115690424 152825856 34738 33554432000 4194304 6058637 140734979646928 140734979645704 4255024 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 37311 34738 178 456 0 36847 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 149244

[startup+1242.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 20138
/proc/meminfo: memFree=29749368/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=180064 CPUtime=1242.1 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 31290 0 0 0 124152 58 0 0 20 0 1 0 115690424 184385536 38901 33554432000 4194304 6058637 140734979646928 140734979645960 4278255 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 45016 38901 178 456 0 44552 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 180064

[startup+1302.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 20139
/proc/meminfo: memFree=29790004/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=180064 CPUtime=1302.09 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 32804 0 0 0 130148 61 0 0 20 0 1 0 115690424 184385536 39925 33554432000 4194304 6058637 140734979646928 140734979645960 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 45016 39925 178 456 0 44552 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 180064

[startup+1362.3 s]
/proc/loadavg: 2.12 2.20 2.17 4/177 20140
/proc/meminfo: memFree=29735920/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=180064 CPUtime=1362.08 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 33508 0 0 0 136145 63 0 0 20 0 1 0 115690424 184385536 42997 33554432000 4194304 6058637 140734979646928 140734979645960 4277655 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 45016 42997 178 456 0 44552 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 180064

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/177 20142
/proc/meminfo: memFree=29714652/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=230152 CPUtime=1422.08 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 35677 0 0 0 142142 66 0 0 20 0 1 0 115690424 235675648 45346 33554432000 4194304 6058637 140734979646928 140734979645960 4277843 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 57538 45346 178 456 0 57074 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 230152

[startup+1482.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 20143
/proc/meminfo: memFree=29849676/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=99924 CPUtime=1482.06 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 37196 0 0 0 148137 69 0 0 20 0 1 0 115690424 102322176 24432 33554432000 4194304 6058637 140734979646928 140734979645992 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 24981 24432 178 456 0 24517 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 99924

[startup+1542.31 s]
/proc/loadavg: 2.31 2.22 2.19 3/177 20144
/proc/meminfo: memFree=29777628/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=149244 CPUtime=1542.06 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 38798 0 0 0 154134 72 0 0 20 0 1 0 115690424 152825856 32690 33554432000 4194304 6058637 140734979646928 140734979645704 4278233 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 37311 32690 178 456 0 36847 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 149244

[startup+1602.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 20145
/proc/meminfo: memFree=29757408/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=149244 CPUtime=1602.04 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 40315 0 0 0 160129 75 0 0 20 0 1 0 115690424 152825856 35250 33554432000 4194304 6058637 140734979646928 140734979645704 4254977 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 37311 35250 178 456 0 36847 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 149244

[startup+1662.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/178 20149
/proc/meminfo: memFree=29738736/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=149244 CPUtime=1662.04 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 42134 0 0 0 166125 79 0 0 20 0 1 0 115690424 152825856 36568 33554432000 4194304 6058637 140734979646928 140734979645992 4280035 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 37311 36568 178 456 0 36847 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 149244

[startup+1722.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 20151
/proc/meminfo: memFree=29740916/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=149244 CPUtime=1722.02 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 43352 0 0 0 172121 81 0 0 20 0 1 0 115690424 152825856 34738 33554432000 4194304 6058637 140734979646928 140734979645704 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 37311 34738 178 456 0 36847 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 149244

[startup+1782.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/177 20152
/proc/meminfo: memFree=29814480/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=149244 CPUtime=1782.01 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 44873 0 0 0 178117 84 0 0 20 0 1 0 115690424 152825856 33714 33554432000 4194304 6058637 140734979646928 140734979645704 4278222 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 37311 33714 178 456 0 36847 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 149244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.42 2.26 2.20 4/177 20153
/proc/meminfo: memFree=29742616/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=180064 CPUtime=1800.01 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 45464 0 0 0 179916 85 0 0 20 0 1 0 115690424 184385536 39413 33554432000 4194304 6058637 140734979646928 140734979645960 4277712 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 45016 39413 178 456 0 44552 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 180064

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

[startup+1800.3 s]
/proc/loadavg: 2.42 2.26 2.20 4/177 20153
/proc/meminfo: memFree=29742616/32872528 swapFree=16080/1655368
[pid=20062] ppid=20059 vsize=180064 CPUtime=1800.01 cores=0,2,4,6
/proc/20062/stat : 20062 (open-wbo-lsu) R 20059 20062 15520 0 -1 4202496 45464 0 0 0 179916 85 0 0 20 0 1 0 115690424 184385536 39413 33554432000 4194304 6058637 140734979646928 140734979645960 4277712 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20062/statm: 45016 39413 178 456 0 44552 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 180064

Child status: 40
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.17
CPU system time (s): 0.860869
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 279472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.860869
maximum resident set size= 234896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45467
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= 10
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5923 second user time and 6.88195 second system time

The end

Begin job on node122 at 2016-06-08 00:12:49
IDJOB=4083690
IDBENCH=2044
IDSOLVER=2545
FILE ID=node122/4083690-1465337568
RUNJOBID= node122-1465314711-15536
PBS_JOBID= 19850115
Free space on /tmp= 71740 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4083690-1465337568/watcher-4083690-1465337568 -o /tmp/evaluation-result-4083690-1465337568/solver-4083690-1465337568 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465314711-15536 --watchdog 1960  open-wbo-lsu HOME/instance-4083690-1465337568.opb

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

MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f
RANDOM SEED=1856154471

node122.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.898
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.79
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.898
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		: 2666.898
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.898
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.898
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.898
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		: 2666.898
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.898
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:        25347336 kB
Buffers:          153936 kB
Cached:           260840 kB
SwapCached:          848 kB
Active:          4826216 kB
Inactive:         289764 kB
Active(anon):    4701548 kB
Inactive(anon):     2160 kB
Active(file):     124668 kB
Inactive(file):   287604 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:              5120 kB
Writeback:             0 kB
AnonPages:       6361576 kB
Mapped:             7848 kB
Shmem:                 0 kB
Slab:             603952 kB
SReclaimable:      47864 kB
SUnreclaim:       556088 kB
KernelStack:        1464 kB
PageTables:        16496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7457496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4677632 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= 71736 MiB
End job on node122 at 2016-06-08 00:42:49