c
c
c
c solution file
c
c
SAT
2234 2700 2882 -2762 -2268 2448 -2878 -2682 -2566 2294 -2838 -2542 -2786 2734 2690 2882 -2880 -2484 2786 -2458 -2574 -2468 -2602 2494 -2534 -2190 -2494 -2786 -2472 -2342 2678 -2838 2774 -2184 2716 2120 2446 -2738 2526 -2574 -2826 2448 -2206 2504 2842 -2526 2758 -2574 -2762 -2160 -2666 -2798 -2702 2880 -2246 2700 -2256 2638 -2432 -2872 -2760 2840 2448 -2634 2570 2842 2774 2446 2354 2330 2874 -2598 -2772 -2730 2190 2692 2446 -2528 -2380 -2760 -2526 -2912 -2834 -2586 2752 -2494 2560 -2826 2786 2678 -2648 -2588 2798 -2190 -2552 -2166 2444 2700 2740 -2852 -2694 2718 -2556 -2566 -2138 -2534 2520 -2760 -2486 2534 2786 2440 -2816 -2408 2750 -2512 -2308 2294 -2728 2566 2440 2892 -2878 -2160 -2430 2700 -2564 -2224 -2522 -2836 -2798 -2486 2552 -2878 -2376 -2486 -2366 2256 -2176 -2838 -2518 -2818 2882 -2850 2230 -2798 -2566 -2854 -2294 2406 -2878 2296 2408 2786 2640 2798 2526 -2198 2762 -2460 -2892 2762 2544 -2664 -2902 -2856 2158 -2638 -2526 -2732 -2866 -2446 2450 2598 -2558 -2428 -2150 2704 -2226 2784 2408 2918 2296 -2448 -2586 -2738 -2826 -2638 2408 2740 -2652 -2768 -2870 -2758 -2340 2448 -2900 -2408 2740 2880 2812 -2440 2446 -2342 2858 2190 -2758 2250 2246 -2170 2448 -2446 2366 -2202 2472 -2754 -2306 -2610 -2626 2534 -2654 2344 -2342 -2582 -2524 2494 2534 2196 2798 -2732 2880 -2686 2526 -2698 2736 -2798 -2818 -2882 -2654 -2482 2526 2880 2600 -2486 -2778 -2592 -2266 2836 2328 -2396 -2878 2800 2162 -2160 -2776 -2878 2138 2526 -2752 2690 2560 -2120 -2542 2740 -2718 2616 -2502 -2182 -2596 2808 2910 -2678 -2172 -2178 -2640 -2638 2230 -2388 -2576 -2798 -2732 2722 -2832 2440 -2760 2494 2160 2508 -2918 -2268 2566 2722 -2520 -2738 2332 -2658 2526 -2866 -2176 -2636 -2758 -2730 -2448 -2842 -2544 -2586 -2486 -2636 -2722 -2640 2440 -2650 -2572 -2566 2722 -2190 -2254 2444 -2208 -2486 2910 2640 2624 2628 2236 -2254 2798 -2820 -2748 -2698 -2366 -2254 -2698 -2216 -2184 2882 -2470 2740 -2448 -2676 -2892 2616 -2166 -2866 2722 -2428 2702 -2786 2700 2774 -2230 -2542 -2814 -2700 -2566 -2522 -2612 -2402 -2470 -2640 -2608 -2566 -2230 2570 -2652 -2850 -2232 -2760 -2800 2808 -2474 2366 2754 -2446 -2746 -2786 -2822 2800 -2562 2566 -2656 -2512 2366 -2908 -2448 -2122 -2296 2740 -2334 -2608 -2918 -2470 2176 2600 2920 2910 -2144 2432 2534 -2762 2652 2276 2382 2600 2692 -2732 -2744 -2652 -2444 -2638 -2446 -2698 -2184 -2900 -2652 2190 2256 -2714 -2282 -2800 -2742 -2738 -2692 -2842 -2796 -2582 -2746 2758 -2406 -2228 2692 2296 2120 -2446 2636 2256 2446 2880 2504 2774 2446 2826 2566 -2664 -2902 2282 -2562 -2120 -2560 -2168 2470 2440 -2174 -2566 2526 2526 -2202 -2636 2364 2520 -2624 2828 -2826 -2732 2774 -2648 2640 2444 -2432 2236 -2740 2446 -2506 -2564 2734 2190 2520 -2626 2858 -2126 -2834 -2600 -2228 -2748 -2584 2242 2892 2826 -2878 -2362 2638 2290 -2912 -2918 -2174 -2772 -2504 -2662 -2128 -2524 -2710 2294 -2396 2826 -2534 -2366 -2294 -2722 2762 -2694 -2520 -2510 2842 2852 2552 -2526 -2438 2594 -2494 2678 -2370 2880 2488 -2446 2404 2700 -2850 2534 -2740 2880 2882 -2876 2838 -2712 2406 -2366 -2270 -2194 -2560 2486 2790 -2812 -2126 -2560 2420 2120 2566 -2802 -2786 -2874 -2852 2494 2526 -2494 -2714 -2490 -2638 -2818 2640 -2874 2534 2294 2440 -2160 -2692 -2382 2446 2872 2484 -2404 -2598 2852 2254 -2818 2486 2690 -2468 2762 2798 -2382 -2714 2230 2822 -2576 -2364 -2166 -2446 -2520 2448 2406 2800 -2120 -2344 -2120 -2264 -2154 2734 2846 -2480 2520 2892 -2742 2568 2544 -2716 -2860 2616 -2802 2842 2566 -2676 -2490 -2692 -2740 2774 2618 2598 -2776 2580 2472 -2560 2572 -2918 -2230 -2230 -2382 2486 2798 -2862 -2664 -2574 -2534 2778 2134 -2878 -2652 2762 -2598 2774 -2254 -2288 -2366 -2520 2382 2692 -2606 2842 2650 -2526 -2342 2858 2196 2740 2254 2534 -2232 -2480 -2790 2254 -2190 2598 -2772 2484 -2296 2652 -2760 2600 -2550 -2900 -2882 2394 -2736 2520 2560 -2774 -2348 2920 2712 -2578 -2758 -2408 2692 -2892 2646 -2740 -2190 -2566 2858 -2842 2560 2554 2700 2788 -2746 -2838 -2566 2408 -2480 -2798 -2586 2762 -2160 -2230 2296 -2256 2616 -2486 -2254 -2168 -2522 2852 -2526 -2598 -2692 -2776 -2872 -2892 -2368 -2714 2712 2852 2652 -2870 2912 -2440 2722 -2676 2406 2740 -2494 -2626 -2758 -2144 -2228 -2618 2486 -2448 2190 -2502 -2514 -2490 -2524 -2826 -2190 2446 2886 2520 -2840 -2738 -2890 2910 2778 -2376 2786 -2608 2910 2408 -2722 -2248 2842 2472 -2242 2910 2254 -2256 -2732 -2652 2546 2734 -2120 -2248 -2794 -2760 2302 -2122 2752 -2720 -2816 -2692 -2878 2296 2716 2560 2842 -2874 -2826 2230 2672 -2480 -2598 2186 -2818 -2626 -2594 2748 -2802 -2686 -2662 -2586 -2776 -2486 -2742 -2406 -2294 2316 2718 2704 -2160 -2178 -2786 -2688 2784 2372 2598 -2250 2740 -2760 2586 -2446 2690 2774 -2688 -2872 -2638 -2826 -2760 -2474 -2772 -2722 -2164 -2524 -2648 2162 -2450 -2380 2262 2838 2880 -2758 2652 2348 2840 -2146 2566 2608 2646 2294 -2732 -2776 -2818 -2292 -2772 -2342 2734 -2450 2162 -2860 -2324 -2154 -2194 -2260 2700 2842 -2486 2882 -2596 -2340 -2560 -2746 2294 2798 2880 2366 -2852 -2308 -2142 -2490 -2180 2852 2892 -2700 2842 2692 -2290 2334 2852 2638 2484 -2122 -2880 -2760 -2406 -2870 2842 -2530 -2312 -2782 -2650 2656 2598 2446 -2788 2480 2744 -2468 -2274 -2772 -2860 2722 -2216 -2704 -2720 -2784 -2836 2776 -2178 -2184 -2408 -2870 2574 2494 2408 2690 -2776 2818 2746 -2408 -2816 -2144 -2566 -2762 -2406 -2318 2882 -2542 -2750 2296 2600 2146 -2584 -2470 2650 -2502 -2842 2432 2902 -2376 2902 2842 -2168 2520 2530 -2862 -2758 2120 2842 -2144 -2854 -2612 2406 2294 2540 -2880 -2598 2576 -2486 2316 2366 -2490 2758 -2160 -2452 -2862 2862 2342 2734 2602 2342 2230 -2822 -2296 -2494 -2342 -2878 2744 2784 -2540 -2650 -2798 2472 -2326 2772 -2648 2566 -2738 -2648 2600 2892 -2650 -2524 -2862 2798 2674 -2216 -2562 -2826 -2136 -2162 -2616 2472 -2454 -2662 2480 2600 -2684 2638 -2720 -2524 -2290 -2656 -2620 2842 -2648 -2382 2722 -2918 -2690 -2648 -2370 2406 -2370 -2636 -2504 2652 -2774 2160 2566 -2816 -2256 -2206 2760 2626 -2188 -2182 -2716 2334 -2484 -2534 -2712 -2430 -2580 -2150 -2700 2784 2256 2408 2640 2388 -2556 -2840 2902 -2230 -2560 2206 2594 -2786 -2368 -2700 -2860 -2366 -2638 2382 -2688 -2902 2704 -2542 -2526 -2120 -2184 -2198 -2526 -2208 -2688 -2882 -2726 -2566 2342 -2534 -2724 -2652 -2406 -2440 -2336 -2124 -2144 -2650 -2918 -2892 -2304 -2502 2746 -2678 -2382 -2160 -2332 -2282 2294 -2190 2634 -2406 -2708 -2652 -2158 -2406 -2592 -2410 -2772 -2638 -2256 2190 2882 -2478 2294 -2892 -2592 2920 -2526 2852 2366 -2870 -2734 2560 -2242 -2420 2840 -2494 2534 2296 -2446 -2478 -2604 -2722 2566 2798 2842 -2714 -2124 2910 2230 -2860 -2530 -2562 -2686 -2738 -2160 2566 2230 -2342 -2444 -2486 -2640 -2782 -2598 -2786 -2882 2816 -2778 2910 -2446 2744 2840 -2480 -2450 -2408 2734 -2214 2786 -2834 -2670 2870 2806 -2294 2138 -2564 -2180 2544 2190 -2612 -2882 2840 2406 -2198 -2324 -2882 2840 2378 2882 2494 2120 2120 2692 2256 -2748 2526 -2648 -2918 -2176 -2356 2600 2342 -2758 -2526 2534 -2134 -2798 -2276 2872 2638 -2444 -2706 2382 -2698 -2692 2268 2762 2784 2254 -2542 2448 2882 2902 2862 -2720 2786 2526 2124 -2160 -2566 -2722 -2692 -2342 -2526 -2838 2136 2918 2486 2758 -2190 2206 2428 -2892 -2542 2342 -2230 -2230 2254 -2174 -2744 -2542 -2852 2574 -2448 -2676 -2526 -2560 -2638 -2152 -2162 2494 -2346 -2620 -2522 -2882 2504 -2560 2786 2842 -2382 -2638 -2758 -2364 -2848 2472 2120 2638 -2164 -2160 2566 2366 -2282 -2674 -2666 -2120 2778 2448 -2698 2692 -2740 -2908 2878 2798 -2560 2446 -2842 2294 -2746 -2564 2526 2774 -2140 2448 2840 2408 2598 -2666 -2330 2734 2690 -2860 2190 2838 2762 -2578 -2406 -2820 -2418 -2192 -2758 2780 -2890 2450 -2142 -2380 -2374 -2520 -2254 2566 -2582 -2788 -2446 -2710 -2342 2272 2230 -2616 -2190 -2690 -2448 2326 2872 2876 2282 -2128 -2250 -2708 -2190 -2230 -2268 -2688 -2206 2230 2774 2254 -2694 -2294 -2502 -2698 -2492 2682 2762 -2566 2798 -2798 2654 -2526 2650 2550 2526 -2752 2230 2838 -2164 2892 2190 2762 -2190 -2256 2120 2446 2892 -2140 -2852 2584 2382 2446 -2722 2912 -2590 -2542 -2748 2120 -2486 -2798 -2688 2486 2722 -2130 2826 -2546 2526 2734 -2748 2366 -2894 2480 2892 2762 2754 2700 2834 -2184 -2870 -2840 -2566 -2286 -2290 -2846 2816 -2862 2852 2692 -2526 2786 -2166 -2632 -2446 2190 2484 -2902 2526 -2596 2678 2722 2566 2826 -2158 -2382 2566 -2746 2882 2590 -2342 -2854 -2714 -2598 -2788 2526 -2676 -2178 -2564 -2580 -2746 -2776 -2542 2534 -2894 2526 -2388 -2738 -2652 -2368 -2190 2786 -2128 -2890 -2842 -2230 2230 -2834 -2338 -2448 2420 2382 -2598 2382 -2494 -2336 -2408 -2184 -2190 2652 -2690 2702 -2676 -2634 -2330 -2242 2544 -2886 -2734 2862 2448 2254 -2382 2566 -2358 -2568 -2446 -2652 -2486 -2692 -2916 2490 -2282 2342 -2596 2408 -2176 -2430 -2738 -2520 -2758 -2560 2598 -2918 2814 -2816 -2272 -2566 -2132 -2280 2296 -2562 -2320 -2600 -2786 2758 2882 2652 2532 2600 -2738 -2160 -2516 2740 -2440 -2406 2566 -2328 2826 2868 -2622 -2712 2408 2800 -2626 -2480 2652 -2700 -2796 -2798 -2574 2652 2566 2640 -2166 2762 -2722 -2618 -2486 2862 2722 2230 2798 2460 2448 -2336 -2422 2406 2190 2798 2534 -2230 2750 -2446 2722 -2586 -2874 2652 2868 -2824 2814 2436 -2382 -2598 -2534 2526 2866 -2834 -2702 -2918 -2798 2650 -2720 -2326 -2698 -2382 -2862 -2688 -2568 2190 -2706 -2766 -2166 -2638 -2732 -2526 -2762 -2868 -2526 -2432 -2692 2798 -2546 -2534 -2566 2718 -2242 -2742 -2900 2754 2480 -2878 -2868 2486 2566 -2404 2294 -2526 -2534 -2828 -2160 -2878 -2582 -2328 -2342 -2408 2652 2718 2826 2466 2480 -2740 -2430 2230 -2336 2870 2534 2206 -2294 -2282 2486 2230 -2408 2526 2334 2718 -2526 -2598 -2852 2190 2842 -2382 2700 -2694 -2638 -2646 2718 2544 2432 -2566 -2586 -2918 -2186 2448 -2224 2842 -2160 -2692 -2838 -2564 2598 2754 2832 -2444 -2384 2440 2692 -2408 -2190 -2854 -2524 -2626 2272 2448 2882 -2502 -2918 -2720 2882 2910 -2322 -2842 -2334 2734 -2296 2758 2852 2566 -2564 -2580 2230 -2470 -2526 -2870 -2294 -2918 2520 -2544 2514 -2798 -2878 -2758 -2422 -2862 -2692 -2138 -2382 -2600 2254 2486 2430 2488 -2744 -2824 2242 -2384 2300 2294 2690
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-202417-1168290839 -o ROOT/results/node9/solver-202417-1168290839 -C 1800 -M 900 /tmp/evaluation/202417-1168290839/solver /tmp/evaluation/202417-1168290839/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.49 1.15 1.04 5/87 19584
/proc/meminfo: memFree=1455888/2055920 swapFree=4191880/4192956
[pid=19583] ppid=19581 vsize=18540 CPUtime=0
/proc/19583/stat : 19583 (runsolver) R 19581 19583 15407 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 177479283 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 215418989863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19583/statm: 4635 279 244 17 0 2626 0
[startup+0.108512 s]
/proc/loadavg: 1.49 1.15 1.04 5/87 19584
/proc/meminfo: memFree=1455888/2055920 swapFree=4191880/4192956
[pid=19583] ppid=19581 vsize=5352 CPUtime=0
/proc/19583/stat : 19583 (solver) S 19581 19583 15407 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 177479283 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19583/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.516558 s]
/proc/loadavg: 1.49 1.15 1.04 5/87 19584
/proc/meminfo: memFree=1455888/2055920 swapFree=4191880/4192956
[pid=19583] ppid=19581 vsize=5352 CPUtime=0
/proc/19583/stat : 19583 (solver) S 19581 19583 15407 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 177479283 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19583/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33765 s]
/proc/loadavg: 1.61 1.18 1.05 3/88 19596
/proc/meminfo: memFree=1421000/2055920 swapFree=4191880/4192956
[pid=19583] ppid=19581 vsize=5352 CPUtime=0.48
/proc/19583/stat : 19583 (solver) S 19581 19583 15407 0 -1 4194304 376 2730 0 0 0 0 42 6 15 0 1 0 177479283 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19583/statm: 1338 242 203 169 0 49 0
[pid=19596] ppid=19583 vsize=36220 CPUtime=0.79
/proc/19596/stat : 19596 (bordewijk) R 19583 19583 15407 0 -1 4194304 8551 0 0 0 73 6 0 0 24 0 1 0 177479336 37089280 8523 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134522993 0 0 4096 0 0 0 0 17 1 0 0
/proc/19596/statm: 9055 8523 204 97 0 8336 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 41572
[startup+2.98183 s]
/proc/loadavg: 1.61 1.18 1.05 3/88 19596
/proc/meminfo: memFree=1367176/2055920 swapFree=4191880/4192956
[pid=19583] ppid=19581 vsize=5352 CPUtime=0.48
/proc/19583/stat : 19583 (solver) S 19581 19583 15407 0 -1 4194304 376 2730 0 0 0 0 42 6 15 0 1 0 177479283 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19583/statm: 1338 242 203 169 0 49 0
[pid=19596] ppid=19583 vsize=94960 CPUtime=2.42
/proc/19596/stat : 19596 (bordewijk) R 19583 19583 15407 0 -1 4194304 23234 0 0 0 224 18 0 0 25 0 1 0 177479336 97239040 23206 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 9123612 0 0 4096 0 0 0 0 17 0 0 0
/proc/19596/statm: 23740 23206 204 97 0 23021 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 100312
[startup+6.27321 s]
/proc/loadavg: 1.64 1.19 1.06 3/88 19597
/proc/meminfo: memFree=1302152/2055920 swapFree=4191880/4192956
[pid=19583] ppid=19581 vsize=5352 CPUtime=0.48
/proc/19583/stat : 19583 (solver) S 19581 19583 15407 0 -1 4194304 376 2730 0 0 0 0 42 6 15 0 1 0 177479283 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19583/statm: 1338 242 203 169 0 49 0
[pid=19596] ppid=19583 vsize=233268 CPUtime=5.71
/proc/19596/stat : 19596 (bordewijk) R 19583 19583 15407 0 -1 4194304 63678 0 0 0 383 188 0 0 25 0 1 0 177479336 238866432 56847 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/19596/statm: 58317 56847 217 97 0 57598 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 238620
[startup+12.7439 s]
/proc/loadavg: 1.59 1.19 1.06 4/85 20253
/proc/meminfo: memFree=1657184/2055920 swapFree=4191880/4192956
[pid=19583] ppid=19581 vsize=5352 CPUtime=11.26
/proc/19583/stat : 19583 (solver) S 19581 19583 15407 0 -1 4194304 396 66409 0 0 0 0 457 669 16 0 1 0 177479283 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19583/statm: 1338 242 203 169 0 49 0
[pid=19707] ppid=19583 vsize=133648 CPUtime=1.38
/proc/19707/stat : 19707 (standalone) R 19583 19583 15407 0 -1 4194304 10833 0 0 0 34 104 0 0 25 0 1 0 177480418 136855552 10156 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/19707/statm: 33412 10156 129 64 0 32727 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 139000
Child status: 0
Real time (s): 22.3341
CPU time (s): 22.2566
CPU user time (s): 13.8659
CPU system time (s): 8.39072
CPU usage (%): 99.6531
Max. virtual memory (cumulated for all children) (KiB): 238620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8659
system time used= 8.39072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100297
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= 681
involuntary context switches= 1021
runsolver used 0.020996 s user time and 0.081987 s system time
The end
Begin job on node9 on Mon Jan 8 21:14:01 UTC 2007
IDJOB= 202417
IDBENCH= 3832
FILE ID= node9/202417-1168290839
PBS_JOBID= 3501765
Free space on /tmp= 66478 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
COMMAND LINE= /tmp/evaluation/202417-1168290839/solver /tmp/evaluation/202417-1168290839/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-202417-1168290839 -o ROOT/results/node9/solver-202417-1168290839 -C 1800 -M 900 /tmp/evaluation/202417-1168290839/solver /tmp/evaluation/202417-1168290839/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= ec768d8bdc2ba6275ce05ab9b6a5623a
RANDOM SEED= 906262508
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: 1456432 kB
Buffers: 19576 kB
Cached: 251616 kB
SwapCached: 264 kB
Active: 410916 kB
Inactive: 134620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1456432 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 72572 kB
Writeback: 0 kB
Mapped: 287444 kB
Slab: 38308 kB
Committed_AS: 5367676 kB
PageTables: 2744 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= 66448 MiB
End job on node9 on Mon Jan 8 21:14:24 UTC 2007