Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 4375 | 1798.39 | 1798.89 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 4.71528 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
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-1879862-1245134460.opb 0.00/0.00 c File size is 111983 bytes. 0.00/0.01 c Highest Coefficient sum: 321831 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.014 s 0.00/0.01 c Var: 2756 Constr: 749 133/220/396 Lit: 8802 Watch. Lit: 4833 0.00/0.01 c Obj. Vars: 2166 (78.5922 % of total variables) 0.00/0.04 c Formula reductions applied at preprocessing 0.00/0.04 c Pre-processing Time: 0.045 s 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2630 725 8536 11 6097 15676 0 0 0.04 0.09/0.10 c Initial Lower Bound: 2702 0.09/0.10 c Initial Path Cost: 0 0.09/0.10 o 6158 10.89/10.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/10.99 c 3 2630 732 13734 18 7901 19838 7 28 0.11 10.89/10.99 o 5083 15.79/15.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.79/15.84 c 64 2630 855 79500 92 12104 19838 130 5 10.99 15.79/15.84 o 4937 20.59/20.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.59/20.66 c 64 2630 856 81581 95 14237 19838 131 4 15.84 20.59/20.66 o 4919 23.78/23.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.78/23.84 c 64 2630 857 83662 97 16392 19838 132 3 20.65 23.78/23.84 o 4911 28.18/28.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.18/28.27 c 64 2630 858 85743 99 18445 19838 133 2 23.84 28.18/28.27 o 4900 38.18/38.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.18/38.24 c 64 2630 859 87824 102 20323 19838 134 2 28.26 38.18/38.24 o 4895 41.18/41.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.18/41.28 c 66 2078 864 93606 108 26164 18778 139 1 38.23 41.18/41.28 o 4888 44.28/44.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 44.28/44.35 c 67 2078 867 95215 109 27629 18778 142 1 41.28 44.28/44.35 o 4855 48.17/48.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.17/48.27 c 67 2078 868 96766 111 29512 18778 143 1 44.34 48.17/48.27 o 4812 50.67/50.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.67/50.73 c 67 2078 869 98317 113 30861 18778 144 1 48.26 50.67/50.73 o 4811 52.98/53.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.98/53.09 c 67 2078 870 99868 114 32546 18778 145 1 50.72 52.98/53.09 o 4802 57.27/57.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.27/57.31 c 71 2078 878 106219 120 38530 18778 153 1 53.08 57.27/57.31 o 4593 60.07/60.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.07/60.16 c 71 2078 879 107770 122 40218 18778 154 1 57.30 60.07/60.16 o 4592 63.97/64.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.97/64.00 c 72 2078 882 109390 124 41736 18778 157 1 60.14 63.97/64.00 o 4577 67.87/67.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.87/67.90 c 74 2078 887 114181 128 44532 18778 162 1 63.99 67.87/67.90 o 4576 72.17/72.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.17/72.24 c 74 2078 888 115732 130 46065 18778 163 1 67.89 72.17/72.24 o 4467 76.47/76.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 76.47/76.51 c 75 2078 891 118871 133 49186 18778 166 1 72.22 76.47/76.51 o 4464 80.07/80.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.07/80.15 c 79 2078 900 124105 137 52354 18778 175 1 76.49 80.07/80.15 o 4459 83.66/83.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 83.66/83.72 c 85 2078 912 128868 141 53738 18778 187 1 80.14 83.66/83.72 o 4454 86.67/86.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 86.67/86.79 c 88 2078 919 137017 149 59054 18778 194 1 83.70 86.67/86.79 o 4452 88.97/89.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 88.97/89.05 c 88 2078 920 138568 150 60337 18778 195 1 86.77 88.97/89.05 o 4447 91.66/91.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.66/91.75 c 88 2078 921 140119 152 62469 18778 196 0 89.03 91.66/91.75 o 4446 94.66/94.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 94.66/94.78 c 88 2078 922 141670 153 63660 18778 197 0 91.73 94.66/94.78 o 4442 97.97/98.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 97.97/98.01 c 88 2078 923 143221 155 65098 18778 198 0 94.75 97.97/98.01 o 4439 101.36/101.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.36/101.47 c 89 2078 926 146367 158 68263 18778 201 0 97.99 101.36/101.47 o 4375 1798.30/1798.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.30/1798.81 c 92 2078 933 152850 163 71277 18778 208 0 101.44 1798.30/1798.81 c 193 2078 1170 310722 265 103693 20656 445 1 105.64 1798.30/1798.81 c 443 2078 1867 808147 432 188694 22722 1142 3 112.14 1798.30/1798.81 c 919 2078 3171 1745732 550 371572 24995 2446 7 126.07 1798.30/1798.81 c 1733 2078 5239 3425731 653 863953 27495 4514 11 157.10 1798.30/1798.81 c 3053 2078 8934 6098554 682 1300889 30245 8209 15 201.73 1798.30/1798.81 c 5135 2078 14720 10251249 696 1994196 33270 13995 18 281.21 1798.30/1798.81 c 8358 2078 21608 15851559 733 3777348 36598 20883 14 594.99 1798.30/1798.81 c 13294 2078 32794 24290413 740 5845879 40258 32069 7 1738.21 1798.30/1798.81 c Resources Exceeded 1798.30/1798.81 v -x1 -x1112 -x1980 -x2091 -x2202 x2313 -x2646 -x2 -x113 -x446 -x779 -x1001 -x1113 -x1224 x1335 -x1446 -x1557 -x1890 -x1969 -x1981 -x1992 -x2003 -x2014 -x2025 -x2036 -x2047 -x2058 x2069 -x2080 -x2114 -x2136 -x2147 -x2158 -x2169 -x2180 -x2191 -x2203 -x2214 -x2247 -x2269 -x2280 -x2291 -x2302 -x2314 x2325 -x2336 -x2369 -x2380 -x2391 -x2402 -x2425 -x2458 -x2469 -x2480 -x2491 -x2502 -x2513 -x2524 x2536 -x2569 -x2591 -x2602 -x2613 -x2624 -x2635 -x2647 -x2658 -x2669 -x2680 -x2691 -x2702 -x2735 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x114 -x136 -x147 -x158 -x169 -x180 -x191 -x213 -x225 x236 -x247 -x258 -x269 -x291 -x302 -x313 -x324 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x535 -x546 -x558 -x591 -x624 -x646 -x657 -x669 -x680 -x691 -x702 -x735 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x902 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1035 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1158 -x1169 -x1180 -x1191 -x1213 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1358 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1524 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 -x1657 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 -x1835 -x1846 -x1857 -x1868 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1954 -x1956 -x1957 -x1959 -x1960 -x1962 -x1963 -x1964 -x1965 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1982 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1993 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2005 -x2006 -x2007 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 -x2020 -x2023 -x2024 -x2026 -x2027 -x2029 -x2030 -x2031 -x2033 -x2034 -x2035 -x2038 -x2039 -x2040 -x2041 -x2043 -x2044 -x2045 -x2046 -x2048 -x2049 -x2050 -x2051 -x2054 -x2055 -x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2093 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2109 -x2110 -x2111 -x2112 -x2113 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2148 -x2149 -x2150 -x2151 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2160 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 x2168 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2179 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2190 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2204 -x2205 -x2206 -x2207 -x2210 -x2211 -x2212 -x2213 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2224 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 x2282 -x2283 -x2284 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2370 -x2371 -x2372 -x2373 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415 -x2416 -x2417 -x2418 -x2420 -x2423 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2437 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2448 -x2449 -x2450 -x2451 -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2481 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2531 -x2532 -x2533 -x2534 -x2537 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2568 -x2573 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2596 -x2598 -x2603 -x2607 -x2608 -x2610 -x2614 -x2615 -x2616 -x2617 -x2619 -x2620 -x2621 -x2622 -x2623 -x2625 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 -x2642 -x2643 -x2644 -x2645 -x2648 -x2652 -x2656 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2679 -x2684 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2698 -x2699 -x2700 -x2701 -x2703 -x2704 -x2705 -x2707 -x2708 -x2709 -x2712 -x2714 -x2715 -x2716 -x2718 -x2719 -x2721 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x4 -x5 -x6 -x7 -x8 -x9 -x12 -x16 -x17 -x18 -x19 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x53 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x163 -x164 -x165 -x166 -x167 -x168 -x172 -x175 -x176 -x177 -x178 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x389 -x390 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x429 -x431 -x432 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x449 -x450 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x508 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x530 -x531 -x532 x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x695 -x696 -x697 -x698 -x699 -x700 -x704 -x707 -x708 -x709 -x710 -x712 -x714 -x715 -x716 -x717 -x718 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x752 -x755 -x756 -x758 -x761 -x762 -x763 -x764 -x765 -x766 -x769 -x771 -x773 -x774 -x775 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x798 -x801 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 x827 -x828 -x829 -x830 -x833 -x834 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x847 -x850 -x851 -x852 -x853 -x855 -x856 -x858 -x859 -x860 -x861 -x863 -x864 -x865 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x893 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x941 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1144 -x1145 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1156 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1185 -x1187 -x1188 -x1189 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1231 -x1233 -x1234 -x1235 -x1237 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1262 -x1263 -x1264 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1305 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1333 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1379 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1408 -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1454 -x1456 -x1457 -x1459 -x1460 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1490 -x1492 -x1493 -x1494 -x1495 -x1497 -x1498 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1528 -x1530 -x1531 -x1532 -x1533 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1560 -x1561 -x1562 -x1563 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1647 -x1648 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 x1696 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x2424 -x2535 -x1744 -x91 -x102 -x125 -x1754 -x301 -x1854 -x1855 -x1856 -x1858 -x1859 -x388 -x392 -x1860 -x411 -x1861 -x428 -x430 -x433 -x434 -x436 -x1862 -x448 -x451 -x1863 -x471 -x1864 -x202 -x1755 -x490 -x1865 -x507 -x509 -x1866 -x529 -x1867 -x549 -x1869 -x570 -x1870 -x584 -x1871 -x604 -x1872 -x623 -x1873 -x643 -x1874 -x658 -x1875 -x280 -x1756 x678 -x1876 x693 -x694 -x1877 -x701 -x703 -x705 -x706 -x711 -x1878 -x719 -x720 -x1880 -x732 -x737 -x738 -x1881 -x751 -x753 -x754 -x759 -x760 -x1882 -x767 -x770 -x772 -x776 -x777 -x1883 -x787 -x788 -x1884 -x797 -x799 -x800 -x1885 -x814 x815 -x1886 -x336 -x1758 -x831 -x832 -x1887 -x845 -x848 -x849 x854 -x1888 -x862 -x866 -x1889 x881 -x882 -x1892 -x892 -x894 -x895 -x1893 -x908 x909 -x1894 x926 -x927 -x1895 -x940 -x942 -x943 -x1896 -x961 -x1897 x975 -x976 -x1898 -x424 -x1759 -x987 -x988 -x1899 x1003 -x1004 -x1900 -x1020 -x1021 -x1901 x1037 -x1038 -x1903 -x1055 -x1904 x1073 -x1074 -x1905 -x1088 x1089 -x1906 -x1907 -x1908 -x1117 -x1909 -x513 -x524 -x1760 -x1910 -x1143 -x1911 -x1154 -x1155 -x1157 -x1163 -x1912 -x1172 -x1914 -x1184 -x1186 -x1190 -x1192 -x1915 -x1201 -x1916 -x1217 -x1917 -x1229 -x1230 -x1232 -x1238 -x1918 -x1246 -x1919 -x1259 -x1261 -x1265 -x1266 -x1920 -x569 -x580 -x602 -x613 -x635 -x1761 -x1276 -x1921 -x1292 -x1922 -x1304 -x1306 -x1923 -x1320 -x1925 -x1332 -x1334 -x1926 -x1351 -x1927 -x1366 -x1928 -x1378 -x1381 -x1929 -x1395 -x1930 -x1407 -x1409 -x1931 -x713 -x724 -x746 -x1762 -x1425 -x1932 -x1440 -x1933 -x1452 -x1453 -x1455 -x1461 -x1934 -x1470 -x1936 -x1482 -x1484 -x1489 -x1937 -x1496 -x1499 -x1938 -x1515 -x1939 -x1526 -x1527 -x1529 -x1534 -x1940 -x1543 -x1941 -x1555 -x1559 -x1564 -x1942 -x879 x891 x913 -x1763 -x1574 -x1943 -x1593 -x1944 -x1610 -x1945 -x1630 -x1947 x1649 -x1948 -x1666 -x1949 -x1687 -x1950 -x1697 -x1951 -x1706 -x1952 -x1717 -x1953 -x1013 -x1024 x1046 -x1764 -x224 -x335 -x557 -x668 -x890 -x1745 -x1668 -x1779 -x1958 -x1747 -x2092 -x2103 x2125 -x1748 -x2225 -x2236 -x2258 -x1749 x2347 -x2358 -x1750 -x2413 -x2436 -x2447 -x1751 -x2547 x2558 -x2580 -x1752 -x2713 -x2724 -x2746 -x1753 -x1136 -x1147 -x1765 -x1202 x1225 -x1236 -x1766 -x1336 -x1347 -x1369 -x1767 -x1502 -x1513 -x1535 -x1769 -x1635 -x1646 -x1669 -x1770 -x1824 -x1772 x1879 -x1773 -x1961 -x1966 -x1967 -x1775 -x1983 -x1984 -x1776 -x1994 x1995 -x1777 x2008 -x2009 -x1778 -x2019 -x2021 -x2022 -x2028 -x1781 -x2032 -x2037 -x2042 -x1782 -x2052 -x2053 -x1783 x2067 -x2068 -x1784 -x2078 -x2079 -x1785 x2094 -x2095 -x1786 -x2107 x2108 -x1787 -x2122 -x1788 -x1789 -x1790 -x2153 -x1792 -x2161 -x1793 -x2177 -x2178 -x1794 -x2188 -x2189 -x1795 x2208 -x2209 -x1796 -x2223 x2226 -x2227 -x1797 -x2241 -x1798 x2255 -x2256 -x1799 -x2266 -x2267 -x1800 -x2285 x2286 -x1801 -x2303 -x2304 -x1803 -x2319 -x1804 -x1805 -x1806 -x2350 -x1807 -x1808 -x2368 -x2374 x2375 -x1809 -x2385 -x2386 -x1810 -x1746 -x1771 x2404 -x2405 -x1811 -x2419 -x2421 -x2422 -x1812 -x2438 -x1814 x2452 -x2453 -x1815 -x2463 -x2464 -x1816 -x2482 x2483 -x1817 -x2499 x2500 -x1818 -x2515 -x1819 -x2529 -x2530 -x1820 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2549 -x1821 -x2557 -x2559 -x1822 -x2565 -x2566 -x2567 -x2570 -x2571 -x2572 -x2574 -x2575 -x2576 -x1823 -x2585 -x2586 -x1825 -x2594 -x2595 -x2597 -x2599 -x2600 -x2601 -x2604 -x2605 -x2606 -x1826 -x2609 -x2611 -x2612 -x2618 -x1827 -x2626 -x1828 -x2640 -x2641 -x1829 -x2649 -x2650 -x2651 -x2653 -x2654 -x2655 -x2657 -x2659 -x2660 -x1830 -x2668 -x2670 -x1831 -x2677 -x2678 -x2681 -x2682 -x2683 -x2685 -x2686 -x2687 -x1832 x2696 -x2697 -x1833 -x2706 -x2710 -x2711 -x2717 -x1834 -x2720 -x2722 -x2723 -x1836 -x2737 -x1837 -x2755 -x2756 -x1838 -x10 -x11 -x13 -x15 -x20 -x1839 -x33 -x34 -x1840 -x52 -x54 -x55 -x1841 x78 -x79 -x1842 x101 -x103 -x1843 -x1955 -x1774 -x119 x120 -x1844 -x142 -x1845 x161 -x162 -x1847 -x170 -x171 -x173 -x174 -x179 -x1848 -x193 -x194 -x1849 -x211 -x214 -x215 -x1850 -x239 -x240 -x1851 -x262 -x263 -x1852 -x278 -x279 -x1853 1798.30/1798.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.30/1798.81 c 34 13464 517 46832 33129 24566506 32404 7 1798.32 1798.30/1798.81 c Objective: 4375 1798.30/1798.81 s SATISFIABLE 1798.30/1798.81 c Total time: 1798.32 s
OK 4375
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879862-1245134460/watcher-1879862-1245134460 -o /tmp/evaluation-result-1879862-1245134460/solver-1879862-1245134460 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879862-1245134460.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: 0.92 0.98 0.98 3/65 2135 /proc/meminfo: memFree=1739168/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=18664 CPUtime=0 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 169972477 19111936 253 1992294400 134512640 137136520 4294956256 18446744073709551615 134598757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 4666 254 175 640 0 3994 0 [startup+0.0988741 s] /proc/loadavg: 0.92 0.98 0.98 3/65 2135 /proc/meminfo: memFree=1739168/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=13296 CPUtime=0.08 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 876 0 0 0 8 0 0 0 20 0 1 0 169972477 13615104 778 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3324 778 283 640 0 2680 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13296 [startup+0.101874 s] /proc/loadavg: 0.92 0.98 0.98 3/65 2135 /proc/meminfo: memFree=1739168/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=13296 CPUtime=0.09 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 880 0 0 0 9 0 0 0 20 0 1 0 169972477 13615104 782 1992294400 134512640 137136520 4294956256 18446744073709551615 135463111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3324 782 283 640 0 2680 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13296 [startup+0.301893 s] /proc/loadavg: 0.92 0.98 0.98 3/65 2135 /proc/meminfo: memFree=1739168/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=13444 CPUtime=0.29 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7671 0 0 0 27 2 0 0 22 0 1 0 169972477 13766656 803 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3361 803 290 640 0 2717 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13444 [startup+0.701931 s] /proc/loadavg: 0.92 0.98 0.98 3/65 2135 /proc/meminfo: memFree=1739168/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=11888 CPUtime=0.69 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 21531 0 0 0 64 5 0 0 25 0 1 0 169972477 12173312 662 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 2972 662 290 640 0 2328 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11888 [startup+1.50201 s] /proc/loadavg: 0.92 0.98 0.98 2/66 2136 /proc/meminfo: memFree=1737048/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=12044 CPUtime=1.49 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 54881 0 0 0 135 14 0 0 25 0 1 0 169972477 12333056 689 1992294400 134512640 137136520 4294956256 18446744073709551615 134907650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3011 689 290 640 0 2367 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12044 [startup+3.10216 s] /proc/loadavg: 0.92 0.98 0.98 2/66 2136 /proc/meminfo: memFree=1736664/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=13460 CPUtime=3.09 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 77235 0 0 0 288 21 0 0 25 0 1 0 169972477 13783040 888 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3365 888 290 640 0 2721 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13460 [startup+6.30146 s] /proc/loadavg: 0.93 0.98 0.98 2/66 2136 /proc/meminfo: memFree=1736416/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=14272 CPUtime=6.29 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 110085 0 0 0 596 33 0 0 25 0 1 0 169972477 14614528 1047 1992294400 134512640 137136520 4294956256 18446744073709551615 135249202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3568 1047 290 640 0 2924 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14272 [startup+12.7011 s] /proc/loadavg: 1.01 1.00 0.98 2/66 2136 /proc/meminfo: memFree=1735904/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=12840 CPUtime=12.69 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 294448 0 0 0 1182 87 0 0 25 0 1 0 169972477 13148160 901 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3210 901 291 640 0 2566 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12840 [startup+25.5013 s] /proc/loadavg: 1.01 1.00 0.98 2/66 2136 /proc/meminfo: memFree=1735904/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=14484 CPUtime=25.48 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 787201 0 0 0 2319 229 0 0 25 0 1 0 169972477 14831616 1066 1992294400 134512640 137136520 4294956256 18446744073709551615 135438606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3621 1066 291 640 0 2977 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14484 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.98 2/66 2136 /proc/meminfo: memFree=1735072/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=15028 CPUtime=51.08 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 1775577 0 0 0 4589 519 0 0 25 0 1 0 169972477 15388672 1210 1992294400 134512640 137136520 4294956256 18446744073709551615 134732473 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3757 1214 291 640 0 3113 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15028 [startup+102.305 s] /proc/loadavg: 1.08 1.03 0.99 2/66 2136 /proc/meminfo: memFree=1733408/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=15500 CPUtime=102.26 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 3724686 0 0 0 9136 1090 0 0 25 0 1 0 169972477 15872000 1560 1992294400 134512640 137136520 4294956256 18446744073709551615 135258679 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 3875 1560 291 640 0 3231 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 15500 [startup+162.301 s] /proc/loadavg: 1.07 1.03 1.00 2/66 2136 /proc/meminfo: memFree=1669856/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=79852 CPUtime=162.24 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 4514827 0 0 0 14857 1367 0 0 25 0 1 0 169972477 81768448 17655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 19963 17655 292 640 0 19319 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 79852 [startup+222.302 s] /proc/loadavg: 1.02 1.03 1.00 2/66 2136 /proc/meminfo: memFree=1611040/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=137920 CPUtime=222.23 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 5088851 0 0 0 20648 1575 0 0 25 0 1 0 169972477 141230080 32172 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 34480 32172 292 640 0 33836 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 137920 [startup+282.301 s] /proc/loadavg: 1.01 1.02 1.00 2/66 2136 /proc/meminfo: memFree=1558432/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=190920 CPUtime=282.21 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 5578783 0 0 0 26463 1758 0 0 25 0 1 0 169972477 195502080 45247 1992294400 134512640 137136520 4294956256 18446744073709551615 135375197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 47730 45247 292 640 0 47086 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 190920 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/66 2136 /proc/meminfo: memFree=1522912/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=225764 CPUtime=342.2 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 5833527 0 0 0 32366 1854 0 0 25 0 1 0 169972477 231182336 54133 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 56441 54133 292 640 0 55797 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 225764 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/66 2136 /proc/meminfo: memFree=1499552/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=249212 CPUtime=402.18 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 5976007 0 0 0 38311 1907 0 0 25 0 1 0 169972477 255193088 59994 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 62303 59994 292 640 0 61659 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 249212 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2136 /proc/meminfo: memFree=1478624/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=269760 CPUtime=462.16 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 6100174 0 0 0 44263 1953 0 0 25 0 1 0 169972477 276234240 65132 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 67440 65132 292 640 0 66796 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 269760 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2136 /proc/meminfo: memFree=1462048/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=286512 CPUtime=522.14 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 6196941 0 0 0 50224 1990 0 0 25 0 1 0 169972477 293388288 69320 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 71628 69320 292 640 0 70984 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 286512 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2136 /proc/meminfo: memFree=1447328/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=301012 CPUtime=582.13 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 6274020 0 0 0 56192 2021 0 0 25 0 1 0 169972477 308236288 72945 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 75253 72945 292 640 0 74609 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 301012 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2136 /proc/meminfo: memFree=1434848/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=313236 CPUtime=642.11 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 6387633 0 0 0 62154 2057 0 0 25 0 1 0 169972477 320753664 76001 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 78309 76001 292 640 0 77665 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 313236 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1352480/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=395424 CPUtime=1121.98 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 6907719 0 0 0 109947 2251 0 0 25 0 1 0 169972477 404914176 96548 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 98856 96548 292 640 0 98212 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 395424 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2136 /proc/meminfo: memFree=1343328/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=404532 CPUtime=1181.97 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 6967860 0 0 0 115926 2271 0 0 25 0 1 0 169972477 414240768 98825 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 101133 98825 292 640 0 100489 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 404532 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1336608/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=411152 CPUtime=1241.94 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7009461 0 0 0 121906 2288 0 0 25 0 1 0 169972477 421019648 100480 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 102788 100480 292 640 0 102144 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 411152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1330720/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=417032 CPUtime=1301.93 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7055935 0 0 0 127890 2303 0 0 25 0 1 0 169972477 427040768 101926 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 104258 101926 292 640 0 103614 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 417032 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1323552/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=424160 CPUtime=1361.92 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7111039 0 0 0 133868 2324 0 0 25 0 1 0 169972477 434339840 103732 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 106040 103732 292 640 0 105396 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 424160 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1316768/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=430856 CPUtime=1421.9 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7156289 0 0 0 139850 2340 0 0 25 0 1 0 169972477 441196544 105406 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 107714 105406 292 640 0 107070 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 430856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1309920/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=437764 CPUtime=1481.88 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7206717 0 0 0 145830 2358 0 0 25 0 1 0 169972477 448270336 107133 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 109441 107133 292 640 0 108797 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 437764 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1304800/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=442808 CPUtime=1541.86 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7244644 0 0 0 151814 2372 0 0 25 0 1 0 169972477 453435392 108394 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 110702 108394 292 640 0 110058 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 442808 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1300896/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=446652 CPUtime=1601.85 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7275703 0 0 0 157800 2385 0 0 25 0 1 0 169972477 457371648 109355 1992294400 134512640 137136520 4294956256 18446744073709551615 134543858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 111663 109355 292 640 0 111019 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 446652 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1295200/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=452288 CPUtime=1661.84 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7308050 0 0 0 163785 2399 0 0 25 0 1 0 169972477 463142912 110764 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 113072 110764 292 640 0 112428 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 452288 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1288352/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=459072 CPUtime=1721.82 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7347743 0 0 0 169767 2415 0 0 25 0 1 0 169972477 470089728 112460 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 114768 112460 292 640 0 114124 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 459072 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1282144/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=465396 CPUtime=1781.8 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7405214 0 0 0 175745 2435 0 0 25 0 1 0 169972477 476565504 114030 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 116349 114030 292 640 0 115705 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 465396 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1281568/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=465848 CPUtime=1791.4 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7408079 0 0 0 176704 2436 0 0 25 0 1 0 169972477 477028352 114154 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 116462 114154 292 640 0 115818 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 465848 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1281120/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=466332 CPUtime=1794.6 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7410151 0 0 0 177023 2437 0 0 25 0 1 0 169972477 477523968 114275 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 116583 114275 292 640 0 115939 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 466332 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1280800/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=466688 CPUtime=1796.2 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7411144 0 0 0 177182 2438 0 0 25 0 1 0 169972477 477888512 114364 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 116672 114364 292 640 0 116028 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 466688 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1280736/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=466688 CPUtime=1797 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7411831 0 0 0 177262 2438 0 0 25 0 1 0 169972477 477888512 114364 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 116672 114364 292 640 0 116028 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 466688 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1280736/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=466904 CPUtime=1797.8 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7411955 0 0 0 177342 2438 0 0 25 0 1 0 169972477 478109696 114418 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 116726 114418 292 640 0 116082 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 466904 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1280544/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=466904 CPUtime=1798.2 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7412043 0 0 0 177382 2438 0 0 25 0 1 0 169972477 478109696 114418 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 116726 114418 292 640 0 116082 0 Current children cumulated CPU time (s) 1798.2 Current children cumulated vsize (KiB) 466904 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2142 /proc/meminfo: memFree=1280544/2055920 swapFree=4192812/4192956 [pid=2135] ppid=2133 vsize=466904 CPUtime=1798.3 /proc/2135/stat : 2135 (bsolo) R 2133 2135 1941 0 -1 4194304 7412043 0 0 0 177392 2438 0 0 25 0 1 0 169972477 478109696 114418 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2135/statm: 116726 114418 292 640 0 116082 0 Current children cumulated CPU time (s) 1798.3 Current children cumulated vsize (KiB) 466904 Child status: 0 Real time (s): 1798.89 CPU time (s): 1798.39 CPU user time (s): 1773.94 CPU system time (s): 24.4573 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 467832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.94 system time used= 24.4573 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7412141 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= 2 involuntary context switches= 2957 runsolver used 1.9767 second user time and 4.49732 second system time The end
Begin job on node8 at 2009-06-16 08:41:00 IDJOB=1879862 IDBENCH=1871 IDSOLVER=701 FILE ID=node8/1879862-1245134460 PBS_JOBID= 9363715 Free space on /tmp= 66316 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879862-1245134460/watcher-1879862-1245134460 -o /tmp/evaluation-result-1879862-1245134460/solver-1879862-1245134460 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879862-1245134460.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=84780796 node8.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.234 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.234 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1739648 kB Buffers: 46108 kB Cached: 182916 kB SwapCached: 0 kB Active: 65668 kB Inactive: 178212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1739648 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4048 kB Writeback: 0 kB Mapped: 24628 kB Slab: 58216 kB Committed_AS: 166696 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66312 MiB End job on node8 at 2009-06-16 09:10:59