Trace number 2082997

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
Mistral 1.545SAT 1049.08 1055.77

DiagnosticValue
ASSIGNMENTS21271
CHECKS3394420
NODES21271

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-9.xml
MD5SUM7c8eb97a2deab43c8771e25856b5f843
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 benchmark36.6144
Satisfiable
(Un)Satisfiability was proved
Number of variables1750
Number of constraints32049
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension32049
Global constraints used (with number of constraints)

Solver Data 

0.18/0.21	c mistral version 1.545
1048.90/1055.61	s SATISFIABLE
1048.90/1055.61	v -2260 -2700 2882 2762 2262 2448 2880 2682 -2566 2294 2838 -2542 -2786 -2734 -2690 -2882 -2882 2486 -2786 -2454 -2574 2462 2604 2494 2534 -2190 -2494 -2786 -2472 -2342 -2678 2838 -2774 2184 2714 2120 -2446 2730 2526 2574 -2820 2448 2208 -2504 2842 -2526 -2758 2574 -2762 -2160 -2668 2798 -2696 -2880 -2144 -2700 2256 -2638 -2432 2866 -2762 -2840 2444 -2634 -2566 -2842 -2774 -2446 2352 -2330 -2836 -2600 -2774 -2726 2190 -2692 -2444 -2528 -2378 2762 2526 -2920 -2778 -2586 2742 -2494 -2558 2826 2786 2678 -2650 2584 -2798 -2186 -2546 -2200 2444 2700 -2740 2850 2692 2718 -2558 -2566 -2140 -2534 -2520 -2758 -2486 -2534 2786 2440 -2812 2408 -2742 -2514 -2302 2294 -2728 2566 2440 -2892 2880 2216 -2432 2700 2566 -2224 -2516 2838 2800 -2482 2546 2874 2374 -2486 2360 2256 -2174 2838 2520 -2818 -2882 2852 -2230 -2798 2566 2848 2294 -2406 2880 -2296 -2408 -2786 -2640 2798 -2526 -2182 2762 2454 2892 -2762 -2544 2664 2902 -2858 2162 -2640 2526 -2734 -2868 2446 -2450 -2598 -2558 -2422 -2226 2700 -2226 -2784 -2408 2914 2296 -2446 -2580 -2738 2826 -2640 2408 -2740 -2654 -2768 2870 -2748 -2340 2448 -2900 2408 -2740 2872 -2812 2518 -2446 -2340 2858 -2190 2748 -2250 -2252 2338 2448 2446 2366 -2202 2472 -2744 2166 -2612 -2626 2534 2646 2340 2342 2576 2526 2494 2534 2196 -2788 -2732 -2880 2684 -2524 2700 -2818 2798 2816 2882 2646 2482 2526 -2880 2600 2486 2778 -2584 2266 2830 -2326 2396 2874 -2800 2164 2160 -2776 2876 2138 2526 -2742 2690 -2560 2136 2544 2740 2718 -2610 -2502 2178 2598 2810 2910 -2678 2170 -2174 2640 -2640 -2230 -2386 2570 -2798 -2722 2722 -2826 -2440 2762 -2494 2160 2504 2914 2266 -2566 2722 2520 2740 -2332 -2658 2526 2860 2166 -2638 -2758 2730 -2448 2836 -2540 -2586 2486 -2638 2722 2640 -2440 2650 2574 -2566 2722 -2190 -2254 -2444 -2208 -2486 -2910 2640 -2624 2624 -2236 -2254 -2788 2814 2748 -2700 -2366 2254 -2700 2216 2184 -2882 -2472 -2740 2448 -2678 2892 -2616 -2164 2868 2722 2422 2702 2786 2700 -2774 -2230 2536 2806 2700 -2566 -2522 2614 2402 -2472 2640 2604 2566 -2230 -2572 -2652 2852 2230 -2760 -2798 2808 2474 -2366 -2746 -2446 2740 -2786 2812 2798 2564 -2566 2648 2508 2366 2910 2444 -2124 2296 -2740 2336 -2608 2914 2472 2182 -2600 2920 2910 -2140 2432 2534 2762 -2652 2274 -2382 2600 2692 -2734 -2740 -2652 -2444 2638 2446 2700 2180 -2890 2654 2190 -2256 2704 2282 2800 -2740 2740 -2692 -2842 2798 -2578 -2746 2758 2406 2226 -2692 2296 2202 2446 -2636 -2256 2446 -2880 2504 -2774 -2446 -2826 -2566 2664 -2902 -2282 -2562 -2120 2560 -2160 2470 -2440 2174 -2566 -2526 -2526 -2202 2632 2362 -2520 -2622 2828 2828 2722 -2774 2650 -2640 -2444 -2432 2236 -2740 2446 2504 -2566 -2734 2196 -2520 2626 -2854 -2126 -2828 2600 -2226 -2748 -2580 -2242 2892 2820 -2920 -2362 -2638 -2284 -2910 -2916 -2172 2774 -2504 -2662 2128 2526 2710 -2294 -2392 -2826 2534 2366 2294 -2722 -2762 2686 -2520 2510 -2842 2852 -2554 -2526 -2440 -2594 2494 2678 2368 -2880 2486 2446 -2406 -2700 -2852 2534 -2740 -2880 2882 2870 -2838 2702 2406 2362 -2266 -2196 -2560 -2486 -2790 -2812 2160 -2560 -2418 -2124 2566 2796 2786 -2870 -2852 2494 2526 -2494 -2710 2490 2638 2814 -2640 -2868 -2534 2294 2440 -2160 2686 2382 2446 -2868 2484 -2404 -2600 2852 -2254 2818 2486 2690 -2462 2762 2798 2382 -2706 2230 2812 -2574 2360 2170 -2446 2520 2448 -2406 -2800 -2120 2340 2120 -2262 2156 -2734 2840 -2480 2520 -2892 2742 2568 -2544 -2718 2860 2614 2796 -2842 2566 -2672 2490 2694 -2730 -2774 2614 -2598 -2776 2578 2472 -2560 2566 -2920 2228 -2228 -2382 -2486 2798 -2862 -2666 2574 -2534 -2778 2134 2880 2654 -2762 2598 -2774 2254 2286 2366 -2520 2382 2692 2608 -2842 -2650 2526 2342 2858 -2196 2736 2254 -2534 -2230 2480 -2788 -2254 -2190 -2598 -2762 -2484 2296 -2652 -2760 2600 2550 2890 2882 2392 -2738 2520 2560 -2770 2346 -2912 2702 -2570 -2758 -2408 2692 2892 -2640 -2740 -2190 -2566 -2858 -2842 -2560 2554 -2700 2788 -2748 -2838 2566 -2408 -2478 2800 -2586 2762 -2160 -2230 -2296 2256 2616 2486 -2254 -2166 -2522 -2852 -2526 -2598 2692 -2776 -2866 2892 -2136 2716 2708 2852 2652 -2870 2914 2440 -2722 2676 2406 2740 -2494 -2628 -2758 -2120 -2228 2610 -2486 2448 -2190 2504 -2508 2490 -2522 -2826 -2190 2446 2882 -2520 -2840 2740 2892 -2910 -2778 2376 2786 -2608 2910 2408 -2722 -2248 2842 2472 2242 -2910 2254 -2256 2734 2652 -2546 -2734 2120 2250 -2794 -2758 2302 -2124 2748 2720 2818 -2692 -2868 -2296 -2714 -2560 2842 -2818 2826 -2230 -2670 2480 -2600 2192 -2818 2620 2594 2748 2802 -2680 2662 2580 -2778 2486 -2742 2406 2294 -2314 2718 2704 -2164 2178 2788 2688 -2784 2372 2600 2250 -2740 2760 2586 -2446 2690 2774 2688 2874 2638 -2828 2760 -2468 2774 -2722 2160 -2526 -2648 2164 -2444 2380 2262 -2838 -2880 -2760 2652 2346 2840 -2152 -2566 2604 2640 -2294 -2726 2778 -2818 2176 2774 -2342 -2734 2446 -2168 -2862 2320 -2122 2162 2260 -2700 -2842 2486 -2882 2596 -2340 2560 2746 -2294 -2798 -2880 -2366 -2852 2182 -2140 2486 -2180 -2852 2892 2700 -2842 -2692 -2290 2332 -2852 2638 -2484 -2128 2880 2758 2406 2870 2842 -2532 -2232 -2780 2650 -2656 -2598 -2446 2782 -2480 -2744 -2464 2300 -2772 -2850 2722 -2216 2706 2722 2750 -2838 -2772 -2182 -2184 -2404 2870 -2574 2492 2408 -2690 2770 -2818 -2746 2408 -2810 -2144 2566 2762 2406 -2158 -2882 2544 2748 -2296 2600 -2152 -2580 -2472 2650 2504 -2836 -2432 2902 2190 2902 -2842 -2168 -2520 2526 2862 -2746 2120 2842 2144 -2846 2614 -2406 2294 2538 2880 -2600 -2576 2486 2314 2366 -2490 2758 2186 2452 2862 -2862 2342 2734 -2598 2342 -2230 2812 2296 -2494 -2340 2874 2744 2784 2540 -2650 2798 2468 2322 -2762 2648 2566 2740 2650 2600 2892 2652 2526 2852 -2798 2672 2214 -2556 -2828 -2126 -2162 2608 2470 -2456 2662 2480 -2600 -2684 2638 2720 2526 -2290 2648 -2616 -2842 -2650 -2382 -2722 -2914 -2690 2650 2370 -2406 -2370 2638 2504 -2652 2774 2164 -2566 2816 -2256 -2184 2760 -2626 -2188 -2180 2718 2126 2482 -2534 -2710 -2430 2576 2156 -2700 -2784 -2256 2408 -2640 2386 -2556 -2840 2902 -2230 2560 2204 -2594 -2786 -2370 -2700 2854 2366 2640 2382 2690 -2902 -2704 -2538 2526 -2120 -2160 2202 -2526 2210 2690 -2882 -2724 2568 2342 2532 -2724 -2652 2406 -2440 -2150 -2120 -2140 -2650 -2908 2892 2302 2502 -2746 -2678 2382 2160 2136 -2282 -2294 -2190 -2634 -2406 2700 -2652 -2142 2406 2586 2410 2772 2640 -2256 2190 -2882 2480 -2292 -2892 -2586 2920 -2526 -2852 2366 2870 -2734 -2560 -2242 2414 -2840 2494 2534 -2296 -2446 2480 2604 -2722 -2566 2798 2842 2710 -2120 2910 -2230 2850 2530 -2562 2680 2738 -2160 -2566 -2230 -2342 2444 -2486 2640 -2782 2598 2786 -2882 2816 -2770 -2910 2446 -2744 2840 2480 -2450 -2408 -2734 -2214 2786 -2796 2670 -2870 -2810 -2166 2142 -2566 2180 2544 2190 2612 2882 2840 -2406 -2202 -2322 -2882 -2840 -2298 -2882 2494 2226 2120 -2692 -2256 -2746 2526 -2648 -2920 2176 2352 2600 -2342 2760 -2526 -2534 2132 -2800 2274 -2870 -2638 -2446 -2700 2382 2700 2692 -2266 -2762 2784 -2254 -2542 -2448 -2882 2902 -2862 -2720 2782 2526 2128 2176 -2566 2722 -2692 -2342 -2526 2840 -2142 -2920 2486 2758 -2190 -2206 -2428 -2890 -2536 2342 -2230 -2230 -2254 2174 2744 2544 2852 -2574 -2448 2674 -2526 2560 -2638 -2152 -2162 -2496 -2126 -2616 -2522 -2882 -2504 -2560 -2786 2842 2382 -2640 2758 2366 -2850 2472 2124 -2638 2168 2162 2566 2366 -2282 2676 -2666 -2124 -2776 -2448 -2698 -2692 -2740 2910 2876 2798 -2560 -2446 2842 -2294 2746 -2566 2526 2774 -2140 2448 2840 2408 2598 -2664 -2328 -2734 2690 -2854 -2190 -2838 2762 2574 2404 -2814 2414 -2192 2758 2770 -2892 2450 2138 2380 -2126 -2520 2254 2566 -2582 -2786 2446 2702 -2342 -2270 -2230 2608 2190 2690 -2448 -2326 2880 2876 -2282 2120 2250 -2708 2188 -2230 2142 -2690 -2212 2230 -2774 2254 -2694 -2292 -2504 2700 -2492 -2682 -2762 -2566 -2798 -2798 -2652 2526 -2650 2550 2526 -2748 -2230 2838 -2160 2892 -2190 -2762 -2190 -2256 2176 -2446 -2892 2140 -2852 -2582 2382 -2446 2722 2908 2590 2542 2740 2120 -2486 2800 -2690 -2486 -2722 2378 2826 -2546 2526 2734 -2742 -2366 -2888 2480 -2892 -2762 2750 2700 -2834 2182 2870 -2842 -2566 -2286 -2290 -2842 2816 2852 -2852 -2692 2526 2786 -2166 2624 2446 -2190 -2484 2902 2526 2598 -2678 -2722 2566 2826 2162 2382 2566 2742 -2882 -2590 2342 2846 -2704 2598 2788 -2526 -2674 2180 -2564 -2576 2746 2776 -2544 -2534 2890 2526 2468 -2738 2652 2368 2190 2786 2126 2892 -2842 2230 2230 2830 2338 2448 -2420 2382 2600 -2382 2494 2334 2408 -2180 2188 -2652 -2686 -2702 -2678 -2632 2324 -2242 2544 2880 2734 -2862 2448 -2254 -2382 -2566 -2198 -2564 2446 2652 -2486 2694 -2916 2484 2282 -2342 2598 2408 -2176 2432 2740 -2520 2758 -2560 -2598 2916 2810 -2816 -2270 2566 -2130 -2188 -2296 2558 2228 -2600 2788 2758 -2882 -2652 -2526 2598 2740 2164 -2518 -2740 -2440 -2406 -2566 -2330 2826 2868 2622 -2708 -2408 2798 2628 2480 -2652 2700 -2798 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 2868 -2652 -2870 -2790 -2806 2436 -2382 -2600 2534 -2526 2860 -2828 -2702 2920 2798 2650 2722 -2320 -2698 -2378 -2862 -2690 -2564 2190 -2704 -2770 -2168 -2640 -2734 -2522 2762 -2870 2528 -2430 -2692 -2798 2546 -2534 -2566 -2718 -2242 -2736 -2902 -2744 -2480 -2874 -2868 -2486 2566 -2406 2294 2526 2534 2828 -2160 2880 -2576 -2176 2342 -2408 -2652 2718 2826 2464 -2480 2740 -2432 2226 -2336 2870 -2534 2210 -2294 2282 -2486 -2230 2408 -2526 -2332 2706 2526 2598 2852 -2190 -2842 -2380 2696 2686 -2638 -2648 2718 2540 -2432 2564 2588 -2880 -2192 -2448 2142 2842 2160 -2692 2838 2556 2598 -2750 2826 -2446 2380 2440 2692 2408 -2190 -2850 2516 -2620 2272 -2448 -2882 2504 -2920 2722 2882 2910 2322 -2842 -2166 2734 -2296 2758 2852 2566 2566 2580 2230 -2470 -2526 2870 -2296 -2908 -2520 2544 -2514 2798 -2868 -2760 -2418 2852 -2692 -2134 -2380 -2600 2254 2486 2432 -2484 -2744 -2824 -2242 2380 2300 2294 -2690
1048.90/1055.61	d CHECKS 3394417
1048.90/1055.61	d ASSIGNMENTS 21271
1048.90/1055.61	d NODES 21271 BACKTRACKS 17052 FAILURES 17052 RUNTIME 1047.52 TOTALTIME 1049.09 NODES/s 20.3061 CHECKS/s 3240.43

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2082997-1247376359/watcher-2082997-1247376359 -o /tmp/evaluation-result-2082997-1247376359/solver-2082997-1247376359 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2082997-1247376359.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 1.94 1.98 1.99 4/74 24965
/proc/meminfo: memFree=1749816/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=18576 CPUtime=0
/proc/24965/stat : 24965 (runsolver) R 24963 24965 6860 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 24699388 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24965/statm: 4644 284 249 26 0 2626 0

[startup+0.109999 s]
/proc/loadavg: 1.94 1.98 1.99 4/74 24965
/proc/meminfo: memFree=1749816/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=7176 CPUtime=0.09
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 1018 0 0 0 9 0 0 0 18 0 1 0 24699388 7348224 997 996147200 1448431616 1448550632 4294956208 18446744073709551615 4160172296 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 1794 997 374 29 0 609 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7176

[startup+0.202006 s]
/proc/loadavg: 1.94 1.98 1.99 4/74 24965
/proc/meminfo: memFree=1749816/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=8088 CPUtime=0.18
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 1244 0 0 0 18 0 0 0 18 0 1 0 24699388 8282112 1223 996147200 1448431616 1448550632 4294956208 18446744073709551615 4160505748 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 2022 1223 374 29 0 837 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8088

[startup+0.302014 s]
/proc/loadavg: 1.94 1.98 1.99 4/74 24965
/proc/meminfo: memFree=1749816/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=9120 CPUtime=0.28
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 1486 0 0 0 28 0 0 0 19 0 1 0 24699388 9338880 1465 996147200 1448431616 1448550632 4294956208 18446744073709551615 134944432 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 2280 1465 374 29 0 1095 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9120

[startup+0.701039 s]
/proc/loadavg: 1.94 1.98 1.99 4/74 24965
/proc/meminfo: memFree=1749816/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=12904 CPUtime=0.68
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 2424 0 0 0 67 1 0 0 23 0 1 0 24699388 13213696 2403 996147200 1448431616 1448550632 4294956208 18446744073709551615 4158968467 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 3226 2403 375 29 0 2041 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12904

[startup+1.5011 s]
/proc/loadavg: 1.94 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1737904/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=34132 CPUtime=1.48
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 5710 0 0 0 145 3 0 0 25 0 1 0 24699388 34951168 5689 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157387296 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 8533 5689 383 29 0 7348 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34132

[startup+3.10119 s]
/proc/loadavg: 1.94 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706416/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=3.07
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11174 0 0 0 302 5 0 0 25 0 1 0 24699388 74592256 11153 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534283 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11153 398 29 0 17026 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 72844

[startup+6.30141 s]
/proc/loadavg: 1.94 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=6.24
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11174 0 0 0 619 5 0 0 25 0 1 0 24699388 74592256 11153 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534272 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11153 398 29 0 17026 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 72844

[startup+12.7018 s]
/proc/loadavg: 1.95 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=12.59
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11175 0 0 0 1254 5 0 0 25 0 1 0 24699388 74592256 11154 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529712 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11154 399 29 0 17026 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 72844

[startup+25.5017 s]
/proc/loadavg: 1.96 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706416/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=25.29
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11177 0 0 0 2524 5 0 0 25 0 1 0 24699388 74592256 11156 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528944 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11156 401 29 0 17026 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 72844

[startup+51.1014 s]
/proc/loadavg: 1.97 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706480/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=50.7
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11177 0 0 0 5065 5 0 0 25 0 1 0 24699388 74592256 11156 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11156 401 29 0 17026 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 72844

[startup+102.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706480/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=101.52
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11177 0 0 0 10146 6 0 0 25 0 1 0 24699388 74592256 11156 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529780 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11156 401 29 0 17026 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 72844

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706480/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=161.07
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11177 0 0 0 16101 6 0 0 25 0 1 0 24699388 74592256 11156 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534269 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11156 401 29 0 17026 0
Current children cumulated CPU time (s) 161.07
Current children cumulated vsize (KiB) 72844

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706416/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=220.62
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11177 0 0 0 22056 6 0 0 25 0 1 0 24699388 74592256 11156 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531292 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11156 401 29 0 17026 0
Current children cumulated CPU time (s) 220.62
Current children cumulated vsize (KiB) 72844

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706416/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=280.16
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11177 0 0 0 28010 6 0 0 25 0 1 0 24699388 74592256 11156 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529712 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11156 401 29 0 17026 0
Current children cumulated CPU time (s) 280.16
Current children cumulated vsize (KiB) 72844

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706416/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72844 CPUtime=339.71
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11177 0 0 0 33965 6 0 0 25 0 1 0 24699388 74592256 11156 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18211 11156 401 29 0 17026 0
Current children cumulated CPU time (s) 339.71
Current children cumulated vsize (KiB) 72844

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706352/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72976 CPUtime=399.25
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11234 0 0 0 39918 7 0 0 25 0 1 0 24699388 74727424 11213 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531792 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18244 11213 408 29 0 17059 0
Current children cumulated CPU time (s) 399.25
Current children cumulated vsize (KiB) 72976

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72976 CPUtime=458.78
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11249 0 0 0 45871 7 0 0 25 0 1 0 24699388 74727424 11228 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529433 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18244 11228 408 29 0 17059 0
Current children cumulated CPU time (s) 458.78
Current children cumulated vsize (KiB) 72976

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73108 CPUtime=518.31
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11252 0 0 0 51824 7 0 0 25 0 1 0 24699388 74862592 11231 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529438 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18277 11231 408 29 0 17092 0
Current children cumulated CPU time (s) 518.31
Current children cumulated vsize (KiB) 73108

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73108 CPUtime=577.86
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11253 0 0 0 57779 7 0 0 25 0 1 0 24699388 74862592 11232 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529438 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18277 11232 408 29 0 17092 0
Current children cumulated CPU time (s) 577.86
Current children cumulated vsize (KiB) 73108

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73108 CPUtime=637.41
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11253 0 0 0 63733 8 0 0 25 0 1 0 24699388 74862592 11232 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531265 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18277 11232 408 29 0 17092 0
Current children cumulated CPU time (s) 637.41
Current children cumulated vsize (KiB) 73108

[startup+702.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1706096/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73108 CPUtime=696.96
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11254 0 0 0 69688 8 0 0 25 0 1 0 24699388 74862592 11233 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531270 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18277 11233 408 29 0 17092 0
Current children cumulated CPU time (s) 696.96
Current children cumulated vsize (KiB) 73108

[startup+762.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1705968/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=756.47
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 75639 8 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529424 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 756.47
Current children cumulated vsize (KiB) 73240

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 24966
/proc/meminfo: memFree=1705968/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=815.97
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 81589 8 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529760 0 0 4096 0 0 0 0 17 1 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 815.97
Current children cumulated vsize (KiB) 73240

[startup+882.307 s]
/proc/loadavg: 2.17 2.02 2.01 3/83 25015
/proc/meminfo: memFree=1459632/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=875.74
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 87563 11 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 875.74
Current children cumulated vsize (KiB) 73240

[startup+942.303 s]
/proc/loadavg: 2.33 2.10 2.03 4/83 25075
/proc/meminfo: memFree=1620528/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=935.71
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 93555 16 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534311 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 935.71
Current children cumulated vsize (KiB) 73240

[startup+1002.3 s]
/proc/loadavg: 2.50 2.17 2.06 3/83 25075
/proc/meminfo: memFree=1197808/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=995.66
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 99546 20 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529424 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 995.66
Current children cumulated vsize (KiB) 73240

Solver just ended. Dumping a history of the last processes samples

[startup+1024 s]
/proc/loadavg: 2.64 2.23 2.08 3/83 25075
/proc/meminfo: memFree=1021296/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=1017.34
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 101712 22 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 135265416 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 1017.34
Current children cumulated vsize (KiB) 73240

[startup+1036.8 s]
/proc/loadavg: 2.72 2.26 2.09 3/83 25075
/proc/meminfo: memFree=906544/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=1030.13
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 102988 25 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529946 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 1030.13
Current children cumulated vsize (KiB) 73240

[startup+1043.2 s]
/proc/loadavg: 2.74 2.28 2.10 3/83 25075
/proc/meminfo: memFree=849200/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=1036.53
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 103628 25 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 1036.53
Current children cumulated vsize (KiB) 73240

[startup+1049.6 s]
/proc/loadavg: 2.78 2.30 2.11 3/83 25075
/proc/meminfo: memFree=793456/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=1042.92
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 104266 26 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534224 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 1042.92
Current children cumulated vsize (KiB) 73240

[startup+1052.81 s]
/proc/loadavg: 2.78 2.30 2.11 3/83 25075
/proc/meminfo: memFree=763696/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=1046.13
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 104587 26 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 1046.13
Current children cumulated vsize (KiB) 73240

[startup+1054.4 s]
/proc/loadavg: 2.80 2.31 2.11 3/83 25075
/proc/meminfo: memFree=755568/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=1047.71
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 104745 26 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528937 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 1047.71
Current children cumulated vsize (KiB) 73240

[startup+1055.2 s]
/proc/loadavg: 2.80 2.31 2.11 3/83 25075
/proc/meminfo: memFree=746672/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73240 CPUtime=1048.5
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11282 0 0 0 104824 26 0 0 25 0 1 0 24699388 74997760 11261 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529750 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18310 11261 408 29 0 17125 0
Current children cumulated CPU time (s) 1048.5
Current children cumulated vsize (KiB) 73240

[startup+1055.6 s]
/proc/loadavg: 2.80 2.31 2.11 3/83 25075
/proc/meminfo: memFree=746672/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=73252 CPUtime=1048.9
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11284 0 0 0 104864 26 0 0 25 0 1 0 24699388 75010048 11263 996147200 1448431616 1448550632 4294956208 18446744073709551615 135167857 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18313 11263 409 29 0 17128 0
Current children cumulated CPU time (s) 1048.9
Current children cumulated vsize (KiB) 73252

[startup+1055.7 s]
/proc/loadavg: 2.80 2.31 2.11 3/83 25075
/proc/meminfo: memFree=746672/2055920 swapFree=4192812/4192956
[pid=24965] ppid=24963 vsize=72724 CPUtime=1049
/proc/24965/stat : 24965 (ld-linux.so.2) R 24963 24965 6860 0 -1 4194304 11321 0 0 0 104874 26 0 0 25 0 1 0 24699388 74469376 11203 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157373529 0 0 4096 0 0 0 0 17 0 0 0
/proc/24965/statm: 18181 11203 445 29 0 16996 0
Current children cumulated CPU time (s) 1049
Current children cumulated vsize (KiB) 72724

Child status: 0
Real time (s): 1055.77
CPU time (s): 1049.08
CPU user time (s): 1048.8
CPU system time (s): 0.277957
CPU usage (%): 99.367
Max. virtual memory (cumulated for all children) (KiB): 73252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1048.8
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11322
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= 24
involuntary context switches= 18618

runsolver used 0.955854 second user time and 3.08453 second system time

The end

Launcher Data 

Begin job on node52 at 2009-07-12 07:25:59
IDJOB=2082997
IDBENCH=57668
IDSOLVER=769
FILE ID=node52/2082997-1247376359
PBS_JOBID= 9507108
Free space on /tmp= 66140 MiB

SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-9.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082997-1247376359/watcher-2082997-1247376359 -o /tmp/evaluation-result-2082997-1247376359/solver-2082997-1247376359 -C 1800 -W 2000 -M 900  /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2082997-1247376359.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 7c8eb97a2deab43c8771e25856b5f843
RANDOM SEED=2068842630

node52.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1750296 kB
Buffers:         42944 kB
Cached:         180912 kB
SwapCached:          0 kB
Active:         153248 kB
Inactive:        91880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1750296 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5864 kB
Writeback:           0 kB
Mapped:          32036 kB
Slab:            45688 kB
Committed_AS:   262580 kB
PageTables:       1868 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= 65316 MiB
End job on node52 at 2009-07-12 07:43:35