Trace number 36811

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT346 1782.79 1783.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUM2821538067d8c071dc9bd4a000c6d040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark340
Best CPU time to get the best result obtained on this benchmark1782.81
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 340
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
1.29	c starting to Solve
1.29	c #variables read: 2700 - #constraints read: 43071
2.00	o 402
2.01	o 394
2.20	o 392
3.96	o 388
3.96	o 376
15.98	o 374
65.11	o 372
119.11	o 370
154.35	o 368
161.43	o 366
331.71	o 362
558.74	o 358
558.75	o 354
616.99	o 350
617.00	o 348
617.04	o 346
1783.32	c total time              : 1783 s
1783.32	s SATISFIABLE
1783.32	v x1801 x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818
1783.32	v -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836
1783.32	v x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854
1783.32	v -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872
1783.32	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
1783.32	v x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 x1906 x1907 x1908
1783.32	v -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926
1783.32	v -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944
1783.32	v -x1945 -x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962
1783.32	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
1783.32	v x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998
1783.32	v x1999 -x2000 x2001 x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016
1783.32	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1783.32	v -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051
1783.32	v x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069
1783.32	v -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086
1783.32	v -x2087 x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 x2101 -x2102 x2103 x2104
1783.32	v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122
1783.32	v -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1783.32	v -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157
1783.32	v -x2158 -x2159 x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175
1783.32	v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193
1783.32	v -x2194 -x2195 -x2196 x2197 x2198 -x2199 x2200 x2201 x2202 x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212
1783.32	v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230
1783.32	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248
1783.32	v -x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266
1783.32	v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284
1783.32	v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 -x2299 -x2300 x2301 x2302
1783.32	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319
1783.32	v -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337
1783.32	v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354
1783.32	v x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372
1783.32	v x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390
1783.32	v -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 x2399 x2400 -x2401 x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408
1783.32	v -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426
1783.32	v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444
1783.32	v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462
1783.32	v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479
1783.32	v -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 x2497
1783.32	v -x2498 x2499 x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515
1783.32	v -x2516 -x2517 -x2518 x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
1783.32	v -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551
1783.32	v x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1783.32	v -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 x2587
1783.32	v -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 x2595 -x2596 -x2597 -x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605
1783.32	v -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 x2622 -x2623
1783.32	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1783.32	v x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658
1783.32	v -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676
1783.32	v -x2677 -x2678 -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 x2694
1783.32	v -x2695 -x2696 -x2697 x2698 x2699 x2700 -x2 -x102 -x202 x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302
1783.32	v -x1402 -x1502 -x1602 -x1702 -x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403
1783.32	v -x1503 -x1603 -x1703 -x4 -x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 x1504
1783.32	v -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605
1783.32	v -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 -x1706
1783.32	v -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 -x1007 -x1107 -x1207 -x1307 x1407 -x1507 -x1607 -x1707 -x8 -x108
1783.32	v -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309
1783.32	v x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 -x310 -x410
1783.32	v x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 x11 -x111 -x211 -x311 -x411 -x511 -x611
1783.32	v -x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 -x513 -x613 -x713
1783.32	v -x813 -x913 -x1013 -x1113 -x1213 x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 x714 -x814 -x914
1783.32	v -x1014 -x1114 -x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 -x715 -x815 -x915 -x1015
1783.32	v -x1115 -x1215 -x1315 x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 x1016 -x1116
1783.32	v -x1216 -x1316 -x1416 -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 x617 -x717 -x817 -x917 -x1017 -x1117 -x1217
1783.32	v -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 x918 -x1018 -x1118 -x1218 -x1318
1783.32	v -x1418 -x1518 -x1618 -x1718 -x19 -x119 -x219 -x319 -x419 x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419
1783.32	v -x1519 -x1619 -x1719 -x20 -x120 x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 -x1420 -x1520
1783.32	v -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 -x1521 x1621
1783.32	v -x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 -x1622 x1722
1783.32	v -x24 -x124 -x224 -x324 -x424 -x524 x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 -x1724 -x25 x125
1783.32	v -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226
1783.32	v -x326 -x426 -x526 -x626 -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 x1426 -x1526 -x1626 -x1726 -x27 -x127 -x227 -x327
1783.32	v -x427 -x527 -x627 x727 -x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 x228 -x328 -x428 -x528
1783.32	v -x628 -x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 -x529 -x629
1783.32	v -x729 -x829 -x929 x1029 -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 x330 -x430 -x530 -x630 -x730 -x830
1783.32	v -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 x131 -x231 -x331 -x431 -x531 -x631 -x731 -x831 -x931
1783.32	v -x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032
1783.32	v -x1132 x1232 -x1332 -x1432 -x1532 -x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 x933 -x1033 -x1133
1783.32	v -x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x35 -x135 -x235 x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235
1783.32	v -x1335 -x1435 -x1535 -x1635 -x1735 -x36 -x136 -x236 -x336 x436 -x536 -x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336
1783.32	v -x1436 -x1536 -x1636 -x1736 -x37 -x137 -x237 -x337 -x437 -x537 -x637 -x737 x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437
1783.32	v -x1537 -x1637 -x1737 x38 -x138 -x238 -x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538
1783.32	v -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 -x1239 -x1339 x1439 -x1539 -x1639
1783.32	v -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 x1340 -x1440 -x1540 -x1640 -x1740
1783.32	v -x41 -x141 x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x42 -x142
1783.32	v -x242 -x342 x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 -x243
1783.32	v -x343 -x443 x543 -x643 -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 -x244 -x344
1783.32	v -x444 -x544 -x644 -x744 -x844 -x944 -x1044 x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 x46 -x146 -x246 -x346 -x446 -x546
1783.32	v -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647
1783.32	v -x747 -x847 -x947 -x1047 -x1147 -x1247 x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 -x248 -x348 -x448 -x548 -x648 -x748
1783.32	v -x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 x649 -x749 -x849 -x949
1783.32	v -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 x850 -x950 -x1050
1783.32	v -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 x1151
1783.32	v -x1251 -x1351 -x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 -x852 -x952 -x1052 -x1152 -x1252
1783.32	v -x1352 -x1452 -x1552 x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 x1253 -x1353
1783.32	v -x1453 -x1553 -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 -x954 -x1054 -x1154 -x1254 -x1354 -x1454
1783.32	v -x1554 -x1654 x1754 -x55 -x155 -x255 -x355 -x455 -x555 -x655 x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555
1783.32	v -x1655 -x1755 -x57 -x157 x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 -x1657
1783.32	v -x1757 -x58 -x158 -x258 -x358 -x458 x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758
1783.32	v -x59 -x159 -x259 -x359 -x459 -x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 x1359 -x1459 -x1559 -x1659 -x1759 -x60 -x160
1783.32	v -x260 -x360 -x460 -x560 x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 -x261
1783.32	v -x361 -x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 x1761 -x62 x162 -x262 -x362 -x462
1783.32	v -x562 -x662 -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563
1783.32	v -x663 -x763 -x863 -x963 -x1063 x1163 -x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 -x364 -x464 x564 -x664 -x764
1783.32	v -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 -x565 -x665 -x765 -x865
1783.32	v x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966
1783.32	v -x1066 -x1166 -x1266 -x1366 -x1466 x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 -x968 -x1068
1783.32	v -x1168 -x1268 -x1368 -x1468 -x1568 x1668 -x1768 x69 -x169 -x269 -x369 -x469 -x569 -x669 -x769 -x869 -x969 -x1069 -x1169
1783.32	v -x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 x1070 -x1170 -x1270
1783.32	v -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 x671 -x771 -x871 -x971 -x1071 -x1171 -x1271 -x1371
1783.32	v -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 x1172 -x1272 -x1372 -x1472
1783.32	v -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 x473 -x573 -x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573
1783.32	v -x1673 -x1773 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 x1074 -x1174 -x1274 -x1374 -x1474 -x1574 -x1674
1783.32	v -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 x1275 -x1375 -x1475 -x1575 -x1675 -x1775
1783.32	v -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177
1783.32	v -x277 x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 -x1777 -x79 -x179 -x279
1783.32	v -x379 -x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 x1779 -x80 -x180 -x280 -x380
1783.32	v -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 -x381 -x481
1783.32	v -x581 -x681 x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 -x482 -x582
1783.32	v -x682 -x782 x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 -x483 -x583 -x683
1783.32	v -x783 -x883 -x983 -x1083 -x1183 -x1283 -x1383 -x1483 x1583 -x1683 -x1783 -x84 -x184 x284 -x384 -x484 -x584 -x684 -x784 -x884
1783.32	v -x984 -x1084 -x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985
1783.32	v -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 x1685 -x1785 -x86 -x186 -x286 x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086
1783.32	v -x1186 -x1286 -x1386 -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 -x887 -x987 -x1087 -x1187
1783.32	v x1287 -x1387 -x1487 -x1587 -x1687 -x1787 -x88 x188 -x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288
1783.32	v -x1388 -x1488 -x1588 -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 x990 -x1090 -x1190 -x1290 -x1390
1783.32	v -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 x1291 -x1391 -x1491
1783.32	v -x1591 -x1691 -x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 x1592
1783.32	v -x1692 -x1792 x93 -x193 -x293 -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693
1783.32	v -x1793 -x94 -x194 -x294 -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 x1694 -x1794
1783.32	v -x95 -x195 -x295 -x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 x1795 -x96 x196
1783.32	v -x296 -x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297
1783.32	v -x397 x497 -x597 -x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398
1783.32	v -x498 -x598 -x698 x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 -x499
1783.32	v -x599 -x699 -x799 -x899 -x999 -x1099 x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 -x12 x112 -x212 x312 x412 -x512 -x612
1783.32	v -x712 x812 -x912 -x1012 x1112 x1212 -x1312 -x1412 x1512 x1612 x1712 x23 -x123 -x223 -x323 x423 x523 -x623 -x723 x823 x923
1783.32	v -x1023 x1123 x1223 x1323 -x1423 x1523 -x1623 -x1723 -x34 -x134 x234 -x334 -x434 x534 x634 x734 -x834 -x934 x1034 x1134 -x1234
1783.32	v -x1334 -x1434 x1534 x1634 x1734 -x45 x145 -x245 x345 -x445 -x545 -x645 x745 -x845 x945 x1045 -x1145 x1245 -x1345 x1445 -x1545
1783.32	v x1645 x1745 x56 x156 -x256 x356 x456 -x556 -x656 -x756 x856 x956 x1056 -x1156 -x1256 -x1356 x1456 x1556 -x1656 -x1756 -x67
1783.32	v -x167 x267 x367 x467 -x567 x667 x767 x867 -x967 -x1067 -x1167 x1267 x1367 x1467 -x1567 -x1667 -x1767 x78 x178 x278 -x378 -x478
1783.32	v x578 -x678 x778 -x878 x978 -x1078 -x1178 -x1278 x1378 -x1478 x1578 x1678 -x1778 x89 -x189 -x289 -x389 x489 x589 x689 -x789
1783.32	v -x889 -x989 x1089 x1189 -x1289 x1389 x1489 -x1589 -x1689 x1789 -x100 -x200 x300 x400 -x500 x600 x700 -x800 x900 x1000 x1100
1783.32	v -x1200 -x1300 x1400 x1500 -x1600 -x1700 -x1800 x1 x101 x201 -x301 -x401 -x501 x601 x701 -x801 -x901 -x1001 x1101 x1201 -x1301
1783.32	v -x1401 -x1501 x1601 x1701

Verifier Data (download as text)

OK	346

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node77/watcher-36811-1149400586 -o ROOT/results/node77/solver-36811-1149400586 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36811-1149400586/instance-36811-1149400586.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1840728/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=916 CPUtime=0
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 43 0 0 0 0 0 0 0 19 0 1 0 205697847 937984 28 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1463220 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 229 28 20 16 0 8 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1819624/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=23820 CPUtime=9.99
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 5555 0 0 0 995 4 0 0 25 0 1 0 205697847 24391680 5527 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 5955 5527 205 16 0 5395 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 23820

[startup+20.0089 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1809896/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=33732 CPUtime=19.99
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 8021 0 0 0 1993 6 0 0 25 0 1 0 205697847 34541568 7993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 8433 7993 205 16 0 7873 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 33732

[startup+30.0152 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1799528/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=44196 CPUtime=30
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 10633 0 0 0 2991 9 0 0 25 0 1 0 205697847 45256704 10605 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 11049 10605 205 16 0 10489 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 44196

[startup+40.0204 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1789160/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=54392 CPUtime=40
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 13202 0 0 0 3989 11 0 0 25 0 1 0 205697847 55697408 13174 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 13598 13174 205 16 0 13038 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 54392

[startup+50.0267 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1781800/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=61992 CPUtime=50
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 15058 0 0 0 4986 14 0 0 25 0 1 0 205697847 63479808 15030 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 15498 15030 205 16 0 14938 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 61992

[startup+60.0329 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1772904/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=70756 CPUtime=60.01
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 17273 0 0 0 5984 17 0 0 25 0 1 0 205697847 72454144 17245 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559578 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 17689 17245 205 16 0 17129 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 70756

[startup+70.0391 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1764840/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=78928 CPUtime=70.01
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 19301 0 0 0 6983 18 0 0 25 0 1 0 205697847 80822272 19273 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 19732 19273 205 16 0 19172 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 78928

[startup+80.0454 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=85636 CPUtime=80.01
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 7982 19 0 0 25 0 1 0 205697847 87691264 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 21409 20964 205 16 0 20849 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 85636

[startup+90.0516 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=85632 CPUtime=90.02
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 8982 20 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 21408 20964 205 16 0 20848 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 85632

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=85632 CPUtime=100.01
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 9981 20 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559524 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 21408 20964 205 16 0 20848 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 85632

[startup+110.063 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=85632 CPUtime=110.03
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 10981 22 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 21408 20964 205 16 0 20848 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 85632

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=85632 CPUtime=120.02
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 11980 22 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 21408 20964 205 16 0 20848 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 85632

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=85632 CPUtime=130.03
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 12981 22 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 21408 20964 205 16 0 20848 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 85632

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1750056/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=93540 CPUtime=140.03
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 22979 0 0 0 13979 24 0 0 25 0 1 0 205697847 95784960 22951 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 23385 22951 205 16 0 22825 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 93540

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1741608/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=101964 CPUtime=150.03
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 25089 0 0 0 14978 25 0 0 25 0 1 0 205697847 104411136 25061 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 25491 25061 205 16 0 24931 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 101964

[startup+160.093 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1733992/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=109704 CPUtime=160.04
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 27011 0 0 0 15977 27 0 0 25 0 1 0 205697847 112336896 26983 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 27426 26983 205 16 0 26866 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 109704

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1725992/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=117624 CPUtime=170.05
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 28987 0 0 0 16976 29 0 0 25 0 1 0 205697847 120446976 28959 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 29406 28959 205 16 0 28846 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 117624

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1717800/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=125808 CPUtime=180.05
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 31033 0 0 0 17975 30 0 0 25 0 1 0 205697847 128827392 31005 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532897 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 31452 31005 205 16 0 30892 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 125808

[startup+190.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1710056/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=133440 CPUtime=190.05
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 32964 0 0 0 18974 31 0 0 25 0 1 0 205697847 136642560 32936 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557393 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 33360 32936 205 16 0 32800 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 133440

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1708840/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=134672 CPUtime=200.05
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 33266 0 0 0 19973 32 0 0 25 0 1 0 205697847 137904128 33238 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 33668 33238 205 16 0 33108 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 134672

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17128
/proc/meminfo: memFree=1708840/2055892 swapFree=4085328/4096564

################
# More data... #
################

/proc/17128/statm: 59768 59267 206 16 0 59208 0
Current children cumulated CPU time (s) 1590.42
Current children cumulated vsize (Kb) 239072

[startup+1600.96 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17323
/proc/meminfo: memFree=1604328/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=239072 CPUtime=1600.42
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 59295 0 0 0 159943 99 0 0 25 0 1 0 205697847 244809728 59267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 59768 59267 206 16 0 59208 0
Current children cumulated CPU time (s) 1600.42
Current children cumulated vsize (Kb) 239072

[startup+1610.97 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17323
/proc/meminfo: memFree=1604328/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=239072 CPUtime=1610.42
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 59295 0 0 0 160943 99 0 0 25 0 1 0 205697847 244809728 59267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 59768 59267 206 16 0 59208 0
Current children cumulated CPU time (s) 1610.42
Current children cumulated vsize (Kb) 239072

[startup+1620.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17323
/proc/meminfo: memFree=1604328/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=239072 CPUtime=1620.43
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 59295 0 0 0 161943 100 0 0 25 0 1 0 205697847 244809728 59267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 59768 59267 206 16 0 59208 0
Current children cumulated CPU time (s) 1620.43
Current children cumulated vsize (Kb) 239072

[startup+1630.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17323
/proc/meminfo: memFree=1604264/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=239072 CPUtime=1630.43
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 59295 0 0 0 162943 100 0 0 25 0 1 0 205697847 244809728 59267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 59768 59267 206 16 0 59208 0
Current children cumulated CPU time (s) 1630.43
Current children cumulated vsize (Kb) 239072

[startup+1640.99 s]
/proc/loadavg: 1.07 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1600424/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=243024 CPUtime=1640.43
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 60253 0 0 0 163943 100 0 0 25 0 1 0 205697847 248856576 60225 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 60756 60225 206 16 0 60196 0
Current children cumulated CPU time (s) 1640.43
Current children cumulated vsize (Kb) 243024

[startup+1650.99 s]
/proc/loadavg: 1.06 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1594536/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=248828 CPUtime=1650.43
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 61730 0 0 0 164942 101 0 0 25 0 1 0 205697847 254799872 61702 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 62207 61702 206 16 0 61647 0
Current children cumulated CPU time (s) 1650.43
Current children cumulated vsize (Kb) 248828

[startup+1661 s]
/proc/loadavg: 1.05 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1587496/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=255996 CPUtime=1660.44
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 63494 0 0 0 165942 102 0 0 25 0 1 0 205697847 262139904 63466 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 63999 63466 206 16 0 63439 0
Current children cumulated CPU time (s) 1660.44
Current children cumulated vsize (Kb) 255996

[startup+1671.01 s]
/proc/loadavg: 1.04 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1580840/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=262612 CPUtime=1670.45
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 65147 0 0 0 166942 103 0 0 25 0 1 0 205697847 268914688 65119 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 65653 65119 206 16 0 65093 0
Current children cumulated CPU time (s) 1670.45
Current children cumulated vsize (Kb) 262612

[startup+1681.01 s]
/proc/loadavg: 1.04 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1574504/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=268904 CPUtime=1680.45
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 66732 0 0 0 167941 104 0 0 25 0 1 0 205697847 275357696 66704 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 67226 66704 206 16 0 66666 0
Current children cumulated CPU time (s) 1680.45
Current children cumulated vsize (Kb) 268904

[startup+1691.02 s]
/proc/loadavg: 1.03 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1568104/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=275280 CPUtime=1690.46
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 68325 0 0 0 168941 105 0 0 25 0 1 0 205697847 281886720 68297 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 68820 68297 206 16 0 68260 0
Current children cumulated CPU time (s) 1690.46
Current children cumulated vsize (Kb) 275280

[startup+1701.02 s]
/proc/loadavg: 1.03 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1562472/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=280844 CPUtime=1700.46
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 69726 0 0 0 169940 106 0 0 25 0 1 0 205697847 287584256 69698 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 70211 69698 206 16 0 69651 0
Current children cumulated CPU time (s) 1700.46
Current children cumulated vsize (Kb) 280844

[startup+1711.03 s]
/proc/loadavg: 1.02 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1557288/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=286032 CPUtime=1710.45
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 71028 0 0 0 170939 106 0 0 25 0 1 0 205697847 292896768 71000 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519910 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 71508 71000 206 16 0 70948 0
Current children cumulated CPU time (s) 1710.45
Current children cumulated vsize (Kb) 286032

[startup+1721.04 s]
/proc/loadavg: 1.02 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1551848/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=291468 CPUtime=1720.46
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 72384 0 0 0 171939 107 0 0 25 0 1 0 205697847 298463232 72356 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 72867 72356 206 16 0 72307 0
Current children cumulated CPU time (s) 1720.46
Current children cumulated vsize (Kb) 291468

[startup+1731.04 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1545896/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=297384 CPUtime=1730.47
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 73859 0 0 0 172939 108 0 0 25 0 1 0 205697847 304521216 73831 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 74346 73831 206 16 0 73786 0
Current children cumulated CPU time (s) 1730.47
Current children cumulated vsize (Kb) 297384

[startup+1741.05 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1540840/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=302552 CPUtime=1740.47
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 75138 0 0 0 173938 109 0 0 25 0 1 0 205697847 309813248 75110 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 75638 75110 206 16 0 75078 0
Current children cumulated CPU time (s) 1740.47
Current children cumulated vsize (Kb) 302552

[startup+1751.05 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1535400/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=307992 CPUtime=1750.48
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 76492 0 0 0 174937 111 0 0 25 0 1 0 205697847 315383808 76464 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 76998 76464 206 16 0 76438 0
Current children cumulated CPU time (s) 1750.48
Current children cumulated vsize (Kb) 307992

[startup+1761.06 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1529064/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=314192 CPUtime=1760.48
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 78065 0 0 0 175936 112 0 0 25 0 1 0 205697847 321732608 78037 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520147 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 78548 78037 206 16 0 77988 0
Current children cumulated CPU time (s) 1760.48
Current children cumulated vsize (Kb) 314192

[startup+1771.07 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1523816/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=319488 CPUtime=1770.48
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 79373 0 0 0 176935 113 0 0 25 0 1 0 205697847 327155712 79345 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 79872 79345 206 16 0 79312 0
Current children cumulated CPU time (s) 1770.48
Current children cumulated vsize (Kb) 319488

[startup+1781.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1518696/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=324536 CPUtime=1780.48
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 80651 0 0 0 177934 114 0 0 25 0 1 0 205697847 332324864 80623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 81134 80623 206 16 0 80574 0
Current children cumulated CPU time (s) 1780.48
Current children cumulated vsize (Kb) 324536

[startup+1782.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1517992/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=325264 CPUtime=1781.48
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 80830 0 0 0 178034 114 0 0 25 0 1 0 205697847 333070336 80802 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 81316 80802 206 16 0 80756 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 325264

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17323
/proc/meminfo: memFree=1517992/2055892 swapFree=4085328/4096564
[pid=17128] ppid=17126 vsize=325264 CPUtime=1782.49
/proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 80830 0 0 0 178135 114 0 0 25 0 1 0 205697847 333070336 80802 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/17128/statm: 81316 80802 206 16 0 80756 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 325264

Child status: 10
Real time (s): 1783.38
CPU time (s): 1782.79
CPU user time (s): 1781.59
CPU system time (s): 1.19582
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (Kb): 325264

Launcher Data (download as text)

Begin job on node77 on Sun Jun  4 05:56:26 UTC 2006


FILE ID= 36811-1149400586

PBS_JOBID= 314001

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36811-1149400586/instance-36811-1149400586.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node77/watcher-36811-1149400586 -o ROOT/results/node77/solver-36811-1149400586 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36811-1149400586/instance-36811-1149400586.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  2821538067d8c071dc9bd4a000c6d040

RANDOM SEED= 472192497


/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.238
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	: 6006.16
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.238
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1841128 kB
Buffers:         28188 kB
Cached:         117360 kB
SwapCached:       2488 kB
Active:          36076 kB
Inactive:       118224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1841128 kB
SwapTotal:     4096564 kB
SwapFree:      4085328 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          16124 kB
Slab:            47132 kB
Committed_AS:   405932 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node77 on Sun Jun  4 06:26:10 UTC 2006