Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 82260 | 1798.1 | 1798.65 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb |
MD5SUM | dccfffd22c38fcd3c497d688dab4b7a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 79541 |
Best CPU time to get the best result obtained on this benchmark | 1800.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 79290 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 559660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 559660 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656585-1276399758.opb 0.00/0.00 c File size is 3055321 bytes. 0.39/0.50 c Highest Coefficient sum: 559660 0.39/0.50 c Parsing was ok!! 0.39/0.50 c Total parsing time: 0.499 s 0.49/0.51 c Var: 2700 Constr: 43070 20670/800/21600 Lit: 312360 Watch. Lit: 96380 0.49/0.51 c Obj. Vars: 900 (33.3333 % of total variables) 1.49/1.56 c Pre-processing Time: 1.56 s 1.49/1.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.56 c 0 2700 43070 312360 7 182780 564890 0 0 1.56 1.49/1.56 c Switching off lower bounding mode. 3.59/3.67 c 105 2700 43206 324204 7 191226 621380 136 64 1.63 3.59/3.67 c 257 2700 43374 335258 7 192942 683519 304 154 1.67 3.59/3.67 c 482 2700 43665 363153 8 190997 751871 595 273 1.76 3.59/3.67 c 821 2700 44038 390250 8 190497 827059 968 434 1.89 3.59/3.67 c 1329 2700 44588 506799 11 192814 909765 1518 525 2.53 3.59/3.67 c 2093 2700 45408 670493 14 194465 500000 2338 587 3.56 3.59/3.67 o 89687 7.79/7.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.79/7.85 c 2189 2700 45511 678491 14 195895 566690 2441 595 3.67 7.79/7.85 c 2289 2700 45616 685744 15 197183 623360 2546 607 3.77 7.79/7.85 c 2539 2700 45888 715327 15 195864 685697 2818 629 4.03 7.79/7.85 c 3015 2700 46394 754519 16 192753 754267 3324 671 4.49 7.79/7.85 c 3829 2700 47264 847144 17 196897 829694 4194 675 5.67 7.79/7.85 o 89148 8.49/8.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.54 c 4561 2700 48085 1109269 23 195395 566690 5015 580 7.86 8.49/8.54 c 4661 2700 48206 1117443 23 197350 623360 5136 583 7.99 8.49/8.54 c 4912 2700 48469 1138468 23 199137 685697 5399 587 8.36 8.49/8.54 o 88030 11.19/11.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.19/11.26 c 5041 2700 48607 1151354 23 199421 566690 5537 589 8.55 11.19/11.26 c 5143 2700 48725 1178751 24 199442 623360 5655 589 8.73 11.19/11.26 c 5394 2700 48997 1221711 24 199351 685697 5927 592 9.11 11.19/11.26 c 5869 2700 49511 1264211 25 205973 754267 6441 600 9.77 11.19/11.26 c 6683 2700 50477 1403131 27 206610 829694 7407 627 10.64 11.19/11.26 o 87511 12.18/12.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.18/12.20 c 6915 2700 50741 1463474 28 207569 566690 7671 613 11.27 12.18/12.20 c 7015 2700 50871 1471711 28 207130 623360 7801 616 11.37 12.18/12.20 c 7265 2700 51169 1489035 29 207342 685697 8099 626 11.60 12.18/12.20 o 86907 12.79/12.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.79/12.87 c 7514 2700 51449 1546827 30 210481 566690 8379 615 12.20 12.79/12.87 c 7614 2700 51582 1552283 30 208994 623360 8512 619 12.29 12.79/12.87 c 7864 2700 51895 1570662 30 210710 685697 8825 629 12.50 12.79/12.87 o 86831 20.89/20.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.89/20.94 c 8099 2700 52171 1597386 30 210911 566690 9101 629 12.87 20.89/20.94 c 8199 2700 52293 1605167 30 211811 623360 9223 629 13.02 20.89/20.94 c 8450 2700 52562 1635599 31 210733 685697 9492 634 13.32 20.89/20.94 c 8926 2700 53078 1779286 33 210684 754267 10008 613 14.54 20.89/20.94 c 9741 2700 53995 1945519 36 213305 829694 10925 609 15.97 20.89/20.94 c 11062 2700 55453 2178373 39 214454 912664 12383 610 18.11 20.89/20.94 o 86305 34.58/34.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.58/34.68 c 11993 2700 56499 2442290 43 219880 566690 13429 572 20.94 34.58/34.68 c 12094 2700 56630 2446569 43 219692 623360 13560 575 21.03 34.58/34.68 c 12344 2700 56951 2459804 43 219542 685697 13881 582 21.19 34.58/34.68 c 12820 2700 57508 2488878 43 220839 754267 14438 592 21.62 34.58/34.68 c 13633 2700 58421 2770490 47 225747 829694 15351 547 24.91 34.58/34.68 c 14953 2700 59950 3322549 55 227188 912664 16880 479 31.21 34.58/34.68 c 17034 2700 62616 3497852 55 230705 500000 19546 509 33.46 34.58/34.68 o 83465 764.05/764.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 764.05/764.30 c 18101 2700 63931 3569192 55 236486 566690 20861 522 34.67 764.05/764.30 c 18201 2700 64038 3581043 55 238216 623360 20968 520 34.98 764.05/764.30 c 18452 2700 64319 3620402 56 238940 685697 21249 515 35.82 764.05/764.30 c 18928 2700 64839 3830473 59 238061 754267 21769 489 38.70 764.05/764.30 c 19742 2700 65797 4041116 61 241641 829694 22727 474 41.60 764.05/764.30 c 21063 2700 67350 4433357 65 247701 912664 24280 441 47.67 764.05/764.30 c 23144 2700 69749 5160327 73 255581 500000 26679 396 58.34 764.05/764.30 c 26367 2700 74069 5818372 78 261267 550001 30999 389 67.68 764.05/764.30 c 31303 2700 79842 7785983 97 276628 605002 36772 309 101.09 764.05/764.30 c 38809 2700 88828 11140207 125 302951 665503 45758 244 158.85 764.05/764.30 c 50172 2700 102284 15310150 149 350109 732054 59214 208 240.94 764.05/764.30 c 67318 2700 124310 29282138 235 397849 805260 81240 130 513.95 764.05/764.30 o 83291 1144.15/1144.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1144.15/1144.56 c 82210 2700 143176 40264582 281 445631 566690 100106 107 764.07 1144.15/1144.56 c 82312 2700 143297 40273748 281 445958 623360 100227 107 765.43 1144.15/1144.56 c 82564 2700 143567 40303545 280 444727 685697 100497 107 766.15 1144.15/1144.56 c 83039 2700 144099 40429743 280 443390 754267 101029 107 771.77 1144.15/1144.56 c 83855 2700 145036 40587785 279 444338 829694 101966 107 777.31 1144.15/1144.56 c 85179 2700 146669 41117319 280 450234 912664 103599 107 793.63 1144.15/1144.56 c 87260 2700 149109 41840691 280 457983 500000 106039 105 828.31 1144.15/1144.56 c 90483 2700 152810 42717835 279 465909 550001 109740 106 850.10 1144.15/1144.56 c 95420 2700 158932 45366987 285 481661 605002 115862 102 931.66 1144.15/1144.56 c 102926 2700 168333 51110508 303 508763 665503 125263 93 1097.70 1144.15/1144.56 o 82260 1797.95/1798.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.56 c 105444 2700 171338 52531511 306 517754 566690 128268 92 1144.22 1797.95/1798.56 c 105544 2700 171464 52538892 306 517361 623360 128394 92 1145.27 1797.95/1798.56 c 105796 2700 171761 52579518 306 518226 685697 128691 92 1149.59 1797.95/1798.56 c 106271 2700 172333 52738241 306 518420 754267 129263 91 1157.61 1797.95/1798.56 c 107084 2700 173274 52908965 305 520744 829694 130204 91 1169.66 1797.95/1798.56 c 108404 2700 174783 53306104 304 528561 912664 131713 90 1192.95 1797.95/1798.56 c 110485 2700 177228 53870118 303 540028 500000 134158 90 1224.27 1797.95/1798.56 c 113708 2700 181042 55306711 305 536707 550001 137972 88 1282.20 1797.95/1798.56 c 118645 2700 186903 57271555 306 561434 605002 143833 86 1366.48 1797.95/1798.56 c 126151 2700 196184 62298449 317 584965 665503 153114 82 1526.39 1797.95/1798.56 c 137513 2700 210050 68523212 326 623258 732054 166980 77 1769.26 1797.95/1798.56 c Resources Exceeded 1797.95/1798.56 v x1801 -x1802 -x1803 x1804 x1805 -x1806 x1807 -x1808 x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 x1900 -x1901 x1902 -x1903 -x1904 -x1905 x1906 -x1907 x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 x2002 x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 x2100 x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 x2198 x2199 -x2200 -x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 x2299 x2300 x2301 -x2302 x2303 -x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 x2398 x2399 x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 x2498 x2499 x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 x2593 x2594 -x2595 x2596 -x2597 x2598 -x2599 x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 x2696 -x2697 x2698 x2699 x2700 -x2 -x102 -x202 -x302 x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302 -x1402 -x1502 -x1602 -x1702 -x3 -x103 -x203 -x303 -x403 x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 -x1503 -x1603 -x1703 -x4 -x104 -x204 -x304 -x404 -x504 x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 -x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 x1705 -x6 x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 -x1706 -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 x907 -x1007 -x1107 -x1207 -x1307 -x1407 -x1507 -x1607 -x1707 -x8 -x108 -x208 -x308 -x408 -x508 -x608 -x708 x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 -x409 -x509 -x609 -x709 -x809 -x909 x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 -x310 -x410 -x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 x1410 -x1510 -x1610 -x1710 -x11 -x111 -x211 -x311 -x411 -x511 -x611 x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 x213 -x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 -x714 -x814 -x914 -x1014 -x1114 x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 -x715 -x815 -x915 -x1015 -x1115 -x1215 x1315 -x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 -x1016 -x1116 -x1216 -x1316 x1416 -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 -x617 -x717 x817 -x917 -x1017 -x1117 -x1217 -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 x518 -x618 -x718 -x818 -x918 -x1018 -x1118 -x1218 -x1318 -x1418 -x1518 -x1618 -x1718 -x19 x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419 -x1519 -x1619 -x1719 x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121 -x221 x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 -x1521 -x1621 -x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 -x1622 -x1722 -x24 -x124 -x224 -x324 -x424 -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 x1724 -x25 -x125 -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 -x326 -x426 -x526 -x626 -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 x1626 -x1726 -x27 -x127 -x227 -x327 -x427 -x527 -x627 -x727 -x827 -x927 -x1027 -x1127 -x1227 -x1327 x1427 -x1527 -x1627 -x1727 -x28 -x128 -x228 -x328 -x428 -x528 -x628 x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 -x529 -x629 -x729 -x829 -x929 -x1029 -x1129 -x1229 x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 -x330 -x430 -x530 -x630 -x730 x830 -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 -x531 -x631 -x731 -x831 -x931 -x1031 -x1131 -x1231 x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 -x1432 -x1532 x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 x1033 -x1133 -x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x35 -x135 x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 -x1335 -x1435 -x1535 -x1635 -x1735 -x36 -x136 -x236 -x336 -x436 -x536 -x636 -x736 x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 -x1536 -x1636 -x1736 -x37 -x137 -x237 -x337 -x437 -x537 -x637 x737 -x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 -x1537 -x1637 -x1737 -x38 -x138 -x238 -x338 x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 -x1239 -x1339 x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 -x1340 -x1440 -x1540 -x1640 -x1740 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x42 -x142 -x242 -x342 -x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 x1542 -x1642 -x1742 x43 -x143 -x243 -x343 -x443 -x543 -x643 -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 -x244 -x344 -x444 -x544 -x644 -x744 -x844 x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 -x246 -x346 x446 -x546 -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 x347 -x447 -x547 -x647 -x747 -x847 -x947 -x1047 -x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 -x248 -x348 -x448 -x548 -x648 -x748 -x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 -x1548 x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 -x649 -x749 x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 x750 -x850 -x950 -x1050 -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 -x1151 -x1251 -x1351 -x1451 x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 x652 -x752 -x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452 -x1552 -x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 x1153 -x1253 -x1353 -x1453 -x1553 -x1653 -x1753 x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 -x954 -x1054 -x1154 -x1254 -x1354 -x1454 -x1554 -x1654 -x1754 -x55 -x155 -x255 -x355 -x455 -x555 -x655 -x755 -x855 -x955 x1055 -x1155 -x1255 -x1355 -x1455 -x1555 -x1655 -x1755 -x57 -x157 -x257 -x357 -x457 x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 -x1657 -x1757 -x58 -x158 -x258 x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 -x59 -x159 x259 -x359 -x459 -x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 -x1759 -x60 -x160 -x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 x261 -x361 -x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 -x62 -x162 -x262 -x362 -x462 -x562 -x662 -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 x1762 -x63 x163 -x263 -x363 -x463 -x563 -x663 -x763 -x863 -x963 -x1063 -x1163 -x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 -x364 -x464 -x564 -x664 -x764 -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 -x565 x665 -x765 -x865 -x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 -x1266 x1366 -x1466 -x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 -x968 x1068 -x1168 -x1268 -x1368 -x1468 -x1568 -x1668 -x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 -x769 -x869 -x969 -x1069 -x1169 -x1269 -x1369 -x1469 -x1569 x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 -x1070 x1170 -x1270 -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 -x971 -x1071 -x1171 x1271 -x1371 -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 x1172 -x1272 -x1372 -x1472 -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 -x473 -x573 -x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 x1573 -x1673 -x1773 -x74 x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 -x1574 -x1674 -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 -x1275 -x1375 x1475 -x1575 -x1675 -x1775 -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 -x876 x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 x77 -x177 -x277 -x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 -x1777 -x79 -x179 -x279 -x379 -x479 -x579 x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 -x1779 -x80 -x180 x280 -x380 -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 x81 -x181 -x281 -x381 -x481 -x581 -x681 -x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 x382 -x482 -x582 -x682 -x782 -x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 x483 -x583 -x683 -x783 -x883 -x983 -x1083 -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 x585 -x685 -x785 -x885 -x985 -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 x786 -x886 -x986 -x1086 -x1186 -x1286 -x1386 -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 -x887 -x987 -x1087 -x1187 x1287 -x1387 -x1487 -x1587 -x1687 -x1787 -x88 -x188 -x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 -x1388 -x1488 -x1588 -x1688 x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391 -x1491 -x1591 x1691 -x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 x1092 -x1192 -x1292 -x1392 -x1492 -x1592 -x1692 -x1792 -x93 -x193 -x293 -x393 -x493 -x593 x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793 -x94 -x194 -x294 -x394 -x494 x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x95 x195 -x295 -x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 -x1795 -x96 -x196 -x296 -x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 x1796 -x97 -x197 -x297 -x397 x497 -x597 -x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 -x498 -x598 -x698 -x798 -x898 -x998 -x1098 -x1198 -x1298 x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 -x899 x999 -x1099 -x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 -x12 -x112 -x212 x312 x412 -x512 x612 -x712 -x812 x912 x1012 x1112 -x1212 -x1312 -x1412 x1512 x1612 x1712 x23 x123 x223 -x323 x423 x523 x623 -x723 -x823 -x923 x1023 x1123 -x1223 -x1323 -x1423 x1523 -x1623 -x1723 x34 x134 -x234 -x334 -x434 x534 x634 -x734 -x834 x934 -x1034 x1134 x1234 -x1334 -x1434 x1534 -x1634 x1734 -x45 x145 x245 -x345 -x445 x545 x645 -x745 -x845 -x945 x1045 -x1145 x1245 x1345 x1445 -x1545 -x1645 x1745 -x56 x156 -x256 -x356 x456 -x556 -x656 x756 x856 x956 -x1056 -x1156 -x1256 x1356 x1456 -x1556 x1656 x1756 x67 -x167 -x267 x367 x467 x567 -x667 x767 x867 x967 -x1067 -x1167 x1267 -x1367 x1467 -x1567 -x1667 -x1767 -x78 -x178 -x278 x378 x478 x578 -x678 x778 x878 -x978 x1078 -x1178 -x1278 x1378 -x1478 -x1578 x1678 x1778 -x89 x189 x289 -x389 -x489 -x589 x689 -x789 x889 x989 x1089 -x1189 -x1289 x1389 x1489 -x1589 x1689 -x1789 x100 -x200 x300 x400 -x500 -x600 -x700 x800 x900 -x1000 -x1100 x1200 x1300 -x1400 x1500 x1600 -x1700 -x1800 x1 -x101 x201 x301 -x401 -x501 -x601 x701 -x801 -x901 -x1001 x1101 x1201 x1301 -x1401 x1501 x1601 -x1701 1797.95/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.56 c 71 141100 50291 645669 214658 68908433 171588 78 1798.01 1797.95/1798.56 c Objective: 82260 1797.95/1798.56 s SATISFIABLE 1797.95/1798.56 c Total time: 1798.01 s
OK 82260
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656585-1276399758/watcher-2656585-1276399758 -o /tmp/evaluation-result-2656585-1276399758/solver-2656585-1276399758 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656585-1276399758.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 1.00 3/106 19668 /proc/meminfo: memFree=1771420/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=13916 CPUtime=0 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 15579733 14249984 283 1992294400 134512640 137138936 4292659856 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 3479 283 176 642 0 2089 0 [startup+0.078304 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19668 /proc/meminfo: memFree=1771420/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=15280 CPUtime=0.07 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 802 0 0 0 7 0 0 0 20 0 1 0 15579733 15646720 721 1992294400 134512640 137138936 4292659856 18446744073709551615 134517613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 3820 722 277 642 0 2430 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15280 [startup+0.101306 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19668 /proc/meminfo: memFree=1771420/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=15692 CPUtime=0.09 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 956 0 0 0 9 0 0 0 20 0 1 0 15579733 16068608 875 1992294400 134512640 137138936 4292659856 18446744073709551615 136525315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 3923 875 313 642 0 2533 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15692 [startup+0.301325 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19668 /proc/meminfo: memFree=1771420/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=18492 CPUtime=0.29 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 1951 0 0 0 29 0 0 0 20 0 1 0 15579733 18935808 1870 1992294400 134512640 137138936 4292659856 18446744073709551615 134516218 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 4623 1870 624 642 0 3233 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18492 [startup+0.701363 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19668 /proc/meminfo: memFree=1771420/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=24560 CPUtime=0.69 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 4513 0 0 0 68 1 0 0 20 0 1 0 15579733 25149440 3686 1992294400 134512640 137138936 4292659856 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6140 3686 185 642 0 5496 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24560 [startup+1.50144 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19669 /proc/meminfo: memFree=1754300/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=24476 CPUtime=1.49 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 5227 0 0 0 143 6 0 0 23 0 1 0 15579733 25063424 3687 1992294400 134512640 137138936 4292659856 18446744073709551615 134540580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6119 3687 185 642 0 5475 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24476 [startup+3.10159 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19669 /proc/meminfo: memFree=1755540/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=27992 CPUtime=3.09 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 6798 0 0 0 301 8 0 0 25 0 1 0 15579733 28663808 4566 1992294400 134512640 137138936 4292659856 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6998 4566 192 642 0 6354 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27992 [startup+6.30189 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19669 /proc/meminfo: memFree=1750952/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=31620 CPUtime=6.29 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 7713 0 0 0 615 14 0 0 25 0 1 0 15579733 32378880 5481 1992294400 134512640 137138936 4292659856 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 7905 5481 192 642 0 7261 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31620 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19669 /proc/meminfo: memFree=1742148/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=39824 CPUtime=12.68 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 9765 0 0 0 1248 20 0 0 25 0 1 0 15579733 40779776 7533 1992294400 134512640 137138936 4292659856 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 9956 7533 192 642 0 9312 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 39824 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19669 /proc/meminfo: memFree=1725532/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=56128 CPUtime=25.48 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 13827 0 0 0 2519 29 0 0 25 0 1 0 15579733 57475072 11595 1992294400 134512640 137138936 4292659856 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 14032 11595 192 642 0 13388 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56128 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19669 /proc/meminfo: memFree=1701352/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=80264 CPUtime=51.07 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 19870 0 0 0 5069 38 0 0 25 0 1 0 15579733 82190336 17638 1992294400 134512640 137138936 4292659856 18446744073709551615 134599801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 20066 17638 192 642 0 19422 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 80264 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19671 /proc/meminfo: memFree=1658448/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=122568 CPUtime=102.26 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 30432 0 0 0 10174 52 0 0 25 0 1 0 15579733 125509632 28200 1992294400 134512640 137138936 4292659856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 30642 28200 192 642 0 29998 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 122568 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19673 /proc/meminfo: memFree=1613684/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=167812 CPUtime=162.23 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 41753 0 0 0 16161 62 0 0 25 0 1 0 15579733 171839488 39521 1992294400 134512640 137138936 4292659856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 41953 39521 192 642 0 41309 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 167812 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19675 /proc/meminfo: memFree=1572764/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=208296 CPUtime=222.21 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 51881 0 0 0 22146 75 0 0 25 0 1 0 15579733 213295104 49649 1992294400 134512640 137138936 4292659856 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 52074 49649 192 642 0 51430 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 208296 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19675 /proc/meminfo: memFree=1533084/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=248104 CPUtime=282.19 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 61826 0 0 0 28134 85 0 0 25 0 1 0 15579733 254058496 59594 1992294400 134512640 137138936 4292659856 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 62026 59594 192 642 0 61382 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 248104 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19677 /proc/meminfo: memFree=1496132/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=284688 CPUtime=342.18 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 70974 0 0 0 34126 92 0 0 25 0 1 0 15579733 291520512 68742 1992294400 134512640 137138936 4292659856 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 71172 68742 192 642 0 70528 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 284688 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19679 /proc/meminfo: memFree=1456204/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=324664 CPUtime=402.15 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 80961 0 0 0 40115 100 0 0 25 0 1 0 15579733 332455936 78728 1992294400 134512640 137138936 4292659856 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 81166 78728 192 642 0 80522 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 324664 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19681 /proc/meminfo: memFree=1413424/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=367196 CPUtime=462.14 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 91607 0 0 0 46108 106 0 0 25 0 1 0 15579733 376008704 89372 1992294400 134512640 137138936 4292659856 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 91799 89372 192 642 0 91155 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 367196 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19683 /proc/meminfo: memFree=1375480/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=405320 CPUtime=522.12 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 101131 0 0 0 52100 112 0 0 25 0 1 0 15579733 415047680 98892 1992294400 134512640 137138936 4292659856 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 101330 98892 192 642 0 100686 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 405320 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19683 /proc/meminfo: memFree=1339892/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=440464 CPUtime=582.11 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 109929 0 0 0 58091 120 0 0 25 0 1 0 15579733 451035136 107690 1992294400 134512640 137138936 4292659856 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 110116 107690 192 642 0 109472 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 440464 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19685 /proc/meminfo: memFree=1302444/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=477544 CPUtime=642.1 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 119194 0 0 0 64084 126 0 0 25 0 1 0 15579733 489005056 116955 1992294400 134512640 137138936 4292659856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 119386 116955 192 642 0 118742 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 477544 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1089288/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=690208 CPUtime=1121.95 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 172366 0 0 0 112024 171 0 0 25 0 1 0 15579733 706772992 170127 1992294400 134512640 137138936 4292659856 18446744073709551615 134618265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 172552 170127 192 642 0 171908 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 690208 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19699 /proc/meminfo: memFree=1069200/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=710128 CPUtime=1181.94 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 177323 0 0 0 118017 177 0 0 25 0 1 0 15579733 727171072 175084 1992294400 134512640 137138936 4292659856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 177532 175084 192 642 0 176888 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 710128 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19701 /proc/meminfo: memFree=1055560/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=723664 CPUtime=1241.92 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 180721 0 0 0 124009 183 0 0 25 0 1 0 15579733 741031936 178482 1992294400 134512640 137138936 4292659856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 180916 178482 192 642 0 180272 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 723664 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19703 /proc/meminfo: memFree=1035100/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=743716 CPUtime=1301.9 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 185741 0 0 0 130002 188 0 0 25 0 1 0 15579733 761565184 183502 1992294400 134512640 137138936 4292659856 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 185929 183502 192 642 0 185285 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 743716 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19705 /proc/meminfo: memFree=1015384/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=763708 CPUtime=1361.88 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 190726 0 0 0 135993 195 0 0 25 0 1 0 15579733 782036992 188487 1992294400 134512640 137138936 4292659856 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 190927 188487 192 642 0 190283 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 763708 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19707 /proc/meminfo: memFree=995048/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=783860 CPUtime=1421.87 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 195782 0 0 0 141986 201 0 0 25 0 1 0 15579733 802672640 193543 1992294400 134512640 137138936 4292659856 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 195965 193543 192 642 0 195321 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 783860 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19707 /proc/meminfo: memFree=963924/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=815212 CPUtime=1481.85 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 203611 0 0 0 147977 208 0 0 25 0 1 0 15579733 834777088 201371 1992294400 134512640 137138936 4292659856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 203803 201371 192 642 0 203159 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 815212 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19709 /proc/meminfo: memFree=946812/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=831992 CPUtime=1541.81 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 207790 0 0 0 153968 213 0 0 25 0 1 0 15579733 851959808 205550 1992294400 134512640 137138936 4292659856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 207998 205550 192 642 0 207354 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 831992 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19711 /proc/meminfo: memFree=931312/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=847560 CPUtime=1601.8 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 211690 0 0 0 159959 221 0 0 25 0 1 0 15579733 867901440 209450 1992294400 134512640 137138936 4292659856 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 211890 209450 192 642 0 211246 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 847560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19713 /proc/meminfo: memFree=914696/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=864052 CPUtime=1661.78 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 215817 0 0 0 165954 224 0 0 25 0 1 0 15579733 884789248 213577 1992294400 134512640 137138936 4292659856 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 216013 213577 192 642 0 215369 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 864052 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19715 /proc/meminfo: memFree=887912/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=891076 CPUtime=1721.76 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 222580 0 0 0 171948 228 0 0 25 0 1 0 15579733 912461824 220338 1992294400 134512640 137138936 4292659856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 222769 220338 192 642 0 222125 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 891076 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19715 /proc/meminfo: memFree=865468/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=912892 CPUtime=1781.74 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 228029 0 0 0 177941 233 0 0 25 0 1 0 15579733 934801408 225787 1992294400 134512640 137138936 4292659856 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 228223 225787 192 642 0 227579 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 912892 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19717 /proc/meminfo: memFree=863484/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=914720 CPUtime=1791.35 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 228487 0 0 0 178901 234 0 0 25 0 1 0 15579733 936673280 226245 1992294400 134512640 137138936 4292659856 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 228680 226245 192 642 0 228036 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 914720 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19717 /proc/meminfo: memFree=862864/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=915292 CPUtime=1794.54 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 228636 0 0 0 179220 234 0 0 25 0 1 0 15579733 937259008 226394 1992294400 134512640 137138936 4292659856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 228823 226394 192 642 0 228179 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 915292 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19717 /proc/meminfo: memFree=862740/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=915636 CPUtime=1796.14 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 228711 0 0 0 179380 234 0 0 25 0 1 0 15579733 937611264 226469 1992294400 134512640 137138936 4292659856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 228909 226469 192 642 0 228265 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 915636 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19717 /proc/meminfo: memFree=862492/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=915756 CPUtime=1796.93 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 228753 0 0 0 179459 234 0 0 25 0 1 0 15579733 937734144 226511 1992294400 134512640 137138936 4292659856 18446744073709551615 135984584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 228939 226511 192 642 0 228295 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 915756 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19717 /proc/meminfo: memFree=862492/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=916012 CPUtime=1797.74 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 228797 0 0 0 179539 235 0 0 25 0 1 0 15579733 937996288 226555 1992294400 134512640 137138936 4292659856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 229003 226555 192 642 0 228359 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 916012 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19717 /proc/meminfo: memFree=862244/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=916012 CPUtime=1797.95 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202496 228809 0 0 0 179560 235 0 0 25 0 1 0 15579733 937996288 226567 1992294400 134512640 137138936 4292659856 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 229003 226567 192 642 0 228359 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 916012 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19717 /proc/meminfo: memFree=862244/2059040 swapFree=4163504/4192956 [pid=19668] ppid=19666 vsize=0 CPUtime=1798.04 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 13161 0 -1 4202500 228810 0 0 0 179565 239 0 0 25 0 1 0 15579733 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/19668/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.1 CPU user time (s): 1795.66 CPU system time (s): 2.44163 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 916012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.66 system time used= 2.44163 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 228810 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= 1 involuntary context switches= 3627 runsolver used 2.99254 second user time and 8.46471 second system time The end
Begin job on node004 at 2010-06-13 05:29:19 IDJOB=2656585 IDBENCH=2011 IDSOLVER=1162 FILE ID=node004/2656585-1276399758 PBS_JOBID= 11173261 Free space on /tmp= 62536 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656585-1276399758/watcher-2656585-1276399758 -o /tmp/evaluation-result-2656585-1276399758/solver-2656585-1276399758 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656585-1276399758.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4 RANDOM SEED=1852355900 node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1771824 kB Buffers: 35760 kB Cached: 153428 kB SwapCached: 1724 kB Active: 123868 kB Inactive: 97056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1771824 kB SwapTotal: 4192956 kB SwapFree: 4163504 kB Dirty: 6860 kB Writeback: 12 kB AnonPages: 29988 kB Mapped: 14204 kB Slab: 44496 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182328 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node004 at 2010-06-13 05:59:17