Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topDown (fixed) | SAT | 663.613 | 663.811 |
Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K104.opb |
MD5SUM | a8d55fafa030e5024da65ad802ff80be |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 92.024 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7072 |
Total number of constraints | 7282 |
Number of constraints which are clauses | 7178 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 104 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 105 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.06 c run inc solver 0.00/0.06 c [INC SYSTEM] run initial solver 0.00/0.06 c [INC SYSTEM] preprocess with white file 0.00/0.25 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.25 c [INC SYSTEM] execute solver 663.47/663.78 c [INC SEARCH] formula is SAT 663.47/663.78 c [INC SYSTEM] solved the initial formula 663.57/663.80 c model valid 663.57/663.80 s SATISFIABLE 663.57/663.80 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 x212 -x213 -x214 -x215 -x216 x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 x4514 -x4515 x4516 -x4517 x4518 -x4519 x4520 -x4521 x4522 -x4523 x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 x4937 -x4938 -x4939 -x4940 x4941 -x4942 x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 x4982 -x4983 x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x5320 -x5321 x5322 -x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 x6160 -x6161 x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 x6367 -x6368 -x6369 -x6370 x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 x7072 663.57/663.80 c [INC SYSTEM] there exists a inc, kill it! 663.57/663.80 c write failed with 2
OK 0
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-3746550-1339105962/watcher-3746550-1339105962 -o /tmp/evaluation-result-3746550-1339105962/solver-3746550-1339105962 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746550-1339105962.opb 757596055 HOME HOME 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: 5.25 4.23 2.98 3/180 10632 /proc/meminfo: memFree=14758236/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [startup+0.0576 s] /proc/loadavg: 5.25 4.23 2.98 3/180 10632 /proc/meminfo: memFree=14758236/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100215 s] /proc/loadavg: 5.25 4.23 2.98 3/180 10632 /proc/meminfo: memFree=14758236/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300177 s] /proc/loadavg: 5.25 4.23 2.98 3/180 10632 /proc/meminfo: memFree=14758236/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700177 s] /proc/loadavg: 5.25 4.23 2.98 3/180 10632 /proc/meminfo: memFree=14758236/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50035 s] /proc/loadavg: 4.99 4.20 2.98 3/183 10638 /proc/meminfo: memFree=14410552/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=9044 CPUtime=1.23 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 2907 0 0 0 123 0 0 0 20 0 1 0 376724853 9261056 1541 33554432000 4194304 5654031 140737435983040 140737435970856 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 2261 1541 141 357 0 1901 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 24540 [startup+3.10035 s] /proc/loadavg: 4.99 4.20 2.98 3/183 10638 /proc/meminfo: memFree=14393152/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=16792 CPUtime=2.84 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 4415 0 0 0 283 1 0 0 20 0 1 0 376724853 17195008 3518 33554432000 4194304 5654031 140737435983040 140737435970856 4215188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 4198 3518 141 357 0 3838 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 32288 [startup+6.30035 s] /proc/loadavg: 4.75 4.16 2.97 3/183 10638 /proc/meminfo: memFree=13941480/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=26680 CPUtime=6.04 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 6574 0 0 0 602 2 0 0 20 0 1 0 376724853 27320320 6177 33554432000 4194304 5654031 140737435983040 140737435970856 4215097 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 6670 6177 141 357 0 6310 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 42176 [startup+12.7004 s] /proc/loadavg: 4.53 4.12 2.97 3/183 10638 /proc/meminfo: memFree=13355280/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=45356 CPUtime=12.44 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 7213 0 0 0 1242 2 0 0 20 0 1 0 376724853 46444544 7713 33554432000 4194304 5654031 140737435983040 140737435970856 4214612 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 11339 7713 141 357 0 10979 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 60852 [startup+25.5004 s] /proc/loadavg: 3.97 4.02 2.95 3/183 10648 /proc/meminfo: memFree=12547428/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=64212 CPUtime=25.24 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 8300 0 0 0 2521 3 0 0 20 0 1 0 376724853 65753088 13919 33554432000 4194304 5654031 140737435983040 140737435970856 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 16053 13919 141 357 0 15693 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 79708 [startup+51.1004 s] /proc/loadavg: 3.35 3.87 2.93 3/182 10693 /proc/meminfo: memFree=30193340/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=76192 CPUtime=50.83 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 9135 0 0 0 5077 6 0 0 20 0 1 0 376724853 78020608 18604 33554432000 4194304 5654031 140737435983040 140737435970856 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 19048 18604 141 357 0 18688 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 91688 [startup+102.3 s] /proc/loadavg: 2.59 3.58 2.88 3/181 10693 /proc/meminfo: memFree=30102660/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=125512 CPUtime=102.03 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 11375 0 0 0 10192 11 0 0 20 0 1 0 376724853 128524288 30478 33554432000 4194304 5654031 140737435983040 140737435970856 4232744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 31378 30478 141 357 0 31018 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 141008 [startup+162.3 s] /proc/loadavg: 2.21 3.29 2.82 3/181 10693 /proc/meminfo: memFree=30105120/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=76192 CPUtime=162.01 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 14994 0 0 0 16184 17 0 0 20 0 1 0 376724853 78020608 18605 33554432000 4194304 5654031 140737435983040 140737435970856 4215097 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 19048 18605 141 357 0 18688 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 91688 [startup+222.307 s] /proc/loadavg: 2.08 3.05 2.77 3/181 10693 /proc/meminfo: memFree=29976092/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=206420 CPUtime=222.01 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 18069 0 0 0 22178 23 0 0 20 0 1 0 376724853 211374080 44159 33554432000 4194304 5654031 140737435983040 140737435970856 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 51605 44159 141 357 0 51245 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 221916 [startup+282.3 s] ################ # More data... # ################ /proc/10638/statm: 19048 18605 141 357 0 18688 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 91688 [startup+402.3 s] /proc/loadavg: 2.01 2.58 2.63 3/181 10737 /proc/meminfo: memFree=30057936/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=156332 CPUtime=401.96 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 25498 0 0 0 40157 39 0 0 20 0 1 0 376724853 160083968 34642 33554432000 4194304 5654031 140737435983040 140737435970856 4215091 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 39083 34642 141 357 0 38723 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 171828 [startup+462.3 s] /proc/loadavg: 2.05 2.49 2.59 3/182 10740 /proc/meminfo: memFree=30017180/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=206420 CPUtime=461.96 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 28396 0 0 0 46152 44 0 0 20 0 1 0 376724853 211374080 41087 33554432000 4194304 5654031 140737435983040 140737435970856 4233168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 51605 41087 141 357 0 51245 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 221916 [startup+522.3 s] /proc/loadavg: 2.02 2.40 2.55 3/182 10763 /proc/meminfo: memFree=29981768/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=207452 CPUtime=521.92 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 30774 0 0 0 52144 48 0 0 20 0 1 0 376724853 212430848 45952 33554432000 4194304 5654031 140737435983040 140737435970856 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 51863 45952 141 357 0 51503 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 222948 [startup+582.3 s] /proc/loadavg: 2.05 2.34 2.52 3/181 10764 /proc/meminfo: memFree=29954460/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=210400 CPUtime=581.91 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 33084 0 0 0 58139 52 0 0 20 0 1 0 376724853 215449600 48737 33554432000 4194304 5654031 140737435983040 140737435970856 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 52600 48737 141 357 0 52240 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 225896 [startup+642.3 s] /proc/loadavg: 2.02 2.27 2.49 3/181 10764 /proc/meminfo: memFree=29970624/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=212528 CPUtime=641.9 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 35707 0 0 0 64133 57 0 0 20 0 1 0 376724853 217628672 46709 33554432000 4194304 5654031 140737435983040 140737435970856 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 53132 46709 141 357 0 52772 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 228024 Solver just ended. Dumping a history of the last processes samples [startup+652.8 s] /proc/loadavg: 2.01 2.26 2.48 3/181 10764 /proc/meminfo: memFree=29921940/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=212528 CPUtime=652.39 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 36072 0 0 0 65182 57 0 0 20 0 1 0 376724853 217628672 52687 33554432000 4194304 5654031 140737435983040 140737435970856 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 53132 52687 141 357 0 52772 0 Current children cumulated CPU time (s) 652.57 Current children cumulated vsize (KiB) 228024 [startup+659.2 s] /proc/loadavg: 2.01 2.26 2.48 3/181 10764 /proc/meminfo: memFree=29893456/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=293916 CPUtime=658.79 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 36247 0 0 0 65821 58 0 0 20 0 1 0 376724853 300969984 56949 33554432000 4194304 5654031 140737435983040 140737435970856 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 73479 56949 141 357 0 73119 0 Current children cumulated CPU time (s) 658.97 Current children cumulated vsize (KiB) 309412 [startup+662.4 s] /proc/loadavg: 2.01 2.25 2.47 3/181 10764 /proc/meminfo: memFree=29878980/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=293916 CPUtime=661.99 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 36258 0 0 0 66141 58 0 0 20 0 1 0 376724853 300969984 58485 33554432000 4194304 5654031 140737435983040 140737435970856 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 73479 58485 141 357 0 73119 0 Current children cumulated CPU time (s) 662.17 Current children cumulated vsize (KiB) 309412 [startup+663.2 s] /proc/loadavg: 2.01 2.25 2.47 3/181 10764 /proc/meminfo: memFree=29878980/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=293916 CPUtime=662.79 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 36259 0 0 0 66221 58 0 0 20 0 1 0 376724853 300969984 58997 33554432000 4194304 5654031 140737435983040 140737435970856 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 73479 58997 141 357 0 73119 0 Current children cumulated CPU time (s) 662.97 Current children cumulated vsize (KiB) 309412 [startup+663.6 s] /proc/loadavg: 2.01 2.25 2.47 3/181 10764 /proc/meminfo: memFree=29875008/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.18 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) S 10632 10632 9764 0 -1 4202496 2768 3100 0 1 4 1 13 0 20 0 1 0 376724829 6500352 1256 33554432000 4194304 6004724 140735192311360 140735192297640 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1256 152 442 0 1141 0 [pid=10638] ppid=10633 vsize=293916 CPUtime=663.19 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) R 10633 10632 9764 0 -1 4202496 36259 0 0 0 66261 58 0 0 20 0 1 0 376724853 300969984 58997 33554432000 4194304 5654031 140737435983040 140737435970856 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 73479 58997 141 357 0 73119 0 Current children cumulated CPU time (s) 663.37 Current children cumulated vsize (KiB) 309412 [startup+663.8 s] /proc/loadavg: 2.01 2.25 2.47 3/181 10764 /proc/meminfo: memFree=29875008/32873844 swapFree=7636/7636 [pid=10632] ppid=10630 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10632/stat : 10632 (npSolver-pbo-It) S 10630 10632 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376724828 9367552 274 33554432000 4194304 5064252 140736221183184 140736221182096 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10632/statm: 2287 274 233 213 0 72 0 [pid=10633] ppid=10632 vsize=6348 CPUtime=0.2 cores=0,2,4,6 /proc/10633/stat : 10633 (npSolver-pbo) R 10632 10632 9764 0 -1 4202496 2881 3100 0 1 6 1 13 0 20 0 1 0 376724829 6500352 1262 33554432000 4194304 6004724 140735192311360 140735192297640 4486899 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/10633/statm: 1587 1262 158 442 0 1141 0 [pid=10638] ppid=10633 vsize=293924 CPUtime=663.37 cores=0,2,4,6 /proc/10638/stat : 10638 (glucosInc) S 10633 10632 9764 0 -1 4202496 36266 0 0 0 66279 58 0 0 20 0 1 0 376724853 300978176 59004 33554432000 4194304 5654031 140737435983040 140737435981352 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/10638/statm: 73481 59004 147 357 0 73121 0 Current children cumulated CPU time (s) 663.57 Current children cumulated vsize (KiB) 309420 Child status: 0 Real time (s): 663.811 CPU time (s): 663.613 CPU user time (s): 663.003 CPU system time (s): 0.609907 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 309420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 663.003 system time used= 0.609907 maximum resident set size= 254344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43251 page faults= 1 swaps= 0 block input operations= 232 block output operations= 1872 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 102 involuntary context switches= 854 runsolver used 1.05484 second user time and 2.6296 second system time The end
Begin job on node108 at 2012-06-07 23:52:42 IDJOB=3746550 IDBENCH=90117 IDSOLVER=2332 FILE ID=node108/3746550-1339105962 RUNJOBID= node108-1339098175-9780 PBS_JOBID= 14643745 Free space on /tmp= 66436 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K104.opb COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3746550-1339105962/watcher-3746550-1339105962 -o /tmp/evaluation-result-3746550-1339105962/solver-3746550-1339105962 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746550-1339105962.opb 757596055 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a8d55fafa030e5024da65ad802ff80be RANDOM SEED=757596055 node108.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.273 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.54 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.273 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.273 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.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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.273 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 : 5438.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.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 14758500 kB Buffers: 1502792 kB Cached: 5270596 kB SwapCached: 864 kB Active: 13103716 kB Inactive: 4001636 kB Active(anon): 10245168 kB Inactive(anon): 88496 kB Active(file): 2858548 kB Inactive(file): 3913140 kB Unevictable: 7636 kB Mlocked: 7636 kB SwapTotal: 67108856 kB SwapFree: 67105336 kB Dirty: 996800 kB Writeback: 12 kB AnonPages: 10344220 kB Mapped: 11620 kB Shmem: 0 kB Slab: 838012 kB SReclaimable: 278816 kB SUnreclaim: 559196 kB KernelStack: 1488 kB PageTables: 24260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10663064 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 6819840 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= 71384 MiB End job on node108 at 2012-06-08 00:03:46