Trace number 209515

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 2007-01-08SAT 81.3886 81.5065

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

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/node1/watcher-209515-1168294444 -o ROOT/results/node1/solver-209515-1168294444 -C 1800 -M 900 /tmp/evaluation/209515-1168294444/solver /tmp/evaluation/209515-1168294444/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.69 1.48 1.45 5/87 8906
/proc/meminfo: memFree=870792/2055920 swapFree=4165612/4192956
[pid=8905] ppid=8903 vsize=5352 CPUtime=0
/proc/8905/stat : 8905 (solver) S 8903 8905 1975 0 -1 4194304 295 26 0 0 0 0 0 0 16 0 1 0 177840373 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8905/statm: 1338 232 194 169 0 49 0
[pid=8908] ppid=8905 vsize=192 CPUtime=0
/proc/8908/stat : 8908 (grep) R 8905 8905 1975 0 -1 4194304 31 0 0 0 0 0 0 0 23 0 1 0 177840373 196608 7 18446744073709551615 4194304 4274172 548682069536 18446744073709551615 259350598024 0 0 4096 0 0 0 0 17 1 0 0
/proc/8908/statm: 48 7 2 19 0 2 0

[startup+0.106904 s]
/proc/loadavg: 1.69 1.48 1.45 5/87 8906
/proc/meminfo: memFree=870792/2055920 swapFree=4165612/4192956
[pid=8905] ppid=8903 vsize=5352 CPUtime=0
/proc/8905/stat : 8905 (solver) S 8903 8905 1975 0 -1 4194304 354 334 0 0 0 0 0 0 18 0 1 0 177840373 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8905/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.520948 s]
/proc/loadavg: 1.69 1.48 1.45 5/87 8906
/proc/meminfo: memFree=870792/2055920 swapFree=4165612/4192956
[pid=8905] ppid=8903 vsize=5352 CPUtime=0
/proc/8905/stat : 8905 (solver) S 8903 8905 1975 0 -1 4194304 354 334 0 0 0 0 0 0 18 0 1 0 177840373 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8905/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34405 s]
/proc/loadavg: 1.72 1.49 1.45 3/91 8917
/proc/meminfo: memFree=856552/2055920 swapFree=4165612/4192956
[pid=8905] ppid=8903 vsize=5352 CPUtime=1.27
/proc/8905/stat : 8905 (solver) S 8903 8905 1975 0 -1 4194304 376 3192 0 0 0 0 118 9 16 0 1 0 177840373 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8905/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 5352

[startup+2.99324 s]
/proc/loadavg: 1.72 1.49 1.45 3/88 8918
/proc/meminfo: memFree=814208/2055920 swapFree=4165612/4192956
[pid=8905] ppid=8903 vsize=5352 CPUtime=1.27
/proc/8905/stat : 8905 (solver) S 8903 8905 1975 0 -1 4194304 376 3192 0 0 0 0 118 9 16 0 1 0 177840373 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8905/statm: 1338 242 203 169 0 49 0
[pid=8918] ppid=8905 vsize=71764 CPUtime=1.66
/proc/8918/stat : 8918 (bordewijk) R 8905 8905 1975 0 -1 4194304 17417 0 0 0 152 14 0 0 25 0 1 0 177840504 73486336 17389 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134535370 0 0 4096 0 0 0 0 17 1 0 0
/proc/8918/statm: 17941 17389 204 97 0 17222 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 77116

[startup+6.27261 s]
/proc/loadavg: 1.72 1.49 1.45 2/82 8929
/proc/meminfo: memFree=966896/2055920 swapFree=4165612/4192956
[pid=8905] ppid=8903 vsize=5352 CPUtime=1.27
/proc/8905/stat : 8905 (solver) S 8903 8905 1975 0 -1 4194304 376 3192 0 0 0 0 118 9 16 0 1 0 177840373 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8905/statm: 1338 242 203 169 0 49 0
[pid=8918] ppid=8905 vsize=183700 CPUtime=4.9
/proc/8918/stat : 8918 (bordewijk) R 8905 8905 1975 0 -1 4194304 45419 0 0 0 454 36 0 0 25 0 1 0 177840504 188108800 45391 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134543465 0 0 4096 0 0 0 0 17 0 0 0
/proc/8918/statm: 45925 45391 204 97 0 45206 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 189052

[startup+12.7374 s]
/proc/loadavg: 1.76 1.50 1.46 2/79 8935
/proc/meminfo: memFree=686096/2055920 swapFree=4165612/4192956
[pid=8905] ppid=8903 vsize=5352 CPUtime=1.27
/proc/8905/stat : 8905 (solver) S 8903 8905 1975 0 -1 4194304 376 3192 0 0 0 0 118 9 16 0 1 0 177840373 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8905/statm: 1338 242 203 169 0 49 0
[pid=8918] ppid=8905 vsize=514056 CPUtime=11.36
/proc/8918/stat : 8918 (bordewijk) R 8905 8905 1975 0 -1 4194304 139478 0 0 0 812 324 0 0 25 0 1 0 177840504 526393344 125849 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/8918/statm: 128514 125849 217 97 0 127795 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 519408

[startup+25.5469 s]
/proc/loadavg: 1.64 1.49 1.45 2/79 8935
/proc/meminfo: memFree=671712/2055920 swapFree=4165612/4192956
[pid=8905] ppid=8903 vsize=5352 CPUtime=25.27
/proc/8905/stat : 8905 (solver) S 8903 8905 1975 0 -1 4194304 396 142671 0 0 0 0 999 1528 16 0 1 0 177840373 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8905/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 5352

[startup+51.1819 s]
/proc/loadavg: 1.42 1.45 1.44 2/79 8936
/proc/meminfo: memFree=896416/2055920 swapFree=4165612/4192956
[pid=8905] ppid=8903 vsize=5352 CPUtime=25.27
/proc/8905/stat : 8905 (solver) S 8903 8905 1975 0 -1 4194304 396 142671 0 0 0 0 999 1528 16 0 1 0 177840373 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8905/statm: 1338 242 203 169 0 49 0
[pid=8936] ppid=8905 vsize=318404 CPUtime=25.78
/proc/8936/stat : 8936 (standalone) R 8905 8905 1975 0 -1 4194304 78482 0 0 0 2200 378 0 0 25 0 1 0 177842911 326045696 77190 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134527017 0 0 4096 0 0 0 0 17 0 0 0
/proc/8936/statm: 79601 77190 137 64 0 78916 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 323756

Child status: 0
Real time (s): 81.5065
CPU time (s): 81.3886
CPU user time (s): 62.2455
CPU system time (s): 19.1431
CPU usage (%): 99.8553
Max. virtual memory (cumulated for all children) (KiB): 519408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.2455
system time used= 19.1431
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223249
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= 3177

runsolver used 0.078987 s user time and 0.220966 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Mon Jan  8 22:14:06 UTC 2007


IDJOB= 209515
IDBENCH= 4521
FILE ID= node1/209515-1168294444

PBS_JOBID= 3501872

Free space on /tmp= 66215 MiB

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

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  a2bd6dbc97857e933555789faaebf156

RANDOM SEED= 416403773

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.234
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.234
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:        871208 kB
Buffers:         75972 kB
Cached:         697376 kB
SwapCached:       3620 kB
Active:         724280 kB
Inactive:       395448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        871208 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:           74584 kB
Writeback:           0 kB
Mapped:         357540 kB
Slab:            49112 kB
Committed_AS:  5782560 kB
PageTables:       2948 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= 66235 MiB



End job on node1 on Mon Jan  8 22:15:28 UTC 2007