Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB11: borg pb-dec-11.04.03 | SAT | 318.726 | 320.768 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb |
MD5SUM | 321349c7a7114538010c83c600c72ae9 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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 | 9.64253 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 8281 |
Total number of constraints | 826 |
Number of constraints which are clauses | 364 |
Number of constraints which are cardinality constraints (but not clauses) | 462 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 91 |
Maximum length of a constraint | 169 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 171 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.51/2.99 c INFO: loaded portfolio from HOME/etc/borg-mix+class.dec.pickle 0.51/2.99 c INFO: solving HOME/instance-3728960-1338713392.opb 0.65/3.11 c INFO: parsing took 0.12 s 0.86/3.34 c INFO: features took 0.22 CPU seconds 0.86/3.36 c INFO: running clasp-1.3.7@0 for 45 with 1799 remaining (b = 0.20) 48.08/50.51 c INFO: running scip-2.0.1-spx@0 for 45 with 1752 remaining (b = 0.04) 97.13/99.52 c INFO: running scip-2.0.1-clp@0 for 45 with 1703 remaining (b = 0.02) 145.08/147.42 c INFO: running scip-2.0.1-clp@47 for 45 with 1655 remaining (b = 0.01) 192.54/194.84 c INFO: running clasp-1.3.7@47 for 45 with 1608 remaining (b = 0.01) 238.69/240.96 c INFO: wrote minion input file to HOME/tmpE1PcS_.minion 238.69/240.96 c INFO: running minion-0.12@0 for 45 with 1563 remaining (b = 0.04) 286.22/288.47 c INFO: running clasp-1.3.7@92 for 136 with 1515 remaining (b = 0.02) 318.58/320.74 s SATISFIABLE 318.58/320.74 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 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281
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-3728960-1338713392/watcher-3728960-1338713392 -o /tmp/evaluation-result-3728960-1338713392/solver-3728960-1338713392 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3728960-1338713392.opb -seed 575116138 -budget 1800 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: 0.95 1.49 1.79 3/172 3998 /proc/meminfo: memFree=30062712/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=1984 CPUtime=0 cores=0,2,4,6 /proc/3998/stat : 3998 (python) D 3995 3998 3958 0 -1 4202496 79 0 1 0 0 0 0 0 20 0 1 0 337465467 2031616 31 33554432000 4194304 5683644 140733734418080 140733734417544 217401357162 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 0 0 0 /proc/3998/statm: 496 31 23 364 0 40 0 [startup+0.024868 s] /proc/loadavg: 0.95 1.49 1.79 3/172 3998 /proc/meminfo: memFree=30062712/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=6280 CPUtime=0 cores=0,2,4,6 /proc/3998/stat : 3998 (python) D 3995 3998 3958 0 -1 4202496 101 0 2 0 0 0 0 0 20 0 1 0 337465467 6430720 54 33554432000 4194304 5683644 140733734418080 140733734415176 217401355559 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 1 0 0 /proc/3998/statm: 1570 54 42 364 0 45 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6280 [startup+0.100195 s] /proc/loadavg: 0.95 1.49 1.79 3/172 3998 /proc/meminfo: memFree=30062712/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=15276 CPUtime=0 cores=0,2,4,6 /proc/3998/stat : 3998 (python) D 3995 3998 3958 0 -1 4202496 629 0 2 0 0 0 0 0 20 0 1 0 337465467 15642624 524 33554432000 4194304 5683644 140733734418080 140733734386760 217410518709 0 0 16781312 2 18446744072100588836 0 0 17 4 0 0 7 0 0 /proc/3998/statm: 3819 526 311 364 0 261 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15276 [startup+0.300137 s] /proc/loadavg: 0.95 1.49 1.79 3/172 3998 /proc/meminfo: memFree=30062712/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=16108 CPUtime=0 cores=0,2,4,6 /proc/3998/stat : 3998 (python) R 3995 3998 3958 0 -1 4202496 1013 0 2 0 0 0 0 0 20 0 1 0 337465467 16494592 846 33554432000 4194304 5683644 140733734418080 140733734347080 217410519952 0 0 16781312 2 0 0 0 17 4 0 0 24 0 0 /proc/3998/statm: 4027 846 368 364 0 469 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 16108 [startup+0.700132 s] /proc/loadavg: 0.95 1.49 1.79 3/172 3998 /proc/meminfo: memFree=30062712/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=46016 CPUtime=0.06 cores=0,2,4,6 /proc/3998/stat : 3998 (python) D 3995 3998 3958 0 -1 4202496 2093 0 8 0 3 3 0 0 20 0 1 0 337465467 47120384 1711 33554432000 4194304 5683644 140733734418080 140733734344344 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 4 0 0 36 0 0 /proc/3998/statm: 11504 1711 479 364 0 1208 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 46016 [startup+1.50013 s] /proc/loadavg: 1.03 1.50 1.79 3/177 4011 /proc/meminfo: memFree=30039276/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=122076 CPUtime=0.22 cores=0,2,4,6 /proc/3998/stat : 3998 (python) R 3995 3998 3958 0 -1 4202496 5853 1006 35 5 12 10 0 0 20 0 1 0 337465467 125005824 3802 33554432000 4194304 5683644 140733734418080 140733734363128 217410518869 0 0 16781312 2 0 0 0 17 0 0 0 51 0 0 /proc/3998/statm: 30519 3802 1015 364 0 2762 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 122076 [startup+3.10016 s] /proc/loadavg: 1.03 1.50 1.79 1/177 4011 /proc/meminfo: memFree=30003324/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=284896 CPUtime=0.65 cores=0,2,4,6 /proc/3998/stat : 3998 (python) R 3995 3998 3958 0 -1 4202496 10926 1006 101 5 41 24 0 0 20 0 1 0 337465467 291733504 7963 33554432000 4194304 5683644 140733734418080 140733734410696 4962193 0 0 16781312 2 0 0 0 17 0 0 0 79 0 0 /proc/3998/statm: 71224 7963 1811 364 0 6453 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 284896 heavy processes: [startup+6.3002 s] /proc/loadavg: 1.19 1.53 1.80 3/183 4017 /proc/meminfo: memFree=29918844/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=361624 CPUtime=0.92 cores=0,2,4,6 /proc/3998/stat : 3998 (python) S 3995 3998 3958 0 -1 4202496 12305 1006 102 5 68 24 0 0 20 0 2 0 337465467 370302976 8287 33554432000 4194304 5683644 140733734418080 140733734412912 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 79 0 0 /proc/3998/statm: 90406 8287 1901 364 0 25629 0 [pid=4015] ppid=3998 vsize=285844 CPUtime=0 cores=0,2,4,6 /proc/4015/stat : 4015 (python) S 3998 3998 3958 0 -1 4202560 739 0 0 0 0 0 0 0 20 0 1 0 337465804 292704256 6721 33554432000 4194304 5683644 140733734418080 140733734409168 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0 /proc/4015/statm: 71461 6721 341 364 0 6684 0 [pid=4017] ppid=4015 vsize=13392 CPUtime=2.92 cores=0,2,4,6 /proc/4017/stat : 4017 (clasp-1.3.7-x86) R 4015 4017 4017 0 -1 4202496 3465 0 0 0 291 1 0 0 20 0 1 0 337465804 13713408 3090 33554432000 134512640 136139019 4287410272 4287408880 134831224 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 /proc/4017/statm: 3348 3090 181 398 0 2948 0 [pid=3998/tid=4016] ppid=3995 vsize=361624 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4016/stat : 4016 (python) S 3995 3998 3958 0 -1 4202560 26 1006 0 5 0 0 0 0 20 0 2 0 337465804 370302976 8287 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 660860 heavy processes: [startup+12.7067 s] /proc/loadavg: 1.25 1.53 1.80 3/184 4020 /proc/meminfo: memFree=29915876/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=361624 CPUtime=0.92 cores=0,2,4,6 /proc/3998/stat : 3998 (python) S 3995 3998 3958 0 -1 4202496 12305 1006 102 5 68 24 0 0 20 0 2 0 337465467 370302976 8287 33554432000 4194304 5683644 140733734418080 140733734412912 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 79 0 0 /proc/3998/statm: 90406 8287 1901 364 0 25629 0 [pid=4015] ppid=3998 vsize=285844 CPUtime=0 cores=0,2,4,6 /proc/4015/stat : 4015 (python) S 3998 3998 3958 0 -1 4202560 891 0 0 0 0 0 0 0 20 0 1 0 337465804 292704256 6744 33554432000 4194304 5683644 140733734418080 140733734409168 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0 /proc/4015/statm: 71461 6744 364 364 0 6684 0 [pid=4017] ppid=4015 vsize=19788 CPUtime=9.32 cores=0,2,4,6 /proc/4017/stat : 4017 (clasp-1.3.7-x86) R 4015 4017 4017 0 -1 4202496 5077 0 0 0 931 1 0 0 20 0 1 0 337465804 20262912 4702 33554432000 134512640 136139019 4287410272 4287408880 134831589 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 /proc/4017/statm: 4947 4702 181 398 0 4547 0 [pid=3998/tid=4016] ppid=3995 vsize=361624 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4016/stat : 4016 (python) S 3995 3998 3958 0 -1 4202560 26 1006 0 5 0 0 0 0 20 0 2 0 337465804 370302976 8287 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 10.24 Current children cumulated vsize (KiB) 667256 [startup+25.5003 s] /proc/loadavg: 1.45 1.57 1.80 3/184 4020 /proc/meminfo: memFree=29908128/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=361624 CPUtime=0.92 cores=0,2,4,6 /proc/3998/stat : 3998 (python) S 3995 3998 3958 0 -1 4202496 12305 1006 102 5 68 24 0 0 20 0 2 0 337465467 370302976 8287 33554432000 4194304 5683644 140733734418080 140733734412912 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 79 0 0 /proc/3998/statm: 90406 8287 1901 364 0 25629 0 [pid=4015] ppid=3998 vsize=285844 CPUtime=0.02 cores=0,2,4,6 /proc/4015/stat : 4015 (python) S 3998 3998 3958 0 -1 4202560 901 0 0 0 1 1 0 0 20 0 1 0 337465804 292704256 6744 33554432000 4194304 5683644 140733734418080 140733734409168 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0 /proc/4015/statm: 71461 6744 364 364 0 6684 0 [pid=4017] ppid=4015 vsize=29524 CPUtime=22.11 cores=0,2,4,6 /proc/4017/stat : 4017 (clasp-1.3.7-x86) R 4015 4017 4017 0 -1 4202496 7505 0 0 0 2210 1 0 0 20 0 1 0 337465804 30232576 7130 33554432000 134512640 136139019 4287410272 4287408896 134599059 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 /proc/4017/statm: 7381 7130 181 398 0 6981 0 [pid=3998/tid=4016] ppid=3995 vsize=361624 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4016/stat : 4016 (python) S 3995 3998 3958 0 -1 4202560 26 1006 0 5 0 0 0 0 20 0 2 0 337465804 370302976 8287 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 23.05 Current children cumulated vsize (KiB) 676992 [startup+51.1003 s] /proc/loadavg: 1.66 1.61 1.81 3/188 4070 /proc/meminfo: memFree=29836592/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=437416 CPUtime=0.94 cores=0,2,4,6 /proc/3998/stat : 3998 (python) S 3995 3998 3958 0 -1 4202496 13270 1006 102 5 70 24 0 0 20 0 3 0 337465467 447913984 8296 33554432000 4194304 5683644 140733734418080 140733734412912 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 79 0 0 /proc/3998/statm: 109354 8296 1904 364 0 44574 0 [pid=4015] ppid=3998 vsize=361624 CPUtime=0.06 cores=0,2,4,6 /proc/4015/stat : 4015 (python) S 3998 3998 3958 0 -1 4202560 1143 0 0 0 4 2 0 0 20 0 2 0 337465804 370302976 6784 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4015/statm: 90406 6784 397 364 0 25629 0 [pid=4017] ppid=4015 vsize=32612 CPUtime=47.09 cores=0,2,4,6 /proc/4017/stat : 4017 (clasp-1.3.7-x86) T 4015 4017 4017 0 -1 4202496 8261 0 0 0 4708 1 0 0 20 0 1 0 337465804 33394688 7886 33554432000 134512640 136139019 4287410272 4287408724 134626620 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0 /proc/4017/statm: 8153 7886 181 398 0 7753 0 [pid=4015/tid=4067] ppid=3998 vsize=361624 CPUtime=0 cores=0,2,4,6 /proc/4015/task/4067/stat : 4067 (python) S 3998 3998 3958 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337470517 370302976 6784 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4068] ppid=3998 vsize=361636 CPUtime=0 cores=0,2,4,6 /proc/4068/stat : 4068 (python) S 3998 3998 3958 0 -1 4202560 782 0 0 0 0 0 0 0 20 0 1 0 337470519 370315264 6721 33554432000 4194304 5683644 140733734418080 140733734409168 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 6 0 0 0 0 0 /proc/4068/statm: 90409 6721 335 364 0 25629 0 [pid=4070] ppid=4068 vsize=73420 CPUtime=0.57 cores=0,2,4,6 /proc/4070/stat : 4070 (scip-2.0.1.linu) R 4068 4070 4070 0 -1 4202496 16554 0 0 0 55 2 0 0 20 0 1 0 337470519 75182080 15791 33554432000 4194304 13684479 140733942998544 140733942992376 7361391 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 /proc/4070/statm: 18355 15791 742 2317 0 16033 0 [pid=3998/tid=4016] ppid=3995 vsize=437416 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4016/stat : 4016 (python) S 3995 3998 3958 0 -1 4202560 26 1006 0 5 0 0 0 0 20 0 3 0 337465804 447913984 8296 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3998/tid=4069] ppid=3995 vsize=437416 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4069/stat : 4069 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 3 0 337470519 447913984 8296 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 48.66 Current children cumulated vsize (KiB) 1266708 [startup+102.3 s] /proc/loadavg: 1.85 1.66 1.82 3/191 4124 /proc/meminfo: memFree=29748484/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=513208 CPUtime=0.97 cores=0,2,4,6 /proc/3998/stat : 3998 (python) S 3995 3998 3958 0 -1 4202496 14148 1006 102 5 73 24 0 0 20 0 4 0 337465467 525524992 8304 33554432000 4194304 5683644 140733734418080 140733734412912 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 79 0 0 /proc/3998/statm: 128302 8304 1906 364 0 63519 0 [pid=4015] ppid=3998 vsize=361624 CPUtime=0.06 cores=0,2,4,6 /proc/4015/stat : 4015 (python) S 3998 3998 3958 0 -1 4202560 1143 0 0 0 4 2 0 0 20 0 2 0 337465804 370302976 6784 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4015/statm: 90406 6784 397 364 0 25629 0 [pid=4017] ppid=4015 vsize=32612 CPUtime=47.09 cores=0,2,4,6 /proc/4017/stat : 4017 (clasp-1.3.7-x86) T 4015 4017 4017 0 -1 4202496 8261 0 0 0 4708 1 0 0 20 0 1 0 337465804 33394688 7911 33554432000 134512640 136139019 4287410272 4287408724 134626620 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0 /proc/4017/statm: 8153 7911 181 398 0 7753 0 [pid=4015/tid=4067] ppid=3998 vsize=361624 CPUtime=0 cores=0,2,4,6 /proc/4015/task/4067/stat : 4067 (python) S 3998 3998 3958 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337470517 370302976 6784 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4068] ppid=3998 vsize=361636 CPUtime=0.07 cores=0,2,4,6 /proc/4068/stat : 4068 (python) S 3998 3998 3958 0 -1 4202560 1087 0 0 0 4 3 0 0 20 0 2 0 337470519 370315264 6770 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4068/statm: 90409 6770 383 364 0 25629 0 [pid=4070] ppid=4068 vsize=105220 CPUtime=48.96 cores=0,2,4,6 /proc/4070/stat : 4070 (scip-2.0.1.linu) T 4068 4070 4070 0 -1 4202496 25033 0 0 0 4872 24 0 0 20 0 1 0 337470519 107745280 23650 33554432000 4194304 13684479 140733942998544 140733942991736 7430616 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4070/statm: 26305 23650 823 2317 0 23983 0 [pid=4068/tid=4118] ppid=3998 vsize=361636 CPUtime=0 cores=0,2,4,6 /proc/4068/task/4118/stat : 4118 (python) S 3998 3998 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337475417 370315264 6770 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4122] ppid=3998 vsize=437428 CPUtime=0 cores=0,2,4,6 /proc/4122/stat : 4122 (python) S 3998 3998 3958 0 -1 4202560 797 0 0 0 0 0 0 0 20 0 1 0 337475420 447926272 6728 33554432000 4194304 5683644 140733734418080 140733734409168 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0 /proc/4122/statm: 109357 6728 336 364 0 44574 0 [pid=4124] ppid=4122 vsize=77852 CPUtime=2.76 cores=0,2,4,6 /proc/4124/stat : 4124 (scip-2.0.1.linu) R 4122 4124 4124 0 -1 4202496 24639 0 0 0 272 4 0 0 20 0 1 0 337475420 79720448 16556 33554432000 4194304 15243407 140734847741776 140734847736168 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 /proc/4124/statm: 19463 16556 955 2698 0 16758 0 [pid=3998/tid=4016] ppid=3995 vsize=513208 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4016/stat : 4016 (python) S 3995 3998 3958 0 -1 4202560 26 1006 0 5 0 0 0 0 20 0 4 0 337465804 525524992 8304 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3998/tid=4069] ppid=3995 vsize=513208 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4069/stat : 4069 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 4 0 337470519 525524992 8304 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3998/tid=4123] ppid=3995 vsize=513208 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4123/stat : 4123 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 4 0 337475420 525524992 8304 33554432000 4194304 5683644 140733734418080 139822756713008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 99.91 Current children cumulated vsize (KiB) 1889580 [startup+162.307 s] ################ # More data... # ################ [pid=4124] ppid=4122 vsize=83920 CPUtime=95.25 cores=0,2,4,6 /proc/4124/stat : 4124 (scip-2.0.1.linu) T 4122 4124 4124 0 -1 4202496 66353 0 0 0 9483 42 0 0 20 0 1 0 337475420 85934080 18763 33554432000 4194304 15243407 140734847741776 140734847736072 8110912 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4124/statm: 20980 18763 956 2698 0 18275 0 [pid=4122/tid=4171] ppid=3998 vsize=437428 CPUtime=0 cores=0,2,4,6 /proc/4122/task/4171/stat : 4171 (python) S 3998 3998 3958 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 337480208 447926272 6777 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4180] ppid=3998 vsize=513220 CPUtime=0.07 cores=0,2,4,6 /proc/4180/stat : 4180 (python) S 3998 3998 3958 0 -1 4202560 1132 0 0 0 4 3 0 0 20 0 2 0 337489564 525537280 6783 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4180/statm: 128305 6783 384 364 0 63519 0 [pid=4182] ppid=4180 vsize=79880 CPUtime=47.45 cores=0,2,4,6 /proc/4182/stat : 4182 (minion) T 4180 4182 4182 0 -1 4202496 6717 0 0 0 4744 1 0 0 20 0 1 0 337489564 81797120 12657 33554432000 134512640 165565024 4293127808 4293125056 142764968 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4182/statm: 19970 12657 332 7582 0 12385 0 [pid=4180/tid=4185] ppid=3998 vsize=513220 CPUtime=0 cores=0,2,4,6 /proc/4180/task/4185/stat : 4185 (python) S 3998 3998 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337494313 525537280 6783 33554432000 4194304 5683644 140733734418080 139822756713008 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3998/tid=4016] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4016/stat : 4016 (python) S 3995 3998 3958 0 -1 4202560 35 1006 0 5 0 0 0 0 20 0 5 0 337465804 603136000 8312 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3998/tid=4069] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4069/stat : 4069 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337470519 603136000 8312 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3998/tid=4123] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4123/stat : 4123 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337475420 603136000 8312 33554432000 4194304 5683644 140733734418080 139822756713008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3998/tid=4181] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4181/stat : 4181 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337489564 603136000 8312 33554432000 4194304 5683644 140733734418080 139822746223152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 316.77 Current children cumulated vsize (KiB) 2582224 [startup+319.701 s] /proc/loadavg: 1.99 1.84 1.85 3/205 4185 /proc/meminfo: memFree=29574284/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=589000 CPUtime=2.04 cores=0,2,4,6 /proc/3998/stat : 3998 (python) S 3995 3998 3958 0 -1 4202496 15834 1006 102 5 179 25 0 0 20 0 5 0 337465467 603136000 8312 33554432000 4194304 5683644 140733734418080 140733734412912 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 79 0 0 /proc/3998/statm: 147250 8312 1908 364 0 82464 0 [pid=4015] ppid=3998 vsize=361624 CPUtime=0.19 cores=0,2,4,6 /proc/4015/stat : 4015 (python) S 3998 3998 3958 0 -1 4202560 1186 0 0 0 11 8 0 0 20 0 2 0 337465804 370302976 6785 33554432000 4194304 5683644 140733734418080 140733734409168 217410535907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4015/statm: 90406 6785 398 364 0 25629 0 [pid=4017] ppid=4015 vsize=50296 CPUtime=123.4 cores=0,2,4,6 /proc/4017/stat : 4017 (clasp-1.3.7-x86) R 4015 4017 4017 0 -1 4202496 12653 0 0 0 12338 2 0 0 20 0 1 0 337465804 51503104 12303 33554432000 134512640 136139019 4287410272 4287408880 134831226 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 /proc/4017/statm: 12574 12303 181 398 0 12174 0 [pid=4015/tid=4067] ppid=3998 vsize=361624 CPUtime=0 cores=0,2,4,6 /proc/4015/task/4067/stat : 4067 (python) S 3998 3998 3958 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337470517 370302976 6785 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4068] ppid=3998 vsize=361636 CPUtime=0.07 cores=0,2,4,6 /proc/4068/stat : 4068 (python) S 3998 3998 3958 0 -1 4202560 1087 0 0 0 4 3 0 0 20 0 2 0 337470519 370315264 6770 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4068/statm: 90409 6770 383 364 0 25629 0 [pid=4070] ppid=4068 vsize=105220 CPUtime=48.96 cores=0,2,4,6 /proc/4070/stat : 4070 (scip-2.0.1.linu) T 4068 4070 4070 0 -1 4202496 25033 0 0 0 4872 24 0 0 20 0 1 0 337470519 107745280 24233 33554432000 4194304 13684479 140733942998544 140733942991736 7430616 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4070/statm: 26305 24233 823 2317 0 23983 0 [pid=4068/tid=4118] ppid=3998 vsize=361636 CPUtime=0 cores=0,2,4,6 /proc/4068/task/4118/stat : 4118 (python) S 3998 3998 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337475417 370315264 6770 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4122] ppid=3998 vsize=437428 CPUtime=0.14 cores=0,2,4,6 /proc/4122/stat : 4122 (python) S 3998 3998 3958 0 -1 4202560 1135 0 0 0 7 7 0 0 20 0 2 0 337475420 447926272 6777 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4122/statm: 109357 6777 384 364 0 44574 0 [pid=4124] ppid=4122 vsize=83920 CPUtime=95.25 cores=0,2,4,6 /proc/4124/stat : 4124 (scip-2.0.1.linu) T 4122 4124 4124 0 -1 4202496 66353 0 0 0 9483 42 0 0 20 0 1 0 337475420 85934080 18763 33554432000 4194304 15243407 140734847741776 140734847736072 8110912 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4124/statm: 20980 18763 956 2698 0 18275 0 [pid=4122/tid=4171] ppid=3998 vsize=437428 CPUtime=0 cores=0,2,4,6 /proc/4122/task/4171/stat : 4171 (python) S 3998 3998 3958 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 337480208 447926272 6777 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4180] ppid=3998 vsize=513220 CPUtime=0.07 cores=0,2,4,6 /proc/4180/stat : 4180 (python) S 3998 3998 3958 0 -1 4202560 1132 0 0 0 4 3 0 0 20 0 2 0 337489564 525537280 6783 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4180/statm: 128305 6783 384 364 0 63519 0 [pid=4182] ppid=4180 vsize=79880 CPUtime=47.45 cores=0,2,4,6 /proc/4182/stat : 4182 (minion) T 4180 4182 4182 0 -1 4202496 6717 0 0 0 4744 1 0 0 20 0 1 0 337489564 81797120 12657 33554432000 134512640 165565024 4293127808 4293125056 142764968 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4182/statm: 19970 12657 332 7582 0 12385 0 [pid=4180/tid=4185] ppid=3998 vsize=513220 CPUtime=0 cores=0,2,4,6 /proc/4180/task/4185/stat : 4185 (python) S 3998 3998 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337494313 525537280 6783 33554432000 4194304 5683644 140733734418080 139822756713008 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3998/tid=4016] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4016/stat : 4016 (python) S 3995 3998 3958 0 -1 4202560 35 1006 0 5 0 0 0 0 20 0 5 0 337465804 603136000 8312 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3998/tid=4069] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4069/stat : 4069 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337470519 603136000 8312 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3998/tid=4123] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4123/stat : 4123 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337475420 603136000 8312 33554432000 4194304 5683644 140733734418080 139822756713008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3998/tid=4181] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4181/stat : 4181 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337489564 603136000 8312 33554432000 4194304 5683644 140733734418080 139822746223152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 317.57 Current children cumulated vsize (KiB) 2582224 [startup+320.501 s] /proc/loadavg: 1.99 1.84 1.85 3/205 4185 /proc/meminfo: memFree=29574284/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=589000 CPUtime=2.04 cores=0,2,4,6 /proc/3998/stat : 3998 (python) S 3995 3998 3958 0 -1 4202496 15834 1006 102 5 179 25 0 0 20 0 5 0 337465467 603136000 8312 33554432000 4194304 5683644 140733734418080 140733734412912 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 79 0 0 /proc/3998/statm: 147250 8312 1908 364 0 82464 0 [pid=4015] ppid=3998 vsize=361624 CPUtime=0.19 cores=0,2,4,6 /proc/4015/stat : 4015 (python) S 3998 3998 3958 0 -1 4202560 1186 0 0 0 11 8 0 0 20 0 2 0 337465804 370302976 6785 33554432000 4194304 5683644 140733734418080 140733734409168 217410535907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4015/statm: 90406 6785 398 364 0 25629 0 [pid=4017] ppid=4015 vsize=50296 CPUtime=124.2 cores=0,2,4,6 /proc/4017/stat : 4017 (clasp-1.3.7-x86) R 4015 4017 4017 0 -1 4202496 12653 0 0 0 12418 2 0 0 20 0 1 0 337465804 51503104 12303 33554432000 134512640 136139019 4287410272 4287409248 134876508 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 /proc/4017/statm: 12574 12303 181 398 0 12174 0 [pid=4015/tid=4067] ppid=3998 vsize=361624 CPUtime=0 cores=0,2,4,6 /proc/4015/task/4067/stat : 4067 (python) S 3998 3998 3958 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337470517 370302976 6785 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4068] ppid=3998 vsize=361636 CPUtime=0.07 cores=0,2,4,6 /proc/4068/stat : 4068 (python) S 3998 3998 3958 0 -1 4202560 1087 0 0 0 4 3 0 0 20 0 2 0 337470519 370315264 6770 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4068/statm: 90409 6770 383 364 0 25629 0 [pid=4070] ppid=4068 vsize=105220 CPUtime=48.96 cores=0,2,4,6 /proc/4070/stat : 4070 (scip-2.0.1.linu) T 4068 4070 4070 0 -1 4202496 25033 0 0 0 4872 24 0 0 20 0 1 0 337470519 107745280 24233 33554432000 4194304 13684479 140733942998544 140733942991736 7430616 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4070/statm: 26305 24233 823 2317 0 23983 0 [pid=4068/tid=4118] ppid=3998 vsize=361636 CPUtime=0 cores=0,2,4,6 /proc/4068/task/4118/stat : 4118 (python) S 3998 3998 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337475417 370315264 6770 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4122] ppid=3998 vsize=437428 CPUtime=0.14 cores=0,2,4,6 /proc/4122/stat : 4122 (python) S 3998 3998 3958 0 -1 4202560 1135 0 0 0 7 7 0 0 20 0 2 0 337475420 447926272 6777 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4122/statm: 109357 6777 384 364 0 44574 0 [pid=4124] ppid=4122 vsize=83920 CPUtime=95.25 cores=0,2,4,6 /proc/4124/stat : 4124 (scip-2.0.1.linu) T 4122 4124 4124 0 -1 4202496 66353 0 0 0 9483 42 0 0 20 0 1 0 337475420 85934080 18763 33554432000 4194304 15243407 140734847741776 140734847736072 8110912 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4124/statm: 20980 18763 956 2698 0 18275 0 [pid=4122/tid=4171] ppid=3998 vsize=437428 CPUtime=0 cores=0,2,4,6 /proc/4122/task/4171/stat : 4171 (python) S 3998 3998 3958 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 337480208 447926272 6777 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4180] ppid=3998 vsize=513220 CPUtime=0.07 cores=0,2,4,6 /proc/4180/stat : 4180 (python) S 3998 3998 3958 0 -1 4202560 1132 0 0 0 4 3 0 0 20 0 2 0 337489564 525537280 6783 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4180/statm: 128305 6783 384 364 0 63519 0 [pid=4182] ppid=4180 vsize=79880 CPUtime=47.45 cores=0,2,4,6 /proc/4182/stat : 4182 (minion) T 4180 4182 4182 0 -1 4202496 6717 0 0 0 4744 1 0 0 20 0 1 0 337489564 81797120 12657 33554432000 134512640 165565024 4293127808 4293125056 142764968 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4182/statm: 19970 12657 332 7582 0 12385 0 [pid=4180/tid=4185] ppid=3998 vsize=513220 CPUtime=0 cores=0,2,4,6 /proc/4180/task/4185/stat : 4185 (python) S 3998 3998 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337494313 525537280 6783 33554432000 4194304 5683644 140733734418080 139822756713008 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3998/tid=4016] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4016/stat : 4016 (python) S 3995 3998 3958 0 -1 4202560 35 1006 0 5 0 0 0 0 20 0 5 0 337465804 603136000 8312 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3998/tid=4069] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4069/stat : 4069 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337470519 603136000 8312 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3998/tid=4123] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4123/stat : 4123 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337475420 603136000 8312 33554432000 4194304 5683644 140733734418080 139822756713008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3998/tid=4181] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4181/stat : 4181 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337489564 603136000 8312 33554432000 4194304 5683644 140733734418080 139822746223152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 318.37 Current children cumulated vsize (KiB) 2582224 [startup+320.707 s] /proc/loadavg: 1.99 1.84 1.85 3/205 4185 /proc/meminfo: memFree=29574284/32873648 swapFree=7628/7628 [pid=3998] ppid=3995 vsize=589000 CPUtime=2.04 cores=0,2,4,6 /proc/3998/stat : 3998 (python) S 3995 3998 3958 0 -1 4202496 15834 1006 102 5 179 25 0 0 20 0 5 0 337465467 603136000 8312 33554432000 4194304 5683644 140733734418080 140733734412912 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 79 0 0 /proc/3998/statm: 147250 8312 1908 364 0 82464 0 [pid=4015] ppid=3998 vsize=361624 CPUtime=0.19 cores=0,2,4,6 /proc/4015/stat : 4015 (python) S 3998 3998 3958 0 -1 4202560 1211 0 0 0 11 8 0 0 20 0 2 0 337465804 370302976 6785 33554432000 4194304 5683644 140733734418080 140733734409168 217410535907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4015/statm: 90406 6785 398 364 0 25629 0 [pid=4017] ppid=4015 vsize=50296 CPUtime=124.41 cores=0,2,4,6 /proc/4017/stat : 4017 (clasp-1.3.7-x86) R 4015 4017 4017 0 -1 4202496 12656 0 0 0 12439 2 0 0 20 0 1 0 337465804 51503104 12306 33554432000 134512640 136139019 4287410272 4287409360 134598265 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 /proc/4017/statm: 12574 12306 184 398 0 12174 0 [pid=4015/tid=4067] ppid=3998 vsize=361624 CPUtime=0 cores=0,2,4,6 /proc/4015/task/4067/stat : 4067 (python) S 3998 3998 3958 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337470517 370302976 6785 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4068] ppid=3998 vsize=361636 CPUtime=0.07 cores=0,2,4,6 /proc/4068/stat : 4068 (python) S 3998 3998 3958 0 -1 4202560 1087 0 0 0 4 3 0 0 20 0 2 0 337470519 370315264 6770 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4068/statm: 90409 6770 383 364 0 25629 0 [pid=4070] ppid=4068 vsize=105220 CPUtime=48.96 cores=0,2,4,6 /proc/4070/stat : 4070 (scip-2.0.1.linu) T 4068 4070 4070 0 -1 4202496 25033 0 0 0 4872 24 0 0 20 0 1 0 337470519 107745280 24233 33554432000 4194304 13684479 140733942998544 140733942991736 7430616 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4070/statm: 26305 24233 823 2317 0 23983 0 [pid=4068/tid=4118] ppid=3998 vsize=361636 CPUtime=0 cores=0,2,4,6 /proc/4068/task/4118/stat : 4118 (python) S 3998 3998 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337475417 370315264 6770 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4122] ppid=3998 vsize=437428 CPUtime=0.14 cores=0,2,4,6 /proc/4122/stat : 4122 (python) S 3998 3998 3958 0 -1 4202560 1135 0 0 0 7 7 0 0 20 0 2 0 337475420 447926272 6777 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4122/statm: 109357 6777 384 364 0 44574 0 [pid=4124] ppid=4122 vsize=83920 CPUtime=95.25 cores=0,2,4,6 /proc/4124/stat : 4124 (scip-2.0.1.linu) T 4122 4124 4124 0 -1 4202496 66353 0 0 0 9483 42 0 0 20 0 1 0 337475420 85934080 18763 33554432000 4194304 15243407 140734847741776 140734847736072 8110912 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4124/statm: 20980 18763 956 2698 0 18275 0 [pid=4122/tid=4171] ppid=3998 vsize=437428 CPUtime=0 cores=0,2,4,6 /proc/4122/task/4171/stat : 4171 (python) S 3998 3998 3958 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 337480208 447926272 6777 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4180] ppid=3998 vsize=513220 CPUtime=0.07 cores=0,2,4,6 /proc/4180/stat : 4180 (python) S 3998 3998 3958 0 -1 4202560 1132 0 0 0 4 3 0 0 20 0 2 0 337489564 525537280 6783 33554432000 4194304 5683644 140733734418080 140733734409728 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4180/statm: 128305 6783 384 364 0 63519 0 [pid=4182] ppid=4180 vsize=79880 CPUtime=47.45 cores=0,2,4,6 /proc/4182/stat : 4182 (minion) T 4180 4182 4182 0 -1 4202496 6717 0 0 0 4744 1 0 0 20 0 1 0 337489564 81797120 12657 33554432000 134512640 165565024 4293127808 4293125056 142764968 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0 /proc/4182/statm: 19970 12657 332 7582 0 12385 0 [pid=4180/tid=4185] ppid=3998 vsize=513220 CPUtime=0 cores=0,2,4,6 /proc/4180/task/4185/stat : 4185 (python) S 3998 3998 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337494313 525537280 6783 33554432000 4194304 5683644 140733734418080 139822756713008 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3998/tid=4016] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4016/stat : 4016 (python) S 3995 3998 3958 0 -1 4202560 35 1006 0 5 0 0 0 0 20 0 5 0 337465804 603136000 8312 33554432000 4194304 5683644 140733734418080 139822777692720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3998/tid=4069] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4069/stat : 4069 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337470519 603136000 8312 33554432000 4194304 5683644 140733734418080 139822767202864 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3998/tid=4123] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4123/stat : 4123 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337475420 603136000 8312 33554432000 4194304 5683644 140733734418080 139822756713008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3998/tid=4181] ppid=3995 vsize=589000 CPUtime=0 cores=0,2,4,6 /proc/3998/task/4181/stat : 4181 (python) S 3995 3998 3958 0 -1 4202560 21 1006 0 5 0 0 0 0 20 0 5 0 337489564 603136000 8312 33554432000 4194304 5683644 140733734418080 139822746223152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 318.58 Current children cumulated vsize (KiB) 2582224 Child status: 0 Real time (s): 320.768 CPU time (s): 318.726 CPU user time (s): 317.514 CPU system time (s): 1.21181 CPU usage (%): 99.3633 Max. virtual memory (cumulated for all children) (KiB): 2582224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 317.514 system time used= 1.21182 maximum resident set size= 96932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 138374 page faults= 107 swaps= 0 block input operations= 58728 block output operations= 2192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8098 involuntary context switches= 654 runsolver used 1.01285 second user time and 2.74958 second system time The end
Begin job on node122 at 2012-06-03 10:49:52 IDJOB=3728960 IDBENCH=1156 IDSOLVER=2327 FILE ID=node122/3728960-1338713392 RUNJOBID= node122-1338713392-3974 PBS_JOBID= 14636732 Free space on /tmp= 71188 MiB SOLVER NAME= PB11: borg pb-dec-11.04.03 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.dec.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728960-1338713392/watcher-3728960-1338713392 -o /tmp/evaluation-result-3728960-1338713392/solver-3728960-1338713392 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3728960-1338713392.opb -seed 575116138 -budget 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9 RANDOM SEED=575116138 node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.06 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.533 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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.04 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.533 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.533 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.533 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.54 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.533 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.533 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: 32873648 kB MemFree: 30063356 kB Buffers: 188816 kB Cached: 1825736 kB SwapCached: 1800 kB Active: 662216 kB Inactive: 1356252 kB Active(anon): 5072 kB Inactive(anon): 1980 kB Active(file): 657144 kB Inactive(file): 1354272 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100160 kB Dirty: 205160 kB Writeback: 0 kB AnonPages: 10852 kB Mapped: 8308 kB Shmem: 0 kB Slab: 652196 kB SReclaimable: 95364 kB SUnreclaim: 556832 kB KernelStack: 1408 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 104872 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70984 MiB End job on node122 at 2012-06-03 10:55:16