Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| pwbo 2.01 | MSAT (TO) | 1800.03 | 900.327 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 32809f4710e615fcaa140bf3e08c6c73 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 1.86272 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6000 |
| Total number of constraints | 220 |
| Number of soft constraints | 220 |
| Number of constraints which are clauses | 120 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 60 |
| Top cost | 11307 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 11306 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 61 |
| Number of bits of the biggest sum of numbers | 6 |
| 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.01 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing wbo file format. File HOME/instance-3712725-1338198784.wbo. 0.00/0.00 c Instance file HOME/instance-3712725-1338198784.wbo 0.00/0.00 c File size is 108767 bytes. 0.00/0.01 c Highest Coefficient sum: 61 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 6220 | 0.00/0.01 c | Number Clauses: 120 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 100 | 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.03/900.31 o 1200 1800.03/900.31 o 1184 1800.03/900.31 o 1176 1800.03/900.31 o 675 1800.03/900.31 o 659 1800.03/900.31 o 587 1800.03/900.31 o 545 1800.03/900.31 o 524 1800.03/900.31 o 483 1800.03/900.31 o 479 1800.03/900.31 o 465 1800.03/900.31 o 414 1800.03/900.31 o 393 1800.03/900.31 o 390 1800.03/900.31 o 379 1800.03/900.31 o 367 1800.03/900.31 o 361 1800.03/900.31 o 359 1800.03/900.31 o 353 1800.03/900.31 o 350 1800.03/900.31 o 344 1800.03/900.31 o 334 1800.03/900.31 o 333 1800.03/900.31 o 332 1800.03/900.31 o 331 1800.03/900.31 o 329 1800.03/900.31 o 317 1800.03/900.31 o 314 1800.03/900.31 o 301 1800.03/900.31 o 293 1800.03/900.31 o 289 1800.03/900.31 o 288 1800.03/900.31 o 284 1800.03/900.31 o 279 1800.03/900.31 o 275 1800.03/900.31 o 272 1800.03/900.31 o 270 1800.03/900.31 o 267 1800.03/900.31 o 263 1800.03/900.31 o 258 1800.03/900.31 o 250 1800.03/900.31 o 242 1800.03/900.31 o 241 1800.03/900.31 o 235 1800.03/900.31 o 234 1800.03/900.31 o 232 1800.03/900.31 o 221 1800.03/900.31 o 220 1800.03/900.31 o 217 1800.03/900.31 o 216 1800.03/900.31 o 213 1800.03/900.31 o 203 1800.03/900.31 o 194 1800.03/900.31 o 187 1800.03/900.31 o 183 1800.03/900.31 o 181 1800.03/900.31 o 179 1800.03/900.31 o 175 1800.03/900.31 o 171 1800.03/900.31 o 170 1800.03/900.31 o 168 1800.03/900.31 o 162 1800.03/900.31 o 160 1800.03/900.31 o 154 1800.03/900.31 o 151 1800.03/900.31 o 150 1800.03/900.31 o 147 1800.03/900.31 o 145 1800.03/900.31 o 134 1800.03/900.31 o 128 1800.03/900.31 o 123 1800.03/900.31 o 122 1800.03/900.31 o 121 1800.03/900.31 o 119 1800.03/900.31 o 115 1800.03/900.31 o 110 1800.03/900.31 o 108 1800.03/900.31 o 105 1800.03/900.31 o 102 1800.03/900.31 o 100 1800.03/900.31 o 90 1800.03/900.31 o 88 1800.03/900.31 o 80 1800.03/900.31 o 78 1800.03/900.31 o 77 1800.03/900.31 o 70 1800.03/900.31 o 68 1800.03/900.31 o 64 1800.03/900.31 o 57 1800.03/900.31 o 56 1800.03/900.31 o 54 1800.03/900.31 o 52 1800.03/900.31 o 45 1800.03/900.31 o 44 1800.03/900.31 o 39 1800.03/900.31 o 31 1800.03/900.31 o 26 1800.03/900.31 o 14 1800.03/900.31 o 13 1800.03/900.31 o 8 1800.03/900.31 o 7 1800.03/900.31 o 6 1800.03/900.31 o 5 1800.03/900.31 o 4 1800.03/900.31 o 3 1800.03/900.31 c =============================================================================== 1800.03/900.31 c Wall Clock Time: 900.31 s 1800.03/900.31 c Best Solution: 3 1800.03/900.31 s SATISFIABLE 1800.03/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
OK 3
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-3712725-1338198784/watcher-3712725-1338198784 -o /tmp/evaluation-result-3712725-1338198784/solver-3712725-1338198784 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712725-1338198784.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: 3.89 3.98 3.90 4/178 15618 /proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=5512 CPUtime=0 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) R 15616 15618 14514 0 -1 4202496 657 0 0 0 0 0 0 0 20 0 1 0 286003870 5644288 610 33554432000 4194304 5964478 140736812875440 140737371075176 4395390 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 1378 611 164 433 0 915 0 [startup+0.0718601 s] /proc/loadavg: 3.89 3.98 3.90 4/178 15618 /proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=166076 CPUtime=0.11 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 3050 0 0 0 11 0 0 0 20 0 3 0 286003870 170061824 2870 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 41519 2870 198 433 0 41083 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 166076 [startup+0.100187 s] /proc/loadavg: 3.89 3.98 3.90 4/178 15618 /proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=166076 CPUtime=0.17 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 3143 0 0 0 17 0 0 0 20 0 3 0 286003870 170061824 2963 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 41519 2963 198 433 0 41083 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 166076 [startup+0.300119 s] /proc/loadavg: 3.89 3.98 3.90 4/178 15618 /proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=166076 CPUtime=0.57 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 3821 0 0 0 56 1 0 0 20 0 3 0 286003870 170061824 3641 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 41519 3641 198 433 0 41083 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 166076 [startup+0.700133 s] /proc/loadavg: 3.89 3.98 3.90 4/178 15618 /proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=166076 CPUtime=1.36 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 5262 0 0 0 135 1 0 0 20 0 3 0 286003870 170061824 5082 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 41519 5082 198 433 0 41083 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 166076 [startup+1.50026 s] /proc/loadavg: 3.89 3.98 3.90 5/181 15621 /proc/meminfo: memFree=30939596/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=166076 CPUtime=2.96 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 8172 0 0 0 293 3 0 0 20 0 3 0 286003870 170061824 7992 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 41519 7992 198 433 0 41083 0 [pid=15618/tid=15620] ppid=15616 vsize=166076 CPUtime=1.46 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 3581 0 0 0 144 2 0 0 20 0 3 0 286003872 170061824 7992 33554432000 4194304 5964478 140736812875440 139983026505720 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=166076 CPUtime=1.47 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 2990 0 0 0 145 2 0 0 20 0 3 0 286003872 170061824 7992 33554432000 4194304 5964478 140736812875440 139983016016232 4391712 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) 166076 [startup+3.10023 s] /proc/loadavg: 3.89 3.98 3.90 5/181 15621 /proc/meminfo: memFree=30923600/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=166076 CPUtime=6.16 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 11880 0 0 0 611 5 0 0 20 0 3 0 286003870 170061824 11700 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 41519 11700 198 433 0 41083 0 [pid=15618/tid=15620] ppid=15616 vsize=166076 CPUtime=3.06 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 6011 0 0 0 303 3 0 0 20 0 3 0 286003872 170061824 11700 33554432000 4194304 5964478 140736812875440 139983026505720 4222384 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=166076 CPUtime=3.06 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 4268 0 0 0 304 2 0 0 20 0 3 0 286003872 170061824 11700 33554432000 4194304 5964478 140736812875440 139983016016184 4381585 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 166076 [startup+6.30024 s] /proc/loadavg: 3.90 3.98 3.90 5/181 15621 /proc/meminfo: memFree=30900168/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=166076 CPUtime=12.56 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 16445 0 0 0 1249 7 0 0 20 0 3 0 286003870 170061824 16265 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 41519 16265 198 433 0 41083 0 [pid=15618/tid=15620] ppid=15616 vsize=166076 CPUtime=6.26 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 7053 0 0 0 622 4 0 0 20 0 3 0 286003872 170061824 16265 33554432000 4194304 5964478 140736812875440 139983026505720 4400419 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=166076 CPUtime=6.25 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 7791 0 0 0 622 3 0 0 20 0 3 0 286003872 170061824 16265 33554432000 4194304 5964478 140736812875440 139983016016184 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 166076 [startup+12.7002 s] /proc/loadavg: 3.90 3.98 3.90 5/181 15621 /proc/meminfo: memFree=30877912/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=166076 CPUtime=25.36 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 22726 0 0 0 2526 10 0 0 20 0 3 0 286003870 170061824 22546 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 41519 22546 198 433 0 41083 0 [pid=15618/tid=15620] ppid=15616 vsize=166076 CPUtime=12.63 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 10848 0 0 0 1259 4 0 0 20 0 3 0 286003872 170061824 22546 33554432000 4194304 5964478 140736812875440 139983026505720 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=166076 CPUtime=12.64 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 10277 0 0 0 1260 4 0 0 20 0 3 0 286003872 170061824 22546 33554432000 4194304 5964478 140736812875440 139983016016184 4222384 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.36 Current children cumulated vsize (KiB) 166076 [startup+25.5003 s] /proc/loadavg: 3.92 3.98 3.91 5/181 15621 /proc/meminfo: memFree=30815636/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=297796 CPUtime=50.95 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 37258 0 0 0 5081 14 0 0 20 0 3 0 286003870 304943104 37078 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 74449 37078 198 433 0 74013 0 [pid=15618/tid=15620] ppid=15616 vsize=297796 CPUtime=25.4 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 18051 0 0 0 2534 6 0 0 20 0 3 0 286003872 304943104 37078 33554432000 4194304 5964478 140736812875440 139983026505768 5244295 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=297796 CPUtime=25.4 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 17606 0 0 0 2533 7 0 0 20 0 3 0 286003872 304943104 37078 33554432000 4194304 5964478 140736812875440 139983016016184 4389144 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 50.95 Current children cumulated vsize (KiB) 297796 [startup+51.1002 s] /proc/loadavg: 3.95 3.98 3.91 5/181 15621 /proc/meminfo: memFree=30686132/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=298116 CPUtime=102.14 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 61524 0 0 0 10188 26 0 0 20 0 3 0 286003870 305270784 61344 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 74529 61344 198 433 0 74093 0 [pid=15618/tid=15620] ppid=15616 vsize=298116 CPUtime=50.93 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 28657 0 0 0 5081 12 0 0 20 0 3 0 286003872 305270784 61344 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=298116 CPUtime=50.94 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 31266 0 0 0 5081 13 0 0 20 0 3 0 286003872 305270784 61344 33554432000 4194304 5964478 140736812875440 139983016016184 4389131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 298116 [startup+102.307 s] /proc/loadavg: 3.98 3.98 3.91 5/181 15621 /proc/meminfo: memFree=30442024/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=495480 CPUtime=204.54 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 91299 0 0 0 20415 39 0 0 20 0 3 0 286003870 507371520 91119 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 123870 91119 198 433 0 123434 0 [pid=15618/tid=15620] ppid=15616 vsize=495480 CPUtime=102 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 38849 0 0 0 10183 17 0 0 20 0 3 0 286003872 507371520 91119 33554432000 4194304 5964478 140736812875440 139983026505720 4389144 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=495480 CPUtime=102.01 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 50849 0 0 0 10178 23 0 0 20 0 3 0 286003872 507371520 91119 33554432000 4194304 5964478 140736812875440 139983016015944 4381944 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 204.54 Current children cumulated vsize (KiB) 495480 [startup+162.3 s] /proc/loadavg: 3.99 3.98 3.91 5/181 15621 /proc/meminfo: memFree=30269196/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=495628 CPUtime=324.5 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 108333 0 0 0 32404 46 0 0 20 0 3 0 286003870 507523072 107735 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 123907 107735 198 433 0 123471 0 [pid=15618/tid=15620] ppid=15616 vsize=495628 CPUtime=161.84 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 47020 0 0 0 16163 21 0 0 20 0 3 0 286003872 507523072 107735 33554432000 4194304 5964478 140736812875440 139983026505720 4400503 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=495628 CPUtime=161.85 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 59712 0 0 0 16156 29 0 0 20 0 3 0 286003872 507523072 107735 33554432000 4194304 5964478 140736812875440 139983016015944 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 324.5 Current children cumulated vsize (KiB) 495628 [startup+222.3 s] /proc/loadavg: 3.99 3.98 3.91 5/181 15622 /proc/meminfo: memFree=30215472/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=561576 CPUtime=444.49 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 121674 0 0 0 44396 53 0 0 20 0 3 0 286003870 575053824 121076 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 140394 121076 198 433 0 139958 0 [pid=15618/tid=15620] ppid=15616 vsize=561576 CPUtime=221.69 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 60249 0 0 0 22141 28 0 0 20 0 3 0 286003872 575053824 121076 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=561576 CPUtime=221.7 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 59824 0 0 0 22140 30 0 0 20 0 3 0 286003872 575053824 121076 33554432000 4194304 5964478 140736812875440 139983016015944 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 444.49 Current children cumulated vsize (KiB) 561576 [startup+282.3 s] /proc/loadavg: 3.99 3.98 3.91 5/181 15622 /proc/meminfo: memFree=30049960/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=692648 CPUtime=564.46 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 146135 0 0 0 56381 65 0 0 20 0 3 0 286003870 709271552 145537 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 173162 145537 198 433 0 172726 0 [pid=15618/tid=15620] ppid=15616 vsize=692648 CPUtime=281.53 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 66329 0 0 0 28120 33 0 0 20 0 3 0 286003872 709271552 145537 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=692648 CPUtime=281.55 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 78205 0 0 0 28115 40 0 0 20 0 3 0 286003872 709271552 145537 33554432000 4194304 5964478 140736812875440 139983016016184 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 564.46 Current children cumulated vsize (KiB) 692648 [startup+342.3 s] /proc/loadavg: 3.99 3.98 3.91 5/181 15622 /proc/meminfo: memFree=29898300/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=823856 CPUtime=684.45 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 170788 0 0 0 68366 79 0 0 20 0 3 0 286003870 843628544 170190 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 205964 170190 198 433 0 205528 0 ################ # More data... # ################ [pid=15618/tid=15621] ppid=15616 vsize=823856 CPUtime=341.39 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 85828 0 0 0 34093 46 0 0 20 0 3 0 286003872 843628544 170190 33554432000 4194304 5964478 140736812875440 139983016016184 4400724 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 684.45 Current children cumulated vsize (KiB) 823856 [startup+402.3 s] /proc/loadavg: 3.99 3.98 3.91 5/181 15622 /proc/meminfo: memFree=29740424/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=955744 CPUtime=804.4 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 209936 0 0 0 80340 100 0 0 20 0 3 0 286003870 978681856 209672 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 238936 209672 198 433 0 238500 0 [pid=15618/tid=15620] ppid=15616 vsize=955744 CPUtime=401.2 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 119079 0 0 0 40057 63 0 0 20 0 3 0 286003872 978681856 209672 33554432000 4194304 5964478 140736812875440 139983026505720 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=955744 CPUtime=401.24 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 89256 0 0 0 40076 48 0 0 20 0 3 0 286003872 978681856 209672 33554432000 4194304 5964478 140736812875440 139983016015944 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 804.4 Current children cumulated vsize (KiB) 955744 [startup+462.3 s] /proc/loadavg: 3.99 3.98 3.91 5/182 15625 /proc/meminfo: memFree=29601096/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1087500 CPUtime=924.36 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 244327 0 0 0 92314 122 0 0 20 0 3 0 286003870 1113600000 244083 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 271875 244083 198 433 0 271439 0 [pid=15618/tid=15620] ppid=15616 vsize=1087500 CPUtime=461.04 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 137912 0 0 0 46029 75 0 0 20 0 3 0 286003872 1113600000 244083 33554432000 4194304 5964478 140736812875440 139983026505528 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1087500 CPUtime=461.07 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 104814 0 0 0 46048 59 0 0 20 0 3 0 286003872 1113600000 244083 33554432000 4194304 5964478 140736812875440 139983016016184 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 924.36 Current children cumulated vsize (KiB) 1087500 [startup+522.3 s] /proc/loadavg: 4.04 4.00 3.91 5/182 15649 /proc/meminfo: memFree=29585672/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1087636 CPUtime=1044.31 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248299 0 0 0 104305 126 0 0 20 0 3 0 286003870 1113739264 248073 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 271909 248073 198 433 0 271473 0 [pid=15618/tid=15620] ppid=15616 vsize=1087636 CPUtime=520.88 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141817 0 0 0 52008 80 0 0 20 0 3 0 286003872 1113739264 248073 33554432000 4194304 5964478 140736812875440 139983026505528 4390936 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1087636 CPUtime=520.89 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 104881 0 0 0 52030 59 0 0 20 0 3 0 286003872 1113739264 248073 33554432000 4194304 5964478 140736812875440 139983016015944 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1044.31 Current children cumulated vsize (KiB) 1087636 [startup+582.3 s] /proc/loadavg: 4.06 4.01 3.92 5/181 15649 /proc/meminfo: memFree=29584176/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1088840 CPUtime=1164.26 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248609 0 0 0 116300 126 0 0 20 0 3 0 286003870 1114972160 248448 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 272210 248448 198 433 0 271774 0 [pid=15618/tid=15620] ppid=15616 vsize=1088840 CPUtime=580.7 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141850 0 0 0 57989 81 0 0 20 0 3 0 286003872 1114972160 248448 33554432000 4194304 5964478 140736812875440 139983026505528 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1088840 CPUtime=580.74 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105158 0 0 0 58013 61 0 0 20 0 3 0 286003872 1114972160 248448 33554432000 4194304 5964478 140736812875440 139983016015944 4400503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1164.26 Current children cumulated vsize (KiB) 1088840 [startup+642.3 s] /proc/loadavg: 4.02 4.00 3.92 5/181 15649 /proc/meminfo: memFree=29583212/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1089448 CPUtime=1284.23 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248782 0 0 0 128297 126 0 0 20 0 3 0 286003870 1115594752 248615 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 272362 248615 198 433 0 271926 0 [pid=15618/tid=15620] ppid=15616 vsize=1089448 CPUtime=640.54 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141863 0 0 0 63972 82 0 0 20 0 3 0 286003872 1115594752 248615 33554432000 4194304 5964478 140736812875440 139983026505528 4400040 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1089448 CPUtime=640.57 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105318 0 0 0 63995 62 0 0 20 0 3 0 286003872 1115594752 248615 33554432000 4194304 5964478 140736812875440 139983016015944 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1284.23 Current children cumulated vsize (KiB) 1089448 [startup+702.3 s] /proc/loadavg: 4.00 4.00 3.92 5/181 15690 /proc/meminfo: memFree=30261712/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1089448 CPUtime=1404.16 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248840 0 0 0 140290 126 0 0 20 0 3 0 286003870 1115594752 248713 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 272362 248713 198 433 0 271926 0 [pid=15618/tid=15620] ppid=15616 vsize=1089448 CPUtime=700.35 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141910 0 0 0 69952 83 0 0 20 0 3 0 286003872 1115594752 248713 33554432000 4194304 5964478 140736812875440 139983026505528 4400075 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1089448 CPUtime=700.41 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105329 0 0 0 69978 63 0 0 20 0 3 0 286003872 1115594752 248713 33554432000 4194304 5964478 140736812875440 139983016015944 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1404.16 Current children cumulated vsize (KiB) 1089448 [startup+762.307 s] /proc/loadavg: 4.04 4.01 3.93 5/181 15690 /proc/meminfo: memFree=30184364/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1089448 CPUtime=1524.13 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248914 0 0 0 152286 127 0 0 20 0 3 0 286003870 1115594752 248652 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 272362 248652 198 433 0 271926 0 [pid=15618/tid=15620] ppid=15616 vsize=1089448 CPUtime=760.2 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141914 0 0 0 75936 84 0 0 20 0 3 0 286003872 1115594752 248652 33554432000 4194304 5964478 140736812875440 139983026505528 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1089448 CPUtime=760.23 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105399 0 0 0 75959 64 0 0 20 0 3 0 286003872 1115594752 248652 33554432000 4194304 5964478 140736812875440 139983016016216 4400051 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) 1089448 [startup+822.3 s] /proc/loadavg: 4.08 4.02 3.93 5/181 15691 /proc/meminfo: memFree=30136776/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1155632 CPUtime=1644.06 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 258224 0 0 0 164271 135 0 0 20 0 3 0 286003870 1183367168 257953 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 288908 257953 198 433 0 288472 0 [pid=15618/tid=15620] ppid=15616 vsize=1155632 CPUtime=820.03 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 151176 0 0 0 81910 93 0 0 20 0 3 0 286003872 1183367168 257953 33554432000 4194304 5964478 140736812875440 139983026505720 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1155632 CPUtime=820.04 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105447 0 0 0 81939 65 0 0 20 0 3 0 286003872 1183367168 257953 33554432000 4194304 5964478 140736812875440 139983016016216 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1644.06 Current children cumulated vsize (KiB) 1155632 [startup+882.3 s] /proc/loadavg: 4.03 4.02 3.93 5/181 15691 /proc/meminfo: memFree=30017160/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1155632 CPUtime=1764.02 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 258263 0 0 0 176267 135 0 0 20 0 3 0 286003870 1183367168 258978 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 288908 258978 198 433 0 288472 0 [pid=15618/tid=15620] ppid=15616 vsize=1155632 CPUtime=879.86 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 151209 0 0 0 87892 94 0 0 20 0 3 0 286003872 1183367168 258978 33554432000 4194304 5964478 140736812875440 139983026505720 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1155632 CPUtime=879.88 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105453 0 0 0 87922 66 0 0 20 0 3 0 286003872 1183367168 258978 33554432000 4194304 5964478 140736812875440 139983016016216 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1764.02 Current children cumulated vsize (KiB) 1155632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.3 s] /proc/loadavg: 4.02 4.01 3.93 5/181 15691 /proc/meminfo: memFree=30003132/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1155632 CPUtime=1800.03 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 258263 0 0 0 179868 135 0 0 20 0 3 0 286003870 1183367168 259187 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 288908 259187 198 433 0 288472 0 [pid=15618/tid=15620] ppid=15616 vsize=1155632 CPUtime=897.82 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 151209 0 0 0 89688 94 0 0 20 0 3 0 286003872 1183367168 259187 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1155632 CPUtime=897.84 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105453 0 0 0 89718 66 0 0 20 0 3 0 286003872 1183367168 259187 33554432000 4194304 5964478 140736812875440 139983016016216 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1155632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+900.3 s] /proc/loadavg: 4.02 4.01 3.93 5/181 15691 /proc/meminfo: memFree=30003132/32873648 swapFree=7116/7116 [pid=15618] ppid=15616 vsize=1155632 CPUtime=1800.03 cores=1,3,5,7 /proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 258263 0 0 0 179868 135 0 0 20 0 3 0 286003870 1183367168 259187 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15618/statm: 288908 259187 198 433 0 288472 0 [pid=15618/tid=15620] ppid=15616 vsize=1155632 CPUtime=897.82 cores=1,3,5,7 /proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 151209 0 0 0 89688 94 0 0 20 0 3 0 286003872 1183367168 259187 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=15618/tid=15621] ppid=15616 vsize=1155632 CPUtime=897.84 cores=1,3,5,7 /proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105453 0 0 0 89718 66 0 0 20 0 3 0 286003872 1183367168 259187 33554432000 4194304 5964478 140736812875440 139983016016216 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1155632 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15618 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=81258 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=634751 # CPU time returned by wait4() is 1795.72 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 900.327 CPU time (s): 1800.03 CPU user time (s): 1798.68 CPU system time (s): 1.35 CPU usage (%): 199.931 Max. virtual memory (cumulated for all children) (KiB): 1155632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.08 system time used= 1.63475 maximum resident set size= 1036752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258264 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= 901 involuntary context switches= 1951 runsolver used 1.90171 second user time and 5.11522 second system time The end
Begin job on node123 at 2012-05-28 11:53:04 IDJOB=3712725 IDBENCH=79153 IDSOLVER=2292 FILE ID=node123/3712725-1338198784 RUNJOBID= node123-1338195143-14531 PBS_JOBID= 14624606 Free space on /tmp= 71676 MiB SOLVER NAME= pwbo 2.01 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712725-1338198784/watcher-3712725-1338198784 -o /tmp/evaluation-result-3712725-1338198784/solver-3712725-1338198784 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712725-1338198784.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32809f4710e615fcaa140bf3e08c6c73 RANDOM SEED=1992694524 node123.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.217 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.43 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.217 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.217 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.217 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.217 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.217 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.217 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.217 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: 30963468 kB Buffers: 308560 kB Cached: 276612 kB SwapCached: 956 kB Active: 772384 kB Inactive: 301820 kB Active(anon): 482252 kB Inactive(anon): 8336 kB Active(file): 290132 kB Inactive(file): 293484 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67102956 kB Dirty: 5456 kB Writeback: 0 kB AnonPages: 494448 kB Mapped: 11056 kB Shmem: 0 kB Slab: 699000 kB SReclaimable: 143292 kB SUnreclaim: 555708 kB KernelStack: 1464 kB PageTables: 5040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 164032 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 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= 71668 MiB End job on node123 at 2012-05-28 12:08:06