Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 pb | SAT | 724.789 | 725.094 |
Name | /PURE-SAT/SAT09/CRAFTED/edgematching/ explicit/em_9_3_5_exp.opb |
MD5SUM | 0bd0f9d908ebecb2772c8fa9a966a07f |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 232.692 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3857 |
Total number of constraints | 108164 |
Number of constraints which are clauses | 108164 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 49 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 50 |
Number of bits of the biggest sum of numbers | 6 |
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/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1885114-1245263333.opb 0.00/0.00 c File size is 3234369 bytes. 0.39/0.41 c Highest Coefficient sum: 50 0.39/0.41 c Parsing was ok!! 0.39/0.41 c Total parsing time: 0.416 s 0.39/0.45 c Var: 3857 Constr: 108164 108164/0/0 Lit: 271431 Watch. Lit: 216328 0.39/0.45 c Obj. Vars: 0 (0 % of total variables) 1.69/1.74 c Pre-processing Time: 1.738 s 1.69/1.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.74 c 0 3709 102464 257649 2 204928 34154 0 0 1.74 1.69/1.74 c Switching off lower bounding mode. 724.69/725.06 c 100 3709 102648 262654 2 205296 37570 184 55 1.80 724.69/725.06 c 250 3709 102936 270743 2 205872 41328 472 132 1.89 724.69/725.06 c 475 3709 103378 286233 2 206756 45461 914 237 2.00 724.69/725.06 c 813 3709 104022 309504 2 208044 50008 1558 376 2.16 724.69/725.06 c 1324 3709 104998 335567 3 209996 55009 2534 528 2.50 724.69/725.06 c 2087 3709 106505 378528 3 213010 60510 4041 721 2.89 724.69/725.06 c 3233 3709 108790 436208 4 217580 66562 6326 900 3.59 724.69/725.06 c 4954 3709 112154 556923 4 224308 73219 9690 1062 4.66 724.69/725.06 c 7538 3709 117092 742830 6 234184 80541 14628 1069 7.05 724.69/725.06 c 11417 3709 124529 1110427 8 249058 88596 22065 1004 11.37 724.69/725.06 c 17239 3709 135821 1675408 12 271642 97456 33357 816 21.11 724.69/725.06 c 25977 3709 152793 2967529 19 305586 107202 50329 626 41.46 724.69/725.06 c 39087 3709 178662 4463605 24 357324 117923 76198 497 78.64 724.69/725.06 c 58757 3709 216224 9233466 42 432448 129716 113760 320 183.29 724.69/725.06 c 88267 3709 178070 5625094 31 356140 142688 75606 284 310.07 724.69/725.06 c 132537 3709 154858 4665061 30 309716 156957 52394 245 540.49 724.69/725.06 c Backtracks by Clause: 168901 724.69/725.06 c Backtracks by PB constraint: 0 724.69/725.06 v x1 -x201 -x2998 -x3198 -x2 -x202 -x2999 x3199 -x3 x203 -x3000 -x3200 -x4 -x204 x3001 -x3201 -x5 -x33 -x61 -x89 -x117 -x145 x173 -x205 -x576 -x604 -x975 -x1003 -x1374 -x1402 -x1773 -x1801 -x2172 -x2200 -x2571 -x2599 -x2970 -x3002 -x3030 -x3058 -x3086 -x3114 -x3142 -x3170 -x6 -x34 -x62 -x90 x118 -x146 -x174 -x206 -x577 -x605 -x976 -x1004 -x1375 -x1403 -x1774 -x1802 -x2173 -x2201 -x2572 -x2600 -x2971 -x3003 -x3031 -x3059 -x3087 -x3115 -x3143 -x3171 -x7 -x35 -x63 -x91 -x119 -x147 -x175 -x207 -x578 -x606 x977 -x1005 -x1376 -x1404 -x1775 -x1803 -x2174 -x2202 -x2573 -x2601 -x2972 -x3004 -x3032 -x3060 -x3088 -x3116 -x3144 -x3172 -x8 -x36 -x64 -x92 -x120 -x148 -x176 -x208 -x579 -x607 -x978 -x1006 -x1377 -x1405 -x1776 -x1804 -x2175 x2203 -x2574 -x2602 -x2973 -x3005 -x3033 -x3061 -x3089 -x3117 -x3145 -x3173 -x9 -x37 -x65 x93 -x121 -x149 -x177 -x209 -x580 -x608 -x979 -x1007 -x1378 -x1406 -x1777 -x1805 -x2176 -x2204 -x2575 -x2603 -x2974 -x3006 -x3034 -x3062 -x3090 -x3118 -x3146 -x3174 -x10 -x38 -x66 -x94 -x122 -x150 -x178 -x210 x581 -x609 -x980 -x1008 -x1379 -x1407 -x1778 -x1806 -x2177 -x2205 -x2576 -x2604 -x2975 -x3007 -x3035 -x3063 -x3091 -x3119 -x3147 -x3175 -x11 -x39 -x67 -x95 -x123 -x151 -x179 -x211 -x582 -x610 -x981 -x1009 x1380 -x1408 -x1779 -x1807 -x2178 -x2206 -x2577 -x2605 -x2976 -x3008 -x3036 -x3064 -x3092 -x3120 -x3148 -x3176 -x12 -x40 -x68 -x96 -x124 x152 -x180 -x212 -x583 -x611 -x982 -x1010 -x1381 -x1409 -x1780 -x1808 -x2179 -x2207 -x2578 -x2606 -x2977 -x3009 -x3037 -x3065 -x3093 -x3121 -x3149 -x3177 -x13 -x41 -x69 -x97 -x125 -x153 -x181 -x213 -x584 -x612 -x983 x1011 -x1382 -x1410 -x1781 -x1809 -x2180 -x2208 -x2579 -x2607 -x2978 -x3010 -x3038 -x3066 -x3094 -x3122 -x3150 -x3178 -x14 -x42 -x70 -x98 -x126 -x154 -x182 -x214 -x585 -x613 -x984 -x1012 -x1383 -x1411 -x1782 x1810 -x2181 -x2209 -x2580 -x2608 -x2979 -x3011 -x3039 -x3067 -x3095 -x3123 -x3151 -x3179 -x15 -x43 -x71 -x99 -x127 -x155 -x183 -x215 -x586 -x614 -x985 -x1013 -x1384 -x1412 -x1783 -x1811 x2182 -x2210 -x2581 -x2609 -x2980 -x3012 -x3040 -x3068 -x3096 -x3124 -x3152 -x3180 -x16 -x44 -x72 -x100 -x128 -x156 -x184 -x216 -x587 -x615 -x986 -x1014 -x1385 -x1413 -x1784 -x1812 -x2183 -x2211 -x2582 x2610 -x2981 -x3013 -x3041 -x3069 -x3097 -x3125 -x3153 -x3181 -x17 -x45 -x73 -x101 -x129 -x157 -x185 -x217 -x588 -x616 -x987 -x1015 -x1386 -x1414 -x1785 -x1813 -x2184 -x2212 -x2583 -x2611 -x2982 -x3014 x3042 -x3070 -x3098 -x3126 -x3154 -x3182 -x18 -x46 -x74 -x102 -x130 -x158 -x186 -x218 -x589 -x617 -x988 -x1016 -x1387 -x1415 -x1786 -x1814 -x2185 -x2213 -x2584 -x2612 -x2983 -x3015 -x3043 -x3071 -x3099 x3127 -x3155 -x3183 -x19 -x47 -x75 -x103 -x131 -x159 -x187 -x219 -x590 -x618 -x989 -x1017 -x1388 -x1416 -x1787 -x1815 -x2186 -x2214 -x2585 -x2613 -x2984 -x3016 -x3044 -x3072 -x3100 -x3128 -x3156 x3184 -x20 -x48 -x76 -x104 -x132 -x160 -x188 -x220 -x591 -x619 -x990 -x1018 -x1389 -x1417 -x1788 -x1816 -x2187 -x2215 -x2586 -x2614 x2985 -x3017 -x3045 -x3073 -x3101 -x3129 -x3157 -x3185 -x21 -x49 -x77 -x105 -x133 -x161 -x189 x221 -x592 -x620 -x991 -x1019 -x1390 -x1418 -x1789 -x1817 -x2188 -x2216 -x2587 -x2615 -x2986 -x3018 -x3046 -x3074 -x3102 -x3130 -x3158 -x3186 x22 -x50 -x78 -x106 -x134 -x162 -x190 -x222 -x593 -x621 -x992 -x1020 -x1391 -x1419 -x1790 -x1818 -x2189 -x2217 -x2588 -x2616 -x2987 -x3019 -x3047 -x3075 -x3103 -x3131 -x3159 -x3187 -x23 -x51 -x79 -x107 -x135 -x163 -x191 -x223 -x594 -x622 -x993 -x1021 -x1392 -x1420 -x1791 -x1819 -x2190 -x2218 -x2589 -x2617 -x2988 -x3020 -x3048 -x3076 x3104 -x3132 -x3160 -x3188 -x24 -x52 x80 -x108 -x136 -x164 -x192 -x224 -x595 -x623 -x994 -x1022 -x1393 -x1421 -x1792 -x1820 -x2191 -x2219 -x2590 -x2618 -x2989 -x3021 -x3049 -x3077 -x3105 -x3133 -x3161 -x3189 -x25 -x53 -x81 -x109 -x137 -x165 -x193 -x225 -x596 x624 -x995 -x1023 -x1394 -x1422 -x1793 -x1821 -x2192 -x2220 -x2591 -x2619 -x2990 -x3022 -x3050 -x3078 -x3106 -x3134 -x3162 -x3190 -x26 x54 -x82 -x110 -x138 -x166 -x194 -x226 -x597 -x625 -x996 -x1024 -x1395 -x1423 -x1794 -x1822 -x2193 -x2221 -x2592 -x2620 -x2991 -x3023 -x3051 -x3079 -x3107 -x3135 -x3163 -x3191 -x27 -x55 -x83 -x111 -x139 -x167 -x195 -x227 -x598 -x626 -x997 -x1025 -x1396 -x1424 -x1795 -x1823 -x2194 -x2222 x2593 -x2621 -x2992 -x3024 -x3052 -x3080 -x3108 -x3136 -x3164 -x3192 -x28 -x56 -x84 -x112 -x140 -x168 -x196 -x228 -x599 -x627 -x998 -x1026 -x1397 -x1425 x1796 -x1824 -x2195 -x2223 -x2594 -x2622 -x2993 -x3025 -x3053 -x3081 -x3109 -x3137 -x3165 -x3193 -x29 -x57 -x85 -x113 -x141 -x169 -x197 -x229 -x600 -x628 -x999 -x1027 -x1398 -x1426 -x1797 -x1825 -x2196 -x2224 -x2595 -x2623 -x2994 -x3026 -x3054 -x3082 -x3110 -x3138 x3166 -x3194 -x30 -x58 -x86 -x114 -x142 -x170 -x198 -x230 -x601 -x629 -x1000 -x1028 -x1399 -x1427 -x1798 -x1826 -x2197 -x2225 -x2596 -x2624 -x2995 -x3027 -x3055 x3083 -x3111 -x3139 -x3167 -x3195 -x31 -x59 -x87 -x115 -x143 -x171 -x199 -x231 -x602 -x630 -x1001 -x1029 -x1400 -x1428 -x1799 -x1827 -x2198 -x2226 -x2597 -x2625 -x2996 x3028 -x3056 -x3084 -x3112 -x3140 -x3168 -x3196 -x32 -x60 -x88 -x116 -x144 -x172 -x200 -x232 -x603 -x631 -x1002 -x1030 -x1401 x1429 -x1800 -x1828 -x2199 -x2227 -x2598 -x2626 -x2997 -x3029 -x3057 -x3085 -x3113 -x3141 -x3169 -x3197 -x233 -x282 -x331 -x380 -x429 -x478 -x527 -x632 -x681 -x730 -x779 -x828 -x877 -x926 -x1031 x1080 -x1129 -x1178 -x1227 -x1276 -x1325 -x1430 -x1479 -x1528 -x1577 -x1626 -x1675 -x1724 -x1829 -x1878 -x1927 -x1976 -x2025 -x2074 -x2123 -x2228 -x2277 -x2326 -x2375 -x2424 -x2473 -x2522 -x2627 -x2676 -x2725 -x2774 -x2823 -x2872 -x2921 -x234 -x283 -x332 -x381 -x430 -x479 -x528 -x633 -x682 -x731 -x780 -x829 -x878 -x927 -x1032 -x1081 -x1130 -x1179 -x1228 -x1277 -x1326 -x1431 -x1480 -x1529 -x1578 -x1627 -x1676 -x1725 -x1830 -x1879 -x1928 -x1977 -x2026 -x2075 -x2124 -x2229 -x2278 -x2327 -x2376 -x2425 -x2474 -x2523 -x2628 -x2677 x2726 -x2775 -x2824 -x2873 -x2922 -x235 -x284 -x333 -x382 -x431 -x480 x529 -x634 -x683 -x732 -x781 -x830 -x879 -x928 -x1033 -x1082 -x1131 -x1180 -x1229 -x1278 -x1327 -x1432 -x1481 -x1530 -x1579 -x1628 -x1677 -x1726 -x1831 -x1880 -x1929 -x1978 -x2027 -x2076 -x2125 -x2230 -x2279 -x2328 -x2377 -x2426 -x2475 -x2524 -x2629 -x2678 -x2727 -x2776 -x2825 -x2874 -x2923 -x236 -x285 -x334 -x383 -x432 -x481 -x530 -x635 -x684 -x733 -x782 -x831 -x880 -x929 -x1034 -x1083 -x1132 -x1181 -x1230 -x1279 -x1328 -x1433 -x1482 -x1531 x1580 -x1629 -x1678 -x1727 -x1832 -x1881 -x1930 -x1979 -x2028 -x2077 -x2126 -x2231 -x2280 -x2329 -x2378 -x2427 -x2476 -x2525 -x2630 -x2679 -x2728 -x2777 -x2826 -x2875 -x2924 -x237 -x286 -x335 -x384 -x433 -x482 -x531 -x636 -x685 -x734 -x783 -x832 -x881 -x930 -x1035 -x1084 -x1133 -x1182 -x1231 -x1280 -x1329 -x1434 -x1483 -x1532 -x1581 -x1630 -x1679 -x1728 -x1833 -x1882 -x1931 -x1980 -x2029 -x2078 -x2127 -x2232 -x2281 -x2330 -x2379 -x2428 -x2477 -x2526 -x2631 -x2680 -x2729 -x2778 -x2827 -x2876 x2925 -x238 -x287 -x336 -x385 -x434 -x483 -x532 -x637 -x686 -x735 -x784 -x833 -x882 -x931 -x1036 -x1085 -x1134 -x1183 -x1232 -x1281 -x1330 -x1435 -x1484 x1533 -x1582 -x1631 -x1680 -x1729 -x1834 -x1883 -x1932 -x1981 -x2030 -x2079 -x2128 -x2233 -x2282 -x2331 -x2380 -x2429 -x2478 -x2527 -x2632 -x2681 -x2730 -x2779 -x2828 -x2877 -x2926 -x239 -x288 -x337 -x386 -x435 -x484 -x533 -x638 -x687 -x736 -x785 -x834 -x883 -x932 -x1037 -x1086 -x1135 -x1184 -x1233 -x1282 -x1331 -x1436 -x1485 -x1534 -x1583 -x1632 -x1681 -x1730 -x1835 -x1884 -x1933 -x1982 -x2031 -x2080 -x2129 -x2234 -x2283 -x2332 -x2381 -x2430 -x2479 -x2528 -x2633 -x2682 -x2731 -x2780 -x2829 x2878 -x2927 -x240 -x289 -x338 -x387 -x436 -x485 -x534 -x639 -x688 -x737 -x786 -x835 -x884 -x933 -x1038 -x1087 -x1136 -x1185 -x1234 -x1283 -x1332 -x1437 -x1486 -x1535 -x1584 -x1633 -x1682 -x1731 -x1836 -x1885 -x1934 -x1983 -x2032 -x2081 -x2130 x2235 -x2284 -x2333 -x2382 -x2431 -x2480 -x2529 -x2634 -x2683 -x2732 -x2781 -x2830 -x2879 -x2928 -x241 -x290 -x339 -x388 -x437 -x486 -x535 -x640 -x689 -x738 -x787 -x836 -x885 -x934 -x1039 -x1088 -x1137 -x1186 -x1235 -x1284 -x1333 -x1438 -x1487 -x1536 -x1585 -x1634 -x1683 -x1732 -x1837 -x1886 -x1935 -x1984 -x2033 -x2082 -x2131 -x2236 x2285 -x2334 -x2383 -x2432 -x2481 -x2530 -x2635 -x2684 -x2733 -x2782 -x2831 -x2880 -x2929 -x242 -x291 -x340 -x389 -x438 -x487 -x536 -x641 -x690 -x739 x788 -x837 -x886 -x935 -x1040 -x1089 -x1138 -x1187 -x1236 -x1285 -x1334 -x1439 -x1488 -x1537 -x1586 -x1635 -x1684 -x1733 -x1838 -x1887 -x1936 -x1985 -x2034 -x2083 -x2132 -x2237 -x2286 -x2335 -x2384 -x2433 -x2482 -x2531 -x2636 -x2685 -x2734 -x2783 -x2832 -x2881 -x2930 -x243 -x292 -x341 -x390 -x439 -x488 -x537 -x642 -x691 -x740 -x789 -x838 -x887 -x936 -x1041 -x1090 -x1139 -x1188 -x1237 -x1286 -x1335 -x1440 -x1489 -x1538 -x1587 -x1636 -x1685 x1734 -x1839 -x1888 -x1937 -x1986 -x2035 -x2084 -x2133 -x2238 -x2287 -x2336 -x2385 -x2434 -x2483 -x2532 -x2637 -x2686 -x2735 -x2784 -x2833 -x2882 -x2931 -x244 -x293 -x342 -x391 -x440 -x489 -x538 x643 -x692 -x741 -x790 -x839 -x888 -x937 -x1042 -x1091 -x1140 -x1189 -x1238 -x1287 -x1336 -x1441 -x1490 -x1539 -x1588 -x1637 -x1686 -x1735 -x1840 -x1889 -x1938 -x1987 -x2036 -x2085 -x2134 -x2239 -x2288 -x2337 -x2386 -x2435 -x2484 -x2533 -x2638 -x2687 -x2736 -x2785 -x2834 -x2883 -x2932 -x245 -x294 -x343 -x392 -x441 -x490 -x539 -x644 -x693 -x742 -x791 -x840 -x889 -x938 -x1043 -x1092 -x1141 -x1190 -x1239 -x1288 -x1337 -x1442 -x1491 -x1540 -x1589 -x1638 -x1687 -x1736 -x1841 -x1890 -x1939 -x1988 -x2037 -x2086 -x2135 -x2240 -x2289 -x2338 -x2387 -x2436 x2485 -x2534 -x2639 -x2688 -x2737 -x2786 -x2835 -x2884 -x2933 -x246 -x295 -x344 -x393 -x442 -x491 -x540 -x645 -x694 -x743 -x792 -x841 -x890 -x939 -x1044 -x1093 -x1142 -x1191 -x1240 -x1289 -x1338 -x1443 -x1492 -x1541 -x1590 x1639 -x1688 -x1737 -x1842 -x1891 -x1940 -x1989 -x2038 -x2087 -x2136 -x2241 -x2290 -x2339 -x2388 -x2437 -x2486 -x2535 -x2640 -x2689 -x2738 -x2787 -x2836 -x2885 -x2934 -x247 -x296 -x345 -x394 -x443 -x492 -x541 -x646 x695 -x744 -x793 -x842 -x891 -x940 -x1045 -x1094 -x1143 -x1192 -x1241 -x1290 -x1339 -x1444 -x1493 -x1542 -x1591 -x1640 -x1689 -x1738 -x1843 -x1892 -x1941 -x1990 -x2039 -x2088 -x2137 -x2242 -x2291 -x2340 -x2389 -x2438 -x2487 -x2536 -x2641 -x2690 -x2739 -x2788 -x2837 -x2886 -x2935 -x248 -x297 -x346 -x395 -x444 -x493 -x542 -x647 -x696 -x745 -x794 -x843 -x892 -x941 -x1046 -x1095 -x1144 -x1193 -x1242 x1291 -x1340 -x1445 -x1494 -x1543 -x1592 -x1641 -x1690 -x1739 -x1844 -x1893 -x1942 -x1991 -x2040 -x2089 -x2138 -x2243 -x2292 -x2341 -x2390 -x2439 -x2488 -x2537 -x2642 -x2691 -x2740 -x2789 -x2838 -x2887 -x2936 -x249 -x298 -x347 -x396 -x445 -x494 -x543 -x648 -x697 -x746 -x795 -x844 -x893 -x942 -x1047 -x1096 -x1145 -x1194 -x1243 -x1292 -x1341 -x1446 -x1495 -x1544 -x1593 -x1642 -x1691 -x1740 -x1845 -x1894 -x1943 -x1992 -x2041 -x2090 -x2139 -x2244 -x2293 -x2342 -x2391 -x2440 -x2489 -x2538 -x2643 -x2692 -x2741 x2790 -x2839 -x2888 -x2937 -x250 -x299 -x348 -x397 -x446 -x495 -x544 -x649 -x698 -x747 -x796 -x845 x894 -x943 -x1048 -x1097 -x1146 -x1195 -x1244 -x1293 -x1342 -x1447 -x1496 -x1545 -x1594 -x1643 -x1692 -x1741 -x1846 -x1895 -x1944 -x1993 -x2042 -x2091 -x2140 -x2245 -x2294 -x2343 -x2392 -x2441 -x2490 -x2539 -x2644 -x2693 -x2742 -x2791 -x2840 -x2889 -x2938 -x251 -x300 -x349 -x398 -x447 -x496 -x545 -x650 -x699 -x748 -x797 -x846 -x895 -x944 -x1049 -x1098 -x1147 -x1196 -x1245 -x1294 -x1343 -x1448 -x1497 -x1546 -x1595 -x1644 -x1693 -x1742 -x1847 -x1896 -x1945 -x1994 x2043 -x2092 -x2141 -x2246 -x2295 -x2344 -x2393 -x2442 -x2491 -x2540 -x2645 -x2694 -x2743 -x2792 -x2841 -x2890 -x2939 -x252 -x301 -x350 -x399 -x448 -x497 -x546 -x651 -x700 -x749 -x798 x847 -x896 -x945 -x1050 -x1099 -x1148 -x1197 -x1246 -x1295 -x1344 -x1449 -x1498 -x1547 -x1596 -x1645 -x1694 -x1743 -x1848 -x1897 -x1946 -x1995 -x2044 -x2093 -x2142 -x2247 -x2296 -x2345 -x2394 -x2443 -x2492 -x2541 -x2646 -x2695 -x2744 -x2793 -x2842 -x2891 -x2940 -x253 -x302 -x351 -x400 -x449 -x498 -x547 -x652 -x701 -x750 -x799 -x848 -x897 -x946 -x1051 -x1100 -x1149 -x1198 -x1247 -x1296 -x1345 -x1450 -x1499 -x1548 -x1597 -x1646 -x1695 -x1744 -x1849 -x1898 -x1947 -x1996 -x2045 -x2094 -x2143 -x2248 -x2297 -x2346 -x2395 -x2444 -x2493 -x2542 x2647 -x2696 -x2745 -x2794 -x2843 -x2892 -x2941 -x254 -x303 -x352 -x401 -x450 -x499 -x548 -x653 -x702 -x751 -x800 -x849 -x898 -x947 x1052 -x1101 -x1150 -x1199 -x1248 -x1297 -x1346 -x1451 -x1500 -x1549 -x1598 -x1647 -x1696 -x1745 -x1850 -x1899 -x1948 -x1997 -x2046 -x2095 -x2144 -x2249 -x2298 -x2347 -x2396 -x2445 -x2494 -x2543 -x2648 -x2697 -x2746 -x2795 -x2844 -x2893 -x2942 -x255 -x304 -x353 -x402 -x451 -x500 -x549 -x654 -x703 -x752 -x801 -x850 -x899 -x948 -x1053 -x1102 -x1151 -x1200 -x1249 -x1298 -x1347 -x1452 -x1501 -x1550 -x1599 -x1648 -x1697 -x1746 x1851 -x1900 -x1949 -x1998 -x2047 -x2096 -x2145 -x2250 -x2299 -x2348 -x2397 -x2446 -x2495 -x2544 -x2649 -x2698 -x2747 -x2796 -x2845 -x2894 -x2943 -x256 -x305 -x354 -x403 -x452 -x501 -x550 -x655 -x704 -x753 -x802 -x851 -x900 -x949 -x1054 -x1103 -x1152 -x1201 -x1250 -x1299 -x1348 -x1453 x1502 -x1551 -x1600 -x1649 -x1698 -x1747 -x1852 -x1901 -x1950 -x1999 -x2048 -x2097 -x2146 -x2251 -x2300 -x2349 -x2398 -x2447 -x2496 -x2545 -x2650 -x2699 -x2748 -x2797 -x2846 -x2895 -x2944 -x257 -x306 -x355 x404 -x453 -x502 -x551 -x656 -x705 -x754 -x803 -x852 -x901 -x950 -x1055 -x1104 -x1153 -x1202 -x1251 -x1300 -x1349 -x1454 -x1503 -x1552 -x1601 -x1650 -x1699 -x1748 -x1853 -x1902 -x1951 -x2000 -x2049 -x2098 -x2147 -x2252 -x2301 -x2350 -x2399 -x2448 -x2497 -x2546 -x2651 -x2700 -x2749 -x2798 -x2847 -x2896 -x2945 -x258 -x307 -x356 -x405 -x454 -x503 -x552 -x657 -x706 -x755 -x804 -x853 -x902 -x951 -x1056 -x1105 -x1154 -x1203 -x1252 -x1301 -x1350 x1455 -x1504 -x1553 -x1602 -x1651 -x1700 -x1749 -x1854 -x1903 -x1952 -x2001 -x2050 -x2099 -x2148 -x2253 -x2302 -x2351 -x2400 -x2449 -x2498 -x2547 -x2652 -x2701 -x2750 -x2799 -x2848 -x2897 -x2946 -x259 -x308 x357 -x406 -x455 -x504 -x553 -x658 -x707 -x756 -x805 -x854 -x903 -x952 -x1057 -x1106 -x1155 -x1204 -x1253 -x1302 -x1351 -x1456 -x1505 -x1554 -x1603 -x1652 -x1701 -x1750 -x1855 -x1904 -x1953 -x2002 -x2051 -x2100 -x2149 -x2254 -x2303 -x2352 -x2401 -x2450 -x2499 -x2548 -x2653 -x2702 -x2751 -x2800 -x2849 -x2898 -x2947 -x260 -x309 -x358 -x407 -x456 -x505 -x554 -x659 -x708 -x757 -x806 -x855 -x904 -x953 -x1058 -x1107 -x1156 -x1205 x1254 -x1303 -x1352 -x1457 -x1506 -x1555 -x1604 -x1653 -x1702 -x1751 -x1856 -x1905 -x1954 -x2003 -x2052 -x2101 -x2150 -x2255 -x2304 -x2353 -x2402 -x2451 -x2500 -x2549 -x2654 -x2703 -x2752 -x2801 -x2850 -x2899 -x2948 -x261 -x310 -x359 -x408 -x457 -x506 -x555 -x660 -x709 -x758 -x807 -x856 -x905 -x954 -x1059 -x1108 -x1157 -x1206 -x1255 -x1304 -x1353 -x1458 -x1507 -x1556 -x1605 -x1654 -x1703 -x1752 -x1857 -x1906 -x1955 -x2004 -x2053 -x2102 -x2151 -x2256 -x2305 -x2354 -x2403 -x2452 -x2501 x2550 -x2655 -x2704 -x2753 -x2802 -x2851 -x2900 -x2949 -x262 -x311 -x360 -x409 -x458 -x507 -x556 -x661 -x710 -x759 -x808 -x857 -x906 -x955 -x1060 -x1109 -x1158 -x1207 -x1256 -x1305 -x1354 -x1459 -x1508 -x1557 -x1606 -x1655 -x1704 -x1753 -x1858 -x1907 -x1956 -x2005 -x2054 -x2103 -x2152 -x2257 -x2306 -x2355 x2404 -x2453 -x2502 -x2551 -x2656 -x2705 -x2754 -x2803 -x2852 -x2901 -x2950 -x263 -x312 -x361 -x410 -x459 -x508 -x557 -x662 -x711 -x760 -x809 -x858 -x907 -x956 -x1061 -x1110 -x1159 -x1208 -x1257 -x1306 -x1355 -x1460 -x1509 -x1558 -x1607 -x1656 -x1705 -x1754 -x1859 -x1908 -x1957 -x2006 -x2055 -x2104 -x2153 -x2258 -x2307 -x2356 -x2405 -x2454 -x2503 -x2552 -x2657 x2706 -x2755 -x2804 -x2853 -x2902 -x2951 -x264 -x313 -x362 -x411 -x460 -x509 -x558 -x663 -x712 -x761 -x810 -x859 -x908 x957 -x1062 -x1111 -x1160 -x1209 -x1258 -x1307 -x1356 -x1461 -x1510 -x1559 -x1608 -x1657 -x1706 -x1755 -x1860 -x1909 -x1958 -x2007 -x2056 -x2105 -x2154 -x2259 -x2308 -x2357 -x2406 -x2455 -x2504 -x2553 -x2658 -x2707 -x2756 -x2805 -x2854 -x2903 -x2952 -x265 -x314 -x363 -x412 -x461 -x510 -x559 -x664 -x713 -x762 -x811 -x860 -x909 -x958 -x1063 -x1112 -x1161 -x1210 -x1259 -x1308 -x1357 -x1462 -x1511 -x1560 -x1609 -x1658 -x1707 -x1756 -x1861 x1910 -x1959 -x2008 -x2057 -x2106 -x2155 -x2260 -x2309 -x2358 -x2407 -x2456 -x2505 -x2554 -x2659 -x2708 -x2757 -x2806 -x2855 -x2904 -x2953 -x266 -x315 -x364 -x413 -x462 -x511 -x560 -x665 -x714 x763 -x812 -x861 -x910 -x959 -x1064 -x1113 -x1162 -x1211 -x1260 -x1309 -x1358 -x1463 -x1512 -x1561 -x1610 -x1659 -x1708 -x1757 -x1862 -x1911 -x1960 -x2009 -x2058 -x2107 -x2156 -x2261 -x2310 -x2359 -x2408 -x2457 -x2506 -x2555 -x2660 -x2709 -x2758 -x2807 -x2856 -x2905 -x2954 -x267 -x316 -x365 -x414 x463 -x512 -x561 -x666 -x715 -x764 -x813 -x862 -x911 -x960 -x1065 -x1114 -x1163 -x1212 -x1261 -x1310 -x1359 -x1464 -x1513 -x1562 -x1611 -x1660 -x1709 -x1758 -x1863 -x1912 -x1961 -x2010 -x2059 -x2108 -x2157 -x2262 -x2311 -x2360 -x2409 -x2458 -x2507 -x2556 -x2661 -x2710 -x2759 -x2808 -x2857 -x2906 -x2955 -x268 -x317 -x366 -x415 -x464 -x513 -x562 -x667 -x716 -x765 -x814 -x863 -x912 -x961 -x1066 -x1115 -x1164 -x1213 -x1262 -x1311 -x1360 -x1465 -x1514 -x1563 -x1612 -x1661 x1710 -x1759 -x1864 -x1913 -x1962 -x2011 -x2060 -x2109 -x2158 -x2263 -x2312 -x2361 -x2410 -x2459 -x2508 -x2557 -x2662 -x2711 -x2760 -x2809 -x2858 -x2907 -x2956 -x269 -x318 -x367 -x416 -x465 -x514 -x563 -x668 -x717 -x766 -x815 -x864 -x913 -x962 -x1067 -x1116 -x1165 -x1214 -x1263 -x1312 -x1361 -x1466 -x1515 -x1564 -x1613 -x1662 -x1711 -x1760 -x1865 -x1914 -x1963 -x2012 -x2061 -x2110 -x2159 -x2264 -x2313 -x2362 -x2411 -x2460 -x2509 -x2558 -x2663 -x2712 -x2761 -x2810 x2859 -x2908 -x2957 -x270 -x319 -x368 -x417 -x466 -x515 -x564 -x669 -x718 -x767 -x816 -x865 -x914 -x963 -x1068 -x1117 -x1166 -x1215 -x1264 -x1313 -x1362 -x1467 -x1516 -x1565 -x1614 -x1663 -x1712 -x1761 -x1866 -x1915 -x1964 x2013 -x2062 -x2111 -x2160 -x2265 -x2314 -x2363 -x2412 -x2461 -x2510 -x2559 -x2664 -x2713 -x2762 -x2811 -x2860 -x2909 -x2958 -x271 -x320 -x369 -x418 -x467 -x516 -x565 -x670 -x719 -x768 -x817 -x866 -x915 -x964 -x1069 -x1118 -x1167 -x1216 -x1265 -x1314 x1363 -x1468 -x1517 -x1566 -x1615 -x1664 -x1713 -x1762 -x1867 -x1916 -x1965 -x2014 -x2063 -x2112 -x2161 -x2266 -x2315 -x2364 -x2413 -x2462 -x2511 -x2560 -x2665 -x2714 -x2763 -x2812 -x2861 -x2910 -x2959 -x272 x321 -x370 -x419 -x468 -x517 -x566 -x671 -x720 -x769 -x818 -x867 -x916 -x965 -x1070 -x1119 -x1168 -x1217 -x1266 -x1315 -x1364 -x1469 -x1518 -x1567 -x1616 -x1665 -x1714 -x1763 -x1868 -x1917 -x1966 -x2015 -x2064 -x2113 -x2162 -x2267 -x2316 -x2365 -x2414 -x2463 -x2512 -x2561 -x2666 -x2715 -x2764 -x2813 -x2862 -x2911 -x2960 -x273 -x322 -x371 -x420 -x469 x518 -x567 -x672 -x721 -x770 -x819 -x868 -x917 -x966 -x1071 -x1120 -x1169 -x1218 -x1267 -x1316 -x1365 -x1470 -x1519 -x1568 -x1617 -x1666 -x1715 -x1764 -x1869 -x1918 -x1967 -x2016 -x2065 -x2114 -x2163 -x2268 -x2317 -x2366 -x2415 -x2464 -x2513 -x2562 -x2667 -x2716 -x2765 -x2814 -x2863 -x2912 -x2961 -x274 -x323 -x372 -x421 -x470 -x519 -x568 -x673 -x722 -x771 -x820 -x869 -x918 -x967 -x1072 -x1121 -x1170 -x1219 -x1268 -x1317 -x1366 -x1471 -x1520 -x1569 -x1618 -x1667 -x1716 -x1765 -x1870 -x1919 -x1968 -x2017 -x2066 -x2115 x2164 -x2269 -x2318 -x2367 -x2416 -x2465 -x2514 -x2563 -x2668 -x2717 -x2766 -x2815 -x2864 -x2913 -x2962 -x275 -x324 -x373 -x422 -x471 -x520 -x569 -x674 -x723 -x772 -x821 -x870 -x919 -x968 -x1073 -x1122 x1171 -x1220 -x1269 -x1318 -x1367 -x1472 -x1521 -x1570 -x1619 -x1668 -x1717 -x1766 -x1871 -x1920 -x1969 -x2018 -x2067 -x2116 -x2165 -x2270 -x2319 -x2368 -x2417 -x2466 -x2515 -x2564 -x2669 -x2718 -x2767 -x2816 -x2865 -x2914 -x2963 -x276 -x325 -x374 -x423 -x472 -x521 -x570 -x675 -x724 -x773 -x822 -x871 -x920 -x969 -x1074 -x1123 -x1172 -x1221 -x1270 -x1319 -x1368 -x1473 -x1522 -x1571 -x1620 -x1669 -x1718 -x1767 -x1872 -x1921 -x1970 -x2019 -x2068 x2117 -x2166 -x2271 -x2320 -x2369 -x2418 -x2467 -x2516 -x2565 -x2670 -x2719 -x2768 -x2817 -x2866 -x2915 -x2964 -x277 -x326 -x375 -x424 -x473 -x522 -x571 -x676 -x725 -x774 -x823 -x872 -x921 -x970 -x1075 -x1124 -x1173 -x1222 -x1271 -x1320 -x1369 -x1474 -x1523 -x1572 -x1621 -x1670 -x1719 -x1768 -x1873 -x1922 x1971 -x2020 -x2069 -x2118 -x2167 -x2272 -x2321 -x2370 -x2419 -x2468 -x2517 -x2566 -x2671 -x2720 -x2769 -x2818 -x2867 -x2916 -x2965 -x278 -x327 -x376 -x425 -x474 -x523 -x572 -x677 -x726 -x775 -x824 -x873 -x922 -x971 -x1076 -x1125 -x1174 -x1223 -x1272 -x1321 -x1370 -x1475 -x1524 -x1573 -x1622 -x1671 -x1720 -x1769 -x1874 -x1923 -x1972 -x2021 -x2070 -x2119 -x2168 -x2273 -x2322 -x2371 -x2420 x2469 -x2518 -x2567 -x2672 -x2721 -x2770 -x2819 -x2868 -x2917 -x2966 x279 -x328 -x377 -x426 -x475 -x524 -x573 -x678 -x727 -x776 -x825 -x874 -x923 -x972 -x1077 -x1126 -x1175 -x1224 -x1273 -x1322 -x1371 -x1476 -x1525 -x1574 -x1623 -x1672 -x1721 -x1770 -x1875 -x1924 -x1973 -x2022 -x2071 -x2120 -x2169 -x2274 -x2323 -x2372 -x2421 -x2470 -x2519 -x2568 -x2673 -x2722 -x2771 -x2820 -x2869 -x2918 -x2967 -x280 -x329 -x378 -x427 -x476 -x525 -x574 -x679 -x728 -x777 -x826 -x875 -x924 -x973 -x1078 -x1127 -x1176 -x1225 -x1274 -x1323 -x1372 -x1477 -x1526 -x1575 -x1624 -x1673 -x1722 -x1771 -x1876 -x1925 -x1974 -x2023 -x2072 -x2121 -x2170 -x2275 -x2324 x2373 -x2422 -x2471 -x2520 -x2569 -x2674 -x2723 -x2772 -x2821 -x2870 -x2919 -x2968 -x281 -x330 -x379 -x428 -x477 -x526 -x575 -x680 -x729 -x778 -x827 -x876 -x925 -x974 -x1079 -x1128 -x1177 x1226 -x1275 -x1324 -x1373 -x1478 -x1527 -x1576 -x1625 -x1674 -x1723 -x1772 -x1877 -x1926 -x1975 -x2024 -x2073 -x2122 -x2171 -x2276 -x2325 -x2374 -x2423 -x2472 -x2521 -x2570 -x2675 -x2724 -x2773 -x2822 -x2871 -x2920 -x2969 x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 x3209 -x3210 -x3211 x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 x3219 -x3220 x3221 -x3222 -x3223 -x3224 x3225 x3226 -x3227 -x3228 -x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 x3260 -x3261 -x3262 -x3263 -x3264 -x3265 x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 x3286 x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 x3319 -x3320 -x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 x3332 -x3333 -x3334 -x3335 x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 x3346 -x3347 -x3348 x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370 -x3371 -x3372 x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 -x3413 x3414 -x3415 -x3416 -x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 x3424 -x3425 -x3426 -x3427 x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 x3448 -x3449 -x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 x3475 -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 -x3487 x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3497 -x3498 x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 x3525 -x3526 -x3527 -x3528 -x3529 -x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 x3538 -x3539 x3540 -x3541 -x3542 -x3543 -x3544 x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 -x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 x3589 -x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 -x3638 -x3639 -x3640 -x3641 x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 x3690 -x3691 -x3692 x3693 -x3694 -x3695 -x3696 -x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 x3744 -x3745 -x3746 x3747 -x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 x3760 -x3761 -x3762 -x3763 -x3764 x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 x3773 -x3774 -x3775 -x3776 -x3777 x3778 -x3779 -x3780 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 x3824 -x3825 -x3826 x3827 -x3828 -x3829 -x3830 -x3831 -x3832 x3833 -x3834 -x3835 x3836 -x3837 x3838 -x3839 -x3840 x3841 -x3842 -x3843 -x3844 x3845 -x3846 x3847 -x3848 -x3849 -x3850 x3851 x3852 -x3853 -x3854 x3855 -x3856 -x3857 724.69/725.06 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 724.69/725.06 c 16 168901 105004 2997322 226293 9977541 123829 233 724.76 724.69/725.06 s SATISFIABLE 724.69/725.06 c Total time: 724.759 s
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885114-1245263333/watcher-1885114-1245263333 -o /tmp/evaluation-result-1885114-1245263333/solver-1885114-1245263333 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1885114-1245263333.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.93 3/64 3535 /proc/meminfo: memFree=1875744/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=21692 CPUtime=0 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 1808634 22212608 253 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 5423 254 174 640 0 3989 0 [startup+0.038802 s] /proc/loadavg: 1.00 1.00 0.93 3/64 3535 /proc/meminfo: memFree=1875744/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=15112 CPUtime=0.03 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 616 0 0 0 3 0 0 0 18 0 1 0 1808634 15474688 600 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 3778 600 240 640 0 2344 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 15112 [startup+0.101806 s] /proc/loadavg: 1.00 1.00 0.93 3/64 3535 /proc/meminfo: memFree=1875744/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=17040 CPUtime=0.09 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 1245 0 0 0 9 0 0 0 18 0 1 0 1808634 17448960 1229 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 4260 1229 367 640 0 2826 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17040 [startup+0.301824 s] /proc/loadavg: 1.00 1.00 0.93 3/64 3535 /proc/meminfo: memFree=1875744/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=22524 CPUtime=0.29 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 2991 0 0 0 28 1 0 0 19 0 1 0 1808634 23064576 2975 1992294400 134512640 137136520 4294956256 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 5631 2975 744 640 0 4197 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22524 [startup+0.701861 s] /proc/loadavg: 1.00 1.00 0.93 3/64 3535 /proc/meminfo: memFree=1875744/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=28432 CPUtime=0.69 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 5477 0 0 0 67 2 0 0 23 0 1 0 1808634 29114368 4672 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 7108 4673 193 640 0 6464 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28432 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1854744/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=31468 CPUtime=1.49 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 6233 0 0 0 139 10 0 0 25 0 1 0 1808634 32223232 5427 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 7867 5427 193 640 0 7223 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31468 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1855192/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=30836 CPUtime=3.09 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 7011 0 0 0 293 16 0 0 25 0 1 0 1808634 31576064 5278 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 7709 5278 198 640 0 7065 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30836 [startup+6.30237 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1853080/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=33852 CPUtime=6.29 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 7770 0 0 0 605 24 0 0 25 0 1 0 1808634 34664448 6037 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 8463 6037 198 640 0 7819 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33852 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1845016/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=41520 CPUtime=12.68 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 9696 0 0 0 1235 33 0 0 25 0 1 0 1808634 42516480 7963 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 10380 7963 198 640 0 9736 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41520 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1833752/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=52580 CPUtime=25.49 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 12455 0 0 0 2504 45 0 0 25 0 1 0 1808634 53841920 10722 1992294400 134512640 137136520 4294956256 18446744073709551615 134544345 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 13145 10722 198 640 0 12501 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52580 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1813464/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=72920 CPUtime=51.06 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 17547 0 0 0 5045 61 0 0 25 0 1 0 1808634 74670080 15814 1992294400 134512640 137136520 4294956256 18446744073709551615 134600585 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 18230 15814 198 640 0 17586 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 72920 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1781592/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=104312 CPUtime=102.24 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 25379 0 0 0 10140 84 0 0 25 0 1 0 1808634 106815488 23646 1992294400 134512640 137136520 4294956256 18446744073709551615 136502198 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 26078 23646 198 640 0 25434 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 104312 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1739736/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=146248 CPUtime=162.21 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 35870 0 0 0 16121 100 0 0 25 0 1 0 1808634 149757952 34137 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 36562 34137 198 640 0 35918 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 146248 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1718488/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=167320 CPUtime=222.19 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 41138 0 0 0 22102 117 0 0 25 0 1 0 1808634 171335680 39405 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 41830 39405 198 640 0 41186 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 167320 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1710616/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=174800 CPUtime=282.16 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 43137 0 0 0 28075 141 0 0 25 0 1 0 1808634 178995200 41275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543849 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 43700 41275 198 640 0 43056 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 174800 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1710552/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=174800 CPUtime=342.14 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 43137 0 0 0 34058 156 0 0 25 0 1 0 1808634 178995200 41275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 43700 41275 198 640 0 43056 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 174800 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1710552/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=174800 CPUtime=402.11 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 43137 0 0 0 40038 173 0 0 25 0 1 0 1808634 178995200 41275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 43700 41275 198 640 0 43056 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 174800 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1710552/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=174800 CPUtime=462.09 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 43137 0 0 0 46023 186 0 0 25 0 1 0 1808634 178995200 41275 1992294400 134512640 137136520 4294956256 18446744073709551615 134545045 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 43700 41275 198 640 0 43056 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 174800 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685208/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=522.07 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 52009 198 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 200012 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685272/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=582.04 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 57977 227 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 200012 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685208/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=642.03 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 63959 244 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 200012 [startup+702.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685144/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=702.01 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 69942 259 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 702.01 Current children cumulated vsize (KiB) 200012 Solver just ended. Dumping a history of the last processes samples [startup+703.902 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685208/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=703.61 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 70102 259 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 703.61 Current children cumulated vsize (KiB) 200012 [startup+716.703 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685144/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=716.4 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 71377 263 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 136295683 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 716.4 Current children cumulated vsize (KiB) 200012 [startup+719.901 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685144/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=719.59 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 71696 263 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 719.59 Current children cumulated vsize (KiB) 200012 [startup+723.102 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685144/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=722.79 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 72015 264 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 722.79 Current children cumulated vsize (KiB) 200012 [startup+723.902 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685144/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=723.59 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 72095 264 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 723.59 Current children cumulated vsize (KiB) 200012 [startup+724.702 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685144/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=724.39 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 72175 264 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 724.39 Current children cumulated vsize (KiB) 200012 [startup+724.907 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685144/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=724.59 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 72195 264 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 724.59 Current children cumulated vsize (KiB) 200012 [startup+725.003 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3536 /proc/meminfo: memFree=1685144/2055920 swapFree=4192956/4192956 [pid=3535] ppid=3533 vsize=200012 CPUtime=724.69 /proc/3535/stat : 3535 (bsolo) R 3533 3535 3134 0 -1 4194304 49582 0 0 0 72205 264 0 0 25 0 1 0 1808634 204812288 47579 1992294400 134512640 137136520 4294956256 18446744073709551615 134543846 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3535/statm: 50003 47579 198 640 0 49359 0 Current children cumulated CPU time (s) 724.69 Current children cumulated vsize (KiB) 200012 Child status: 0 Real time (s): 725.094 CPU time (s): 724.789 CPU user time (s): 722.113 CPU system time (s): 2.67559 CPU usage (%): 99.9578 Max. virtual memory (cumulated for all children) (KiB): 200576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 722.113 system time used= 2.67559 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49584 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 1578 runsolver used 0.645901 second user time and 2.00069 second system time The end
Begin job on node55 at 2009-06-17 20:28:54 IDJOB=1885114 IDBENCH=72024 IDSOLVER=701 FILE ID=node55/1885114-1245263333 PBS_JOBID= 9372400 Free space on /tmp= 66456 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/explicit/em_9_3_5_exp.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885114-1245263333/watcher-1885114-1245263333 -o /tmp/evaluation-result-1885114-1245263333/solver-1885114-1245263333 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1885114-1245263333.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0bd0f9d908ebecb2772c8fa9a966a07f RANDOM SEED=1018287406 node55.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.213 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.213 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: 1876232 kB Buffers: 30572 kB Cached: 106584 kB SwapCached: 0 kB Active: 78912 kB Inactive: 71044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1876232 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7140 kB Writeback: 0 kB Mapped: 22580 kB Slab: 15788 kB Committed_AS: 52660 kB PageTables: 1364 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1885114-1245263333.opb Free space on /tmp at the end= 66452 MiB End job on node55 at 2009-06-17 20:40:59