Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.08 | 1800.01 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo |
MD5SUM | 3aafd47af6446049bcdbc11c9b966efe |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 0.6489 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3150 |
Total number of constraints | 160 |
Number of soft constraints | 101 |
Number of constraints which are clauses | 90 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 35 |
Maximum length of a constraint | 45 |
Top cost | 4835 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 4834 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 46 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 30/40 clauses 29/61 units 0 0.00/0.01 c vars 3150 0.09/0.13 c 0.118981 25.7812 62 6648 0.09/0.13 o 824 0.09/0.14 c 0.123981 26.0586 63 7951 0.09/0.14 o 747 0.09/0.14 c 0.12798 26.0586 63 8596 0.09/0.14 o 554 0.09/0.15 c 0.13098 26.0586 63 9134 0.09/0.15 o 535 0.09/0.15 c 0.135979 26.0586 63 9701 0.09/0.15 o 528 0.09/0.16 c 0.139978 26.0586 63 10239 0.09/0.16 o 509 0.09/0.17 c 0.141978 26.0586 63 10736 0.09/0.17 o 305 0.18/0.22 c 0.182972 26.1875 375 13996 0.18/0.22 o 304 0.18/0.23 c 0.184971 26.1875 377 15098 0.18/0.23 o 279 0.18/0.24 c 0.187971 26.1875 378 15986 0.18/0.24 o 258 0.18/0.25 c 0.19497 26.1875 380 17040 0.18/0.25 o 252 0.18/0.26 c 0.199969 26.1875 383 18297 0.18/0.26 o 244 0.18/0.28 c 0.214967 26.3164 486 20002 0.18/0.28 o 237 0.18/0.28 c 0.219966 26.3164 487 20893 0.18/0.28 o 214 0.18/0.29 c 0.227965 26.3164 489 21720 0.18/0.29 o 182 0.29/0.30 c 0.234964 26.3164 490 22405 0.29/0.30 o 181 0.29/0.31 c 0.240963 26.3164 495 23241 0.29/0.31 o 179 0.29/0.31 c 0.244962 26.3164 496 23967 0.29/0.31 o 167 0.29/0.32 c 0.249962 26.3164 497 24740 0.29/0.32 o 116 0.29/0.33 c 0.254961 26.3164 497 25379 0.29/0.33 o 104 0.29/0.33 c 0.25996 26.3164 499 26026 0.29/0.33 o 100 0.29/0.34 c 0.264959 26.3164 501 26755 0.29/0.34 o 79 0.59/0.67 c 0.52192 28.6523 1861 38911 0.59/0.67 o 76 0.59/0.67 c 0.528919 28.6523 1866 40351 0.59/0.67 o 75 0.59/0.69 c 0.542917 28.6523 1967 42991 0.59/0.69 o 74 0.69/0.70 c 0.546916 28.6523 1981 44300 0.69/0.70 o 69 0.69/0.71 c 0.551916 28.6523 1982 45559 0.69/0.71 o 67 0.69/0.72 c 0.559914 28.6523 1982 46861 0.69/0.72 o 66 0.69/0.75 c 0.582911 28.6523 2183 50318 0.69/0.75 o 58 0.69/0.76 c 0.58991 28.6523 2186 51381 0.69/0.76 o 57 0.69/0.79 c 0.609907 28.6523 1283 53977 0.69/0.79 o 53 0.89/0.98 c 0.757884 28.6523 1850 66907 0.89/0.98 o 52 0.89/0.98 c 0.762884 28.6523 1854 68263 0.89/0.98 o 45 1.00/1.01 c 0.775882 28.6523 1995 70640 1.00/1.01 o 43 1.00/1.04 c 0.798878 28.6523 2198 75050 1.00/1.04 o 37 1.49/1.58 c 1.16782 30.457 2496 88305 1.49/1.58 o 35 1.99/2.05 c 1.43478 30.457 1303 122835 2.09/2.13 o 29 2.29/2.31 c 1.61075 30.457 1557 132091 2.29/2.31 o 27 2.39/2.48 c 1.70274 30.457 1875 148537 2.39/2.48 o 25 1800.07/1800.00 s SATISFIABLE 1800.07/1800.00 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698971-1278459243/watcher-2698971-1278459243 -o /tmp/evaluation-result-2698971-1278459243/solver-2698971-1278459243 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698971-1278459243.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.68 4/175 13903 /proc/meminfo: memFree=30363208/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=2136 CPUtime=0 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 247 0 0 0 0 0 0 0 24 0 1 0 14136842 2187264 166 4089446400 134512640 136422188 4288476864 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13903/statm: 534 166 144 467 0 65 0 [startup+0.0522161 s] /proc/loadavg: 2.00 1.99 1.68 4/175 13903 /proc/meminfo: memFree=30363208/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=14300 CPUtime=0.04 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 3243 0 0 0 4 0 0 0 25 0 1 0 14136842 14643200 3162 4089446400 134512640 136422188 4288476864 18446744073709551615 134757890 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13903/statm: 3575 3167 193 467 0 3106 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14300 [startup+0.101205 s] /proc/loadavg: 2.00 1.99 1.68 4/175 13903 /proc/meminfo: memFree=30363208/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=24916 CPUtime=0.09 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 5937 0 0 0 9 0 0 0 25 0 1 0 14136842 25513984 5679 4089446400 134512640 136422188 4288476864 18446744073709551615 134914752 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13903/statm: 6229 5680 203 467 0 5760 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24916 [startup+0.300166 s] /proc/loadavg: 2.00 1.99 1.68 4/175 13903 /proc/meminfo: memFree=30363208/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=26944 CPUtime=0.29 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 6467 0 0 0 23 6 0 0 25 0 1 0 14136842 27590656 6194 4089446400 134512640 136422188 4288476864 18446744073709551615 134620377 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13903/statm: 6736 6194 237 467 0 6267 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26944 [startup+0.701092 s] /proc/loadavg: 2.00 1.99 1.68 4/175 13903 /proc/meminfo: memFree=30363208/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=29336 CPUtime=0.69 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 7089 0 0 0 54 15 0 0 25 0 1 0 14136842 30040064 6806 4089446400 134512640 136422188 4288476864 18446744073709551615 134873038 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13903/statm: 7334 6806 237 467 0 6865 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29336 [startup+1.50093 s] /proc/loadavg: 2.00 1.99 1.68 3/176 13904 /proc/meminfo: memFree=30336664/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=30656 CPUtime=1.49 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 7439 0 0 0 109 40 0 0 18 0 1 0 14136842 31391744 7146 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 7664 7146 237 467 0 7195 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30656 [startup+3.10062 s] /proc/loadavg: 2.00 1.99 1.68 3/179 13928 /proc/meminfo: memFree=30341600/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=31184 CPUtime=3.09 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 7555 0 0 0 209 100 0 0 21 0 1 0 14136842 31932416 7258 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 7796 7258 237 467 0 7327 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31184 [startup+6.30103 s] /proc/loadavg: 2.00 1.99 1.68 3/179 13928 /proc/meminfo: memFree=30338456/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=34360 CPUtime=6.29 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 8349 0 0 0 428 201 0 0 25 0 1 0 14136842 35184640 8052 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 8590 8052 237 467 0 8121 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34360 [startup+12.7008 s] /proc/loadavg: 2.00 1.99 1.68 3/179 13928 /proc/meminfo: memFree=30333588/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=39296 CPUtime=12.69 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 9606 0 0 0 905 364 0 0 25 0 1 0 14136842 40239104 9309 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 9824 9309 237 467 0 9355 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39296 [startup+25.5003 s] /proc/loadavg: 2.00 1.99 1.69 3/179 13928 /proc/meminfo: memFree=30331976/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=41424 CPUtime=25.49 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 10119 0 0 0 1866 683 0 0 25 0 1 0 14136842 42418176 9822 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 10356 9822 237 467 0 9887 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41424 [startup+51.1004 s] /proc/loadavg: 2.00 1.99 1.70 3/179 13929 /proc/meminfo: memFree=30327436/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=46116 CPUtime=51.09 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 11452 0 0 0 3761 1348 0 0 25 0 1 0 14136842 47222784 11000 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 11529 11000 237 467 0 11060 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 46116 [startup+102.307 s] /proc/loadavg: 2.00 1.99 1.71 3/179 13930 /proc/meminfo: memFree=30322944/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=50296 CPUtime=102.3 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 12507 0 0 0 7578 2652 0 0 25 0 1 0 14136842 51503104 12027 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 12574 12027 237 467 0 12105 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 50296 [startup+162.301 s] /proc/loadavg: 2.00 1.99 1.73 3/179 13932 /proc/meminfo: memFree=30308624/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=63376 CPUtime=162.3 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 16089 0 0 0 12430 3800 0 0 25 0 1 0 14136842 64897024 15313 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 15844 15313 237 467 0 15375 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 63376 [startup+222.3 s] /proc/loadavg: 2.00 1.99 1.74 3/179 13933 /proc/meminfo: memFree=30309172/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=63376 CPUtime=222.3 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 16089 0 0 0 17044 5186 0 0 25 0 1 0 14136842 64897024 15313 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 15844 15313 237 467 0 15375 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 63376 [startup+282.301 s] /proc/loadavg: 2.00 1.99 1.75 3/179 13935 /proc/meminfo: memFree=30309236/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=63368 CPUtime=282.3 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 16131 0 0 0 21592 6638 0 0 25 0 1 0 14136842 64888832 15311 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 15842 15311 237 467 0 15373 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 63368 [startup+342.3 s] /proc/loadavg: 2.00 1.99 1.76 3/179 13937 /proc/meminfo: memFree=30306336/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=66608 CPUtime=342.3 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 16982 0 0 0 26585 7645 0 0 25 0 1 0 14136842 68206592 16119 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 16652 16119 237 467 0 16183 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 66608 [startup+402.301 s] /proc/loadavg: 2.00 1.99 1.77 3/179 13938 /proc/meminfo: memFree=30306280/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=66608 CPUtime=402.3 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 16982 0 0 0 31125 9105 0 0 25 0 1 0 14136842 68206592 16119 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 16652 16119 237 467 0 16183 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 66608 [startup+462.301 s] /proc/loadavg: 2.00 1.99 1.79 3/179 13940 /proc/meminfo: memFree=30304852/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=68360 CPUtime=462.31 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 17383 0 0 0 35751 10480 0 0 25 0 1 0 14136842 70000640 16520 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 17090 16520 237 467 0 16621 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 68360 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.80 3/179 13941 /proc/meminfo: memFree=30293776/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=78720 CPUtime=522.32 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 20140 0 0 0 40640 11592 0 0 25 0 1 0 14136842 80609280 19141 4089446400 134512640 136422188 4288476864 18446744073709551615 134857881 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 19680 19141 237 467 0 19211 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 78720 [startup+582.301 s] /proc/loadavg: 2.00 1.99 1.81 3/179 13943 /proc/meminfo: memFree=30293732/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=78720 CPUtime=582.31 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 20140 0 0 0 45107 13124 0 0 25 0 1 0 14136842 80609280 19141 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 19680 19141 237 467 0 19211 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 78720 [startup+642.3 s] /proc/loadavg: 2.00 1.99 1.82 3/179 13945 /proc/meminfo: memFree=30293556/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=78720 CPUtime=642.32 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 20140 0 0 0 49706 14526 0 0 25 0 1 0 14136842 80609280 19141 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 19680 19141 237 467 0 19211 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 78720 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.03 2.00 1.84 3/179 13949 /proc/meminfo: memFree=30287944/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=85368 CPUtime=822.32 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 22128 0 0 0 64968 17264 0 0 25 0 1 0 14136842 87416832 20788 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 21342 20788 237 467 0 20873 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 85368 [startup+882.3 s] /proc/loadavg: 2.01 2.00 1.85 3/179 13951 /proc/meminfo: memFree=30287032/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=86160 CPUtime=882.33 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 22325 0 0 0 69819 18414 0 0 25 0 1 0 14136842 88227840 20985 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 21540 20985 237 467 0 21071 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 86160 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.85 3/179 13953 /proc/meminfo: memFree=30285876/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=87876 CPUtime=942.33 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 22764 0 0 0 74436 19797 0 0 25 0 1 0 14136842 89985024 21424 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 21969 21424 237 467 0 21500 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 87876 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.86 3/179 13954 /proc/meminfo: memFree=30282596/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=90396 CPUtime=1002.33 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 23444 0 0 0 79260 20973 0 0 25 0 1 0 14136842 92565504 22056 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 22599 22056 237 467 0 22130 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 90396 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.87 3/179 13983 /proc/meminfo: memFree=30262816/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=96336 CPUtime=1062.34 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 24921 0 0 0 83539 22695 0 0 25 0 1 0 14136842 98648064 23533 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 24084 23533 237 467 0 23615 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 96336 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.87 3/179 13984 /proc/meminfo: memFree=30262040/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=96336 CPUtime=1122.33 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 24921 0 0 0 87868 24365 0 0 25 0 1 0 14136842 98648064 23533 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 24084 23533 237 467 0 23615 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 96336 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 13986 /proc/meminfo: memFree=30261632/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=96336 CPUtime=1182.34 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 24921 0 0 0 92328 25906 0 0 25 0 1 0 14136842 98648064 23533 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 24084 23533 237 467 0 23615 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 96336 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 13988 /proc/meminfo: memFree=30258744/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=99160 CPUtime=1242.34 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 25673 0 0 0 97113 27121 0 0 25 0 1 0 14136842 101539840 24243 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 24790 24243 237 467 0 24321 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 99160 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 13989 /proc/meminfo: memFree=30257828/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=99160 CPUtime=1302.35 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 25673 0 0 0 101152 29083 0 0 25 0 1 0 14136842 101539840 24243 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 24790 24243 237 467 0 24321 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 99160 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 13991 /proc/meminfo: memFree=30258020/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=99160 CPUtime=1362.35 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 25673 0 0 0 105368 30867 0 0 25 0 1 0 14136842 101539840 24243 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 24790 24243 237 467 0 24321 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 99160 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.90 3/179 13992 /proc/meminfo: memFree=30257700/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=99160 CPUtime=1422.36 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 25673 0 0 0 110149 32087 0 0 25 0 1 0 14136842 101539840 24243 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 24790 24243 237 467 0 24321 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 99160 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13994 /proc/meminfo: memFree=30257900/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=99160 CPUtime=1482.35 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 25673 0 0 0 114187 34048 0 0 25 0 1 0 14136842 101539840 24243 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 24790 24243 237 467 0 24321 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 99160 [startup+1542.3 s] /proc/loadavg: 2.05 2.01 1.91 3/179 13996 /proc/meminfo: memFree=30254876/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=101328 CPUtime=1542.36 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 27524 0 0 0 118449 35787 0 0 25 0 1 0 14136842 103759872 24784 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 25332 24784 237 467 0 24863 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 101328 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 1.91 3/179 13997 /proc/meminfo: memFree=30253588/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=103128 CPUtime=1602.35 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 28009 0 0 0 123108 37127 0 0 25 0 1 0 14136842 105603072 25230 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 25782 25230 237 467 0 25313 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 103128 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14008 /proc/meminfo: memFree=30242416/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=113328 CPUtime=1662.36 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 30537 0 0 0 128137 38099 0 0 25 0 1 0 14136842 116047872 27758 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 28332 27758 237 467 0 27863 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 113328 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14009 /proc/meminfo: memFree=30241368/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=114384 CPUtime=1722.36 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 30802 0 0 0 132731 39505 0 0 25 0 1 0 14136842 117129216 28023 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 28596 28023 237 467 0 28127 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 114384 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14011 /proc/meminfo: memFree=30241204/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=114384 CPUtime=1782.36 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 30802 0 0 0 137601 40635 0 0 25 0 1 0 14136842 117129216 28023 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 28596 28023 237 467 0 28127 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 114384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.02 1.92 3/179 14012 /proc/meminfo: memFree=30241184/32950928 swapFree=67111528/67111528 [pid=13903] ppid=13901 vsize=114384 CPUtime=1800.07 /proc/13903/stat : 13903 (pbct) R 13901 13903 13766 0 -1 4202496 30802 0 0 0 139141 40866 0 0 25 0 1 0 14136842 117129216 28023 4089446400 134512640 136422188 4288476864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13903/statm: 28596 28023 237 467 0 28127 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 114384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.01 CPU time (s): 1800.08 CPU user time (s): 1391.41 CPU system time (s): 408.672 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 114384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1391.41 system time used= 408.672 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30803 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= 2 involuntary context switches= 2975 runsolver used 2.38564 second user time and 5.80812 second system time The end
Begin job on node148 at 2010-07-07 01:34:03 IDJOB=2698971 IDBENCH=78702 IDSOLVER=1212 FILE ID=node148/2698971-1278459243 PBS_JOBID= 11233696 Free space on /tmp= 73892 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698971-1278459243/watcher-2698971-1278459243 -o /tmp/evaluation-result-2698971-1278459243/solver-2698971-1278459243 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698971-1278459243.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3aafd47af6446049bcdbc11c9b966efe RANDOM SEED=1252605136 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.825 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.65 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.825 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.83 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.825 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.82 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.825 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.77 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.825 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.825 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.825 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.83 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.825 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30363728 kB Buffers: 110484 kB Cached: 2266644 kB SwapCached: 0 kB Active: 659456 kB Inactive: 1781124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30363728 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2328 kB Writeback: 0 kB AnonPages: 63928 kB Mapped: 14868 kB Slab: 83680 kB PageTables: 4764 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 189232 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= 73900 MiB End job on node148 at 2010-07-07 02:04:05