Trace number 209466

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 427.264 427.769

General information on the benchmark

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

[startup+0.108689 s]
/proc/loadavg: 1.06 1.40 1.23 5/87 6379
/proc/meminfo: memFree=1413976/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=0
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 353 334 0 0 0 0 0 0 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.517729 s]
/proc/loadavg: 1.06 1.40 1.23 5/87 6379
/proc/meminfo: memFree=1413976/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=0
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 353 334 0 0 0 0 0 0 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34682 s]
/proc/loadavg: 1.06 1.40 1.23 3/88 6391
/proc/meminfo: memFree=1336592/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=0.95
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 376 3192 0 0 0 0 85 10 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6391] ppid=6378 vsize=18172 CPUtime=0.36
/proc/6391/stat : 6391 (bordewijk) R 6378 6378 1488 0 -1 4194304 4027 0 0 0 32 4 0 0 20 0 1 0 177836453 18608128 3999 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134544136 0 0 4096 0 0 0 0 17 1 0 0
/proc/6391/statm: 4543 3999 204 97 0 3824 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 23524

[startup+2.98899 s]
/proc/loadavg: 1.06 1.40 1.23 3/88 6391
/proc/meminfo: memFree=1226448/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=0.95
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 376 3192 0 0 0 0 85 10 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6391] ppid=6378 vsize=84304 CPUtime=1.99
/proc/6391/stat : 6391 (bordewijk) R 6378 6378 1488 0 -1 4194304 20563 0 0 0 182 17 0 0 25 0 1 0 177836453 86327296 20535 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 3319576 0 0 4096 0 0 0 0 17 1 0 0
/proc/6391/statm: 21076 20535 204 97 0 20357 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 89656

[startup+6.26833 s]
/proc/loadavg: 1.13 1.41 1.24 3/88 6391
/proc/meminfo: memFree=961744/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=0.95
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 376 3192 0 0 0 0 85 10 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6391] ppid=6378 vsize=197968 CPUtime=5.26
/proc/6391/stat : 6391 (bordewijk) R 6378 6378 1488 0 -1 4194304 48928 0 0 0 482 44 0 0 25 0 1 0 177836453 202719232 48898 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 3325655 0 0 4096 0 0 0 0 17 1 0 0
/proc/6391/statm: 49492 48898 211 97 0 48773 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 203320

[startup+12.756 s]
/proc/loadavg: 1.20 1.42 1.24 3/88 6391
/proc/meminfo: memFree=264160/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=0.95
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 376 3192 0 0 0 0 85 10 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6391] ppid=6378 vsize=514056 CPUtime=11.67
/proc/6391/stat : 6391 (bordewijk) R 6378 6378 1488 0 -1 4194304 139478 0 0 0 846 321 0 0 25 0 1 0 177836453 526393344 125849 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6391/statm: 128514 125849 217 97 0 127795 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 519408

[startup+25.5711 s]
/proc/loadavg: 1.38 1.45 1.25 3/88 6391
/proc/meminfo: memFree=241896/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=0.95
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 376 3192 0 0 0 0 85 10 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6391] ppid=6378 vsize=514056 CPUtime=24.43
/proc/6391/stat : 6391 (bordewijk) R 6378 6378 1488 0 -1 4194304 139478 0 0 0 906 1537 0 0 25 0 1 0 177836453 526393344 125849 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6391/statm: 128514 125849 217 97 0 127795 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 519408

[startup+51.2238 s]
/proc/loadavg: 1.59 1.49 1.27 3/88 7075
/proc/meminfo: memFree=998248/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=29.48
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 397 142671 0 0 0 0 1017 1931 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6393] ppid=6378 vsize=318404 CPUtime=21.49
/proc/6393/stat : 6393 (standalone) R 6378 6378 1488 0 -1 4194304 78397 0 0 0 1745 404 0 0 25 0 1 0 177839323 326045696 77105 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3843858595 0 0 4096 0 0 0 0 17 0 0 0
/proc/6393/statm: 79601 77105 137 64 0 78916 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 323756

[startup+102.519 s]
/proc/loadavg: 1.54 1.50 1.29 2/79 7093
/proc/meminfo: memFree=1073112/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=29.48
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 397 142671 0 0 0 0 1017 1931 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6393] ppid=6378 vsize=318404 CPUtime=72.61
/proc/6393/stat : 6393 (standalone) R 6378 6378 1488 0 -1 4194304 79953 0 0 0 6854 407 0 0 25 0 1 0 177839323 326045696 78661 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3849301063 0 0 4096 0 0 0 0 17 1 0 0
/proc/6393/statm: 79601 78661 137 64 0 78916 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 323756

[startup+162.584 s]
/proc/loadavg: 1.20 1.41 1.27 2/79 7093
/proc/meminfo: memFree=1073368/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=29.48
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 397 142671 0 0 0 0 1017 1931 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6393] ppid=6378 vsize=318404 CPUtime=132.66
/proc/6393/stat : 6393 (standalone) R 6378 6378 1488 0 -1 4194304 79959 0 0 0 12859 407 0 0 25 0 1 0 177839323 326045696 78667 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3847594740 0 0 4096 0 0 0 0 17 1 0 0
/proc/6393/statm: 79601 78667 137 64 0 78916 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 323756

[startup+222.647 s]
/proc/loadavg: 1.07 1.33 1.25 2/79 7093
/proc/meminfo: memFree=1073368/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=29.48
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 397 142671 0 0 0 0 1017 1931 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6393] ppid=6378 vsize=318404 CPUtime=192.7
/proc/6393/stat : 6393 (standalone) R 6378 6378 1488 0 -1 4194304 79963 0 0 0 18863 407 0 0 25 0 1 0 177839323 326045696 78671 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3843127048 0 0 4096 0 0 0 0 17 1 0 0
/proc/6393/statm: 79601 78671 137 64 0 78916 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 323756

[startup+282.709 s]
/proc/loadavg: 1.02 1.27 1.23 2/79 7093
/proc/meminfo: memFree=1073432/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=29.48
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 397 142671 0 0 0 0 1017 1931 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6393] ppid=6378 vsize=318404 CPUtime=252.75
/proc/6393/stat : 6393 (standalone) R 6378 6378 1488 0 -1 4194304 79968 0 0 0 24867 408 0 0 25 0 1 0 177839323 326045696 78676 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3847825194 0 0 4096 0 0 0 0 17 1 0 0
/proc/6393/statm: 79601 78676 137 64 0 78916 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 323756

[startup+342.773 s]
/proc/loadavg: 1.01 1.22 1.21 2/79 7095
/proc/meminfo: memFree=1073176/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=29.48
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 397 142671 0 0 0 0 1017 1931 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6393] ppid=6378 vsize=318404 CPUtime=312.79
/proc/6393/stat : 6393 (standalone) R 6378 6378 1488 0 -1 4194304 79975 0 0 0 30871 408 0 0 25 0 1 0 177839323 326045696 78683 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134555360 0 0 4096 0 0 0 0 17 1 0 0
/proc/6393/statm: 79601 78683 137 64 0 78916 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 323756

[startup+402.836 s]
/proc/loadavg: 1.00 1.18 1.19 2/79 7095
/proc/meminfo: memFree=1073248/2055920 swapFree=4192812/4192956
[pid=6378] ppid=6376 vsize=5352 CPUtime=29.48
/proc/6378/stat : 6378 (solver2) S 6376 6378 1488 0 -1 4194304 397 142671 0 0 0 0 1017 1931 16 0 1 0 177836356 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6378/statm: 1338 242 203 169 0 49 0
[pid=6393] ppid=6378 vsize=318404 CPUtime=372.84
/proc/6393/stat : 6393 (standalone) R 6378 6378 1488 0 -1 4194304 79976 0 0 0 36876 408 0 0 25 0 1 0 177839323 326045696 78684 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134555355 0 0 4096 0 0 0 0 17 1 0 0
/proc/6393/statm: 79601 78684 137 64 0 78916 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 323756

Child status: 0
Real time (s): 427.769
CPU time (s): 427.264
CPU user time (s): 403.788
CPU system time (s): 23.4764
CPU usage (%): 99.882
Max. virtual memory (cumulated for all children) (KiB): 519408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 403.788
system time used= 23.4764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223254
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= 1307
involuntary context switches= 3713

runsolver used 0.473927 s user time and 1.06784 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Mon Jan  8 22:13:36 UTC 2007


IDJOB= 209466
IDBENCH= 4518
FILE ID= node17/209466-1168294414

PBS_JOBID= 3501883

Free space on /tmp= 66280 MiB

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

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  1e9ece2bf17be80b7c0001a71bf985ca

RANDOM SEED= 298326264

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.236
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.236
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:       1415032 kB
Buffers:         82332 kB
Cached:         422772 kB
SwapCached:          0 kB
Active:         358500 kB
Inactive:       212460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1415032 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           49620 kB
Writeback:           0 kB
Mapped:          82796 kB
Slab:            54820 kB
Committed_AS:  5150776 kB
PageTables:       2248 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= 66249 MiB



End job on node17 on Mon Jan  8 22:20:45 UTC 2007