Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | SAT (TO) | -7393 | 1800.72 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb |
MD5SUM | bae2de9f4879fca72b44ba1c72e8b4a3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -7863 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7952 |
Optimality of the best value was proved | NO |
Number of variables | 2993 |
Total number of constraints | 112 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 73 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 41 |
Maximum length of a constraint | 73 |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 2020 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 525822 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 96167 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 525822 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c 0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:33:09 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node69/31800-1149356026/instance-31800-1149356026.opb 77579134 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 77579134 0.00 c Noise: 0.7 (70 : 100) 0.10 c Starting searching: 0.10 c Phase 1 ... 9.33 c trying 16316: xxvc 9.33 o -6222 71.71 c trying -173984: xxxxxxxxxxc 71.71 c Phase 2 ... 124.86 c trying -6223: xvc 124.86 o -6260 131.76 c trying -6261: vc 131.76 o -6349 152.09 c trying -6350: vc 152.09 o -6410 174.20 c trying -6411: vc 174.20 o -6425 182.77 c trying -6426: vc 182.77 o -6452 202.18 c trying -6453: vc 202.18 o -6456 208.69 c trying -6457: vc 208.69 o -6762 221.69 c trying -6763: vc 221.69 o -6790 248.28 c trying -6791: vc 248.28 o -6919 264.41 c trying -6920: vc 264.41 o -6960 287.49 c trying -6961: vc 287.49 o -7019 322.61 c trying -7020: xvc 322.61 o -7065 526.43 c trying -7066: xxxxxxvc 526.43 o -7067 641.01 c trying -7068: xxxvc 641.01 o -7069 666.37 c trying -7070: vc 666.37 o -7087 801.37 c trying -7088: xxxxvc 801.37 o -7157 1000.74 c trying -7158: xxxxxxvc 1000.74 o -7168 1020.92 c trying -7169: vc 1020.92 o -7237 1314.23 c trying -7238: xxxxxxxxxxc 1314.23 c Phase 3 ... 1404.81 c trying -7238 again: vc 1404.81 o -7239 1514.69 c trying -7240 again: vc 1514.69 o -7373 1570.06 c trying -7374 again: vc 1570.06 o -7382 1668.92 c trying -7383 again: vc 1668.92 o -7393 1801.21 c trying -7394 again: xc 1801.21 s SATISFIABLE 1801.22 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 1801.22 v -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 1801.22 v -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 1801.22 v -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 1801.22 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1801.22 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 1801.22 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1801.22 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1801.22 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1801.22 v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1801.22 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1801.22 v -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1801.22 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1801.22 v -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 1801.22 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1801.22 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1801.22 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1801.22 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1801.22 v x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1801.22 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1801.22 v x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1801.22 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1801.22 v -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1801.22 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1801.22 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1801.22 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1801.22 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 1801.22 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1801.22 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1801.22 v -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1801.22 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1801.22 v -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1801.22 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1801.22 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1801.22 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1801.22 v -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1801.22 v -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1801.22 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1801.22 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1801.22 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1801.22 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1801.22 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1801.22 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1801.22 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 1801.22 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1801.22 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 1801.22 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1801.22 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1801.22 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1801.22 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1801.22 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1801.22 v -x1075 x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1801.22 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1801.22 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1801.22 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1801.22 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1801.22 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 1801.22 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1801.22 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1801.22 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1801.22 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1801.22 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 1801.22 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1801.22 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1801.22 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1801.22 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1801.22 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1801.22 v -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1801.22 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1801.22 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 1801.22 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1801.22 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1801.22 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1801.22 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1801.22 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1801.22 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1801.22 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1801.22 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1801.22 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1801.22 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1801.22 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 -x1587 -x1588 1801.22 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 1801.22 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1801.22 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1801.22 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1801.22 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 1801.22 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1801.22 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1801.22 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 1801.22 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 1801.22 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 1801.22 v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 1801.22 v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 1801.22 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1801.22 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1801.22 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 1801.22 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1801.22 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1801.22 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1801.22 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1801.22 v -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1801.22 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1801.22 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 1801.22 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1801.22 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 1801.22 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1801.22 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1801.22 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1801.22 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1801.22 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1801.22 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1801.22 v x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1801.22 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 1801.22 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1801.22 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1801.22 v x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1801.22 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1801.22 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1801.22 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1801.22 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1801.22 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1801.22 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1801.22 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1801.22 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1801.22 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1801.22 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1801.22 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1801.22 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1801.22 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 1801.22 v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1801.22 v -x2424 -x2425 -x2426 -x2427 x2428 -x2429 x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1801.22 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1801.22 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1801.22 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1801.22 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1801.22 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 1801.22 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1801.22 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1801.22 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1801.22 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1801.22 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1801.22 v -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1801.22 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1801.22 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1801.22 v -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1801.22 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1801.22 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1801.22 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1801.22 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1801.22 v x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 1801.22 v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 1801.22 v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 1801.22 v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 1801.22 v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 1801.22 v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 1801.22 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1801.22 v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 1801.22 v -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 1801.22 v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1801.22 v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 -x2935 1801.22 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 1801.22 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 1801.22 v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 1801.22 v -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 1801.22 c Total Number of Positive Atoms : 73 1801.22 c 1801.22 c During searching: 1668.82 seconds elapsed. 1801.22 c CPU time spent: 1668.58 seconds. 1801.22 c 1801.22 c =================================== END ===================================== 1801.22 c
OK -7393
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-31800-1149356026 -o ROOT/results/node69/solver-31800-1149356026 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node69/31800-1149356026/instance-31800-1149356026.opb 77579134 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.29 1.08 1.02 3/64 25464 /proc/meminfo: memFree=1709348/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=6000 CPUtime=0 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 201272600 6144000 138 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1500 138 105 226 0 1271 0 [startup+10.0026 s] /proc/loadavg: 1.24 1.07 1.02 2/64 25464 /proc/meminfo: memFree=1707772/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=9.99 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 999 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134869190 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7448 [startup+20.0084 s] /proc/loadavg: 1.20 1.07 1.02 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=20.08 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 2008 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 20.08 Current children cumulated vsize (Kb) 7448 [startup+30.0953 s] /proc/loadavg: 1.17 1.07 1.02 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=30.08 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 3008 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 30.08 Current children cumulated vsize (Kb) 7448 [startup+40.1011 s] /proc/loadavg: 1.15 1.06 1.02 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=40.09 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 4009 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134608226 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 40.09 Current children cumulated vsize (Kb) 7448 [startup+50.107 s] /proc/loadavg: 1.12 1.06 1.02 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=50.09 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 5009 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605237 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 50.09 Current children cumulated vsize (Kb) 7448 [startup+60.1128 s] /proc/loadavg: 1.10 1.06 1.02 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=60.09 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 6009 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611527 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 60.09 Current children cumulated vsize (Kb) 7448 [startup+70.1187 s] /proc/loadavg: 1.09 1.06 1.02 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=70.1 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 7010 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 70.1 Current children cumulated vsize (Kb) 7448 [startup+80.1245 s] /proc/loadavg: 1.07 1.05 1.02 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=80.1 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 8010 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598528 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 80.1 Current children cumulated vsize (Kb) 7448 [startup+90.1294 s] /proc/loadavg: 1.06 1.05 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=90.1 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 9010 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 90.1 Current children cumulated vsize (Kb) 7448 [startup+100.135 s] /proc/loadavg: 1.05 1.05 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=100.1 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 10010 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 100.1 Current children cumulated vsize (Kb) 7448 [startup+110.141 s] /proc/loadavg: 1.04 1.05 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=110.11 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 11011 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566875 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 110.11 Current children cumulated vsize (Kb) 7448 [startup+120.147 s] /proc/loadavg: 1.04 1.05 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=120.11 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 12011 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601114 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 120.11 Current children cumulated vsize (Kb) 7448 [startup+130.153 s] /proc/loadavg: 1.03 1.04 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=130.12 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 13012 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 130.12 Current children cumulated vsize (Kb) 7448 [startup+140.16 s] /proc/loadavg: 1.02 1.04 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=140.12 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 14012 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 140.12 Current children cumulated vsize (Kb) 7448 [startup+150.166 s] /proc/loadavg: 1.02 1.04 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=150.12 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 15012 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 150.12 Current children cumulated vsize (Kb) 7448 [startup+160.171 s] /proc/loadavg: 1.02 1.04 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=160.13 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 16013 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601740 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 160.13 Current children cumulated vsize (Kb) 7448 [startup+170.177 s] /proc/loadavg: 1.01 1.04 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=170.13 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 17013 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 170.13 Current children cumulated vsize (Kb) 7448 [startup+180.183 s] /proc/loadavg: 1.01 1.03 1.01 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=180.13 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 18013 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 180.13 Current children cumulated vsize (Kb) 7448 [startup+190.189 s] /proc/loadavg: 1.01 1.03 1.00 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=190.14 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 19014 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 190.14 Current children cumulated vsize (Kb) 7448 [startup+200.195 s] /proc/loadavg: 1.01 1.03 1.00 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=200.14 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 20014 0 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877482 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 200.14 Current children cumulated vsize (Kb) 7448 [startup+210.201 s] /proc/loadavg: 1.01 1.03 1.00 2/64 25464 /proc/meminfo: memFree=1707900/2055920 swapFree=4182216/4192956 ################ # More data... # ################ [pid=25464] ppid=25462 vsize=7448 CPUtime=1781.61 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 178159 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 7448 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1782.62 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 178260 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 7448 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1783.62 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 178360 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1783.62 Current children cumulated vsize (Kb) 7448 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1784.62 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 178460 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 7448 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1785.63 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 178561 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134597116 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (Kb) 7448 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1786.63 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 178661 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601138 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 7448 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1787.64 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 178762 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 7448 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1788.64 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 178862 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601378 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 7448 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1789.65 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 178963 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1789.65 Current children cumulated vsize (Kb) 7448 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1790.65 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179063 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 7448 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1791.66 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179164 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1791.66 Current children cumulated vsize (Kb) 7448 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1792.66 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179264 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607236 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 7448 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1793.67 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179365 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605351 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (Kb) 7448 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1794.67 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179465 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 7448 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1795.68 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179566 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134597104 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 7448 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1796.68 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179666 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 7448 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1797.68 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179766 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 7448 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1798.69 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179867 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 7448 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1799.69 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 179967 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 7448 [startup+1801.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1800.7 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 180068 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605248 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 7448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25659 /proc/meminfo: memFree=1707580/2055920 swapFree=4182216/4192956 [pid=25464] ppid=25462 vsize=7448 CPUtime=1800.7 /proc/25464/stat : 25464 (wildcat-rnp) R 25462 25464 25418 0 -1 4194304 542 0 0 0 180068 2 0 0 25 0 1 0 201272600 7626752 518 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25464/statm: 1862 518 117 226 0 1633 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 7448 Sending SIGTERM to -25464 Sleeping 2 seconds Child status: 0 Real time (s): 1801.23 CPU time (s): 1800.72 CPU user time (s): 1800.69 CPU system time (s): 0.028995 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (Kb): 7448
Begin job on node69 on Sat Jun 3 17:33:46 UTC 2006 FILE ID= 31800-1149356026 PBS_JOBID= 311259 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node69/31800-1149356026/instance-31800-1149356026.opb 77579134 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-31800-1149356026 -o ROOT/results/node69/solver-31800-1149356026 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node69/31800-1149356026/instance-31800-1149356026.opb 77579134 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= bae2de9f4879fca72b44ba1c72e8b4a3 RANDOM SEED= 77579134 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1709620 kB Buffers: 32220 kB Cached: 243976 kB SwapCached: 2468 kB Active: 108908 kB Inactive: 176052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1709620 kB SwapTotal: 4192956 kB SwapFree: 4182216 kB Dirty: 156 kB Writeback: 0 kB Mapped: 15444 kB Slab: 47336 kB Committed_AS: 361264 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node69 on Sat Jun 3 18:03:47 UTC 2006