Trace number 1085534

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 - Tabu Engine 2008-05-30SAT 547.877 553.126

DiagnosticValue
CHECKS10370900
NODES648

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)

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

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-1085534-1215234240/watcher-1085534-1215234240 -o /tmp/evaluation-result-1085534-1215234240/solver-1085534-1215234240 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s Tabu HOME/instance-1085534-1215234240.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: 2.00 2.00 2.00 4/73 5512
/proc/meminfo: memFree=1638608/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 2002398066 5484544 230 996147200 4194304 4889804 548682068768 18446744073709551615 253307355218 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/5512/statm: 1339 230 191 169 0 50 0
[pid=5513] ppid=5512 vsize=124 CPUtime=0
/proc/5513/stat : 5513 (dirname) R 5512 5512 3338 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 2002398066 126976 22 996147200 4194304 4208292 548682069008 18446744073709551615 253304567061 0 0 4096 0 0 0 0 17 1 0 0
/proc/5513/statm: 31 22 16 3 0 3 0

[startup+0.0101079 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 5512
/proc/meminfo: memFree=1638608/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) R 5510 5512 3338 0 -1 4194304 295 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307185823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101121 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 5512
/proc/meminfo: memFree=1638608/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301141 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 5512
/proc/meminfo: memFree=1638608/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701176 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 5512
/proc/meminfo: memFree=1638608/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50225 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 5523
/proc/meminfo: memFree=1625984/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=844276 CPUtime=1.47
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 7017 0 1 0 142 5 0 0 18 0 9 0 2002398067 864538624 6117 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 211069 6117 2575 9 0 205630 0
[pid=5515/tid=5516] ppid=5512 vsize=844276 CPUtime=1.13
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 3437 0 1 0 110 3 0 0 25 0 9 0 2002398068 864538624 6117 996147200 134512640 134550740 4294956016 18446744073709551615 4125767479 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=844276 CPUtime=0.15
/proc/5515/task/5517/stat : 5517 (java) S 5512 5512 3338 0 -1 64 2316 0 0 0 14 1 0 0 16 0 9 0 2002398069 864538624 6117 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 6117 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 6117 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 864538624 6117 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=844276 CPUtime=0.16
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 531 0 0 0 16 0 0 0 16 0 9 0 2002398071 864538624 6117 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 864538624 6117 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 864538624 6117 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.1024 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 5523
/proc/meminfo: memFree=1622464/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=844276 CPUtime=3.05
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 7829 0 1 0 298 7 0 0 18 0 9 0 2002398067 864538624 6777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 211069 6777 2575 9 0 205630 0
[pid=5515/tid=5516] ppid=5512 vsize=844276 CPUtime=2.52
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 3589 0 1 0 249 3 0 0 25 0 9 0 2002398068 864538624 6777 996147200 134512640 134550740 4294956016 18446744073709551615 4125231162 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=844276 CPUtime=0.33
/proc/5515/task/5517/stat : 5517 (java) S 5512 5512 3338 0 -1 64 2976 0 0 0 31 2 0 0 16 0 9 0 2002398069 864538624 6777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 6777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 6777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 864538624 6777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=844276 CPUtime=0.16
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 531 0 0 0 16 0 0 0 16 0 9 0 2002398071 864538624 6777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 864538624 6777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 864538624 6777 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.30268 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 5523
/proc/meminfo: memFree=1618688/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=844276 CPUtime=6.22
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 8809 0 1 0 612 10 0 0 18 0 9 0 2002398067 864538624 7515 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 211069 7515 2575 9 0 205630 0
[pid=5515/tid=5516] ppid=5512 vsize=844276 CPUtime=5.52
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 3831 0 1 0 548 4 0 0 25 0 9 0 2002398068 864538624 7515 996147200 134512640 134550740 4294956016 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=844276 CPUtime=0.51
/proc/5515/task/5517/stat : 5517 (java) S 5512 5512 3338 0 -1 64 3714 0 0 0 47 4 0 0 16 0 9 0 2002398069 864538624 7515 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 7515 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 7515 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 864538624 7515 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=844276 CPUtime=0.16
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 531 0 0 0 16 0 0 0 16 0 9 0 2002398071 864538624 7515 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 864538624 7515 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 864538624 7515 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 849632

[startup+12.7023 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 5523
/proc/meminfo: memFree=1614592/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=844276 CPUtime=12.56
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 11126 0 1 0 1242 14 0 0 18 0 9 0 2002398067 864538624 8426 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 211069 8426 2575 9 0 205630 0
[pid=5515/tid=5516] ppid=5512 vsize=844276 CPUtime=11.49
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 4207 0 1 0 1144 5 0 0 25 0 9 0 2002398068 864538624 8426 996147200 134512640 134550740 4294956016 18446744073709551615 4125985740 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=844276 CPUtime=0.87
/proc/5515/task/5517/stat : 5517 (java) S 5512 5512 3338 0 -1 64 5655 0 0 0 80 7 0 0 16 0 9 0 2002398069 864538624 8426 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 8426 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 8426 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 864538624 8426 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=844276 CPUtime=0.16
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 531 0 0 0 16 0 0 0 16 0 9 0 2002398071 864538624 8426 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 864538624 8426 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 864538624 8426 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 849632

[startup+25.5014 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 5523
/proc/meminfo: memFree=1609600/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=844276 CPUtime=25.23
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 12707 0 1 0 2503 20 0 0 18 0 9 0 2002398067 864538624 9581 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 211069 9581 2575 9 0 205630 0
[pid=5515/tid=5516] ppid=5512 vsize=844276 CPUtime=23.78
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 4633 0 1 0 2370 8 0 0 25 0 9 0 2002398068 864538624 9581 996147200 134512640 134550740 4294956016 18446744073709551615 4125231270 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=844276 CPUtime=1.27
/proc/5515/task/5517/stat : 5517 (java) S 5512 5512 3338 0 -1 64 6810 0 0 0 116 11 0 0 16 0 9 0 2002398069 864538624 9581 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 9581 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002398069 864538624 9581 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 864538624 9581 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=844276 CPUtime=0.16
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 531 0 0 0 16 0 0 0 16 0 9 0 2002398071 864538624 9581 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 864538624 9581 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=844276 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 864538624 9581 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 849632

[startup+51.1017 s]

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

[pid=5515/tid=5516] ppid=5512 vsize=850788 CPUtime=456.78
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 14791 0 1 0 45603 75 0 0 25 0 9 0 2002398068 871206912 194517 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=850788 CPUtime=67.37
/proc/5515/task/5517/stat : 5517 (java) R 5512 5512 3338 0 -1 64 183621 0 0 0 6642 95 0 0 16 0 9 0 2002398069 871206912 194517 996147200 134512640 134550740 4294956016 18446744073709551615 103828999 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194517 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 2002398069 871206912 194517 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 871206912 194517 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=850788 CPUtime=8.24
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 4341 0 0 0 806 18 0 0 15 0 9 0 2002398071 871206912 194517 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 871206912 194517 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 871206912 194517 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 532.42
Current children cumulated vsize (KiB) 856144

[startup+543.902 s]
/proc/loadavg: 2.55 2.18 2.05 4/83 5525
/proc/meminfo: memFree=867840/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=850788 CPUtime=538.76
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 203549 0 1 0 53685 191 0 0 18 0 9 0 2002398067 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 212697 194567 2597 9 0 207257 0
[pid=5515/tid=5516] ppid=5512 vsize=850788 CPUtime=458.16
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 14843 0 1 0 45741 75 0 0 25 0 9 0 2002398068 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=850788 CPUtime=72.15
/proc/5515/task/5517/stat : 5517 (java) R 5512 5512 3338 0 -1 64 183621 0 0 0 7120 95 0 0 18 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 104181347 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=850788 CPUtime=8.41
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 4342 0 0 0 823 18 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 538.76
Current children cumulated vsize (KiB) 856144

[startup+547.102 s]
/proc/loadavg: 2.50 2.18 2.05 4/83 5525
/proc/meminfo: memFree=867840/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=850788 CPUtime=541.93
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 203551 0 1 0 54002 191 0 0 18 0 9 0 2002398067 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 212697 194567 2597 9 0 207257 0
[pid=5515/tid=5516] ppid=5512 vsize=850788 CPUtime=458.92
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 14845 0 1 0 45817 75 0 0 25 0 9 0 2002398068 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=850788 CPUtime=74.51
/proc/5515/task/5517/stat : 5517 (java) R 5512 5512 3338 0 -1 64 183621 0 0 0 7356 95 0 0 17 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 104457043 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=850788 CPUtime=8.46
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 4342 0 0 0 827 19 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 541.93
Current children cumulated vsize (KiB) 856144

[startup+550.303 s]
/proc/loadavg: 2.54 2.19 2.06 4/83 5525
/proc/meminfo: memFree=867840/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=850788 CPUtime=545.1
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 203552 0 1 0 54319 191 0 0 18 0 9 0 2002398067 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 212697 194567 2597 9 0 207257 0
[pid=5515/tid=5516] ppid=5512 vsize=850788 CPUtime=459.49
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 14846 0 1 0 45874 75 0 0 24 0 9 0 2002398068 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4125813762 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=850788 CPUtime=77.11
/proc/5515/task/5517/stat : 5517 (java) S 5512 5512 3338 0 -1 64 183621 0 0 0 7616 95 0 0 18 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=850788 CPUtime=8.46
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 4342 0 0 0 827 19 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 545.1
Current children cumulated vsize (KiB) 856144

[startup+551.903 s]
/proc/loadavg: 2.54 2.19 2.06 4/83 5525
/proc/meminfo: memFree=867840/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=850788 CPUtime=546.69
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 203553 0 1 0 54478 191 0 0 18 0 9 0 2002398067 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 212697 194567 2597 9 0 207257 0
[pid=5515/tid=5516] ppid=5512 vsize=850788 CPUtime=459.93
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 14847 0 1 0 45918 75 0 0 25 0 9 0 2002398068 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=850788 CPUtime=78.24
/proc/5515/task/5517/stat : 5517 (java) R 5512 5512 3338 0 -1 64 183621 0 0 0 7729 95 0 0 17 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 104180100 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=850788 CPUtime=8.49
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 4342 0 0 0 830 19 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 546.69
Current children cumulated vsize (KiB) 856144

[startup+552.703 s]
/proc/loadavg: 2.54 2.19 2.06 4/83 5525
/proc/meminfo: memFree=867840/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=850788 CPUtime=547.48
/proc/5515/stat : 5515 (java) S 5512 5512 3338 0 -1 0 203553 0 1 0 54557 191 0 0 18 0 9 0 2002398067 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 212697 194567 2597 9 0 207257 0
[pid=5515/tid=5516] ppid=5512 vsize=850788 CPUtime=459.93
/proc/5515/task/5516/stat : 5516 (java) R 5512 5512 3338 0 -1 64 14847 0 1 0 45918 75 0 0 25 0 9 0 2002398068 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5517] ppid=5512 vsize=850788 CPUtime=79.03
/proc/5515/task/5517/stat : 5517 (java) R 5512 5512 3338 0 -1 64 183621 0 0 0 7808 95 0 0 18 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 104456976 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5518] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5518/stat : 5518 (java) S 5512 5512 3338 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5519] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5519/stat : 5519 (java) S 5512 5512 3338 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002398069 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5520] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5520/stat : 5520 (java) S 5512 5512 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5521] ppid=5512 vsize=850788 CPUtime=8.49
/proc/5515/task/5521/stat : 5521 (java) S 5512 5512 3338 0 -1 64 4342 0 0 0 830 19 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5522] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5522/stat : 5522 (java) S 5512 5512 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5515/tid=5523] ppid=5512 vsize=850788 CPUtime=0
/proc/5515/task/5523/stat : 5523 (java) S 5512 5512 3338 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2002398071 871206912 194567 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 547.48
Current children cumulated vsize (KiB) 856144

[startup+553.102 s]
/proc/loadavg: 2.54 2.19 2.06 4/83 5525
/proc/meminfo: memFree=867840/2055920 swapFree=4180844/4192956
[pid=5512] ppid=5510 vsize=5356 CPUtime=0
/proc/5512/stat : 5512 (concrete.sh) S 5510 5512 3338 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 2002398066 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5512/statm: 1339 242 201 169 0 50 0
[pid=5515] ppid=5512 vsize=0 CPUtime=547.84
/proc/5515/stat : 5515 (java) Z 5512 5512 3338 0 -1 12 203558 0 1 0 54583 201 0 0 16 0 2 0 2002398067 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5515/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 547.84
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 553.126
CPU time (s): 547.877
CPU user time (s): 545.837
CPU system time (s): 2.03969
CPU usage (%): 99.0509
Max. virtual memory (cumulated for all children) (KiB): 856160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 545.837
system time used= 2.03969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204009
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= 68703
involuntary context switches= 79643

runsolver used 0.732888 second user time and 1.85672 second system time

The end

Launcher Data (download as text)

Begin job on node25 at 2008-07-05 07:04:00
IDJOB=1085534
IDBENCH=57659
IDSOLVER=303
FILE ID=node25/1085534-1215234240
PBS_JOBID= 7881825
Free space on /tmp= 66496 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 96880025e4a14a075629d437bfbc2f6d
RANDOM SEED=199842007

node25.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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1639088 kB
Buffers:         69920 kB
Cached:         275516 kB
SwapCached:       6260 kB
Active:         244892 kB
Inactive:       114592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1639088 kB
SwapTotal:     4192956 kB
SwapFree:      4180844 kB
Dirty:           35260 kB
Writeback:           0 kB
Mapped:          21276 kB
Slab:            42480 kB
Committed_AS:  3527412 kB
PageTables:       1984 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= 66496 MiB
End job on node25 at 2008-07-05 07:13:14