Trace number 1085535

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
Concrete + CSP4J - WMC Engine 2008-05-30SAT 566.175 571.739

DiagnosticValue
CHECKS16506800
NODES637

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-10.xml
MD5SUM96880025e4a14a075629d437bfbc2f6d
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.2935
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 (download as text)

481.58/486.34	c Sat Jul 05 07:12:15 CEST 2008 concrete.relationconverter.RelationManager strongOptimizeMemory
481.58/486.34	c WARNING: Could not free more memory in relations
490.81/495.61	c CPU-LOAD 449.6
490.81/495.61	c LOADED 1750 V (802 E), 128 ExtensionConstraint2D, 16920 PredicateConstraint, arity 2, 449.6 cpu
565.97/571.56	v 2264 -2700 2882 2762 2264 -2448 2872 -2682 2566 -2294 -2836 2542 2786 2734 2690 -2882 -2882 -2484 2786 2456 2574 2464 2600 2494 -2534 -2192 2494 -2786 2472 2342 -2678 -2838 -2774 2186 2714 2120 2446 2740 -2526 -2576 -2826 2448 2210 2504 2842 -2526 -2758 -2574 -2762 -2162 2668 2800 -2702 2880 2186 2700 2256 2638 -2432 -2872 2762 -2840 -2450 -2634 -2568 -2842 -2774 2446 2354 2330 2862 2598 2772 2732 2190 2692 2448 2530 -2382 -2762 -2526 2914 2836 -2586 2750 -2496 -2564 -2826 2786 2678 2650 2590 2798 2180 2548 2164 2444 2700 2740 -2852 2692 -2718 2558 -2566 2122 2536 2520 -2758 -2486 -2534 -2786 2440 2814 -2408 -2752 -2514 2304 -2294 -2728 -2566 2440 -2892 2860 -2140 2430 -2700 2566 -2226 -2518 2838 2798 -2486 -2548 2880 2376 2486 2362 2256 -2176 -2838 -2520 -2818 2882 2852 -2230 2800 -2566 2856 2296 2406 -2886 2296 2408 -2786 -2640 2798 -2526 -2196 -2762 2456 2892 -2762 2544 -2664 -2902 -2858 -2162 2640 2526 2734 -2868 2446 -2450 2598 2558 2424 -2220 2706 2226 2784 2408 2920 2296 -2450 -2584 2740 -2826 2640 -2408 -2740 2654 2768 -2870 2758 -2342 2448 2902 -2408 2740 2880 -2812 -2440 -2446 -2342 -2858 -2190 2758 -2250 2250 -2170 2448 2448 2366 -2204 -2472 2754 2256 -2610 -2628 2534 -2656 -2342 2344 2580 -2526 -2494 2534 2196 2798 2732 -2880 -2684 2526 -2700 -2816 -2798 -2816 2882 2656 -2480 -2526 -2880 -2600 -2486 2778 2590 -2266 -2832 2328 -2394 2880 2800 2166 2162 2776 -2876 2140 -2526 2750 -2690 -2560 -2124 -2542 -2740 -2718 -2616 2502 2166 2598 2810 -2910 -2678 2172 -2164 -2640 -2638 2230 -2388 2576 -2798 -2732 2722 2832 -2440 2762 -2494 -2160 -2508 2920 -2266 -2566 -2722 -2520 -2740 -2332 -2658 2526 -2868 2168 -2636 -2758 2730 -2448 -2842 -2546 -2586 2488 2638 -2722 -2640 2440 -2650 2574 -2566 -2722 -2190 2252 -2444 -2210 2488 2910 -2640 -2624 -2630 -2236 -2256 -2798 2820 2748 -2700 2366 2254 -2698 2218 -2184 -2882 2470 -2740 2448 -2678 2892 2616 2166 2864 -2722 2426 -2702 2786 -2700 -2774 -2232 2540 -2814 2700 -2566 -2520 2614 -2402 -2472 2640 -2610 -2566 -2230 2572 2652 -2852 -2234 -2758 -2800 -2808 2474 -2366 -2756 -2446 -2746 -2786 2824 2800 -2560 2566 -2656 -2510 -2366 2908 -2446 -2124 2296 2740 2336 2608 2920 2470 -2182 -2600 2920 -2910 -2144 2432 -2534 -2762 -2652 -2278 -2382 2600 2692 -2732 2746 -2654 -2444 -2636 -2448 -2700 2182 -2898 2652 2190 -2256 2714 -2282 -2798 2740 -2740 2692 2842 2798 2582 -2746 2758 -2406 2226 -2692 -2296 2122 -2446 2636 -2256 2446 2880 -2504 -2774 2446 -2826 -2566 -2664 2902 -2282 2562 -2120 -2560 -2162 2468 2440 2174 -2566 -2526 -2526 2202 -2638 -2364 -2520 -2624 -2828 2824 2732 -2774 2650 2638 -2444 -2432 2238 -2740 -2446 2508 -2566 -2734 -2196 -2520 -2626 2862 2130 2836 -2598 -2226 -2750 2586 -2242 -2892 -2828 -2888 -2362 2636 2288 -2912 2920 2172 -2772 -2500 -2664 -2124 2524 -2710 2294 -2394 -2826 2534 -2366 -2292 2722 2762 2696 2522 2508 2842 2852 2554 -2526 -2440 -2594 -2494 2678 -2364 -2880 -2490 -2446 -2406 -2700 2852 2534 -2740 2880 -2882 -2872 2838 2710 -2406 2366 -2268 -2198 -2562 2486 2790 -2812 2124 -2560 2422 -2220 -2566 2802 2786 -2872 2852 -2494 -2526 2494 2716 -2492 -2638 2822 -2640 2876 -2534 2294 2440 -2160 -2692 2384 -2446 2874 2484 2406 2600 2852 -2254 -2818 -2486 2690 -2466 -2762 2798 2382 -2716 2230 2822 2580 -2362 2168 -2446 -2520 2448 -2406 -2800 2122 2342 -2120 -2264 -2158 -2734 -2848 -2480 2520 2892 -2742 2570 -2544 -2718 -2862 2620 -2804 2842 -2566 2678 2490 2692 -2738 -2774 2618 2598 -2776 2582 -2472 -2560 -2568 2912 2226 2230 -2382 2486 2796 -2862 2666 -2574 -2534 2778 2130 2880 2652 -2762 -2598 2774 -2256 2288 -2368 2520 2382 -2692 2608 2842 -2650 -2526 2342 -2858 -2198 2740 2254 2534 2232 -2480 -2792 -2254 2190 2598 -2772 2484 2296 -2652 2760 -2600 -2550 -2898 -2882 -2394 -2736 -2520 2560 2776 2348 2920 -2710 -2576 2758 -2408 2692 -2890 -2646 2740 2190 -2566 2858 -2842 2560 -2554 -2700 2790 2748 -2838 -2566 2408 2480 2800 2588 -2762 -2132 -2232 -2296 -2256 2616 2488 2254 2168 -2522 2852 -2526 -2598 -2692 2776 2874 -2892 -2364 -2716 -2714 -2852 2652 -2870 -2914 2442 -2722 -2676 -2406 -2740 2496 2628 -2760 -2138 -2230 -2616 -2486 -2448 -2190 2504 2510 2488 2526 -2826 2192 2446 -2890 2520 -2840 -2738 2892 -2910 -2778 2378 -2786 -2610 2910 2408 -2722 2250 -2842 -2472 2242 2910 2254 -2256 2734 -2652 2546 -2734 -2120 -2170 2796 -2760 2302 2126 -2752 -2720 2818 -2692 -2880 2296 -2714 2560 2842 -2876 -2826 2230 2672 2480 -2598 2194 -2818 2624 2594 -2746 -2804 2686 2662 2584 2776 2486 -2742 -2408 2294 -2318 -2718 -2704 -2164 2180 -2788 -2688 2784 -2372 2600 -2250 -2740 -2760 -2586 2446 2690 -2774 2688 2874 -2640 -2828 2762 -2470 -2774 2722 -2164 -2524 -2648 -2164 -2446 -2382 -2262 -2838 -2880 2760 -2652 2348 -2840 2154 -2566 -2608 -2648 2294 2732 -2776 2818 2282 -2774 -2342 2734 2448 -2168 2862 2322 -2152 2192 -2260 -2700 2842 -2486 -2882 2596 2340 2560 -2746 2294 2798 -2880 -2366 -2852 2122 2140 2488 -2182 -2852 2892 -2700 -2842 2692 -2290 -2336 2852 2638 -2484 2128 -2880 -2760 -2408 -2870 -2842 2532 2316 -2780 -2650 -2656 -2598 2446 2788 -2480 -2744 -2468 -2304 -2772 -2858 -2722 2218 2706 2722 -2778 2838 2774 -2184 2186 -2410 -2870 -2574 -2492 2408 2690 -2776 -2818 2746 -2408 2816 2144 -2566 -2762 -2406 -2258 2882 -2542 -2752 -2296 -2600 -2152 2584 -2470 -2650 2502 -2844 -2432 2902 2186 2902 -2842 -2164 2520 2528 -2862 2758 2172 2842 2146 -2854 -2614 -2406 -2294 -2542 2880 2600 -2576 -2488 2318 2366 -2490 -2758 -2168 2454 2862 2862 -2342 2734 2602 2342 -2230 -2824 -2298 -2494 2342 -2880 -2744 -2784 -2540 -2650 -2798 -2470 2326 -2772 2648 2566 2740 -2650 2600 2892 -2650 2526 -2864 -2798 2676 2216 2558 2828 2128 -2164 2616 -2472 2456 -2662 -2480 -2600 -2684 -2638 2720 -2526 -2290 -2652 2622 2842 -2648 2382 -2722 -2920 2690 -2650 2372 2406 2370 -2638 -2504 -2652 2774 -2166 2566 2816 -2258 2146 -2760 -2626 -2190 2180 -2718 -2126 2486 2536 -2712 2430 2580 -2156 2700 -2784 -2256 2408 -2640 -2388 2556 2840 -2902 -2230 -2560 2206 -2594 -2786 -2368 2700 -2860 -2368 -2638 -2382 2690 -2902 2704 2542 2526 2120 2178 2202 2526 2210 -2690 2882 -2724 -2566 -2342 -2532 -2724 2652 -2406 -2440 2146 -2124 2142 -2650 -2918 2894 2304 2504 -2746 2678 -2384 -2160 2322 2282 2294 -2190 2634 -2406 -2710 -2652 2156 2406 2588 -2412 2772 -2640 -2256 -2190 2882 2480 2296 2892 2588 -2920 -2526 -2854 -2366 -2870 2734 -2560 2242 -2416 2840 2494 2534 -2296 2448 2480 -2604 -2722 -2566 2798 2842 2716 2124 2910 2230 -2858 2532 2560 2688 -2740 -2170 2566 2230 -2344 -2446 2486 2640 2782 2600 -2786 2882 2816 2780 -2910 2448 2744 -2840 -2480 -2448 2408 -2734 2214 -2786 -2822 2670 2870 2806 2166 2144 -2564 2180 -2540 -2190 2612 2882 -2840 -2406 2204 -2324 -2882 -2840 2300 2882 -2494 -2208 2122 -2692 -2256 2748 2526 -2650 -2846 2178 2354 2600 -2342 -2758 -2526 -2534 2132 2798 -2278 -2872 -2638 2444 2706 2382 2700 -2692 -2266 -2762 -2784 -2254 2544 -2448 -2882 2902 -2862 2722 -2786 2526 -2130 -2164 -2566 2722 -2692 -2342 -2526 2838 -2142 -2920 2486 2758 2190 -2208 2428 2892 2540 2342 -2230 2232 2254 -2170 -2744 2544 -2852 -2574 2448 2674 2526 2560 -2638 2152 -2162 2496 -2296 2620 2520 -2882 2504 2560 -2786 -2842 -2382 -2640 2760 -2366 -2850 -2472 -2124 -2638 2170 -2162 -2566 -2366 2282 2676 -2668 -2126 -2776 -2448 2700 2692 2740 -2908 2880 -2798 -2560 -2446 2844 2294 -2746 -2566 -2526 2774 -2140 -2448 -2840 -2408 2598 -2664 -2324 2734 -2690 2860 2190 2838 -2762 -2578 2408 -2820 2416 2192 -2758 -2778 -2892 2450 -2126 2380 2138 -2520 -2254 -2566 -2582 2788 2446 -2712 -2342 -2272 -2230 -2612 -2192 2690 2448 -2328 -2874 -2876 2282 -2122 -2252 -2708 2190 -2230 2162 -2690 -2210 -2230 -2774 2254 -2696 -2296 2504 2700 2494 -2682 2762 -2566 2798 -2800 2652 2526 2650 -2550 2526 2754 2230 -2838 2164 -2892 -2190 -2762 2190 -2256 -2180 2446 2892 -2142 -2852 -2584 2382 2446 -2722 2914 -2590 2542 2750 2130 2486 -2800 2688 -2486 -2722 2130 2826 2546 -2526 -2734 2748 2366 2896 2480 2892 2762 -2756 2700 2836 -2168 -2870 2842 2566 2288 -2292 2850 -2816 2862 2850 2692 2526 2786 -2168 2630 2446 2190 -2484 -2902 -2526 -2598 2678 2722 2566 2826 2164 2382 -2566 -2746 2882 2590 -2342 -2854 2712 2596 -2786 -2526 -2674 -2162 -2564 2582 -2746 2776 2544 2534 -2896 -2526 2388 2738 2652 2368 -2190 -2786 -2128 -2892 -2842 -2230 -2230 -2832 -2340 -2448 -2420 -2382 2600 2382 -2494 2336 -2408 -2184 2186 2652 -2692 -2702 -2678 2636 2328 2242 2544 2888 -2736 2862 2448 2254 -2382 2566 2218 -2568 2448 2652 -2488 2692 2916 -2486 -2282 -2342 2596 2408 -2178 -2432 2740 2520 2760 2560 -2598 2916 2816 2816 2274 -2566 -2132 2228 2296 -2562 -2188 2600 2788 -2758 -2882 -2652 -2528 -2604 2740 -2180 -2518 -2740 2440 -2406 -2566 2328 -2826 -2868 2622 -2712 -2408 -2798 2628 -2482 -2652 2700 -2798 -2798 -2574 2652 2566 -2640 -2170 -2762 -2722 2618 2488 -2862 2722 2230 2798 -2460 -2448 -2336 2422 2406 -2190 -2798 2536 -2230 2750 -2448 2722 -2586 -2874 -2652 -2868 2818 -2814 2434 2382 2600 -2534 -2526 -2866 2834 2704 -2918 -2798 2650 -2722 2322 2700 2380 2862 2690 2570 -2190 2704 -2766 2170 2640 2732 -2526 2762 -2868 -2526 2432 2692 2798 -2548 -2534 2566 2718 -2244 2742 -2902 -2752 -2480 2880 -2868 -2486 -2566 2404 2294 2526 2534 -2828 -2160 -2878 2580 2324 2342 -2408 -2652 -2718 2826 -2468 -2480 -2740 -2430 -2228 2338 2870 -2534 -2208 2296 2284 2486 2230 2408 2526 2336 2718 2526 -2596 -2852 -2190 2842 2382 -2700 -2696 -2638 -2648 2718 2544 2432 -2566 -2588 -2848 2192 2448 -2128 -2842 2160 2692 -2838 -2558 2598 2756 2834 2444 -2382 -2440 2692 -2408 -2190 2856 2518 2624 2276 2448 -2882 -2502 -2900 2722 2882 -2910 2322 2842 2178 2734 -2296 2758 2852 -2566 -2564 -2580 2230 -2470 2526 2870 2296 -2920 -2520 2544 -2514 2798 -2878 2760 2420 2864 -2694 -2124 2382 -2600 2254 -2486 -2430 2486 -2744 2824 -2242 -2382 2300 2294 -2690 
565.97/571.57	s SATISFIABLE
565.97/571.57	d NODES 637
565.97/571.57	d CHECKS 16506781
565.97/571.57	c gac3-effective-revisions: 6107
565.97/571.57	c gac3-useless-revisions: 49293
565.97/571.57	c local-minima: 34
565.97/571.57	c prepro-constraint-ccks: 9518991
565.97/571.57	c prepro-constraint-presenceccks: 294640
565.97/571.57	c prepro-cpu: 8.45
565.97/571.57	c prepro-matrix2d-ccks: 91555
565.97/571.57	c prepro-matrix2d-presenceccks: 19353
565.97/571.57	c prepro-removed: 799366
565.97/571.57	c total-assgn: 637
565.97/571.57	c total-constraint-ccks: 16413744
565.97/571.57	c total-constraint-presence-ccks: 510474
565.97/571.57	c total-cpu: 25.730001
565.97/571.57	c total-matrix2d-ccks: 93037
565.97/571.57	c total-matrix2d-presence-ccks: 21790
565.97/571.57	c tuples: 0
565.97/571.57	c tuples-collisions: 0
565.97/571.57	c TOTAL-NODES 637
565.97/571.57	c TOTAL-CPU 25.730001

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085535-1215234248/watcher-1085535-1215234248 -o /tmp/evaluation-result-1085535-1215234248/solver-1085535-1215234248 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1085535-1215234248.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.97 1.98 4/73 13236
/proc/meminfo: memFree=1806048/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5260 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) R 13234 13236 12862 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 2002396596 5386240 50 996147200 4194304 4889804 548682068768 18446744073709551615 236435022490 0 0 4096 0 0 0 0 17 1 0 0
/proc/13236/statm: 1315 50 37 169 0 14 0

[startup+0.0950229 s]
/proc/loadavg: 1.99 1.97 1.98 4/73 13236
/proc/meminfo: memFree=1806048/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.100982 s]
/proc/loadavg: 1.99 1.97 1.98 4/73 13236
/proc/meminfo: memFree=1806048/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302022 s]
/proc/loadavg: 1.99 1.97 1.98 4/73 13236
/proc/meminfo: memFree=1806048/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701102 s]
/proc/loadavg: 1.99 1.97 1.98 4/73 13236
/proc/meminfo: memFree=1806048/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50226 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 13247
/proc/meminfo: memFree=1793360/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=844276 CPUtime=1.47
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 7010 0 1 0 141 6 0 0 22 0 9 0 2002396597 864538624 6111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 211069 6111 2575 9 0 205630 0
[pid=13239/tid=13240] ppid=13236 vsize=844276 CPUtime=1.12
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 3435 0 1 0 109 3 0 0 25 0 9 0 2002396598 864538624 6111 996147200 134512640 134550740 4294956016 18446744073709551615 4125978922 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=844276 CPUtime=0.15
/proc/13239/task/13241/stat : 13241 (java) S 13236 13236 12862 0 -1 64 2311 0 0 0 14 1 0 0 16 0 9 0 2002396599 864538624 6111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 6111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 6111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 864538624 6111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=844276 CPUtime=0.16
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 532 0 0 0 16 0 0 0 16 0 9 0 2002396601 864538624 6111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 864538624 6111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002396601 864538624 6111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 849632

[startup+3.10157 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 13247
/proc/meminfo: memFree=1789840/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=844276 CPUtime=3.05
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 7815 0 1 0 298 7 0 0 22 0 9 0 2002396597 864538624 6766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 211069 6766 2575 9 0 205630 0
[pid=13239/tid=13240] ppid=13236 vsize=844276 CPUtime=2.52
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 3585 0 1 0 249 3 0 0 25 0 9 0 2002396598 864538624 6766 996147200 134512640 134550740 4294956016 18446744073709551615 4125871872 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=844276 CPUtime=0.34
/proc/13239/task/13241/stat : 13241 (java) S 13236 13236 12862 0 -1 64 2966 0 0 0 32 2 0 0 16 0 9 0 2002396599 864538624 6766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 6766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 6766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 864538624 6766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=844276 CPUtime=0.16
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 532 0 0 0 16 0 0 0 16 0 9 0 2002396601 864538624 6766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 864538624 6766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002396601 864538624 6766 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 849632

[startup+6.3022 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 13247
/proc/meminfo: memFree=1786064/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=844276 CPUtime=6.17
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 8780 0 1 0 607 10 0 0 22 0 9 0 2002396597 864538624 7494 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 211069 7494 2575 9 0 205630 0
[pid=13239/tid=13240] ppid=13236 vsize=844276 CPUtime=5.47
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 3822 0 1 0 543 4 0 0 25 0 9 0 2002396598 864538624 7494 996147200 134512640 134550740 4294956016 18446744073709551615 4125981627 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=844276 CPUtime=0.51
/proc/13239/task/13241/stat : 13241 (java) S 13236 13236 12862 0 -1 64 3694 0 0 0 47 4 0 0 16 0 9 0 2002396599 864538624 7494 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 7494 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 7494 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 864538624 7494 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=844276 CPUtime=0.16
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 532 0 0 0 16 0 0 0 16 0 9 0 2002396601 864538624 7494 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 864538624 7494 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002396601 864538624 7494 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 849632

[startup+12.7025 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 13247
/proc/meminfo: memFree=1781976/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=844276 CPUtime=12.51
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 11117 0 1 0 1237 14 0 0 22 0 9 0 2002396597 864538624 8419 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 211069 8419 2575 9 0 205630 0
[pid=13239/tid=13240] ppid=13236 vsize=844276 CPUtime=11.45
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 4204 0 1 0 1140 5 0 0 25 0 9 0 2002396598 864538624 8419 996147200 134512640 134550740 4294956016 18446744073709551615 4125978922 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=844276 CPUtime=0.87
/proc/13239/task/13241/stat : 13241 (java) S 13236 13236 12862 0 -1 64 5649 0 0 0 80 7 0 0 16 0 9 0 2002396599 864538624 8419 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 8419 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 8419 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 864538624 8419 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=844276 CPUtime=0.16
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 532 0 0 0 16 0 0 0 16 0 9 0 2002396601 864538624 8419 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 864538624 8419 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002396601 864538624 8419 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 849632

[startup+25.503 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 13247
/proc/meminfo: memFree=1777112/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=844276 CPUtime=25.19
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 12690 0 1 0 2500 19 0 0 22 0 9 0 2002396597 864538624 9569 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 211069 9569 2575 9 0 205630 0
[pid=13239/tid=13240] ppid=13236 vsize=844276 CPUtime=23.74
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 4627 0 1 0 2367 7 0 0 25 0 9 0 2002396598 864538624 9569 996147200 134512640 134550740 4294956016 18446744073709551615 4125980367 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=844276 CPUtime=1.26
/proc/13239/task/13241/stat : 13241 (java) S 13236 13236 12862 0 -1 64 6799 0 0 0 116 10 0 0 16 0 9 0 2002396599 864538624 9569 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 9569 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002396599 864538624 9569 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 864538624 9569 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=844276 CPUtime=0.16
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 532 0 0 0 16 0 0 0 16 0 9 0 2002396601 864538624 9569 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 864538624 9569 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=844276 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2002396601 864538624 9569 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 849632

[startup+51.103 s]
/proc/loadavg: 2.05 1.99 1.99 3/83 13247
/proc/meminfo: memFree=1770520/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0

################
# More data... #
################

[pid=13239/tid=13240] ppid=13236 vsize=851812 CPUtime=466.36
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 14808 0 1 0 46556 80 0 0 25 0 9 0 2002396598 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=851812 CPUtime=69.68
/proc/13239/task/13241/stat : 13241 (java) R 13236 13236 12862 0 -1 64 183630 0 0 0 6870 98 0 0 17 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=851812 CPUtime=8.9
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 4345 0 0 0 870 20 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 544.97
Current children cumulated vsize (KiB) 857168

[startup+563.102 s]
/proc/loadavg: 2.54 2.22 2.07 4/83 13249
/proc/meminfo: memFree=1035224/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=851812 CPUtime=557.65
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 203529 0 1 0 55564 201 0 0 22 0 9 0 2002396597 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 212953 194542 2597 9 0 207513 0
[pid=13239/tid=13240] ppid=13236 vsize=851812 CPUtime=471.7
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 14811 0 1 0 47090 80 0 0 25 0 9 0 2002396598 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=851812 CPUtime=76.84
/proc/13239/task/13241/stat : 13241 (java) R 13236 13236 12862 0 -1 64 183630 0 0 0 7586 98 0 0 17 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 104457013 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=851812 CPUtime=9.06
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 4345 0 0 0 886 20 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 557.65
Current children cumulated vsize (KiB) 857168

[startup+566.303 s]
/proc/loadavg: 2.57 2.23 2.07 3/83 13249
/proc/meminfo: memFree=1035224/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=851812 CPUtime=560.82
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 203530 0 1 0 55881 201 0 0 22 0 9 0 2002396597 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 212953 194542 2597 9 0 207513 0
[pid=13239/tid=13240] ppid=13236 vsize=851812 CPUtime=473.51
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 14812 0 1 0 47271 80 0 0 25 0 9 0 2002396598 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=851812 CPUtime=78.14
/proc/13239/task/13241/stat : 13241 (java) R 13236 13236 12862 0 -1 64 183630 0 0 0 7716 98 0 0 17 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=851812 CPUtime=9.12
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 4345 0 0 0 892 20 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.82
Current children cumulated vsize (KiB) 857168

[startup+569.502 s]
/proc/loadavg: 2.53 2.23 2.07 3/83 13249
/proc/meminfo: memFree=1035224/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=851812 CPUtime=563.98
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 203530 0 1 0 56197 201 0 0 22 0 9 0 2002396597 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 212953 194542 2597 9 0 207513 0
[pid=13239/tid=13240] ppid=13236 vsize=851812 CPUtime=475.41
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 14812 0 1 0 47461 80 0 0 25 0 9 0 2002396598 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4133344515 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=851812 CPUtime=79.37
/proc/13239/task/13241/stat : 13241 (java) S 13236 13236 12862 0 -1 64 183630 0 0 0 7839 98 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=851812 CPUtime=9.15
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 4345 0 0 0 895 20 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.98
Current children cumulated vsize (KiB) 857168

[startup+571.103 s]
/proc/loadavg: 2.53 2.23 2.07 4/83 13249
/proc/meminfo: memFree=1035224/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=851812 CPUtime=565.57
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 203531 0 1 0 56356 201 0 0 22 0 9 0 2002396597 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 212953 194542 2597 9 0 207513 0
[pid=13239/tid=13240] ppid=13236 vsize=851812 CPUtime=475.42
/proc/13239/task/13240/stat : 13240 (java) R 13236 13236 12862 0 -1 64 14813 0 1 0 47462 80 0 0 25 0 9 0 2002396598 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=851812 CPUtime=80.94
/proc/13239/task/13241/stat : 13241 (java) R 13236 13236 12862 0 -1 64 183630 0 0 0 7996 98 0 0 18 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=851812 CPUtime=9.15
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 4345 0 0 0 895 20 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 565.57
Current children cumulated vsize (KiB) 857168

[startup+571.503 s]
/proc/loadavg: 2.53 2.23 2.07 4/83 13249
/proc/meminfo: memFree=1035224/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=851812 CPUtime=565.97
/proc/13239/stat : 13239 (java) S 13236 13236 12862 0 -1 0 203531 0 1 0 56396 201 0 0 22 0 9 0 2002396597 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 212953 194542 2597 9 0 207513 0
[pid=13239/tid=13240] ppid=13236 vsize=851812 CPUtime=475.42
/proc/13239/task/13240/stat : 13240 (java) S 13236 13236 12862 0 -1 64 14813 0 1 0 47462 80 0 0 25 0 9 0 2002396598 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13241] ppid=13236 vsize=851812 CPUtime=81.34
/proc/13239/task/13241/stat : 13241 (java) R 13236 13236 12862 0 -1 64 183630 0 0 0 8036 98 0 0 19 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 104457000 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13242] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13242/stat : 13242 (java) S 13236 13236 12862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13243] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13243/stat : 13243 (java) S 13236 13236 12862 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002396599 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13244] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13244/stat : 13244 (java) S 13236 13236 12862 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13245] ppid=13236 vsize=851812 CPUtime=9.15
/proc/13239/task/13245/stat : 13245 (java) S 13236 13236 12862 0 -1 64 4345 0 0 0 895 20 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13246] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13246/stat : 13246 (java) S 13236 13236 12862 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13239/tid=13247] ppid=13236 vsize=851812 CPUtime=0
/proc/13239/task/13247/stat : 13247 (java) S 13236 13236 12862 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002396601 872255488 194542 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 565.97
Current children cumulated vsize (KiB) 857168

[startup+571.703 s]
/proc/loadavg: 2.53 2.23 2.07 4/83 13249
/proc/meminfo: memFree=1035224/2055920 swapFree=4179416/4192956
[pid=13236] ppid=13234 vsize=5356 CPUtime=0
/proc/13236/stat : 13236 (concrete.sh) S 13234 13236 12862 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2002396596 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13236/statm: 1339 242 201 169 0 50 0
[pid=13239] ppid=13236 vsize=0 CPUtime=566.13
/proc/13239/stat : 13239 (java) Z 13236 13236 12862 0 -1 12 203537 0 1 0 56403 210 0 0 16 0 2 0 2002396597 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13239/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 566.13
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 571.739
CPU time (s): 566.175
CPU user time (s): 564.033
CPU system time (s): 2.14167
CPU usage (%): 99.0268
Max. virtual memory (cumulated for all children) (KiB): 857168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 564.033
system time used= 2.14167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203988
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70838
involuntary context switches= 76987

runsolver used 0.767883 second user time and 1.91571 second system time

The end

Launcher Data (download as text)

Begin job on node62 at 2008-07-05 07:04:08
IDJOB=1085535
IDBENCH=57659
IDSOLVER=304
FILE ID=node62/1085535-1215234248
PBS_JOBID= 7881942
Free space on /tmp= 65224 MiB

SOLVER NAME= Concrete + CSP4J - WMC Engine 2008-05-30
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-10.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s WMC BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085535-1215234248/watcher-1085535-1215234248 -o /tmp/evaluation-result-1085535-1215234248/solver-1085535-1215234248 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1085535-1215234248.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 96880025e4a14a075629d437bfbc2f6d
RANDOM SEED=301216914

node62.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.259
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.259
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:       1806528 kB
Buffers:         14180 kB
Cached:         163900 kB
SwapCached:       6676 kB
Active:         159396 kB
Inactive:        32744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806528 kB
SwapTotal:     4192956 kB
SwapFree:      4179416 kB
Dirty:           30504 kB
Writeback:           0 kB
Mapped:          21568 kB
Slab:            42324 kB
Committed_AS:  4063224 kB
PageTables:       1904 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65224 MiB
End job on node62 at 2008-07-05 07:13:40