Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 37 | 49.8264 | 49.8473 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5.r.opb |
MD5SUM | a65b7dae8af36ed37815bca4e48a5306 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 49.8264 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | YES |
Number of variables | 2428 |
Total number of constraints | 831 |
Number of constraints which are clauses | 831 |
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 | 3 |
Maximum length of a constraint | 146 |
Number of terms in the objective function | 2428 |
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 | 2428 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2428 |
Number of bits of the biggest sum of numbers | 12 |
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 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433486-1177960042/instance-433486-1177960042.opb 0.00/0.00 c File size is 377131 bytes. 0.03/0.07 c Highest Coefficient sum: 2428 0.03/0.07 c Parsing was ok!! 0.03/0.07 c Total parsing time: 0.072 s 0.03/0.07 c Var: 2428 Constr: 831 831/0/0 Lit: 41085 Watch. Lit: 1662 0.03/0.07 c Obj. Vars: 2428 (100 % of total variables) 0.19/0.21 c Formula reductions applied at preprocessing 0.19/0.21 c Pre-processing Time: 0.21 s 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 1038 730 34566 47 1460 243 0 0 0.21 0.59/0.64 c Initial Lower Bound: 36 0.59/0.64 c Initial Path Cost: 1 0.59/0.64 o 57 0.637 7.49/7.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.49/7.56 c 0 1038 731 35604 48 2444 1243 1 0 0.64 7.49/7.56 o 43 7.561 * 10.09/10.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.09/10.15 c 0 1038 732 36642 50 3442 2243 2 0 7.56 10.09/10.15 o 38 10.151 * 30.88/30.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.88/30.97 c 0 1038 733 37680 51 4445 3243 3 0 10.15 30.88/30.97 o 37 30.958 * 49.78/49.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.78/49.84 c 39 1037 812 39216 48 5603 3243 82 1 30.96 49.78/49.84 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 49.78/49.84 v -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 49.78/49.84 v -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 49.78/49.84 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 49.78/49.84 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 49.78/49.84 v -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 49.78/49.84 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 49.78/49.84 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 49.78/49.84 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 49.78/49.84 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 49.78/49.84 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 49.78/49.84 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 49.78/49.84 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 49.78/49.84 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 49.78/49.84 v -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 49.78/49.84 v -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 49.78/49.84 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 49.78/49.84 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 49.78/49.84 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 49.78/49.84 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 49.78/49.84 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 49.78/49.84 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 49.78/49.84 v -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 49.78/49.84 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 49.78/49.84 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 49.78/49.84 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 49.78/49.84 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 49.78/49.84 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 49.78/49.84 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 49.78/49.84 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 49.78/49.84 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 49.78/49.84 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 49.78/49.84 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 49.78/49.84 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 49.78/49.84 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 49.78/49.84 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 49.78/49.84 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 49.78/49.84 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 49.78/49.84 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 49.78/49.84 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 49.78/49.84 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 49.78/49.84 v -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 49.78/49.84 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 49.78/49.84 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 49.78/49.84 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 49.78/49.84 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 49.78/49.84 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 49.78/49.84 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 49.78/49.84 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 49.78/49.84 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 49.78/49.84 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 49.78/49.84 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 49.78/49.84 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 49.78/49.84 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 49.78/49.84 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 49.78/49.84 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 49.78/49.84 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 49.78/49.84 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 49.78/49.84 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 49.78/49.84 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 49.78/49.84 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 49.78/49.84 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 49.78/49.84 v -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 49.78/49.84 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 49.78/49.84 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 49.78/49.84 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 49.78/49.84 v -x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 49.78/49.84 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 49.78/49.84 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 49.78/49.84 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 49.78/49.84 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 49.78/49.84 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 49.78/49.84 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 49.78/49.84 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 49.78/49.84 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 49.78/49.84 v -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 49.78/49.84 v -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 49.78/49.84 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 49.78/49.84 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 49.78/49.84 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 49.78/49.84 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 49.78/49.84 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 49.78/49.84 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 49.78/49.84 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 49.78/49.84 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 49.78/49.84 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 49.78/49.84 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 49.78/49.84 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 49.78/49.84 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 49.78/49.84 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 49.78/49.84 v -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 49.78/49.84 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 49.78/49.84 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 49.78/49.84 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 49.78/49.84 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 49.78/49.84 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 49.78/49.84 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 49.78/49.84 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 49.78/49.84 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 49.78/49.84 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 49.78/49.84 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 49.78/49.84 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 49.78/49.84 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 49.78/49.84 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 49.78/49.84 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 49.78/49.84 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 49.78/49.84 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 49.78/49.84 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 49.78/49.84 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 49.78/49.84 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 49.78/49.84 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 49.78/49.84 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 49.78/49.84 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 49.78/49.84 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 49.78/49.84 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 49.78/49.84 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 49.78/49.84 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 49.78/49.84 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 49.78/49.84 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 49.78/49.84 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 49.78/49.84 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 49.78/49.84 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 49.78/49.84 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 49.78/49.84 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 49.78/49.84 v x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 49.78/49.84 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 49.78/49.84 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 49.78/49.84 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 49.78/49.84 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 49.78/49.84 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 49.78/49.84 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 49.78/49.84 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 49.78/49.84 c 4 106 1 1161 947 39459 217 2 49.82 49.78/49.84 c Objective: 37 49.78/49.84 s OPTIMUM FOUND 49.78/49.84 c Total time: 49.822 s
OK 37
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-433486-1177960042 -o ROOT/results/node54/solver-433486-1177960042 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433486-1177960042/instance-433486-1177960042.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.73 0.93 0.97 3/66 29290 /proc/meminfo: memFree=1390072/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=12108 CPUtime=0 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 243378654 12398592 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 3027 336 279 324 0 2004 0 [startup+0.0415901 s] /proc/loadavg: 0.73 0.93 0.97 3/66 29290 /proc/meminfo: memFree=1390072/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=4720 CPUtime=0.03 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 524 0 0 0 3 0 0 0 18 0 1 0 243378654 4833280 494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2285149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 1180 494 327 324 0 157 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4720 [startup+0.101584 s] /proc/loadavg: 0.73 0.93 0.97 3/66 29290 /proc/meminfo: memFree=1390072/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=4976 CPUtime=0.09 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 888 0 0 0 9 0 0 0 18 0 1 0 243378654 5095424 627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1936497 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 1244 627 304 324 0 314 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4976 [startup+0.30161 s] /proc/loadavg: 0.73 0.93 0.97 3/66 29290 /proc/meminfo: memFree=1390072/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=5840 CPUtime=0.29 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 8754 0 0 0 26 3 0 0 19 0 1 0 243378654 5980160 873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 1460 873 334 324 0 530 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5840 [startup+0.70166 s] /proc/loadavg: 0.73 0.93 0.97 3/66 29290 /proc/meminfo: memFree=1390072/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=8408 CPUtime=0.69 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 22980 0 0 0 61 8 0 0 22 0 1 0 243378654 8609792 1254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324229 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2102 1254 393 324 0 1172 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8408 [startup+1.50176 s] /proc/loadavg: 0.73 0.93 0.97 2/67 29291 /proc/meminfo: memFree=1386480/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=8452 CPUtime=1.49 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 25064 0 0 0 140 9 0 0 25 0 1 0 243378654 8654848 1291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135323111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2113 1291 393 324 0 1183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8452 [startup+3.10197 s] /proc/loadavg: 0.73 0.93 0.97 2/67 29291 /proc/meminfo: memFree=1386032/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=8312 CPUtime=3.09 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 29939 0 0 0 298 11 0 0 25 0 1 0 243378654 8511488 1301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2078 1301 393 324 0 1148 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8312 [startup+6.30137 s] /proc/loadavg: 0.75 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1386224/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=8468 CPUtime=6.28 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 41861 0 0 0 611 17 0 0 25 0 1 0 243378654 8671232 1293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135326372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2117 1293 393 324 0 1187 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8468 [startup+12.7012 s] /proc/loadavg: 0.77 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1386040/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=9572 CPUtime=12.69 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 58285 0 0 0 1244 25 0 0 25 0 1 0 243378654 9801728 1224 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2393 1224 394 324 0 1463 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9572 [startup+25.5018 s] /proc/loadavg: 0.82 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1386552/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=9376 CPUtime=25.49 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 84000 0 0 0 2510 39 0 0 25 0 1 0 243378654 9601024 1351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135311552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2344 1351 394 324 0 1414 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9376 Solver just ended. Dumping a history of the last processes samples [startup+38.3014 s] /proc/loadavg: 0.85 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1386424/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=9648 CPUtime=38.27 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 109739 0 0 0 3776 51 0 0 25 0 1 0 243378654 9879552 1289 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2412 1289 394 324 0 1482 0 Current children cumulated CPU time (s) 38.27 Current children cumulated vsize (KiB) 9648 [startup+44.7013 s] /proc/loadavg: 0.87 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1385976/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=9784 CPUtime=44.68 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 122195 0 0 0 4410 58 0 0 25 0 1 0 243378654 10018816 1233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2446 1233 394 324 0 1516 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 9784 [startup+47.9017 s] /proc/loadavg: 0.87 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1385784/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=10100 CPUtime=47.87 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 128833 0 0 0 4726 61 0 0 25 0 1 0 243378654 10342400 1239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135202866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2525 1239 394 324 0 1595 0 Current children cumulated CPU time (s) 47.87 Current children cumulated vsize (KiB) 10100 [startup+48.7018 s] /proc/loadavg: 0.87 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1386488/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=9824 CPUtime=48.67 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 130600 0 0 0 4806 61 0 0 25 0 1 0 243378654 10059776 1358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135326369 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2456 1358 394 324 0 1526 0 Current children cumulated CPU time (s) 48.67 Current children cumulated vsize (KiB) 9824 [startup+49.5069 s] /proc/loadavg: 0.88 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1386168/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=9824 CPUtime=49.48 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 132636 0 0 0 4886 62 0 0 25 0 1 0 243378654 10059776 1305 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135326369 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2456 1305 394 324 0 1526 0 Current children cumulated CPU time (s) 49.48 Current children cumulated vsize (KiB) 9824 [startup+49.7019 s] /proc/loadavg: 0.88 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1386168/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=9636 CPUtime=49.67 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 133320 0 0 0 4905 62 0 0 25 0 1 0 243378654 9867264 1237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2409 1237 394 324 0 1479 0 Current children cumulated CPU time (s) 49.67 Current children cumulated vsize (KiB) 9636 [startup+49.8019 s] /proc/loadavg: 0.88 0.94 0.97 2/67 29291 /proc/meminfo: memFree=1386168/2055920 swapFree=4182164/4192956 [pid=29290] ppid=29288 vsize=9728 CPUtime=49.78 /proc/29290/stat : 29290 (bsolo3.0.17) R 29288 29290 28201 0 -1 4194304 133650 0 0 0 4915 63 0 0 25 0 1 0 243378654 9961472 1224 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2255950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29290/statm: 2432 1224 394 324 0 1502 0 Current children cumulated CPU time (s) 49.78 Current children cumulated vsize (KiB) 9728 Child status: 0 Real time (s): 49.8473 CPU time (s): 49.8264 CPU user time (s): 49.1935 CPU system time (s): 0.632903 CPU usage (%): 99.9581 Max. virtual memory (cumulated for all children) (KiB): 10100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.1935 system time used= 0.632903 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133970 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= 14 involuntary context switches= 103 runsolver used 0.046992 second user time and 0.140978 second system time The end
Begin job on node54 on Mon Apr 30 19:07:22 UTC 2007 IDJOB= 433486 IDBENCH= 2873 IDSOLVER= 199 FILE ID= node54/433486-1177960042 PBS_JOBID= 4727694 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433486-1177960042/instance-433486-1177960042.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-433486-1177960042 -o ROOT/results/node54/solver-433486-1177960042 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433486-1177960042/instance-433486-1177960042.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a65b7dae8af36ed37815bca4e48a5306 RANDOM SEED= 148752911 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1390544 kB Buffers: 32380 kB Cached: 552464 kB SwapCached: 4036 kB Active: 150720 kB Inactive: 444060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1390544 kB SwapTotal: 4192956 kB SwapFree: 4182164 kB Dirty: 7104 kB Writeback: 0 kB Mapped: 15948 kB Slab: 56568 kB Committed_AS: 2417020 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node54 on Mon Apr 30 19:08:12 UTC 2007