Some explanations

1. 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 provide some useful information on the computer.
2. SOLVER DATA
   This is the output of the solver (stdout and stderr).
3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
   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.
4. 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.

General information on the benchmark

Trace number 38207

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 04:35:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26326 boxname=wulflinc2 idbench=56 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  c501a04dd091dbe678ec2743021adc30  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga45_44_sat_pb.cnf.cr.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga45_44_sat_pb.cnf.cr.opb
IDLAUNCH: 26326
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        719032 kB
Buffers:         33432 kB
Cached:         260348 kB
SwapCached:       1136 kB
Active:          53736 kB
Inactive:       242532 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        718780 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            13748 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 04:35:50 (client local time) WITH STATUS 10 IN 39.545 SECONDS
stats: 26326 0 39.545 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc2/normalized-fpga45_44_sat_pb.cnf.cr.opb
c #variables read: 2970 - #constraints read: 2113
s SATISFIABLE
v -v312 -v2883 -v2884 -v2885 -v2886 -v2887 -v2888 -v2889 -v2890 -v2891 -v2892 -v2893 -v2894 -v2895 -v2896 -v2897 -v2898 -v2899 -v2900 -v2901 -v2902 -v2903 v2904 -v1255 -v2839 -v2840 -v2841 -v2842 -v2843 -v2844 -v2845 -v2846 -v2847 -v2848 -v2849 -v2850 -v2851 -v2852 -v2853 -v2854 -v2855 -v2856 -v2857 -v2858 v2859 -v2860 -v401 -v2861 -v2862 -v2863 -v2864 -v2865 -v2866 -v2867 -v2868 -v2869 -v2870 -v2871 -v2872 -v2873 -v2874 -v2875 -v2876 -v2877 -v2878 -v2879 v2880 -v2881 -v2882 -v1563 -v2685 -v2686 -v2687 -v2688 -v2689 -v2690 -v2691 -v2692 -v2693 -v2694 -v2695 -v2696 -v2697 -v2698 -v2699 -v2700 -v2701 -v2702 v2703 -v2704 -v2705 -v2706 v498 -v2025 -v2026 -v2027 -v2028 -v2029 -v2030 -v2031 -v2032 -v2033 -v2034 -v2035 -v2036 -v2037 -v2038 -v2039 -v2040 -v2041 -v2042 -v2043 -v2044 -v2045 v2046 -v1944 -v2157 -v2158 -v2159 -v2160 -v2161 -v2162 -v2163 -v2164 -v2165 -v2166 -v2167 -v2168 -v2169 -v2170 -v2171 -v2172 -v2173 -v2174 -v2175 v2176 -v2177 -v2178 -v68 -v2465 -v2466 -v2467 -v2468 -v2469 -v2470 -v2471 -v2472 -v2473 -v2474 -v2475 -v2476 -v2477 -v2478 -v2479 -v2480 -v2481 -v2482 -v2483 -v2484 -v2485 -v2486 -v468 -v2355 -v2356 -v2357 -v2358 -v2359 -v2360 -v2361 -v2362 -v2363 -v2364 -v2365 -v2366 -v2367 -v2368 -v2369 -v2370 -v2371 -v2372 v2373 -v2374 -v2375 -v2376 -v685 -v2179 -v2180 -v2181 -v2182 -v2183 -v2184 -v2185 -v2186 -v2187 -v2188 -v2189 -v2190 -v2191 -v2192 -v2193 -v2194 -v2195 v2196 -v2197 -v2198 -v2199 -v2200 -v108 -v836 -v2531 -v2532 -v2533 -v2534 -v2535 -v2536 -v2537 -v2538 -v2539 -v2540 -v2541 -v2542 -v2543 -v2544 -v2545 -v2546 -v2547 v2548 -v2549 -v2550 -v2551 -v2552 -v1123 -v2905 -v2906 -v2907 -v2908 -v2909 -v2910 -v2911 -v2912 -v2913 -v2914 -v2915 -v2916 -v2917 -v2918 -v2919 -v2920 v2921 -v2922 -v2923 -v2924 -v2925 -v2926 -v1459 -v2377 -v2378 -v2379 -v2380 -v2381 -v2382 -v2383 -v2384 -v2385 -v2386 -v2387 -v2388 -v2389 -v2390 -v2391 -v2392 v2393 -v2394 -v2395 -v2396 -v2397 -v2398 -v795 -v2619 -v2620 -v2621 -v2622 -v2623 -v2624 -v2625 -v2626 -v2627 -v2628 -v2629 -v2630 -v2631 -v2632 -v2633 v2634 -v2635 -v2636 -v2637 -v2638 -v2639 -v2640 -v394 -v2707 -v2708 -v2709 -v2710 -v2711 -v2712 -v2713 -v2714 -v2715 -v2716 -v2717 -v2718 -v2719 -v2720 v2721 -v2722 -v2723 -v2724 -v2725 -v2726 -v2727 -v2728 -v797 -v2663 -v2664 -v2665 -v2666 -v2667 -v2668 -v2669 -v2670 -v2671 -v2672 -v2673 -v2674 -v2675 v2676 -v2677 -v2678 -v2679 -v2680 -v2681 -v2682 -v2683 -v2684 -v201 -v2421 -v2422 -v2423 -v2424 -v2425 -v2426 -v2427 -v2428 -v2429 -v2430 -v2431 -v2432 -v2433 -v2434 -v2435 v2436 -v2437 -v2438 -v2439 -v2440 -v2441 -v2442 -v879 -v2487 -v2488 -v2489 -v2490 -v2491 -v2492 -v2493 -v2494 -v2495 -v2496 -v2497 -v2498 v2499 -v2500 -v2501 -v2502 -v2503 -v2504 -v2505 -v2506 -v2507 -v2508 -v1836 -v2751 -v2752 -v2753 -v2754 -v2755 -v2756 -v2757 -v2758 -v2759 -v2760 -v2761 v2762 -v2763 -v2764 -v2765 -v2766 -v2767 -v2768 -v2769 -v2770 -v2771 -v2772 -v43 -v296 -v1359 -v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 -v820 -v821 -v822 -v823 -v824 -v825 -v826 -v827 -v828 -v829 -v830 -v831 -v832 -v833 -v834 v835 -v837 -v838 -v839 -v840 -v841 -v842 -v843 -v844 -v845 -v846 -v847 -v848 -v849 -v850 -v851 -v852 -v853 -v854 -v855 -v175 -v1568 -v2795 -v2796 -v2797 -v2798 -v2799 -v2800 -v2801 -v2802 -v2803 -v2804 v2805 -v2806 -v2807 -v2808 -v2809 -v2810 -v2811 -v2812 -v2813 -v2814 -v2815 -v2816 -v1546 -v2311 -v2312 -v2313 -v2314 -v2315 -v2316 -v2317 -v2318 -v2319 -v2320 -v2321 -v2322 -v2323 -v2324 v2325 -v2326 -v2327 -v2328 -v2329 -v2330 -v2331 -v2332 -v1405 -v1895 -v2069 -v2070 -v2071 -v2072 -v2073 -v2074 -v2075 -v2076 -v2077 -v2078 -v2079 -v2080 -v2081 v2082 -v2083 -v2084 -v2085 -v2086 -v2087 -v2088 -v2089 -v2090 -v1431 -v1652 -v640 -v250 -v2509 -v2510 -v2511 -v2512 -v2513 -v2514 -v2515 -v2516 -v2517 v2518 -v2519 -v2520 -v2521 -v2522 -v2523 -v2524 -v2525 -v2526 -v2527 -v2528 -v2529 -v2530 -v50 -v700 -v1640 -v2399 -v2400 -v2401 -v2402 -v2403 -v2404 -v2405 -v2406 -v2407 -v2408 -v2409 -v2410 v2411 -v2412 -v2413 -v2414 -v2415 -v2416 -v2417 -v2418 -v2419 -v2420 -v97 -v2113 -v2114 -v2115 -v2116 -v2117 -v2118 -v2119 -v2120 -v2121 -v2122 -v2123 v2124 -v2125 -v2126 -v2127 -v2128 -v2129 -v2130 -v2131 -v2132 -v2133 -v2134 -v1425 v1089 -v1282 -v2443 -v2444 -v2445 -v2446 -v2447 -v2448 -v2449 -v2450 -v2451 -v2452 v2453 -v2454 -v2455 -v2456 -v2457 -v2458 -v2459 -v2460 -v2461 -v2462 -v2463 -v2464 -v1800 -v2949 -v2950 -v2951 -v2952 -v2953 -v2954 -v2955 -v2956 v2957 -v2958 -v2959 -v2960 -v2961 -v2962 -v2963 -v2964 -v2965 -v2966 -v2967 -v2968 -v2969 -v2970 -v408 -v1979 -v2927 -v2928 -v2929 -v2930 -v2931 -v2932 -v2933 v2934 -v2935 -v2936 -v2937 -v2938 -v2939 -v2940 -v2941 -v2942 -v2943 -v2944 -v2945 -v2946 -v2947 -v2948 -v507 -v2223 -v2224 -v2225 -v2226 -v2227 -v2228 -v2229 -v2230 -v2231 v2232 -v2233 -v2234 -v2235 -v2236 -v2237 -v2238 -v2239 -v2240 -v2241 -v2242 -v2243 -v2244 -v1714 -v2047 -v2048 -v2049 -v2050 -v2051 -v2052 -v2053 -v2054 v2055 -v2056 -v2057 -v2058 -v2059 -v2060 -v2061 -v2062 -v2063 -v2064 -v2065 -v2066 -v2067 -v2068 -v606 -v1566 -v292 -v1128 -v1417 -v1439 -v1690 -v1576 -v1981 -v1982 -v1983 -v1984 -v1985 -v1986 -v1987 v1988 -v1989 -v1990 -v1991 -v1992 -v1993 -v1994 -v1995 -v1996 -v1997 -v1998 -v1999 -v2000 -v2001 -v2002 -v259 -v1817 -v2333 -v2334 -v2335 -v2336 -v2337 v2338 -v2339 -v2340 -v2341 -v2342 -v2343 -v2344 -v2345 -v2346 -v2347 -v2348 -v2349 -v2350 -v2351 -v2352 -v2353 -v2354 -v1456 -v721 -v722 -v723 -v724 -v725 -v726 -v727 -v728 -v729 -v730 -v731 -v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 -v740 -v741 -v742 -v743 -v744 -v745 -v746 v747 -v748 -v749 -v750 -v751 -v752 -v753 -v754 -v755 -v756 -v757 -v758 -v759 -v760 -v761 -v762 -v763 -v764 -v765 -v36 -v938 -v510 -v2289 -v2290 -v2291 -v2292 v2293 -v2294 -v2295 -v2296 -v2297 -v2298 -v2299 -v2300 -v2301 -v2302 -v2303 -v2304 -v2305 -v2306 -v2307 -v2308 -v2309 -v2310 -v954 -v407 -v2003 -v2004 -v2005 v2006 -v2007 -v2008 -v2009 -v2010 -v2011 -v2012 -v2013 -v2014 -v2015 -v2016 -v2017 -v2018 -v2019 -v2020 -v2021 -v2022 -v2023 -v2024 -v610 -v291 -v300 -v624 -v2817 -v2818 -v2819 -v2820 -v2821 -v2822 v2823 -v2824 -v2825 -v2826 -v2827 -v2828 -v2829 -v2830 -v2831 -v2832 -v2833 -v2834 -v2835 -v2836 -v2837 -v2838 -v1755 -v1658 -v326 -v2201 -v2202 v2203 -v2204 -v2205 -v2206 -v2207 -v2208 -v2209 -v2210 -v2211 -v2212 -v2213 -v2214 -v2215 -v2216 -v2217 -v2218 -v2219 -v2220 -v2221 -v2222 -v168 -v1308 -v1287 -v2553 -v2554 -v2555 -v2556 -v2557 v2558 -v2559 -v2560 -v2561 -v2562 -v2563 -v2564 -v2565 -v2566 -v2567 -v2568 -v2569 -v2570 -v2571 -v2572 -v2573 -v2574 -v437 -v768 -v196 -v1856 -v1286 -v1921 -v2641 -v2642 -v2643 -v2644 v2645 -v2646 -v2647 -v2648 -v2649 -v2650 -v2651 -v2652 -v2653 -v2654 -v2655 -v2656 -v2657 -v2658 -v2659 -v2660 -v2661 -v2662 -v1746 -v376 -v1955 -v720 -v1597 -v1115 -v2729 -v2730 -v2731 v2732 -v2733 -v2734 -v2735 -v2736 -v2737 -v2738 -v2739 -v2740 -v2741 -v2742 -v2743 -v2744 -v2745 -v2746 -v2747 -v2748 -v2749 -v2750 -v617 -v1521 -v159 -v1237 -v1548 -v1201 -v1914 -v1238 -v1961 -v1674 -v101 -v803 -v277 -v223 -v1316 -v1830 -v1024 -v1063 -v2575 -v2576 v2577 -v2578 -v2579 -v2580 -v2581 -v2582 -v2583 -v2584 -v2585 -v2586 -v2587 -v2588 -v2589 -v2590 -v2591 -v2592 -v2593 -v2594 -v2595 -v2596 -v1559 -v2597 v2598 -v2599 -v2600 -v2601 -v2602 -v2603 -v2604 -v2605 -v2606 -v2607 -v2608 -v2609 -v2610 -v2611 -v2612 -v2613 -v2614 -v2615 -v2616 -v2617 -v2618 -v1113 -v939 -v1819 -v706 -v1486 -v1487 -v1488 -v1489 -v1490 -v1491 -v1492 -v1493 -v1494 -v1495 -v1496 -v1497 -v1498 -v1499 -v1500 -v1501 -v1502 -v1503 -v1504 -v1505 -v1506 -v1507 -v1508 -v1509 -v1510 v1511 -v1512 -v1513 -v1514 -v1515 -v1516 -v1517 -v1518 -v1519 -v1520 -v1522 -v1523 -v1524 -v1525 -v1526 -v1527 -v1528 -v1529 -v1530 -v587 -v1567 v2773 -v2774 -v2775 -v2776 -v2777 -v2778 -v2779 -v2780 -v2781 -v2782 -v2783 -v2784 -v2785 -v2786 -v2787 -v2788 -v2789 -v2790 -v2791 -v2792 -v2793 -v2794 -v1420 -v654 -v1245 -v547 -v1482 -v1091 -v1977 -v99 -v1978 -v1890 -v714 -v1248 -v971 -v1873 -v1592 -v1866 -v1347 -v1972 -v2135 -v2136 -v2137 -v2138 -v2139 -v2140 -v2141 -v2142 -v2143 -v2144 -v2145 -v2146 -v2147 -v2148 -v2149 -v2150 -v2151 -v2152 -v2153 -v2154 v2155 -v2156 -v526 -v805 -v1354 -v1340 -v346 -v1018 -v1934 -v650 -v1096 -v537 -v1078 -v1424 -v420 -v321 v2091 -v2092 -v2093 -v2094 -v2095 -v2096 -v2097 -v2098 -v2099 -v2100 -v2101 -v2102 -v2103 -v2104 -v2105 -v2106 -v2107 -v2108 -v2109 -v2110 -v2111 -v2112 -v1821 -v362 -v1907 -v1036 -v1368 -v334 -v1185 -v1596 -v690 -v1786 -v57 -v185 -v873 -v1428 -v1960 -v12 -v198 -v1092 v1571 -v1899 v1906 -v975 -v158 -v51 -v1143 -v1789 -v1295 -v798 -v554 -v2267 -v2268 -v2269 -v2270 -v2271 -v2272 v2273 -v2274 -v2275 -v2276 -v2277 -v2278 -v2279 -v2280 -v2281 -v2282 -v2283 -v2284 -v2285 -v2286 -v2287 -v2288 -v511 -v172 -v1606 -v1557 -v1239 -v477 -v241 -v1192 -v337 -v499 -v1394 -v1929 -v1583 -v1266 -v1980 -v56 -v1754 -v496 -v870 -v933 -v205 -v153 -v354 -v1472 -v1804 -v1311 -v1275 -v1051 -v1698 -v1134 -v1950 -v298 -v358 -v1803 -v802 -v1711 -v1712 -v1713 -v1715 -v1716 -v1717 -v1718 -v1719 -v1720 -v1721 -v1722 -v1723 -v1724 -v1725 -v1726 -v1727 -v1728 -v1729 -v1730 -v1731 -v1732 -v1733 -v1734 -v1735 -v1736 -v1737 -v1738 -v1739 -v1740 -v1741 -v1742 -v1743 -v1744 -v1745 -v1747 -v1748 -v1749 -v1750 -v1751 v1752 -v1753 -v634 -v1933 -v793 -v1577 -v1578 -v1579 -v1580 -v1581 -v1582 -v1584 -v1585 -v1586 -v1587 -v1588 -v1589 -v1590 -v1591 v1593 -v1594 -v1595 -v1598 -v1599 -v1600 -v1601 -v1602 -v1603 -v1604 -v1605 -v1607 -v1608 -v1609 -v1610 -v1611 -v1612 -v1613 -v1614 -v1615 -v1616 -v1617 -v1618 -v1619 -v1620 -v2245 v2246 -v2247 -v2248 -v2249 -v2250 -v2251 -v2252 -v2253 -v2254 -v2255 -v2256 -v2257 -v2258 -v2259 -v2260 -v2261 -v2262 -v2263 -v2264 -v2265 -v2266 -v1027 -v1884 -v577 -v1667 -v438 -v969 -v668 -v810 -v1072 -v619 -v1003 -v1844 -v945 -v248 -v1272 -v974 -v660 -v484 -v488 -v692 -v1555 -v1828 -v632 -v503 -v687 -v982 -v1696 -v206 -v393 -v417 -v284 -v603 -v1324 v686 -v1545 -v444 -v1171 v1172 -v1173 -v1174 -v1175 -v1176 -v1177 -v1178 -v1179 -v1180 -v1181 -v1182 -v1183 -v1184 -v1186 -v1187 -v1188 -v1189 -v1190 -v1191 -v1193 -v1194 -v1195 -v1196 -v1197 -v1198 -v1199 -v1200 -v1202 -v1203 -v1204 -v1205 -v1206 -v1207 -v1208 -v1209 -v1210 -v1211 -v1212 -v1213 -v1214 -v1215 -v342 -v1660 -v1781 -v356 -v149 -v1381 -v181 -v182 -v183 -v184 -v186 -v187 -v188 -v189 -v190 -v191 -v192 -v193 -v194 -v195 -v197 -v199 -v200 -v202 -v203 -v204 -v207 -v208 -v209 -v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 v220 -v221 -v222 -v224 -v225 -v1564 -v98 -v1056 -v8 -v1531 -v1532 -v1533 -v1534 -v1535 -v1536 -v1537 -v1538 -v1539 -v1540 -v1541 -v1542 -v1543 -v1544 -v1547 -v1549 -v1550 -v1551 -v1552 -v1553 -v1554 -v1556 -v1558 -v1560 -v1561 -v1562 -v1565 -v1569 -v1570 -v1572 -v1573 -v1574 -v1575 -v253 -v1823 -v922 -v1391 -v256 -v1810 -v170 -v42 -v1647 -v1224 -v977 -v1924 -v1235 -v1013 -v1071 -v59 -v1918 -v800 -v297 -v1477 -v293 -v968 -v1854 -v1807 -v399 -v1649 -v364 -v1034 -v1291 -v367 -v1648 -v1025 -v1259 -v532 -v1053 -v1769 -v1007 -v1451 -v1829 -v1798 -v1965 -v487 -v1438 -v572 -v1880 -v856 -v1150 -v663 -v33 -v512 -v104 -v597 -v914 -v134 -v1294 -v581 -v1039 -v1005 -v1344 -v1458 -v889 -v1705 -v1318 -v1632 -v22 -v1230 -v978 -v523 -v1147 -v366 -v1465 -v1885 -v890 -v1246 -v368 -v126 -v1700 -v956 -v359 -v1923 -v614 -v146 -v674 -v26 -v1330 -v1441 -v1442 -v1443 -v1444 -v1445 -v1446 -v1447 -v1448 -v1449 -v1450 -v1452 -v1453 -v1454 -v1455 v1457 -v1460 -v1461 -v1462 -v1463 -v1464 -v1466 -v1467 -v1468 -v1469 -v1470 -v1471 -v1473 -v1474 -v1475 -v1476 -v1478 -v1479 -v1480 -v1481 -v1483 -v1484 -v1485 -v1957 -v434 -v500 -v996 -v705 -v1799 -v138 -v915 -v629 -v54 -v39 -v233 -v633 -v176 -v1045 -v903 -v981 -v519 -v719 -v1861 -v1630 -v1436 -v1808 -v432 -v1114 -v926 -v1802 -v1075 -v353 -v1087 -v166 -v240 -v1892 -v1037 -v1038 -v1040 -v1041 -v1042 -v1043 -v1044 -v1046 -v1047 -v1048 -v1049 -v1050 -v1052 -v1054 -v1055 -v1057 -v1058 -v1059 -v1060 -v1061 -v1062 -v1064 -v1065 -v1066 -v1067 v1068 -v1069 -v1070 -v1073 -v1074 -v1076 -v1077 -v1079 -v1080 -v929 -v1669 -v1897 -v27 -v664 -v1241 v260 -v428 -v1692 -v1122 -v790 -v631 -v635 -v636 -v637 -v638 -v639 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 v651 -v652 -v653 -v655 -v656 -v657 -v658 -v659 -v661 -v662 -v665 -v666 -v667 -v669 -v670 -v671 -v672 -v673 -v675 -v1693 -v575 -v87 -v936 -v1383 v1783 -v958 -v779 -v1101 -v1771 -v549 -v1826 -v490 -v1408 -v352 -v1625 -v1864 -v1865 -v1084 -v565 -v1169 -v118 -v702 -v1109 -v893 -v245 -v1814 -v1217 -v1352 -v582 -v1912 -v107 -v901 -v1908 -v23 -v1365 -v436 -v389 -v1666 -v1668 -v1670 -v1671 -v1672 -v1673 -v1675 -v1676 -v1677 -v1678 -v1679 v1680 -v1681 -v1682 -v1683 -v1684 -v1685 -v1686 -v1687 -v1688 -v1689 -v1691 -v1694 -v1695 -v1697 -v1699 -v1701 -v1702 -v1703 -v1704 -v1706 -v1707 -v1708 -v1709 -v1710 -v588 -v88 -v96 -v1161 -v382 -v1264 -v152 -v886 -v1898 -v1216 -v1218 -v1219 -v1220 -v1221 -v1222 -v1223 -v1225 -v1226 -v1227 -v1228 -v1229 -v1231 -v1232 -v1233 -v1234 -v1236 -v1240 -v1242 -v1243 -v1244 -v1247 -v1249 -v1250 -v1251 -v1252 -v1253 v1254 -v1256 -v1257 -v1258 -v1260 -v528 -v38 -v1125 -v272 -v1643 -v1756 -v1757 -v1758 -v1759 -v1760 -v1761 -v1762 -v1763 -v1764 -v1765 -v1766 -v1767 -v1768 -v1770 -v1772 -v1773 -v1774 -v1775 -v1776 -v1777 -v1778 -v1779 -v1780 -v1782 -v1784 -v1785 -v1787 -v1788 -v1790 -v1791 -v1792 -v1793 -v1794 -v1795 -v1796 -v1797 -v1279 -v516 -v698 -v1142 -v1440 -v89 -v506 -v398 -v345 -v423 -v1285 -v1131 -v1627 -v1149 -v1159 -v462 -v380 -v1387 -v1261 -v1262 -v1263 -v1265 -v1267 v1268 -v1269 -v1270 -v1271 -v1273 -v1274 -v1276 -v1277 -v1278 -v1280 -v1281 -v1283 -v1284 -v1288 -v1289 -v1290 -v1292 -v1293 -v1296 -v1297 -v1298 -v1299 -v1300 -v1301 -v1302 -v1303 -v1304 -v1305 -v1378 -v142 -v25 -v1411 -v1023 -v942 -v598 -v1396 -v237 -v1654 -v1886 -v1947 -v316 -v317 -v318 -v319 -v320 -v322 -v323 -v324 -v325 -v327 -v328 -v329 -v330 -v331 -v332 -v333 -v335 -v336 -v338 -v339 -v340 -v341 -v343 v344 -v347 -v348 -v349 -v350 -v351 -v355 -v357 -v360 -v491 -v123 -v1000 -v538 -v1030 -v154 -v545 -v1137 -v1334 -v443 -v281 -v255 -v951 -v771 -v1085 -v871 -v141 -v425 -v928 -v966 -v911 -v1021 -v1812 -v875 -v1659 -v601 -v310 -v703 -v605 -v576 -v697 -v1028 -v530 -v40 -v1913 -v268 -v919 -v32 -v1139 -v10 -v563 -v1636 -v1626 -v1129 -v544 -v1948 -v262 -v451 -v289 -v1373 -v461 -v111 -v868 -v264 -v1936 -v1382 -v950 -v1164 -v1663 -v1313 -v1035 -v857 -v1958 -v778 -v1894 -v1644 -v521 -v927 -v1838 -v1016 -v858 -v859 -v860 -v861 -v862 -v863 -v864 -v865 -v866 -v867 -v869 -v872 -v874 -v876 v877 -v878 -v880 -v881 -v882 -v883 -v884 -v885 -v887 -v888 -v891 -v892 -v894 -v895 -v896 -v897 -v898 -v899 -v900 -v234 -v179 -v441 -v64 -v413 -v1402 -v290 -v457 -v1857 -v1082 -v935 -v294 -v984 -v1432 -v1384 -v227 -v1887 -v424 -v1315 -v73 -v1816 -v604 -v308 -v1429 -v375 -v18 -v1153 -v1367 -v102 -v1925 -v304 -v774 -v390 -v1088 -v932 -v1931 -v478 -v1875 -v391 -v299 -v780 -v135 -v546 -v1883 -v1951 -v137 -v1019 -v784 -v1133 -v160 -v1170 -v520 -v766 -v7 -v704 -v986 -v482 -v106 -v103 -v269 -v1376 -v302 -v105 -v905 -v1871 -v678 -v1837 -v271 -v1665 -v693 -v501 -v769 -v602 -v560 -v1840 -v1904 -v470 -v1831 v1427 -v1017 -v1818 -v535 -v1093 -v381 -v1145 -v1967 -v267 -v1418 -v991 -v992 -v993 -v994 -v995 -v997 -v998 -v999 -v1001 -v1002 -v1004 -v1006 -v1008 -v1009 -v1010 -v1011 -v1012 -v1014 -v1015 -v1020 -v1022 v1026 -v1029 -v1031 -v1032 -v1033 -v1140 -v1964 -v1949 -v1107 -v579 -v72 -v1322 -v94 -v1120 -v1974 -v1111 -v1335 -v2 -v371 -v1970 -v46 -v47 -v48 -v49 -v52 -v53 -v55 -v58 -v60 -v61 -v62 -v63 -v65 -v66 -v67 -v69 -v70 -v71 -v74 -v75 -v76 -v77 -v78 -v79 -v80 -v81 -v82 -v83 -v84 -v85 -v86 v90 -v258 -v1911 -v567 -v93 -v1956 -v1623 -v1397 -v247 -v483 -v452 -v453 -v454 -v455 -v456 -v458 -v459 -v460 -v463 v464 -v465 -v466 -v467 -v469 -v471 -v472 -v473 -v474 -v475 -v476 -v479 -v480 -v481 -v485 -v486 -v489 -v492 -v493 -v494 -v495 -v1845 -v680 -v1319 -v804 -v699 -v1392 -v147 -v809 -v551 -v1098 -v144 -v691 -v1638 -v1835 -v1121 -v1905 -v514 -v150 -v403 -v440 -v611 -v595 -v1416 -v801 -v1390 -v1834 -v177 -v305 -v41 -v411 -v156 -v946 -v1902 -v782 -v1306 -v1307 -v1309 -v1310 -v1312 -v1314 v1317 -v1320 -v1321 -v1323 -v1325 -v1326 -v1327 -v1328 -v1329 -v1331 -v1332 -v1333 -v1336 -v1337 -v1338 -v1339 -v1341 -v1342 -v1343 -v1345 -v1346 -v1348 -v1349 -v1350 -v586 -v148 -v1656 -v422 -v775 -v370 -v1434 -v1642 -v1621 -v517 -v396 -v596 -v1975 -v1422 -v1132 -v1105 -v590 -v379 -v534 -v1116 v1126 -v712 v1393 -v1403 -v415 -v548 -v226 -v1850 -v1628 -v402 -v1922 -v1127 -v1130 -v1135 -v1136 -v1138 -v1141 -v1144 -v1146 -v1148 -v1151 -v1152 -v1154 -v1155 -v1156 -v1157 -v1158 -v1160 -v1162 -v1163 -v1165 -v1166 -v1167 -v1168 -v1849 -v1943 -v808 -v539 -v1430 -v1372 -v365 -v406 -v409 -v410 -v412 -v414 -v416 -v418 -v419 -v421 -v426 -v427 -v429 -v430 -v431 -v433 -v435 -v439 v442 -v445 -v446 -v447 -v448 -v449 -v450 -v278 -v940 -v28 -v100 -v1971 -v1813 -v1966 -v1366 -v916 -v955 -v957 -v274 -v1406 -v1662 -v1664 -v1410 -v109 -v1820 -v1356 -v807 -v1645 -v228 -v229 -v230 -v231 -v232 -v235 -v236 -v238 -v239 -v242 -v243 -v244 -v246 -v249 -v251 -v252 -v254 -v257 -v261 -v263 -v265 -v266 -v270 -v1104 -v1124 -v715 -v273 -v1870 -v931 -v1901 -v1100 -v502 -v556 -v681 -v589 -v591 -v592 -v593 -v594 -v599 -v600 -v607 -v608 -v609 -v612 -v613 v615 -v616 -v618 -v620 -v621 -v622 -v623 -v625 -v626 -v627 -v628 -v630 -v121 -v913 -v973 -v1860 -v1801 -v1805 v1806 -v1809 -v1811 -v1815 -v1822 -v1824 -v1825 -v1827 -v1832 -v1833 -v1839 -v1841 -v1842 -v1843 -v924 -v288 -v794 -v717 -v1357 -v529 -v796 -v964 -v566 -v708 -v1637 -v361 -v363 -v369 -v372 v373 -v374 -v377 -v378 -v383 -v384 -v385 -v386 -v387 -v388 -v392 -v395 -v397 -v400 -v404 -v405 -v767 -v770 -v772 -v773 -v776 -v777 -v781 -v783 -v785 -v786 -v787 -v788 v789 -v791 -v792 -v799 -v806 -v1106 -v943 -v1941 -v682 -v6 -v1847 -v29 -v1386 -v1081 -v1083 -v1086 -v1090 -v1094 -v1095 -v1097 -v1099 -v1102 -v1103 -v1108 -v1110 -v1112 -v1117 -v1118 -v1119 -v972 -v1900 -v1401 -v564 -v1863 -v558 -v679 -v711 -v283 -v1852 -v1437 -v1893 -v1952 -v112 -v314 -v1891 -v1896 -v1903 -v1909 -v1910 -v1915 -v1916 -v1917 -v1919 -v1920 -v1926 -v1927 -v1928 -v1930 -v1932 -v1935 -v709 -v1867 -v552 -v1888 -v1355 -v937 -v1942 -v906 -v960 -v917 -v921 -v707 -v980 -v569 -v696 -v1881 -v1634 -v1 -v136 -v139 -v140 -v143 -v145 -v151 -v155 -v157 -v161 -v162 -v163 -v164 -v165 -v167 v169 -v171 -v173 -v174 -v178 -v180 -v31 -v1398 -v1399 -v1400 -v1404 -v1407 -v1409 -v1412 -v1413 -v1414 -v1415 -v1419 -v1421 -v1423 -v1426 -v1433 -v1435 -v1631 -v522 -v1374 -v541 -v542 -v543 -v550 -v553 -v555 -v557 -v559 -v561 -v562 -v568 -v570 v571 -v573 -v574 -v578 -v580 -v583 -v584 -v585 -v909 v1889 -v1937 -v1938 -v1939 -v1940 -v1945 -v1946 -v1953 -v1954 -v1959 -v1962 -v1963 -v1968 -v1969 v1973 -v1976 -v979 -v948 -v947 -v920 -v124 -v533 -v20 -v941 -v509 v907 -v976 -v13 -v513 -v695 -v963 -v1862 -v1369 -v524 -v45 -v930 -v311 -v1633 -v125 v965 -v1375 -v515 -v1363 -v990 v95 -v1853 -v683 -v689 -v127 -v525 -v91 -v92 -v110 -v113 -v114 -v115 -v116 -v117 -v119 -v120 -v122 -v128 -v129 -v130 -v131 -v132 -v133 -v902 -v282 -v1869 -v1358 -v718 -v985 -v1351 -v1855 -v3 v4 -v5 -v9 -v11 -v14 -v15 -v16 -v17 -v19 -v21 -v24 -v30 -v34 -v35 -v37 -v44 -v1846 -v1848 -v1851 -v1858 -v1859 -v1868 -v1872 -v1874 -v1876 -v1877 -v1878 -v1879 -v1882 -v1361 -v309 -v1622 -v1624 -v1629 -v1635 v1639 -v1641 -v1646 -v1650 -v1651 -v1653 -v1655 -v1657 -v1661 -v531 -v904 -v908 -v910 -v912 -v918 -v923 -v925 -v934 -v944 -v1388 -v953 -v1380 -v1389 -v518 -v504 -v970 v280 -v527 -v497 -v505 -v508 -v536 -v540 -v1360 -v313 -v959 -v1362 -v983 -v315 -v952 -v1371 -v987 -v287 -v962 -v285 -v701 -v967 -v286 -v1379 -v677 -v688 -v694 -v307 -v279 -v676 -v301 -v988 -v989 -v1385 -v1395 -v1353 -v1364 -v1370 -v1377 -v710 -v716 -v303 -v684 -v713 -v275 -v949 -v961 -v276 -v295 -v306 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.00 0.00 0.00 1/54 18849
Raw data (stat): 18849 (runsolver) R 18848 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846951899 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 18849
Raw data (stat): 18849 (Pueblo-v2) R 18848 31399 31398 0 -1 0 862 0 0 0 996 2 0 0 25 0 1 0 846951899 9199616 836 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2246 836 566 18 0 2228 0
vsize: 8984
[startup+20.0008 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 18849
Raw data (stat): 18849 (Pueblo-v2) R 18848 31399 31398 0 -1 0 1203 0 0 0 1996 2 0 0 25 0 1 0 846951899 10633216 1177 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2596 1177 566 18 0 2578 0
vsize: 10384
[startup+30.0004 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 18849
Raw data (stat): 18849 (Pueblo-v2) R 18848 31399 31398 0 -1 0 1716 0 0 0 2995 3 0 0 25 0 1 0 846951899 12771328 1690 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3118 1690 566 18 0 3100 0
vsize: 12472
[startup+39.5582 s]
Raw data (loadavg): 0.49 0.12 0.04 1/53 18849
Raw data (stat): 18849 (Pueblo-v2) R 18848 31399 31398 0 -1 0 1716 0 0 0 2995 3 0 0 25 0 1 0 846951899 12771328 1690 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3118 1690 566 18 0 3100 0
vsize: 0

Child status: 10
Real time (s): 39.5579
CPU time (s): 39.545
CPU user time (s): 39.492
CPU system time (s): 0.052991
CPU usage (%): 99.9673
Max. virtual memory (Kb): 12472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####