Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 | SAT | 495.433 | 495.423 |
Name | /DEC-SMALLINT-LIN/heinz/ normalized-neos-849702.opb |
MD5SUM | 1d9496473cab6648d4a43b81cc40ffb9 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.11283 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1737 |
Total number of constraints | 1041 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 954 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 34 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Instance file HOME/instance-3479028-1307444787.opb 0.00/0.00 c File size is 167971 bytes. 0.00/0.01 c Highest Coefficient sum: 34 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.011 s 0.00/0.01 c Var: 1737 Constr: 1398 270/1128/0 Lit: 25704 Watch. Lit: 19878 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.05 c Pre-processing Time: 0.056 s 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1713 1392 25650 18 19845 123174 0 0 0.06 0.00/0.05 c Switching off lower bounding mode. 495.30/495.39 c 101 1713 1500 29270 19 20178 135492 108 1463 0.07 495.30/495.39 c 252 1713 1681 38415 22 20932 149042 289 2739 0.09 495.30/495.39 c 479 1713 1970 49396 25 22192 163947 578 3656 0.13 495.30/495.39 c 817 1713 2369 73639 31 23562 180342 977 4147 0.20 495.30/495.39 c 1325 1713 2961 117610 39 25527 198377 1569 4288 0.31 495.30/495.39 c 2089 1713 3833 254863 66 28309 218215 2441 3441 0.61 495.30/495.39 c 3235 1713 5154 387044 75 32628 240037 3762 3290 0.98 495.30/495.39 c 4957 1713 7192 604180 84 37818 264041 5800 2907 1.71 495.30/495.39 c 7541 1713 10173 928408 91 48019 290446 8781 2520 2.99 495.30/495.39 c 11423 1713 14606 2616358 179 61212 319491 13214 1219 9.37 495.30/495.39 c 17245 1713 21216 3974452 187 79944 351441 19824 1057 16.30 495.30/495.39 c 25983 1713 31451 7345634 233 110041 386586 30059 733 35.44 495.30/495.39 c 39093 1713 46440 11542322 248 151712 425245 45048 569 68.64 495.30/495.39 c 58763 1713 69755 19569062 280 220966 467770 68363 407 144.06 495.30/495.39 c 88274 1713 104651 35163638 336 322591 514548 103259 257 343.38 495.30/495.39 c Backtracks by Clause: 107056 495.30/495.39 c Backtracks by PB constraint: 1632 495.30/495.39 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 495.30/495.39 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 495.30/495.39 c 15 108688 45762 566242 128143 42222260 126751 219 495.41 495.30/495.39 s SATISFIABLE 495.30/495.39 c Total time: 495.406 s
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3479028-1307444787/watcher-3479028-1307444787 -o /tmp/evaluation-result-3479028-1307444787/solver-3479028-1307444787 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3479028-1307444787.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.08 0.02 0.01 3/511 8527 /proc/meminfo: memFree=19380084/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=11228 CPUtime=0 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 362 0 0 0 0 0 0 0 18 0 1 0 934709450 11497472 316 33554432000 134512640 137138936 4287139312 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 2807 316 187 642 0 2121 0 [startup+0.10844 s] /proc/loadavg: 0.08 0.02 0.01 3/511 8527 /proc/meminfo: memFree=19380084/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=12076 CPUtime=0.1 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 707 0 0 0 10 0 0 0 18 0 1 0 934709450 12365824 595 33554432000 134512640 137138936 4287139312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 3019 595 192 642 0 2375 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12076 [startup+0.200423 s] /proc/loadavg: 0.08 0.02 0.01 3/511 8527 /proc/meminfo: memFree=19380084/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=12648 CPUtime=0.19 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 823 0 0 0 17 2 0 0 18 0 1 0 934709450 12951552 711 33554432000 134512640 137138936 4287139312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 3162 714 192 642 0 2518 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12648 [startup+0.300405 s] /proc/loadavg: 0.08 0.02 0.01 3/511 8527 /proc/meminfo: memFree=19380084/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=13224 CPUtime=0.29 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 968 0 0 0 27 2 0 0 18 0 1 0 934709450 13541376 856 33554432000 134512640 137138936 4287139312 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 3306 856 192 642 0 2662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13224 [startup+0.700338 s] /proc/loadavg: 0.08 0.02 0.01 3/511 8527 /proc/meminfo: memFree=19380084/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=15524 CPUtime=0.69 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 1567 0 0 0 66 3 0 0 18 0 1 0 934709450 15896576 1455 33554432000 134512640 137138936 4287139312 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 3881 1455 192 642 0 3237 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15524 [startup+1.50014 s] /proc/loadavg: 0.08 0.02 0.01 3/515 8534 /proc/meminfo: memFree=19358964/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=19332 CPUtime=1.49 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 2494 0 0 0 145 4 0 0 20 0 1 0 934709450 19795968 2382 33554432000 134512640 137138936 4287139312 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 4833 2382 192 642 0 4189 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19332 [startup+3.10092 s] /proc/loadavg: 0.08 0.02 0.01 2/510 8549 /proc/meminfo: memFree=19365312/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=24976 CPUtime=3.1 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 3918 0 0 0 303 7 0 0 25 0 1 0 934709450 25575424 3806 33554432000 134512640 137138936 4287139312 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 6244 3806 192 642 0 5600 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 24976 [startup+6.30037 s] /proc/loadavg: 0.15 0.03 0.01 3/515 8561 /proc/meminfo: memFree=19288732/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=36596 CPUtime=6.29 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 6832 0 0 0 620 9 0 0 25 0 1 0 934709450 37474304 6720 33554432000 134512640 137138936 4287139312 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 9149 6720 192 642 0 8505 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36596 [startup+12.7002 s] /proc/loadavg: 0.30 0.06 0.02 3/515 8561 /proc/meminfo: memFree=19270328/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=54592 CPUtime=12.69 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 11318 0 0 0 1257 12 0 0 25 0 1 0 934709450 55902208 11206 33554432000 134512640 137138936 4287139312 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 13648 11206 192 642 0 13004 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54592 [startup+25.5009 s] /proc/loadavg: 0.68 0.16 0.05 3/515 8562 /proc/meminfo: memFree=19238288/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=87748 CPUtime=25.5 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 19616 0 0 0 2532 18 0 0 25 0 1 0 934709450 89853952 19504 33554432000 134512640 137138936 4287139312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 21937 19504 192 642 0 21293 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 87748 [startup+51.1005 s] /proc/loadavg: 1.13 0.31 0.10 3/515 8562 /proc/meminfo: memFree=19191492/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=134636 CPUtime=51.09 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 31342 0 0 0 5080 29 0 0 25 0 1 0 934709450 137867264 31230 33554432000 134512640 137138936 4287139312 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 33659 31230 192 642 0 33015 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 134636 [startup+102.3 s] /proc/loadavg: 1.62 0.56 0.20 3/515 8564 /proc/meminfo: memFree=19118564/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=207580 CPUtime=102.3 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 49555 0 0 0 10185 45 0 0 25 0 1 0 934709450 212561920 49443 33554432000 134512640 137138936 4287139312 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 51895 49443 192 642 0 51251 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 207580 [startup+162.301 s] /proc/loadavg: 1.86 0.82 0.31 3/515 8565 /proc/meminfo: memFree=19028996/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=293564 CPUtime=162.3 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 71067 0 0 0 16177 53 0 0 25 0 1 0 934709450 300609536 70955 33554432000 134512640 137138936 4287139312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 73391 70955 192 642 0 72747 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 293564 [startup+222.32 s] /proc/loadavg: 1.95 1.03 0.41 3/515 8567 /proc/meminfo: memFree=18960616/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=362188 CPUtime=222.31 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 88231 0 0 0 22169 62 0 0 25 0 1 0 934709450 370880512 88119 33554432000 134512640 137138936 4287139312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 90547 88119 192 642 0 89903 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 362188 [startup+282.301 s] /proc/loadavg: 1.98 1.21 0.51 3/515 8568 /proc/meminfo: memFree=18906392/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=417548 CPUtime=282.3 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 102071 0 0 0 28159 71 0 0 25 0 1 0 934709450 427569152 101959 33554432000 134512640 137138936 4287139312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 104387 101959 192 642 0 103743 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 417548 [startup+342.3 s] /proc/loadavg: 2.13 1.38 0.61 3/515 8570 /proc/meminfo: memFree=18851796/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=471664 CPUtime=342.3 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 115599 0 0 0 34152 78 0 0 25 0 1 0 934709450 482983936 115487 33554432000 134512640 137138936 4287139312 18446744073709551615 134576446 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 117916 115487 192 642 0 117272 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 471664 [startup+402.301 s] /proc/loadavg: 2.30 1.56 0.71 3/515 8572 /proc/meminfo: memFree=18814692/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=508892 CPUtime=402.3 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 124897 0 0 0 40142 88 0 0 25 0 1 0 934709450 521105408 124785 33554432000 134512640 137138936 4287139312 18446744073709551615 134607568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 127223 124785 192 642 0 126579 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 508892 [startup+462.3 s] /proc/loadavg: 2.17 1.65 0.80 3/515 8573 /proc/meminfo: memFree=18778812/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=544308 CPUtime=462.3 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 133757 0 0 0 46134 96 0 0 25 0 1 0 934709450 557371392 133645 33554432000 134512640 137138936 4287139312 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 136077 133645 192 642 0 135433 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 544308 Solver just ended. Dumping a history of the last processes samples [startup+473.6 s] /proc/loadavg: 2.13 1.67 0.82 3/515 8574 /proc/meminfo: memFree=18771620/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=552076 CPUtime=473.6 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 135707 0 0 0 47264 96 0 0 25 0 1 0 934709450 565325824 135595 33554432000 134512640 137138936 4287139312 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 138019 135595 192 642 0 137375 0 Current children cumulated CPU time (s) 473.6 Current children cumulated vsize (KiB) 552076 [startup+486.401 s] /proc/loadavg: 2.11 1.68 0.83 3/515 8574 /proc/meminfo: memFree=18763560/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=559640 CPUtime=486.4 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 137583 0 0 0 48543 97 0 0 25 0 1 0 934709450 573071360 137471 33554432000 134512640 137138936 4287139312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 139910 137471 192 642 0 139266 0 Current children cumulated CPU time (s) 486.4 Current children cumulated vsize (KiB) 559640 [startup+489.62 s] /proc/loadavg: 2.10 1.68 0.83 3/515 8574 /proc/meminfo: memFree=18761440/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=561832 CPUtime=489.62 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 138135 0 0 0 48864 98 0 0 25 0 1 0 934709450 575315968 138023 33554432000 134512640 137138936 4287139312 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 140458 138023 192 642 0 139814 0 Current children cumulated CPU time (s) 489.62 Current children cumulated vsize (KiB) 561832 [startup+492.801 s] /proc/loadavg: 2.10 1.69 0.84 3/515 8574 /proc/meminfo: memFree=18758960/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=563908 CPUtime=492.81 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 138649 0 0 0 49183 98 0 0 25 0 1 0 934709450 577441792 138537 33554432000 134512640 137138936 4287139312 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 140977 138537 192 642 0 140333 0 Current children cumulated CPU time (s) 492.81 Current children cumulated vsize (KiB) 563908 [startup+494.401 s] /proc/loadavg: 2.10 1.69 0.84 3/515 8574 /proc/meminfo: memFree=18758092/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=564872 CPUtime=494.4 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 138900 0 0 0 49342 98 0 0 25 0 1 0 934709450 578428928 138788 33554432000 134512640 137138936 4287139312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 141218 138788 192 642 0 140574 0 Current children cumulated CPU time (s) 494.4 Current children cumulated vsize (KiB) 564872 [startup+495.201 s] /proc/loadavg: 2.10 1.69 0.84 3/515 8574 /proc/meminfo: memFree=18757592/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=565364 CPUtime=495.2 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202496 139011 0 0 0 49422 98 0 0 25 0 1 0 934709450 578932736 138899 33554432000 134512640 137138936 4287139312 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8527/statm: 141341 138899 192 642 0 140697 0 Current children cumulated CPU time (s) 495.2 Current children cumulated vsize (KiB) 565364 [startup+495.401 s] /proc/loadavg: 2.10 1.69 0.84 3/515 8574 /proc/meminfo: memFree=18757592/32950940 swapFree=67111364/67111528 [pid=8527] ppid=8525 vsize=0 CPUtime=495.4 cores=1,3,5,7 /proc/8527/stat : 8527 (bsolo) R 8525 8527 8495 0 -1 4202500 139033 0 0 0 49441 99 0 0 25 0 1 0 934709450 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/8527/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 495.4 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 495.423 CPU time (s): 495.433 CPU user time (s): 494.419 CPU system time (s): 1.01384 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 565364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 494.419 system time used= 1.01385 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 139033 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= 7 involuntary context switches= 5709 runsolver used 2.43363 second user time and 6.00809 second system time The end
Begin job on node117 at 2011-06-07 13:06:27 IDJOB=3479028 IDBENCH=89820 IDSOLVER=1955 FILE ID=node117/3479028-1307444787 RUNJOBID= node117-1307444786-8514 PBS_JOBID= 13520315 Free space on /tmp= 73964 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos-849702.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479028-1307444787/watcher-3479028-1307444787 -o /tmp/evaluation-result-3479028-1307444787/solver-3479028-1307444787 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3479028-1307444787.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1d9496473cab6648d4a43b81cc40ffb9 RANDOM SEED=276032317 node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 19380612 kB Buffers: 385304 kB Cached: 2992252 kB SwapCached: 0 kB Active: 10367868 kB Inactive: 2799068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 19380612 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 4532 kB Writeback: 0 kB AnonPages: 9789240 kB Mapped: 40972 kB Slab: 271408 kB PageTables: 57928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 149476804 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73948 MiB End job on node117 at 2011-06-07 13:14:42