Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 207320 | 1782.75 | 1783.27 |
Name | normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb |
MD5SUM | f687933a5408753eb50bdd526af25aa5 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3052 |
Best CPU time to get the best result obtained on this benchmark | 1800.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3052 |
Optimality of the best value was proved | NO |
Number of variables | 3300 |
Total number of constraints | 1985 |
Number of constraints which are clauses | 1364 |
Number of constraints which are cardinality constraints (but not clauses) | 621 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 220 |
Number of terms in the objective function | 2792 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 1385986 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 1000 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 1385986 |
Number of bits of the biggest sum of numbers | 21 |
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.08 c starting to Solve 0.08 c #variables read: 3300 - #constraints read: 2574 0.15 o 350907 1.39 o 293845 1.42 o 292845 9.24 o 217739 10.56 o 217738 12.65 o 212732 12.66 o 211731 12.68 o 211730 12.70 o 210730 12.73 o 210729 12.78 o 209729 12.84 o 209728 13.18 o 208729 13.90 o 208728 14.98 o 208727 1783.25 c total time : 1783 s 1783.25 s SATISFIABLE 1783.25 v -x862 -x1082 -x1742 -x2995 -x3 -x433 -x863 -x1083 -x1303 -x2843 x2996 -x3149 -x4 -x864 -x1084 -x5 -x220 -x865 -x1085 -x1525 1783.25 v x2997 -x3150 -x6 -x866 -x1086 -x1746 x2998 -x7 -x222 x652 -x867 -x1087 -x1527 -x1747 -x1967 x2999 -x3152 -x8 -x223 x653 -x868 1783.25 v -x1088 x1528 -x1748 -x1968 -x3000 -x3153 -x9 x224 -x869 -x1089 -x1529 -x2189 -x2409 -x2629 -x3001 -x3154 -x870 -x1530 -x2849 1783.25 v -x3002 x3155 -x225 -x440 -x655 -x1311 -x1531 -x1751 -x1971 -x226 x441 x872 -x1092 -x1312 -x1532 -x1752 -x2850 -x3003 -x227 1783.25 v x442 -x1313 -x1533 -x1753 -x2851 -x443 -x658 -x1314 -x1974 -x2852 -x14 x229 -x875 -x1095 -x1755 x3006 -x230 -x660 -x1536 1783.25 v -x1976 -x2636 -x447 -x878 -x1098 -x1318 -x1758 -x2855 x3008 -x1759 x18 -x233 -x663 -x880 -x1100 -x1540 -x1760 -x1980 x3009 1783.25 v -x3162 -x234 x664 -x881 -x1101 -x1541 x1761 -x1981 x3010 -x20 -x882 -x1102 -x2202 x3011 -x3164 -x666 -x883 -x1103 -x1983 1783.25 v -x22 -x452 -x884 -x1104 -x1324 -x2859 x3012 -x3165 -x238 -x1545 -x2425 -x24 -x2206 -x25 -x240 -x455 -x887 -x1107 -x1327 1783.25 v -x1547 -x2861 x3014 -x3167 -x456 -x1328 -x1768 -x457 -x1329 -x1769 -x28 -x243 -x890 -x1110 -x1550 x3015 -x3168 -x29 x244 1783.25 v -x891 -x1111 -x1551 -x3016 -x3169 -x245 -x892 -x1112 -x1552 -x2432 -x3017 -x31 -x246 x461 x893 -x1113 -x1333 -x1553 -x2865 1783.25 v -x3018 x3171 -x463 -x1335 -x1775 -x249 x896 -x1116 -x1556 -x35 -x250 -x465 -x897 -x1117 -x1337 -x1557 x2866 -x3019 -x3172 1783.25 v -x36 -x898 -x1118 -x37 -x252 -x467 -x899 -x1119 -x1339 x1779 -x2867 x3020 -x3173 -x683 -x1780 -x2000 -x39 x901 -x1121 -x2441 1783.25 v -x3021 -x3174 -x40 -x902 -x1122 x2222 -x2442 -x2662 -x3022 x3175 -x41 x256 -x1563 -x42 x257 -x1564 -x2664 -x3176 -x43 -x905 1783.25 v -x1125 -x2445 -x3024 x3177 -x44 x259 -x1566 -x260 -x907 -x1127 -x1567 -x46 -x261 x908 -x1128 -x1568 -x3025 x3178 -x47 -x909 1783.25 v -x1129 -x48 -x910 -x1130 -x49 -x694 -x911 -x1131 -x2011 -x50 -x265 -x695 -x912 -x1132 -x1572 x1792 -x2012 x3026 -x3179 -x51 1783.25 v x266 -x696 -x913 -x1133 -x1573 -x1793 x2013 -x3027 -x3180 -x267 -x914 -x1134 -x1574 -x1794 -x53 -x268 x698 -x915 -x1135 1783.25 v x1575 -x1795 -x2015 -x699 -x1796 -x2016 x55 -x700 -x917 -x1137 -x1797 x2017 -x3028 -x3181 -x486 -x701 -x1358 -x2018 -x2458 1783.25 v -x2678 -x2876 x487 -x702 -x919 -x1139 -x1359 -x1799 x2019 -x2877 -x3030 -x273 -x1580 -x2460 -x704 -x921 -x1141 -x2021 x2681 1783.25 v x3031 -x705 -x1802 -x2022 -x491 -x923 -x1143 -x1363 x1803 -x2879 x3032 -x277 -x492 x1364 -x1584 -x1804 -x2880 -x278 -x493 1783.25 v -x708 -x925 -x1145 -x1365 -x1585 -x1805 -x2025 -x2881 x3034 -x279 -x926 -x1146 x1586 -x1806 x3035 -x65 -x927 -x1147 -x496 1783.25 v -x928 -x1148 -x1368 x1808 x2883 -x3036 -x929 -x1149 -x2029 -x3037 x3190 -x282 -x712 -x930 -x1150 x1590 -x2030 x3038 -x283 1783.25 v -x931 -x1151 -x1591 -x1811 -x3039 -x714 -x932 -x1152 -x1812 -x2032 x2472 -x2692 x3040 -x70 -x933 -x1153 -x2693 x3041 -x3194 1783.25 v -x501 -x934 -x1154 -x1374 -x1814 x2474 -x2694 -x2889 x3042 -x72 -x287 -x1155 -x1375 -x1595 -x1815 -x2890 x3043 -x3196 -x73 1783.25 v x936 -x1156 -x2696 -x3044 x3197 x74 -x504 -x937 -x1157 x1377 -x2892 x3045 -x3198 -x720 -x938 -x1158 -x1818 -x2038 x3046 1783.25 v -x721 -x939 -x1159 -x2039 -x2259 -x2479 x2699 x3047 -x292 -x940 -x1160 x1600 -x1820 -x2260 -x2480 -x2700 -x3048 -x78 x293 1783.25 v -x508 -x941 -x1161 -x1381 -x1601 x2896 -x3049 -x3202 -x509 -x942 -x1162 -x1382 -x2262 -x2897 x3050 -x80 -x510 x725 x943 1783.25 v -x1163 -x1383 -x2043 -x2704 x3204 x511 -x726 -x945 -x1165 -x1385 x2045 -x2899 -x3052 -x82 x297 x946 -x1166 -x1606 -x2706 1783.25 v -x83 -x947 -x1167 -x1387 -x3053 x3206 -x84 -x2708 -x300 -x949 -x1169 -x1609 -x2269 -x2489 x3054 -x301 -x516 x1390 -x1610 1783.25 v -x1830 -x2902 -x302 x517 -x951 -x1171 -x1391 -x1611 -x88 -x733 -x952 -x1172 x2052 x3056 -x3209 -x89 -x304 x519 -x953 -x1173 1783.25 v -x1393 -x1613 x2713 -x90 x520 -x1394 -x521 -x955 -x1175 -x1395 -x307 -x522 x1396 -x1616 -x1836 -x2904 -x93 -x308 -x1177 1783.25 v x1397 -x1617 -x1837 -x2905 x3058 -x3211 -x94 -x309 -x524 -x958 -x1618 -x2058 -x2906 x3059 -x95 -x959 -x1179 -x2499 x3060 1783.25 v -x3213 -x96 x311 -x741 -x960 -x1180 -x1620 -x1840 -x2060 x3061 -x3214 -x742 -x961 -x1181 -x2061 -x3062 -x98 -x313 x528 -x962 1783.25 v -x1182 -x1402 -x1622 -x2910 x3063 -x3216 -x99 -x529 x744 -x963 -x1183 -x1403 -x2063 -x315 -x530 -x964 -x1184 x1404 -x1624 1783.25 v -x1844 -x2911 x3064 -x101 x316 -x531 -x965 -x1405 -x1625 x2912 -x3065 -x3218 -x317 -x532 -x966 -x1186 x1406 -x1626 -x2913 1783.25 v -x3066 x3219 -x533 x748 -x1407 -x2067 -x2914 -x319 -x968 -x1188 -x1628 -x1848 -x3068 -x320 x535 -x750 -x1409 -x1629 -x1849 1783.25 v x2069 -x2916 -x536 -x751 -x1410 -x1850 -x2070 -x2730 -x107 -x752 -x971 -x1191 -x1851 -x2071 -x323 x538 -x1412 -x1632 -x1852 1783.25 v -x2732 -x2917 -x109 -x973 -x1193 -x2293 x2513 -x2733 -x110 x325 -x540 -x974 -x1194 x1414 -x1634 -x1854 -x2918 -x3071 x3224 1783.25 v -x326 -x975 -x1195 -x1635 -x757 -x976 -x1196 -x1856 x2076 -x3072 -x328 x543 -x977 -x1197 -x1417 -x1637 -x2920 -x3073 -x759 1783.25 v -x978 -x1198 -x2078 -x115 -x330 x545 -x979 -x1199 -x1419 x1639 -x2921 -x3074 x3227 -x116 -x331 -x980 -x1200 -x1420 x1640 1783.25 v -x2922 -x3075 x3228 -x117 -x332 x547 -x981 -x1201 -x1421 -x1641 -x2923 -x3076 x3229 -x118 x548 -x763 -x982 -x1202 -x1422 1783.25 v -x2082 -x2924 -x3077 x3230 -x334 -x1643 -x120 x550 -x765 -x984 -x1204 -x1424 -x2084 -x2925 -x3078 x3231 -x121 x551 -x766 1783.25 v -x985 -x1205 -x1425 x2085 -x2926 -x3079 x3232 -x122 -x337 x552 -x767 -x986 -x1206 -x1426 -x1646 -x1866 x2086 -x2927 -x3080 1783.25 v x3233 -x123 x553 -x768 -x987 -x1207 -x1427 -x2087 -x2928 -x3081 x3234 -x769 -x988 -x1208 -x1868 -x2088 -x3082 -x125 -x989 1783.25 v -x1209 -x3083 -x3236 -x341 -x771 -x990 -x1210 -x1650 -x1870 x2090 x3084 -x127 -x991 -x1211 -x1871 -x2091 x2531 -x2751 x3085 1783.25 v -x3238 -x558 -x992 -x1212 -x1432 -x2312 -x2933 -x3086 -x129 -x344 -x3240 -x130 -x345 -x994 -x1214 -x1654 -x3088 x3241 -x131 1783.25 v -x346 x561 -x1435 -x1875 -x2936 x3242 -x996 -x1216 -x1876 x2756 x3090 -x348 x563 -x778 -x1437 -x1657 x1877 -x2097 -x349 1783.25 v x564 -x779 -x1438 -x1658 -x1878 -x2098 -x999 -x1219 -x1879 -x2759 x3091 -x136 -x781 -x1000 -x1220 -x2100 -x2939 -x3092 1783.25 v x3245 x137 -x567 -x1001 -x1221 -x1441 x2940 -x3093 -x3246 -x783 -x1002 -x1222 -x1882 -x2102 x3094 -x784 -x1003 -x1223 -x1883 1783.25 v -x2103 x2763 -x355 -x785 -x1664 -x1884 -x2104 -x356 x571 -x786 -x1445 -x1665 x1885 -x2105 -x357 -x572 -x787 -x1446 -x1666 1783.25 v -x1886 -x2106 -x143 x358 -x788 -x1007 -x1227 -x1667 -x1887 x2107 -x3095 x3248 -x144 x359 -x789 -x1008 -x1228 -x1668 -x1888 1783.25 v x2108 -x3096 -x3249 -x360 -x1009 -x1229 -x1669 x146 -x576 -x1010 -x1230 -x1450 x2944 -x3097 -x3250 -x147 x362 -x577 -x1011 1783.25 v -x1231 -x1451 -x1671 x2945 -x3098 -x3251 -x363 x793 -x1012 -x1232 -x1672 -x1892 -x2112 x3099 -x149 -x2773 -x3253 -x2554 1783.25 v -x2774 -x150 x365 -x795 -x1015 -x1235 -x1675 -x1895 x2115 -x3101 x3254 -x796 -x2116 -x2557 -x2777 -x1018 -x1238 -x152 -x367 1783.25 v -x582 x798 -x2119 x2559 -x369 -x1020 -x1240 -x1680 -x155 -x2341 -x371 -x1022 -x1242 -x1682 x157 -x587 -x1023 -x1243 -x1463 1783.25 v x2951 -x3104 -x3257 x373 -x588 -x803 -x1464 -x1684 -x1904 x2124 x2952 -x374 x589 -x804 -x1025 -x1245 -x1465 x1685 -x1905 1783.25 v -x2125 -x2953 -x3106 -x160 -x375 x590 -x1026 -x1246 -x1466 -x1686 x2786 x161 -x591 -x806 -x1027 -x1247 -x1467 x2127 x2954 1783.25 v -x3107 -x3260 -x162 -x1028 -x1248 -x1908 -x3108 x3261 x163 -x593 -x1029 -x1249 -x1469 x2956 -x3109 -x3262 x164 -x379 -x809 1783.25 v -x1030 -x1250 x1690 -x1910 -x2130 -x3110 -x3263 -x165 -x1031 -x1251 -x1911 -x3111 -x3264 -x811 -x1032 -x1252 -x2132 -x2572 1783.25 v -x3112 -x1913 -x167 -x597 -x1034 -x1254 -x1474 x2960 -x3113 -x3266 -x168 x383 -x813 -x1035 -x1255 -x1695 x1915 -x2135 -x3114 1783.25 v -x3267 -x814 -x1916 -x2136 -x170 x600 -x1037 -x1257 -x1477 -x2962 -x3115 x3268 -x171 -x2798 -x172 x1039 -x1259 -x2799 -x3116 1783.25 v x3269 -x173 x388 -x1040 -x1260 -x1920 -x3117 x174 -x389 -x604 -x1041 -x1261 -x1481 x1701 x2965 -x3118 -x3271 -x175 -x390 1783.25 v -x1042 -x1262 -x1482 -x1702 -x391 -x1703 -x1923 -x177 -x392 -x1704 -x3272 -x393 x1705 -x1925 -x1926 -x179 -x394 x609 x1047 1783.25 v -x1267 -x1487 -x1707 -x1927 -x2967 -x3120 x3273 -x180 -x1048 -x1268 -x2808 -x3121 x3274 -x181 x396 -x611 -x826 -x1489 -x1709 1783.25 v -x2149 -x2969 x3275 x397 -x612 -x1050 -x1270 x1490 -x1710 -x2970 x3123 -x2371 x2811 -x399 x1052 -x1272 -x1712 -x185 -x400 1783.25 v -x830 -x1713 -x1933 -x2153 -x616 -x831 -x1494 -x2154 -x2594 -x2814 x2971 -x187 -x617 -x1495 -x2595 -x2972 x3278 -x404 -x1057 1783.25 v -x1277 -x1717 -x1937 -x3126 x190 x2378 -x406 x621 -x836 -x1059 -x1279 -x1499 -x1719 x2159 -x2974 -x3127 -x622 x1060 -x1280 1783.25 v -x1500 -x1940 -x2975 -x3128 x838 -x3129 -x409 -x1061 -x1281 x1721 -x2601 -x2821 x3130 -x840 -x1062 -x1282 -x1942 x2162 1783.25 v -x2602 -x2822 x3131 -x196 -x1063 -x1283 -x1504 x2164 -x197 -x1945 -x198 x628 -x843 -x1066 -x1286 -x1506 -x2166 -x2979 -x3132 1783.25 v x3285 -x414 -x1067 -x1287 -x1727 x1947 -x2607 -x3133 -x415 -x630 -x2981 -x201 -x416 x631 -x1068 -x1288 -x1508 x1728 -x2982 1783.25 v -x3135 x3288 -x202 x632 -x1069 -x1289 -x1509 -x2983 -x3136 x3289 x203 -x1070 -x1290 -x2830 x3137 -x3290 -x204 -x634 x849 1783.25 v -x1071 -x1291 -x1511 -x2171 -x2985 x3138 -x3291 x420 x1072 -x1292 -x1732 -x1952 -x3139 x421 -x1733 -x852 -x1074 -x1294 1783.25 v -x1954 -x2174 -x1075 -x1295 -x3140 -x423 -x1076 -x1296 -x1956 x2616 -x2836 -x3141 x424 -x1077 -x1297 x2617 -x2837 -x3142 1783.25 v -x1518 x2178 -x425 -x1079 -x1299 x1739 -x1959 -x3143 -x212 x427 -x3144 x3297 -x428 -x214 x429 -x644 -x1080 -x1300 x1520 1783.25 v -x1740 -x2992 x3145 -x3298 -x215 x430 -x645 -x1081 -x1301 -x1521 -x1741 -x2993 x3146 -x3299 -x646 -x861 -x2994 -x217 -x1522 1783.25 v -x2182 -x2402 -x2622 x218 -x648 -x1523 -x1743 -x1963 -x2183 x2403 -x2623 -x2184 -x2404 -x2624 x435 -x650 -x1305 -x1745 1783.25 v -x1965 -x2185 x2405 -x2625 -x2844 x221 -x651 -x1526 -x1966 -x2186 -x2406 -x2626 -x2187 -x2407 -x2627 -x2188 -x2408 -x2628 1783.25 v -x439 -x654 -x1309 x1749 -x1969 x2848 -x2190 -x2410 -x2630 -x2191 -x2411 -x2631 -x12 -x873 x1093 -x2193 -x2413 -x2633 -x3004 1783.25 v x3157 -x13 x228 -x874 -x1094 -x1534 -x1754 -x2194 x2414 -x2634 x3005 -x3158 -x659 -x1975 -x2195 -x2415 -x2635 -x445 x876 1783.25 v -x1096 -x1316 -x1756 -x2196 -x2416 -x16 x2197 -x2417 -x2637 -x3160 -x17 x232 -x662 -x1538 x1978 -x2198 -x3161 -x879 -x1099 1783.25 v -x1319 x1539 -x1979 -x2199 -x2419 -x2639 -x448 -x1320 -x2200 x2420 -x2640 -x2856 -x19 -x449 -x1321 -x2201 -x2421 -x2641 1783.25 v -x2857 -x3163 -x235 x450 -x665 -x1322 -x1542 x1762 -x1982 -x2422 -x2642 -x2858 -x21 x236 -x451 -x1323 -x1543 -x1763 -x2203 1783.25 v -x2423 x2643 -x237 x667 -x1544 -x1764 -x1984 -x2204 -x2424 x2644 -x23 -x453 -x1325 -x2205 x2860 -x3166 -x239 x669 -x886 1783.25 v -x1106 -x1546 -x1766 -x1986 -x2426 x2646 x670 -x1767 -x1987 x2207 -x2427 -x2647 -x26 -x2208 -x2428 -x27 -x2209 -x2429 x458 1783.25 v -x673 -x1330 -x1770 -x1990 -x2210 x2430 -x2650 -x2862 -x459 -x674 -x1331 x1771 -x1991 -x2211 -x2431 -x2651 x2863 x460 -x675 1783.25 v -x1332 -x1992 -x2864 -x676 -x1773 -x1993 -x2213 -x2433 -x2653 -x33 x248 -x678 -x895 -x1115 -x1555 -x1995 -x2215 x2435 -x2655 1783.25 v -x34 x464 -x679 -x1336 -x1776 -x1996 -x2216 -x2436 -x2656 -x2217 -x2437 -x2657 x251 -x466 -x681 x1338 -x1558 -x1778 -x1998 1783.25 v -x2218 -x2438 -x2658 x682 -x1999 -x2219 -x2439 -x2659 -x38 x253 -x468 -x900 -x1120 -x1340 -x1560 -x2220 x2440 -x2660 x254 1783.25 v -x469 -x684 -x1341 -x1561 -x1781 -x2001 -x2221 -x2661 x2868 x255 -x470 -x685 -x1342 -x1562 -x1782 -x2002 -x2869 -x471 -x686 1783.25 v -x903 -x1123 x1343 -x1783 -x2003 -x2223 -x2443 -x2663 x258 -x473 -x688 -x1345 -x1565 x1785 -x2005 -x2225 -x2665 -x2871 1783.25 v -x474 -x689 -x906 -x1126 x1346 -x1786 -x2006 -x2226 -x2446 -x2666 x45 -x475 -x690 -x1347 -x1787 -x2007 x2227 -x2447 -x2667 1783.25 v x476 -x691 -x1348 -x1788 -x2008 -x2228 -x2448 -x2668 -x2872 -x262 -x477 x692 x1349 -x1569 -x1789 -x2009 -x2229 -x2449 -x2669 1783.25 v -x263 x478 -x693 -x1350 -x1570 -x1790 -x2010 -x2230 x2450 -x2670 x264 -x479 -x1351 -x1571 x1791 x480 -x1352 -x2232 -x2452 1783.25 v -x2672 -x2873 -x481 -x1353 -x2233 -x2453 -x2673 x2874 x52 -x482 -x697 x1354 -x2014 -x2234 -x2454 -x2674 -x483 -x1355 -x2235 1783.25 v -x2455 -x2675 -x54 -x269 x484 -x916 -x1136 -x1356 x1576 -x2236 -x2456 -x2676 -x270 -x485 -x1357 -x1577 -x2237 -x2457 -x2677 1783.25 v x2875 -x56 x271 x918 -x1138 -x1578 -x1798 -x2238 -x3029 x3182 -x57 -x272 -x1579 -x2239 -x2459 -x2679 x3183 x58 -x488 -x703 1783.25 v -x920 -x1140 -x1360 -x1800 -x2020 x2240 -x2680 -x59 -x274 x489 -x1361 -x1581 -x1801 -x2241 -x2461 -x2878 -x3184 -x60 x275 1783.25 v -x490 x922 -x1142 -x1362 -x1582 -x2242 -x2462 -x2682 x61 -x276 -x706 -x1583 -x2023 -x2243 -x2463 -x2683 -x3185 -x2244 -x2464 1783.25 v -x2684 x2245 -x2465 -x2685 -x64 x494 -x709 -x1366 -x2026 -x2246 -x2466 -x2686 -x2882 -x3188 x280 -x495 -x710 -x1367 -x1587 1783.25 v -x1807 -x2027 -x2247 -x2467 x2687 x66 -x281 -x711 -x1588 -x2028 -x2248 -x2468 -x2688 -x3189 -x1369 x1589 -x1809 -x2249 1783.25 v -x2469 -x2689 -x2884 -x497 -x1370 -x1810 -x2250 -x2470 -x2690 -x2885 -x498 -x1371 -x2251 -x2471 x2691 -x2886 -x69 -x499 1783.25 v -x1372 -x2252 -x2887 -x3193 -x285 x500 -x715 -x1373 x1593 -x1813 -x2033 -x2253 -x2473 -x2888 x71 -x286 -x716 -x1594 -x2034 1783.25 v -x2254 -x3195 -x288 x503 -x718 -x1376 -x1596 -x1816 -x2036 -x2256 -x2476 -x2891 -x289 -x719 -x1597 -x1817 -x2037 -x2257 1783.25 v -x2477 -x2697 -x75 x290 -x505 x1378 -x1598 -x2258 -x2478 -x2698 -x2893 -x3199 -x76 x291 -x506 -x1379 -x1599 -x2894 -x3200 1783.25 v -x77 x507 -x722 -x1380 -x2040 -x2895 x3201 x79 -x294 -x724 -x1602 x1822 -x2042 -x2482 -x2702 -x3203 -x295 -x1603 -x1823 1783.25 v -x2263 -x2483 -x2703 x944 -x1164 -x1384 -x1604 -x1824 -x2044 -x2264 -x2484 -x2898 -x3051 -x81 -x296 -x1605 -x1825 -x2265 1783.25 v -x2485 -x2705 x3205 -x512 -x727 -x1386 -x1826 -x2046 -x2266 -x2486 -x298 -x1607 -x1827 x2267 -x2487 -x2707 x299 -x514 -x729 1783.25 v -x948 -x1168 -x1388 -x1608 -x1828 -x2048 -x2268 -x85 x515 -x730 -x1389 -x1829 -x2049 x2709 -x2901 -x3207 -x2270 -x2490 1783.25 v -x2710 -x87 -x732 -x1831 x2051 -x2271 -x2491 -x2711 -x303 x518 -x1392 -x1612 -x1832 -x2272 -x2492 -x2712 -x2903 -x734 -x1833 1783.25 v -x2053 -x2273 -x2493 -x305 -x735 -x954 -x1174 -x1614 x1834 -x2054 -x2274 -x2494 -x2714 x91 -x306 -x736 x1615 -x1835 -x2055 1783.25 v -x2275 -x2495 -x2715 -x2276 -x2496 -x2716 x739 -x1838 x2278 -x2498 -x2718 -x3212 -x525 -x1399 -x2279 -x2907 -x526 x1400 1783.25 v -x2280 -x2500 -x2720 -x2908 -x97 x312 -x1621 -x2281 -x2501 x2721 x3215 x2282 -x2502 -x2722 -x314 -x1623 -x1843 x2283 -x2503 1783.25 v -x2723 x100 -x745 -x2064 -x2284 -x2504 -x2724 -x3217 -x2285 -x2505 -x2725 x747 -x1846 -x2066 -x2286 -x2506 -x2726 -x103 1783.25 v -x318 -x967 -x1187 x1627 -x1847 -x2287 -x2507 -x2727 x3067 -x3220 -x105 -x969 -x1189 -x2289 -x2509 -x2729 x3069 -x3222 1783.25 v x322 -x537 -x1411 -x1631 x2291 -x2511 -x2731 -x108 -x753 -x972 -x1192 x2072 -x2292 -x2512 x3070 -x3223 x324 -x539 -x754 1783.25 v -x1413 -x1633 -x1853 -x2073 -x755 -x2074 -x2294 -x2514 -x2734 x111 -x541 -x756 -x1415 -x1855 -x2075 x2295 -x2515 -x2735 1783.25 v -x112 x327 -x542 -x1416 -x1636 -x2296 -x2516 -x2736 x2919 -x3225 -x113 -x758 -x2077 -x2297 -x2517 x2737 x3226 -x114 x329 1783.25 v -x1638 -x2298 -x2518 -x2299 -x2519 -x2739 -x2300 -x2520 -x2740 x2301 -x2521 -x2741 -x333 -x1642 -x2302 x119 -x549 -x764 1783.25 v -x983 -x1203 -x1423 -x1863 -x2083 x2523 -x2743 -x335 -x1644 -x1864 x2304 -x2524 -x2744 -x336 -x1645 -x2306 -x2526 -x2746 1783.25 v -x338 -x1647 x1867 -x2307 -x339 -x1648 -x2308 -x2528 x2748 -x770 -x1869 -x2089 -x2309 -x2529 x2749 -x556 -x1430 -x2310 1783.25 v -x2530 -x2750 -x2931 -x557 -x1431 -x2311 -x2932 -x343 x773 -x1652 x1872 -x2092 -x2532 -x2752 -x2313 x2314 -x2534 -x2754 1783.25 v x2315 -x132 -x562 -x1436 -x2937 -x3243 -x133 -x997 -x1217 -x2317 -x2537 -x2757 -x134 -x998 x1218 -x2318 -x2538 -x2758 -x565 1783.25 v -x1439 -x2938 x351 -x1660 -x1880 -x2320 x2540 -x2760 -x352 -x782 -x1661 x1881 -x2101 -x2321 -x2541 -x2761 -x353 -x568 -x1442 1783.25 v -x1662 x2322 -x2542 -x2762 -x2941 x139 -x354 -x569 -x1443 -x1663 -x2323 -x2543 x140 -x1004 -x1224 -x2324 x2544 -x2764 -x141 1783.25 v -x1005 -x1225 -x2325 -x2545 -x2765 -x2326 -x2546 -x2766 -x573 -x1447 -x2327 -x2547 -x2767 -x2942 -x574 -x1448 -x2328 -x2548 1783.25 v -x2768 x2943 -x575 -x790 -x1449 -x1889 -x2109 -x2329 -x2549 x2769 -x361 -x791 -x1670 -x1890 -x2110 -x2330 x2550 -x2770 1783.25 v -x148 -x578 -x1452 -x2946 -x3252 -x580 -x1455 -x2335 -x2555 -x2775 -x2948 -x366 -x1676 -x1017 -x1237 -x1457 -x1677 x1897 1783.25 v -x2117 -x2337 -x1458 -x1678 -x1898 -x2338 -x2558 x2778 x797 -x153 -x368 -x583 -x1019 -x1239 -x1459 -x1679 -x1899 -x2339 1783.25 v -x2779 -x2950 -x3103 x3256 -x799 -x2120 x2340 -x2560 -x2780 -x370 -x585 x800 -x1461 -x1681 -x1901 -x2121 -x2561 -x2781 1783.25 v -x156 x586 -x801 -x1462 -x1902 -x2122 x2342 -x2562 -x2782 -x372 -x802 -x1683 -x1903 -x2123 -x2343 x2563 -x2783 -x158 -x1024 1783.25 v -x1244 -x2344 -x2564 -x2784 -x3105 -x3258 -x159 -x2345 -x2565 -x2785 x3259 -x805 -x1906 -x2126 -x2346 -x2566 -x376 -x1687 1783.25 v -x1907 -x2347 -x2567 -x2787 -x377 x592 -x807 -x1468 -x1688 -x2128 x2348 -x2568 -x2788 -x2955 -x378 -x808 -x1689 -x1909 1783.25 v -x2129 -x2349 x2569 -x2789 -x594 -x1470 -x2350 -x2570 -x2790 x2957 -x595 -x1471 -x2351 -x2571 x2791 x2958 -x381 -x596 -x1472 1783.25 v x1692 -x1912 -x2352 -x2792 x2959 -x1033 x1253 -x1473 -x1693 -x2133 -x2353 -x2573 -x2793 -x2354 x2574 -x2794 -x598 -x1475 1783.25 v -x2355 x2961 -x169 x384 -x599 -x1036 x1256 -x1476 -x1696 -x2356 -x2576 -x2796 -x385 -x815 -x1697 -x1917 -x2137 -x2357 -x2577 1783.25 v x2797 x386 -x601 -x816 -x1038 x1258 -x1478 -x1698 -x1918 -x2138 -x2358 -x2578 -x818 -x2140 -x2360 -x2580 x2800 -x2361 -x2581 1783.25 v -x2801 x2362 -x2582 -x2802 x176 -x606 -x821 -x1043 -x1263 -x1483 -x2143 -x2363 -x2583 x2803 -x2364 -x2584 -x2804 -x178 1783.25 v x608 -x823 -x1045 -x1265 -x1485 -x2145 -x2365 -x2585 -x2805 -x1046 -x1266 -x1486 -x1706 -x2146 -x2366 x2586 -x2806 -x395 1783.25 v x610 -x825 -x1488 x1708 -x1928 -x2148 -x2368 -x2588 -x2968 -x1049 -x1269 x1929 -x2369 -x2589 -x2809 -x3122 -x182 -x827 1783.25 v -x1930 -x2150 -x2370 -x2590 -x2810 -x3276 -x398 -x613 -x828 -x1051 -x1271 -x1491 -x1711 -x1931 -x2151 -x184 x614 -x829 1783.25 v -x1492 -x1932 -x2152 -x2372 -x2592 -x2812 -x2373 -x2593 -x2813 x186 -x401 -x1054 -x1274 x1714 -x3124 -x3277 -x619 -x834 1783.25 v -x1497 -x2157 x2973 -x405 -x620 -x835 -x1058 -x1278 -x1498 -x1718 -x1938 -x2158 -x2598 -x2818 -x1939 -x2379 -x2599 -x2819 1783.25 v -x837 -x2160 -x2380 -x2600 -x2820 -x193 -x408 -x623 x2976 -x3282 -x194 x624 -x839 -x1501 -x1941 -x2161 -x2381 -x2977 -x3283 1783.25 v -x195 x410 -x625 -x1502 -x1722 -x2382 -x2978 -x3284 -x411 x626 -x841 -x1503 -x1723 x1943 -x2163 -x2383 -x2603 -x2823 -x1064 1783.25 v -x1284 -x1724 -x1944 -x2384 -x2604 -x2824 -x413 x1726 -x1946 -x2386 -x629 -x844 -x1507 -x2167 -x2387 x2980 -x2388 -x2608 1783.25 v -x2828 -x417 -x1729 -x418 -x633 -x848 x1510 -x1730 -x1950 -x2170 -x2390 -x2610 -x2984 -x419 x1731 -x1951 -x2391 -x2611 1783.25 v -x2831 -x205 -x635 -x850 -x1512 -x2172 -x2392 -x2612 -x2832 x2986 -x3292 -x206 -x636 -x851 -x1073 -x1293 -x1513 -x1953 1783.25 v x2173 -x2613 -x2833 -x637 -x1514 x2394 -x2614 -x2834 -x208 -x638 -x1516 x2988 -x3294 -x209 -x639 -x1517 -x2397 x2989 -x3295 1783.25 v -x1078 -x1298 -x1738 -x1958 -x2398 -x2618 -x2838 -x642 -x857 -x2991 x213 -x643 -x858 -x859 -x1960 -x2180 -x2400 -x2620 1783.25 v -x2840 -x860 -x1961 -x2181 -x2401 x2621 -x2841 -x216 x3147 -x3300 x1 -x2 x10 -x11 x15 -x30 -x32 -x62 x63 x67 -x68 -x86 -x92 1783.25 v -x102 -x104 x106 x124 x126 -x128 -x135 x138 x142 x145 x151 x154 x166 x183 -x188 x189 -x191 -x192 x199 -x200 x207 -x210 -x211 1783.25 v -x219 -x231 -x241 -x242 -x247 x284 -x310 -x321 x340 -x342 -x347 -x350 -x364 -x380 -x382 -x387 -x402 -x403 x407 -x412 -x422 1783.25 v -x426 x431 -x432 -x434 -x436 -x437 -x438 -x444 -x446 -x454 -x462 -x472 -x502 -x513 -x523 -x527 x534 -x544 x546 -x554 -x555 1783.25 v -x559 x560 -x566 -x570 -x579 -x581 -x584 -x602 -x603 -x605 -x607 x615 -x618 -x627 -x640 -x641 x647 x649 -x656 -x657 x661 x668 1783.25 v x671 x672 x677 x680 -x687 x707 x713 x717 -x723 x728 x731 x737 x738 x740 -x743 -x746 -x749 -x760 -x761 -x762 x772 x774 -x775 1783.25 v -x776 x777 x780 -x792 x794 x810 x812 x817 -x819 x820 x822 -x824 x832 x833 x842 x845 -x846 -x847 x853 -x854 x855 x856 -x871 -x877 1783.25 v -x885 -x888 -x889 -x894 -x904 -x924 -x935 -x950 -x956 -x957 -x970 -x993 -x995 -x1006 x1013 -x1014 x1016 -x1021 -x1044 -x1053 1783.25 v -x1055 -x1056 -x1065 x1090 x1091 -x1097 x1105 x1108 x1109 x1114 -x1124 -x1144 -x1170 -x1176 -x1178 x1185 x1190 -x1213 -x1215 1783.25 v x1226 -x1233 x1234 -x1236 x1241 -x1264 x1273 -x1275 x1276 x1285 x1302 x1304 x1306 x1307 -x1308 -x1310 x1315 -x1317 -x1326 1783.25 v -x1334 x1344 -x1398 -x1401 -x1408 x1418 -x1428 -x1429 -x1433 -x1434 -x1440 -x1444 -x1453 -x1454 -x1456 -x1460 -x1479 -x1480 1783.25 v x1484 -x1493 -x1496 -x1505 -x1515 -x1519 -x1524 -x1535 -x1537 -x1548 -x1549 -x1554 -x1559 -x1592 -x1619 -x1630 -x1649 1783.25 v -x1651 x1653 -x1655 -x1656 -x1659 -x1673 -x1674 -x1691 -x1694 -x1699 -x1700 -x1715 -x1716 -x1720 -x1725 -x1734 -x1735 1783.25 v -x1736 -x1737 -x1744 -x1750 -x1757 -x1765 x1772 -x1774 x1777 -x1784 -x1819 -x1821 x1839 -x1841 -x1842 -x1845 -x1857 -x1858 1783.25 v -x1859 -x1860 -x1861 -x1862 -x1865 -x1873 -x1874 x1891 -x1893 -x1894 -x1896 -x1900 -x1914 -x1919 -x1921 -x1922 -x1924 1783.25 v -x1934 -x1935 -x1936 -x1948 -x1949 -x1955 -x1957 -x1962 -x1964 -x1970 -x1972 -x1973 -x1977 -x1985 -x1988 -x1989 -x1994 1783.25 v -x1997 -x2004 -x2024 -x2031 -x2035 x2041 -x2047 -x2050 -x2056 -x2057 -x2059 -x2062 -x2065 x2068 -x2079 -x2080 -x2081 -x2093 1783.25 v -x2094 -x2095 -x2096 -x2099 -x2111 -x2113 -x2114 -x2118 -x2131 -x2134 -x2139 -x2141 -x2142 -x2144 -x2147 -x2155 -x2156 1783.25 v -x2165 -x2168 x2169 -x2175 -x2176 -x2177 -x2179 -x2192 -x2212 -x2214 -x2224 -x2231 -x2255 -x2261 -x2277 -x2288 -x2290 1783.25 v -x2303 -x2305 -x2316 -x2319 -x2331 x2332 -x2333 -x2334 -x2336 -x2359 -x2367 -x2374 -x2375 -x2376 x2377 -x2385 -x2389 -x2393 1783.25 v x2395 -x2396 -x2399 -x2412 -x2418 -x2434 -x2444 -x2451 -x2475 -x2481 x2488 -x2497 -x2508 -x2510 -x2522 -x2525 -x2527 -x2533 1783.25 v -x2535 -x2536 x2539 -x2551 -x2552 -x2553 -x2556 -x2575 -x2579 -x2587 -x2591 -x2596 -x2597 -x2605 -x2606 -x2609 -x2615 1783.25 v -x2619 -x2632 -x2638 -x2645 -x2648 -x2649 -x2652 -x2654 -x2671 x2695 -x2701 -x2717 -x2719 -x2728 -x2738 x2742 -x2745 -x2747 1783.25 v -x2753 -x2755 -x2771 -x2772 -x2776 -x2795 -x2807 x2815 -x2816 -x2817 -x2825 -x2826 -x2827 -x2829 -x2835 -x2839 -x2842 1783.25 v -x2845 -x2846 x2847 -x2853 x2854 -x2870 -x2900 -x2909 -x2915 x2929 x2930 x2934 -x2935 x2947 x2949 -x2963 x2964 -x2966 -x2987 1783.25 v x2990 -x3007 -x3013 x3023 x3033 -x3055 -x3057 -x3087 -x3089 -x3100 -x3102 x3119 -x3125 -x3134 x3148 -x3151 x3156 -x3159 1783.25 v x3170 -x3186 -x3187 -x3191 x3192 x3208 x3210 x3221 -x3235 -x3237 x3239 -x3244 -x3247 -x3255 -x3265 -x3270 -x3279 x3280 1783.25 v x3281 -x3286 x3287 x3293 -x3296
OK 207320
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-37484-1149246174 -o ROOT/results/node21/solver-37484-1149246174 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37484-1149246174/instance-37484-1149246174.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 3/64 21980 /proc/meminfo: memFree=1211912/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=2328 CPUtime=0 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 190280464 2383872 130 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8407928 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 582 130 111 16 0 11 0 [startup+10.003 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1200024/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=14176 CPUtime=9.99 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 3498 0 0 0 994 5 0 0 25 0 1 0 190280464 14516224 3164 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 3544 3164 205 16 0 2985 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 14176 [startup+20.0091 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1177648/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=36608 CPUtime=19.99 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 9134 0 0 0 1989 10 0 0 25 0 1 0 190280464 37486592 8771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 9152 8771 205 16 0 8593 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 36608 [startup+30.0152 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1172336/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=42104 CPUtime=30 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 10486 0 0 0 2981 19 0 0 25 0 1 0 190280464 43114496 10123 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 10526 10123 205 16 0 9967 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 42104 [startup+40.0213 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1172016/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=42444 CPUtime=40 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 10587 0 0 0 3969 31 0 0 25 0 1 0 190280464 43462656 10209 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 10611 10209 205 16 0 10052 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 42444 [startup+50.0274 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1169328/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=45036 CPUtime=50.01 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11256 0 0 0 4952 49 0 0 25 0 1 0 190280464 46116864 10878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 11259 10878 205 16 0 10700 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 45036 [startup+60.0335 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1169328/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=45036 CPUtime=60.01 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11256 0 0 0 5949 52 0 0 25 0 1 0 190280464 46116864 10878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 11259 10878 205 16 0 10700 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 45036 [startup+70.0396 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1169392/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=45036 CPUtime=70.01 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11256 0 0 0 6948 53 0 0 25 0 1 0 190280464 46116864 10878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 11259 10878 205 16 0 10700 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 45036 [startup+80.0457 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1169392/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=45036 CPUtime=80.01 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11256 0 0 0 7948 53 0 0 25 0 1 0 190280464 46116864 10878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 11259 10878 205 16 0 10700 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 45036 [startup+90.0508 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1168240/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=46372 CPUtime=90.02 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11563 0 0 0 8947 55 0 0 25 0 1 0 190280464 47484928 11183 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 11593 11183 205 16 0 11034 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 46372 [startup+100.057 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1167216/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=47228 CPUtime=100.02 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11795 0 0 0 9944 58 0 0 25 0 1 0 190280464 48361472 11415 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 11807 11415 205 16 0 11248 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 47228 [startup+110.063 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1166896/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=47532 CPUtime=110.03 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11875 0 0 0 10941 62 0 0 25 0 1 0 190280464 48672768 11495 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 11883 11495 205 16 0 11324 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 47532 [startup+120.069 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1164592/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=49816 CPUtime=120.02 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 12443 0 0 0 11935 67 0 0 25 0 1 0 190280464 51011584 12063 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 12454 12063 205 16 0 11895 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 49816 [startup+130.075 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1165104/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=49276 CPUtime=130.03 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 12493 0 0 0 12933 70 0 0 25 0 1 0 190280464 50458624 11938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 12319 11938 205 16 0 11760 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 49276 [startup+140.081 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1164848/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=49512 CPUtime=140.03 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 12549 0 0 0 13929 74 0 0 25 0 1 0 190280464 50700288 11994 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 12378 11994 205 16 0 11819 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 49512 [startup+150.086 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1163568/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=50860 CPUtime=150.04 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 12867 0 0 0 14926 78 0 0 25 0 1 0 190280464 52080640 12312 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 12715 12312 205 16 0 12156 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 50860 [startup+160.093 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1161968/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=52456 CPUtime=160.03 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 13264 0 0 0 15917 86 0 0 25 0 1 0 190280464 53714944 12709 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 13114 12709 205 16 0 12555 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 52456 [startup+170.099 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1161136/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=53308 CPUtime=170.04 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 13472 0 0 0 16912 92 0 0 25 0 1 0 190280464 54587392 12917 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 13327 12917 205 16 0 12768 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 53308 [startup+180.105 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1160624/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=53828 CPUtime=180.04 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 13627 0 0 0 17907 97 0 0 25 0 1 0 190280464 55119872 13072 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 13457 13072 205 16 0 12898 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 53828 [startup+190.111 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1160432/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=54072 CPUtime=190.05 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 13663 0 0 0 18903 102 0 0 25 0 1 0 190280464 55369728 13108 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 13518 13108 205 16 0 12959 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 54072 [startup+200.117 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1157040/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=57180 CPUtime=200.05 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 14533 0 0 0 19899 106 0 0 25 0 1 0 190280464 58552320 13913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 14295 13913 205 16 0 13736 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 57180 [startup+210.123 s] /proc/loadavg: 1.00 0.97 0.91 2/64 21980 /proc/meminfo: memFree=1157552/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/21980/statm: 19939 19553 205 16 0 19380 0 Current children cumulated CPU time (s) 1590.49 Current children cumulated vsize (Kb) 79756 [startup+1600.96 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134512/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=79752 CPUtime=1600.49 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21546 0 0 0 159341 708 0 0 25 0 1 0 190280464 81666048 19552 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 19938 19552 205 16 0 19379 0 Current children cumulated CPU time (s) 1600.49 Current children cumulated vsize (Kb) 79752 [startup+1610.96 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134448/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=79876 CPUtime=1610.5 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21561 0 0 0 160336 714 0 0 25 0 1 0 190280464 81793024 19567 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 19969 19567 205 16 0 19410 0 Current children cumulated CPU time (s) 1610.5 Current children cumulated vsize (Kb) 79876 [startup+1620.97 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134448/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=79876 CPUtime=1620.5 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21561 0 0 0 161333 717 0 0 25 0 1 0 190280464 81793024 19567 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 19969 19567 205 16 0 19410 0 Current children cumulated CPU time (s) 1620.5 Current children cumulated vsize (Kb) 79876 [startup+1630.98 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134448/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=79876 CPUtime=1630.5 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21576 0 0 0 162330 720 0 0 25 0 1 0 190280464 81793024 19582 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517807 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 19969 19582 205 16 0 19410 0 Current children cumulated CPU time (s) 1630.5 Current children cumulated vsize (Kb) 79876 [startup+1640.98 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134384/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=79996 CPUtime=1640.5 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21590 0 0 0 163328 722 0 0 25 0 1 0 190280464 81915904 19596 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 19999 19596 205 16 0 19440 0 Current children cumulated CPU time (s) 1640.5 Current children cumulated vsize (Kb) 79996 [startup+1650.99 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134384/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=79964 CPUtime=1650.5 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21590 0 0 0 164325 725 0 0 25 0 1 0 190280464 81883136 19596 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 19991 19596 205 16 0 19432 0 Current children cumulated CPU time (s) 1650.5 Current children cumulated vsize (Kb) 79964 [startup+1660.99 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134320/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80028 CPUtime=1660.51 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21605 0 0 0 165323 728 0 0 25 0 1 0 190280464 81948672 19605 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20007 19605 205 16 0 19448 0 Current children cumulated CPU time (s) 1660.51 Current children cumulated vsize (Kb) 80028 [startup+1671 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134320/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80008 CPUtime=1670.52 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21607 0 0 0 166320 732 0 0 25 0 1 0 190280464 81928192 19607 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20002 19607 205 16 0 19443 0 Current children cumulated CPU time (s) 1670.52 Current children cumulated vsize (Kb) 80008 [startup+1681.01 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134256/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80008 CPUtime=1680.52 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21616 0 0 0 167316 736 0 0 25 0 1 0 190280464 81928192 19616 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20002 19616 205 16 0 19443 0 Current children cumulated CPU time (s) 1680.52 Current children cumulated vsize (Kb) 80008 [startup+1691.01 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134256/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80000 CPUtime=1690.52 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21621 0 0 0 168312 740 0 0 25 0 1 0 190280464 81920000 19614 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20000 19614 205 16 0 19441 0 Current children cumulated CPU time (s) 1690.52 Current children cumulated vsize (Kb) 80000 [startup+1701.02 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134192/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80120 CPUtime=1700.52 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21646 0 0 0 169309 743 0 0 25 0 1 0 190280464 82042880 19639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20030 19639 205 16 0 19471 0 Current children cumulated CPU time (s) 1700.52 Current children cumulated vsize (Kb) 80120 [startup+1711.02 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134128/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80244 CPUtime=1710.53 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21657 0 0 0 170307 746 0 0 25 0 1 0 190280464 82169856 19650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528603 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20061 19650 205 16 0 19502 0 Current children cumulated CPU time (s) 1710.53 Current children cumulated vsize (Kb) 80244 [startup+1721.03 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134128/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80184 CPUtime=1720.53 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21657 0 0 0 171304 749 0 0 25 0 1 0 190280464 82108416 19650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20046 19650 205 16 0 19487 0 Current children cumulated CPU time (s) 1720.53 Current children cumulated vsize (Kb) 80184 [startup+1731.04 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134128/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80180 CPUtime=1730.53 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21660 0 0 0 172301 752 0 0 25 0 1 0 190280464 82104320 19653 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20045 19653 205 16 0 19486 0 Current children cumulated CPU time (s) 1730.53 Current children cumulated vsize (Kb) 80180 [startup+1741.04 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134064/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80292 CPUtime=1740.54 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21671 0 0 0 173298 756 0 0 25 0 1 0 190280464 82219008 19664 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20073 19664 205 16 0 19514 0 Current children cumulated CPU time (s) 1740.54 Current children cumulated vsize (Kb) 80292 [startup+1751.05 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134064/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80340 CPUtime=1750.54 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21680 0 0 0 174294 760 0 0 25 0 1 0 190280464 82268160 19673 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20085 19673 205 16 0 19526 0 Current children cumulated CPU time (s) 1750.54 Current children cumulated vsize (Kb) 80340 [startup+1761.06 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1134064/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80336 CPUtime=1760.54 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21685 0 0 0 175290 764 0 0 25 0 1 0 190280464 82264064 19678 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20084 19678 205 16 0 19525 0 Current children cumulated CPU time (s) 1760.54 Current children cumulated vsize (Kb) 80336 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1133936/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80456 CPUtime=1770.54 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21709 0 0 0 176286 768 0 0 25 0 1 0 190280464 82386944 19702 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20114 19702 205 16 0 19555 0 Current children cumulated CPU time (s) 1770.54 Current children cumulated vsize (Kb) 80456 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1133936/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80476 CPUtime=1780.55 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21714 0 0 0 177285 770 0 0 25 0 1 0 190280464 82407424 19707 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20119 19707 205 16 0 19560 0 Current children cumulated CPU time (s) 1780.55 Current children cumulated vsize (Kb) 80476 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1133936/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80476 CPUtime=1781.55 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21714 0 0 0 177385 770 0 0 25 0 1 0 190280464 82407424 19707 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20119 19707 205 16 0 19560 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 80476 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.92 2/64 21980 /proc/meminfo: memFree=1133936/2055920 swapFree=4181452/4192956 [pid=21980] ppid=21978 vsize=80476 CPUtime=1782.55 /proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21714 0 0 0 177485 770 0 0 25 0 1 0 190280464 82407424 19707 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21980/statm: 20119 19707 205 16 0 19560 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 80476 Child status: 10 Real time (s): 1783.27 CPU time (s): 1782.75 CPU user time (s): 1775.03 CPU system time (s): 7.72283 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (Kb): 80476
Begin job on node21 on Fri Jun 2 11:02:54 UTC 2006 FILE ID= 37484-1149246174 PBS_JOBID= 297809 BENCH NAME= ROOT/tmp/node21/37484-1149246174/instance-37484-1149246174.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37484-1149246174/instance-37484-1149246174.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-37484-1149246174 -o ROOT/results/node21/solver-37484-1149246174 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37484-1149246174/instance-37484-1149246174.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= f687933a5408753eb50bdd526af25aa5 RANDOM SEED= 195081863 /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: 1212312 kB Buffers: 46276 kB Cached: 719824 kB SwapCached: 3388 kB Active: 216736 kB Inactive: 558240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1212312 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14740 kB Slab: 54716 kB Committed_AS: 248772 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 11:32:37 UTC 2006