Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | OPT | -70 | 53.5819 | 53.5915 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb |
MD5SUM | d2e31bd1942364d9129e439b3449a3af |
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 | -70 |
Best CPU time to get the best result obtained on this benchmark | 1.84572 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 29788 |
Number of constraints which are clauses | 29788 |
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 | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 326 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 326 |
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.58/0.65 c 2012-05-27T18:43:09+0200 0.58/0.65 c arch = x86_64 0.58/0.65 c os = linux 0.58/0.65 c compiler = ghc 7.4 0.58/0.65 c packages: 0.58/0.65 c OptDir-0.0.1 0.58/0.65 c array-0.4.0.0 0.58/0.65 c base-4.5.0.0 0.58/0.65 c bytestring-0.9.2.1 0.58/0.65 c containers-0.4.2.1 0.58/0.65 c deepseq-1.3.0.0 0.58/0.65 c mtl-2.1.1 0.58/0.65 c old_locale-1.0.0.4 0.58/0.65 c parse_dimacs-1.2 0.58/0.65 c parsec-3.1.2 0.58/0.65 c queue-0.1.2 0.58/0.65 c stm-2.3 0.58/0.65 c time-1.4 0.58/0.65 c command line = ["--pb","HOME/instance-3707030-1338136988.opb"] 0.58/0.65 c #vars 2025 0.58/0.65 c #constraints 29788 0.58/0.65 c Solving starts ... 0.58/0.67 c solving time = 0.013s 0.58/0.67 c #decision = 719 0.58/0.67 c #conflict = 41 0.58/0.67 c #restart = 0 0.58/0.67 o -57 0.58/0.67 c Solving starts ... 0.78/0.87 c solving time = 0.199s 0.78/0.87 c #decision = 2331 0.78/0.87 c #conflict = 642 0.78/0.87 c #restart = 3 0.78/0.87 o -59 0.78/0.87 c Solving starts ... 0.98/1.05 c solving time = 0.184s 0.98/1.05 c #decision = 3679 0.98/1.05 c #conflict = 1061 0.98/1.05 c #restart = 5 0.98/1.05 o -60 0.98/1.05 c Solving starts ... 6.69/6.74 c solving time = 5.686s 6.69/6.74 c #decision = 16616 6.69/6.74 c #conflict = 11330 6.69/6.74 c #restart = 14 6.69/6.74 o -62 6.69/6.74 c Solving starts ... 6.69/6.76 c learnt constraints deletion: 11297 -> 5649 11.69/11.76 c solving time = 5.013s 11.69/11.76 c #decision = 24608 11.69/11.76 c #conflict = 17867 11.69/11.76 c #restart = 22 11.69/11.76 o -63 11.69/11.76 c Solving starts ... 11.69/11.78 c learnt constraints deletion: 12177 -> 6089 11.89/11.95 c solving time = 0.187s 11.89/11.95 c #decision = 25365 11.89/11.95 c #conflict = 17930 11.89/11.95 c #restart = 22 11.89/11.95 o -65 11.89/11.95 c Solving starts ... 12.48/12.59 c solving time = 0.643s 12.48/12.59 c #decision = 27055 12.48/12.59 c #conflict = 18839 12.48/12.59 c #restart = 26 12.48/12.59 o -68 12.48/12.59 c Solving starts ... 36.39/36.43 c learnt constraints deletion: 30356 -> 15178 39.98/40.05 c solving time = 27.453s 39.98/40.05 c #decision = 54320 39.98/40.05 c #conflict = 43635 39.98/40.05 c #restart = 37 39.98/40.05 o -70 39.98/40.05 c Solving starts ... 40.08/40.12 c learnt constraints deletion: 16660 -> 8330 53.48/53.58 c solving time = 13.525s 53.48/53.58 c #decision = 68282 53.48/53.58 c #conflict = 56956 53.48/53.58 c #restart = 47 53.48/53.58 s OPTIMUM FOUND 53.48/53.58 v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 -x9 x10 53.48/53.58 v x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 53.48/53.58 v -x21 x22 -x23 x24 x25 x26 -x27 -x28 -x29 -x30 53.48/53.58 v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 53.48/53.58 v -x41 x42 x43 -x44 x45 -x46 -x47 -x48 x49 -x50 53.48/53.58 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 53.48/53.58 v -x61 x62 x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 53.48/53.58 v -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 53.48/53.58 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 53.48/53.58 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 53.48/53.58 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 53.48/53.58 v -x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 -x120 53.48/53.58 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 53.48/53.58 v -x131 -x132 -x133 -x134 x135 -x136 x137 x138 -x139 -x140 53.48/53.58 v -x141 x142 -x143 x144 -x145 x146 x147 -x148 -x149 -x150 53.48/53.58 v -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 -x159 x160 53.48/53.58 v -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 53.48/53.58 v -x171 -x172 -x173 x174 -x175 -x176 x177 x178 -x179 -x180 53.48/53.58 v -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 53.48/53.58 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 53.48/53.58 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 x210 53.48/53.58 v x211 -x212 -x213 -x214 x215 -x216 x217 -x218 x219 x220 53.48/53.58 v x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 x229 x230 53.48/53.58 v x231 -x232 -x233 x234 x235 x236 x237 x238 -x239 -x240 53.48/53.58 v -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 53.48/53.58 v -x251 -x252 -x253 x254 -x255 -x256 x257 -x258 x259 -x260 53.48/53.58 v -x261 x262 -x263 x264 x265 -x266 -x267 -x268 -x269 -x270 53.48/53.58 v x271 x272 x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 53.48/53.58 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 53.48/53.58 v -x291 -x292 -x293 x294 -x295 x296 -x297 -x298 -x299 -x300 53.48/53.58 v -x301 -x302 -x303 -x304 x305 -x306 -x307 x308 -x309 x310 53.48/53.58 v x311 -x312 x313 x314 x315 -x316 x317 x318 -x319 x320 53.48/53.58 v x321 -x322 -x323 x324 -x325 x326 -x327 -x328 -x329 -x330 53.48/53.58 v -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 53.48/53.58 v -x341 x342 -x343 -x344 -x345 -x346 x347 -x348 x349 -x350 53.48/53.58 v -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 53.48/53.58 v -x361 -x362 x363 -x364 x365 x366 x367 x368 -x369 x370 53.48/53.58 v -x371 -x372 -x373 -x374 x375 x376 x377 x378 x379 -x380 53.48/53.58 v -x381 -x382 x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 53.48/53.58 v -x391 -x392 -x393 x394 -x395 x396 x397 -x398 x399 x400 53.48/53.58 v x401 -x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 53.48/53.58 v -x411 -x412 -x413 x414 -x415 -x416 -x417 x418 -x419 -x420 53.48/53.58 v -x421 x422 x423 -x424 -x425 x426 x427 x428 -x429 -x430 53.48/53.58 v -x431 x432 -x433 x434 x435 x436 x437 -x438 -x439 x440 53.48/53.58 v x441 -x442 -x443 -x444 x445 x446 x447 -x448 -x449 -x450 53.48/53.58 v x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 53.48/53.58 v -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 x469 -x470 53.48/53.58 v -x471 x472 -x473 x474 x475 x476 x477 -x478 x479 -x480 53.48/53.58 v x481 -x482 -x483 -x484 x485 -x486 x487 x488 x489 x490 53.48/53.58 v x491 -x492 x493 x494 x495 -x496 -x497 -x498 -x499 x500 53.48/53.58 v -x501 x502 -x503 x504 -x505 x506 x507 -x508 -x509 -x510 53.48/53.58 v -x511 x512 x513 x514 x515 -x516 x517 x518 x519 -x520 53.48/53.58 v -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 x529 -x530 53.48/53.58 v -x531 -x532 x533 x534 -x535 x536 -x537 x538 -x539 -x540 53.48/53.58 v x541 -x542 -x543 x544 x545 -x546 -x547 -x548 -x549 -x550 53.48/53.58 v x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 53.48/53.58 v x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 53.48/53.58 v x571 x572 x573 x574 -x575 -x576 -x577 -x578 x579 x580 53.48/53.58 v x581 -x582 -x583 x584 x585 -x586 x587 x588 -x589 x590 53.48/53.58 v x591 -x592 -x593 -x594 x595 -x596 x597 x598 -x599 -x600 53.48/53.58 v -x601 -x602 -x603 x604 -x605 -x606 x607 -x608 -x609 -x610 53.48/53.58 v -x611 -x612 x613 -x614 x615 -x616 -x617 -x618 -x619 x620 53.48/53.58 v -x621 -x622 -x623 x624 -x625 -x626 x627 -x628 -x629 x630 53.48/53.58 v -x631 -x632 -x633 -x634 -x635 x636 x637 -x638 x639 -x640 53.48/53.58 v -x641 x642 x643 x644 x645 x646 -x647 -x648 -x649 x650 53.48/53.58 v -x651 -x652 -x653 x654 -x655 x656 -x657 -x658 -x659 x660 53.48/53.58 v -x661 x662 -x663 x664 -x665 -x666 x667 -x668 -x669 x670 53.48/53.58 v -x671 x672 -x673 -x674 -x675 x676 x677 x678 -x679 x680 53.48/53.58 v -x681 x682 -x683 x684 -x685 x686 -x687 -x688 -x689 -x690 53.48/53.58 v -x691 x692 x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 53.48/53.58 v -x701 -x702 x703 -x704 x705 x706 x707 -x708 x709 -x710 53.48/53.58 v x711 -x712 x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 53.48/53.58 v -x721 -x722 -x723 -x724 x725 x726 -x727 -x728 x729 x730 53.48/53.58 v x731 -x732 x733 x734 -x735 -x736 x737 -x738 x739 -x740 53.48/53.58 v -x741 x742 -x743 x744 x745 -x746 -x747 -x748 x749 x750 53.48/53.58 v x751 x752 -x753 x754 -x755 -x756 -x757 x758 -x759 x760 53.48/53.58 v -x761 -x762 -x763 -x764 x765 -x766 -x767 x768 -x769 x770 53.48/53.58 v x771 x772 -x773 x774 -x775 x776 -x777 -x778 x779 -x780 53.48/53.58 v x781 -x782 -x783 x784 -x785 x786 -x787 x788 -x789 -x790 53.48/53.58 v -x791 -x792 x793 -x794 -x795 -x796 x797 -x798 x799 -x800 53.48/53.58 v x801 -x802 x803 x804 -x805 x806 -x807 -x808 -x809 -x810 53.48/53.58 v -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 53.48/53.58 v -x821 -x822 x823 -x824 x825 -x826 x827 x828 -x829 x830 53.48/53.58 v -x831 -x832 x833 -x834 -x835 x836 -x837 -x838 -x839 x840 53.48/53.58 v x841 x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 x850 53.48/53.58 v x851 x852 -x853 -x854 x855 x856 -x857 -x858 x859 -x860 53.48/53.58 v -x861 -x862 -x863 x864 -x865 -x866 -x867 x868 -x869 -x870 53.48/53.58 v -x871 -x872 x873 -x874 -x875 -x876 -x877 x878 x879 x880 53.48/53.58 v -x881 -x882 x883 -x884 -x885 -x886 -x887 x888 -x889 x890 53.48/53.58 v -x891 -x892 x893 -x894 x895 -x896 x897 -x898 -x899 x900 53.48/53.58 v -x901 -x902 -x903 -x904 x905 -x906 x907 x908 x909 -x910 53.48/53.58 v -x911 x912 -x913 x914 -x915 x916 x917 -x918 -x919 x920 53.48/53.58 v -x921 -x922 -x923 -x924 -x925 x926 x927 -x928 -x929 -x930 53.48/53.58 v -x931 x932 -x933 x934 x935 -x936 -x937 x938 -x939 -x940 53.48/53.58 v x941 -x942 -x943 -x944 -x945 x946 -x947 x948 -x949 x950 53.48/53.58 v -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 53.48/53.58 v -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 53.48/53.58 v -x971 -x972 x973 -x974 x975 -x976 -x977 -x978 x979 -x980 53.48/53.58 v -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 53.48/53.58 v -x991 x992 x993 -x994 -x995 -x996 x997 -x998 x999 -x1000 53.48/53.58 v -x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1007 x1008 -x1009 -x1010 53.48/53.58 v -x1011 x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 53.48/53.58 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 53.48/53.58 v -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 x1038 x1039 -x1040 53.48/53.58 v -x1041 -x1042 -x1043 x1044 x1045 -x1046 x1047 -x1048 x1049 -x1050 53.48/53.58 v x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 53.48/53.58 v -x1061 x1062 x1063 -x1064 x1065 -x1066 x1067 -x1068 -x1069 -x1070 53.48/53.58 v -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 53.48/53.58 v -x1081 x1082 x1083 -x1084 x1085 -x1086 -x1087 x1088 x1089 -x1090 53.48/53.58 v -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 53.48/53.58 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 x1109 x1110 53.48/53.58 v -x1111 x1112 x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 53.48/53.58 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 -x1130 53.48/53.58 v -x1131 -x1132 x1133 -x1134 x1135 x1136 -x1137 x1138 -x1139 -x1140 53.48/53.58 v -x1141 -x1142 -x1143 x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 53.48/53.58 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 53.48/53.58 v -x1161 x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 53.48/53.58 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 x1179 x1180 53.48/53.58 v -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 53.48/53.58 v -x1191 -x1192 -x1193 x1194 -x1195 -x1196 x1197 -x1198 -x1199 x1200 53.48/53.58 v -x1201 -x1202 x1203 -x1204 x1205 -x1206 x1207 -x1208 x1209 -x1210 53.48/53.58 v -x1211 x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 53.48/53.58 v -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 x1228 -x1229 x1230 53.48/53.58 v -x1231 -x1232 x1233 -x1234 x1235 -x1236 -x1237 -x1238 x1239 -x1240 53.48/53.58 v x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 x1250 53.48/53.58 v -x1251 x1252 -x1253 -x1254 x1255 -x1256 -x1257 x1258 x1259 -x1260 53.48/53.58 v x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 53.48/53.58 v -x1271 x1272 -x1273 -x1274 -x1275 -x1276 x1277 x1278 x1279 -x1280 53.48/53.58 v -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 x1290 53.48/53.58 v -x1291 x1292 -x1293 -x1294 -x1295 x1296 -x1297 x1298 -x1299 x1300 53.48/53.58 v x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 x1310 53.48/53.58 v x1311 -x1312 x1313 -x1314 -x1315 -x1316 x1317 x1318 -x1319 x1320 53.48/53.58 v -x1321 x1322 -x1323 x1324 x1325 x1326 -x1327 -x1328 -x1329 -x1330 53.48/53.58 v -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 53.48/53.58 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 53.48/53.58 v -x1351 x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 x1360 53.48/53.58 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 53.48/53.58 v x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 -x1378 x1379 -x1380 53.48/53.58 v -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 x1388 x1389 -x1390 53.48/53.58 v -x1391 -x1392 -x1393 x1394 -x1395 x1396 -x1397 x1398 -x1399 -x1400 53.48/53.58 v x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 x1409 -x1410 53.48/53.58 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 53.48/53.58 v -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 53.48/53.58 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 53.48/53.58 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 53.48/53.58 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 53.48/53.58 v -x1461 -x1462 x1463 -x1464 -x1465 -x1466 x1467 -x1468 x1469 x1470 53.48/53.58 v x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 53.48/53.58 v x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 53.48/53.58 v -x1491 x1492 -x1493 -x1494 -x1495 x1496 x1497 -x1498 -x1499 x1500 53.48/53.58 v -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 x1508 -x1509 x1510 53.48/53.58 v -x1511 -x1512 x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 53.48/53.58 v -x1521 x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 53.48/53.58 v -x1531 x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 53.48/53.58 v x1541 -x1542 x1543 -x1544 -x1545 x1546 -x1547 -x1548 x1549 -x1550 53.48/53.58 v x1551 -x1552 -x1553 x1554 x1555 -x1556 -x1557 x1558 -x1559 x1560 53.48/53.58 v -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 53.48/53.58 v -x1571 x1572 -x1573 x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 53.48/53.58 v -x1581 x1582 -x1583 x1584 x1585 -x1586 -x1587 x1588 -x1589 -x1590 53.48/53.58 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 53.48/53.58 v -x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 53.48/53.58 v -x1611 -x1612 -x1613 -x1614 x1615 -x1616 x1617 -x1618 -x1619 -x1620 53.48/53.58 v -x1621 -x1622 -x1623 -x1624 x1625 -x1626 x1627 x1628 -x1629 x1630 53.48/53.58 v x1631 x1632 -x1633 -x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 53.48/53.58 v x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 53.48/53.58 v -x1651 x1652 -x1653 -x1654 x1655 -x1656 x1657 -x1658 x1659 -x1660 53.48/53.58 v -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 53.48/53.58 v -x1671 -x1672 -x1673 x1674 -x1675 -x1676 x1677 -x1678 -x1679 x1680 53.48/53.58 v -x1681 -x1682 x1683 x1684 x1685 -x1686 x1687 -x1688 x1689 -x1690 53.48/53.58 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 53.48/53.58 v -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 53.48/53.58 v x1711 x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 53.48/53.58 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 x1730 53.48/53.58 v -x1731 -x1732 x1733 x1734 -x1735 x1736 -x1737 x1738 x1739 -x1740 53.48/53.58 v -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 x1748 -x1749 -x1750 53.48/53.58 v -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 x1758 -x1759 -x1760 53.48/53.58 v -x1761 x1762 -x1763 x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 53.48/53.58 v x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 53.48/53.58 v -x1781 x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 x1790 53.48/53.58 v -x1791 -x1792 x1793 x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800 53.48/53.58 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 53.48/53.58 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 53.48/53.58 v -x1821 -x1822 x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 x1830 53.48/53.58 v -x1831 -x1832 -x1833 -x1834 -x1835 x1836 x1837 -x1838 -x1839 -x1840 53.48/53.58 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 x1848 -x1849 -x1850 53.48/53.58 v -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 53.48/53.58 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 53.48/53.58 v -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 53.48/53.58 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 53.48/53.58 v -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 53.48/53.58 v x1901 -x1902 -x1903 x1904 x1905 -x1906 x1907 -x1908 x1909 -x1910 53.48/53.58 v -x1911 -x1912 -x1913 x1914 -x1915 -x1916 x1917 -x1918 x1919 -x1920 53.48/53.58 v -x1921 x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 53.48/53.58 v -x1931 x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 53.48/53.58 v x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 53.48/53.58 v -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959 -x1960 53.48/53.58 v x1961 -x1962 x1963 -x1964 x1965 -x1966 -x1967 x1968 -x1969 x1970 53.48/53.58 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 x1979 -x1980 53.48/53.58 v -x1981 -x1982 -x1983 x1984 -x1985 -x1986 x1987 x1988 -x1989 -x1990 53.48/53.58 v x1991 x1992 -x1993 -x1994 x1995 -x1996 x1997 -x1998 x1999 -x2000 53.48/53.58 v -x2001 x2002 -x2003 x2004 -x2005 x2006 -x2007 -x2008 -x2009 x2010 53.48/53.58 v -x2011 -x2012 x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 53.48/53.58 v x2021 x2022 -x2023 -x2024 -x2025 53.48/53.58 c total time = 53.576s
OK -70
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-3707030-1338136988/watcher-3707030-1338136988 -o /tmp/evaluation-result-3707030-1338136988/solver-3707030-1338136988 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707030-1338136988.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: 1.99 1.98 1.99 3/176 29157 /proc/meminfo: memFree=31367460/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 795 0 0 0 0 0 0 0 20 0 1 0 279824533 6356992 717 33554432000 4194304 8973514 140733670113920 140735611028136 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 1552 721 415 1167 0 333 0 [startup+0.102949 s] /proc/loadavg: 1.99 1.98 1.99 3/176 29157 /proc/meminfo: memFree=31367460/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=13376 CPUtime=0.1 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 2526 0 0 0 10 0 0 0 20 0 1 0 279824533 13697024 2448 33554432000 4194304 8973514 140733670113920 140735611028136 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 3344 2448 418 1167 0 2125 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13376 [startup+0.20031 s] /proc/loadavg: 1.99 1.98 1.99 3/176 29157 /proc/meminfo: memFree=31367460/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=19520 CPUtime=0.19 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 4148 0 0 0 19 0 0 0 20 0 1 0 279824533 19988480 4070 33554432000 4194304 8973514 140733670113920 140735611028136 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 4880 4070 418 1167 0 3661 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19520 [startup+0.300309 s] /proc/loadavg: 1.99 1.98 1.99 3/176 29157 /proc/meminfo: memFree=31367460/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=24640 CPUtime=0.29 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 5428 0 0 0 29 0 0 0 20 0 1 0 279824533 25231360 5350 33554432000 4194304 8973514 140733670113920 140735611028136 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 6160 5350 418 1167 0 4941 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24640 [startup+0.700268 s] /proc/loadavg: 1.99 1.98 1.99 3/176 29157 /proc/meminfo: memFree=31367460/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=46144 CPUtime=0.68 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 10848 0 0 0 67 1 0 0 20 0 1 0 279824533 47251456 10770 33554432000 4194304 8973514 140733670113920 140733670113416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 11536 10770 456 1167 0 10317 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 46144 [startup+1.50025 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31326144/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=46144 CPUtime=1.49 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 10848 0 0 0 147 2 0 0 20 0 1 0 279824533 47251456 10770 33554432000 4194304 8973514 140733670113920 140733670113184 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 11536 10770 456 1167 0 10317 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46144 [startup+3.10028 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31325772/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=46144 CPUtime=3.09 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 10848 0 0 0 306 3 0 0 20 0 1 0 279824533 47251456 10770 33554432000 4194304 8973514 140733670113920 140733670113416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 11536 10770 456 1167 0 10317 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46144 [startup+6.30028 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31321804/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=54336 CPUtime=6.29 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 12724 0 0 0 624 5 0 0 20 0 1 0 279824533 55640064 12646 33554432000 4194304 8973514 140733670113920 140733670113416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 13584 12646 456 1167 0 12365 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54336 [startup+12.7003 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31314636/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=58432 CPUtime=12.68 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 13921 0 0 0 1261 7 0 0 20 0 1 0 279824533 59834368 13843 33554432000 4194304 8973514 140733670113920 140733670113184 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 14608 13843 457 1167 0 13389 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 58432 [startup+25.5003 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31303848/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=69696 CPUtime=25.49 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 16737 0 0 0 2536 13 0 0 20 0 1 0 279824533 71368704 16659 33554432000 4194304 8973514 140733670113920 140733670113416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 17424 16659 457 1167 0 16205 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69696 [startup+51.1003 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31294024/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=74816 CPUtime=51.08 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 21345 0 0 0 5087 21 0 0 20 0 1 0 279824533 76611584 17939 33554432000 4194304 8973514 140733670113920 140733670113416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 18704 17939 457 1167 0 17485 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 74816 Solver just ended. Dumping a history of the last processes samples [startup+51.2003 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31294024/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=74816 CPUtime=51.18 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 21345 0 0 0 5097 21 0 0 20 0 1 0 279824533 76611584 17939 33554432000 4194304 8973514 140733670113920 140733670113416 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 18704 17939 457 1167 0 17485 0 Current children cumulated CPU time (s) 51.18 Current children cumulated vsize (KiB) 74816 [startup+52.8003 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31294024/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=74816 CPUtime=52.78 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 21345 0 0 0 5257 21 0 0 20 0 1 0 279824533 76611584 17939 33554432000 4194304 8973514 140733670113920 140733670113416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 18704 17939 457 1167 0 17485 0 Current children cumulated CPU time (s) 52.78 Current children cumulated vsize (KiB) 74816 [startup+53.2003 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31294024/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=74816 CPUtime=53.18 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 21345 0 0 0 5296 22 0 0 20 0 1 0 279824533 76611584 17939 33554432000 4194304 8973514 140733670113920 140733670113416 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 18704 17939 457 1167 0 17485 0 Current children cumulated CPU time (s) 53.18 Current children cumulated vsize (KiB) 74816 [startup+53.4003 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31294024/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=74816 CPUtime=53.38 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 21345 0 0 0 5316 22 0 0 20 0 1 0 279824533 76611584 17939 33554432000 4194304 8973514 140733670113920 140733670113416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 18704 17939 457 1167 0 17485 0 Current children cumulated CPU time (s) 53.38 Current children cumulated vsize (KiB) 74816 [startup+53.5003 s] /proc/loadavg: 1.99 1.98 1.99 3/177 29158 /proc/meminfo: memFree=31294024/32873844 swapFree=7112/7112 [pid=29157] ppid=29155 vsize=74816 CPUtime=53.48 cores=0,2,4,6 /proc/29157/stat : 29157 (toysat) R 29155 29157 27148 0 -1 4202496 21345 0 0 0 5326 22 0 0 20 0 1 0 279824533 76611584 17939 33554432000 4194304 8973514 140733670113920 140733670113416 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29157/statm: 18704 17939 457 1167 0 17485 0 Current children cumulated CPU time (s) 53.48 Current children cumulated vsize (KiB) 74816 Child status: 0 Real time (s): 53.5915 CPU time (s): 53.5819 CPU user time (s): 53.3539 CPU system time (s): 0.227965 CPU usage (%): 99.982 Max. virtual memory (cumulated for all children) (KiB): 88128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.3539 system time used= 0.227965 maximum resident set size= 85068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21350 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= 3 involuntary context switches= 63 runsolver used 0.079987 second user time and 0.214967 second system time The end
Begin job on node119 at 2012-05-27 18:43:09 IDJOB=3707030 IDBENCH=71827 IDSOLVER=2285 FILE ID=node119/3707030-1338136988 RUNJOBID= node119-1338113000-27164 PBS_JOBID= 14624472 Free space on /tmp= 71604 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707030-1338136988/watcher-3707030-1338136988 -o /tmp/evaluation-result-3707030-1338136988/solver-3707030-1338136988 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707030-1338136988.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d2e31bd1942364d9129e439b3449a3af RANDOM SEED=394254752 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 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 : 2666.943 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 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: 31367840 kB Buffers: 301364 kB Cached: 334396 kB SwapCached: 1844 kB Active: 578928 kB Inactive: 129348 kB Active(anon): 72396 kB Inactive(anon): 2068 kB Active(file): 506532 kB Inactive(file): 127280 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100196 kB Dirty: 8168 kB Writeback: 0 kB AnonPages: 141696 kB Mapped: 13392 kB Shmem: 8 kB Slab: 657352 kB SReclaimable: 99620 kB SUnreclaim: 557732 kB KernelStack: 1472 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 191336 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 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= 71596 MiB End job on node119 at 2012-05-27 18:44:02