Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 51 | 1800.07 | 1800.41 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 45 |
Best CPU time to get the best result obtained on this benchmark | 1796.93 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 5203 |
Total number of constraints | 19637 |
Number of constraints which are clauses | 19637 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 5203 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 5203 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 5203 |
Number of bits of the biggest sum of numbers | 13 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3734661-1338700529.opb 0.00/0.00 c File size is 9972193 bytes. 0.79/0.81 c Highest Coefficient sum: 5203 0.79/0.81 c Parsing was ok!! 0.79/0.81 c Total parsing time: 0.811 s 0.79/0.82 c Var: 5203 Constr: 19637 19637/0/0 Lit: 1117990 Watch. Lit: 39274 0.79/0.82 c Obj. Vars: 5203 (100 % of total variables) 10.89/10.90 c Formula reductions applied at preprocessing 10.89/10.90 c Pre-processing Time: 10.901 s 22.89/23.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.89/23.00 c 0 5039 19063 1097921 57 38126 6354 0 0 10.90 22.89/23.00 c Initial Lower Bound: 40 22.89/23.00 c Initial Path Cost: 0 22.99/23.03 o 89 23.023 279.93/280.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 279.93/280.04 c 2 5039 19066 1103221 57 43082 7354 3 0 23.02 279.93/280.04 o 60 279.988 * 495.91/496.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 495.91/496.06 c 3 5039 19068 1108377 58 48065 7354 5 0 279.99 495.91/496.06 o 54 495.975 * 951.02/951.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 951.02/951.25 c 3 5039 19069 1113416 58 53052 7354 6 0 495.98 951.02/951.25 c 105 5039 19273 1171408 60 53460 8090 210 0 811.31 951.02/951.25 o 52 951.078 * 1582.90/1583.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1582.90/1583.24 c 105 5039 19274 1176447 61 58449 7354 211 0 951.08 1582.90/1583.24 c 207 5039 19478 1200928 61 58857 8090 415 0 1416.69 1582.90/1583.24 o 51 1582.94 * 1800.05/1800.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.40 c 214 5039 19493 1207679 61 63875 7354 430 0 1582.94 1800.05/1800.40 c Caught signal: 15 1800.05/1800.40 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 1800.05/1800.40 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.40 c 7 214 10 5775 19493 1207679 430 0 1800.07 1800.05/1800.40 c Objective: 51 1800.05/1800.40 s SATISFIABLE 1800.05/1800.40 c Total time: 1800.07 s
OK 51
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-3734661-1338700529/watcher-3734661-1338700529 -o /tmp/evaluation-result-3734661-1338700529/solver-3734661-1338700529 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734661-1338700529.opb 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: 1.92 1.99 2.07 3/176 11839 /proc/meminfo: memFree=26923900/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=22244 CPUtime=0 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 1 0 336178994 22777856 401 33554432000 134512640 135840783 4293910128 4293909136 134538857 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 5561 401 324 325 0 2062 0 [startup+0.057075 s] /proc/loadavg: 1.92 1.99 2.07 3/176 11839 /proc/meminfo: memFree=26923900/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=15512 CPUtime=0.05 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 921 0 0 0 5 0 0 0 20 0 1 0 336178994 15884288 857 33554432000 134512640 135840783 4293910128 4293909120 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 3878 857 477 325 0 379 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15512 [startup+0.100221 s] /proc/loadavg: 1.92 1.99 2.07 3/176 11839 /proc/meminfo: memFree=26923900/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=16424 CPUtime=0.09 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 1256 0 0 0 9 0 0 0 20 0 1 0 336178994 16818176 1192 33554432000 134512640 135840783 4293910128 4293909120 134525046 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 4106 1192 606 325 0 607 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16424 [startup+0.300187 s] /proc/loadavg: 1.92 1.99 2.07 3/176 11839 /proc/meminfo: memFree=26923900/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=20320 CPUtime=0.29 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 2825 0 0 0 29 0 0 0 20 0 1 0 336178994 20807680 2761 33554432000 134512640 135840783 4293910128 4293908272 13861936 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 5080 2761 1207 325 0 1581 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20320 [startup+0.700119 s] /proc/loadavg: 1.92 1.99 2.07 3/176 11839 /proc/meminfo: memFree=26923900/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=27972 CPUtime=0.69 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 5948 0 0 0 68 1 0 0 20 0 1 0 336178994 28643328 5884 33554432000 134512640 135840783 4293910128 4293907728 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 6993 5884 2410 325 0 3494 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27972 [startup+1.50019 s] /proc/loadavg: 1.92 1.99 2.07 3/177 11840 /proc/meminfo: memFree=26888792/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=39300 CPUtime=1.48 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 11580 0 0 0 147 1 0 0 20 0 1 0 336178994 40243200 9081 33554432000 134512640 135840783 4293910128 4293846620 13861936 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 9825 9081 344 325 0 8761 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 39300 [startup+3.10018 s] /proc/loadavg: 1.92 1.99 2.07 3/177 11840 /proc/meminfo: memFree=26888172/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=39300 CPUtime=3.09 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 11580 0 0 0 307 2 0 0 20 0 1 0 336178994 40243200 9081 33554432000 134512640 135840783 4293910128 4293846620 13861936 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 9825 9081 344 325 0 8761 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39300 [startup+6.30018 s] /proc/loadavg: 1.93 1.99 2.07 3/177 11840 /proc/meminfo: memFree=26888632/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=38672 CPUtime=6.29 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 15776 0 0 0 626 3 0 0 20 0 1 0 336178994 39600128 8915 33554432000 134512640 135840783 4293910128 4293846620 13861936 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 9668 8915 344 325 0 8604 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38672 [startup+12.7003 s] /proc/loadavg: 1.93 1.99 2.07 3/177 11840 /proc/meminfo: memFree=26887184/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=43636 CPUtime=12.68 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 65516 0 0 0 1254 14 0 0 20 0 1 0 336178994 44683264 10181 33554432000 134512640 135840783 4293910128 4293908000 134614747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 10909 10181 369 325 0 9845 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 43636 [startup+25.5003 s] /proc/loadavg: 1.95 1.99 2.07 3/177 11840 /proc/meminfo: memFree=26858120/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=82516 CPUtime=25.48 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 662307 0 0 0 2339 209 0 0 20 0 1 0 336178994 84496384 16188 33554432000 134512640 135840783 4293910128 4293908488 135308526 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 20629 16188 431 325 0 19565 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82516 [startup+51.1003 s] /proc/loadavg: 1.96 1.99 2.07 3/177 11841 /proc/meminfo: memFree=26852948/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=88012 CPUtime=51.08 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 744952 0 0 0 4874 234 0 0 20 0 1 0 336178994 90124288 16283 33554432000 134512640 135840783 4293910128 4293908448 134694620 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 22003 16283 431 325 0 20939 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 88012 [startup+102.307 s] /proc/loadavg: 2.06 2.01 2.07 3/177 11841 /proc/meminfo: memFree=26851292/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=84048 CPUtime=102.27 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 913898 0 0 0 9937 290 0 0 20 0 1 0 336178994 86065152 15255 33554432000 134512640 135840783 4293910128 4293908448 134694618 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 21012 15255 431 325 0 19948 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 84048 [startup+162.3 s] /proc/loadavg: 2.02 2.00 2.06 3/177 11841 /proc/meminfo: memFree=26839380/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=82892 CPUtime=162.25 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 1111561 0 0 0 15872 353 0 0 20 0 1 0 336178994 84881408 16991 33554432000 134512640 135840783 4293910128 4293908300 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 20723 16991 431 325 0 19659 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 82892 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.06 3/177 11841 /proc/meminfo: memFree=26832752/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=81796 CPUtime=222.24 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 1409366 0 0 0 21788 436 0 0 20 0 1 0 336178994 83759104 16254 33554432000 134512640 135840783 4293910128 4293908448 134694629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 20449 16254 431 325 0 19385 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 81796 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.05 3/178 11844 /proc/meminfo: memFree=26825436/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=80708 CPUtime=282.24 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 1920448 0 0 0 27646 578 0 0 20 0 1 0 336178994 82644992 16645 33554432000 134512640 135840783 4293910128 4293908448 134694629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 20177 16645 431 325 0 19113 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 80708 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/177 11884 /proc/meminfo: memFree=27250708/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=58004 CPUtime=342.22 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 2084470 0 0 0 33596 626 0 0 20 0 1 0 336178994 59396096 13862 33554432000 134512640 135840783 4293910128 4293908672 135447564 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 14501 13862 431 325 0 13437 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 58004 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/177 11884 /proc/meminfo: memFree=27250272/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=85800 CPUtime=402.21 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 2269876 0 0 0 39538 683 0 0 20 0 1 0 336178994 87859200 15584 33554432000 134512640 135840783 4293910128 4293908428 135331694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 21450 15584 431 325 0 20386 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 85800 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.03 3/177 11884 /proc/meminfo: memFree=27252500/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=58004 CPUtime=462.21 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 2606023 0 0 0 45445 776 0 0 20 0 1 0 336178994 59396096 13873 33554432000 134512640 135840783 4293910128 4293908672 135447542 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 14501 13873 431 325 0 13437 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 58004 [startup+522.3 s] /proc/loadavg: 2.06 2.02 2.03 3/177 11884 /proc/meminfo: memFree=27252628/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=88616 CPUtime=522.19 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 2801091 0 0 0 51386 833 0 0 20 0 1 0 336178994 90742784 16425 33554432000 134512640 135840783 4293910128 4293908448 134694618 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 22154 16425 431 325 0 21090 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 88616 [startup+582.3 s] /proc/loadavg: 2.02 2.01 2.03 3/177 11884 /proc/meminfo: memFree=27245140/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=79628 CPUtime=582.19 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 3007485 0 0 0 57322 897 0 0 20 0 1 0 336178994 81539072 15167 33554432000 134512640 135840783 4293910128 4293906608 135261500 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 19907 15167 431 325 0 18843 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 79628 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.01 2.01 2.01 3/177 11886 /proc/meminfo: memFree=27248580/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=84896 CPUtime=822.14 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 4272706 0 0 0 80959 1255 0 0 20 0 1 0 336178994 86933504 16156 33554432000 134512640 135840783 4293910128 4293908468 135322760 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 21224 16159 431 325 0 20160 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 84896 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11889 /proc/meminfo: memFree=27246020/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=96604 CPUtime=882.14 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 4449252 0 0 0 86905 1309 0 0 20 0 1 0 336178994 98922496 17172 33554432000 134512640 135840783 4293910128 4293908256 134700367 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 24151 17172 431 325 0 23087 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 96604 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11889 /proc/meminfo: memFree=27251744/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=82284 CPUtime=942.12 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 4782336 0 0 0 92803 1409 0 0 20 0 1 0 336178994 84258816 16536 33554432000 134512640 135840783 4293910128 4293908524 135333131 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 20571 16536 431 325 0 19507 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 82284 [startup+1002.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 11890 /proc/meminfo: memFree=27248864/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=86200 CPUtime=1002.11 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 4970445 0 0 0 98746 1465 0 0 20 0 1 0 336178994 88268800 15896 33554432000 134512640 135840783 4293910128 4293908448 134694627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 21550 15896 431 325 0 20486 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 86200 [startup+1062.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 11890 /proc/meminfo: memFree=27245112/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=95028 CPUtime=1062.1 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 5166690 0 0 0 104687 1523 0 0 20 0 1 0 336178994 97308672 17531 33554432000 134512640 135840783 4293910128 4293908448 134694627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 23757 17531 431 325 0 22693 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 95028 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11890 /proc/meminfo: memFree=27248508/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=103180 CPUtime=1122.08 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 5405846 0 0 0 110611 1597 0 0 20 0 1 0 336178994 105656320 16723 33554432000 134512640 135840783 4293910128 4293908516 135184510 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 25795 16723 431 325 0 24731 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 103180 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11890 /proc/meminfo: memFree=27248376/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=89276 CPUtime=1182.07 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 5597864 0 0 0 116547 1660 0 0 20 0 1 0 336178994 91418624 15957 33554432000 134512640 135840783 4293910128 4293907344 135336330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 22319 15957 431 325 0 21255 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 89276 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11890 /proc/meminfo: memFree=27251144/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=86432 CPUtime=1242.06 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 5798984 0 0 0 122483 1723 0 0 20 0 1 0 336178994 88506368 15945 33554432000 134512640 135840783 4293910128 4293908448 134694627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 21608 15945 431 325 0 20544 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 86432 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11891 /proc/meminfo: memFree=27250412/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=86284 CPUtime=1302.05 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 5977677 0 0 0 128427 1778 0 0 20 0 1 0 336178994 88354816 15842 33554432000 134512640 135840783 4293910128 4293908428 135331946 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 21571 15842 431 325 0 20507 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 86284 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11891 /proc/meminfo: memFree=27250616/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=87600 CPUtime=1362.04 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 6168779 0 0 0 134361 1843 0 0 20 0 1 0 336178994 89702400 15462 33554432000 134512640 135840783 4293910128 4293907128 134689757 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 21900 15462 431 325 0 20836 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 87600 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11891 /proc/meminfo: memFree=27246144/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=97580 CPUtime=1422.04 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 6346459 0 0 0 140303 1901 0 0 20 0 1 0 336178994 99921920 15925 33554432000 134512640 135840783 4293910128 4293908416 134694620 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 24395 15925 431 325 0 23331 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 97580 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11894 /proc/meminfo: memFree=27245996/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=90868 CPUtime=1482.01 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 6522083 0 0 0 146242 1959 0 0 20 0 1 0 336178994 93048832 17300 33554432000 134512640 135840783 4293910128 4293908224 134700376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 22717 17300 431 325 0 21653 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 90868 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11932 /proc/meminfo: memFree=27247800/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=87944 CPUtime=1542 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 6726532 0 0 0 152174 2026 0 0 20 0 1 0 336178994 90054656 15050 33554432000 134512640 135840783 4293910128 4293907128 134689749 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 21986 15050 431 325 0 20922 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 87944 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11933 /proc/meminfo: memFree=27243792/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=90720 CPUtime=1601.99 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 7007700 0 0 0 158087 2112 0 0 20 0 1 0 336178994 92897280 16951 33554432000 134512640 135840783 4293910128 4293908300 135313327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 22680 16951 431 325 0 21616 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 90720 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 11933 /proc/meminfo: memFree=27240544/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=88192 CPUtime=1661.97 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 7190278 0 0 0 164027 2170 0 0 20 0 1 0 336178994 90308608 15886 33554432000 134512640 135840783 4293910128 4293908256 134700341 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 22048 15886 431 325 0 20984 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 88192 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 11933 /proc/meminfo: memFree=27240596/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=88708 CPUtime=1721.97 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 7392913 0 0 0 169959 2238 0 0 20 0 1 0 336178994 90836992 16225 33554432000 134512640 135840783 4293910128 4293908296 135306417 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 22177 16225 431 325 0 21113 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 88708 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11933 /proc/meminfo: memFree=27245984/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=88128 CPUtime=1781.96 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 7592631 0 0 0 175897 2299 0 0 20 0 1 0 336178994 90243072 15840 33554432000 134512640 135840783 4293910128 4293908448 134694629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 22032 15840 431 325 0 20968 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 88128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11933 /proc/meminfo: memFree=27234624/32873648 swapFree=6860/6860 [pid=11839] ppid=11837 vsize=91364 CPUtime=1800.05 cores=1,3,5,7 /proc/11839/stat : 11839 (bsolo3.0.17) R 11837 11839 9030 0 -1 4202496 7646278 0 0 0 177689 2316 0 0 20 0 1 0 336178994 93556736 17534 33554432000 134512640 135840783 4293910128 4293908300 135313327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/11839/statm: 22841 17534 431 325 0 21777 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 91364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.41 CPU time (s): 1800.07 CPU user time (s): 1776.9 CPU system time (s): 23.1695 CPU usage (%): 99.981 Max. virtual memory (cumulated for all children) (KiB): 103540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.9 system time used= 23.1695 maximum resident set size= 76284 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7646280 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= 114 involuntary context switches= 1829 runsolver used 3.41248 second user time and 9.67253 second system time The end
Begin job on node116 at 2012-06-03 07:15:29 IDJOB=3734661 IDBENCH=2889 IDSOLVER=2318 FILE ID=node116/3734661-1338700529 RUNJOBID= node116-1338678620-9050 PBS_JOBID= 14636697 Free space on /tmp= 71020 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734661-1338700529/watcher-3734661-1338700529 -o /tmp/evaluation-result-3734661-1338700529/solver-3734661-1338700529 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734661-1338700529.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED=202966430 node116.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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 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.556 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.556 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 : 5438.54 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.556 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.556 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.556 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.92 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.556 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.556 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: 26924428 kB Buffers: 546132 kB Cached: 4083872 kB SwapCached: 3028 kB Active: 2596712 kB Inactive: 2437512 kB Active(anon): 394068 kB Inactive(anon): 8500 kB Active(file): 2202644 kB Inactive(file): 2429012 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67103480 kB Dirty: 16148 kB Writeback: 0 kB AnonPages: 406860 kB Mapped: 13232 kB Shmem: 68 kB Slab: 773840 kB SReclaimable: 218296 kB SUnreclaim: 555544 kB KernelStack: 1424 kB PageTables: 4792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 517524 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 305152 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= 71016 MiB End job on node116 at 2012-06-03 07:45:32