Trace number 209514

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 426.042 426.174

General information on the benchmark

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

[startup+0.103007 s]
/proc/loadavg: 1.01 1.18 1.40 4/78 15587
/proc/meminfo: memFree=1470400/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=0
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 353 334 0 0 0 0 0 0 20 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.511045 s]
/proc/loadavg: 1.01 1.18 1.40 4/78 15587
/proc/meminfo: memFree=1470400/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=0
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 353 334 0 0 0 0 0 0 20 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33213 s]
/proc/loadavg: 1.01 1.18 1.40 2/82 15598
/proc/meminfo: memFree=1454240/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=1.23
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 376 3192 0 0 0 0 114 9 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 5352

[startup+2.96828 s]
/proc/loadavg: 1.01 1.18 1.40 2/79 15599
/proc/meminfo: memFree=1404472/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=1.23
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 376 3192 0 0 0 0 114 9 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15599] ppid=15586 vsize=78496 CPUtime=1.75
/proc/15599/stat : 15599 (bordewijk) R 15586 15586 8660 0 -1 4194304 19124 0 0 0 162 13 0 0 25 0 1 0 177839155 80379904 19096 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 8296059 0 0 4096 0 0 0 0 17 1 0 0
/proc/15599/statm: 19624 19097 204 97 0 18905 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 83848

[startup+6.2506 s]
/proc/loadavg: 1.01 1.17 1.40 2/79 15599
/proc/meminfo: memFree=1254008/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=1.23
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 376 3192 0 0 0 0 114 9 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15599] ppid=15586 vsize=196864 CPUtime=5.03
/proc/15599/stat : 15599 (bordewijk) R 15586 15586 8660 0 -1 4194304 48709 0 0 0 470 33 0 0 25 0 1 0 177839155 201588736 48679 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134789941 0 0 4096 0 0 0 0 17 1 0 0
/proc/15599/statm: 49216 48679 211 97 0 48497 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 202216

[startup+12.7082 s]
/proc/loadavg: 1.01 1.17 1.40 2/79 15599
/proc/meminfo: memFree=888216/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=1.23
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 376 3192 0 0 0 0 114 9 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15599] ppid=15586 vsize=514056 CPUtime=11.49
/proc/15599/stat : 15599 (bordewijk) R 15586 15586 8660 0 -1 4194304 139478 0 0 0 832 317 0 0 25 0 1 0 177839155 526393344 125849 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15599/statm: 128514 125849 217 97 0 127795 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 519408

[startup+25.5275 s]
/proc/loadavg: 1.00 1.16 1.39 2/79 15599
/proc/meminfo: memFree=874984/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=1.23
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 376 3192 0 0 0 0 114 9 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15599] ppid=15586 vsize=514056 CPUtime=24.3
/proc/15599/stat : 15599 (bordewijk) R 15586 15586 8660 0 -1 4194304 139479 0 0 0 900 1530 0 0 25 0 1 0 177839155 526393344 125850 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15599/statm: 128514 125850 218 97 0 127795 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 519408

[startup+51.1529 s]
/proc/loadavg: 1.00 1.15 1.38 2/79 15600
/proc/meminfo: memFree=1098280/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=26.67
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 397 142671 0 0 0 0 1022 1645 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15600] ppid=15586 vsize=318404 CPUtime=24.45
/proc/15600/stat : 15600 (standalone) R 15586 15586 8660 0 -1 4194304 78435 0 0 0 2054 391 0 0 25 0 1 0 177841701 326045696 77143 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134527008 0 0 4096 0 0 0 0 17 1 0 0
/proc/15600/statm: 79601 77143 137 64 0 78916 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 323756

[startup+102.405 s]
/proc/loadavg: 1.00 1.12 1.36 2/79 15600
/proc/meminfo: memFree=1092776/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=26.67
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 397 142671 0 0 0 0 1022 1645 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15600] ppid=15586 vsize=318404 CPUtime=75.66
/proc/15600/stat : 15600 (standalone) R 15586 15586 8660 0 -1 4194304 79952 0 0 0 7174 392 0 0 25 0 1 0 177841701 326045696 78660 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3850433294 0 0 4096 0 0 0 0 17 1 0 0
/proc/15600/statm: 79601 78660 137 64 0 78916 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 323756

[startup+162.474 s]
/proc/loadavg: 1.00 1.10 1.33 2/79 15600
/proc/meminfo: memFree=1092776/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=26.67
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 397 142671 0 0 0 0 1022 1645 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15600] ppid=15586 vsize=318404 CPUtime=135.71
/proc/15600/stat : 15600 (standalone) R 15586 15586 8660 0 -1 4194304 79957 0 0 0 13179 392 0 0 25 0 1 0 177841701 326045696 78665 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3849331026 0 0 4096 0 0 0 0 17 1 0 0
/proc/15600/statm: 79601 78665 137 64 0 78916 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 323756

[startup+222.535 s]
/proc/loadavg: 1.00 1.08 1.31 2/79 15600
/proc/meminfo: memFree=1092776/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=26.67
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 397 142671 0 0 0 0 1022 1645 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15600] ppid=15586 vsize=318404 CPUtime=195.75
/proc/15600/stat : 15600 (standalone) R 15586 15586 8660 0 -1 4194304 79961 0 0 0 19183 392 0 0 25 0 1 0 177841701 326045696 78669 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3843037048 0 0 4096 0 0 0 0 17 1 0 0
/proc/15600/statm: 79601 78669 137 64 0 78916 0
Current children cumulated CPU time (s) 222.42
Current children cumulated vsize (KiB) 323756

[startup+282.599 s]
/proc/loadavg: 1.00 1.06 1.29 2/79 15600
/proc/meminfo: memFree=1092776/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=26.67
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 397 142671 0 0 0 0 1022 1645 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15600] ppid=15586 vsize=318404 CPUtime=255.81
/proc/15600/stat : 15600 (standalone) R 15586 15586 8660 0 -1 4194304 79968 0 0 0 25188 393 0 0 25 0 1 0 177841701 326045696 78676 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3846867364 0 0 4096 0 0 0 0 17 1 0 0
/proc/15600/statm: 79601 78676 137 64 0 78916 0
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (KiB) 323756

[startup+342.663 s]
/proc/loadavg: 1.00 1.05 1.26 2/79 15602
/proc/meminfo: memFree=1092720/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=26.67
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 397 142671 0 0 0 0 1022 1645 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15600] ppid=15586 vsize=318404 CPUtime=315.86
/proc/15600/stat : 15600 (standalone) R 15586 15586 8660 0 -1 4194304 79974 0 0 0 31192 394 0 0 25 0 1 0 177841701 326045696 78682 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3847611859 0 0 4096 0 0 0 0 17 1 0 0
/proc/15600/statm: 79601 78682 137 64 0 78916 0
Current children cumulated CPU time (s) 342.53
Current children cumulated vsize (KiB) 323756

[startup+402.729 s]
/proc/loadavg: 1.00 1.04 1.25 2/79 15602
/proc/meminfo: memFree=1092720/2055920 swapFree=4192812/4192956
[pid=15586] ppid=15584 vsize=5352 CPUtime=26.67
/proc/15586/stat : 15586 (solver2) S 15584 15586 8660 0 -1 4194304 397 142671 0 0 0 0 1022 1645 16 0 1 0 177839035 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15586/statm: 1338 242 203 169 0 49 0
[pid=15600] ppid=15586 vsize=318404 CPUtime=375.91
/proc/15600/stat : 15600 (standalone) R 15586 15586 8660 0 -1 4194304 79975 0 0 0 37197 394 0 0 25 0 1 0 177841701 326045696 78683 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3848132633 0 0 4096 0 0 0 0 17 1 0 0
/proc/15600/statm: 79601 78683 137 64 0 78916 0
Current children cumulated CPU time (s) 402.58
Current children cumulated vsize (KiB) 323756

Child status: 0
Real time (s): 426.174
CPU time (s): 426.042
CPU user time (s): 405.573
CPU system time (s): 20.4689
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 519408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.573
system time used= 20.4689
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223257
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= 1272
involuntary context switches= 8043

runsolver used 0.39094 s user time and 1.12583 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Mon Jan  8 22:14:03 UTC 2007


IDJOB= 209514
IDBENCH= 4521
FILE ID= node18/209514-1168294442

PBS_JOBID= 3501875

Free space on /tmp= 66287 MiB

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

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  a2bd6dbc97857e933555789faaebf156

RANDOM SEED= 97181711

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.231
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.231
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:       1470816 kB
Buffers:         91364 kB
Cached:         378244 kB
SwapCached:          0 kB
Active:         305012 kB
Inactive:       219908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1470816 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           18948 kB
Writeback:           0 kB
Mapped:          74256 kB
Slab:            45796 kB
Committed_AS:  5194340 kB
PageTables:       1720 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= 66226 MiB



End job on node18 on Mon Jan  8 22:21:12 UTC 2007