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

OK	46877

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3749910-1339158794/watcher-3749910-1339158794 -o /tmp/evaluation-result-3749910-1339158794/solver-3749910-1339158794 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749910-1339158794.opb 2139025375 HOME HOME 

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: 4.57 3.74 3.23 4/179 20524
/proc/meminfo: memFree=18760416/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0

[startup+0.094437 s]
/proc/loadavg: 4.57 3.74 3.23 4/179 20524
/proc/meminfo: memFree=18760416/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100437 s]
/proc/loadavg: 4.57 3.74 3.23 4/179 20524
/proc/meminfo: memFree=18760416/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300294 s]
/proc/loadavg: 4.57 3.74 3.23 4/179 20524
/proc/meminfo: memFree=18760416/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700336 s]
/proc/loadavg: 4.57 3.74 3.23 4/179 20524
/proc/meminfo: memFree=18760416/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 4.57 3.74 3.23 4/181 20536
/proc/meminfo: memFree=25025660/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39636 CPUtime=1.01 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 6136 16449 0 0 28 18 50 5 20 0 1 0 382007935 40587264 8856 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9909 8856 175 442 0 9463 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 48784

[startup+3.10036 s]
/proc/loadavg: 4.57 3.74 3.23 3/180 20546
/proc/meminfo: memFree=26139328/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39636 CPUtime=1.01 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 6136 16449 0 0 28 18 50 5 20 0 1 0 382007935 40587264 8856 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9909 8856 175 442 0 9463 0
[pid=20537] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20537/stat : 20537 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382008038 9367552 266 33554432000 4194304 5064252 140733536035760 140733536034672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20537/statm: 2287 266 226 213 0 72 0
[pid=20538] ppid=20537 vsize=52724 CPUtime=2.06 cores=1,3,5,7
/proc/20538/stat : 20538 (glucose) R 20537 20524 15797 0 -1 4202496 10926 0 0 0 203 3 0 0 20 0 1 0 382008038 53989376 11774 33554432000 4194304 5208918 140735984071568 140735984069400 4229427 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20538/statm: 13181 11774 104 248 0 12930 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 110656

[startup+6.30046 s]
/proc/loadavg: 4.53 3.74 3.23 3/182 20555
/proc/meminfo: memFree=25646604/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=40464 CPUtime=3.53 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 9852 30325 0 0 57 23 264 9 20 0 1 0 382007935 41435136 6433 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 10116 6433 176 442 0 9670 0
[pid=20552] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20552/stat : 20552 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382008292 9367552 267 33554432000 4194304 5064252 140734974938384 140734974937296 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20552/statm: 2287 267 226 213 0 72 0
[pid=20553] ppid=20552 vsize=73268 CPUtime=2.72 cores=1,3,5,7
/proc/20553/stat : 20553 (glucose) R 20552 20524 15797 0 -1 4202496 14334 0 0 0 268 4 0 0 20 0 1 0 382008292 75026432 16141 33554432000 4194304 5208918 140736961984576 140736961982424 4229006 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20553/statm: 18317 16141 104 248 0 18066 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 132028

[startup+12.7004 s]
/proc/loadavg: 4.32 3.71 3.23 3/182 20555
/proc/meminfo: memFree=25643396/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=40464 CPUtime=3.53 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 9852 30325 0 0 57 23 264 9 20 0 1 0 382007935 41435136 6433 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 10116 6433 176 442 0 9670 0
[pid=20552] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20552/stat : 20552 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382008292 9367552 267 33554432000 4194304 5064252 140734974938384 140734974937296 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20552/statm: 2287 267 226 213 0 72 0
[pid=20553] ppid=20552 vsize=74060 CPUtime=9.12 cores=1,3,5,7
/proc/20553/stat : 20553 (glucose) R 20552 20524 15797 0 -1 4202496 14549 0 0 0 908 4 0 0 20 0 1 0 382008292 75837440 16867 33554432000 4194304 5208918 140736961984576 140736961982424 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20553/statm: 18515 16867 104 248 0 18264 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 132820

[startup+25.5004 s]
/proc/loadavg: 3.81 3.63 3.20 3/182 20555
/proc/meminfo: memFree=25640096/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=40464 CPUtime=3.53 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 9852 30325 0 0 57 23 264 9 20 0 1 0 382007935 41435136 6433 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 10116 6433 176 442 0 9670 0
[pid=20552] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20552/stat : 20552 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382008292 9367552 267 33554432000 4194304 5064252 140734974938384 140734974937296 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20552/statm: 2287 267 226 213 0 72 0
[pid=20553] ppid=20552 vsize=77856 CPUtime=21.92 cores=1,3,5,7
/proc/20553/stat : 20553 (glucose) R 20552 20524 15797 0 -1 4202496 15385 0 0 0 2188 4 0 0 20 0 1 0 382008292 79724544 18214 33554432000 4194304 5208918 140736961984576 140736961982408 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20553/statm: 19464 18214 105 248 0 19213 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 136616

[startup+51.1003 s]
/proc/loadavg: 3.19 3.49 3.17 3/180 20560
/proc/meminfo: memFree=25733168/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39720 CPUtime=50.86 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 12973 51842 0 0 77 26 4961 22 20 0 1 0 382007935 40673280 8756 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9930 8756 176 442 0 9484 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 48868

[startup+102.3 s]
/proc/loadavg: 2.61 3.29 3.12 3/181 20583
/proc/meminfo: memFree=25636844/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=85.75 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 21355 103383 0 0 138 32 8366 39 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20582] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20582/stat : 20582 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382016514 9367552 266 33554432000 4194304 5064252 140734314515504 140734314514416 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20582/statm: 2287 266 226 213 0 72 0
[pid=20583] ppid=20582 vsize=77636 CPUtime=16.5 cores=1,3,5,7
/proc/20583/stat : 20583 (glucose) R 20582 20524 15797 0 -1 4202496 14905 0 0 0 1646 4 0 0 20 0 1 0 382016515 79499264 17159 33554432000 4194304 5208918 140736521984352 140736521982296 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20583/statm: 19409 17159 104 248 0 19158 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 135820

[startup+162.3 s]
/proc/loadavg: 2.22 3.05 3.05 3/181 20598
/proc/meminfo: memFree=25631792/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=141.9 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 26943 140357 0 0 180 37 13921 52 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20597] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382022130 9367552 267 33554432000 4194304 5064252 140734917036096 140734917035008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20597/statm: 2287 267 226 213 0 72 0
[pid=20598] ppid=20597 vsize=77164 CPUtime=20.33 cores=1,3,5,7
/proc/20598/stat : 20598 (glucose) R 20597 20524 15797 0 -1 4202496 14010 0 0 0 2030 3 0 0 20 0 1 0 382022130 79015936 17014 33554432000 4194304 5208918 140734143287088 140734143283464 4211521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20598/statm: 19291 17014 104 248 0 19040 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 135348

[startup+222.3 s]
/proc/loadavg: 2.08 2.86 2.98 3/181 20619
/proc/meminfo: memFree=25630196/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=208.34 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 35325 194488 0 0 244 44 20474 72 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20618] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20618/stat : 20618 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382028775 9367552 266 33554432000 4194304 5064252 140734738706528 140734738705440 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20618/statm: 2287 266 226 213 0 72 0
[pid=20619] ppid=20618 vsize=77432 CPUtime=13.88 cores=1,3,5,7
/proc/20619/stat : 20619 (glucose) R 20618 20524 15797 0 -1 4202496 14137 0 0 0 1385 3 0 0 20 0 1 0 382028776 79290368 16720 33554432000 4194304 5208918 140736447907488 140736447905432 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20619/statm: 19358 16720 104 248 0 19107 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 135616

[startup+282.3 s]
/proc/loadavg: 2.03 2.70 2.91 3/181 20633
/proc/meminfo: memFree=25637980/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=270.93 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 40913 231488 0 0 287 48 26674 84 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20632] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20632/stat : 20632 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382035036 9367552 266 33554432000 4194304 5064252 140734626462784 140734626461696 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20632/statm: 2287 266 226 213 0 72 0
[pid=20633] ppid=20632 vsize=59296 CPUtime=11.27 cores=1,3,5,7
/proc/20633/stat : 20633 (glucose) R 20632 20524 15797 0 -1 4202496 14232 0 0 0 1125 2 0 0 20 0 1 0 382035037 60719104 13654 33554432000 4194304 5208918 140736401371312 140736401369144 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20633/statm: 14824 13654 104 248 0 14573 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 117480

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

[startup+307.4 s]
/proc/loadavg: 2.02 2.64 2.89 3/181 20640
/proc/meminfo: memFree=25631760/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=303.33 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 43707 249378 0 0 308 51 29885 89 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20639] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20639/stat : 20639 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382038277 9367552 266 33554432000 4194304 5064252 140735340997872 140735340996784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20639/statm: 2287 266 226 213 0 72 0
[pid=20640] ppid=20639 vsize=64900 CPUtime=3.97 cores=1,3,5,7
/proc/20640/stat : 20640 (glucose) R 20639 20524 15797 0 -1 4202496 13425 0 0 0 394 3 0 0 20 0 1 0 382038277 66457600 13349 33554432000 4194304 5208918 140733988677888 140733988675720 4229843 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20640/statm: 16225 13349 104 248 0 15974 0
Current children cumulated CPU time (s) 307.3
Current children cumulated vsize (KiB) 123084

[startup+320.2 s]
/proc/loadavg: 2.01 2.62 2.88 3/181 20640
/proc/meminfo: memFree=25602380/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=303.33 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 43707 249378 0 0 308 51 29885 89 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20639] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20639/stat : 20639 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382038277 9367552 266 33554432000 4194304 5064252 140735340997872 140735340996784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20639/statm: 2287 266 226 213 0 72 0
[pid=20640] ppid=20639 vsize=88828 CPUtime=16.77 cores=1,3,5,7
/proc/20640/stat : 20640 (glucose) R 20639 20524 15797 0 -1 4202496 14508 0 0 0 1673 4 0 0 20 0 1 0 382038277 90959872 19490 33554432000 4194304 5208918 140733988677888 140733988675752 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20640/statm: 22207 19490 104 248 0 21956 0
Current children cumulated CPU time (s) 320.1
Current children cumulated vsize (KiB) 147012

[startup+326.6 s]
/proc/loadavg: 2.01 2.60 2.87 3/181 20640
/proc/meminfo: memFree=25601636/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=303.33 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 43707 249378 0 0 308 51 29885 89 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20639] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20639/stat : 20639 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382038277 9367552 266 33554432000 4194304 5064252 140735340997872 140735340996784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20639/statm: 2287 266 226 213 0 72 0
[pid=20640] ppid=20639 vsize=88828 CPUtime=23.17 cores=1,3,5,7
/proc/20640/stat : 20640 (glucose) R 20639 20524 15797 0 -1 4202496 14718 0 0 0 2313 4 0 0 20 0 1 0 382038277 90959872 19700 33554432000 4194304 5208918 140733988677888 140733988674200 4211488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20640/statm: 22207 19700 104 248 0 21956 0
Current children cumulated CPU time (s) 326.5
Current children cumulated vsize (KiB) 147012

[startup+329.8 s]
/proc/loadavg: 2.01 2.60 2.87 3/181 20640
/proc/meminfo: memFree=25600692/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=303.33 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 43707 249378 0 0 308 51 29885 89 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20639] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20639/stat : 20639 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382038277 9367552 266 33554432000 4194304 5064252 140735340997872 140735340996784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20639/statm: 2287 266 226 213 0 72 0
[pid=20640] ppid=20639 vsize=88828 CPUtime=26.36 cores=1,3,5,7
/proc/20640/stat : 20640 (glucose) R 20639 20524 15797 0 -1 4202496 14723 0 0 0 2632 4 0 0 20 0 1 0 382038277 90959872 19700 33554432000 4194304 5208918 140733988677888 140733988674200 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20640/statm: 22207 19700 104 248 0 21956 0
Current children cumulated CPU time (s) 329.69
Current children cumulated vsize (KiB) 147012

[startup+333 s]
/proc/loadavg: 2.01 2.59 2.86 3/181 20640
/proc/meminfo: memFree=25600692/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=303.33 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 43707 249378 0 0 308 51 29885 89 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20639] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20639/stat : 20639 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382038277 9367552 266 33554432000 4194304 5064252 140735340997872 140735340996784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20639/statm: 2287 266 226 213 0 72 0
[pid=20640] ppid=20639 vsize=88828 CPUtime=29.56 cores=1,3,5,7
/proc/20640/stat : 20640 (glucose) R 20639 20524 15797 0 -1 4202496 14724 0 0 0 2952 4 0 0 20 0 1 0 382038277 90959872 20212 33554432000 4194304 5208918 140733988677888 140733988674264 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20640/statm: 22207 20212 104 248 0 21956 0
Current children cumulated CPU time (s) 332.89
Current children cumulated vsize (KiB) 147012

[startup+334.6 s]
/proc/loadavg: 2.01 2.58 2.86 3/181 20640
/proc/meminfo: memFree=25598644/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=303.33 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 43707 249378 0 0 308 51 29885 89 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20639] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20639/stat : 20639 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382038277 9367552 266 33554432000 4194304 5064252 140735340997872 140735340996784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20639/statm: 2287 266 226 213 0 72 0
[pid=20640] ppid=20639 vsize=88828 CPUtime=31.17 cores=1,3,5,7
/proc/20640/stat : 20640 (glucose) R 20639 20524 15797 0 -1 4202496 14724 0 0 0 3113 4 0 0 20 0 1 0 382038277 90959872 20212 33554432000 4194304 5208918 140733988677888 140733988674264 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20640/statm: 22207 20212 104 248 0 21956 0
Current children cumulated CPU time (s) 334.5
Current children cumulated vsize (KiB) 147012

[startup+335 s]
/proc/loadavg: 2.01 2.58 2.86 3/181 20640
/proc/meminfo: memFree=25598644/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=303.33 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) S 20524 20524 15797 0 -1 4202496 43707 249378 0 0 308 51 29885 89 20 0 1 0 382007935 40845312 9270 33554432000 4194304 6004724 140734116629648 140734116622000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9270 176 442 0 9526 0
[pid=20639] ppid=20525 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20639/stat : 20639 (satsolver.sh) S 20525 20524 15797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382038277 9367552 266 33554432000 4194304 5064252 140735340997872 140735340996784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20639/statm: 2287 266 226 213 0 72 0
[pid=20640] ppid=20639 vsize=88828 CPUtime=31.56 cores=1,3,5,7
/proc/20640/stat : 20640 (glucose) R 20639 20524 15797 0 -1 4202496 14724 0 0 0 3152 4 0 0 20 0 1 0 382038277 90959872 20212 33554432000 4194304 5208918 140733988677888 140733988674264 4211665 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20640/statm: 22207 20212 104 248 0 21956 0
Current children cumulated CPU time (s) 334.89
Current children cumulated vsize (KiB) 147012

[startup+335.4 s]
/proc/loadavg: 2.01 2.58 2.86 3/181 20640
/proc/meminfo: memFree=25598644/32873844 swapFree=7120/7120
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (npSolver-pbo.sh) S 20522 20524 15797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382007935 9367552 275 33554432000 4194304 5064252 140737275211760 140737275210672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 275 233 213 0 72 0
[pid=20525] ppid=20524 vsize=39888 CPUtime=335.29 cores=1,3,5,7
/proc/20525/stat : 20525 (npSolver-pbo) R 20524 20524 15797 0 -1 4202496 43818 267535 0 0 308 51 33074 96 20 0 1 0 382007935 40845312 9271 33554432000 4194304 6004724 140734116629648 140734116622576 4963856 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20525/statm: 9972 9271 177 442 0 9526 0
Current children cumulated CPU time (s) 335.29
Current children cumulated vsize (KiB) 49036

Child status: 0
Real time (s): 335.402
CPU time (s): 335.317
CPU user time (s): 333.834
CPU system time (s): 1.48277
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 156596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 333.834
system time used= 1.48277
maximum resident set size= 92672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 452168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 634
involuntary context switches= 499

runsolver used 0.734888 second user time and 1.65275 second system time

The end

Begin job on node104 at 2012-06-08 14:33:14
IDJOB=3749910
IDBENCH=71887
IDSOLVER=2334
FILE ID=node104/3749910-1339158794
RUNJOBID= node104-1339158370-20092
PBS_JOBID= 14643766
Free space on /tmp= 66848 MiB

SOLVER NAME= npSolver 1.0
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opb
COMMAND LINE= DIR/npSolver-pbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3749910-1339158794/watcher-3749910-1339158794 -o /tmp/evaluation-result-3749910-1339158794/solver-3749910-1339158794 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo.sh HOME/instance-3749910-1339158794.opb 2139025375 HOME HOME

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

MD5SUM BENCH= c60a8914afda75f67db3a97e49d1591e
RANDOM SEED=2139025375

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        18761052 kB
Buffers:         2817400 kB
Cached:          9829464 kB
SwapCached:          840 kB
Active:          4061136 kB
Inactive:        8724788 kB
Active(anon):     129364 kB
Inactive(anon):     8356 kB
Active(file):    3931772 kB
Inactive(file):  8716432 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67104724 kB
Dirty:           1649740 kB
Writeback:             0 kB
AnonPages:        110812 kB
Mapped:            12068 kB
Shmem:                 8 kB
Slab:            1184416 kB
SReclaimable:     625508 kB
SUnreclaim:       558908 kB
KernelStack:        1560 kB
PageTables:         4284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     254724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70052 MiB
End job on node104 at 2012-06-08 14:38:49