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