Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pwbo 2.01 | MSAT (TO) | 1800.44 | 900.319 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo |
MD5SUM | 757312960b1468f2853dd7cd5a4d6fc6 |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 2.95155 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 4000 |
Total number of constraints | 180 |
Number of soft constraints | 127 |
Number of constraints which are clauses | 100 |
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 | 40 |
Maximum length of a constraint | 50 |
Top cost | 6095 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6094 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 51 |
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-3712452-1338186004.wbo. 0.00/0.00 c Instance file HOME/instance-3712452-1338186004.wbo 0.00/0.00 c File size is 72016 bytes. 0.00/0.01 c Highest Coefficient sum: 51 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: 4127 | 0.00/0.01 c | Number Clauses: 100 | 0.00/0.01 c | Number Cardinality: 22 | 0.00/0.01 c | Number PB Constraints: 58 | 0.00/0.01 c | | 0.00/0.01 c | Problem Type: Optimization | 0.00/0.01 c | Objective Function: PB Constraint | 0.00/0.01 c | | 0.00/0.01 c =============================================================================== 1800.09/900.31 o 238 1800.09/900.31 o 221 1800.09/900.31 o 220 1800.09/900.31 o 218 1800.09/900.31 o 208 1800.09/900.31 o 203 1800.09/900.31 o 201 1800.09/900.31 o 192 1800.09/900.31 o 191 1800.09/900.31 o 178 1800.09/900.31 o 175 1800.09/900.31 o 166 1800.09/900.31 o 165 1800.09/900.31 o 164 1800.09/900.31 o 161 1800.09/900.31 o 158 1800.09/900.31 o 142 1800.09/900.31 o 141 1800.09/900.31 o 137 1800.09/900.31 o 135 1800.09/900.31 o 129 1800.09/900.31 o 127 1800.09/900.31 o 126 1800.09/900.31 o 124 1800.09/900.31 o 123 1800.09/900.31 o 122 1800.09/900.31 o 121 1800.09/900.31 o 120 1800.09/900.31 o 118 1800.09/900.31 o 116 1800.09/900.31 o 110 1800.09/900.31 o 86 1800.09/900.31 o 85 1800.09/900.31 o 84 1800.09/900.31 o 76 1800.09/900.31 o 75 1800.09/900.31 o 72 1800.09/900.31 o 70 1800.09/900.31 o 69 1800.09/900.31 o 68 1800.09/900.31 o 51 1800.09/900.31 o 48 1800.09/900.31 o 47 1800.09/900.31 o 36 1800.09/900.31 o 33 1800.09/900.31 o 29 1800.09/900.31 o 26 1800.09/900.31 o 23 1800.09/900.31 o 20 1800.09/900.31 o 18 1800.09/900.31 o 15 1800.09/900.31 o 14 1800.09/900.31 o 11 1800.09/900.31 o 9 1800.09/900.31 c =============================================================================== 1800.09/900.31 c Wall Clock Time: 900.31 s 1800.09/900.31 c Best Solution: 9 1800.09/900.31 s SATISFIABLE 1800.09/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
OK 9
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-3712452-1338186004/watcher-3712452-1338186004 -o /tmp/evaluation-result-3712452-1338186004/solver-3712452-1338186004 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712452-1338186004.wbo running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.00 3.99 3.91 3/172 26801 /proc/meminfo: memFree=31030596/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=5464 CPUtime=0 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) R 26799 26801 26380 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 284726293 5595136 607 33554432000 4194304 5964478 140735194138480 140734131744040 4395390 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 1366 608 164 433 0 912 0 [startup+0.10378 s] /proc/loadavg: 4.00 3.99 3.91 3/172 26801 /proc/meminfo: memFree=31030596/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=164808 CPUtime=0.19 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 2618 0 0 0 19 0 0 0 20 0 3 0 284726293 168763392 2449 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 41202 2449 198 433 0 40766 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 164808 [startup+0.200177 s] /proc/loadavg: 4.00 3.99 3.91 3/172 26801 /proc/meminfo: memFree=31030596/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=164808 CPUtime=0.37 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 2989 0 0 0 37 0 0 0 20 0 3 0 284726293 168763392 2820 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 41202 2820 198 433 0 40766 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 164808 [startup+0.30014 s] /proc/loadavg: 4.00 3.99 3.91 3/172 26801 /proc/meminfo: memFree=31030596/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=164808 CPUtime=0.57 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 3442 0 0 0 57 0 0 0 20 0 3 0 284726293 168763392 3273 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 41202 3274 198 433 0 40766 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 164808 [startup+0.700118 s] /proc/loadavg: 4.00 3.99 3.91 3/172 26801 /proc/meminfo: memFree=31030596/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=164808 CPUtime=1.37 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 5123 0 0 0 137 0 0 0 20 0 3 0 284726293 168763392 4954 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 41202 4954 198 433 0 40766 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 164808 [startup+1.50019 s] /proc/loadavg: 4.00 3.99 3.91 5/182 26815 /proc/meminfo: memFree=30981000/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=164808 CPUtime=2.97 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 7635 0 0 0 296 1 0 0 20 0 3 0 284726293 168763392 7466 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 41202 7466 198 433 0 40766 0 [pid=26801/tid=26807] ppid=26799 vsize=164808 CPUtime=1.47 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 3514 0 0 0 146 1 0 0 20 0 3 0 284726294 168763392 7466 33554432000 4194304 5964478 140735194138480 139793939302440 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=164808 CPUtime=1.47 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 2791 0 0 0 147 0 0 0 20 0 3 0 284726294 168763392 7466 33554432000 4194304 5964478 140735194138480 139793928812856 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 164808 [startup+3.10018 s] /proc/loadavg: 4.00 3.99 3.91 5/182 26815 /proc/meminfo: memFree=30954092/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=164808 CPUtime=6.18 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 10788 0 0 0 615 3 0 0 20 0 3 0 284726293 168763392 10619 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 41202 10619 198 433 0 40766 0 [pid=26801/tid=26807] ppid=26799 vsize=164808 CPUtime=3.07 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 5290 0 0 0 305 2 0 0 20 0 3 0 284726294 168763392 10619 33554432000 4194304 5964478 140735194138480 139793939302392 4399953 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=164808 CPUtime=3.07 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 4168 0 0 0 307 0 0 0 20 0 3 0 284726294 168763392 10619 33554432000 4194304 5964478 140735194138480 139793928812856 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 164808 [startup+6.30025 s] /proc/loadavg: 4.00 3.99 3.91 5/182 26815 /proc/meminfo: memFree=30925708/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=164808 CPUtime=12.57 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 13612 0 0 0 1253 4 0 0 20 0 3 0 284726293 168763392 13443 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 41202 13443 198 433 0 40766 0 [pid=26801/tid=26807] ppid=26799 vsize=164808 CPUtime=6.27 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 6758 0 0 0 624 3 0 0 20 0 3 0 284726294 168763392 13443 33554432000 4194304 5964478 140735194138480 139793939302392 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=164808 CPUtime=6.27 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 5524 0 0 0 625 2 0 0 20 0 3 0 284726294 168763392 13443 33554432000 4194304 5964478 140735194138480 139793928812664 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 164808 [startup+12.7003 s] /proc/loadavg: 4.00 3.99 3.91 5/182 26815 /proc/meminfo: memFree=30848548/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=165376 CPUtime=25.37 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 22970 0 0 0 2529 8 0 0 20 0 3 0 284726293 169345024 22801 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 41344 22801 198 433 0 40908 0 [pid=26801/tid=26807] ppid=26799 vsize=165376 CPUtime=12.67 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 12316 0 0 0 1261 6 0 0 20 0 3 0 284726294 169345024 22801 33554432000 4194304 5964478 140735194138480 139793939302392 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=165376 CPUtime=12.67 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 9324 0 0 0 1264 3 0 0 20 0 3 0 284726294 169345024 22801 33554432000 4194304 5964478 140735194138480 139793928812856 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 165376 [startup+25.5065 s] /proc/loadavg: 4.00 3.99 3.91 5/182 26815 /proc/meminfo: memFree=30727660/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=231560 CPUtime=50.98 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 35395 0 0 0 5085 13 0 0 20 0 3 0 284726293 237117440 35497 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 57890 35497 198 433 0 57454 0 [pid=26801/tid=26807] ppid=26799 vsize=231560 CPUtime=25.48 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 19065 0 0 0 2540 8 0 0 20 0 3 0 284726294 237117440 35497 33554432000 4194304 5964478 140735194138480 139793939302392 4388475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=231560 CPUtime=25.47 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 15000 0 0 0 2542 5 0 0 20 0 3 0 284726294 237117440 35497 33554432000 4194304 5964478 140735194138480 139793928812616 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 231560 [startup+51.1002 s] /proc/loadavg: 4.00 3.99 3.91 5/182 26815 /proc/meminfo: memFree=30558848/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=297716 CPUtime=102.14 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 50833 0 0 0 10195 19 0 0 20 0 3 0 284726293 304861184 50938 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 74429 50938 198 433 0 73993 0 [pid=26801/tid=26807] ppid=26799 vsize=297716 CPUtime=51.07 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 26720 0 0 0 5096 11 0 0 20 0 3 0 284726294 304861184 50938 33554432000 4194304 5964478 140735194138480 139793939302392 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=297716 CPUtime=51.05 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 22783 0 0 0 5096 9 0 0 20 0 3 0 284726294 304861184 50938 33554432000 4194304 5964478 140735194138480 139793928812616 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 297716 [startup+102.3 s] /proc/loadavg: 4.00 3.99 3.91 5/181 26815 /proc/meminfo: memFree=30458832/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=429692 CPUtime=204.49 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 67805 0 0 0 20423 26 0 0 20 0 3 0 284726293 440004608 67999 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 107423 67999 198 433 0 106987 0 [pid=26801/tid=26807] ppid=26799 vsize=429692 CPUtime=102.24 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 33203 0 0 0 10209 15 0 0 20 0 3 0 284726294 440004608 67999 33554432000 4194304 5964478 140735194138480 139793939302392 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=429692 CPUtime=102.24 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 33272 0 0 0 10210 14 0 0 20 0 3 0 284726294 440004608 67999 33554432000 4194304 5964478 140735194138480 139793928812856 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 204.49 Current children cumulated vsize (KiB) 429692 [startup+162.3 s] /proc/loadavg: 4.00 3.99 3.91 5/181 26815 /proc/meminfo: memFree=30234256/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=430412 CPUtime=324.45 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 88101 0 0 0 32408 37 0 0 20 0 3 0 284726293 440741888 89603 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 107603 89603 198 433 0 107167 0 [pid=26801/tid=26807] ppid=26799 vsize=430412 CPUtime=162.23 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 39338 0 0 0 16204 19 0 0 20 0 3 0 284726294 440741888 89603 33554432000 4194304 5964478 140735194138480 139793939302200 4381992 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=430412 CPUtime=162.24 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 47433 0 0 0 16201 23 0 0 20 0 3 0 284726294 440741888 89603 33554432000 4194304 5964478 140735194138480 139793928812856 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 324.45 Current children cumulated vsize (KiB) 430412 [startup+222.3 s] /proc/loadavg: 4.00 3.99 3.91 5/181 26816 /proc/meminfo: memFree=30044796/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=561916 CPUtime=444.45 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 119002 0 0 0 44378 67 0 0 20 0 3 0 284726293 575401984 120504 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 140479 120504 198 433 0 140043 0 [pid=26801/tid=26807] ppid=26799 vsize=561916 CPUtime=222.24 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 48170 0 0 0 22187 37 0 0 20 0 3 0 284726294 575401984 120504 33554432000 4194304 5964478 140735194138480 139793939302392 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=561916 CPUtime=222.25 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 69502 0 0 0 22188 37 0 0 20 0 3 0 284726294 575401984 120504 33554432000 4194304 5964478 140735194138480 139793928812856 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 444.45 Current children cumulated vsize (KiB) 561916 [startup+282.3 s] /proc/loadavg: 4.00 3.99 3.91 5/181 26816 /proc/meminfo: memFree=30027688/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=629036 CPUtime=564.42 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 122421 0 0 0 56372 70 0 0 20 0 3 0 284726293 644132864 123712 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 157259 123712 198 433 0 156823 0 [pid=26801/tid=26807] ppid=26799 vsize=629036 CPUtime=282.24 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 50236 0 0 0 28184 40 0 0 20 0 3 0 284726294 644132864 123712 33554432000 4194304 5964478 140735194138480 139793939302440 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=629036 CPUtime=282.25 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 70855 0 0 0 28185 40 0 0 20 0 3 0 284726294 644132864 123712 33554432000 4194304 5964478 140735194138480 139793928812616 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 564.42 Current children cumulated vsize (KiB) 629036 [startup+342.307 s] /proc/loadavg: 4.00 3.99 3.91 5/181 26816 /proc/meminfo: memFree=29881060/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=695796 CPUtime=684.41 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 149158 0 0 0 68346 95 0 0 20 0 3 0 284726293 712495104 150449 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 173949 150449 198 433 0 173513 0 [pid=26801/tid=26807] ppid=26799 vsize=695796 CPUtime=342.24 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 67324 0 0 0 34163 61 0 0 20 0 3 0 284726294 712495104 150449 33554432000 4194304 5964478 140735194138480 139793939302392 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=695796 CPUtime=342.26 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 80504 0 0 0 34181 45 0 0 20 0 3 0 284726294 712495104 150449 33554432000 4194304 5964478 140735194138480 139793928812664 4399925 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 684.41 Current children cumulated vsize (KiB) 695796 [startup+402.3 s] /proc/loadavg: 4.00 3.99 3.91 5/181 26816 /proc/meminfo: memFree=29537012/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=828444 CPUtime=804.38 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 187122 0 0 0 80298 140 0 0 20 0 3 0 284726293 848326656 188413 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 207111 188413 198 433 0 206675 0 [pid=26801/tid=26807] ppid=26799 vsize=828444 CPUtime=402.24 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 95593 0 0 0 40122 102 0 0 20 0 3 0 284726294 848326656 188413 33554432000 4194304 5964478 140735194138480 139793939302392 4378815 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=828444 CPUtime=402.25 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 90199 0 0 0 40173 52 0 0 20 0 3 0 284726294 848326656 188413 33554432000 4194304 5964478 140735194138480 139793928812856 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 804.38 Current children cumulated vsize (KiB) 828444 [startup+462.3 s] /proc/loadavg: 4.00 3.99 3.91 5/181 26816 /proc/meminfo: memFree=29442648/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=828600 CPUtime=924.35 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 187192 0 0 0 92295 140 0 0 20 0 3 0 284726293 848486400 188578 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 207150 188578 198 433 0 206714 0 [pid=26801/tid=26807] ppid=26799 vsize=828600 CPUtime=462.24 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 95621 0 0 0 46121 103 0 0 20 0 3 0 284726294 848486400 188578 33554432000 4194304 5964478 140735194138480 139793939302392 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=828600 CPUtime=462.25 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 90241 0 0 0 46172 53 0 0 20 0 3 0 284726294 848486400 188578 33554432000 4194304 5964478 140735194138480 139793928812616 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 924.35 Current children cumulated vsize (KiB) 828600 [startup+522.3 s] /proc/loadavg: 4.03 4.00 3.91 5/180 26816 /proc/meminfo: memFree=29442144/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=828600 CPUtime=1044.32 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 187226 0 0 0 104292 140 0 0 20 0 3 0 284726293 848486400 188688 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 207150 188688 198 433 0 206714 0 [pid=26801/tid=26807] ppid=26799 vsize=828600 CPUtime=522.22 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 95654 0 0 0 52119 103 0 0 20 0 3 0 284726294 848486400 188688 33554432000 4194304 5964478 140735194138480 139793939302392 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=828600 CPUtime=522.26 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 90242 0 0 0 52173 53 0 0 20 0 3 0 284726294 848486400 188688 33554432000 4194304 5964478 140735194138480 139793928812616 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1044.32 Current children cumulated vsize (KiB) 828600 [startup+582.3 s] /proc/loadavg: 4.01 4.00 3.91 5/181 26817 /proc/meminfo: memFree=29440680/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=828600 CPUtime=1164.29 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 187308 0 0 0 116288 141 0 0 20 0 3 0 284726293 848486400 188907 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 207150 188907 198 433 0 206714 0 [pid=26801/tid=26807] ppid=26799 vsize=828600 CPUtime=582.22 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 95680 0 0 0 58118 104 0 0 20 0 3 0 284726294 848486400 188907 33554432000 4194304 5964478 140735194138480 139793939302392 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=828600 CPUtime=582.24 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 90298 0 0 0 58170 54 0 0 20 0 3 0 284726294 848486400 188907 33554432000 4194304 5964478 140735194138480 139793928812616 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1164.29 Current children cumulated vsize (KiB) 828600 [startup+642.3 s] /proc/loadavg: 4.00 4.00 3.91 5/182 26820 /proc/meminfo: memFree=29404732/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=829232 CPUtime=1284.24 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 187488 0 0 0 128283 141 0 0 20 0 3 0 284726293 849133568 189190 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 207308 189190 198 433 0 206872 0 [pid=26801/tid=26807] ppid=26799 vsize=829232 CPUtime=642.21 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 95713 0 0 0 64116 105 0 0 20 0 3 0 284726294 849133568 189190 33554432000 4194304 5964478 140735194138480 139793939302392 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=829232 CPUtime=642.23 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 90445 0 0 0 64168 55 0 0 20 0 3 0 284726294 849133568 189190 33554432000 4194304 5964478 140735194138480 139793928812616 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1284.24 Current children cumulated vsize (KiB) 829232 [startup+702.3 s] /proc/loadavg: 4.00 4.00 3.91 5/181 26820 /proc/meminfo: memFree=29319580/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=898628 CPUtime=1404.18 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 198458 0 0 0 140257 161 0 0 20 0 3 0 284726293 920195072 200337 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 224657 200337 198 433 0 224221 0 [pid=26801/tid=26807] ppid=26799 vsize=898628 CPUtime=702.19 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 106589 0 0 0 70093 126 0 0 20 0 3 0 284726294 920195072 200337 33554432000 4194304 5964478 140735194138480 139793939302392 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=898628 CPUtime=702.21 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 90539 0 0 0 70165 56 0 0 20 0 3 0 284726294 920195072 200337 33554432000 4194304 5964478 140735194138480 139793928812616 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1404.18 Current children cumulated vsize (KiB) 898628 [startup+762.3 s] /proc/loadavg: 4.00 4.00 3.91 5/181 26820 /proc/meminfo: memFree=29153080/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=899596 CPUtime=1524.12 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 201023 0 0 0 152249 163 0 0 20 0 3 0 284726293 921186304 202977 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 224899 202977 198 433 0 224463 0 [pid=26801/tid=26807] ppid=26799 vsize=899596 CPUtime=762.19 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 109102 0 0 0 76089 130 0 0 20 0 3 0 284726294 921186304 202977 33554432000 4194304 5964478 140735194138480 139793939302392 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=899596 CPUtime=762.18 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 90591 0 0 0 76161 57 0 0 20 0 3 0 284726294 921186304 202977 33554432000 4194304 5964478 140735194138480 139793928812616 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1524.12 Current children cumulated vsize (KiB) 899596 [startup+822.3 s] /proc/loadavg: 4.00 4.00 3.91 5/182 26821 /proc/meminfo: memFree=29104176/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=899596 CPUtime=1644.09 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 201053 0 0 0 164246 163 0 0 20 0 3 0 284726293 921186304 202607 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 224899 202607 198 433 0 224463 0 [pid=26801/tid=26807] ppid=26799 vsize=899596 CPUtime=822.19 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 109103 0 0 0 82088 131 0 0 20 0 3 0 284726294 921186304 202607 33554432000 4194304 5964478 140735194138480 139793939302424 4400090 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=899596 CPUtime=822.17 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 90620 0 0 0 82159 58 0 0 20 0 3 0 284726294 921186304 202607 33554432000 4194304 5964478 140735194138480 139793928812616 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1644.09 Current children cumulated vsize (KiB) 899596 [startup+882.3 s] /proc/loadavg: 4.00 4.00 3.91 5/181 26822 /proc/meminfo: memFree=29095872/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=899596 CPUtime=1764.09 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 203092 0 0 0 176245 164 0 0 20 0 3 0 284726293 921186304 204667 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 224899 204667 198 433 0 224463 0 [pid=26801/tid=26807] ppid=26799 vsize=899596 CPUtime=882.2 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 109106 0 0 0 88088 132 0 0 20 0 3 0 284726294 921186304 204667 33554432000 4194304 5964478 140735194138480 139793939302424 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=899596 CPUtime=882.18 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 92656 0 0 0 88158 60 0 0 20 0 3 0 284726294 921186304 204667 33554432000 4194304 5964478 140735194138480 139793928812856 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1764.09 Current children cumulated vsize (KiB) 899596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.3 s] /proc/loadavg: 4.00 4.00 3.91 5/181 26822 /proc/meminfo: memFree=29095748/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=899832 CPUtime=1800.09 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 203131 0 0 0 179844 165 0 0 20 0 3 0 284726293 921427968 204706 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 224958 204706 198 433 0 224522 0 [pid=26801/tid=26807] ppid=26799 vsize=899832 CPUtime=900.2 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 109106 0 0 0 89888 132 0 0 20 0 3 0 284726294 921427968 204706 33554432000 4194304 5964478 140735194138480 139793939302424 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=899832 CPUtime=900.18 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 92695 0 0 0 89958 60 0 0 20 0 3 0 284726294 921427968 204706 33554432000 4194304 5964478 140735194138480 139793928812616 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 899832 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.00 4.00 3.91 5/181 26822 /proc/meminfo: memFree=29095748/32873648 swapFree=7112/7112 [pid=26801] ppid=26799 vsize=899832 CPUtime=1800.09 cores=0,2,4,6 /proc/26801/stat : 26801 (pwbo2.01) S 26799 26801 26380 0 -1 4202496 203131 0 0 0 179844 165 0 0 20 0 3 0 284726293 921427968 204706 33554432000 4194304 5964478 140735194138480 140735194138000 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26801/statm: 224958 204706 198 433 0 224522 0 [pid=26801/tid=26807] ppid=26799 vsize=899832 CPUtime=900.2 cores=0,2,4,6 /proc/26801/task/26807/stat : 26807 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 109106 0 0 0 89888 132 0 0 20 0 3 0 284726294 921427968 204706 33554432000 4194304 5964478 140735194138480 139793939302424 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [pid=26801/tid=26808] ppid=26799 vsize=899832 CPUtime=900.18 cores=0,2,4,6 /proc/26801/task/26808/stat : 26808 (pwbo2.01) R 26799 26801 26380 0 -1 4202560 92695 0 0 0 89958 60 0 0 20 0 3 0 284726294 921427968 204706 33554432000 4194304 5964478 140735194138480 139793928812616 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 899832 Child status: 0 Real time (s): 900.319 CPU time (s): 1800.44 CPU user time (s): 1798.5 CPU system time (s): 1.9417 CPU usage (%): 199.978 Max. virtual memory (cumulated for all children) (KiB): 899832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.5 system time used= 1.9417 maximum resident set size= 818832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 203133 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= 652 involuntary context switches= 1893 runsolver used 1.93971 second user time and 4.81627 second system time The end
Begin job on node126 at 2012-05-28 08:20:04 IDJOB=3712452 IDBENCH=78671 IDSOLVER=2292 FILE ID=node126/3712452-1338186004 RUNJOBID= node126-1338182394-26396 PBS_JOBID= 14624566 Free space on /tmp= 71360 MiB SOLVER NAME= pwbo 2.01 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712452-1338186004/watcher-3712452-1338186004 -o /tmp/evaluation-result-3712452-1338186004/solver-3712452-1338186004 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712452-1338186004.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 757312960b1468f2853dd7cd5a4d6fc6 RANDOM SEED=794608961 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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 : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 31035812 kB Buffers: 332812 kB Cached: 675560 kB SwapCached: 17756 kB Active: 758788 kB Inactive: 270844 kB Active(anon): 2580 kB Inactive(anon): 20452 kB Active(file): 756208 kB Inactive(file): 250392 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086932 kB Dirty: 5928 kB Writeback: 0 kB AnonPages: 11276 kB Mapped: 9068 kB Shmem: 0 kB Slab: 669380 kB SReclaimable: 113740 kB SUnreclaim: 555640 kB KernelStack: 1464 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 104440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71348 MiB End job on node126 at 2012-05-28 08:35:06