Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.05 | 1800.01 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo |
MD5SUM | a1a1d6ef1095be996fe403c53206d252 |
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 | 12 |
Best CPU time to get the best result obtained on this benchmark | 0.112982 |
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 | 62 |
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 | 3271 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 3270 |
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 46/24 clauses 52/38 units 0 0.00/0.01 c vars 3150 0.09/0.12 c 0.116982 25.6055 23 4344 0.09/0.12 o 1190 0.09/0.14 c 0.131979 25.8789 125 5867 0.09/0.14 o 467 0.09/0.15 c 0.136979 25.8789 125 6560 0.09/0.15 o 371 0.09/0.17 c 0.154976 25.8789 226 8232 0.09/0.17 o 320 0.09/0.19 c 0.165974 26.0078 331 9939 0.09/0.19 o 278 0.19/0.20 c 0.172973 26.0078 342 10958 0.19/0.20 o 272 0.19/0.21 c 0.176973 26.0078 344 11773 0.19/0.21 o 267 0.19/0.21 c 0.180972 26.0078 349 12591 0.19/0.21 o 247 0.19/0.22 c 0.184971 26.0078 349 13308 0.19/0.22 o 234 0.19/0.24 c 0.19197 26.0078 458 14948 0.19/0.24 o 233 0.19/0.25 c 0.19697 26.0078 460 15821 0.19/0.25 o 230 0.19/0.25 c 0.200969 26.0078 462 16609 0.19/0.25 o 227 0.19/0.27 c 0.213967 26.1367 564 18292 0.19/0.27 o 213 0.19/0.28 c 0.218966 26.1367 568 19026 0.19/0.28 o 117 0.19/0.29 c 0.224965 26.1367 585 19815 0.19/0.29 o 82 0.29/0.39 c 0.301954 26.6523 1388 26958 0.29/0.39 o 78 0.39/0.40 c 0.307953 26.6523 1397 28067 0.39/0.40 o 67 0.39/0.40 c 0.310952 26.6523 1400 29179 0.39/0.40 o 61 0.39/0.48 c 0.371943 27.168 2107 35084 0.39/0.48 o 44 0.69/0.77 c 0.580911 27.6836 1177 54951 0.69/0.77 o 41 0.79/0.82 c 0.619905 27.6836 1580 59063 0.79/0.82 o 38 0.89/0.91 c 0.684895 27.6836 1243 64880 0.89/0.91 o 22 0.89/0.91 c 0.691894 27.6836 1247 66042 0.89/0.91 o 21 1.10/1.10 c 0.824874 28.1992 1543 74701 1.10/1.10 o 16 1.29/1.39 c 1.06084 28.1992 1745 91698 1.29/1.39 o 12 1800.03/1800.00 s SATISFIABLE 1800.03/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 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698952-1278458545/watcher-2698952-1278458545 -o /tmp/evaluation-result-2698952-1278458545/solver-2698952-1278458545 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698952-1278458545.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.01 1.95 1.36 4/178 12452 /proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=2136 CPUtime=0 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14068590 2187264 172 4089446400 134512640 136422188 4287797536 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12452/statm: 534 172 144 467 0 65 0 [startup+0.0606451 s] /proc/loadavg: 2.01 1.95 1.36 4/178 12452 /proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=15868 CPUtime=0.06 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 3634 0 0 0 6 0 0 0 25 0 1 0 14068590 16248832 3554 4089446400 134512640 136422188 4287797536 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 3967 3560 193 467 0 3498 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15868 [startup+0.100644 s] /proc/loadavg: 2.01 1.95 1.36 4/178 12452 /proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=24700 CPUtime=0.09 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 5918 0 0 0 9 0 0 0 25 0 1 0 14068590 25292800 5660 4089446400 134512640 136422188 4287797536 18446744073709551615 134931278 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 6175 5660 203 467 0 5706 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24700 [startup+0.300606 s] /proc/loadavg: 2.01 1.95 1.36 4/178 12452 /proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=26760 CPUtime=0.29 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 6451 0 0 0 23 6 0 0 25 0 1 0 14068590 27402240 6178 4089446400 134512640 136422188 4287797536 18446744073709551615 134867340 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 6690 6178 237 467 0 6221 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26760 [startup+0.700543 s] /proc/loadavg: 2.01 1.95 1.36 4/178 12452 /proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=28212 CPUtime=0.69 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 6822 0 0 0 52 17 0 0 25 0 1 0 14068590 28889088 6545 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 7053 6545 237 467 0 6584 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28212 [startup+1.50039 s] /proc/loadavg: 2.01 1.95 1.36 3/179 12453 /proc/meminfo: memFree=29248196/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=28872 CPUtime=1.49 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 6989 0 0 0 114 35 0 0 25 0 1 0 14068590 29564928 6706 4089446400 134512640 136422188 4287797536 18446744073709551615 134864413 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 7218 6706 237 467 0 6749 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28872 [startup+3.10111 s] /proc/loadavg: 2.01 1.95 1.36 3/179 12453 /proc/meminfo: memFree=29246956/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=30864 CPUtime=3.09 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 7499 0 0 0 245 64 0 0 25 0 1 0 14068590 31604736 7216 4089446400 134512640 136422188 4287797536 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 7716 7216 237 467 0 7247 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30864 [startup+6.30055 s] /proc/loadavg: 2.01 1.95 1.37 3/179 12453 /proc/meminfo: memFree=29242396/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=34164 CPUtime=6.29 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 8321 0 0 0 515 114 0 0 25 0 1 0 14068590 34983936 8038 4089446400 134512640 136422188 4287797536 18446744073709551615 134864914 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 8541 8038 237 467 0 8072 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34164 [startup+12.7004 s] /proc/loadavg: 2.00 1.95 1.37 3/179 12453 /proc/meminfo: memFree=29238752/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=38012 CPUtime=12.69 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 9261 0 0 0 1075 194 0 0 25 0 1 0 14068590 38924288 8978 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 9503 8978 237 467 0 9034 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38012 [startup+25.5001 s] /proc/loadavg: 2.00 1.95 1.38 3/179 12453 /proc/meminfo: memFree=29235184/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=41588 CPUtime=25.49 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 10172 0 0 0 2197 352 0 0 25 0 1 0 14068590 42586112 9889 4089446400 134512640 136422188 4287797536 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 10397 9889 237 467 0 9928 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41588 [startup+51.1007 s] /proc/loadavg: 2.00 1.95 1.39 3/179 12454 /proc/meminfo: memFree=29232144/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=44508 CPUtime=51.09 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 10895 0 0 0 4402 707 0 0 25 0 1 0 14068590 45576192 10612 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 11127 10612 237 467 0 10658 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 44508 [startup+102.307 s] /proc/loadavg: 2.00 1.96 1.42 3/179 12455 /proc/meminfo: memFree=29222572/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=54028 CPUtime=102.3 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 13252 0 0 0 8930 1300 0 0 25 0 1 0 14068590 55324672 12969 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 13507 12969 237 467 0 13038 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 54028 [startup+162.3 s] /proc/loadavg: 2.00 1.96 1.46 3/179 12457 /proc/meminfo: memFree=29214352/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=61984 CPUtime=162.29 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 15245 0 0 0 14274 1955 0 0 25 0 1 0 14068590 63471616 14962 4089446400 134512640 136422188 4287797536 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 15496 14962 237 467 0 15027 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 61984 [startup+222.301 s] /proc/loadavg: 2.00 1.97 1.49 3/179 12459 /proc/meminfo: memFree=29214312/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=61732 CPUtime=222.29 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 15246 0 0 0 19502 2727 0 0 25 0 1 0 14068590 63213568 14919 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 15433 14919 237 467 0 14964 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 61732 [startup+282.301 s] /proc/loadavg: 2.00 1.97 1.52 3/179 12461 /proc/meminfo: memFree=29212656/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=63652 CPUtime=282.29 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 15743 0 0 0 24857 3372 0 0 25 0 1 0 14068590 65179648 15379 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 15913 15379 237 467 0 15444 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 63652 [startup+342.301 s] /proc/loadavg: 2.00 1.97 1.55 3/179 12462 /proc/meminfo: memFree=29205680/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=70668 CPUtime=342.29 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 17500 0 0 0 30279 3950 0 0 25 0 1 0 14068590 72364032 17136 4089446400 134512640 136422188 4287797536 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 17667 17136 237 467 0 17198 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 70668 [startup+402.301 s] /proc/loadavg: 2.00 1.97 1.57 3/179 12463 /proc/meminfo: memFree=29199568/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=76756 CPUtime=402.3 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 19068 0 0 0 35879 4351 0 0 25 0 1 0 14068590 78598144 18663 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 19189 18663 237 467 0 18720 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 76756 [startup+462.3 s] /proc/loadavg: 2.00 1.97 1.59 3/179 12465 /proc/meminfo: memFree=29199288/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=76756 CPUtime=462.3 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 19068 0 0 0 41162 5068 0 0 25 0 1 0 14068590 78598144 18663 4089446400 134512640 136422188 4287797536 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 19189 18663 237 467 0 18720 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 76756 [startup+522.301 s] /proc/loadavg: 2.00 1.97 1.62 3/179 12467 /proc/meminfo: memFree=29199136/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=76756 CPUtime=522.3 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 19068 0 0 0 46453 5777 0 0 25 0 1 0 14068590 78598144 18663 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 19189 18663 237 467 0 18720 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 76756 [startup+582.3 s] /proc/loadavg: 2.00 1.97 1.64 3/179 12469 /proc/meminfo: memFree=29192420/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=84180 CPUtime=582.3 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 20899 0 0 0 51915 6315 0 0 25 0 1 0 14068590 86200320 20494 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 21045 20494 237 467 0 20576 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 84180 [startup+642.301 s] /proc/loadavg: 2.00 1.97 1.66 3/179 12470 /proc/meminfo: memFree=29192272/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=84180 CPUtime=642.31 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 20899 0 0 0 57237 6994 0 0 25 0 1 0 14068590 86200320 20494 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12452/statm: 21045 20494 237 467 0 20576 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 84180 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.99 1.71 3/179 12503 /proc/meminfo: memFree=29834972/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=85608 CPUtime=822.31 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 21380 0 0 0 72322 9909 0 0 25 0 1 0 14068590 87662592 20872 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 21402 20872 237 467 0 20933 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 85608 [startup+882.301 s] /proc/loadavg: 2.00 1.99 1.73 3/179 12505 /proc/meminfo: memFree=29833820/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=85608 CPUtime=882.31 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 21380 0 0 0 77217 11014 0 0 25 0 1 0 14068590 87662592 20872 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 21402 20872 237 467 0 20933 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 85608 [startup+942.3 s] /proc/loadavg: 2.00 1.99 1.74 3/179 12506 /proc/meminfo: memFree=29833792/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=85608 CPUtime=942.31 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 21380 0 0 0 81626 12605 0 0 25 0 1 0 14068590 87662592 20872 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 21402 20872 237 467 0 20933 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 85608 [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.75 3/179 12507 /proc/meminfo: memFree=29830780/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=88808 CPUtime=1002.31 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 22158 0 0 0 85837 14394 0 0 25 0 1 0 14068590 90939392 21650 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 22202 21650 237 467 0 21733 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 88808 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.77 3/179 12509 /proc/meminfo: memFree=29830364/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=88808 CPUtime=1062.32 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 22158 0 0 0 90688 15544 0 0 25 0 1 0 14068590 90939392 21650 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 22202 21650 237 467 0 21733 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 88808 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.78 3/179 12511 /proc/meminfo: memFree=29827848/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=90852 CPUtime=1122.31 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 22675 0 0 0 95113 17118 0 0 25 0 1 0 14068590 93032448 22167 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 22713 22167 237 467 0 22244 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 90852 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.79 3/179 12513 /proc/meminfo: memFree=29827436/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=90940 CPUtime=1182.32 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 22798 0 0 0 99434 18798 0 0 25 0 1 0 14068590 93122560 22192 4089446400 134512640 136422188 4287797536 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 22735 22192 237 467 0 22266 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 90940 [startup+1242.3 s] /proc/loadavg: 2.09 2.02 1.81 3/179 12514 /proc/meminfo: memFree=29822692/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=94776 CPUtime=1242.32 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 23865 0 0 0 104356 19876 0 0 25 0 1 0 14068590 97050624 23152 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 23694 23152 237 467 0 23225 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 94776 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 1.82 3/179 12515 /proc/meminfo: memFree=29818948/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=98476 CPUtime=1302.32 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25039 0 0 0 108786 21446 0 0 25 0 1 0 14068590 100839424 24075 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 24619 24075 237 467 0 24150 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 98476 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 1.83 3/179 12517 /proc/meminfo: memFree=29818920/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=98476 CPUtime=1362.32 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25039 0 0 0 113163 23069 0 0 25 0 1 0 14068590 100839424 24075 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 24619 24075 237 467 0 24150 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 98476 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.83 3/179 12519 /proc/meminfo: memFree=29819008/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=98476 CPUtime=1422.33 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25039 0 0 0 117828 24405 0 0 25 0 1 0 14068590 100839424 24075 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 24619 24075 237 467 0 24150 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 98476 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.84 3/179 12521 /proc/meminfo: memFree=29819212/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=98476 CPUtime=1482.32 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25039 0 0 0 122232 26000 0 0 25 0 1 0 14068590 100839424 24075 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 24619 24075 237 467 0 24150 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 98476 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.84 3/179 12522 /proc/meminfo: memFree=29818560/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=98476 CPUtime=1542.33 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25040 0 0 0 126610 27623 0 0 25 0 1 0 14068590 100839424 24076 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 24619 24076 237 467 0 24150 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 98476 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.85 3/179 12523 /proc/meminfo: memFree=29815916/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=101424 CPUtime=1602.32 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25769 0 0 0 131351 28881 0 0 25 0 1 0 14068590 103858176 24805 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 25356 24805 237 467 0 24887 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 101424 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.86 3/179 12525 /proc/meminfo: memFree=29814276/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=102624 CPUtime=1662.33 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 26049 0 0 0 136158 30075 0 0 25 0 1 0 14068590 105086976 25085 4089446400 134512640 136422188 4287797536 18446744073709551615 134862281 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 25656 25085 237 467 0 25187 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 102624 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.86 3/179 12527 /proc/meminfo: memFree=29808544/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=108228 CPUtime=1722.33 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 27645 0 0 0 141211 31022 0 0 25 0 1 0 14068590 110825472 26488 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 27057 26488 237 467 0 26588 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 108228 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 1.87 3/179 12529 /proc/meminfo: memFree=29808392/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=108228 CPUtime=1782.33 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 27645 0 0 0 146215 32018 0 0 25 0 1 0 14068590 110825472 26488 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 27057 26488 237 467 0 26588 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 108228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.09 2.03 1.88 3/179 12529 /proc/meminfo: memFree=29808508/32950940 swapFree=67111528/67111528 [pid=12452] ppid=12450 vsize=108228 CPUtime=1800.03 /proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 27645 0 0 0 147725 32278 0 0 25 0 1 0 14068590 110825472 26488 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12452/statm: 27057 26488 237 467 0 26588 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 108228 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.05 CPU user time (s): 1477.26 CPU system time (s): 322.794 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 108304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1477.26 system time used= 322.794 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27646 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= 1 involuntary context switches= 3127 runsolver used 2.84957 second user time and 5.78112 second system time The end
Begin job on node117 at 2010-07-07 01:22:25 IDJOB=2698952 IDBENCH=78694 IDSOLVER=1212 FILE ID=node117/2698952-1278458545 PBS_JOBID= 11233758 Free space on /tmp= 73764 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-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698952-1278458545/watcher-2698952-1278458545 -o /tmp/evaluation-result-2698952-1278458545/solver-2698952-1278458545 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698952-1278458545.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a1a1d6ef1095be996fe403c53206d252 RANDOM SEED=291537372 node117.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.846 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.69 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.846 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.846 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.75 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.846 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.87 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.846 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.74 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.846 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.82 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.846 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.62 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.846 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 : 5251.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 29274268 kB Buffers: 103180 kB Cached: 2708816 kB SwapCached: 0 kB Active: 1754804 kB Inactive: 1770528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 29274268 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1956 kB Writeback: 0 kB AnonPages: 712912 kB Mapped: 15456 kB Slab: 87272 kB PageTables: 6100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 872632 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= 73764 MiB End job on node117 at 2010-07-07 01:52:27