Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
clasp 2.0-R4191 | SAT (TO) | 70612 | 1800.1 | 1800.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb |
MD5SUM | dccfffd22c38fcd3c497d688dab4b7a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 70612 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 79290 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 559660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 559660 |
Number of bits of the biggest sum of numbers | 20 |
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 clasp version 2.0.0-RC2 0.00/0.00 c Reading from ...087273/instance-3468245-1307087273.opb 0.05/0.07 c Solving... 0.09/0.13 o 87678 0.09/0.16 o 87553 0.09/0.19 o 86505 0.29/0.31 o 86157 0.59/0.65 o 84603 3.31/3.37 o 84551 4.69/4.70 o 84484 10.59/10.68 o 84136 14.09/14.18 o 84122 18.89/18.90 o 83847 59.80/59.86 o 83207 64.00/64.04 o 82898 140.19/140.26 o 82896 143.29/143.33 o 82519 414.80/414.82 o 82395 420.11/420.19 o 82392 558.31/558.36 o 82059 569.41/569.42 o 80323 571.01/571.05 o 79219 573.71/573.76 o 78130 575.11/575.16 o 77168 575.51/575.58 o 76782 578.21/578.22 o 76221 579.91/579.92 o 75989 582.51/582.50 o 75586 618.23/618.29 o 75328 636.41/636.47 o 75238 637.92/637.94 o 74851 640.81/640.84 o 70865 662.01/662.02 o 70612 1800.06/1800.02 1800.06/1800.02 *** INTERRUPTED! *** 1800.06/1800.02 c Answer: 30 1800.06/1800.02 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 1800.06/1800.02 v -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 1800.06/1800.02 v -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 1800.06/1800.02 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 1800.06/1800.02 v -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 1800.06/1800.02 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 1800.06/1800.02 v -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 1800.06/1800.02 v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.06/1800.02 v -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 1800.06/1800.02 v -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 1800.06/1800.02 v -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 1800.06/1800.02 v x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 1800.06/1800.02 v -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1800.06/1800.02 v -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 1800.06/1800.02 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 1800.06/1800.02 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 1800.06/1800.02 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 1800.06/1800.02 v -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 1800.06/1800.02 v -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 1800.06/1800.02 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 1800.06/1800.02 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1800.06/1800.02 v x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 1800.06/1800.02 v -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 1800.06/1800.02 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 1800.06/1800.02 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 1800.06/1800.02 v -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 1800.06/1800.02 v -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 1800.06/1800.02 v -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 1800.06/1800.02 v -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 1800.06/1800.02 v -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1800.06/1800.02 v -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 1800.06/1800.02 v -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 1800.06/1800.02 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 1800.06/1800.02 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 1800.06/1800.02 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 1800.06/1800.02 v x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.06/1800.02 v -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 1800.06/1800.02 v -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.06/1800.02 v -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 1800.06/1800.02 v -x499 x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1800.06/1800.02 v -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 1800.06/1800.02 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 1800.06/1800.02 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 1800.06/1800.02 v -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 1800.06/1800.02 v -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 1800.06/1800.02 v -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 1800.06/1800.02 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 1800.06/1800.02 v x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 1800.06/1800.02 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 1800.06/1800.02 v -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 1800.06/1800.02 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 1800.06/1800.02 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 1800.06/1800.02 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 1800.06/1800.02 v -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 1800.06/1800.02 v -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 1800.06/1800.02 v -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 1800.06/1800.02 v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 1800.06/1800.02 v -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 1800.06/1800.02 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 1800.06/1800.02 v x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 1800.06/1800.02 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 1800.06/1800.02 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 1800.06/1800.02 v -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 1800.06/1800.02 v -x794 -x795 -x796 -x797 -x798 -x799 x800 x801 -x802 -x803 -x804 -x805 -x806 1800.06/1800.02 v -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.06/1800.02 v -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1800.06/1800.02 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 1800.06/1800.02 v -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 1800.06/1800.02 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 1800.06/1800.02 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 1800.06/1800.02 v x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 1800.06/1800.02 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 x901 -x902 -x903 -x904 -x905 1800.06/1800.02 v -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 1800.06/1800.02 v -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.06/1800.02 v -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 1800.06/1800.02 v -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1800.06/1800.02 v -x954 -x955 x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 1800.06/1800.02 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 1800.06/1800.02 v -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 1800.06/1800.02 v -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 1800.06/1800.02 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 x1012 -x1013 1800.06/1800.02 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 1800.06/1800.02 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 1800.06/1800.02 v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 1800.06/1800.02 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 1800.06/1800.02 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 1800.06/1800.02 v -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.06/1800.02 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 1800.06/1800.02 v -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 1800.06/1800.02 v -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 1800.06/1800.02 v -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 1800.06/1800.02 v x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 1800.06/1800.02 v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.06/1800.02 v x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 1800.06/1800.02 v -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 1800.06/1800.02 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 1800.06/1800.02 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 1800.06/1800.02 v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 1800.06/1800.02 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 1800.06/1800.02 v -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1800.06/1800.02 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 1800.06/1800.02 v x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.06/1800.02 v x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 1800.06/1800.02 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.06/1800.02 v x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 1800.06/1800.02 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1800.06/1800.02 v x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1800.06/1800.02 v x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 1800.06/1800.02 v x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 1800.06/1800.02 v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 1800.06/1800.02 v -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 1800.06/1800.02 v -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1800.06/1800.02 v -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.06/1800.02 v -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 1800.06/1800.02 v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 1800.06/1800.02 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.06/1800.02 v -x1399 x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.06/1800.02 v -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1800.06/1800.02 v -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.06/1800.02 v -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 1800.06/1800.02 v -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 1800.06/1800.02 v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 x1462 -x1463 -x1464 1800.06/1800.02 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 1800.06/1800.02 v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 1800.06/1800.02 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1800.06/1800.02 v -x1498 -x1499 x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.06/1800.02 v -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1800.06/1800.02 v -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 1800.06/1800.02 v x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1800.06/1800.02 v x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.06/1800.02 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 1800.06/1800.02 v -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1800.06/1800.02 v -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.06/1800.02 v -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 1800.06/1800.02 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 1800.06/1800.02 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.06/1800.02 v x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 1800.06/1800.02 v -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 1800.06/1800.02 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 1800.06/1800.02 v -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 1800.06/1800.02 v -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.06/1800.02 v -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 1800.06/1800.02 v -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 1800.06/1800.02 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 1800.06/1800.02 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 1800.06/1800.02 v -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 1800.06/1800.02 v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 1800.06/1800.02 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 1800.06/1800.02 v -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.06/1800.02 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 1800.06/1800.02 v -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1800.06/1800.02 v -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1800.06/1800.02 v -x1795 -x1796 -x1797 -x1798 -x1799 x1800 x1801 -x1802 x1803 x1804 -x1805 1800.06/1800.02 v x1806 -x1807 x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 1800.06/1800.02 v -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1800.06/1800.02 v -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 1800.06/1800.02 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 1800.06/1800.02 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 1800.06/1800.02 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 1800.06/1800.02 v x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 x1882 1800.06/1800.02 v -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 1800.06/1800.02 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 x1902 -x1903 -x1904 1800.06/1800.02 v x1905 -x1906 x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 1800.06/1800.02 v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 1800.06/1800.02 v x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 1800.06/1800.02 v -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.06/1800.02 v x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 1800.06/1800.02 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 1800.06/1800.02 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 1800.06/1800.02 v x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 1800.06/1800.02 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 x2001 -x2002 x2003 1800.06/1800.02 v x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1800.06/1800.02 v x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1800.06/1800.02 v -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1800.06/1800.02 v -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 1800.06/1800.02 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 1800.06/1800.02 v -x2059 -x2060 x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1800.06/1800.02 v -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 1800.06/1800.02 v -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 1800.06/1800.02 v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 1800.06/1800.02 v x2103 x2104 -x2105 x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1800.06/1800.02 v -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1800.06/1800.02 v -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1800.06/1800.02 v -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 1800.06/1800.02 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1800.06/1800.02 v -x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.06/1800.02 v x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 1800.06/1800.02 v -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 1800.06/1800.02 v -x2191 x2192 -x2193 -x2194 -x2195 -x2196 x2197 x2198 x2199 -x2200 -x2201 1800.06/1800.02 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 1800.06/1800.02 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 1800.06/1800.02 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 1800.06/1800.02 v -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 1800.06/1800.02 v -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 1800.06/1800.02 v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 1800.06/1800.02 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 1800.06/1800.02 v -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 1800.06/1800.02 v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 x2298 x2299 -x2300 1800.06/1800.02 v x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 1800.06/1800.02 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 1800.06/1800.02 v -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1800.06/1800.02 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 1800.06/1800.02 v x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.06/1800.02 v x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 1800.06/1800.02 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 x2377 1800.06/1800.02 v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1800.06/1800.02 v -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 x2396 x2397 -x2398 x2399 1800.06/1800.02 v -x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 1800.06/1800.02 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 1800.06/1800.02 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 1800.06/1800.02 v -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 1800.06/1800.02 v -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1800.06/1800.02 v x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.06/1800.02 v -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1800.06/1800.02 v -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1800.06/1800.02 v -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 x2497 -x2498 1800.06/1800.02 v -x2499 x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 1800.06/1800.02 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 1800.06/1800.02 v -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1800.06/1800.02 v -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1800.06/1800.02 v -x2543 -x2544 -x2545 x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 1800.06/1800.02 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 1800.06/1800.02 v -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1800.06/1800.02 v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 1800.06/1800.02 v -x2587 -x2588 -x2589 -x2590 x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 1800.06/1800.02 v x2598 -x2599 x2600 x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 1800.06/1800.02 v -x2609 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 1800.06/1800.02 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 1800.06/1800.02 v x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1800.06/1800.02 v -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 1800.06/1800.02 v -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 1800.06/1800.02 v -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 1800.06/1800.02 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 1800.06/1800.02 v -x2686 -x2687 -x2688 -x2689 -x2690 x2691 x2692 -x2693 x2694 -x2695 -x2696 1800.06/1800.02 v x2697 -x2698 x2699 -x2700 1800.06/1800.02 s SATISFIABLE 1800.06/1800.02 1800.06/1800.02 c INTERRUPTED : 1 1800.06/1800.02 c Models : 1+ 1800.06/1800.02 c Enumerated : 30 1800.06/1800.02 c Optimum : unknown 1800.06/1800.02 c Optimization : 70612 1800.06/1800.02 c Time : 1800.019s (Solving: 1799.95s 1st Model: 0.06s Unsat: 0.00s) 1800.06/1800.02 c CPU Time : 1800.080s
OK 70612
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3468245-1307087273/watcher-3468245-1307087273 -o /tmp/evaluation-result-3468245-1307087273/solver-3468245-1307087273 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468245-1307087273.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.03 2.00 1/552 3028 /proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=13236 CPUtime=0 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 689 0 0 0 0 0 0 0 25 0 1 0 820324396 13553664 609 33554432000 4194304 4933572 140734121163200 18446744073709551615 239476355781 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 3309 610 332 181 0 318 0 [startup+0.0657041 s] /proc/loadavg: 2.00 2.03 2.00 1/552 3028 /proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=24876 CPUtime=0.05 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 3666 0 0 0 5 0 0 0 25 0 1 0 820324396 25473024 3487 33554432000 4194304 4933572 140734121163200 18446744073709551615 4587825 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 6219 3487 349 181 0 3228 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 24876 [startup+0.100694 s] /proc/loadavg: 2.00 2.03 2.00 1/552 3028 /proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=24660 CPUtime=0.09 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 3725 0 0 0 9 0 0 0 25 0 1 0 820324396 25251840 3505 33554432000 4194304 4933572 140734121163200 18446744073709551615 4711245 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 6165 3505 373 181 0 3174 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24660 [startup+0.300653 s] /proc/loadavg: 2.00 2.03 2.00 1/552 3028 /proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=25532 CPUtime=0.29 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 3917 0 0 0 29 0 0 0 25 0 1 0 820324396 26144768 3697 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649045 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 6383 3697 384 181 0 3392 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25532 [startup+0.700578 s] /proc/loadavg: 2.00 2.03 2.00 1/552 3028 /proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=27168 CPUtime=0.69 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 4339 0 0 0 68 1 0 0 25 0 1 0 820324396 27820032 4119 33554432000 4194304 4933572 140734121163200 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 6792 4119 384 181 0 3801 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27168 [startup+1.50043 s] /proc/loadavg: 2.00 2.03 2.00 3/555 3088 /proc/meminfo: memFree=25046060/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=29748 CPUtime=1.49 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 4963 0 0 0 148 1 0 0 25 0 1 0 820324396 30461952 4743 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649602 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 7437 4743 384 181 0 4446 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29748 [startup+3.10113 s] /proc/loadavg: 2.00 2.03 2.00 3/555 3089 /proc/meminfo: memFree=25037272/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=33020 CPUtime=3.09 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 5781 0 0 0 308 1 0 0 25 0 1 0 820324396 33812480 5561 33554432000 4194304 4933572 140734121163200 18446744073709551615 239476391626 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 8255 5561 384 181 0 5264 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33020 [startup+6.30052 s] /proc/loadavg: 2.00 2.03 2.00 3/555 3089 /proc/meminfo: memFree=25029324/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=33548 CPUtime=6.29 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 5886 0 0 0 628 1 0 0 25 0 1 0 820324396 34353152 5666 33554432000 4194304 4933572 140734121163200 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 8387 5666 384 181 0 5396 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33548 [startup+12.7003 s] /proc/loadavg: 2.00 2.03 2.00 3/555 3089 /proc/meminfo: memFree=25016848/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=41004 CPUtime=12.69 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 7778 0 0 0 1268 1 0 0 25 0 1 0 820324396 41988096 7558 33554432000 4194304 4933572 140734121163200 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 10251 7558 386 181 0 7260 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41004 [startup+25.5009 s] /proc/loadavg: 2.00 2.03 2.00 3/555 3089 /proc/meminfo: memFree=25004684/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=41296 CPUtime=25.49 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 7820 0 0 0 2548 1 0 0 25 0 1 0 820324396 42287104 7600 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 10324 7600 386 181 0 7333 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41296 [startup+51.101 s] /proc/loadavg: 2.00 2.02 2.00 3/555 3090 /proc/meminfo: memFree=24980568/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=56592 CPUtime=51.09 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 11669 0 0 0 5107 2 0 0 25 0 1 0 820324396 57950208 11449 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319443 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 14148 11449 386 181 0 11157 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 56592 [startup+102.321 s] /proc/loadavg: 2.03 2.03 2.00 3/555 3092 /proc/meminfo: memFree=24961452/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=63280 CPUtime=102.32 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 13208 0 0 0 10229 3 0 0 25 0 1 0 820324396 64798720 12988 33554432000 4194304 4933572 140734121163200 18446744073709551615 4341559 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 15820 12988 386 181 0 12829 0 Current children cumulated CPU time (s) 102.32 Current children cumulated vsize (KiB) 63280 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.00 3/555 3094 /proc/meminfo: memFree=24942960/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=74516 CPUtime=162.29 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 16046 0 0 0 16226 3 0 0 25 0 1 0 820324396 76304384 15826 33554432000 4194304 4933572 140734121163200 18446744073709551615 4719015 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 18629 15826 386 181 0 15638 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 74516 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/555 3095 /proc/meminfo: memFree=24939360/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=77964 CPUtime=222.29 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 16897 0 0 0 22226 3 0 0 25 0 1 0 820324396 79835136 16677 33554432000 4194304 4933572 140734121163200 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 19491 16677 386 181 0 16500 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 77964 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/555 3098 /proc/meminfo: memFree=24935992/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=82932 CPUtime=282.3 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 18116 0 0 0 28226 4 0 0 25 0 1 0 820324396 84922368 17896 33554432000 4194304 4933572 140734121163200 18446744073709551615 4632751 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 20733 17896 386 181 0 17742 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 82932 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/555 3100 /proc/meminfo: memFree=24907340/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=90192 CPUtime=342.3 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 19954 0 0 0 34226 4 0 0 25 0 1 0 820324396 92356608 19734 33554432000 4194304 4933572 140734121163200 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 22548 19734 386 181 0 19557 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 90192 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/555 3102 /proc/meminfo: memFree=24902744/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=90192 CPUtime=402.3 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 19958 0 0 0 40226 4 0 0 25 0 1 0 820324396 92356608 19738 33554432000 4194304 4933572 140734121163200 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 22548 19738 386 181 0 19557 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 90192 [startup+462.3 s] /proc/loadavg: 2.06 2.01 2.00 3/555 3106 /proc/meminfo: memFree=24902716/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=90192 CPUtime=462.3 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 19958 0 0 0 46226 4 0 0 25 0 1 0 820324396 92356608 19738 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 22548 19738 386 181 0 19557 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 90192 [startup+522.301 s] /proc/loadavg: 2.19 2.06 2.01 3/555 3107 /proc/meminfo: memFree=24903316/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=90192 CPUtime=522.31 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 19958 0 0 0 52227 4 0 0 25 0 1 0 820324396 92356608 19738 33554432000 4194304 4933572 140734121163200 18446744073709551615 4710912 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 22548 19738 386 181 0 19557 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 90192 [startup+582.3 s] /proc/loadavg: 2.12 2.06 2.01 3/555 3109 /proc/meminfo: memFree=24896116/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=94452 CPUtime=582.31 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 21114 0 0 0 58227 4 0 0 25 0 1 0 820324396 96718848 20816 33554432000 4194304 4933572 140734121163200 18446744073709551615 4713075 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 23613 20816 387 181 0 20622 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 94452 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.02 2.00 3/555 3124 /proc/meminfo: memFree=24857120/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=822.32 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29623 0 0 0 82226 6 0 0 25 0 1 0 820324396 131710976 29325 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29325 387 181 0 29165 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 128624 [startup+882.301 s] /proc/loadavg: 2.00 2.01 2.00 3/555 3126 /proc/meminfo: memFree=24854752/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=882.33 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29628 0 0 0 88227 6 0 0 25 0 1 0 820324396 131710976 29330 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649450 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29330 387 181 0 29165 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 128624 [startup+942.3 s] /proc/loadavg: 2.00 2.01 2.00 3/555 3128 /proc/meminfo: memFree=24852636/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=942.33 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29629 0 0 0 94227 6 0 0 25 0 1 0 820324396 131710976 29331 33554432000 4194304 4933572 140734121163200 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29331 387 181 0 29165 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 128624 [startup+1002.3 s] /proc/loadavg: 2.14 2.05 2.01 3/555 3132 /proc/meminfo: memFree=24852704/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=1002.33 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29629 0 0 0 100227 6 0 0 25 0 1 0 820324396 131710976 29331 33554432000 4194304 4933572 140734121163200 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29331 387 181 0 29165 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 128624 [startup+1062.3 s] /proc/loadavg: 2.21 2.07 2.02 3/555 3134 /proc/meminfo: memFree=24850096/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=1062.33 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29632 0 0 0 106227 6 0 0 25 0 1 0 820324396 131710976 29334 33554432000 4194304 4933572 140734121163200 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29334 387 181 0 29165 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 128624 [startup+1122.3 s] /proc/loadavg: 2.08 2.05 2.01 3/555 3135 /proc/meminfo: memFree=24846496/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=1122.34 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29636 0 0 0 112228 6 0 0 25 0 1 0 820324396 131710976 29338 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29338 387 181 0 29165 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 128624 [startup+1182.3 s] /proc/loadavg: 2.03 2.04 2.00 3/555 3137 /proc/meminfo: memFree=24845484/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=1182.34 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29636 0 0 0 118228 6 0 0 25 0 1 0 820324396 131710976 29338 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29338 387 181 0 29165 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 128624 [startup+1242.3 s] /proc/loadavg: 2.01 2.03 2.00 3/555 3140 /proc/meminfo: memFree=24844724/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=1242.34 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29636 0 0 0 124228 6 0 0 25 0 1 0 820324396 131710976 29338 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29338 387 181 0 29165 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 128624 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/555 3141 /proc/meminfo: memFree=24845092/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=1302.35 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29639 0 0 0 130229 6 0 0 25 0 1 0 820324396 131710976 29341 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29341 387 181 0 29165 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 128624 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/555 3143 /proc/meminfo: memFree=24844560/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=128624 CPUtime=1362.35 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29639 0 0 0 136229 6 0 0 25 0 1 0 820324396 131710976 29341 33554432000 4194304 4933572 140734121163200 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32156 29341 387 181 0 29165 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 128624 [startup+1422.32 s] /proc/loadavg: 2.00 2.01 2.00 3/555 3144 /proc/meminfo: memFree=24842680/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=131132 CPUtime=1422.37 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30267 0 0 0 142231 6 0 0 25 0 1 0 820324396 134279168 29969 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32783 29969 387 181 0 29792 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 131132 [startup+1482.3 s] /proc/loadavg: 2.10 2.04 2.01 3/555 3146 /proc/meminfo: memFree=24841800/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=131660 CPUtime=1482.35 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30385 0 0 0 148229 6 0 0 25 0 1 0 820324396 134819840 30087 33554432000 4194304 4933572 140734121163200 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32915 30087 387 181 0 29924 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 131660 [startup+1542.3 s] /proc/loadavg: 2.08 2.04 2.01 3/555 3148 /proc/meminfo: memFree=24841648/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=131240 CPUtime=1542.35 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30385 0 0 0 154229 6 0 0 25 0 1 0 820324396 134389760 30006 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32810 30006 387 181 0 29819 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 131240 [startup+1602.3 s] /proc/loadavg: 2.12 2.06 2.01 3/555 3149 /proc/meminfo: memFree=24842136/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=131488 CPUtime=1602.35 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30433 0 0 0 160229 6 0 0 25 0 1 0 820324396 134643712 30054 33554432000 4194304 4933572 140734121163200 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32872 30054 387 181 0 29881 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 131488 [startup+1662.3 s] /proc/loadavg: 2.08 2.06 2.01 3/555 3151 /proc/meminfo: memFree=24838012/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=131488 CPUtime=1662.36 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30433 0 0 0 166230 6 0 0 25 0 1 0 820324396 134643712 30054 33554432000 4194304 4933572 140734121163200 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 32872 30054 387 181 0 29881 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 131488 [startup+1722.3 s] /proc/loadavg: 2.03 2.05 2.01 3/555 3152 /proc/meminfo: memFree=24832416/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=134000 CPUtime=1722.36 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 31049 0 0 0 172230 6 0 0 25 0 1 0 820324396 137216000 30670 33554432000 4194304 4933572 140734121163200 18446744073709551615 4710912 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 33500 30670 387 181 0 30509 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 134000 [startup+1782.3 s] /proc/loadavg: 2.01 2.04 2.00 3/555 3154 /proc/meminfo: memFree=24819248/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=143024 CPUtime=1782.36 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 33269 0 0 0 178229 7 0 0 25 0 1 0 820324396 146456576 32890 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 35756 32890 387 181 0 32765 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 143024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.03 2.00 3/555 3154 /proc/meminfo: memFree=24819372/32950928 swapFree=67056580/67111528 [pid=3028] ppid=3026 vsize=143024 CPUtime=1800.06 cores=0,2,4,6 /proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 33269 0 0 0 179999 7 0 0 25 0 1 0 820324396 146456576 32890 33554432000 4194304 4933572 140734121163200 18446744073709551615 4664062 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/3028/statm: 35756 32890 387 181 0 32765 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 143024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.03 CPU time (s): 1800.1 CPU user time (s): 1800.02 CPU system time (s): 0.082987 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 143024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.02 system time used= 0.082987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33277 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= 10 involuntary context switches= 2697 runsolver used 10.2574 second user time and 22.4996 second system time The end
Begin job on node148 at 2011-06-03 09:47:53 IDJOB=3468245 IDBENCH=2011 IDSOLVER=1958 FILE ID=node148/3468245-1307087273 RUNJOBID= node148-1307083669-2799 PBS_JOBID= 13497838 Free space on /tmp= 73848 MiB SOLVER NAME= clasp 2.0-R4191 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468245-1307087273/watcher-3468245-1307087273 -o /tmp/evaluation-result-3468245-1307087273/solver-3468245-1307087273 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468245-1307087273.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4 RANDOM SEED=1516484488 node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 25060232 kB Buffers: 219064 kB Cached: 532184 kB SwapCached: 7908 kB Active: 7152196 kB Inactive: 431728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 25060232 kB SwapTotal: 67111528 kB SwapFree: 67056580 kB Dirty: 3920 kB Writeback: 8 kB AnonPages: 6831032 kB Mapped: 43804 kB Slab: 179388 kB PageTables: 57900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 170398940 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73860 MiB End job on node148 at 2011-06-03 10:17:55