Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 20 | 1782.74 | 1783.26 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb |
MD5SUM | 1a5dd226c84aa8cc751cd6025cf57c5b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 8.91564 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | YES |
Number of variables | 3100 |
Total number of constraints | 120 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4599 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 526310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526310 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.06 c starting to Solve 0.06 c #variables read: 3100 - #constraints read: 141 0.06 o 20 1783.25 c total time : 1783 s 1783.25 s SATISFIABLE 1783.25 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 1783.25 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 1783.25 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1783.25 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1783.25 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1783.25 v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1783.25 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 1783.25 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1783.25 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1783.25 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1783.25 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1783.25 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1783.25 v -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1783.25 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 1783.25 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1783.25 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 1783.25 v -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 1783.25 v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 1783.25 v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 1783.25 v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 1783.25 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1783.25 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1783.25 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1783.25 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1783.25 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1783.25 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 1783.25 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 1783.25 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 1783.25 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1783.25 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1783.25 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1783.25 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1783.25 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1783.25 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1783.25 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1783.25 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1783.25 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1783.25 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1783.25 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1783.25 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1783.25 v -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1783.25 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1783.25 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1783.25 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 1783.25 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1783.25 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1783.25 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1783.25 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1783.25 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1783.25 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1783.25 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1783.25 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1783.25 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1783.25 v -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1783.25 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1783.25 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1783.25 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1783.25 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1783.25 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1783.25 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1783.25 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1783.25 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1783.25 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1783.25 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1783.25 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1783.25 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1783.25 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1783.25 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 1783.25 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1783.25 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1783.25 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1783.25 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1783.25 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 1783.25 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1783.25 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 1783.25 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1783.25 v -x1350 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1783.25 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1783.25 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1783.25 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1783.25 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1783.25 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1783.25 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1783.25 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 1783.25 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1783.25 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1783.25 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1783.25 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1783.25 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1783.25 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1783.25 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1783.25 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1783.25 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1783.25 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 1783.25 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1783.25 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 1783.25 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1783.25 v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1783.25 v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1783.25 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 1783.25 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 1783.25 v -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1783.25 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 1783.25 v -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1783.25 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1783.25 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 1783.25 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1783.25 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1783.25 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1783.25 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1783.25 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1783.25 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1783.25 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1783.25 v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1783.25 v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 1783.25 v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 1783.25 v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 1783.25 v -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 1783.25 v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 1783.25 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 1783.25 v -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 1783.25 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 1783.25 v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1783.25 v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 1783.25 v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 1783.25 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1783.25 v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 1783.25 v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1783.25 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1783.25 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1783.25 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1783.25 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1783.25 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1783.25 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1783.25 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1783.25 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1783.25 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1783.25 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1783.25 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1783.25 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1783.25 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1783.25 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1783.25 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1783.25 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1783.25 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1783.25 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1783.25 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1783.25 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1783.25 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 1783.25 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1783.25 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1783.25 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1783.25 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1783.25 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1783.25 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1783.25 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1783.25 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1783.25 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1783.25 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 1783.25 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1783.25 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1783.25 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1783.25 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 1783.25 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1783.25 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3013 -x3024 -x3035 -x3046 -x3057 -x3068 -x3079 x3090 -x3003 -x3004 1783.25 v -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 1783.25 v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 1783.25 v -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 x3061 -x3062 -x3063 1783.25 v -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 x3081 -x3082 -x3083 1783.25 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
OK 20
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/node21/watcher-36351-1149249770 -o ROOT/results/node21/solver-36351-1149249770 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node21/36351-1149249770/instance-36351-1149249770.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.95 0.90 2/64 22298 /proc/meminfo: memFree=1205280/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=172 CPUtime=0 /proc/22298/stat : 22298 (Pueblo) D 22296 22298 22252 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 190640059 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8438564 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/22298/statm: 43 23 18 16 0 2 0 [startup+10.0019 s] /proc/loadavg: 0.87 0.95 0.91 2/64 22298 /proc/meminfo: memFree=1200104/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=7584 CPUtime=9.99 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1525 0 0 0 974 25 0 0 25 0 1 0 190640059 7766016 1496 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 1896 1496 205 16 0 1337 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7584 [startup+20.008 s] /proc/loadavg: 0.89 0.95 0.91 2/64 22298 /proc/meminfo: memFree=1200112/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=7584 CPUtime=19.99 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1525 0 0 0 1965 34 0 0 25 0 1 0 190640059 7766016 1496 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 1896 1496 205 16 0 1337 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7584 [startup+30.0141 s] /proc/loadavg: 0.90 0.95 0.91 2/64 22298 /proc/meminfo: memFree=1199792/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=7844 CPUtime=30 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1605 0 0 0 2954 46 0 0 25 0 1 0 190640059 8032256 1576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 1961 1576 205 16 0 1402 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 7844 [startup+40.0202 s] /proc/loadavg: 0.92 0.95 0.91 2/64 22298 /proc/meminfo: memFree=1199792/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=7844 CPUtime=40 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1605 0 0 0 3939 61 0 0 25 0 1 0 190640059 8032256 1576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 1961 1576 205 16 0 1402 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 7844 [startup+50.0263 s] /proc/loadavg: 0.93 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1199728/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=8076 CPUtime=50 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1642 0 0 0 4933 67 0 0 25 0 1 0 190640059 8269824 1613 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 2019 1613 205 16 0 1460 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 8076 [startup+60.0324 s] /proc/loadavg: 0.94 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1199408/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=8328 CPUtime=60.01 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1713 0 0 0 5930 71 0 0 25 0 1 0 190640059 8527872 1684 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 2082 1684 205 16 0 1523 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 8328 [startup+70.0385 s] /proc/loadavg: 0.95 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1199024/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=8708 CPUtime=70.01 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1815 0 0 0 6923 78 0 0 25 0 1 0 190640059 8916992 1786 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 2177 1786 205 16 0 1618 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 8708 [startup+80.0446 s] /proc/loadavg: 0.96 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1199088/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=8708 CPUtime=80.01 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1815 0 0 0 7915 86 0 0 25 0 1 0 190640059 8916992 1786 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 2177 1786 205 16 0 1618 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 8708 [startup+90.0507 s] /proc/loadavg: 0.96 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1199088/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=8708 CPUtime=90.01 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1815 0 0 0 8906 95 0 0 25 0 1 0 190640059 8916992 1786 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 2177 1786 205 16 0 1618 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 8708 [startup+100.057 s] /proc/loadavg: 0.97 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1198896/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=8956 CPUtime=100.02 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 1856 0 0 0 9899 103 0 0 25 0 1 0 190640059 9170944 1827 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 2239 1827 205 16 0 1680 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 8956 [startup+110.063 s] /proc/loadavg: 0.97 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1193264/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=14340 CPUtime=110.02 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 3258 0 0 0 10883 119 0 0 25 0 1 0 190640059 14684160 3201 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3585 3201 205 16 0 3026 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 14340 [startup+120.069 s] /proc/loadavg: 0.98 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1193264/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=14340 CPUtime=120.02 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 3258 0 0 0 11873 129 0 0 25 0 1 0 190640059 14684160 3201 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3585 3201 205 16 0 3026 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 14340 [startup+130.074 s] /proc/loadavg: 0.98 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1193072/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=14732 CPUtime=130.02 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 3817 0 0 0 12870 132 0 0 25 0 1 0 190640059 15085568 3280 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3683 3280 205 16 0 3124 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 14732 [startup+140.08 s] /proc/loadavg: 0.98 0.96 0.91 2/64 22298 /proc/meminfo: memFree=1191792/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=15968 CPUtime=140.03 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 4137 0 0 0 13867 136 0 0 25 0 1 0 190640059 16351232 3600 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3992 3600 205 16 0 3433 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 15968 [startup+150.086 s] /proc/loadavg: 0.98 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1191600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=15884 CPUtime=150.03 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 4372 0 0 0 14859 144 0 0 25 0 1 0 190640059 16265216 3587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3971 3587 205 16 0 3412 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 15884 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1191600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=15884 CPUtime=160.03 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 4372 0 0 0 15847 156 0 0 25 0 1 0 190640059 16265216 3587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3971 3587 205 16 0 3412 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 15884 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1191600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=15884 CPUtime=170.04 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 4372 0 0 0 16841 163 0 0 25 0 1 0 190640059 16265216 3587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3971 3587 205 16 0 3412 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 15884 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1191600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=15884 CPUtime=180.04 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 4688 0 0 0 17838 166 0 0 25 0 1 0 190640059 16265216 3587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3971 3587 205 16 0 3412 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 15884 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1191600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=15884 CPUtime=190.05 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 4688 0 0 0 18833 172 0 0 25 0 1 0 190640059 16265216 3587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3971 3587 205 16 0 3412 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 15884 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1191600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=15884 CPUtime=200.04 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 4688 0 0 0 19827 177 0 0 25 0 1 0 190640059 16265216 3587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 3971 3587 205 16 0 3412 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 15884 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1191600/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1590.48 Current children cumulated vsize (Kb) 23900 [startup+1600.96 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183728/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1600.49 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9551 0 0 0 159015 1034 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1600.49 Current children cumulated vsize (Kb) 23900 [startup+1610.96 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183728/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1610.49 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9551 0 0 0 160007 1042 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1610.49 Current children cumulated vsize (Kb) 23900 [startup+1620.97 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183728/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1620.49 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9551 0 0 0 161001 1048 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1620.49 Current children cumulated vsize (Kb) 23900 [startup+1630.97 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183728/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1630.5 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9551 0 0 0 161996 1054 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1630.5 Current children cumulated vsize (Kb) 23900 [startup+1640.98 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183728/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1640.5 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9551 0 0 0 162990 1060 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1640.5 Current children cumulated vsize (Kb) 23900 [startup+1650.99 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183728/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1650.5 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9551 0 0 0 163982 1068 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1650.5 Current children cumulated vsize (Kb) 23900 [startup+1660.99 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183728/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1660.51 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9551 0 0 0 164976 1075 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1660.51 Current children cumulated vsize (Kb) 23900 [startup+1671 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1182704/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=25028 CPUtime=1670.51 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9812 0 0 0 165973 1078 0 0 25 0 1 0 190640059 25628672 5851 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 6257 5851 205 16 0 5698 0 Current children cumulated CPU time (s) 1670.51 Current children cumulated vsize (Kb) 25028 [startup+1681 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1182256/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=25252 CPUtime=1680.51 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 166971 1080 0 0 25 0 1 0 190640059 25858048 5928 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 6313 5928 205 16 0 5754 0 Current children cumulated CPU time (s) 1680.51 Current children cumulated vsize (Kb) 25252 [startup+1691.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183536/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1690.51 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 167961 1090 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1690.51 Current children cumulated vsize (Kb) 23900 [startup+1701.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183536/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1700.52 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 168953 1099 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1700.52 Current children cumulated vsize (Kb) 23900 [startup+1711.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183536/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1710.52 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 169949 1103 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1710.52 Current children cumulated vsize (Kb) 23900 [startup+1721.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183536/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1720.53 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 170946 1107 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1720.53 Current children cumulated vsize (Kb) 23900 [startup+1731.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183536/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1730.52 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 171941 1111 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1730.52 Current children cumulated vsize (Kb) 23900 [startup+1741.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183536/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1740.53 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 172938 1115 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1740.53 Current children cumulated vsize (Kb) 23900 [startup+1751.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183536/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1750.54 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 173935 1119 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1750.54 Current children cumulated vsize (Kb) 23900 [startup+1761.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1760.54 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 174930 1124 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1760.54 Current children cumulated vsize (Kb) 23900 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1770.54 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 175924 1130 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1770.54 Current children cumulated vsize (Kb) 23900 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1780.54 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 176918 1136 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1780.54 Current children cumulated vsize (Kb) 23900 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1781.54 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 177018 1136 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 23900 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 22298 /proc/meminfo: memFree=1183600/2055920 swapFree=4181452/4192956 [pid=22298] ppid=22296 vsize=23900 CPUtime=1782.55 /proc/22298/stat : 22298 (Pueblo) R 22296 22298 22252 0 -1 4194304 9919 0 0 0 177118 1137 0 0 25 0 1 0 190640059 24473600 5590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/22298/statm: 5975 5590 205 16 0 5416 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 23900 Child status: 10 Real time (s): 1783.26 CPU time (s): 1782.74 CPU user time (s): 1771.36 CPU system time (s): 11.3813 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (Kb): 25252
Begin job on node21 on Fri Jun 2 12:02:50 UTC 2006 FILE ID= 36351-1149249770 PBS_JOBID= 298028 BENCH NAME= ROOT/tmp/node21/36351-1149249770/instance-36351-1149249770.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node21/36351-1149249770/instance-36351-1149249770.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-36351-1149249770 -o ROOT/results/node21/solver-36351-1149249770 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node21/36351-1149249770/instance-36351-1149249770.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 1a5dd226c84aa8cc751cd6025cf57c5b RANDOM SEED= 469708077 /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.240 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.240 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: 1205488 kB Buffers: 46284 kB Cached: 726480 kB SwapCached: 3388 kB Active: 216840 kB Inactive: 564852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1205488 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14740 kB Slab: 54748 kB Committed_AS: 249060 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Fri Jun 2 12:32:33 UTC 2006