Trace number 209498

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 442.721 443.493

General information on the benchmark

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

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/node14/watcher-209498-1168294440 -o ROOT/results/node14/solver-209498-1168294440 -C 1800 -M 900 /tmp/evaluation/209498-1168294440/solver2 /tmp/evaluation/209498-1168294440/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: 0.85 1.11 1.07 5/82 24111
/proc/meminfo: memFree=1754128/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=0
/proc/24110/stat : 24110 (solver2) R 24108 24110 22727 0 -1 4194304 197 0 0 0 0 0 0 0 20 0 1 0 177839266 5480448 164 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234070173 0 0 4096 0 0 0 0 17 0 0 0
/proc/24110/statm: 1338 172 142 169 0 49 0

[startup+0.105652 s]
/proc/loadavg: 0.85 1.11 1.07 5/82 24111
/proc/meminfo: memFree=1754128/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=0
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 353 334 0 0 0 0 0 0 21 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.51369 s]
/proc/loadavg: 0.85 1.11 1.07 5/82 24111
/proc/meminfo: memFree=1754128/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=0
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 353 334 0 0 0 0 0 0 21 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33477 s]
/proc/loadavg: 0.85 1.11 1.07 3/88 24139
/proc/meminfo: memFree=1714144/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=0.89
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 376 3192 0 0 0 0 80 9 18 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24138] ppid=24110 vsize=20020 CPUtime=0.4
/proc/24138/stat : 24138 (bordewijk) R 24110 24110 22727 0 -1 4194304 4493 0 0 0 38 2 0 0 21 0 1 0 177839357 20500480 4465 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/24138/statm: 5005 4465 204 97 0 4286 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 25372

[startup+2.97192 s]
/proc/loadavg: 1.02 1.15 1.08 3/88 24139
/proc/meminfo: memFree=1603360/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=0.89
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 376 3192 0 0 0 0 80 9 18 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24138] ppid=24110 vsize=84040 CPUtime=2
/proc/24138/stat : 24138 (bordewijk) R 24110 24110 22727 0 -1 4194304 20507 0 0 0 184 16 0 0 25 0 1 0 177839357 86056960 20479 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24138/statm: 21010 20479 204 97 0 20291 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 89392

[startup+6.25423 s]
/proc/loadavg: 1.02 1.15 1.08 3/88 24139
/proc/meminfo: memFree=1316584/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=0.89
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 376 3192 0 0 0 0 80 9 18 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24138] ppid=24110 vsize=198500 CPUtime=5.26
/proc/24138/stat : 24138 (bordewijk) R 24110 24110 22727 0 -1 4194304 49116 0 0 0 489 37 0 0 25 0 1 0 177839357 203264000 49086 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24138/statm: 49625 49086 211 97 0 48906 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 203852

[startup+12.7268 s]
/proc/loadavg: 1.24 1.19 1.09 3/88 24139
/proc/meminfo: memFree=586360/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=0.89
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 376 3192 0 0 0 0 80 9 18 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24138] ppid=24110 vsize=514056 CPUtime=11.67
/proc/24138/stat : 24138 (bordewijk) R 24110 24110 22727 0 -1 4194304 139478 0 0 0 848 319 0 0 25 0 1 0 177839357 526393344 125849 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24138/statm: 128514 125849 217 97 0 127795 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 519408

[startup+25.555 s]
/proc/loadavg: 1.36 1.22 1.10 3/88 24139
/proc/meminfo: memFree=568832/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=0.89
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 376 3192 0 0 0 0 80 9 18 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24138] ppid=24110 vsize=514056 CPUtime=24.46
/proc/24138/stat : 24138 (bordewijk) R 24110 24110 22727 0 -1 4194304 139478 0 0 0 905 1541 0 0 25 0 1 0 177839357 526393344 125849 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24138/statm: 128514 125849 217 97 0 127795 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 519408

[startup+51.2165 s]
/proc/loadavg: 1.63 1.29 1.13 3/88 24141
/proc/meminfo: memFree=1009792/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=31.83
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 397 142671 0 0 0 0 1016 2167 16 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24141] ppid=24110 vsize=318404 CPUtime=19.1
/proc/24141/stat : 24141 (standalone) R 24110 24110 22727 0 -1 4194304 78361 0 0 0 1520 390 0 0 25 0 1 0 177842476 326045696 77069 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3843470560 0 0 4096 0 0 0 0 17 1 0 0
/proc/24141/statm: 79601 77069 137 64 0 78916 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 323756

[startup+102.428 s]
/proc/loadavg: 1.76 1.38 1.17 2/82 24158
/proc/meminfo: memFree=1394992/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=31.83
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 397 142671 0 0 0 0 1016 2167 16 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24141] ppid=24110 vsize=318404 CPUtime=70.26
/proc/24141/stat : 24141 (standalone) R 24110 24110 22727 0 -1 4194304 79946 0 0 0 6630 396 0 0 25 0 1 0 177842476 326045696 78654 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3847434236 0 0 4096 0 0 0 0 17 0 0 0
/proc/24141/statm: 79601 78654 137 64 0 78916 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 323756

[startup+162.521 s]
/proc/loadavg: 1.71 1.46 1.21 2/82 25549
/proc/meminfo: memFree=1387320/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=31.83
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 397 142671 0 0 0 0 1016 2167 16 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24141] ppid=24110 vsize=318404 CPUtime=130.05
/proc/24141/stat : 24141 (standalone) R 24110 24110 22727 0 -1 4194304 79952 0 0 0 12604 401 0 0 25 0 1 0 177842476 326045696 78660 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3847594584 0 0 4096 0 0 0 0 17 1 0 0
/proc/24141/statm: 79601 78660 137 64 0 78916 0
Current children cumulated CPU time (s) 161.88
Current children cumulated vsize (KiB) 323756

[startup+222.606 s]
/proc/loadavg: 1.45 1.42 1.21 3/88 26918
/proc/meminfo: memFree=1374776/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=31.83
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 397 142671 0 0 0 0 1016 2167 16 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24141] ppid=24110 vsize=318404 CPUtime=190.05
/proc/24141/stat : 24141 (standalone) R 24110 24110 22727 0 -1 4194304 79956 0 0 0 18599 406 0 0 25 0 1 0 177842476 326045696 78664 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3843126954 0 0 4096 0 0 0 0 17 1 0 0
/proc/24141/statm: 79601 78664 137 64 0 78916 0
Current children cumulated CPU time (s) 221.88
Current children cumulated vsize (KiB) 323756

[startup+282.676 s]
/proc/loadavg: 1.16 1.34 1.19 2/79 26935
/proc/meminfo: memFree=1392096/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=31.83
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 397 142671 0 0 0 0 1016 2167 16 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24141] ppid=24110 vsize=318404 CPUtime=250.1
/proc/24141/stat : 24141 (standalone) R 24110 24110 22727 0 -1 4194304 79960 0 0 0 24603 407 0 0 25 0 1 0 177842476 326045696 78668 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3843327130 0 0 4096 0 0 0 0 17 1 0 0
/proc/24141/statm: 79601 78668 137 64 0 78916 0
Current children cumulated CPU time (s) 281.93
Current children cumulated vsize (KiB) 323756

[startup+342.739 s]
/proc/loadavg: 1.06 1.28 1.18 2/79 26937
/proc/meminfo: memFree=1392096/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=31.83
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 397 142671 0 0 0 0 1016 2167 16 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24141] ppid=24110 vsize=318404 CPUtime=310.15
/proc/24141/stat : 24141 (standalone) R 24110 24110 22727 0 -1 4194304 79970 0 0 0 30608 407 0 0 25 0 1 0 177842476 326045696 78678 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134527017 0 0 4096 0 0 0 0 17 1 0 0
/proc/24141/statm: 79601 78678 137 64 0 78916 0
Current children cumulated CPU time (s) 341.98
Current children cumulated vsize (KiB) 323756

[startup+402.807 s]
/proc/loadavg: 1.02 1.23 1.16 2/79 26937
/proc/meminfo: memFree=1392096/2055920 swapFree=4163780/4192956
[pid=24110] ppid=24108 vsize=5352 CPUtime=31.83
/proc/24110/stat : 24110 (solver2) S 24108 24110 22727 0 -1 4194304 397 142671 0 0 0 0 1016 2167 16 0 1 0 177839266 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24110/statm: 1338 242 203 169 0 49 0
[pid=24141] ppid=24110 vsize=318404 CPUtime=370.2
/proc/24141/stat : 24141 (standalone) R 24110 24110 22727 0 -1 4194304 79970 0 0 0 36613 407 0 0 25 0 1 0 177842476 326045696 78678 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3843753980 0 0 4096 0 0 0 0 17 1 0 0
/proc/24141/statm: 79601 78678 137 64 0 78916 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 323756

Child status: 0
Real time (s): 443.493
CPU time (s): 442.721
CPU user time (s): 416.898
CPU system time (s): 25.8231
CPU usage (%): 99.8259
Max. virtual memory (cumulated for all children) (KiB): 519408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 416.898
system time used= 25.8231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223261
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= 1436
involuntary context switches= 10715

runsolver used 0.436933 s user time and 1.15582 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Mon Jan  8 22:14:02 UTC 2007


IDJOB= 209498
IDBENCH= 4520
FILE ID= node14/209498-1168294440

PBS_JOBID= 3501887

Free space on /tmp= 66309 MiB

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

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  2b4ef9677f52263fa3f34f9b296a1bd2

RANDOM SEED= 760386320

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.227
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.227
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:       1754744 kB
Buffers:         29548 kB
Cached:         197324 kB
SwapCached:       4056 kB
Active:         160160 kB
Inactive:       101388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754744 kB
SwapTotal:     4192956 kB
SwapFree:      4163780 kB
Dirty:           38596 kB
Writeback:           0 kB
Mapped:          43152 kB
Slab:            24764 kB
Committed_AS:  5862752 kB
PageTables:       2016 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= 66267 MiB



End job on node14 on Mon Jan  8 22:21:29 UTC 2007