Trace number 37959

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.3SAT79426 1782.77 1783.49

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

Verifier Data (download as text)

OK	79426

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/node5/watcher-37959-1149400402 -o ROOT/results/node5/solver-37959-1149400402 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node5/37959-1149400402/instance-37959-1149400402.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1412064/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=2572 CPUtime=0
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 268 0 0 0 0 0 0 0 19 0 1 0 205643846 2633728 239 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 0 0 0
/proc/13748/statm: 643 239 193 16 0 84 0

[startup+10.0034 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1384992/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=29744 CPUtime=9.99
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 7031 0 0 0 992 7 0 0 25 0 1 0 205643846 30457856 7002 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/13748/statm: 7436 7002 205 16 0 6877 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 29744

[startup+20.0103 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1369952/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=44836 CPUtime=19.99
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 10800 0 0 0 1988 11 0 0 25 0 1 0 205643846 45912064 10771 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134557495 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 11209 10771 205 16 0 10650 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 44836

[startup+30.0171 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1355744/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=59092 CPUtime=30
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 14359 0 0 0 2986 14 0 0 25 0 1 0 205643846 60510208 14330 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 14773 14330 205 16 0 14214 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 59092

[startup+40.023 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1341664/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=73104 CPUtime=40
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 17859 0 0 0 3982 18 0 0 25 0 1 0 205643846 74858496 17830 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 18276 17830 205 16 0 17717 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 73104

[startup+50.029 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1335392/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=79452 CPUtime=50
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 19424 0 0 0 4979 21 0 0 25 0 1 0 205643846 81358848 19395 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 19863 19395 205 16 0 19304 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 79452

[startup+60.0349 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1335392/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=79452 CPUtime=60
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 19424 0 0 0 5978 22 0 0 25 0 1 0 205643846 81358848 19395 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 19863 19395 205 16 0 19304 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 79452

[startup+70.0408 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1335456/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=79452 CPUtime=70
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 19424 0 0 0 6977 23 0 0 25 0 1 0 205643846 81358848 19395 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 19863 19395 205 16 0 19304 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 79452

[startup+80.0468 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1335456/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=79452 CPUtime=80
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 19424 0 0 0 7977 23 0 0 25 0 1 0 205643846 81358848 19395 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 19863 19395 205 16 0 19304 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 79452

[startup+90.0527 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1331360/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=83532 CPUtime=90.01
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 20440 0 0 0 8977 24 0 0 25 0 1 0 205643846 85536768 20411 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 20883 20411 205 16 0 20324 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 83532

[startup+100.059 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1320864/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=93992 CPUtime=100.01
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 23055 0 0 0 9974 27 0 0 25 0 1 0 205643846 96247808 23026 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 23498 23026 205 16 0 22939 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 93992

[startup+110.065 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1311200/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=103584 CPUtime=110.01
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25471 0 0 0 10971 30 0 0 25 0 1 0 205643846 106070016 25442 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 25896 25442 205 16 0 25337 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 103584

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=104608 CPUtime=120.02
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25729 0 0 0 11970 32 0 0 25 0 1 0 205643846 107118592 25700 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 26152 25700 205 16 0 25593 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 104608

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=104608 CPUtime=130.02
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25729 0 0 0 12969 33 0 0 25 0 1 0 205643846 107118592 25700 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 26152 25700 205 16 0 25593 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 104608

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=104608 CPUtime=140.02
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25729 0 0 0 13969 33 0 0 25 0 1 0 205643846 107118592 25700 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 26152 25700 205 16 0 25593 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 104608

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=104608 CPUtime=150.02
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25729 0 0 0 14967 35 0 0 25 0 1 0 205643846 107118592 25700 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 26152 25700 205 16 0 25593 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 104608

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=104608 CPUtime=160.02
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25729 0 0 0 15966 36 0 0 25 0 1 0 205643846 107118592 25700 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528071 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 26152 25700 205 16 0 25593 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 104608

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=104608 CPUtime=170.03
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25729 0 0 0 16966 37 0 0 25 0 1 0 205643846 107118592 25700 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 26152 25700 205 16 0 25593 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 104608

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=104608 CPUtime=180.03
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25729 0 0 0 17965 38 0 0 25 0 1 0 205643846 107118592 25700 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517612 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 26152 25700 205 16 0 25593 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 104608

[startup+190.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=104608 CPUtime=190.04
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25729 0 0 0 18965 39 0 0 25 0 1 0 205643846 107118592 25700 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 26152 25700 205 16 0 25593 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 104608

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=104608 CPUtime=200.04
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 25729 0 0 0 19964 40 0 0 25 0 1 0 205643846 107118592 25700 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 26152 25700 205 16 0 25593 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 104608

[startup+210.124 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13748
/proc/meminfo: memFree=1310176/2055920 swapFree=4180904/4192956

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

/proc/13748/statm: 54824 54308 206 16 0 54265 0
Current children cumulated CPU time (s) 1590.31
Current children cumulated vsize (Kb) 219296

[startup+1600.96 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1195296/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=219296 CPUtime=1600.31
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 54392 0 0 0 159883 148 0 0 25 0 1 0 205643846 224559104 54308 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 54824 54308 206 16 0 54265 0
Current children cumulated CPU time (s) 1600.31
Current children cumulated vsize (Kb) 219296

[startup+1610.97 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1195296/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=219296 CPUtime=1610.31
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 54392 0 0 0 160883 148 0 0 25 0 1 0 205643846 224559104 54308 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 54824 54308 206 16 0 54265 0
Current children cumulated CPU time (s) 1610.31
Current children cumulated vsize (Kb) 219296

[startup+1620.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1195296/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=219296 CPUtime=1620.31
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 54392 0 0 0 161883 148 0 0 25 0 1 0 205643846 224559104 54308 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520339 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 54824 54308 206 16 0 54265 0
Current children cumulated CPU time (s) 1620.31
Current children cumulated vsize (Kb) 219296

[startup+1630.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1195296/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=219296 CPUtime=1630.32
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 54392 0 0 0 162883 149 0 0 25 0 1 0 205643846 224559104 54308 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 54824 54308 206 16 0 54265 0
Current children cumulated CPU time (s) 1630.32
Current children cumulated vsize (Kb) 219296

[startup+1640.99 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1195296/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=219296 CPUtime=1640.32
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 54392 0 0 0 163883 149 0 0 25 0 1 0 205643846 224559104 54308 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 54824 54308 206 16 0 54265 0
Current children cumulated CPU time (s) 1640.32
Current children cumulated vsize (Kb) 219296

[startup+1651 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190816/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=223748 CPUtime=1650.32
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55502 0 0 0 164882 150 0 0 25 0 1 0 205643846 229117952 55418 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 55937 55418 206 16 0 55378 0
Current children cumulated CPU time (s) 1650.32
Current children cumulated vsize (Kb) 223748

[startup+1661 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1660.32
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 165882 150 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1660.32
Current children cumulated vsize (Kb) 224480

[startup+1671.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1670.33
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 166882 151 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1670.33
Current children cumulated vsize (Kb) 224480

[startup+1681.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1680.32
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 167881 151 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1680.32
Current children cumulated vsize (Kb) 224480

[startup+1691.02 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1690.33
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 168881 152 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1690.33
Current children cumulated vsize (Kb) 224480

[startup+1701.03 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1700.33
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 169880 153 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1700.33
Current children cumulated vsize (Kb) 224480

[startup+1711.03 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1710.33
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 170880 153 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1710.33
Current children cumulated vsize (Kb) 224480

[startup+1721.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1720.34
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 171880 154 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1720.34
Current children cumulated vsize (Kb) 224480

[startup+1731.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1730.34
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 172880 154 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 8328083 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1730.34
Current children cumulated vsize (Kb) 224480

[startup+1741.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1740.34
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 173879 155 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1740.34
Current children cumulated vsize (Kb) 224480

[startup+1751.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1750.34
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 174879 155 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1750.34
Current children cumulated vsize (Kb) 224480

[startup+1761.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1760.35
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 175879 156 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1760.35
Current children cumulated vsize (Kb) 224480

[startup+1771.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190112/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1770.35
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 176878 157 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1770.35
Current children cumulated vsize (Kb) 224480

[startup+1781.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1780.36
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 177878 158 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527712 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1780.36
Current children cumulated vsize (Kb) 224480

[startup+1782.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1781.36
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 177978 158 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520116 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (Kb) 224480

[startup+1783.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 13943
/proc/meminfo: memFree=1190176/2055920 swapFree=4180904/4192956
[pid=13748] ppid=13746 vsize=224480 CPUtime=1782.36
/proc/13748/stat : 13748 (Pueblo13) R 13746 13748 13702 0 -1 4194304 55683 0 0 0 178078 158 0 0 25 0 1 0 205643846 229867520 55599 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/13748/statm: 56120 55599 206 16 0 55561 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 224480

Child status: 10
Real time (s): 1783.49
CPU time (s): 1782.77
CPU user time (s): 1781.15
CPU system time (s): 1.62175
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (Kb): 224480

Launcher Data (download as text)

Begin job on node5 on Sun Jun  4 05:53:22 UTC 2006


FILE ID= 37959-1149400402

PBS_JOBID= 313976

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/Pueblo13 ROOT/tmp/node5/37959-1149400402/instance-37959-1149400402.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-37959-1149400402 -o ROOT/results/node5/solver-37959-1149400402 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node5/37959-1149400402/instance-37959-1149400402.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  dccfffd22c38fcd3c497d688dab4b7a4

RANDOM SEED= 159079778


/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.279
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.279
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:       1412272 kB
Buffers:         31672 kB
Cached:         543988 kB
SwapCached:       3904 kB
Active:          97300 kB
Inactive:       487160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1412272 kB
SwapTotal:     4192956 kB
SwapFree:      4180904 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14944 kB
Slab:            45256 kB
Committed_AS:   351156 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node5 on Sun Jun  4 06:23:05 UTC 2006