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