Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 70 | 1798.02 | 1798.32 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3734663-1338715578.opb 0.00/0.00 c File size is 9972193 bytes. 0.69/0.76 c Highest Coefficient sum: 5203 0.69/0.76 c Parsing was ok!! 0.69/0.76 c Total parsing time: 0.763 s 0.69/0.77 c Var: 5203 Constr: 19637 19637/0/0 Lit: 1117990 Watch. Lit: 39274 0.69/0.77 c Obj. Vars: 5203 (100 % of total variables) 10.78/10.89 c Formula reductions applied at preprocessing 10.78/10.89 c Pre-processing Time: 10.894 s 23.79/23.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.79/23.83 c 0 5039 19063 1097921 57 38126 6354 0 0 10.89 23.79/23.83 c Initial Lower Bound: 40 23.79/23.83 c Initial Path Cost: 0 23.79/23.87 o 89 369.72/369.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 369.72/369.87 c 2 5039 19067 1103359 57 43084 7354 4 0 23.87 369.72/369.87 o 73 801.15/801.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 801.15/801.38 c 4 5039 19072 1108910 58 48060 7354 9 0 369.81 801.15/801.38 o 71 1207.69/1207.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1207.69/1207.98 c 7 5039 19078 1115320 58 53040 7354 15 0 801.25 1207.69/1207.98 o 70 1797.98/1798.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.32 c 77 5039 19274 1557079 80 58401 7354 211 0 1207.78 1797.98/1798.32 c 184 5039 19586 2468049 126 59025 8090 523 0 1613.27 1797.98/1798.32 c Resources Exceeded 1797.98/1798.32 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 1797.98/1798.32 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.32 c 5 184 31 21860 19586 2468049 523 0 1798.02 1797.98/1798.32 c Objective: 70 1797.98/1798.32 s SATISFIABLE 1797.98/1798.32 c Total time: 1798.02 s
OK 70
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-3734663-1338715578/watcher-3734663-1338715578 -o /tmp/evaluation-result-3734663-1338715578/solver-3734663-1338715578 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734663-1338715578.opb 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: 2.00 2.00 2.00 3/174 19720 /proc/meminfo: memFree=25869200/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=28640 CPUtime=0 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 381 0 0 0 0 0 0 0 20 0 1 0 337683245 29327360 334 33554432000 134512640 137136520 4287344544 4287343072 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 7160 334 188 641 0 4081 0 [startup+0.0992791 s] /proc/loadavg: 2.00 2.00 2.00 3/174 19720 /proc/meminfo: memFree=25869200/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=22640 CPUtime=0.09 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 1142 0 0 0 9 0 0 0 20 0 1 0 337683245 23183360 1095 33554432000 134512640 137136520 4287344544 4287341784 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 5660 1096 482 641 0 2581 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22640 [startup+0.100275 s] /proc/loadavg: 2.00 2.00 2.00 3/174 19720 /proc/meminfo: memFree=25869200/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=22640 CPUtime=0.09 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 1151 0 0 0 9 0 0 0 20 0 1 0 337683245 23183360 1104 33554432000 134512640 137136520 4287344544 4287343072 134517511 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 5660 1105 485 641 0 2581 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22640 [startup+0.300245 s] /proc/loadavg: 2.00 2.00 2.00 3/174 19720 /proc/meminfo: memFree=25869200/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=26780 CPUtime=0.29 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 2816 0 0 0 29 0 0 0 20 0 1 0 337683245 27422720 2769 33554432000 134512640 137136520 4287344544 4287341736 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 6695 2769 1123 641 0 3616 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26780 [startup+0.700238 s] /proc/loadavg: 2.00 2.00 2.00 3/174 19720 /proc/meminfo: memFree=25869200/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=34952 CPUtime=0.69 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 6123 0 0 0 68 1 0 0 20 0 1 0 337683245 35790848 6076 33554432000 134512640 137136520 4287344544 4287342200 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 8738 6077 2397 641 0 5659 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34952 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19721 /proc/meminfo: memFree=25832272/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=45444 CPUtime=1.49 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 11401 0 0 0 147 2 0 0 20 0 1 0 337683245 46534656 8919 33554432000 134512640 137136520 4287344544 4287280604 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 11361 8919 190 641 0 10717 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45444 [startup+3.10029 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19721 /proc/meminfo: memFree=25832068/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=45444 CPUtime=3.09 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 11401 0 0 0 306 3 0 0 20 0 1 0 337683245 46534656 8919 33554432000 134512640 137136520 4287344544 4287280604 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 11361 8919 190 641 0 10717 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45444 [startup+6.30029 s] /proc/loadavg: 2.08 2.02 2.01 3/175 19721 /proc/meminfo: memFree=25830828/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=44816 CPUtime=6.29 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 15598 0 0 0 626 3 0 0 20 0 1 0 337683245 45891584 8754 33554432000 134512640 137136520 4287344544 4287280604 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 11204 8754 190 641 0 10560 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44816 [startup+12.7003 s] /proc/loadavg: 2.07 2.02 2.00 3/175 19721 /proc/meminfo: memFree=25820972/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=49768 CPUtime=12.69 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 53465 0 0 0 1256 13 0 0 20 0 1 0 337683245 50962432 8961 33554432000 134512640 137136520 4287344544 4287342656 134710037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 12442 8977 225 641 0 11798 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49768 [startup+25.5003 s] /proc/loadavg: 2.06 2.01 2.00 3/175 19721 /proc/meminfo: memFree=25785004/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=64156 CPUtime=25.48 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 670407 0 0 0 2343 205 0 0 20 0 1 0 337683245 65695744 13717 33554432000 134512640 137136520 4287344544 4287342528 135781765 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 16039 13717 292 641 0 15395 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64156 [startup+51.1003 s] /proc/loadavg: 2.04 2.01 2.00 3/175 19721 /proc/meminfo: memFree=25773704/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=87240 CPUtime=51.07 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 857646 0 0 0 4841 266 0 0 20 0 1 0 337683245 89333760 15318 33554432000 134512640 137136520 4287344544 4287342336 134732877 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 21810 15318 292 641 0 21166 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 87240 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/175 19721 /proc/meminfo: memFree=25757112/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=64156 CPUtime=102.28 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 1310448 0 0 0 9811 417 0 0 20 0 1 0 337683245 65695744 14077 33554432000 134512640 137136520 4287344544 4287342528 135781782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 16039 14077 292 641 0 15395 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 64156 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19721 /proc/meminfo: memFree=25752072/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=85664 CPUtime=162.26 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 1881791 0 0 0 15617 609 0 0 20 0 1 0 337683245 87719936 15627 33554432000 134512640 137136520 4287344544 4287342300 135457071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 21416 15627 292 641 0 20772 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 85664 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19721 /proc/meminfo: memFree=25746604/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=83260 CPUtime=222.25 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 2462047 0 0 0 21426 799 0 0 20 0 1 0 337683245 85258240 14985 33554432000 134512640 137136520 4287344544 4287342232 135442575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 20815 14985 292 641 0 20171 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 83260 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 19725 /proc/meminfo: memFree=25744780/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=73040 CPUtime=282.24 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 2977970 0 0 0 27237 987 0 0 20 0 1 0 337683245 74792960 14421 33554432000 134512640 137136520 4287344544 4287342288 134711054 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 18260 14440 292 641 0 17616 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 73040 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19725 /proc/meminfo: memFree=25744664/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=64156 CPUtime=342.23 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 3769815 0 0 0 32951 1272 0 0 20 0 1 0 337683245 65695744 14077 33554432000 134512640 137136520 4287344544 4287342528 135781782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 16039 14077 292 641 0 15395 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 64156 [startup+402.3 s] /proc/loadavg: 2.07 2.02 2.00 3/175 19725 /proc/meminfo: memFree=25737776/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=90532 CPUtime=402.22 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 4390833 0 0 0 38739 1483 0 0 20 0 1 0 337683245 92704768 16301 33554432000 134512640 137136520 4287344544 4287342384 135455330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 22633 16301 293 641 0 21989 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 90532 [startup+462.3 s] /proc/loadavg: 2.02 2.01 2.00 3/175 19725 /proc/meminfo: memFree=25734304/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=88576 CPUtime=462.21 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 4846933 0 0 0 44580 1641 0 0 20 0 1 0 337683245 90701824 16832 33554432000 134512640 137136520 4287344544 4287342496 135068917 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 22144 16832 293 641 0 21500 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 88576 [startup+522.3 s] /proc/loadavg: 2.01 2.00 2.00 3/176 19726 /proc/meminfo: memFree=25730320/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=64156 CPUtime=522.2 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 5521337 0 0 0 50372 1848 0 0 20 0 1 0 337683245 65695744 14078 33554432000 134512640 137136520 4287344544 4287342528 135781782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 16039 14078 293 641 0 15395 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 64156 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19727 /proc/meminfo: memFree=25738504/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=84712 CPUtime=582.18 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 6118712 0 0 0 56174 2044 0 0 20 0 1 0 337683245 86745088 15310 33554432000 134512640 137136520 4287344544 4287342416 134728828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 21178 15310 293 641 0 20534 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 84712 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=25724560/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=61272 CPUtime=1062.11 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 11561543 0 0 0 102332 3879 0 0 20 0 1 0 337683245 62742528 12403 33554432000 134512640 137136520 4287344544 4287342744 136571969 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 14437 12305 293 641 0 13793 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 61272 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19731 /proc/meminfo: memFree=25725304/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=55576 CPUtime=1122.1 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 12279053 0 0 0 108052 4158 0 0 20 0 1 0 337683245 56909824 11933 33554432000 134512640 137136520 4287344544 4287342432 134748938 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 13894 11933 293 641 0 13250 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 55576 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19732 /proc/meminfo: memFree=25737032/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=71888 CPUtime=1182.1 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 13011491 0 0 0 113790 4420 0 0 20 0 1 0 337683245 73613312 14199 33554432000 134512640 137136520 4287344544 4287342664 134731914 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 17972 14211 293 641 0 17328 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 71888 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19732 /proc/meminfo: memFree=25719840/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=93176 CPUtime=1242.08 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 13783769 0 0 0 119542 4666 0 0 20 0 1 0 337683245 95412224 17262 33554432000 134512640 137136520 4287344544 4287342384 135455308 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 23294 17262 293 641 0 22650 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 93176 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19732 /proc/meminfo: memFree=25713884/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=96268 CPUtime=1302.08 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 14689989 0 0 0 125272 4936 0 0 20 0 1 0 337683245 98578432 17698 33554432000 134512640 137136520 4287344544 4287342496 135068923 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 24067 17698 293 641 0 23423 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 96268 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19732 /proc/meminfo: memFree=25724480/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=68448 CPUtime=1362.06 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 15672247 0 0 0 130988 5218 0 0 20 0 1 0 337683245 70090752 15151 33554432000 134512640 137136520 4287344544 4287342528 135781782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 17112 15151 293 641 0 16468 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 68448 [startup+1422.31 s] /proc/loadavg: 2.08 2.02 2.01 3/175 19732 /proc/meminfo: memFree=25724480/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=55576 CPUtime=1422.05 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 16352186 0 0 0 136772 5433 0 0 20 0 1 0 337683245 56909824 11933 33554432000 134512640 137136520 4287344544 4287342432 134748144 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 13894 11933 293 641 0 13250 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 55576 [startup+1482.3 s] /proc/loadavg: 2.03 2.01 2.00 3/176 19736 /proc/meminfo: memFree=25726396/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=68448 CPUtime=1482.05 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 17458457 0 0 0 142423 5782 0 0 20 0 1 0 337683245 70090752 15151 33554432000 134512640 137136520 4287344544 4287342528 135781782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 17112 15151 293 641 0 16468 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 68448 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/175 19736 /proc/meminfo: memFree=25743652/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=68448 CPUtime=1542.03 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 18499756 0 0 0 148130 6073 0 0 20 0 1 0 337683245 70090752 13487 33554432000 134512640 137136520 4287344544 4287342528 135781765 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 17112 13487 293 641 0 16468 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 68448 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19736 /proc/meminfo: memFree=25731428/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=55576 CPUtime=1602.02 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 19824535 0 0 0 153723 6479 0 0 20 0 1 0 337683245 56909824 11933 33554432000 134512640 137136520 4287344544 4287342432 134748266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 13894 11933 293 641 0 13250 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 55576 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19736 /proc/meminfo: memFree=25712868/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=75896 CPUtime=1662.01 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 21027950 0 0 0 159410 6791 0 0 20 0 1 0 337683245 77717504 15853 33554432000 134512640 137136520 4287344544 4287342528 135781786 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 18974 15867 293 641 0 18330 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 75896 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19736 /proc/meminfo: memFree=25716964/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=76116 CPUtime=1722 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 22105103 0 0 0 165128 7072 0 0 20 0 1 0 337683245 77942784 17000 33554432000 134512640 137136520 4287344544 4287342416 134743010 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 19029 17000 293 641 0 18385 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 76116 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19737 /proc/meminfo: memFree=25709996/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=108180 CPUtime=1781.98 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 23242401 0 0 0 170836 7362 0 0 20 0 1 0 337683245 110776320 20599 33554432000 134512640 137136520 4287344544 4287342384 135455332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 27045 20599 293 641 0 26401 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 108180 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19785 /proc/meminfo: memFree=25800632/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=107032 CPUtime=1791.59 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 23411489 0 0 0 171752 7407 0 0 20 0 1 0 337683245 109600768 20464 33554432000 134512640 137136520 4287344544 4287342320 134732877 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 26758 20464 293 641 0 26114 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (KiB) 107032 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19785 /proc/meminfo: memFree=25809944/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=97732 CPUtime=1794.79 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 23449677 0 0 0 172061 7418 0 0 20 0 1 0 337683245 100077568 18884 33554432000 134512640 137136520 4287344544 4287342480 135386530 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 24433 18884 293 641 0 23789 0 Current children cumulated CPU time (s) 1794.79 Current children cumulated vsize (KiB) 97732 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19785 /proc/meminfo: memFree=25812176/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=98084 CPUtime=1796.39 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 23496860 0 0 0 172210 7429 0 0 20 0 1 0 337683245 100438016 18707 33554432000 134512640 137136520 4287344544 4287342368 135410675 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 24521 18707 293 641 0 23877 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 98084 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19785 /proc/meminfo: memFree=25800036/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=107156 CPUtime=1797.18 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 23514979 0 0 0 172285 7433 0 0 20 0 1 0 337683245 109727744 20522 33554432000 134512640 137136520 4287344544 4287342000 134718898 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 26789 20522 293 641 0 26145 0 Current children cumulated CPU time (s) 1797.18 Current children cumulated vsize (KiB) 107156 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19785 /proc/meminfo: memFree=25800036/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=107404 CPUtime=1797.59 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 23515771 0 0 0 172325 7434 0 0 20 0 1 0 337683245 109981696 20625 33554432000 134512640 137136520 4287344544 4287342384 135455332 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 26851 20625 293 641 0 26207 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 107404 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 19785 /proc/meminfo: memFree=25800036/32873852 swapFree=6856/6856 [pid=19720] ppid=19718 vsize=97316 CPUtime=1797.98 cores=0,2,4,6 /proc/19720/stat : 19720 (bsolo) R 19718 19720 18547 0 -1 4202496 23524995 0 0 0 172362 7436 0 0 20 0 1 0 337683245 99651584 18648 33554432000 134512640 137136520 4287344544 4287342128 135378934 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/19720/statm: 24329 18649 293 641 0 23685 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 97316 Child status: 0 Real time (s): 1798.32 CPU time (s): 1798.02 CPU user time (s): 1723.65 CPU system time (s): 74.3727 CPU usage (%): 99.9831 Max. virtual memory (cumulated for all children) (KiB): 110888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1723.65 system time used= 74.3727 maximum resident set size= 86984 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23525510 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= 55 involuntary context switches= 1917 runsolver used 2.55261 second user time and 7.2679 second system time The end
Begin job on node129 at 2012-06-03 11:26:18 IDJOB=3734663 IDBENCH=2889 IDSOLVER=2320 FILE ID=node129/3734663-1338715578 RUNJOBID= node129-1338702975-18563 PBS_JOBID= 14636718 Free space on /tmp= 70472 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734663-1338715578/watcher-3734663-1338715578 -o /tmp/evaluation-result-3734663-1338715578/solver-3734663-1338715578 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734663-1338715578.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED=1705810376 node129.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.957 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.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.957 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.957 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.91 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.957 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.957 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.90 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.957 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.957 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.957 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 25870712 kB Buffers: 462352 kB Cached: 5640748 kB SwapCached: 0 kB Active: 2592756 kB Inactive: 3530060 kB Active(anon): 11512 kB Inactive(anon): 10748 kB Active(file): 2581244 kB Inactive(file): 3519312 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 18100 kB Writeback: 0 kB AnonPages: 26016 kB Mapped: 15472 kB Shmem: 204 kB Slab: 741664 kB SReclaimable: 183704 kB SUnreclaim: 557960 kB KernelStack: 1456 kB PageTables: 3924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 140404 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734663-1338715578.opb Free space on /tmp at the end= 70468 MiB End job on node129 at 2012-06-03 11:56:16