Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pwbo 2.02 | MSAT (TO) | 1800.05 | 900.356 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo |
MD5SUM | b2b0b6245f8ec2d35e44e032ffc67cea |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 7.2109 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 6800 |
Total number of constraints | 165 |
Number of soft constraints | 110 |
Number of constraints which are clauses | 85 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 85 |
Top cost | 6303 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6302 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 86 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | pwbo: 2.02 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing wbo file format. File HOME/instance-3728629-1338671881.wbo. 0.00/0.00 c Instance file HOME/instance-3728629-1338671881.wbo 0.00/0.00 c File size is 122233 bytes. 0.00/0.01 c Highest Coefficient sum: 86 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 6910 | 0.00/0.01 c | Number Clauses: 85 | 0.00/0.01 c | Number Cardinality: 27 | 0.00/0.01 c | Number PB Constraints: 53 | 0.00/0.01 c | | 0.00/0.02 c | Problem Type: Optimization | 0.00/0.02 c | Objective Function: PB Constraint | 0.00/0.02 c | | 0.00/0.02 c =============================================================================== 1800.05/900.31 o 356 1800.05/900.31 o 343 1800.05/900.31 o 252 1800.05/900.31 o 251 1800.05/900.31 o 241 1800.05/900.31 o 239 1800.05/900.31 o 230 1800.05/900.31 o 215 1800.05/900.31 o 204 1800.05/900.31 o 195 1800.05/900.31 o 184 1800.05/900.31 o 183 1800.05/900.31 o 172 1800.05/900.31 o 166 1800.05/900.31 o 165 1800.05/900.31 o 155 1800.05/900.31 o 147 1800.05/900.31 o 131 1800.05/900.31 o 129 1800.05/900.31 o 116 1800.05/900.31 o 92 1800.05/900.31 o 87 1800.05/900.31 o 81 1800.05/900.31 o 80 1800.05/900.31 o 63 1800.05/900.31 o 50 1800.05/900.31 o 40 1800.05/900.31 o 28 1800.05/900.31 o 25 1800.05/900.31 o 14 1800.05/900.31 o 1 1800.05/900.31 c =============================================================================== 1800.05/900.31 c Wall Clock Time: 900.31 s 1800.05/900.31 c Best Solution: 1 1800.05/900.31 s SATISFIABLE 1800.05/900.31 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
OK 1
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-3728629-1338671881/watcher-3728629-1338671881 -o /tmp/evaluation-result-3728629-1338671881/solver-3728629-1338671881 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728629-1338671881.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.00 3.90 3.22 3/172 31067 /proc/meminfo: memFree=26802040/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=5784 CPUtime=0 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) R 31064 31067 30325 0 -1 4202496 720 0 0 0 0 0 0 0 20 0 1 0 333312444 5922816 672 33554432000 4194304 5964478 140737206265840 140733512412936 5179696 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 1494 681 164 433 0 1028 0 [startup+0.103828 s] /proc/loadavg: 4.00 3.90 3.22 3/172 31067 /proc/meminfo: memFree=26802040/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=166244 CPUtime=0.18 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 3424 0 0 0 17 1 0 0 20 0 3 0 333312444 170233856 3223 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 41561 3223 198 433 0 41125 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 166244 [startup+0.200204 s] /proc/loadavg: 4.00 3.90 3.22 3/172 31067 /proc/meminfo: memFree=26802040/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=166244 CPUtime=0.36 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 3650 0 0 0 35 1 0 0 20 0 3 0 333312444 170233856 3449 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 41561 3449 198 433 0 41125 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 166244 [startup+0.300147 s] /proc/loadavg: 4.00 3.90 3.22 3/172 31067 /proc/meminfo: memFree=26802040/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=166244 CPUtime=0.56 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 3885 0 0 0 55 1 0 0 20 0 3 0 333312444 170233856 3684 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 41561 3684 198 433 0 41125 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 166244 [startup+0.700124 s] /proc/loadavg: 4.00 3.90 3.22 3/172 31067 /proc/meminfo: memFree=26802040/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=166244 CPUtime=1.37 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 5294 0 0 0 134 3 0 0 20 0 3 0 333312444 170233856 5093 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 41561 5093 198 433 0 41125 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 166244 [startup+1.50029 s] /proc/loadavg: 4.00 3.90 3.22 5/181 31087 /proc/meminfo: memFree=26740300/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=166244 CPUtime=2.96 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 7823 0 0 0 291 5 0 0 20 0 3 0 333312444 170233856 7622 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 41561 7622 198 433 0 41125 0 [pid=31067/tid=31070] ppid=31064 vsize=166244 CPUtime=1.46 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 3332 0 0 0 144 2 0 0 20 0 3 0 333312445 170233856 7622 33554432000 4194304 5964478 140737206265840 139980515579944 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=166244 CPUtime=1.46 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 2799 0 0 0 143 3 0 0 20 0 3 0 333312445 170233856 7622 33554432000 4194304 5964478 140737206265840 139980505090360 4381996 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.96 Current children cumulated vsize (KiB) 166244 [startup+3.10034 s] /proc/loadavg: 4.00 3.90 3.22 5/181 31087 /proc/meminfo: memFree=26709300/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=166244 CPUtime=6.15 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 12405 0 0 0 607 8 0 0 20 0 3 0 333312444 170233856 12204 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 41561 12204 198 433 0 41125 0 [pid=31067/tid=31070] ppid=31064 vsize=166244 CPUtime=3.06 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 5705 0 0 0 302 4 0 0 20 0 3 0 333312445 170233856 12204 33554432000 4194304 5964478 140737206265840 139980515579896 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=166244 CPUtime=3.06 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 5008 0 0 0 301 5 0 0 20 0 3 0 333312445 170233856 12204 33554432000 4194304 5964478 140737206265840 139980505090360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 166244 [startup+6.30031 s] /proc/loadavg: 4.00 3.90 3.22 5/181 31087 /proc/meminfo: memFree=26654500/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=166244 CPUtime=12.55 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 17199 0 0 0 1244 11 0 0 20 0 3 0 333312444 170233856 16998 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 41561 16998 198 433 0 41125 0 [pid=31067/tid=31070] ppid=31064 vsize=166244 CPUtime=6.25 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 7998 0 0 0 621 4 0 0 20 0 3 0 333312445 170233856 16998 33554432000 4194304 5964478 140737206265840 139980515579896 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=166244 CPUtime=6.26 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 7509 0 0 0 619 7 0 0 20 0 3 0 333312445 170233856 16998 33554432000 4194304 5964478 140737206265840 139980505090360 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 166244 [startup+12.7003 s] /proc/loadavg: 4.00 3.90 3.23 5/181 31087 /proc/meminfo: memFree=26578916/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=166244 CPUtime=25.34 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 23313 0 0 0 2519 15 0 0 20 0 3 0 333312444 170233856 23196 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 41561 23196 198 433 0 41125 0 [pid=31067/tid=31070] ppid=31064 vsize=166244 CPUtime=12.63 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 11521 0 0 0 1258 5 0 0 20 0 3 0 333312445 170233856 23196 33554432000 4194304 5964478 140737206265840 139980515579896 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=166244 CPUtime=12.63 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 10100 0 0 0 1254 9 0 0 20 0 3 0 333312445 170233856 23196 33554432000 4194304 5964478 140737206265840 139980505090408 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 166244 [startup+25.5004 s] /proc/loadavg: 4.00 3.90 3.24 5/181 31087 /proc/meminfo: memFree=26436936/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=297316 CPUtime=50.93 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 37608 0 0 0 5068 25 0 0 20 0 3 0 333312444 304451584 37485 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 74329 37485 198 433 0 73893 0 [pid=31067/tid=31070] ppid=31064 vsize=297316 CPUtime=25.39 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 18825 0 0 0 2530 9 0 0 20 0 3 0 333312445 304451584 37485 33554432000 4194304 5964478 140737206265840 139980515579944 4382071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=297316 CPUtime=25.39 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 17091 0 0 0 2524 15 0 0 20 0 3 0 333312445 304451584 37485 33554432000 4194304 5964478 140737206265840 139980505090168 4400422 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 50.93 Current children cumulated vsize (KiB) 297316 [startup+51.1004 s] /proc/loadavg: 4.00 3.91 3.26 5/181 31087 /proc/meminfo: memFree=26263180/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=297964 CPUtime=102.11 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 57128 0 0 0 10173 38 0 0 20 0 3 0 333312444 305115136 57000 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 74491 57000 198 433 0 74055 0 [pid=31067/tid=31070] ppid=31064 vsize=297964 CPUtime=50.92 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 28377 0 0 0 5079 13 0 0 20 0 3 0 333312445 305115136 57000 33554432000 4194304 5964478 140737206265840 139980515579896 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=297964 CPUtime=50.91 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 27059 0 0 0 5067 24 0 0 20 0 3 0 333312445 305115136 57000 33554432000 4194304 5964478 140737206265840 139980505090360 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.11 Current children cumulated vsize (KiB) 297964 [startup+102.3 s] /proc/loadavg: 4.00 3.92 3.30 5/181 31087 /proc/meminfo: memFree=25959424/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=429356 CPUtime=204.47 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 99334 0 0 0 20387 60 0 0 20 0 3 0 333312444 439660544 100187 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 107339 100187 198 433 0 106903 0 [pid=31067/tid=31070] ppid=31064 vsize=429356 CPUtime=101.97 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 49302 0 0 0 10175 22 0 0 20 0 3 0 333312445 439660544 100187 33554432000 4194304 5964478 140737206265840 139980515579896 4391512 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=429356 CPUtime=101.98 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 48340 0 0 0 10159 39 0 0 20 0 3 0 333312445 439660544 100187 33554432000 4194304 5964478 140737206265840 139980505090360 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 204.47 Current children cumulated vsize (KiB) 429356 [startup+162.3 s] /proc/loadavg: 4.00 3.93 3.33 5/182 31090 /proc/meminfo: memFree=25678476/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=757656 CPUtime=324.43 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 167114 0 0 0 32343 100 0 0 20 0 3 0 333312444 775839744 167967 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 189414 167967 198 433 0 188978 0 [pid=31067/tid=31070] ppid=31064 vsize=757656 CPUtime=161.81 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 87231 0 0 0 16141 40 0 0 20 0 3 0 333312445 775839744 167967 33554432000 4194304 5964478 140737206265840 139980515579896 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=757656 CPUtime=161.82 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 78191 0 0 0 16119 63 0 0 20 0 3 0 333312445 775839744 167967 33554432000 4194304 5964478 140737206265840 139980505090120 4381993 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 324.43 Current children cumulated vsize (KiB) 757656 [startup+222.307 s] /proc/loadavg: 4.00 3.94 3.38 5/181 31090 /proc/meminfo: memFree=25521900/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=757656 CPUtime=444.42 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 172347 0 0 0 44339 103 0 0 20 0 3 0 333312444 775839744 173200 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 189414 173200 198 433 0 188978 0 [pid=31067/tid=31070] ppid=31064 vsize=757656 CPUtime=221.66 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 92454 0 0 0 22122 44 0 0 20 0 3 0 333312445 775839744 173200 33554432000 4194304 5964478 140737206265840 139980515579896 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=757656 CPUtime=221.67 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 78201 0 0 0 22103 64 0 0 20 0 3 0 333312445 775839744 173200 33554432000 4194304 5964478 140737206265840 139980505090120 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 444.42 Current children cumulated vsize (KiB) 757656 [startup+282.3 s] /proc/loadavg: 4.04 3.97 3.41 5/181 31091 /proc/meminfo: memFree=25411196/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=757656 CPUtime=564.4 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 172859 0 0 0 56336 104 0 0 20 0 3 0 333312444 775839744 173712 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 189414 173712 198 433 0 188978 0 [pid=31067/tid=31070] ppid=31064 vsize=757656 CPUtime=281.5 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 92454 0 0 0 28105 45 0 0 20 0 3 0 333312445 775839744 173712 33554432000 4194304 5964478 140737206265840 139980515579896 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=757656 CPUtime=281.51 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 78713 0 0 0 28086 65 0 0 20 0 3 0 333312445 775839744 173712 33554432000 4194304 5964478 140737206265840 139980505090360 4382008 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 564.4 Current children cumulated vsize (KiB) 757656 [startup+342.3 s] /proc/loadavg: 4.01 3.97 3.45 5/181 31091 /proc/meminfo: memFree=25197820/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=954264 CPUtime=684.37 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 218108 0 0 0 68302 135 0 0 20 0 3 0 333312444 977166336 218961 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 238566 218961 198 433 0 238130 0 [pid=31067/tid=31070] ppid=31064 vsize=954264 CPUtime=341.35 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 109535 0 0 0 34081 54 0 0 20 0 3 0 333312445 977166336 218961 33554432000 4194304 5964478 140737206265840 139980515579896 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=954264 CPUtime=341.36 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 106881 0 0 0 34046 90 0 0 20 0 3 0 333312445 977166336 218961 33554432000 4194304 5964478 140737206265840 139980505090360 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 684.37 Current children cumulated vsize (KiB) 954264 [startup+402.3 s] /proc/loadavg: 4.00 3.97 3.48 5/181 31091 /proc/meminfo: memFree=25042820/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1019984 CPUtime=804.36 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 235515 0 0 0 80293 143 0 0 20 0 3 0 333312444 1044463616 236368 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 254996 236368 198 433 0 254560 0 [pid=31067/tid=31070] ppid=31064 vsize=1019984 CPUtime=401.19 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 123958 0 0 0 40058 61 0 0 20 0 3 0 333312445 1044463616 236368 33554432000 4194304 5964478 140737206265840 139980515579896 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1019984 CPUtime=401.21 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 109865 0 0 0 40028 93 0 0 20 0 3 0 333312445 1044463616 236368 33554432000 4194304 5964478 140737206265840 139980505090120 4382029 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 804.36 Current children cumulated vsize (KiB) 1019984 [startup+462.3 s] /proc/loadavg: 4.00 3.97 3.51 5/181 31091 /proc/meminfo: memFree=25043100/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1020320 CPUtime=924.33 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 235612 0 0 0 92290 143 0 0 20 0 3 0 333312444 1044807680 236179 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 255080 236179 198 433 0 254644 0 [pid=31067/tid=31070] ppid=31064 vsize=1020320 CPUtime=461.04 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 123968 0 0 0 46043 61 0 0 20 0 3 0 333312445 1044807680 236179 33554432000 4194304 5964478 140737206265840 139980515579896 4381601 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1020320 CPUtime=461.05 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 109952 0 0 0 46012 93 0 0 20 0 3 0 333312445 1044807680 236179 33554432000 4194304 5964478 140737206265840 139980505090120 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 924.33 Current children cumulated vsize (KiB) 1020320 [startup+522.3 s] /proc/loadavg: 4.00 3.97 3.54 5/181 31091 /proc/meminfo: memFree=25041888/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1020320 CPUtime=1044.3 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 235642 0 0 0 104287 143 0 0 20 0 3 0 333312444 1044807680 236380 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 255080 236380 198 433 0 254644 0 [pid=31067/tid=31070] ppid=31064 vsize=1020320 CPUtime=520.87 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 123990 0 0 0 52025 62 0 0 20 0 3 0 333312445 1044807680 236380 33554432000 4194304 5964478 140737206265840 139980515579896 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1020320 CPUtime=520.9 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 109960 0 0 0 51996 94 0 0 20 0 3 0 333312445 1044807680 236380 33554432000 4194304 5964478 140737206265840 139980505090120 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1044.3 Current children cumulated vsize (KiB) 1020320 [startup+582.3 s] /proc/loadavg: 4.00 3.97 3.56 5/181 31092 /proc/meminfo: memFree=25028772/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1020812 CPUtime=1164.27 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 239402 0 0 0 116281 146 0 0 20 0 3 0 333312444 1045311488 240125 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 255203 240125 198 433 0 254767 0 [pid=31067/tid=31070] ppid=31064 vsize=1020812 CPUtime=580.71 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 126089 0 0 0 58007 64 0 0 20 0 3 0 333312445 1045311488 240125 33554432000 4194304 5964478 140737206265840 139980515579896 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1020812 CPUtime=580.73 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 111621 0 0 0 57976 97 0 0 20 0 3 0 333312445 1045311488 240125 33554432000 4194304 5964478 140737206265840 139980505090360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1164.27 Current children cumulated vsize (KiB) 1020812 [startup+642.3 s] /proc/loadavg: 4.00 3.97 3.59 5/181 31092 /proc/meminfo: memFree=25000156/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1086708 CPUtime=1284.22 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 244984 0 0 0 128273 149 0 0 20 0 3 0 333312444 1112788992 245686 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 271677 245686 198 433 0 271241 0 [pid=31067/tid=31070] ppid=31064 vsize=1086708 CPUtime=640.55 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 131645 0 0 0 63987 68 0 0 20 0 3 0 333312445 1112788992 245686 33554432000 4194304 5964478 140737206265840 139980515579896 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1086708 CPUtime=640.56 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 111647 0 0 0 63958 98 0 0 20 0 3 0 333312445 1112788992 245686 33554432000 4194304 5964478 140737206265840 139980505090360 4381974 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1284.22 Current children cumulated vsize (KiB) 1086708 [startup+702.3 s] /proc/loadavg: 4.04 3.99 3.62 5/181 31092 /proc/meminfo: memFree=24900736/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1086708 CPUtime=1404.17 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 256832 0 0 0 140262 155 0 0 20 0 3 0 333312444 1112788992 257517 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 271677 257517 198 433 0 271241 0 [pid=31067/tid=31070] ppid=31064 vsize=1086708 CPUtime=700.37 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 143477 0 0 0 69962 75 0 0 20 0 3 0 333312445 1112788992 257517 33554432000 4194304 5964478 140737206265840 139980515579896 4389072 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1086708 CPUtime=700.39 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 111663 0 0 0 69940 99 0 0 20 0 3 0 333312445 1112788992 257517 33554432000 4194304 5964478 140737206265840 139980505090360 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1404.17 Current children cumulated vsize (KiB) 1086708 [startup+762.3 s] /proc/loadavg: 4.05 4.00 3.64 5/182 31095 /proc/meminfo: memFree=24707936/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1348852 CPUtime=1524.13 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 301128 0 0 0 152234 179 0 0 20 0 3 0 333312444 1381224448 301788 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 337213 301788 198 433 0 336777 0 [pid=31067/tid=31070] ppid=31064 vsize=1348852 CPUtime=760.2 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 183935 0 0 0 75923 97 0 0 20 0 3 0 333312445 1381224448 301788 33554432000 4194304 5964478 140737206265840 139980515579896 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1348852 CPUtime=760.24 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 115501 0 0 0 75921 103 0 0 20 0 3 0 333312445 1381224448 301788 33554432000 4194304 5964478 140737206265840 139980505090360 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1524.13 Current children cumulated vsize (KiB) 1348852 [startup+822.3 s] /proc/loadavg: 4.02 4.00 3.66 5/181 31095 /proc/meminfo: memFree=24470884/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1479924 CPUtime=1644.07 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 341182 0 0 0 164200 207 0 0 20 0 3 0 333312444 1515442176 341905 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 369981 341905 198 433 0 369545 0 [pid=31067/tid=31070] ppid=31064 vsize=1479924 CPUtime=820.02 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 213823 0 0 0 81887 115 0 0 20 0 3 0 333312445 1515442176 341905 33554432000 4194304 5964478 140737206265840 139980515579896 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1479924 CPUtime=820.07 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 125667 0 0 0 81892 115 0 0 20 0 3 0 333312445 1515442176 341905 33554432000 4194304 5964478 140737206265840 139980505090360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1644.07 Current children cumulated vsize (KiB) 1479924 [startup+882.307 s] /proc/loadavg: 4.00 4.00 3.68 5/181 31096 /proc/meminfo: memFree=24317528/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1545604 CPUtime=1764.06 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 358743 0 0 0 176190 216 0 0 20 0 3 0 333312444 1582698496 359495 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 386401 359495 198 433 0 385965 0 [pid=31067/tid=31070] ppid=31064 vsize=1545604 CPUtime=879.86 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 231324 0 0 0 87861 125 0 0 20 0 3 0 333312445 1582698496 359495 33554432000 4194304 5964478 140737206265840 139980515579896 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1545604 CPUtime=879.9 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 125727 0 0 0 87874 116 0 0 20 0 3 0 333312445 1582698496 359495 33554432000 4194304 5964478 140737206265840 139980505090120 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1764.06 Current children cumulated vsize (KiB) 1545604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.3 s] /proc/loadavg: 4.00 4.00 3.68 5/181 31096 /proc/meminfo: memFree=24281320/32873844 swapFree=7628/7628 [pid=31067] ppid=31064 vsize=1545604 CPUtime=1800.05 cores=1,3,5,7 /proc/31067/stat : 31067 (pwbo2.02) S 31064 31067 30325 0 -1 4202496 358744 0 0 0 179789 216 0 0 20 0 3 0 333312444 1582698496 359496 33554432000 4194304 5964478 140737206265840 140737206265360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31067/statm: 386401 359496 198 433 0 385965 0 [pid=31067/tid=31070] ppid=31064 vsize=1545604 CPUtime=897.82 cores=1,3,5,7 /proc/31067/task/31070/stat : 31070 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 231325 0 0 0 89657 125 0 0 20 0 3 0 333312445 1582698496 359496 33554432000 4194304 5964478 140737206265840 139980515579896 4382021 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=31067/tid=31071] ppid=31064 vsize=1545604 CPUtime=897.86 cores=1,3,5,7 /proc/31067/task/31071/stat : 31071 (pwbo2.02) R 31064 31067 30325 0 -1 4202560 125727 0 0 0 89670 116 0 0 20 0 3 0 333312445 1582698496 359496 33554432000 4194304 5964478 140737206265840 139980505090120 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1545604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31067 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=292378 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=471624 # CPU time returned by wait4() is 1795.76 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 900.356 CPU time (s): 1800.05 CPU user time (s): 1797.89 CPU system time (s): 2.16 CPU usage (%): 199.927 Max. virtual memory (cumulated for all children) (KiB): 1545604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.29 system time used= 2.47162 maximum resident set size= 1437992 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 358746 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1671 involuntary context switches= 1856 runsolver used 2.09168 second user time and 5.20421 second system time The end
Begin job on node145 at 2012-06-02 23:18:01 IDJOB=3728629 IDBENCH=78733 IDSOLVER=2316 FILE ID=node145/3728629-1338671881 RUNJOBID= node145-1338670978-30967 PBS_JOBID= 14636492 Free space on /tmp= 70920 MiB SOLVER NAME= pwbo 2.02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo COMMAND LINE= pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728629-1338671881/watcher-3728629-1338671881 -o /tmp/evaluation-result-3728629-1338671881/solver-3728629-1338671881 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728629-1338671881.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b2b0b6245f8ec2d35e44e032ffc67cea RANDOM SEED=139507796 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 2667.149 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 : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 2667.149 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 : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 2667.149 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.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26800600 kB Buffers: 427840 kB Cached: 4780380 kB SwapCached: 0 kB Active: 1610876 kB Inactive: 3608952 kB Active(anon): 2820 kB Inactive(anon): 10928 kB Active(file): 1608056 kB Inactive(file): 3598024 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 5496 kB Writeback: 0 kB AnonPages: 18896 kB Mapped: 13404 kB Shmem: 200 kB Slab: 715420 kB SReclaimable: 156872 kB SUnreclaim: 558548 kB KernelStack: 1448 kB PageTables: 3280 kB NFS_Unstable: 8 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 111472 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70916 MiB End job on node145 at 2012-06-02 23:33:03