Trace number 37961

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.3SAT340 1782.81 1783.43

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	340

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.90 0.95 0.98 2/64 30582
/proc/meminfo: memFree=1834112/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=172 CPUtime=0
/proc/30582/stat : 30582 (Pueblo13) D 30580 30582 30536 0 -1 4194304 38 0 0 0 0 0 0 0 18 0 1 0 205726083 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10945316 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/30582/statm: 44 23 18 16 0 3 0

[startup+10.0019 s]
/proc/loadavg: 0.91 0.95 0.98 2/64 30582
/proc/meminfo: memFree=1810008/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=26896 CPUtime=9.99
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 6315 0 0 0 990 9 0 0 25 0 1 0 205726083 27541504 6286 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 6724 6286 205 16 0 6165 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 26896

[startup+20.0082 s]
/proc/loadavg: 0.92 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1796376/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=40600 CPUtime=19.99
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 9738 0 0 0 1985 14 0 0 25 0 1 0 205726083 41574400 9709 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 10150 9709 205 16 0 9591 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 40600

[startup+30.0145 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1782424/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=54628 CPUtime=30
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 13236 0 0 0 2983 17 0 0 25 0 1 0 205726083 55939072 13207 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 13657 13207 205 16 0 13098 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 54628

[startup+40.0208 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1769752/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=67324 CPUtime=39.99
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 16417 0 0 0 3979 20 0 0 25 0 1 0 205726083 68939776 16388 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 16831 16388 205 16 0 16272 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 67324

[startup+50.0271 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1762776/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=74316 CPUtime=50
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 18149 0 0 0 4978 22 0 0 25 0 1 0 205726083 76099584 18120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11379039 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 18579 18120 205 16 0 18020 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 74316

[startup+60.0333 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1762776/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=74316 CPUtime=60.01
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 18149 0 0 0 5978 23 0 0 25 0 1 0 205726083 76099584 18120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 18579 18120 205 16 0 18020 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 74316

[startup+70.0396 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1762776/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=74316 CPUtime=70.01
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 18149 0 0 0 6977 24 0 0 25 0 1 0 205726083 76099584 18120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 18579 18120 205 16 0 18020 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 74316

[startup+80.0459 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1758296/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=78684 CPUtime=80.01
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 19259 0 0 0 7976 25 0 0 25 0 1 0 205726083 80572416 19230 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 19671 19230 205 16 0 19112 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 78684

[startup+90.0522 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1746840/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=90184 CPUtime=90.02
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 22141 0 0 0 8974 28 0 0 25 0 1 0 205726083 92348416 22112 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 22546 22112 205 16 0 21987 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 90184

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1735832/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=101184 CPUtime=100.02
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 24879 0 0 0 9972 30 0 0 25 0 1 0 205726083 103612416 24850 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 25296 24850 205 16 0 24737 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 101184

[startup+110.065 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 30582
/proc/meminfo: memFree=1725400/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=111584 CPUtime=110.02
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 27480 0 0 0 10969 33 0 0 25 0 1 0 205726083 114262016 27451 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 27896 27451 205 16 0 27337 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 111584

[startup+120.07 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1715032/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=121932 CPUtime=120.02
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 30072 0 0 0 11966 36 0 0 25 0 1 0 205726083 124858368 30043 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 30483 30043 205 16 0 29924 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 121932

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=126008 CPUtime=130.03
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 12966 37 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 31502 31047 205 16 0 30943 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 126008

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=126008 CPUtime=140.02
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 13965 37 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 31502 31047 205 16 0 30943 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 126008

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=126008 CPUtime=150.04
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 14966 38 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 31502 31047 205 16 0 30943 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 126008

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=126008 CPUtime=160.03
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 15964 39 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 31502 31047 205 16 0 30943 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 126008

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=126008 CPUtime=170.04
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 16963 41 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 31502 31047 205 16 0 30943 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 126008

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1710936/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=126008 CPUtime=180.05
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 17963 42 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 31502 31047 205 16 0 30943 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 126008

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1710936/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=126008 CPUtime=190.04
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 18962 42 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 31502 31047 205 16 0 30943 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 126008

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1708760/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=128152 CPUtime=200.05
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31632 0 0 0 19961 44 0 0 25 0 1 0 205726083 131227648 31603 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 32038 31603 205 16 0 31479 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 128152

[startup+210.127 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30582
/proc/meminfo: memFree=1699224/2055920 swapFree=4181260/4192956

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

/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1590.42
Current children cumulated vsize (Kb) 248784

[startup+1600.99 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1600.41
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 159893 148 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1600.41
Current children cumulated vsize (Kb) 248784

[startup+1611 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1610.43
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 160894 149 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1610.43
Current children cumulated vsize (Kb) 248784

[startup+1621 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1620.42
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 161893 149 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1620.42
Current children cumulated vsize (Kb) 248784

[startup+1631.01 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1630.43
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 162894 149 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527385 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1630.43
Current children cumulated vsize (Kb) 248784

[startup+1641.02 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1640.44
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 163894 150 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1640.44
Current children cumulated vsize (Kb) 248784

[startup+1651.02 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1650.44
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 164894 150 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1650.44
Current children cumulated vsize (Kb) 248784

[startup+1661.03 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1660.43
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 165893 150 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520198 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1660.43
Current children cumulated vsize (Kb) 248784

[startup+1671.03 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1670.44
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 166893 151 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1670.44
Current children cumulated vsize (Kb) 248784

[startup+1681.04 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1680.45
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 167893 152 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1680.45
Current children cumulated vsize (Kb) 248784

[startup+1691.05 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1690.45
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 168893 152 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1690.45
Current children cumulated vsize (Kb) 248784

[startup+1701.05 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1700.45
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 169893 152 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1700.45
Current children cumulated vsize (Kb) 248784

[startup+1711.06 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1710.45
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 170893 152 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1710.45
Current children cumulated vsize (Kb) 248784

[startup+1721.07 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1720.46
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 171893 153 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1720.46
Current children cumulated vsize (Kb) 248784

[startup+1731.07 s]
/proc/loadavg: 1.07 1.00 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1730.46
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 172893 153 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520116 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1730.46
Current children cumulated vsize (Kb) 248784

[startup+1741.08 s]
/proc/loadavg: 1.06 1.00 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1740.47
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 173893 154 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1740.47
Current children cumulated vsize (Kb) 248784

[startup+1751.08 s]
/proc/loadavg: 1.05 1.00 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1750.47
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 174893 154 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1750.47
Current children cumulated vsize (Kb) 248784

[startup+1761.09 s]
/proc/loadavg: 1.04 1.00 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1760.47
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 175893 154 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1760.47
Current children cumulated vsize (Kb) 248784

[startup+1771.1 s]
/proc/loadavg: 1.04 1.00 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1770.48
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 176893 155 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1770.48
Current children cumulated vsize (Kb) 248784

[startup+1781.1 s]
/proc/loadavg: 1.03 1.00 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1780.48
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 177893 155 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519929 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1780.48
Current children cumulated vsize (Kb) 248784

[startup+1782.11 s]
/proc/loadavg: 1.03 1.00 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1781.48
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 177993 155 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 248784

[startup+1783.11 s]
/proc/loadavg: 1.03 1.00 0.99 2/64 30777
/proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956
[pid=30582] ppid=30580 vsize=248784 CPUtime=1782.49
/proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 178094 155 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/30582/statm: 62196 61698 206 16 0 61637 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 248784

Child status: 10
Real time (s): 1783.43
CPU time (s): 1782.81
CPU user time (s): 1781.21
CPU system time (s): 1.59476
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (Kb): 249408

Launcher Data (download as text)

Begin job on node33 on Sun Jun  4 05:57:03 UTC 2006


FILE ID= 37961-1149400623

PBS_JOBID= 314002

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  2821538067d8c071dc9bd4a000c6d040

RANDOM SEED= 267553484


/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.213
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.213
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:       1834512 kB
Buffers:         11764 kB
Cached:         146772 kB
SwapCached:       3100 kB
Active:          38084 kB
Inactive:       128888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834512 kB
SwapTotal:     4192956 kB
SwapFree:      4181260 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14464 kB
Slab:            40516 kB
Committed_AS:   401300 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node33 on Sun Jun  4 06:26:46 UTC 2006