Trace number 209530

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 NameAnswerCPU timeWall clock time
buggy_2_5_s 2007-01-08SAT 410.899 411.781

General information on the benchmark

Namefapp/fapp26-30/fapp30/
fapp30-3000-9.xml
MD5SUMb07ce052ad688d2d8eab94bfaa2539d4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark74.9176
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

SAT
2996 -2294 2872 -2346 -2672 -2350 -2644 -2980 2942 -2702 -2384 -2652 2226 2610 -2222 2486 2732 -2990 2440 -2884 -2262 -2950 -2280 -2996 -2392 -2814 -2508 -2534 2760 -2760 -2366 -2288 -2510 -2846 -2274 -2310 -2808 -2254 -2260 2276 2940 -2440 -2588 -2230 2960 -2266 2894 -2608 -2786 2764 -2356 -2422 2498 -2936 2384 2496 2848 -2432 -2472 2508 -2892 -2954 -2938 -2638 -2956 2622 -2966 -2440 2648 2450 2250 -2946 2224 -2788 -2256 2406 2270 -2574 -2806 -2980 -2928 -2236 2926 -2476 -2250 2482 -2690 -2638 -2600 -2322 -2610 2406 -2746 -2284 2346 -2846 -2688 2588 -2894 -2958 -2246 -2604 -2262 2588 -2610 -2476 2634 2700 -2270 -2644 -2464 2860 -2262 2640 2898 -2756 -2590 -2436 2222 -2386 -2598 -2870 -2402 -2972 -2488 2474 2622 -2620 2406 -2688 2538 -2758 2772 -2598 -2722 -2320 -2934 -2648 2940 -2776 -2730 2548 -2738 -2876 -2962 -2642 -2594 -2620 2900 -2280 -2354 -2548 2220 -2804 -2994 -2316 -2496 -2604 -2742 2790 2680 -2288 2996 -2284 -2618 -2278 2400 -2654 -2464 2360 2238 -2732 -2648 -2640 -2900 -2410 -2402 2954 -2818 -2748 -2956 -2418 2916 -2934 2950 2712 -2676 -2786 -2912 -2408 -2956 2816 -2848 2378 -2448 -2366 -2926 -2446 -2762 -2222 -2968 -2622 2982 -2282 2982 -2676 2904 2760 -2546 2826 -2902 -2578 2238 -2430 -2628 -2810 2860 -2230 -2384 -2960 -2514 2640 -2340 -2682 -2854 2566 -2222 -2844 -2936 -2390 2598 2590 -2518 2394 2546 -2964 -2606 -2760 -2878 -2404 -2598 -2332 -2442 -2930 2766 2760 -2304 -2884 -2404 -2772 2684 2860 -2684 -2454 -2270 2848 -2934 -2514 2278 -2884 -2872 -2710 2522 -2234 -2994 -2574 2266 2982 -2808 2324 -2918 -2600 -2722 -2938 -2286 -2260 -2846 -2294 2622 2486 2950 -2260 -2310 -2272 -2882 -2874 -2220 -2876 -2750 2966 -2534 -2332 -2494 -2282 -2392 -2588 2260 2982 -2330 -2582 -2788 -2978 2940 -2282 -2430 2252 -2720 -2942 -2648 -2944 2680 -2490 -2690 -2942 -2220 2766 2514 -2476 -2384 -2266 -2886 -2660 2944 -2238 -2562 -2888 -2858 -2254 -2944 -2598 2582 -2440 -2624 -2940 -2252 -2450 -2478 -2718 -2896 -2312 2778 2230 -2644 -2604 -2376 -2974 -2260 -2382 2926 2956 2940 -2922 -2814 2760 -2612 -2926 -2652 -2648 -2248 -2880 -2252 -2470 -2406 -2948 -2948 2390 -2446 -2312 2348 -2736 -2892 -2636 2454 2622 2950 -2720 -2898 2290 2260 -2246 -2620 -2728 2620 -2632 2688 -2260 -2618 -2304 2548 2410 -2684 2680 2834 -2382 -2392 -2622 2406 -2954 -2458 2816 -2290 -2962 -2888 -2914 -2542 -2378 -2804 -2956 2688 2548 -2944 -2940 2548 2938 -2994 2990 -2736 -2914 -2966 -2992 2240 -2612 -2806 -2422 -2736 2748 -2996 -2262 -2286 -2454 2768 -2272 2820 -2262 -2620 -2248 -2670 -2896 2538 2896 2530 -2954 -2558 -2908 2710 -2860 -2856 -2732 -2924 2898 -2804 -2608 -2314 -2724 -2792 -2490 -2818 -2994 -2248 -2878 -2994 2944 -2262 2486 2676 -2472 -2746 -2590 2690 2290 -2532 2352 2646 -2940 2916 -2320 2876 2718 2944 -2644 -2954 -2900 2622 2222 -2440 2432 -2366 -2512 -2940 -2358 2904 -2980 -2512 -2552 -2642 2370 -2812 2688 -2858 2894 -2398 -2958 -2656 -2486 2838 -2258 -2908 -2430 -2278 -2958 2290 2940 2600 -2640 -2862 2282 2688 -2562 -2512 -2988 2758 -2568 -2484 -2640 -2996 -2832 2904 -2982 2608 -2956 -2244 2914 -2846 -2782 -2664 -2806 -2730 -2438 -2760 2406 -2266 -2942 -2990 2988 -2278 -2980 -2708 -2648 2956 -2436 -2916 -2992 -2880 -2278 2608 2956 -2688 -2842 2900 -2908 -2706 -2902 -2282 2692 2548 2838 2440 -2892 -2432 -2650 -2260 -2540 -2944 -2426 -2294 2274 -2288 -2230 2554 -2628 -2878 -2528 -2978 -2664 -2910 -2706 -2424 -2336 -2890 2976 -2726 2548 -2756 -2860 2688 -2668 2606 -2606 -2608 -2754 -2850 -2802 -2918 -2448 2940 2916 2886 -2504 2406 2400 -2636 -2820 -2512 -2898 2674 -2294 -2222 2830 -2280 -2314 -2840 -2894 -2226 -2802 -2366 -2762 -2466 -2614 2862 2640 2434 -2746 -2468 2760 -2220 -2436 -2432 -2852 -2552 2982 -2496 -2340 -2386 -2466 -2620 -2742 -2542 -2940 -2590 2960 -2232 2354 -2410 -2940 -2980 -2948 -2770 2990 -2752 -2718 -2938 -2322 -2664 -2646 -2864 -2926 -2406 -2252 -2260 -2254 -2644 2702 -2790 -2234 -2294 2260 -2382 2940 -2996 2402 -2878 -2380 -2426 2456 -2706 -2454 -2328 -2898 2808 -2858 -2380 -2494 -2678 -2762 -2884 -2342 -2552 -2484 2820 2942 -2822 2608 -2680 2980 -2726 2254 -2820 2220 2860 2432 -2288 2570 2910 -2976 2266 -2950 -2372 -2350 -2724 2996 -2874 -2262 -2960 -2632 2880 -2790 -2486 -2898 -2514 2640 -2256 -2548 -2878 2944 -2580 -2980 2948 -2308 -2310 -2774 2648 -2262 2812 2810 -2514 2876 2326 -2764 2924 -2530 -2810 2264 2950 -2534 -2426 2950 2302 -2310 -2258 -2788 -2236 -2568 -2790 -2940 -2548 -2390 -2644 -2730 -2274 -2800 2366 -2678 2588 -2270 -2600 2688 2696 -2770 -2552 -2494 -2996 -2754 -2714 -2496 -2590 -2592 -2868 -2254 2950 -2514 2238 -2758 -2858 -2618 -2994 2658 -2536 -2276 -2974 -2650 -2290 2454 -2970 -2250 -2826 -2388 -2674 2982 -2294 -2634 -2228 -2602 -2918 -2940 -2228 -2446 2248 -2260 2296 -2718 -2414 2290 -2630 2648 -2940 2898 -2906 -2592 2488 -2342 2270 -2282 2560 2826 -2860 -2406 2876 2290 2866 -2938 2676 -2948 -2784 -2600 2366 -2918 -2362 2996 -2240 -2754 -2886 -2916 -2274 2982 -2996 -2872 -2276 -2862 2466 -2576 -2644 2382 -2920 -2424 -2264 2260 2990 2254 2280 2494 -2468 2760 -2940 -2776 -2906 2268 -2312 -2224 -2640 2828 -2810 -2678 2776 -2926 -2994 2910 2944 -2536 -2342 -2504 -2538 2950 2906 2896 -2290 -2706 -2818 2262 -2994 -2430 -2910 -2322 -2570 -2488 2262 -2706 2474 2996 -2954 -2910 -2668 2648 -2486 2788 -2260 -2994 2652 -2954 -2262 -2948 -2248 -2772 2584 -2622 -2668 2638 -2756 -2984 2956 -2452 -2348 2730 -2832 -2362 2416 -2650 2908 -2500 -2648 -2224 -2258 -2794 -2738 -2444 -2524 -2922 -2918 2290 -2974 -2614 -2764 -2870 2250 -2678 -2950 -2682 2900 -2514 -2446 -2894 2938 -2680 -2780 -2904 -2596 -2486 -2568 -2622 -2954 -2276 2248 2602 -2322 -2548 2588 -2730 -2918 2514 2646 -2858 -2720 -2312 -2230 2342 2554 -2954 2920 -2566 -2940 -2644 -2988 2640 -2846 -2448 -2290 -2282 2220 -2866 -2844 -2750 -2422 -2746 -2554 -2366 -2396 -2244 2640 -2942 2790 2274 -2770 -2872 2540 -2602 2370 -2870 -2362 -2452 -2268 -2380 -2592 -2634 -2680 -2422 2326 -2836 2856 -2788 -2770 -2268 -2636 -2852 -2840 -2884 -2980 -2250 -2686 -2666 2906 -2888 -2860 2680 -2588 2980 2900 -2262 -2292 -2954 -2352 -2490 -2552 -2338 2988 -2250 2720 -2742 -2378 -2680 -2280 -2246 -2548 -2876 2944 -2632 2724 2648 -2764 2250 -2362 2606 -2954 2946 -2338 -2384 -2642 -2784 2942 -2940 -2872 -2386 -2436 -2592 -2274 -2578 -2542 2982 -2500 -2566 2992 -2350 2978 2250 -2608 2622 -2604 2250 -2566 2956 -2554 -2744 -2730 -2688 -2922 -2574 2938 -2980 -2986 -2578 2648 2792 -2680 -2828 -2650 -2738 2646 -2316 -2506 2294 -2980 2296 2916 -2600 -2686 -2660 -2868 -2248 -2768 2366 -2818 -2794 2808 -2746 -2994 -2940 -2954 -2608 -2504 2554 -2376 -2276 -2942 2688 -2994 -2982 -2690 2994 2898 -2570 -2284 2690 -2902 -2790 -2548 2736 -2574 -2512 -2808 2996 -2900 2646 -2908 2718 2904 2980 -2980 2732 -2302 2292 -2386 -2880 2580 2950 -2894 -2720 2628 -2474 -2278 -2644 -2420 -2990 2918 -2828 -2954 -2760 -2698 -2684 -2632 -2300 -2890 2700 -2220 2746 -2910 -2642 2400 2938 -2874 -2854 2810 -2900 2874 -2498 -2260 -2722 -2710 -2950 2410 -2528 -2720 2276 -2742 -2876 -2804 -2892 2424 2474 -2830 2906 -2276 -2512 -2230 -2550 -2554 -2238 2830 -2946 -2760 -2290 2720 -2496 -2762 -2804 -2726 2876 -2598 2364 -2940 2454 2700 -2500 2692 -2824 -2870 -2940 -2386 2768 -2670 -2592 2982 -2742 -2574 -2234 -2268 -2680 2944 -2702 -2390 2702 -2886 -2552 2628 -2246 2266 2646 -2406 2980 -2744 -2770 -2580 -2610 -2660 2582 -2606 2512 -2720 -2814 -2834 -2954 2366 -2270 -2280 2860 2732 -2774 -2288 -2956 -2280 2944 2720 -2870 -2838 2942 -2588 -2352 2228 -2932 2620 -2724 -2860 -2878 2250 -2892 -2300 -2770 -2766 -2476 -2960 -2996 2938 -2868 2406 -2982 -2580 -2352 -2792 -2904 -2294 -2362 2744 -2262 -2680 2624 -2574 2550 -2288 -2504 2262 2916 -2440 2340 -2264 2416 -2222 2366 -2988 2582 2278 2230 -2680 -2940 -2562 2514 -2540 -2950 -2752 -2812 -2944 2406 -2382 -2444 -2818 2720 2280 -2562 -2954 -2858 -2290 -2940 2242 2996 -2326 -2270 -2980 -2930 2696 2680 2820 -2682 -2880 2288 -2854 -2860 -2254 -2260 -2534 -2220 2866 2996 -2238 -2960 -2676 2990 2440 2990 -2560 -2426 2954 -2650 -2554 -2264 -2382 2446 -2290 2702 2900 -2728 -2424 -2828 -2412 -2994 2906 2326 -2900 -2390 2834 2898 2956 -2766 -2716 -2370 -2446 2412 -2222 -2352 2942 -2292 -2782 -2258 -2862 -2588 -2400 -2458 2582 2990 2510 -2400 2640 2562 2860 -2996 -2298 -2976 -2864 -2702 -2608 -2268 -2936 -2266 2232 -2288 -2302 2942 2406 -2406 -2524 -2510 -2234 -2868 -2604 2490 -2986 -2226 2534 -2500 2982 -2938 -2350 -2636 2432 -2758 -2310 -2860 2522 -2924 -2502 -2230 -2296 2950 -2688 2730 -2704 -2228 2916 -2892 -2254 -2284 -2728 2242 -2510 2882 -2822 -2786 2932 2432 -2368 2688 2758 -2692 -2644 2628 2260 -2606 -2596 -2658 -2296 -2572 -2640 -2820 2996 2646 -2680 2262 2940 -2422 -2364 -2930 2674 2222 -2348 -2858 -2648 2830 2986 -2924 2626 -2996 2320 -2284 -2582 2446 -2700 2760 -2658 -2934 -2422 -2548 -2640 -2610 -2688 -2530 -2412 -2242 -2312 -2380 -2294 -2634 -2424 -2592 -2500 -2794 -2914 -2454 2792 -2980 2916 2830 -2382 -2716 2956 -2898 -2994 -2338 -2946 -2748 -2600 -2452 -2226 -2690 -2494 -2290 -2830 -2220 2904 -2354 -2260 -2388 -2942 -2382 2270 2554 -2568 -2944 2904 -2980 -2932 -2352 -2660 2220 -2994 2230 -2942 -2344 -2638 -2420 -2338 -2558 2846 -2940 -2242 -2948 -2512 -2592 -2794 -2720 -2846 -2936 -2296 -2760 -2942 2286 -2956 -2958 -2576 -2578 2446 -2426 2982 -2986 -2948 2220 -2994 2910 -2378 -2950 2942 -2354 2936 -2752 -2272 2494 -2918 -2404 -2542 -2224 -2380 2640 -2712 -2858 -2618 -2918 -2510 2274 -2932 2588 -2494 2266 -2900 2576 -2292 -2944 -2552 2696 2574 -2552 -2538 2920 -2640 -2536 2290 -2376 -2736 -2926 2720 -2818 -2240 -2680 -2956 2654 -2464 -2976 -2898 -2938 2588 2220 2630 -2318 -2236 2508 -2230 -2464 -2480 -2420 -2260 -2772 -2644 2432 -2228 2720 -2994 -2444 -2690 -2388 2710 2548 -2264 -2498 -2522 -2548 -2718 2960 -2956 -2802 -2520 -2506 -2548 -2752 -2952 -2624 -2224 -2840 2718 -2804 -2840 -2476 -2394 -2670 -2822 2692 2970 2528 -2640 2980 2688 -2730 2820 -2938 2360 2910 2910 -2902 2692 -2976 2810 2282 2460 -2720 -2296 2588 -2978 -2238 -2570 -2616 -2328 2972 -2220 -2900 2238 2222 2236 -2446 -2700 -2768 -2714 2486 2904 -2726 2904 -2764 2392 -2766 2878 -2980 -2918 -2324 -2510 -2478 -2288 -2322 -2270 2856 2950 -2244 -2906 2758 -2436 -2934 2860 2260 2550 -2632 2290 -2982 -2424 2264 -2344 -2338 -2680 -2644 2956 2904 -2256 -2378 -2918 -2444 2884 -2706 2622 -2220 2946 -2224 -2812 -2640 2980 -2344 -2680 -2224 2510 -2858 -2522 2574 2742 -2642 -2990 2866 -2568 2352 -2452 -2222 2684 -2348 -2848 -2774 -2680 -2992 2648 -2504 -2706 2766 -2528 -2262 2260 -2956 -2262 -2294 2776 2370 -2946 2980 -2704 -2322 -2966 2470 -2392 -2450 -2450 -2768 2286 2498 -2930 -2724 2522 -2782 -2936 2938 -2840 -2618 -2660 -2438 2766 -2604 -2534 -2922 2748 -2698 -2720 -2916 -2752 -2940 -2448 -2588 2760 -2272 -2380 -2222 -2588 -2966 -2898 -2820 -2750 2272 -2810 2558 -2588 -2420 2446 -2872 2950 -2650 -2630 -2304 -2380 -2850 2898 -2438 -2380 2406 -2936 -2750 -2406 -2720 -2472 -2690 -2502 2950 -2678 -2708 -2838 -2614 2746 -2940 -2728 -2676 2330 -2972 -2782 2390 -2334 -2868 -2270 -2534 -2844 -2878 2350 2582 -2956 2640 -2776 -2686 2568 2614 -2536 -2402 -2420 2366 -2278 -2410 -2860 -2766 2240 -2722 -2936 -2574 2442 2508 -2672 -2828 -2720 -2924 -2670 -2366 2344 2790 -2720 -2380 -2580 -2760 2698 2484 2682 -2258 2688 -2682 2904 2814 2918 -2444 2244 2950 -2498 -2354 2442 -2630 2748 2732 -2634 -2806 2222 -2412 -2854 2574 -2706 2514 2942 -2366 -2260 -2874 -2300 -2644 -2578 2980 -2406 2648 2220 -2552 -2226 -2636 2980 2252 -2412 -2912 2928 2876 -2560 2236 2366 -2420 -2438 2228 2648 2648 2416 -2260 2954 -2500 2990 -2946 2950 -2640 -2868 -2798 2830 2816 2904 -2828 2980 -2836 2896 -2464 -2404 -2296 -2600 2284 2592 -2648 2716 -2946 -2996 2446 -2668 2988 -2290 -2262 -2298 -2292 -2226 -2278 -2856 -2726 -2262 -2912 2864 -2822 -2950 -2274 2920 -2936 -2664 -2310 -2966 -2642 2490 -2644 2732 -2856 2936 2648 2942 -2234 2576 -2726 -2348 -2946 -2892 -2558 2990 2994 -2284 -2574 2470 -2898 -2552 -2608 2314 2606 -2520 -2710 -2700 -2576 2808 -2786 -2578 -2330 -2962 2404 2316 -2450 -2236 -2268 -2996 -2640 -2452 -2298 -2508 -2290 -2608 2848 -2672 2934 -2234 -2396 2820 -2680 2382 -2504 2220 -2240 -2860 -2682 2446 -2352 -2388 -2472 -2418 -2994 -2674 -2900 -2582 -2918 -2698 -2452 -2760 -2408 -2278 -2496 -2912 2222 -2288 -2610 -2778 -2954 -2570 -2850 -2904 2648 -2452 2920 -2720 2366 -2790 -2334 2392 -2904 -2290 -2972 -2684 -2894 2490 2222 -2330 -2600 -2838 2680 -2450 -2900 -2334 -2820 -2860 -2984 -2226 -2552 -2820 2944 2552 -2632 -2798 2402 -2682 -2264 2276 2448 -2730 -2946 2582 2240 -2932 2254 2876 -2236 -2492 2552 -2772 2314 2790 -2322 -2652 -2610 -2980 -2448 -2372 -2970 -2250 2980 -2946 -2230 2850 -2690 -2942 -2514 2622 -2346 2840 -2406 -2644 2904 -2940 2440 2954 -2336 2506 2276 -2786 -2622 -2582 -2296 2574 -2496 -2294 2486 -2616 2282 -2976 2910 -2994 2950 -2328 2406 -2948 -2916 2932 -2612 -2254 -2472 -2582 -2588 -2648 2514 -2898 -2902 -2792 2952 2906 -2946 -2764 -2374 -2772 -2548 -2818 -2896 2378 -2824 -2726 -2424 -2294 -2750 -2460 2940 -2884 2866 -2710 2462 -2604 2936 -2824 2942 2746 -2758 -2844 2676 -2220 -2636 -2822 -2868 2810 -2444 -2478 2986 2880 -2240 -2820 2992 -2260 -2676 -2232 -2932 -2480 -2320 -2668 2338 -2592 2814 2952 -2668 -2330 -2772 -2236 -2934 -2292 2720 -2796 -2366 2578 2764 2450 -2402 -2270 2690 -2510 2514 -2298 -2618 -2290 2920 -2942 -2236 -2936 2278 -2980 2238 -2464 -2858 2900 -2250 -2828 -2884 -2270 -2692 -2574 -2260 -2950 -2380 -2688 -2226 2586 -2400 2684 -2808 -2940 2682 2904 2620 -2772 -2818 -2242 -2618 2806 2916 -2420 -2356 -2536 2432 -2988 2326 -2634 -2736 -2830 -2578 -2786 2782 -2658 -2366 2276 2366 2486 -2716 -2232 2250 -2256 2486 2220 2820 -2932 -2942 2278 -2872 -2578 -2446 -2720 -2996 -2802 -2964 2222 -2220 -2338 2944 -2472 2876 2470 -2956 -2948 -2440 -2948 -2944 -2674 -2280 -2226 -2536 -2862 -2548 2948 -2470 -2486 -2262 -2476 -2618 -2560 -2392 -2858 -2314 2440 -2988 -2464 -2384 -2222 -2520 -2312 -2276 -2480 -2436 2950 -2346 -2856 2876 -2256 2644 2704 2692 2900 2718 -2688 2904 -2976 -2956 -2842 -2590 -2996 2988 -2988 2494 2990 -2782 -2480 -2248 2900 -2298 -2860 -2550 2438 2976 2238 -2588 2534 -2994 -2720 2460 -2378 -2984 2944 -2738 -2938 -2508 -2742 -2242 -2294 -2938 -2898 -2850 -2356 -2454 2944 -2560 2966 2990 -2512 2292 -2934 -2904 2304 -2938 2860 -2544 2692 -2532 -2530 2860 -2746 2806 -2902 -2896 2398 -2386 2982 -2732 -2604 -2494 -2666 -2888 2944 -2826 -2976 2760 2898 -2638 -2816 -2636 2406 -2368 2322 -2362 2364 -2292 -2786 2732 -2466 2296 -2300 -2662 -2330 -2548 -2264 2464 -2922 -2270 2344 -2780 2996 -2604 -2844 2404 2366 2606 -2512 -2898 -2236 -2276 2944 -2514 -2982 2606 2878 -2318 2790 -2848 2288 -2260 -2366 2734 2952 2250 2820 -2830 2860 2904 2250 -2276 -2276 -2278 -2858 -2250 -2336 2956 -2534 -2436 2942 -2924 -2870 -2908 -2354 2652 -2816 2778 -2898 -2270 2488 2534 2940 2720 -2220 -2740 -2680 -2604 -2660 -2958 2274 -2850 -2492 -2952 2278 -2624 -2348 -2650 2860 -2492 -2598 2446 2966 -2910 -2750 -2988 -2916 -2492 -2298 2692 -2372 -2958 -2678 -2458 -2794 -2680 -2526 -2306 2554 -2738 2306 -2230 -2242 -2480 -2738 -2420 2990 -2352 2680 -2980 2860 -2942 2446 -2790 -2648 -2432 -2446 -2940 -2828 -2330 -2660 -2422 2692 -2910 -2832 -2408 -2502 -2238 -2862 2704 2266 -2464 2660 2980 -2958 2640 -2566 -2720 2848 -2480 -2970 -2592 -2334 -2224 2806 2778 -2716 -2432 -2308 2496 -2916 -2974 -2732 -2812 -2222 2910 -2972 -2606 -2956 2934 -2560 -2488 -2510 -2666 -2286 -2426 -2956 -2492 -2752 -2920 2244 2400 -2278 -2966 2926 -2340 -2554 -2622 -2810 -2648 -2728 -2750 -2936 -2644 2772 -2954 -2938 -2702 -2932 2818 2940 -2720 -2230 -2732 2982 2860 -2316 -2860 -2722 -2344 -2324 -2632 -2466 -2256 -2220 -2298 -2300 -2494 -2860 -2332 -2534 -2594 -2548 -2502 -2680 2980 -2506 2588 -2856 -2250 -2554 2314 -2614 -2718 -2594 -2552 -2902 -2302 -2644 2608 -2580 -2988 2548 2296 2648 -2926 2680 2250 2238 -2666 -2224 2366 -2742 -2788 -2604 -2472 -2798 2582 -2636 2920 -2938 -2456 2474 -2914 2550 -2270 -2964 -2582 -2940 2478 -2788 2696 -2600 2646 2452 2294 2934 -2956 -2310 -2936 -2394 2880 -2806 -2442 -2708 -2340 -2458 -2604 -2954 -2746 -2246 -2392 2844 -2788 -2282 2534 -2822 2312 2220 2282 -2744 2424 2406 2720 -2876 -2996 -2718 -2448 -2926 -2686 2366 -2906 -2818 -2422 -2578 -2994 -2270 2680 2680 2782 -2550 2274 -2530 -2314 2904 -2396 2956 -2954 -2296 -2682 2996 2438 -2418 -2642 -2256 -2674 -2262 2948 -2730 2280 -2948 -2322 -2858 -2810 2700 -2860 -2268 -2854 2508 -2920 -2396 -2914 2944 2646 2708 -2770 -2260 -2874 2510 2916 2688 2250 2742 -2290 -2492 2290 -2244 -2260 2424 2790 -2720 2920 -2300 -2686 -2436 -2444 2312 -2956 2384 2290 -2506 -2514 -2536 -2222 2732 -2900 -2270 -2902 -2514 -2658 -2494 2560 -2980 -2316 2406 2720 -2582 -2708 -2684 2820 2760 2790 2940 -2554 2648 2536 2942 -2828 2640 2448 2252 -2420 2664 2558 -2910 2688 -2634 -2408 -2288 2960 -2900 -2262 2904 -2318 -2854 2732 2632 -2366 -2354 2930 -2938 2680 -2780 -2432 -2526 2400 -2698 2290 -2490 -2256 -2604 -2930 -2914 -2228 2692 -2742 -2328 -2940 -2768 -2492 -2980 -2956 2954 -2982 -2562 -2238 2918 -2282 -2548 -2630 -2746 -2484 2234 -2380 -2698 -2706 -2698 -2460 -2314 2614 2944 -2520 2264 2248 -2222 -2606 -2944 -2648 -2646 -2744 2942 2778 2974 -2958 -2220 -2982 -2816 -2488 -2734 2720 2704 -2808 2432 -2456 -2900 -2736 -2852 -2292

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node11/watcher-209530-1168294446 -o ROOT/results/node11/solver-209530-1168294446 -C 1800 -M 900 /tmp/evaluation/209530-1168294446/solver2 /tmp/evaluation/209530-1168294446/unknown 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.25 1.03 1.23 5/87 26562
/proc/meminfo: memFree=1174800/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=18540 CPUtime=0
/proc/26561/stat : 26561 (runsolver) R 26559 26561 21028 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 177839821 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 262910045479 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26561/statm: 4635 279 244 17 0 2626 0

[startup+0.108878 s]
/proc/loadavg: 1.25 1.03 1.23 5/87 26562
/proc/meminfo: memFree=1174800/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=0
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 353 334 0 0 0 0 0 0 20 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.516962 s]
/proc/loadavg: 1.25 1.03 1.23 5/87 26562
/proc/meminfo: memFree=1174800/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=0
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 353 334 0 0 0 0 0 0 20 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34013 s]
/proc/loadavg: 1.25 1.03 1.23 3/88 26574
/proc/meminfo: memFree=1156808/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=0.94
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 376 3192 0 0 0 0 86 8 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26574] ppid=26561 vsize=17512 CPUtime=0.33
/proc/26574/stat : 26574 (bordewijk) R 26561 26561 21028 0 -1 4194304 3853 0 0 0 31 2 0 0 20 0 1 0 177839919 17932288 3825 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26574/statm: 4378 3825 204 97 0 3659 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 22864

[startup+2.98345 s]
/proc/loadavg: 1.25 1.03 1.23 3/88 26574
/proc/meminfo: memFree=1103304/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=0.94
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 376 3192 0 0 0 0 86 8 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26574] ppid=26561 vsize=82852 CPUtime=1.94
/proc/26574/stat : 26574 (bordewijk) R 26561 26561 21028 0 -1 4194304 20212 0 0 0 178 16 0 0 25 0 1 0 177839919 84840448 20184 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134552351 0 0 4096 0 0 0 0 17 1 0 0
/proc/26574/statm: 20713 20184 204 97 0 19994 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 88204

[startup+6.2661 s]
/proc/loadavg: 1.31 1.05 1.24 3/88 26574
/proc/meminfo: memFree=958096/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=0.94
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 376 3192 0 0 0 0 86 8 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26574] ppid=26561 vsize=199012 CPUtime=5.2
/proc/26574/stat : 26574 (bordewijk) R 26561 26561 21028 0 -1 4194304 49260 0 0 0 482 38 0 0 25 0 1 0 177839919 203788288 49230 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134789925 0 0 4096 0 0 0 0 17 1 0 0
/proc/26574/statm: 49753 49230 211 97 0 49034 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 204364

[startup+12.7364 s]
/proc/loadavg: 1.37 1.06 1.24 3/88 26574
/proc/meminfo: memFree=591760/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=0.94
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 376 3192 0 0 0 0 86 8 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26574] ppid=26561 vsize=514056 CPUtime=11.57
/proc/26574/stat : 26574 (bordewijk) R 26561 26561 21028 0 -1 4194304 139478 0 0 0 833 324 0 0 25 0 1 0 177839919 526393344 125849 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26574/statm: 128514 125849 217 97 0 127795 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 519408

[startup+25.5579 s]
/proc/loadavg: 1.57 1.12 1.26 3/88 26574
/proc/meminfo: memFree=579536/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=0.94
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 376 3192 0 0 0 0 86 8 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26574] ppid=26561 vsize=514056 CPUtime=24.27
/proc/26574/stat : 26574 (bordewijk) R 26561 26561 21028 0 -1 4194304 139478 0 0 0 899 1528 0 0 25 0 1 0 177839919 526393344 125849 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26574/statm: 128514 125849 217 97 0 127795 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 519408

[startup+51.235 s]
/proc/loadavg: 1.72 1.19 1.28 3/88 26575
/proc/meminfo: memFree=850768/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=26.5
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 397 142671 0 0 0 0 994 1656 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26575] ppid=26561 vsize=318404 CPUtime=24.04
/proc/26575/stat : 26575 (standalone) R 26561 26561 21028 0 -1 4194304 78426 0 0 0 2007 397 0 0 25 0 1 0 177842506 326045696 77134 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3844278449 0 0 4096 0 0 0 0 17 0 0 0
/proc/26575/statm: 79601 77134 137 64 0 78916 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 323756

[startup+102.44 s]
/proc/loadavg: 1.87 1.31 1.31 3/88 27273
/proc/meminfo: memFree=960208/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=26.5
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 397 142671 0 0 0 0 994 1656 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26575] ppid=26561 vsize=318404 CPUtime=75.18
/proc/26575/stat : 26575 (standalone) R 26561 26561 21028 0 -1 4194304 79950 0 0 0 7114 404 0 0 25 0 1 0 177842506 326045696 78658 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3849300964 0 0 4096 0 0 0 0 17 0 0 0
/proc/26575/statm: 79601 78658 137 64 0 78916 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 323756

[startup+162.54 s]
/proc/loadavg: 1.42 1.30 1.31 2/79 27290
/proc/meminfo: memFree=1190552/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=26.5
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 397 142671 0 0 0 0 994 1656 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26575] ppid=26561 vsize=318404 CPUtime=135.24
/proc/26575/stat : 26575 (standalone) R 26561 26561 21028 0 -1 4194304 79956 0 0 0 13120 404 0 0 25 0 1 0 177842506 326045696 78664 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3851235013 0 0 4096 0 0 0 0 17 0 0 0
/proc/26575/statm: 79601 78664 137 64 0 78916 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 323756

[startup+222.628 s]
/proc/loadavg: 1.15 1.24 1.28 2/79 27290
/proc/meminfo: memFree=1190552/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=26.5
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 397 142671 0 0 0 0 994 1656 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26575] ppid=26561 vsize=318404 CPUtime=195.3
/proc/26575/stat : 26575 (standalone) R 26561 26561 21028 0 -1 4194304 79960 0 0 0 19126 404 0 0 25 0 1 0 177842506 326045696 78668 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134527014 0 0 4096 0 0 0 0 17 0 0 0
/proc/26575/statm: 79601 78668 137 64 0 78916 0
Current children cumulated CPU time (s) 221.8
Current children cumulated vsize (KiB) 323756

[startup+282.716 s]
/proc/loadavg: 1.05 1.19 1.26 2/79 27290
/proc/meminfo: memFree=1190616/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=26.5
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 397 142671 0 0 0 0 994 1656 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26575] ppid=26561 vsize=318404 CPUtime=255.37
/proc/26575/stat : 26575 (standalone) R 26561 26561 21028 0 -1 4194304 79973 0 0 0 25132 405 0 0 25 0 1 0 177842506 326045696 78681 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3843129121 0 0 4096 0 0 0 0 17 0 0 0
/proc/26575/statm: 79601 78681 137 64 0 78916 0
Current children cumulated CPU time (s) 281.87
Current children cumulated vsize (KiB) 323756

[startup+342.798 s]
/proc/loadavg: 1.02 1.16 1.24 2/79 27292
/proc/meminfo: memFree=1190488/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=26.5
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 397 142671 0 0 0 0 994 1656 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26575] ppid=26561 vsize=318404 CPUtime=315.43
/proc/26575/stat : 26575 (standalone) R 26561 26561 21028 0 -1 4194304 79973 0 0 0 31138 405 0 0 25 0 1 0 177842506 326045696 78681 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3843038880 0 0 4096 0 0 0 0 17 0 0 0
/proc/26575/statm: 79601 78681 137 64 0 78916 0
Current children cumulated CPU time (s) 341.93
Current children cumulated vsize (KiB) 323756

[startup+402.88 s]
/proc/loadavg: 1.00 1.12 1.23 2/79 27292
/proc/meminfo: memFree=1190552/2055920 swapFree=4192812/4192956
[pid=26561] ppid=26559 vsize=5352 CPUtime=26.5
/proc/26561/stat : 26561 (solver2) S 26559 26561 21028 0 -1 4194304 397 142671 0 0 0 0 994 1656 16 0 1 0 177839821 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26561/statm: 1338 242 203 169 0 49 0
[pid=26575] ppid=26561 vsize=318404 CPUtime=375.49
/proc/26575/stat : 26575 (standalone) R 26561 26561 21028 0 -1 4194304 79973 0 0 0 37144 405 0 0 25 0 1 0 177842506 326045696 78681 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3851423290 0 0 4096 0 0 0 0 17 0 0 0
/proc/26575/statm: 79601 78681 137 64 0 78916 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 323756

Child status: 0
Real time (s): 411.781
CPU time (s): 410.899
CPU user time (s): 390.218
CPU system time (s): 20.6809
CPU usage (%): 99.7858
Max. virtual memory (cumulated for all children) (KiB): 519408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 390.218
system time used= 20.6809
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1280
involuntary context switches= 11300

runsolver used 0.416936 s user time and 1.14183 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Mon Jan  8 22:14:08 UTC 2007


IDJOB= 209530
IDBENCH= 4522
FILE ID= node11/209530-1168294446

PBS_JOBID= 3501886

Free space on /tmp= 66248 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
COMMAND LINE= /tmp/evaluation/209530-1168294446/solver2 /tmp/evaluation/209530-1168294446/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-209530-1168294446 -o ROOT/results/node11/solver-209530-1168294446 -C 1800 -M 900  /tmp/evaluation/209530-1168294446/solver2 /tmp/evaluation/209530-1168294446/unknown 1800

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  b07ce052ad688d2d8eab94bfaa2539d4

RANDOM SEED= 446914426

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1175280 kB
Buffers:         77896 kB
Cached:         371244 kB
SwapCached:          0 kB
Active:         645232 kB
Inactive:       171964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1175280 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           75628 kB
Writeback:           0 kB
Mapped:         388092 kB
Slab:            47556 kB
Committed_AS:  5998636 kB
PageTables:       2988 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66266 MiB



End job on node11 on Mon Jan  8 22:21:01 UTC 2007