Trace number 202449

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 22.4716 22.6153

General information on the benchmark

Namefapp/fapp21-25/fapp22/
fapp22-1750-7.xml
MD5SUM0e4a172a147463479a8ddf87bb5036ea
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 benchmark15.7856
SatisfiableYES
(Un)Satisfiability was provedYES
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 (download as text)

c 
c 
c 
c solution file
c 
c 

SAT
2234 2700 2882 -2762 -2262 2448 -2878 -2682 2566 2294 -2836 2542 -2786 2734 2690 2882 2882 2486 2786 -2456 -2574 -2464 2602 2494 -2534 2190 2494 -2786 -2472 -2342 2678 -2838 2774 -2184 2714 2120 2446 -2730 2526 2574 -2824 2448 -2206 2504 2842 2526 2758 -2574 -2762 -2160 2668 2798 -2700 2880 -2168 2700 -2256 2638 -2432 -2870 2762 2840 2440 2634 -2568 2842 2774 2446 2348 -2330 2872 2600 2774 -2730 2190 2692 2440 -2526 -2374 2762 -2526 -2910 -2828 -2588 2744 2494 2558 -2826 2786 2678 2650 -2586 2798 -2188 -2548 -2166 2444 2700 2740 -2850 -2692 -2718 2558 2566 -2138 2534 2520 -2758 -2486 2534 2786 2440 -2814 -2408 2744 2514 2302 2294 2728 2566 2440 2892 -2878 -2220 2432 2700 2566 -2224 -2518 2838 -2798 2478 2548 -2878 -2374 -2486 2362 2256 -2174 -2838 2520 -2818 2882 -2850 2230 2798 -2566 -2852 2294 2406 -2878 2296 2408 2786 2640 2798 2526 -2196 2762 -2456 -2892 2762 2544 -2664 -2902 2858 2158 2640 2526 2734 -2868 2446 2450 2598 2558 -2424 -2228 -2704 -2226 2784 2408 -2918 2296 2442 -2582 2740 -2826 2640 2408 2740 2652 2768 -2870 -2750 2342 2448 2902 -2408 2740 2880 2812 -2440 2446 -2336 2858 2190 -2750 2250 2250 -2170 2448 2446 2366 2202 2472 -2746 -2282 -2610 2626 2534 -2648 2342 2342 -2578 2526 2494 2534 2196 2790 -2732 2880 2684 2526 2700 2816 2798 2816 -2882 -2648 -2482 2526 2880 2600 -2486 2778 -2586 -2266 -2830 2328 -2396 -2876 2800 2162 -2160 -2776 -2878 2140 2526 -2742 2690 -2560 -2120 2544 2740 -2718 2612 -2504 -2182 2598 2808 2910 -2678 -2172 -2178 -2640 -2640 2230 2382 -2572 -2798 -2724 2722 -2830 2440 2762 2494 2160 2500 -2916 -2266 2566 2722 2520 2740 2332 2658 2526 2864 -2176 2638 2758 -2730 -2448 -2840 2540 -2586 -2488 2638 -2722 -2640 2440 -2650 2574 -2566 2722 -2190 2254 2444 2212 -2486 2910 2640 2624 2626 2236 2254 2790 -2818 -2748 -2700 2366 2254 -2700 2216 2184 2882 2472 2740 2448 2678 -2892 2616 2166 -2868 2722 -2424 2702 -2786 2700 2774 2230 -2538 -2812 -2700 -2566 -2522 2612 -2400 -2472 -2640 -2604 -2566 -2230 2572 -2652 -2852 -2226 -2758 -2798 2808 -2474 2366 2748 -2446 -2744 -2786 -2820 2798 2562 2566 -2650 -2510 2366 2910 -2446 -2122 -2296 2740 2336 2608 -2918 -2472 2178 2600 2918 2910 -2144 2432 2534 -2762 2652 2270 2382 2600 2692 2734 -2744 2652 -2444 -2638 2446 2698 2182 -2898 -2652 2190 2256 -2706 2284 -2798 -2740 2738 2692 -2842 -2798 -2578 -2746 2758 -2406 -2226 2692 2296 2120 -2446 2636 2256 2446 2880 2504 2774 2446 2826 2566 -2662 -2902 2282 -2560 -2120 -2560 -2168 2470 2440 -2174 -2566 2526 2526 -2202 -2636 2358 2520 -2622 2828 2828 -2724 2774 2650 2640 2444 -2432 2236 -2740 2446 2500 2566 2734 2192 2520 2628 -2858 -2128 -2832 -2600 -2222 -2748 2580 2242 2892 2824 -2878 2360 2638 2290 2910 -2918 -2172 2774 -2504 2662 -2126 2526 2710 2294 2388 2826 -2534 -2366 2294 -2722 2762 -2688 2520 -2510 2842 2852 2554 2526 2440 2594 -2494 2678 -2368 2880 2482 2446 2404 2700 -2852 -2534 -2740 2880 2882 -2870 2838 -2704 2406 -2358 -2262 2192 2560 2486 2790 2812 -2126 -2560 2414 2120 2566 -2800 -2786 -2870 -2852 2494 2526 2494 -2714 2490 -2638 -2818 2640 -2872 2534 2294 2440 -2160 -2690 2382 2446 2870 2484 -2404 2600 2852 2254 -2816 2486 2690 -2464 2762 2798 2382 -2708 2230 2818 2574 -2362 -2166 -2446 -2520 2448 2406 2800 -2120 -2342 -2120 -2264 -2152 2734 2844 -2480 2520 2892 -2742 2566 2544 2718 -2862 -2614 -2800 2842 2566 -2676 -2490 2692 -2730 2774 -2614 2598 -2776 -2578 2472 -2560 2568 -2918 -2228 2232 -2382 2486 2796 -2862 -2664 -2574 2534 2778 2134 2880 2652 2762 -2598 2774 -2254 -2288 -2366 2520 2382 2692 2608 2842 2650 -2526 2342 2858 2196 -2740 2254 2534 -2226 2480 -2788 2254 -2190 2598 -2764 2484 2296 2652 -2760 2600 -2550 -2896 -2882 2388 -2736 2520 2560 -2774 -2342 2920 -2702 -2572 -2758 -2408 2692 -2892 2642 -2740 2190 -2566 2858 -2842 2560 2554 2700 2788 -2746 -2838 -2566 2408 -2480 -2798 2586 2762 -2232 -2230 2296 -2256 2616 -2486 -2254 -2168 -2520 2852 -2526 -2598 -2692 2776 -2870 2892 -2366 2714 2712 2852 2652 -2870 -2914 -2440 2722 -2676 2406 2740 2494 2628 2758 -2142 -2228 -2612 2486 -2448 2190 2504 -2510 -2490 -2522 -2826 2190 2446 2884 2520 -2840 2740 2892 2910 -2776 2376 -2786 2608 2910 2408 -2722 2252 2842 2472 -2242 2910 2254 -2256 2734 2652 2546 2734 -2120 -2170 2794 -2758 2302 -2122 2752 2722 -2818 -2692 -2878 2296 2714 2560 2842 -2868 -2826 2230 2670 -2480 2600 2188 -2818 -2622 -2594 2748 -2804 -2682 -2662 -2582 -2776 -2486 2742 2406 2294 2310 2718 2702 -2160 2180 2786 -2688 2784 2372 2600 -2250 2740 -2762 2586 -2446 2690 2774 -2690 2874 2640 2828 2762 -2470 2774 -2722 -2164 2526 2648 2162 -2446 -2382 2262 2838 2878 -2758 2652 -2342 2840 -2148 2566 2604 2642 2294 -2730 2776 -2818 -2292 -2774 -2342 2734 -2442 2164 2862 -2322 -2154 -2194 2260 2700 2842 -2486 2882 2596 -2338 2560 2746 2294 2798 2880 2366 -2852 -2284 -2142 -2482 -2180 2852 2892 -2700 2842 2692 -2290 2328 2852 2638 2484 -2124 -2880 -2758 2408 -2870 2842 2532 -2312 -2780 -2650 2656 2598 2446 -2786 2480 2744 2460 -2274 -2772 -2856 2722 -2216 2704 2722 -2784 2838 2774 -2178 -2184 -2400 -2870 2574 2492 2408 2690 -2774 2818 2746 -2408 -2814 2144 -2566 2762 -2406 -2318 2882 2544 -2748 2296 2600 2148 -2580 2472 2650 2504 -2840 2432 2902 -2376 2902 2842 -2166 2520 2528 -2862 -2748 2272 2842 -2144 -2852 2614 2406 2294 2538 -2880 2600 2576 2486 -2310 2366 -2490 2758 -2160 2452 -2862 2862 2342 2734 2598 2342 2230 -2820 2296 2494 -2336 -2878 2744 2784 -2540 -2650 -2798 2470 -2318 2764 2650 2566 2740 2650 2600 2892 -2650 2526 -2860 2798 -2672 2214 -2558 2828 -2136 -2162 -2610 -2470 2456 -2662 2480 2600 -2684 2638 -2720 2526 -2290 -2650 2616 2842 -2650 -2382 2722 2918 -2690 2650 2370 2406 2370 -2638 -2504 2652 -2774 2160 2566 -2816 2256 -2208 2760 2626 2188 -2182 2718 -2126 -2482 -2534 -2710 -2430 2576 -2152 -2700 2784 2256 2408 2640 2382 2556 -2840 2902 2230 -2560 2206 2594 2786 2370 -2700 -2858 -2368 -2640 2382 2690 -2902 2704 2538 -2526 -2120 -2182 -2198 -2526 2210 2690 -2882 2724 2566 2342 -2532 -2724 -2652 -2406 -2440 -2336 -2122 -2142 -2650 -2918 -2892 -2304 2504 2746 -2678 -2382 2160 -2332 -2282 2294 -2190 2634 -2406 -2702 2652 -2156 2406 -2588 2410 2772 2640 -2256 2190 2882 -2480 2288 -2892 -2588 2920 -2526 2852 2366 -2870 -2734 2560 2242 -2416 2840 2494 2534 2296 2446 2480 2604 -2722 2566 2798 2842 -2714 -2124 2910 2230 -2858 2530 2562 -2682 -2738 -2160 2566 2230 2342 -2444 2486 -2640 2782 2600 -2786 -2882 2816 -2770 2910 2446 2744 2840 -2480 -2450 2408 2734 -2214 2786 -2832 2670 2870 2804 -2166 -2138 -2566 2180 2544 2190 -2612 -2882 2840 2406 -2198 2318 -2882 2840 2378 2882 2494 2120 2120 2692 2256 -2746 2526 -2648 -2918 -2176 -2348 2600 2342 2758 -2526 2534 -2132 2798 2270 2870 2638 2446 -2704 2382 2700 2692 -2262 2762 2784 2254 -2544 2448 2882 2902 2862 2722 2786 2526 2124 -2160 -2566 2722 2692 -2342 -2526 -2838 2138 2920 2486 2758 2190 2206 2428 -2890 -2538 2342 2230 2232 -2254 -2174 -2744 -2544 2852 2574 2448 -2674 -2526 -2560 -2638 -2154 2162 -2496 -2322 -2616 2522 -2882 2504 -2560 2786 2842 -2382 2640 2758 -2364 2848 2472 2120 2638 -2164 -2160 2566 2366 -2282 2674 2666 -2120 -2776 2448 -2698 2692 -2740 -2910 2878 2798 -2560 2446 2844 2294 -2746 -2566 2526 2774 -2140 2448 2840 2408 2598 2664 -2328 2734 2690 -2858 2190 2838 2762 2574 2400 -2818 -2416 2194 -2758 -2770 2892 2450 -2142 -2378 -2372 -2520 -2254 2566 2582 -2786 2446 -2704 2342 -2266 2230 -2610 2192 -2690 -2448 2328 2870 2876 2282 -2128 2250 -2708 2192 -2230 -2244 2690 -2210 2230 2774 2254 -2694 -2288 2504 2700 2492 2682 2762 -2566 2798 2798 2652 -2526 2650 2550 2526 -2752 2230 2838 -2162 2892 2190 2762 -2190 -2256 2180 2446 2892 -2140 -2852 2582 2382 2446 -2722 2910 -2590 2544 -2742 2120 2486 2798 2690 2486 2722 -2130 2826 2546 2526 2734 -2746 2366 -2892 2480 2892 2762 2754 2700 2834 -2186 -2870 2842 2566 -2288 2290 -2844 2816 -2858 2852 2692 -2526 2786 -2166 -2626 -2446 2190 2484 2902 2526 -2598 2678 2722 2566 2826 -2158 2382 2566 -2746 2882 2590 -2342 -2852 -2706 -2598 -2788 2526 -2674 -2178 2564 -2576 -2746 -2776 2544 2534 -2894 2526 2468 -2738 -2652 -2368 -2190 2786 -2128 -2890 -2842 -2230 2230 -2830 2338 2448 2420 2382 2600 2382 2494 -2334 2408 -2184 2188 2652 2690 2702 2678 -2632 -2330 -2242 2544 -2884 -2734 2862 2448 2254 2382 2566 -2358 2564 -2446 -2652 2486 2692 -2916 2486 -2282 2342 -2598 2408 2176 2432 2740 -2520 2758 -2560 2598 -2918 -2814 2816 -2266 -2566 -2132 -2228 2296 2558 -2268 -2600 2788 2758 2882 2652 2528 2598 2740 -2160 2518 2740 2440 -2406 2566 2330 2826 2868 -2622 -2712 2408 2798 2628 2480 2652 -2700 -2798 2798 -2574 2652 2566 2640 -2168 2762 -2722 2618 2486 2862 2722 2230 2798 2460 2448 2336 2422 2406 2190 2798 2534 -2230 2750 2448 2722 2586 -2872 2652 2870 -2824 2812 2436 -2382 2600 -2534 2526 2864 -2832 2702 -2918 -2798 2650 2722 -2322 2700 -2374 -2862 -2690 -2564 2190 2704 -2764 -2166 -2640 2734 -2518 -2762 2870 -2526 -2430 -2692 -2798 2546 2534 2566 2718 2242 -2740 2902 2746 2480 -2878 -2868 2486 2566 2406 2294 2526 -2534 -2828 -2160 -2878 -2578 -2326 2342 -2408 2652 2718 2826 2460 2480 -2740 2432 -2222 2336 2870 2534 2206 2294 2282 2486 2230 -2408 2526 2328 2708 -2526 -2598 -2852 2190 2842 -2376 2700 -2688 -2638 2648 2718 -2540 2432 -2566 2588 -2918 -2188 2448 -2226 2842 -2160 2692 -2838 -2558 2598 -2754 2830 2446 -2382 2440 2692 -2408 -2190 -2854 -2518 -2622 2272 2448 2882 2504 -2918 2722 2882 2910 2324 -2842 -2332 2734 2296 2758 2852 2566 2566 -2580 2230 -2470 -2526 -2870 2296 -2918 2520 -2544 2514 -2798 -2878 2758 -2414 -2860 -2692 -2138 -2376 -2600 2254 2486 2432 2486 -2744 -2824 2242 -2382 2300 2294 2690

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/node9/watcher-202449-1168290852 -o ROOT/results/node9/solver-202449-1168290852 -C 1800 -M 900 /tmp/evaluation/202449-1168290852/solver /tmp/evaluation/202449-1168290852/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.59 1.19 1.06 5/87 20283
/proc/meminfo: memFree=1653648/2055920 swapFree=4191880/4192956
[pid=20282] ppid=20280 vsize=5352 CPUtime=0
/proc/20282/stat : 20282 (solver) S 20280 20282 15434 0 -1 4194304 295 26 0 0 0 0 0 0 16 0 1 0 177480543 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20282/statm: 1338 232 194 169 0 49 0
[pid=20285] ppid=20282 vsize=192 CPUtime=0
/proc/20285/stat : 20285 (grep) R 20282 20282 15434 0 -1 4194304 36 0 0 0 0 0 0 0 23 0 1 0 177480543 196608 12 18446744073709551615 4194304 4274172 548682069536 18446744073709551615 215416318660 0 0 4096 0 0 0 0 17 1 0 0
/proc/20285/statm: 48 12 7 19 0 2 0

[startup+0.107124 s]
/proc/loadavg: 1.59 1.19 1.06 5/87 20283
/proc/meminfo: memFree=1653648/2055920 swapFree=4191880/4192956
[pid=20282] ppid=20280 vsize=5352 CPUtime=0
/proc/20282/stat : 20282 (solver) S 20280 20282 15434 0 -1 4194304 354 334 0 0 0 0 0 0 18 0 1 0 177480543 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20282/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.515157 s]
/proc/loadavg: 1.59 1.19 1.06 5/87 20283
/proc/meminfo: memFree=1653648/2055920 swapFree=4191880/4192956
[pid=20282] ppid=20280 vsize=5352 CPUtime=0.49
/proc/20282/stat : 20282 (solver) S 20280 20282 15434 0 -1 4194304 376 2730 0 0 0 0 43 6 16 0 1 0 177480543 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20282/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 5352

[startup+1.33626 s]
/proc/loadavg: 1.59 1.19 1.06 3/88 20295
/proc/meminfo: memFree=1529032/2055920 swapFree=4191880/4192956
[pid=20282] ppid=20280 vsize=5352 CPUtime=0.49
/proc/20282/stat : 20282 (solver) S 20280 20282 15434 0 -1 4194304 376 2730 0 0 0 0 43 6 16 0 1 0 177480543 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20282/statm: 1338 242 203 169 0 49 0
[pid=20295] ppid=20282 vsize=35692 CPUtime=0.79
/proc/20295/stat : 20295 (bordewijk) R 20282 20282 15434 0 -1 4194304 8429 0 0 0 71 8 0 0 24 0 1 0 177480594 36548608 8401 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20295/statm: 8923 8401 204 97 0 8204 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 41044

[startup+2.97343 s]
/proc/loadavg: 1.59 1.19 1.06 3/88 20295
/proc/meminfo: memFree=1478024/2055920 swapFree=4191880/4192956
[pid=20282] ppid=20280 vsize=5352 CPUtime=0.49
/proc/20282/stat : 20282 (solver) S 20280 20282 15434 0 -1 4194304 376 2730 0 0 0 0 43 6 16 0 1 0 177480543 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20282/statm: 1338 242 203 169 0 49 0
[pid=20295] ppid=20282 vsize=94432 CPUtime=2.42
/proc/20295/stat : 20295 (bordewijk) R 20282 20282 15434 0 -1 4194304 23101 0 0 0 222 20 0 0 25 0 1 0 177480594 96698368 23073 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134561541 0 0 4096 0 0 0 0 17 1 0 0
/proc/20295/statm: 23608 23073 204 97 0 22889 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 99784

[startup+6.2528 s]
/proc/loadavg: 1.62 1.20 1.06 3/88 20295
/proc/meminfo: memFree=1296584/2055920 swapFree=4191880/4192956
[pid=20282] ppid=20280 vsize=5352 CPUtime=0.49
/proc/20282/stat : 20282 (solver) S 20280 20282 15434 0 -1 4194304 376 2730 0 0 0 0 43 6 16 0 1 0 177480543 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20282/statm: 1338 242 203 169 0 49 0
[pid=20295] ppid=20282 vsize=233268 CPUtime=5.66
/proc/20295/stat : 20295 (bordewijk) R 20282 20282 15434 0 -1 4194304 63678 0 0 0 396 170 0 0 25 0 1 0 177480594 238866432 56847 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20295/statm: 58317 56847 217 97 0 57598 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 238620

[startup+12.7235 s]
/proc/loadavg: 1.65 1.22 1.07 3/84 20305
/proc/meminfo: memFree=1634472/2055920 swapFree=4191880/4192956
[pid=20282] ppid=20280 vsize=5352 CPUtime=11.75
/proc/20282/stat : 20282 (solver) S 20280 20282 15434 0 -1 4194304 396 66409 0 0 0 0 468 707 16 0 1 0 177480543 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20282/statm: 1338 242 203 169 0 49 0
[pid=20305] ppid=20282 vsize=133648 CPUtime=0.82
/proc/20305/stat : 20305 (standalone) R 20282 20282 15434 0 -1 4194304 7931 0 0 0 23 59 0 0 25 0 1 0 177481732 136855552 7254 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20305/statm: 33412 7254 129 64 0 32727 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 139000

Child status: 0
Real time (s): 22.6153
CPU time (s): 22.4716
CPU user time (s): 13.6699
CPU system time (s): 8.80166
CPU usage (%): 99.3644
Max. virtual memory (cumulated for all children) (KiB): 238620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6699
system time used= 8.80166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100296
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= 693
involuntary context switches= 1168

runsolver used 0.025996 s user time and 0.081987 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Mon Jan  8 21:14:14 UTC 2007


IDJOB= 202449
IDBENCH= 3834
FILE ID= node9/202449-1168290852

PBS_JOBID= 3501766

Free space on /tmp= 66490 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
COMMAND LINE= /tmp/evaluation/202449-1168290852/solver /tmp/evaluation/202449-1168290852/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-202449-1168290852 -o ROOT/results/node9/solver-202449-1168290852 -C 1800 -M 900  /tmp/evaluation/202449-1168290852/solver /tmp/evaluation/202449-1168290852/unknown 1800

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  0e4a172a147463479a8ddf87bb5036ea

RANDOM SEED= 662998082

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:       1656240 kB
Buffers:         19904 kB
Cached:         244080 kB
SwapCached:        264 kB
Active:         207520 kB
Inactive:       139100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1656240 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           60852 kB
Writeback:           0 kB
Mapped:          95452 kB
Slab:            37724 kB
Committed_AS:  5268268 kB
PageTables:       2380 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= 66494 MiB



End job on node9 on Mon Jan  8 21:14:37 UTC 2007