Trace number 36809

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.4SAT80503 1782.77 1783.43

General information on the benchmark

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

Verifier Data (download as text)

OK	80503

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/node3/watcher-36809-1149400331 -o ROOT/results/node3/solver-36809-1149400331 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node3/36809-1149400331/instance-36809-1149400331.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.13 1.09 1.03 2/64 3301
/proc/meminfo: memFree=1452264/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=916 CPUtime=0
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 205694794 937984 28 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10924331 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 229 28 20 16 0 8 0

[startup+10.0022 s]
/proc/loadavg: 1.11 1.09 1.03 2/64 3301
/proc/meminfo: memFree=1432488/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=22296 CPUtime=9.98
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 5168 0 0 0 994 4 0 0 25 0 1 0 205694794 22831104 5139 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 5574 5139 205 16 0 5015 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 22296

[startup+20.0078 s]
/proc/loadavg: 1.09 1.08 1.03 2/64 3301
/proc/meminfo: memFree=1421736/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=33348 CPUtime=19.99
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 7922 0 0 0 1991 8 0 0 25 0 1 0 205694794 34148352 7893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 8337 7893 205 16 0 7778 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 33348

[startup+30.0134 s]
/proc/loadavg: 1.08 1.08 1.02 2/64 3301
/proc/meminfo: memFree=1412328/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=42612 CPUtime=29.99
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 10269 0 0 0 2987 12 0 0 25 0 1 0 205694794 43634688 10240 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557745 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 10653 10240 205 16 0 10094 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 42612

[startup+40.0191 s]
/proc/loadavg: 1.07 1.08 1.02 2/64 3301
/proc/meminfo: memFree=1402664/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=52536 CPUtime=40
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 12702 0 0 0 3985 15 0 0 25 0 1 0 205694794 53796864 12673 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 13134 12673 205 16 0 12575 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 52536

[startup+50.0247 s]
/proc/loadavg: 1.06 1.08 1.02 2/64 3301
/proc/meminfo: memFree=1392872/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=62204 CPUtime=49.99
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 15137 0 0 0 4983 16 0 0 25 0 1 0 205694794 63696896 15108 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 15551 15108 205 16 0 14992 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 62204

[startup+60.0303 s]
/proc/loadavg: 1.05 1.07 1.02 2/64 3301
/proc/meminfo: memFree=1386344/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=68848 CPUtime=60
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 16783 0 0 0 5982 18 0 0 25 0 1 0 205694794 70500352 16754 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519068 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 17212 16754 205 16 0 16653 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 68848

[startup+70.036 s]
/proc/loadavg: 1.04 1.07 1.02 2/64 3301
/proc/meminfo: memFree=1378920/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=76248 CPUtime=70
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 18635 0 0 0 6979 21 0 0 25 0 1 0 205694794 78077952 18606 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 19062 18606 205 16 0 18503 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 76248

[startup+80.0416 s]
/proc/loadavg: 1.03 1.07 1.02 2/64 3301
/proc/meminfo: memFree=1377448/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=77684 CPUtime=80.01
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 7979 22 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 19421 18974 205 16 0 18862 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 77684

[startup+90.0472 s]
/proc/loadavg: 1.03 1.06 1.02 2/64 3301
/proc/meminfo: memFree=1377448/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=77684 CPUtime=90.01
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 8978 23 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 19421 18974 205 16 0 18862 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 77684

[startup+100.053 s]
/proc/loadavg: 1.02 1.06 1.02 2/64 3301
/proc/meminfo: memFree=1377448/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=77684 CPUtime=100.01
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 9978 23 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520161 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 19421 18974 205 16 0 18862 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 77684

[startup+110.058 s]
/proc/loadavg: 1.02 1.06 1.02 2/64 3301
/proc/meminfo: memFree=1377448/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=77684 CPUtime=110.02
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 10978 24 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 19421 18974 205 16 0 18862 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 77684

[startup+120.064 s]
/proc/loadavg: 1.02 1.06 1.02 2/64 3301
/proc/meminfo: memFree=1377384/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=77684 CPUtime=120.02
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 11978 24 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 19421 18974 205 16 0 18862 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 77684

[startup+130.07 s]
/proc/loadavg: 1.01 1.05 1.01 2/64 3301
/proc/meminfo: memFree=1372392/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=82660 CPUtime=130.02
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 20258 0 0 0 12977 25 0 0 25 0 1 0 205694794 84643840 20227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 20665 20227 205 16 0 20106 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 82660

[startup+140.075 s]
/proc/loadavg: 1.01 1.05 1.01 2/64 3301
/proc/meminfo: memFree=1365096/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=89864 CPUtime=140.02
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 22074 0 0 0 13975 27 0 0 25 0 1 0 205694794 92020736 22039 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 22466 22039 205 16 0 21907 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 89864

[startup+150.081 s]
/proc/loadavg: 1.01 1.05 1.01 2/64 3301
/proc/meminfo: memFree=1357992/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=96976 CPUtime=150.03
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 23855 0 0 0 14975 28 0 0 25 0 1 0 205694794 99303424 23820 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520116 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 24244 23820 205 16 0 23685 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 96976

[startup+160.087 s]
/proc/loadavg: 1.01 1.05 1.01 2/64 3301
/proc/meminfo: memFree=1350120/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=104852 CPUtime=160.02
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 25822 0 0 0 15974 28 0 0 25 0 1 0 205694794 107368448 25783 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11357655 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 26213 25783 205 16 0 25654 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 104852

[startup+170.092 s]
/proc/loadavg: 1.00 1.05 1.01 2/64 3301
/proc/meminfo: memFree=1343272/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=111700 CPUtime=170.03
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 27522 0 0 0 16972 31 0 0 25 0 1 0 205694794 114380800 27483 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11363132 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 27925 27483 205 16 0 27366 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 111700

[startup+180.098 s]
/proc/loadavg: 1.00 1.04 1.01 2/64 3301
/proc/meminfo: memFree=1337064/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=117872 CPUtime=180.03
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 29080 0 0 0 17970 33 0 0 25 0 1 0 205694794 120700928 29041 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 29468 29041 205 16 0 28909 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 117872

[startup+190.104 s]
/proc/loadavg: 1.00 1.04 1.01 2/64 3301
/proc/meminfo: memFree=1329064/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=125792 CPUtime=190.03
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 31072 0 0 0 18969 34 0 0 25 0 1 0 205694794 128811008 31033 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519958 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 31482 31035 205 16 0 30923 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 125792

[startup+200.109 s]
/proc/loadavg: 1.00 1.04 1.01 2/64 3301
/proc/meminfo: memFree=1325736/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=129208 CPUtime=200.03
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 31922 0 0 0 19968 35 0 0 25 0 1 0 205694794 132308992 31883 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 32302 31883 205 16 0 31743 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 129208

[startup+210.116 s]
/proc/loadavg: 1.00 1.04 1.01 2/64 3301
/proc/meminfo: memFree=1325672/2055920 swapFree=4181424/4192956

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

/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1590.32
Current children cumulated vsize (Kb) 231488

[startup+1600.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1600.32
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 159916 116 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1600.32
Current children cumulated vsize (Kb) 231488

[startup+1610.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1610.33
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 160916 117 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1610.33
Current children cumulated vsize (Kb) 231488

[startup+1620.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1620.32
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 161915 117 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11359123 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1620.32
Current children cumulated vsize (Kb) 231488

[startup+1630.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1630.32
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 162915 117 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1630.32
Current children cumulated vsize (Kb) 231488

[startup+1640.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1640.33
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 163915 118 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1640.33
Current children cumulated vsize (Kb) 231488

[startup+1650.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1650.33
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 164915 118 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1650.33
Current children cumulated vsize (Kb) 231488

[startup+1660.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1660.34
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 165915 119 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1660.34
Current children cumulated vsize (Kb) 231488

[startup+1670.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1670.34
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 166914 120 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1670.34
Current children cumulated vsize (Kb) 231488

[startup+1680.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1680.34
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 167914 120 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1680.34
Current children cumulated vsize (Kb) 231488

[startup+1690.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1690.35
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 168914 121 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1690.35
Current children cumulated vsize (Kb) 231488

[startup+1700.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1700.34
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 169913 121 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1700.34
Current children cumulated vsize (Kb) 231488

[startup+1710.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1710.34
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 170913 121 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1710.34
Current children cumulated vsize (Kb) 231488

[startup+1721 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1720.35
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 171913 122 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1720.35
Current children cumulated vsize (Kb) 231488

[startup+1731 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1730.35
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 172913 122 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1730.35
Current children cumulated vsize (Kb) 231488

[startup+1741.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1740.35
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 173913 122 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522580 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1740.35
Current children cumulated vsize (Kb) 231488

[startup+1751.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1750.36
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 174913 123 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1750.36
Current children cumulated vsize (Kb) 231488

[startup+1761.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1760.36
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 175912 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1760.36
Current children cumulated vsize (Kb) 231488

[startup+1771.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1770.37
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 176913 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1770.37
Current children cumulated vsize (Kb) 231488

[startup+1781.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1780.36
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 177912 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1780.36
Current children cumulated vsize (Kb) 231488

[startup+1782.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1781.37
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 178013 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (Kb) 231488

[startup+1783.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3496
/proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956
[pid=3301] ppid=3299 vsize=231488 CPUtime=1782.37
/proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 178113 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/3301/statm: 57872 57404 206 16 0 57313 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (Kb) 231488

Child status: 10
Real time (s): 1783.43
CPU time (s): 1782.77
CPU user time (s): 1781.49
CPU system time (s): 1.2878
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (Kb): 231596

Launcher Data (download as text)

Begin job on node3 on Sun Jun  4 05:52:11 UTC 2006


FILE ID= 36809-1149400331

PBS_JOBID= 313969

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  dccfffd22c38fcd3c497d688dab4b7a4

RANDOM SEED= 559285231


/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.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1452536 kB
Buffers:         25196 kB
Cached:         506480 kB
SwapCached:       3416 kB
Active:          96828 kB
Inactive:       443724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1452536 kB
SwapTotal:     4192956 kB
SwapFree:      4181424 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            48900 kB
Committed_AS:   351780 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node3 on Sun Jun  4 06:21:54 UTC 2006