Trace number 1087027

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 + CPS4J 2008-05-30SAT 235.441 236.661

DiagnosticValue
CHECKS25144900
NODES4618

General information on the benchmark

Namecsp/fapp/fapp25/
normalized-fapp25-2230-4.xml
MD5SUMfc409cb8b4f9cf04e2dbeb29fe62b8ed
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 benchmark28.9386
Satisfiable
(Un)Satisfiability was proved
Number of variables2230
Number of constraints18971
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18971
Global constraints used (with number of constraints)

Solver Data (download as text)

105.83/106.43	c Sat Jul 05 09:21:29 CEST 2008 concrete.ResourceController isOutOfTime
105.83/106.43	c WARNING: Out of time
171.99/172.98	c CPU-LOAD 158.19
171.99/172.98	c LOADED 2230 V (302 E), 1915 PredicateConstraint, 16896 ExtensionConstraint2D, arity 2, 158.19 cpu
235.32/236.51	v 2264 2520 2500 2428 2220 -2500 2248 2384 -2372 -2372 2396 2684 2788 -2224 -2404 2464 2488 2572 2756 2272 2468 2492 2656 2260 -2264 2260 2684 -2548 2660 2260 2780 2352 2240 -2816 2804 2736 2748 2260 2460 -2376 -2680 2412 -2440 2712 2288 -2280 2608 2220 2304 2308 -2724 -2756 2580 2284 2480 -2448 2772 2540 -2736 -2340 -2732 -2752 -2528 -2636 -2676 2432 -2672 -2708 2324 2352 -2288 2524 -2624 -2780 2412 -2560 2260 2664 2292 2656 -2684 -2732 2704 -2820 -2820 -2388 -2820 2392 2620 2220 2220 2516 2348 -2624 -2380 2692 -2820 2484 2696 -2388 2504 2668 2264 2676 -2820 2632 2636 2404 2492 -2800 2356 2508 2476 -2780 -2332 2268 -2780 2524 2600 -2404 2540 -2476 2788 -2260 2640 -2428 2736 2768 -2372 -2480 2376 2644 2780 2644 2332 2368 2232 -2820 2308 -2460 -2820 2724 -2264 2248 -2260 2280 2440 2372 2484 -2244 -2820 2620 2400 -2544 -2820 2516 2360 2220 2708 2496 2820 2648 2260 2440 2520 -2684 -2620 2700 -2704 2668 2396 2540 -2372 2400 2220 -2396 -2820 2508 -2636 2780 2224 -2684 -2644 -2820 -2432 -2664 2780 -2820 2632 -2248 -2508 2220 2372 2660 2560 2228 2280 2348 -2288 2616 -2800 2676 2424 2584 -2820 2452 -2572 2220 -2644 2240 -2464 -2368 -2488 -2644 -2240 2220 -2304 -2396 -2252 -2260 -2568 2480 2544 -2492 -2660 2344 2708 2256 -2588 -2256 2552 -2244 2584 -2756 -2740 2712 -2404 -2320 -2452 2536 -2708 2356 2288 2460 -2384 -2276 2616 2576 2684 2544 2540 2508 -2624 2676 2584 2540 -2492 2556 2508 2548 2300 -2292 2476 2692 -2376 -2460 2260 2488 2576 2264 -2784 2364 -2288 -2752 2480 2816 2776 2264 -2760 2636 -2220 2296 2680 2412 2628 2236 -2680 2632 2652 -2548 2712 2488 -2396 2504 2224 2680 2248 2232 2768 2616 -2820 -2780 -2712 2220 -2636 2220 2784 -2352 -2504 2736 2516 -2820 2332 2220 2628 -2524 2524 2776 2328 2628 2728 -2604 -2252 2396 2632 -2576 2500 -2260 2716 -2320 -2520 -2608 2692 2492 2220 -2532 -2460 2336 -2556 -2252 2220 2472 2564 2572 -2820 -2388 2224 -2516 2576 -2608 2324 -2404 -2344 2220 2820 2576 2528 -2440 -2820 -2684 -2788 2608 2728 -2716 -2548 2464 2456 2220 2220 -2820 2352 2260 2388 -2388 2220 -2804 -2736 2536 -2616 2464 2304 2420 2568 2628 -2820 -2268 -2544 -2820 2392 2324 -2304 2648 2724 2692 2268 2220 2332 2568 2444 -2588 -2224 -2688 -2664 -2600 2684 2600 -2576 -2588 2708 2312 2660 2284 2332 2220 2440 -2564 -2712 2620 -2744 2220 2536 -2312 2220 2776 -2780 2260 -2444 2568 2240 -2264 -2736 2476 2600 -2316 -2428 2564 2676 2428 2316 2456 -2328 2540 -2820 -2820 2220 2644 2568 -2476 -2492 -2636 2696 2220 2764 2372 2420 2452 2328 -2668 2440 -2224 -2276 2476 2624 2364 2564 2404 2456 -2344 2760 2312 2716 -2420 -2352 2588 2820 2232 -2400 2596 -2720 2632 2228 -2820 2368 -2560 -2416 2608 2260 -2612 2748 2308 2740 2732 2284 2404 -2580 2748 2376 2692 -2284 2260 2352 -2652 -2220 -2600 2272 2220 2220 -2304 2540 2220 2328 -2252 2532 2400 2468 -2232 -2560 2440 2632 2468 2532 2524 2516 2456 2768 -2820 -2656 2432 -2628 2556 -2268 2468 2756 2448 -2780 2264 -2220 2580 2260 -2456 -2400 2552 2444 2728 2636 -2720 -2596 2536 2564 -2432 -2540 2464 -2352 2280 2220 2660 2312 -2640 2604 -2372 -2564 2236 -2620 2220 -2820 -2280 -2580 -2480 -2264 2312 -2780 2780 2220 -2820 2628 2220 2676 -2388 2780 -2528 2512 2428 -2484 2220 2472 2752 2352 2584 2344 -2752 2536 -2820 2660 2260 -2636 2720 2788 2688 2352 2260 2636 2440 2692 2380 2464 2780 2444 -2496 2296 -2268 -2276 2436 2220 2404 2724 2388 -2684 2508 2680 2332 -2320 2372 2220 -2668 2712 -2440 2220 2820 2664 2288 -2404 2220 2500 -2364 -2288 2644 2572 2260 2708 2600 2440 2428 2736 -2524 2560 -2660 2624 2700 -2796 2672 2312 2220 2352 -2780 2484 2460 -2684 -2820 2724 2288 -2732 2516 2628 -2820 2640 2412 2368 2440 -2404 2220 2220 -2452 2496 2648 2664 2672 -2820 -2260 2464 2220 -2520 2524 2672 2484 2376 -2692 2516 2520 -2620 2680 2332 -2508 2780 2348 2592 -2820 2724 2220 -2252 2596 -2268 -2540 -2516 2328 2676 2428 2424 -2700 -2260 2460 2652 -2220 -2820 -2812 2584 -2660 2260 2456 -2236 -2760 -2344 2732 2800 -2376 2780 2444 2820 2296 -2220 -2820 -2404 2592 -2376 2260 -2372 2520 2640 -2448 -2668 2436 2392 -2280 2348 2320 -2596 2768 2504 2248 2808 2344 2300 2352 -2592 -2332 2572 2300 -2220 2448 -2268 2220 2264 -2292 2504 2616 2220 2588 2356 -2820 2260 -2564 2356 2684 2504 2384 2220 2788 2308 2220 -2660 2220 2568 2392 2260 -2448 -2468 -2296 -2260 -2260 -2228 2764 2552 2220 2548 -2224 2600 2588 -2716 2252 -2360 -2220 2408 2420 2428 2560 2588 2604 -2564 -2680 -2820 2812 2556 2616 2260 -2780 2556 2580 2536 2756 2220 2260 -2228 2576 2308 2432 2268 2412 2480 2564 2548 2392 2628 2316 2220 -2572 2676 -2708 -2672 -2424 -2576 -2500 2360 -2696 -2812 2308 2600 -2220 2584 -2696 2280 2356 -2260 2272 2248 2528 -2820 2500 2288 -2800 -2508 2780 2408 2280 -2548 2576 2820 -2324 -2776 2264 2708 -2692 2220 2272 -2716 -2500 2280 2676 -2360 2780 -2508 2696 2260 2760 -2820 -2488 2676 -2376 -2532 -2272 -2516 -2364 -2540 -2424 -2744 2772 2560 2220 -2596 2332 2288 2504 -2688 -2260 2272 2376 2728 -2820 -2260 -2780 -2560 -2560 -2544 2608 2648 -2568 2364 2732 -2224 2684 -2636 2300 -2516 2820 2468 2740 2692 -2444 -2260 2396 2308 -2508 2780 2528 2348 -2820 2704 -2572 2440 2684 -2392 2780 2524 -2320 2348 2448 2268 -2576 -2312 -2644 2600 2560 2676 2820 2524 -2504 2604 2776 2780 2340 2756 2780 2468 2416 2260 2352 2656 2780 -2780 2644 2612 2664 2416 -2476 2476 -2820 2644 -2588 2280 -2780 -2288 -2272 2712 2700 2220 2376 2744 -2528 2480 2780 2448 2668 -2256 -2560 -2780 2260 2260 2692 2624 2544 2620 -2568 2220 2236 2312 -2424 -2684 2620 2368 -2708 2792 2572 2260 2420 2444 2672 2716 -2780 -2764 2648 2320 2400 -2608 -2560 -2360 2328 2440 -2520 2260 2564 2672 -2820 2796 2664 -2440 -2320 2336 2748 2780 2288 2532 2512 2356 2624 -2748 2748 2328 2508 -2348 2424 2780 -2456 2392 2728 2308 2516 2480 2396 2744 2616 -2360 -2628 2572 2288 -2260 2556 2636 2312 2260 2220 2772 2732 2348 2780 2348 2728 -2660 2576 -2292 -2460 2364 2756 2596 2488 2732 2632 -2388 2260 -2288 2484 -2480 2508 2244 -2696 2476 -2748 2292 2276 2736 2220 2404 2532 2780 -2412 2780 2668 2444 -2704 2780 2436 2464 2276 -2416 2504 2332 -2780 -2672 2820 2240 -2732 -2252 2476 -2516 -2468 -2748 -2348 2508 -2468 2312 2664 -2240 -2316 2452 -2632 2380 2636 -2244 2676 2220 -2388 2596 2220 -2488 2628 2584 2780 2396 2524 2820 2260 2528 2780 -2472 -2392 2416 2652 2676 -2256 2620 -2708 -2460 2436 -2780 2408 2408 2600 2520 2460 2480 2556 2220 -2588 2368 2380 2500 2336 -2404 2260 -2432 -2560 2700 2536 2468 2520 2648 2384 -2284 2260 -2408 2612 -2784 2284 -2356 -2660 -2464 -2536 2408 2652 -2700 -2228 2224 2324 -2560 -2336 2656 -2496 -2544 -2676 -2756 2476 -2220 2480 -2480 2776 2568 2220 -2312 2260 2260 2392 -2820 2716 2676 2676 2408 2608 -2504 2780 2772 2424 2320 2380 2332 -2556 2520 -2484 2744 -2292 -2408 -2276 -2328 2752 -2392 2288 2780 -2704 -2260 2724 2760 2280 2624 -2476 -2320 -2508 -2444 2640 2432 2568 -2820 -2488 2272 2592 -2444 2660 -2708 -2632 2640 -2588 -2492 -2316 2424 2260 2512 -2616 2656 2748 -2244 2384 -2780 2736 -2704 2636 2552 2336 2232 -2580 2716 -2608 2596 2292 2276 2340 2700 -2576 -2376 2396 -2428 2220 2688 2736 2260 2428 -2576 2460 2348 -2548 2448 -2372 -2260 -2280 2352 2604 -2400 -2300 2548 -2488 2556 -2700 -2820 2276 -2616 -2412 -2736 2400 -2416 -2748 2260 -2820 2600 2552 2472 2820 2260 -2260 2264 2348 2456 -2820 -2516 2576 -2264 2220 2352 -2780 2260 2620 -2492 2512 -2624 2684 2284 -2740 2580 -2408 2428 2816 2780 2256 2332 2664 2328 2700 -2464 -2780 -2440 -2388 2336 2612 2404 2624 2704 2540 2352 2732 2616 -2608 -2820 -2648 2224 2632 2584 2236 -2316 2588 2260 2360 2660 -2296 -2644 -2620 2232 2728 2492 -2472 -2392 -2716 2364 2352 -2792 2780 2600 2476 -2380 -2556 2220 2820 2260 2564 2260 -2636 2544 2652 2340 -2720 -2392 2720 -2524 2220 2736 -2536 2372 -2692 2260 2260 2716 2520 2348 -2352 -2664 2368 -2260 -2612 2572 2556 -2820 -2540 -2752 -2820 2780 -2820 2644 2220 -2612 -2268 -2504 2796 -2820 -2760 -2480 2400 -2620 -2220 -2748 -2660 2416 2580 -2272 2324 -2756 -2468 -2240 -2524 -2364 2512 -2596 -2820 2676 2328 2780 -2440 2692 -2260 2260 2584 -2592 2636 2484 2576 2328 2556 2732 -2408 2392 -2596 -2820 2312 2364 2656 2696 -2272 -2700 2428 2728 2524 2408 -2388 2704 -2692 2304 2768 2328 2548 -2812 2568 2604 2752 -2352 2264 2248 2552 2600 2376 2816 -2700 2564 -2264 2780 -2252 2504 2448 2220 2516 -2580 -2372 2800 2644 2348 2260 -2320 2732 -2360 2564 -2580 2548 2568 2552 2780 2272 2412 -2592 2248 -2404 2624 2272 2780 2380 -2596 2436 2356 2596 2428 -2304 2780 2332 2616 -2544 2576 2356 -2588 -2324 2372 -2820 -2340 -2548 -2260 2388 2448 -2220 2220 -2376 2780 2448 2276 2368 2264 2312 2516 2452 -2680 2388 -2252 2636 2604 2716 2620 2504 2460 2544 2436 2620 -2220 -2820 2220 -2724 -2368 2624 -2264 -2260 2692 2616 -2604 2276 2728 2636 2672 -2348 -2820 2360 2624 -2336 2780 2260 -2372 -2436 -2692 2716 2716 -2248 2352 2512 2300 -2764 2324 -2412 2244 -2396 -2320 2324 2220 2360 -2716 -2488 2656 2692 2336 2780 -2648 -2308 -2580 2664 -2580 2232 2780 2596 2412 2408 -2604 2516 2388 2468 2388 2516 2340 2636 -2284 2264 2796 -2768 -2512 2748 2688 -2332 2628 2300 2220 2260 -2220 -2800 -2384 2276 2448 2660 -2380 2780 -2540 2220 2440 -2332 -2364 2220 2584 -2420 -2548 2372 2220 -2532 -2364 2444 -2260 -2736 2264 2416 -2820 -2548 2720 2276 2476 2412 2484 2492 2512 -2612 2292 -2224 -2268 -2292 2264 -2792 -2532 2456 -2660 2648 2572 -2692 -2584 -2612 -2736 2780 -2344 -2524 2764 2600 2220 2264 -2564 2704 2336 -2604 2468 -2688 -2384 2780 2780 -2356 2564 -2556 2300 2620 -2572 -2432 2808 2468 2780 -2260 2220 2472 -2532 2272 2748 2536 -2312 -2368 2472 -2616 2400 2644 2220 2344 2456 2520 2276 2304 -2716 -2760 2428 2408 2280 -2348 -2436 -2812 -2300 -2268 2552 2792 2476 2400 2672 -2292 2560 2396 2788 2636 -2580 2536 -2764 -2636 -2816 2408 2576 2640 2288 2260 2228 -2428 2480 -2548 2568 2596 2684 2776 -2308 2260 2364 2448 2636 -2628 2348 -2380 2244 2748 -2500 -2348 2340 2260 -2820 -2376 2408 -2316 -2440 2516 2524 2320 -2348 2468 2416 -2668 2696 2492 2260 2312 -2588 2372 2228 2260 2552 -2260 -2780 2220 -2740 2560 2260 2244 -2560 2632 -2784 -2572 2712 2700 -2504 2260 2796 2220 2400 -2472 -2260 -2480 -2260 2752 2220 2640 2404 2312 -2608 -2676 -2260 -2688 2792 -2296 2500 -2820 2352 2736 2428 2708 2772 -2532 2732 2308 2500 2616 2560 2648 2348 2756 2628 2404 -2228 2528 2276 2276 2220 2284 -2612 -2756 2692 2440 -2524 2596 -2396 2340 -2496 2668 2792 -2292 -2416 2644 -2220 2640 -2460 -2228 2780 2276 2708 2672 2676 2540 2572 2520 -2664 2220 -2664 -2280 2304 2288 2496 2644 2428 2644 2576 -2400 2620 2480 2768 -2600 2260 2676 2220 2368 -2668 2284 2520 2616 -2260 -2372 2508 -2748 2260 -2576 2780 2604 -2568 -2304 -2260 -2236 -2380 -2624 2776 -2700 2372 2408 2328 2340 2676 -2636 -2820 -2732 2368 2304 -2768 -2540 2448 2296 -2720 -2228 -2600 -2444 -2260 -2664 -2612 2352 2720 2468 2788 -2500 -2700 2492 -2776 2680 -2416 2780 2596 2336 -2820 -2688 2568 2416 2304 2224 2500 -2512 -2240 2732 -2820 2236 2532 -2220 -2768 2420 2568 2316 2500 2588 2564 -2532 2668 2712 -2400 2452 2272 2352 2348 2724 2608 -2760 -2260 2464 -2304 2320 -2420 -2540 -2652 2220 2260 -2612 2392 2476 2756 2472 2260 2396 2408 2296 2628 2552 2496 2772 -2780 -2456 2520 -2480 2648 2260 -2580 -2780 -2604 2236 2732 2532 -2592 2464 2780 2384 2260 -2220 2780 2564 2252 2556 2640 -2528 2268 2500 2648 2340 2780 2760 2464 2564 2420 2284 2620 -2444 -2468 2236 2744 2448 2304 2332 2292 2360 2592 -2636 -2432 -2316 2260 -2260 -2492 2260 -2260 2352 2220 2340 2220 2388 -2780 2312 -2756 -2260 -2544 -2416 -2380 -2224 2360 2820 2488 2596 2776 2580 2312 2668 -2480 2256 2408 2264 -2648 -2260 2264 -2608 -2452 2440 2260 2780 2752 2532 2220 2392 2260 2536 2220 -2524 -2616 2768 -2260 -2528 2540 -2476 -2240 2280 2280 -2580 2732 2488 2264 -2260 -2452 2604 2356 -2748 -2476 -2440 -2580 2240 2360 2692 -2780 2220 -2676 -2692 -2260 2260 2528 2780 -2548 -2480 2444 -2228 2260 2264 2776 2504 2508 2788 2468 2716 2528 2448 2324 2592 2400 2232 2296 2280 2452 2340 -2688 2752 -2776 -2684 2364 -2436 2556 2660 -2660 -2504 -2516 2304 2260 2368 -2432 2436 2776 -2608 -2628 -2500 -2580 2224 -2320 2232 2260 2768 2256 2564 -2752 -2516 2260 2436 2564 2604 2796 2772 2388 2456 
235.32/236.51	s SATISFIABLE
235.32/236.51	d NODES 4618
235.32/236.51	d CHECKS 25144882
235.32/236.52	c gac3-effective-revisions: 26747
235.32/236.52	c gac3-useless-revisions: 639079
235.32/236.52	c heuristic-cpu: 0.06999993
235.32/236.52	c prepro-constraint-ccks: 3654520
235.32/236.52	c prepro-constraint-presenceccks: 382534
235.32/236.52	c prepro-cpu: 2.43
235.32/236.52	c prepro-matrix2d-ccks: 20263556
235.32/236.52	c prepro-matrix2d-presenceccks: 7345183
235.32/236.52	c prepro-removed: 582417
235.32/236.52	c search-cpu: 59.04
235.32/236.52	c total-assgn: 4618
235.32/236.52	c total-constraint-ccks: 3676675
235.32/236.52	c total-constraint-presence-ccks: 811546
235.32/236.52	c total-cpu: 61.54
235.32/236.52	c total-matrix2d-ccks: 21468207
235.32/236.52	c total-matrix2d-presence-ccks: 11780063
235.32/236.52	c tuples: 0
235.32/236.52	c tuples-collisions: 0
235.32/236.52	c TOTAL-NODES 4618
235.32/236.52	c TOTAL-CPU 61.54

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-1087027-1215242382/watcher-1087027-1215242382 -o /tmp/evaluation-result-1087027-1215242382/solver-1087027-1215242382 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1087027-1215242382.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.01 2.00 4/72 24755
/proc/meminfo: memFree=1550832/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) R 24753 24755 23869 0 -1 4194304 248 0 0 0 0 0 0 0 20 0 1 0 2003210568 5484544 216 996147200 4194304 4889804 548682068800 18446744073709551615 4318240 0 0 4100 65536 0 0 0 17 1 0 0
/proc/24755/statm: 1339 216 178 169 0 50 0

[startup+0.079085 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 24755
/proc/meminfo: memFree=1550832/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102087 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 24755
/proc/meminfo: memFree=1550832/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301109 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 24755
/proc/meminfo: memFree=1550832/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701158 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 24755
/proc/meminfo: memFree=1550832/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/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.01 2.00 3/82 24766
/proc/meminfo: memFree=1538336/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=844280 CPUtime=1.47
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 6963 0 1 0 142 5 0 0 19 0 9 0 2003210569 864542720 6052 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 211070 6052 2574 9 0 205631 0
[pid=24758/tid=24759] ppid=24755 vsize=844280 CPUtime=1.14
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 3449 0 1 0 111 3 0 0 25 0 9 0 2003210570 864542720 6052 996147200 134512640 134550740 4294956032 18446744073709551615 4125812474 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=844280 CPUtime=0.15
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 2259 0 0 0 14 1 0 0 16 0 9 0 2003210571 864542720 6052 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 6052 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 6052 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 864542720 6052 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=844280 CPUtime=0.15
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 524 0 0 0 15 0 0 0 16 0 9 0 2003210573 864542720 6052 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 864542720 6052 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 864542720 6052 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 849636

[startup+3.10144 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 24766
/proc/meminfo: memFree=1535008/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=844280 CPUtime=3.06
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 7767 0 1 0 299 7 0 0 19 0 9 0 2003210569 864542720 6688 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 211070 6688 2575 9 0 205631 0
[pid=24758/tid=24759] ppid=24755 vsize=844280 CPUtime=2.55
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 3617 0 1 0 252 3 0 0 25 0 9 0 2003210570 864542720 6688 996147200 134512640 134550740 4294956032 18446744073709551615 4125740898 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=844280 CPUtime=0.32
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 2893 0 0 0 30 2 0 0 16 0 9 0 2003210571 864542720 6688 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 6688 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 6688 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 864542720 6688 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=844280 CPUtime=0.15
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 526 0 0 0 15 0 0 0 16 0 9 0 2003210573 864542720 6688 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 864542720 6688 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 864542720 6688 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 849636

[startup+6.30282 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 24766
/proc/meminfo: memFree=1531296/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=844280 CPUtime=6.25
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 8777 0 1 0 615 10 0 0 19 0 9 0 2003210569 864542720 7409 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 211070 7409 2575 9 0 205631 0
[pid=24758/tid=24759] ppid=24755 vsize=844280 CPUtime=5.55
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 3906 0 1 0 551 4 0 0 25 0 9 0 2003210570 864542720 7409 996147200 134512640 134550740 4294956032 18446744073709551615 4125979887 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=844280 CPUtime=0.51
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 3614 0 0 0 47 4 0 0 16 0 9 0 2003210571 864542720 7409 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 7409 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 7409 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 864542720 7409 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=844280 CPUtime=0.15
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 526 0 0 0 15 0 0 0 16 0 9 0 2003210573 864542720 7409 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 864542720 7409 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 864542720 7409 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 849636

[startup+12.7016 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 24766
/proc/meminfo: memFree=1527136/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=844280 CPUtime=12.62
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 11174 0 1 0 1248 14 0 0 19 0 9 0 2003210569 864542720 8326 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 211070 8326 2575 9 0 205631 0
[pid=24758/tid=24759] ppid=24755 vsize=844280 CPUtime=11.54
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 4340 0 1 0 1149 5 0 0 25 0 9 0 2003210570 864542720 8326 996147200 134512640 134550740 4294956032 18446744073709551615 4125978410 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=844280 CPUtime=0.89
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 5577 0 0 0 82 7 0 0 16 0 9 0 2003210571 864542720 8326 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 8326 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 8326 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 864542720 8326 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=844280 CPUtime=0.15
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 526 0 0 0 15 0 0 0 16 0 9 0 2003210573 864542720 8326 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 864542720 8326 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 864542720 8326 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 849636

[startup+25.5021 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 24766
/proc/meminfo: memFree=1522400/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=844280 CPUtime=25.36
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 12847 0 1 0 2517 19 0 0 19 0 9 0 2003210569 864542720 9461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 211070 9461 2575 9 0 205631 0
[pid=24758/tid=24759] ppid=24755 vsize=844280 CPUtime=23.83
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 4878 0 1 0 2376 7 0 0 25 0 9 0 2003210570 864542720 9461 996147200 134512640 134550740 4294956032 18446744073709551615 4125978410 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=844280 CPUtime=1.34
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 6712 0 0 0 124 10 0 0 16 0 9 0 2003210571 864542720 9461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 9461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003210571 864542720 9461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 864542720 9461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=844280 CPUtime=0.15
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 526 0 0 0 15 0 0 0 16 0 9 0 2003210573 864542720 9461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 864542720 9461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=844280 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 864542720 9461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 849636

[startup+51.1021 s]
/proc/loadavg: 2.17 2.05 2.01 3/83 24767
/proc/meminfo: memFree=1480344/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0

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

[pid=24758/tid=24759] ppid=24755 vsize=850820 CPUtime=213.65
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 13369 0 1 0 21322 43 0 0 25 0 9 0 2003210570 871239680 162748 996147200 134512640 134550740 4294956032 18446744073709551615 4127854837 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=850820 CPUtime=10.92
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 151606 0 0 0 1023 69 0 0 16 0 9 0 2003210571 871239680 162748 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162748 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162748 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 871239680 162748 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=850820 CPUtime=4.54
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 3907 0 0 0 442 12 0 0 16 0 9 0 2003210573 871239680 162748 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 871239680 162748 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 871239680 162748 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 229.15
Current children cumulated vsize (KiB) 856176

[startup+233.502 s]
/proc/loadavg: 2.10 2.09 2.03 3/82 24769
/proc/meminfo: memFree=907600/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=850820 CPUtime=232.33
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 169631 0 1 0 23106 127 0 0 19 0 9 0 2003210569 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 212705 162752 2599 9 0 207265 0
[pid=24758/tid=24759] ppid=24755 vsize=850820 CPUtime=216.82
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 13370 0 1 0 21639 43 0 0 25 0 9 0 2003210570 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4127616539 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=850820 CPUtime=10.92
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 151610 0 0 0 1023 69 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=850820 CPUtime=4.54
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 3907 0 0 0 442 12 0 0 16 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 232.33
Current children cumulated vsize (KiB) 856176

[startup+235.102 s]
/proc/loadavg: 2.09 2.09 2.03 3/82 24769
/proc/meminfo: memFree=907600/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=850820 CPUtime=233.92
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 169631 0 1 0 23265 127 0 0 19 0 9 0 2003210569 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 212705 162752 2599 9 0 207265 0
[pid=24758/tid=24759] ppid=24755 vsize=850820 CPUtime=218.42
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 13370 0 1 0 21799 43 0 0 25 0 9 0 2003210570 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4127615035 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=850820 CPUtime=10.92
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 151610 0 0 0 1023 69 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=850820 CPUtime=4.54
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 3907 0 0 0 442 12 0 0 16 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 233.92
Current children cumulated vsize (KiB) 856176

[startup+235.902 s]
/proc/loadavg: 2.09 2.09 2.03 3/82 24769
/proc/meminfo: memFree=907600/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=850820 CPUtime=234.72
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 169631 0 1 0 23345 127 0 0 19 0 9 0 2003210569 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 212705 162752 2599 9 0 207265 0
[pid=24758/tid=24759] ppid=24755 vsize=850820 CPUtime=219.21
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 13370 0 1 0 21878 43 0 0 25 0 9 0 2003210570 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4127615012 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=850820 CPUtime=10.92
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 151610 0 0 0 1023 69 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=850820 CPUtime=4.54
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 3907 0 0 0 442 12 0 0 16 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 234.72
Current children cumulated vsize (KiB) 856176

[startup+236.302 s]
/proc/loadavg: 2.09 2.09 2.03 3/82 24769
/proc/meminfo: memFree=907600/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=850820 CPUtime=235.12
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 169631 0 1 0 23385 127 0 0 19 0 9 0 2003210569 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 212705 162752 2599 9 0 207265 0
[pid=24758/tid=24759] ppid=24755 vsize=850820 CPUtime=219.61
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 13370 0 1 0 21918 43 0 0 25 0 9 0 2003210570 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4127615062 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=850820 CPUtime=10.92
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 151610 0 0 0 1023 69 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=850820 CPUtime=4.54
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 3907 0 0 0 442 12 0 0 16 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 235.12
Current children cumulated vsize (KiB) 856176

[startup+236.507 s]
/proc/loadavg: 2.09 2.09 2.03 3/82 24769
/proc/meminfo: memFree=907600/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=850820 CPUtime=235.32
/proc/24758/stat : 24758 (java) S 24755 24755 23869 0 -1 0 169631 0 1 0 23405 127 0 0 19 0 9 0 2003210569 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 212705 162752 2599 9 0 207265 0
[pid=24758/tid=24759] ppid=24755 vsize=850820 CPUtime=219.81
/proc/24758/task/24759/stat : 24759 (java) R 24755 24755 23869 0 -1 64 13370 0 1 0 21938 43 0 0 25 0 9 0 2003210570 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4127615156 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24760] ppid=24755 vsize=850820 CPUtime=10.92
/proc/24758/task/24760/stat : 24760 (java) S 24755 24755 23869 0 -1 64 151610 0 0 0 1023 69 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24761] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24761/stat : 24761 (java) S 24755 24755 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24762] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24762/stat : 24762 (java) S 24755 24755 23869 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003210571 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24763] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24763/stat : 24763 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24764] ppid=24755 vsize=850820 CPUtime=4.54
/proc/24758/task/24764/stat : 24764 (java) S 24755 24755 23869 0 -1 64 3907 0 0 0 442 12 0 0 16 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24765] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24765/stat : 24765 (java) S 24755 24755 23869 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24758/tid=24766] ppid=24755 vsize=850820 CPUtime=0
/proc/24758/task/24766/stat : 24766 (java) S 24755 24755 23869 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003210573 871239680 162752 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 235.32
Current children cumulated vsize (KiB) 856176

[startup+236.604 s]
/proc/loadavg: 2.09 2.09 2.03 3/82 24769
/proc/meminfo: memFree=907600/2055920 swapFree=4179912/4192956
[pid=24755] ppid=24753 vsize=5356 CPUtime=0
/proc/24755/stat : 24755 (concrete.sh) S 24753 24755 23869 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 2003210568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24755/statm: 1339 242 201 169 0 50 0
[pid=24758] ppid=24755 vsize=0 CPUtime=235.36
/proc/24758/stat : 24758 (java) Z 24755 24755 23869 0 -1 12 169636 0 1 0 23406 130 0 0 16 0 2 0 2003210569 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24758/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 235.36
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 236.661
CPU time (s): 235.441
CPU user time (s): 234.068
CPU system time (s): 1.37279
CPU usage (%): 99.4845
Max. virtual memory (cumulated for all children) (KiB): 856176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 234.068
system time used= 1.37279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170089
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= 40767
involuntary context switches= 43825

runsolver used 0.269958 second user time and 0.815875 second system time

The end

Launcher Data (download as text)

Begin job on node53 at 2008-07-05 09:19:42
IDJOB=1087027
IDBENCH=57918
IDSOLVER=305
FILE ID=node53/1087027-1215242382
PBS_JOBID= 7881947
Free space on /tmp= 65120 MiB

SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/fapp/fapp25/normalized-fapp25-2230-4.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087027-1215242382/watcher-1087027-1215242382 -o /tmp/evaluation-result-1087027-1215242382/solver-1087027-1215242382 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 60 HOME/instance-1087027-1215242382.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= fc409cb8b4f9cf04e2dbeb29fe62b8ed
RANDOM SEED=1826877122

node53.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.222
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.222
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1551248 kB
Buffers:         76148 kB
Cached:         285256 kB
SwapCached:       7428 kB
Active:         256916 kB
Inactive:       183808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1551248 kB
SwapTotal:     4192956 kB
SwapFree:      4179912 kB
Dirty:            3408 kB
Writeback:           0 kB
Mapped:          86364 kB
Slab:            49180 kB
Committed_AS:  4048648 kB
PageTables:       1900 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= 65120 MiB
End job on node53 at 2008-07-05 09:23:39