Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
clasp 2.0.6-R5325 (dec) | SAT | 152.936 | 152.968 |
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 | 4.78427 |
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 Calling clasp with: --sat-p=20,25,240,-1,1 --heuristic=Vsids --dynamic-restarts=100,0.7 --dinit=500,20000 --del=3.0,1.1,20.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --save-p=75 --cir=3 --cir-bump=1023 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 0.00/0.00 c clasp version 2.0.6 0.00/0.00 c Reading from ...166460/instance-3708775-1338166460.opb 0.00/0.00 c Solving... 152.86/152.96 c Answer: 1 152.86/152.96 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 152.86/152.96 v x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 152.86/152.96 v -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 152.86/152.96 v -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 152.86/152.96 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 152.86/152.96 v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 152.86/152.96 v -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 152.86/152.96 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 152.86/152.96 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 152.86/152.96 v -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 152.86/152.96 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 152.86/152.96 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 152.86/152.96 v x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 152.86/152.96 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 152.86/152.96 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 152.86/152.96 v -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 152.86/152.96 v -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 152.86/152.96 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 152.86/152.96 v -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 152.86/152.96 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 152.86/152.96 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 152.86/152.96 v -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 152.86/152.96 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 152.86/152.96 v -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 152.86/152.96 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 152.86/152.96 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 152.86/152.96 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 152.86/152.96 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 152.86/152.96 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 -x371 152.86/152.96 v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 152.86/152.96 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 152.86/152.96 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 152.86/152.96 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 152.86/152.96 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 152.86/152.96 v -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 152.86/152.96 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 152.86/152.96 v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 152.86/152.96 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 152.86/152.96 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 152.86/152.96 v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 152.86/152.96 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 152.86/152.96 v -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 152.86/152.96 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 152.86/152.96 v -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 152.86/152.96 v -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 152.86/152.96 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 152.86/152.96 v x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 152.86/152.96 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 152.86/152.96 v -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 152.86/152.96 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 152.86/152.96 v -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 152.86/152.96 v -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 152.86/152.96 v -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 152.86/152.96 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 152.86/152.96 v -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 152.86/152.96 v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 152.86/152.96 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 152.86/152.96 v -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 152.86/152.96 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 152.86/152.96 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 152.86/152.96 v -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 152.86/152.96 v -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 152.86/152.96 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 152.86/152.96 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 152.86/152.96 v -x792 -x793 -x794 -x795 -x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 152.86/152.96 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 152.86/152.96 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 152.86/152.96 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 152.86/152.96 v -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 152.86/152.96 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 152.86/152.96 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 152.86/152.96 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 152.86/152.96 v x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 152.86/152.96 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 152.86/152.96 v -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 152.86/152.96 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 152.86/152.96 v -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 152.86/152.96 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 152.86/152.96 v -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 152.86/152.96 v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 152.86/152.96 v -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 152.86/152.96 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 152.86/152.96 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 152.86/152.96 v -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 152.86/152.96 v -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 152.86/152.96 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 152.86/152.96 v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 152.86/152.96 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 152.86/152.96 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 152.86/152.96 v -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 152.86/152.96 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 152.86/152.96 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 152.86/152.96 v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 152.86/152.96 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 152.86/152.96 v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 152.86/152.96 v -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 152.86/152.96 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 152.86/152.96 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 152.86/152.96 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 152.86/152.96 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 152.86/152.96 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 152.86/152.96 v x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 152.86/152.96 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 152.86/152.96 v -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 152.86/152.96 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 152.86/152.96 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 152.86/152.96 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 152.86/152.96 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 152.86/152.96 v -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 152.86/152.96 v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 152.86/152.96 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 152.86/152.96 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 152.86/152.96 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 152.86/152.96 v -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 152.86/152.96 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 152.86/152.96 v -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 152.86/152.96 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 152.86/152.96 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 152.86/152.96 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 152.86/152.96 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 152.86/152.96 v -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 152.86/152.96 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 152.86/152.96 v -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 152.86/152.96 v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 152.86/152.96 v x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 152.86/152.96 v -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 152.86/152.96 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 152.86/152.96 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 152.86/152.96 v -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 152.86/152.96 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 152.86/152.96 v -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 152.86/152.96 v -x1547 -x1548 -x1549 x1550 x1551 -x1552 x1553 -x1554 x1555 -x1556 -x1557 152.86/152.96 v x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 152.86/152.96 v -x1569 x1570 -x1571 -x1572 x1573 -x1574 x1575 x1576 -x1577 -x1578 x1579 152.86/152.96 v -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 152.86/152.96 v -x1591 -x1592 x1593 x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 152.86/152.96 v x1602 -x1603 -x1604 x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 152.86/152.96 v x1613 -x1614 -x1615 x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 152.86/152.96 v x1624 -x1625 -x1626 x1627 -x1628 -x1629 x1630 -x1631 -x1632 x1633 -x1634 152.86/152.96 v -x1635 -x1636 -x1637 -x1638 x1639 x1640 x1641 -x1642 -x1643 -x1644 -x1645 152.86/152.96 v -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 152.86/152.96 v -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 x1665 -x1666 x1667 152.86/152.96 v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 152.86/152.96 v x1679 -x1680 x1681 -x1682 -x1683 -x1684 x1685 x1686 -x1687 -x1688 -x1689 152.86/152.96 v x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 152.86/152.96 v -x1701 x1702 x1703 -x1704 x1705 x1706 x1707 -x1708 -x1709 -x1710 x1711 152.86/152.96 v -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 152.86/152.96 v -x1723 -x1724 x1725 x1726 x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 152.86/152.96 v -x1734 x1735 -x1736 -x1737 152.86/152.96 s SATISFIABLE 152.86/152.96 152.86/152.96 c Models : 1+ 152.86/152.96 c Time : 152.963s (Solving: 152.96s 1st Model: 152.96s Unsat: 0.00s) 152.86/152.96 c CPU Time : 152.920s
OK 0
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-3708775-1338166460/watcher-3708775-1338166460 -o /tmp/evaluation-result-3708775-1338166460/solver-3708775-1338166460 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708775-1338166460.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: 2.00 2.00 2.00 3/177 8672 /proc/meminfo: memFree=31451424/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [startup+0.081359 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8672 /proc/meminfo: memFree=31451424/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.100208 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8672 /proc/meminfo: memFree=31451424/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.300177 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8672 /proc/meminfo: memFree=31451424/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.700175 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8672 /proc/meminfo: memFree=31451424/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+1.50021 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8674 /proc/meminfo: memFree=31447912/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=5596 CPUtime=1.49 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 1162 0 0 0 149 0 0 0 20 0 1 0 282770295 5730304 1092 33554432000 4194304 6212839 140733386526800 140733386524808 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 1399 1092 229 493 0 904 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14748 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8674 /proc/meminfo: memFree=31446796/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=6380 CPUtime=3.09 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 1336 0 0 0 309 0 0 0 20 0 1 0 282770295 6533120 1266 33554432000 4194304 6212839 140733386526800 140733386524808 4372000 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 1595 1266 229 493 0 1100 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15532 [startup+6.30021 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8674 /proc/meminfo: memFree=31445864/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=6992 CPUtime=6.29 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 1515 0 0 0 629 0 0 0 20 0 1 0 282770295 7159808 1444 33554432000 4194304 6212839 140733386526800 140733386524968 4686038 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 1748 1444 229 493 0 1253 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16144 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8674 /proc/meminfo: memFree=31443896/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=8152 CPUtime=12.69 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 1783 0 0 0 1269 0 0 0 20 0 1 0 282770295 8347648 1712 33554432000 4194304 6212839 140733386526800 140733386524968 4635058 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 2038 1712 229 493 0 1543 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17304 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8674 /proc/meminfo: memFree=31442840/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=9460 CPUtime=25.48 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 2121 0 0 0 2548 0 0 0 20 0 1 0 282770295 9687040 2049 33554432000 4194304 6212839 140733386526800 140733386524968 4745330 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 2365 2049 229 493 0 1870 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18612 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8674 /proc/meminfo: memFree=31440668/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=11872 CPUtime=51.08 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 2714 0 0 0 5108 0 0 0 20 0 1 0 282770295 12156928 2641 33554432000 4194304 6212839 140733386526800 140733386524952 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 2968 2641 229 493 0 2473 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21024 [startup+102.306 s] /proc/loadavg: 2.05 2.01 2.00 3/179 8674 /proc/meminfo: memFree=31436076/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=15844 CPUtime=102.27 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 3706 0 0 0 10227 0 0 0 20 0 1 0 282770295 16224256 3631 33554432000 4194304 6212839 140733386526800 140733386525096 4685433 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 3961 3631 229 493 0 3466 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24996 Solver just ended. Dumping a history of the last processes samples [startup+127.9 s] /proc/loadavg: 2.03 2.01 2.00 3/179 8674 /proc/meminfo: memFree=31434028/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=17700 CPUtime=127.86 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 4191 0 0 0 12786 0 0 0 20 0 1 0 282770295 18124800 4119 33554432000 4194304 6212839 140733386526800 140733386524952 4681472 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 4425 4119 229 493 0 3930 0 Current children cumulated CPU time (s) 127.86 Current children cumulated vsize (KiB) 26852 [startup+140.7 s] /proc/loadavg: 2.02 2.01 2.00 3/178 8674 /proc/meminfo: memFree=31434152/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=17832 CPUtime=140.66 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 4214 0 0 0 14066 0 0 0 20 0 1 0 282770295 18259968 4142 33554432000 4194304 6212839 140733386526800 140733386524952 4744436 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 4458 4142 229 493 0 3963 0 Current children cumulated CPU time (s) 140.66 Current children cumulated vsize (KiB) 26984 [startup+147.1 s] /proc/loadavg: 2.02 2.01 2.00 3/179 8675 /proc/meminfo: memFree=31434152/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=17832 CPUtime=147.06 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 4214 0 0 0 14706 0 0 0 20 0 1 0 282770295 18259968 4142 33554432000 4194304 6212839 140733386526800 140733386524952 4661900 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 4458 4142 229 493 0 3963 0 Current children cumulated CPU time (s) 147.06 Current children cumulated vsize (KiB) 26984 [startup+150.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 8675 /proc/meminfo: memFree=31433780/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=18236 CPUtime=150.26 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 4298 0 0 0 15026 0 0 0 20 0 1 0 282770295 18673664 4226 33554432000 4194304 6212839 140733386526800 140733386524952 4686042 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 4559 4226 229 493 0 4064 0 Current children cumulated CPU time (s) 150.26 Current children cumulated vsize (KiB) 27388 [startup+151.9 s] /proc/loadavg: 2.02 2.01 2.00 3/179 8675 /proc/meminfo: memFree=31433284/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=18236 CPUtime=151.85 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 4306 0 0 0 15185 0 0 0 20 0 1 0 282770295 18673664 4234 33554432000 4194304 6212839 140733386526800 140733386524952 5437001 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 4559 4234 229 493 0 4064 0 Current children cumulated CPU time (s) 151.85 Current children cumulated vsize (KiB) 27388 [startup+152.7 s] /proc/loadavg: 2.02 2.01 2.00 3/179 8675 /proc/meminfo: memFree=31433284/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=19024 CPUtime=152.65 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 4522 0 0 0 15265 0 0 0 20 0 1 0 282770295 19480576 4450 33554432000 4194304 6212839 140733386526800 140733386524952 4744830 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 4756 4450 229 493 0 4261 0 Current children cumulated CPU time (s) 152.65 Current children cumulated vsize (KiB) 28176 [startup+152.906 s] /proc/loadavg: 2.02 2.01 2.00 3/179 8675 /proc/meminfo: memFree=31432416/32873844 swapFree=7632/7632 [pid=8672] ppid=8670 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/8672/stat : 8672 (clasp-dec.sh) S 8670 8672 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282770294 9371648 274 33554432000 4194304 5064252 140733485333424 140733485332336 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8672/statm: 2288 274 232 213 0 73 0 [pid=8673] ppid=8672 vsize=19024 CPUtime=152.86 cores=1,3,5,7 /proc/8673/stat : 8673 (clasp-R5325) R 8672 8672 7805 0 -1 4202496 4522 0 0 0 15286 0 0 0 20 0 1 0 282770295 19480576 4450 33554432000 4194304 6212839 140733386526800 140733386524968 4744819 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/8673/statm: 4756 4450 229 493 0 4261 0 Current children cumulated CPU time (s) 152.86 Current children cumulated vsize (KiB) 28176 Child status: 10 Real time (s): 152.968 CPU time (s): 152.936 CPU user time (s): 152.926 CPU system time (s): 0.009998 CPU usage (%): 99.9788 Max. virtual memory (cumulated for all children) (KiB): 28176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 152.926 system time used= 0.009998 maximum resident set size= 17840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4895 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= 11 involuntary context switches= 157 runsolver used 0.255961 second user time and 0.584911 second system time The end
Begin job on node141 at 2012-05-28 02:54:20 IDJOB=3708775 IDBENCH=89820 IDSOLVER=2287 FILE ID=node141/3708775-1338166460 RUNJOBID= node141-1338158903-7822 PBS_JOBID= 14624547 Free space on /tmp= 71540 MiB SOLVER NAME= clasp 2.0.6-R5325 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos-849702.opb COMMAND LINE= HOME/clasp-dec.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708775-1338166460/watcher-3708775-1338166460 -o /tmp/evaluation-result-3708775-1338166460/solver-3708775-1338166460 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708775-1338166460.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1d9496473cab6648d4a43b81cc40ffb9 RANDOM SEED=1991634210 node141.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.744 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.48 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.744 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.744 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.93 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.744 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.92 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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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.92 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31451052 kB Buffers: 230668 kB Cached: 345808 kB SwapCached: 228 kB Active: 185052 kB Inactive: 410504 kB Active(anon): 9036 kB Inactive(anon): 11292 kB Active(file): 176016 kB Inactive(file): 399212 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108628 kB Dirty: 2356 kB Writeback: 0 kB AnonPages: 113252 kB Mapped: 11668 kB Shmem: 172 kB Slab: 686396 kB SReclaimable: 128860 kB SUnreclaim: 557536 kB KernelStack: 1488 kB PageTables: 4260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 132628 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 92160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71540 MiB End job on node141 at 2012-05-28 02:56:53