Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
clasp 2.0.6-R5325 (opt) | OPT | 52 | 773.572 | 773.694 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 52 |
Best CPU time to get the best result obtained on this benchmark | 1.16482 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 7288 |
Number of constraints which are clauses | 7288 |
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 | 1 |
Maximum length of a constraint | 124 |
Number of terms in the objective function | 486 |
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 | 486 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 486 |
Number of bits of the biggest sum of numbers | 9 |
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=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model 0.00/0.00 c clasp version 2.0.6 0.00/0.00 c Reading from ...174757/instance-3709301-1338174757.opb 0.00/0.03 c Solving... 0.00/0.03 o 55 1.39/1.49 o 54 1.49/1.56 o 53 9.09/9.15 o 52 773.47/773.69 c Answer: 4 773.47/773.69 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 773.47/773.69 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 773.47/773.69 v x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 773.47/773.69 v -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 773.47/773.69 v -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 773.47/773.69 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 773.47/773.69 v -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 773.47/773.69 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 773.47/773.69 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 x133 x134 773.47/773.69 v x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 773.47/773.69 v -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 773.47/773.69 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 773.47/773.69 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 773.47/773.69 v -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 773.47/773.69 v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 773.47/773.69 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 773.47/773.69 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 x229 -x230 -x231 -x232 773.47/773.69 v -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 773.47/773.69 v -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 773.47/773.69 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 773.47/773.69 v -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 773.47/773.69 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 -x293 773.47/773.69 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 773.47/773.69 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 773.47/773.69 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 773.47/773.69 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 x341 -x342 773.47/773.69 v -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 x354 -x355 773.47/773.69 v -x356 -x357 -x358 -x359 x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 773.47/773.69 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 773.47/773.69 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 773.47/773.69 v -x393 -x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 773.47/773.69 v -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 773.47/773.69 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 773.47/773.69 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 773.47/773.69 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 773.47/773.69 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 773.47/773.69 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 773.47/773.69 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 773.47/773.69 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 773.47/773.69 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 773.47/773.69 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 773.47/773.69 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 773.47/773.69 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 773.47/773.69 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 773.47/773.69 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 773.47/773.69 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 773.47/773.69 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 773.47/773.69 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 773.47/773.69 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 773.47/773.69 v -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 773.47/773.69 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 773.47/773.69 v -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 773.47/773.69 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 773.47/773.69 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 773.47/773.69 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 773.47/773.69 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 773.47/773.69 v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 773.47/773.69 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 773.47/773.69 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 773.47/773.69 v -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 773.47/773.69 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 773.47/773.69 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 773.47/773.69 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 773.47/773.69 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 773.47/773.69 v -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 773.47/773.69 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 773.47/773.69 v -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 773.47/773.69 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 773.47/773.69 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 773.47/773.69 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 773.47/773.69 v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 773.47/773.69 v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 773.47/773.69 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 773.47/773.69 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 773.47/773.69 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 773.47/773.69 v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 773.47/773.69 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 773.47/773.69 v -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 773.47/773.69 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 773.47/773.69 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 773.47/773.69 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 773.47/773.69 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 773.47/773.69 v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 773.47/773.69 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 773.47/773.69 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 773.47/773.69 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 773.47/773.69 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 773.47/773.69 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 773.47/773.69 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 773.47/773.69 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 773.47/773.69 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 773.47/773.69 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 773.47/773.69 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 773.47/773.69 v -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 773.47/773.69 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 773.47/773.69 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 773.47/773.69 v -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 773.47/773.69 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 773.47/773.69 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 773.47/773.69 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 773.47/773.69 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 773.47/773.69 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 773.47/773.69 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 773.47/773.69 v -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 773.47/773.69 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 773.47/773.69 v -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 773.47/773.69 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 773.47/773.69 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 773.47/773.69 v -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 773.47/773.69 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 773.47/773.69 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 773.47/773.69 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 773.47/773.69 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 773.47/773.69 v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 773.47/773.69 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 773.47/773.69 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 773.47/773.69 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 773.47/773.69 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 773.47/773.69 v -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 773.47/773.69 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 773.47/773.69 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 773.47/773.69 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 773.47/773.69 v x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 773.47/773.69 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 773.47/773.69 v -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 773.47/773.69 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 773.47/773.69 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 773.47/773.69 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 773.47/773.69 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 773.47/773.69 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 773.47/773.69 v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 773.47/773.69 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 773.47/773.69 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 773.47/773.69 v -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 773.47/773.69 v -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 773.47/773.69 v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 773.47/773.69 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 773.47/773.69 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 773.47/773.69 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 773.47/773.69 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 773.47/773.69 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 773.47/773.69 v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 773.47/773.69 v -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 773.47/773.69 v -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 773.47/773.69 v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 773.47/773.69 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 773.47/773.69 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 773.47/773.69 v -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 773.47/773.69 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 773.47/773.69 v -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 773.47/773.69 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 773.47/773.69 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 773.47/773.69 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 773.47/773.69 v x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 773.47/773.69 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 773.47/773.69 v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 773.47/773.69 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 773.47/773.69 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 773.47/773.69 v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 773.47/773.69 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 773.47/773.69 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 773.47/773.69 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 773.47/773.69 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 773.47/773.69 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 773.47/773.69 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 773.47/773.69 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 773.47/773.69 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 773.47/773.69 v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 773.47/773.69 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 773.47/773.69 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 773.47/773.69 v x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 773.47/773.69 v -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 773.47/773.69 v -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 773.47/773.69 v -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 773.47/773.69 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 773.47/773.69 v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 773.47/773.69 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 773.47/773.69 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 773.47/773.69 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 773.47/773.69 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 773.47/773.69 s OPTIMUM FOUND 773.47/773.69 773.47/773.69 c Models : 1 773.47/773.69 c Enumerated : 4 773.47/773.69 c Optimum : yes 773.47/773.69 c Optimization : 52 773.47/773.69 c Time : 773.690s (Solving: 773.66s 1st Model: 0.00s Unsat: 764.53s) 773.47/773.69 c CPU Time : 773.560s
OK 52
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-3709301-1338174757/watcher-3709301-1338174757 -o /tmp/evaluation-result-3709301-1338174757/solver-3709301-1338174757 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709301-1338174757.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.03 2.00 3/177 21065 /proc/meminfo: memFree=30355680/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [startup+0.0290151 s] /proc/loadavg: 2.09 2.03 2.00 3/177 21065 /proc/meminfo: memFree=30355680/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.100304 s] /proc/loadavg: 2.09 2.03 2.00 3/177 21065 /proc/meminfo: memFree=30355680/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.300269 s] /proc/loadavg: 2.09 2.03 2.00 3/177 21065 /proc/meminfo: memFree=30355680/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.700256 s] /proc/loadavg: 2.09 2.03 2.00 3/177 21065 /proc/meminfo: memFree=30355680/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+1.50031 s] /proc/loadavg: 2.00 2.01 2.00 3/179 21067 /proc/meminfo: memFree=30353548/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=4324 CPUtime=1.49 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 834 0 0 0 149 0 0 0 20 0 1 0 283604209 4427776 759 33554432000 4194304 6212839 140735766561040 140735766559448 4674519 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 1081 759 237 493 0 586 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13476 [startup+3.10032 s] /proc/loadavg: 2.00 2.01 2.00 3/179 21067 /proc/meminfo: memFree=30352540/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=4716 CPUtime=3.09 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 943 0 0 0 309 0 0 0 20 0 1 0 283604209 4829184 868 33554432000 4194304 6212839 140735766561040 140735766559048 4424505 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 1179 868 237 493 0 684 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13868 [startup+6.30031 s] /proc/loadavg: 2.00 2.01 2.00 3/179 21067 /proc/meminfo: memFree=30351920/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=5120 CPUtime=6.29 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 1044 0 0 0 629 0 0 0 20 0 1 0 283604209 5242880 969 33554432000 4194304 6212839 140735766561040 140735766559192 4635955 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 1280 969 237 493 0 785 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14272 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.00 3/179 21067 /proc/meminfo: memFree=30351008/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=5648 CPUtime=12.69 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 1173 0 0 0 1269 0 0 0 20 0 1 0 283604209 5783552 1098 33554432000 4194304 6212839 140735766561040 140735766559336 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 1412 1098 237 493 0 917 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14800 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.00 3/179 21067 /proc/meminfo: memFree=30350092/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=6456 CPUtime=25.49 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 1376 0 0 0 2549 0 0 0 20 0 1 0 283604209 6610944 1302 33554432000 4194304 6212839 140735766561040 140735766559032 4685746 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 1614 1302 237 493 0 1119 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15608 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21067 /proc/meminfo: memFree=30348976/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=7704 CPUtime=51.08 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 1687 0 0 0 5108 0 0 0 20 0 1 0 283604209 7888896 1613 33554432000 4194304 6212839 140735766561040 140735766559192 4705703 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 1926 1613 237 493 0 1431 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16856 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21068 /proc/meminfo: memFree=30347300/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=9100 CPUtime=102.28 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 1993 0 0 0 10228 0 0 0 20 0 1 0 283604209 9318400 1934 33554432000 4194304 6212839 140735766561040 140735766559192 4307973 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 2275 1934 237 493 0 1780 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 18252 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21068 /proc/meminfo: memFree=30344944/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=10072 CPUtime=162.26 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 2250 0 0 0 16226 0 0 0 20 0 1 0 283604209 10313728 2191 33554432000 4194304 6212839 140735766561040 140735766559192 4635538 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 2518 2191 237 493 0 2023 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 19224 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21108 /proc/meminfo: memFree=30382052/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=10768 CPUtime=222.25 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 2409 0 0 0 22225 0 0 0 20 0 1 0 283604209 11026432 2369 33554432000 4194304 6212839 140735766561040 140735766559192 4354175 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 2692 2369 237 493 0 2197 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 19920 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21108 /proc/meminfo: memFree=30378268/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=11520 CPUtime=282.24 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 2571 0 0 0 28224 0 0 0 20 0 1 0 283604209 11796480 2531 33554432000 4194304 6212839 140735766561040 140735766559192 4422299 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 2880 2531 237 493 0 2385 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 20672 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21108 /proc/meminfo: memFree=30375848/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=12036 CPUtime=342.23 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 2680 0 0 0 34223 0 0 0 20 0 1 0 283604209 12324864 2638 33554432000 4194304 6212839 140735766561040 140735766559192 4635058 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3009 2638 237 493 0 2514 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 21188 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21109 /proc/meminfo: memFree=30372868/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=13028 CPUtime=402.22 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 2928 0 0 0 40222 0 0 0 20 0 1 0 283604209 13340672 2926 33554432000 4194304 6212839 140735766561040 140735766559192 4685831 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3257 2926 237 493 0 2762 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 22180 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 21112 /proc/meminfo: memFree=30371308/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=13200 CPUtime=462.22 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 2968 0 0 0 46222 0 0 0 20 0 1 0 283604209 13516800 2966 33554432000 4194304 6212839 140735766561040 140735766559192 4685957 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3300 2966 237 493 0 2805 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 22352 [startup+522.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 21112 /proc/meminfo: memFree=30370076/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=13724 CPUtime=522.21 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3065 0 0 0 52221 0 0 0 20 0 1 0 283604209 14053376 3063 33554432000 4194304 6212839 140735766561040 140735766559192 4422299 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3431 3063 237 493 0 2936 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 22876 [startup+582.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 21112 /proc/meminfo: memFree=30369020/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=13892 CPUtime=582.2 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3086 0 0 0 58220 0 0 0 20 0 1 0 283604209 14225408 3084 33554432000 4194304 6212839 140735766561040 140735766559192 4683420 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3473 3084 237 493 0 2978 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 23044 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21112 /proc/meminfo: memFree=30367408/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=14060 CPUtime=642.19 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3132 0 0 0 64219 0 0 0 20 0 1 0 283604209 14397440 3130 33554432000 4194304 6212839 140735766561040 140735766559192 4685458 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3515 3130 237 493 0 3020 0 Current children cumulated CPU time (s) 642.19 Current children cumulated vsize (KiB) 23212 [startup+702.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21113 /proc/meminfo: memFree=30366600/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=14060 CPUtime=702.18 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3138 0 0 0 70218 0 0 0 20 0 1 0 283604209 14397440 3136 33554432000 4194304 6212839 140735766561040 140735766559192 4685827 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3515 3136 237 493 0 3020 0 Current children cumulated CPU time (s) 702.18 Current children cumulated vsize (KiB) 23212 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21113 /proc/meminfo: memFree=30366104/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=14060 CPUtime=762.17 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3140 0 0 0 76217 0 0 0 20 0 1 0 283604209 14397440 3138 33554432000 4194304 6212839 140735766561040 140735766559192 5485424 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3515 3138 237 493 0 3020 0 Current children cumulated CPU time (s) 762.17 Current children cumulated vsize (KiB) 23212 Solver just ended. Dumping a history of the last processes samples [startup+767.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21113 /proc/meminfo: memFree=30366104/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=14060 CPUtime=767.77 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3140 0 0 0 76777 0 0 0 20 0 1 0 283604209 14397440 3138 33554432000 4194304 6212839 140735766561040 140735766559192 4333840 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3515 3138 237 493 0 3020 0 Current children cumulated CPU time (s) 767.77 Current children cumulated vsize (KiB) 23212 [startup+771.106 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21113 /proc/meminfo: memFree=30366104/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=14060 CPUtime=770.97 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3140 0 0 0 77097 0 0 0 20 0 1 0 283604209 14397440 3138 33554432000 4194304 6212839 140735766561040 140735766559192 4635515 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3515 3138 237 493 0 3020 0 Current children cumulated CPU time (s) 770.97 Current children cumulated vsize (KiB) 23212 [startup+772.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21113 /proc/meminfo: memFree=30365980/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=14060 CPUtime=772.57 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3140 0 0 0 77257 0 0 0 20 0 1 0 283604209 14397440 3138 33554432000 4194304 6212839 140735766561040 140735766559192 4685957 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3515 3138 237 493 0 3020 0 Current children cumulated CPU time (s) 772.57 Current children cumulated vsize (KiB) 23212 [startup+773.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21113 /proc/meminfo: memFree=30365980/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=14060 CPUtime=772.97 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3140 0 0 0 77297 0 0 0 20 0 1 0 283604209 14397440 3138 33554432000 4194304 6212839 140735766561040 140735766559192 4635502 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3515 3138 237 493 0 3020 0 Current children cumulated CPU time (s) 772.97 Current children cumulated vsize (KiB) 23212 [startup+773.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21113 /proc/meminfo: memFree=30365980/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=14060 CPUtime=773.37 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3140 0 0 0 77337 0 0 0 20 0 1 0 283604209 14397440 3138 33554432000 4194304 6212839 140735766561040 140735766559192 4685291 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3515 3138 237 493 0 3020 0 Current children cumulated CPU time (s) 773.37 Current children cumulated vsize (KiB) 23212 [startup+773.6 s] /proc/loadavg: 2.00 2.00 2.00 3/179 21113 /proc/meminfo: memFree=30365980/32873844 swapFree=7108/7108 [pid=21065] ppid=21063 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/21065/stat : 21065 (clasp-opt.sh) S 21063 21065 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283604209 9371648 274 33554432000 4194304 5064252 140735608815632 140735608814544 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/21065/statm: 2288 274 232 213 0 73 0 [pid=21066] ppid=21065 vsize=14060 CPUtime=773.47 cores=0,2,4,6 /proc/21066/stat : 21066 (clasp-R5325) R 21065 21065 19533 0 -1 4202496 3140 0 0 0 77347 0 0 0 20 0 1 0 283604209 14397440 3138 33554432000 4194304 6212839 140735766561040 140735766559192 4634937 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/21066/statm: 3515 3138 237 493 0 3020 0 Current children cumulated CPU time (s) 773.47 Current children cumulated vsize (KiB) 23212 Child status: 10 Real time (s): 773.694 CPU time (s): 773.572 CPU user time (s): 773.563 CPU system time (s): 0.008998 CPU usage (%): 99.9843 Max. virtual memory (cumulated for all children) (KiB): 23212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 773.563 system time used= 0.008998 maximum resident set size= 12580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3511 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= 9 involuntary context switches= 820 runsolver used 5.2892 second user time and 5.61815 second system time The end
Begin job on node102 at 2012-05-28 05:12:37 IDJOB=3709301 IDBENCH=25029 IDSOLVER=2288 FILE ID=node102/3709301-1338174757 RUNJOBID= node102-1338158454-19549 PBS_JOBID= 14624541 Free space on /tmp= 71528 MiB SOLVER NAME= clasp 2.0.6-R5325 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= HOME/clasp-opt.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709301-1338174757/watcher-3709301-1338174757 -o /tmp/evaluation-result-3709301-1338174757/solver-3709301-1338174757 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709301-1338174757.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED=1082799197 node102.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 : 2667.178 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 : 5334.35 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 : 2667.178 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.90 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 : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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.91 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 : 2667.178 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 : 5438.54 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 : 2667.178 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.91 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 : 2667.178 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: 30355672 kB Buffers: 380460 kB Cached: 1247000 kB SwapCached: 0 kB Active: 974364 kB Inactive: 706116 kB Active(anon): 44468 kB Inactive(anon): 11036 kB Active(file): 929896 kB Inactive(file): 695080 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2528 kB Writeback: 0 kB AnonPages: 60124 kB Mapped: 15440 kB Shmem: 200 kB Slab: 697420 kB SReclaimable: 139524 kB SUnreclaim: 557896 kB KernelStack: 1480 kB PageTables: 4228 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 166568 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71524 MiB End job on node102 at 2012-05-28 05:25:31