Trace number 1085662

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 186.057 187.903

DiagnosticValue
CHECKS32468800
NODES6256

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-9.xml
MD5SUMe29b6006bf1a29842bd8623c635cae42
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 benchmark29.2246
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
Global constraints used (with number of constraints)

Solver Data (download as text)

66.33/67.09	c Sat Jul 05 07:17:23 CEST 2008 concrete.ResourceController isOutOfTime
66.33/67.09	c WARNING: Out of time
131.98/133.33	c CPU-LOAD 123.26
131.98/133.33	c LOADED 750 V (998 E), 1786 ExtensionConstraint2D, 4360 PredicateConstraint, arity 2, 123.26 cpu
185.86/187.79	v -2518 -2558 -3092 -3312 -3352 -3132 -2558 -2518 -2998 -2758 -2628 -2586 -2592 -2758 -3036 -2624 -3044 -2570 -3190 -2624 -2586 -2568 -2572 -2518 -3044 -2572 -3298 -3352 -2626 -2626 -2828 -2760 -2582 -2854 -3150 -2500 -3108 -3312 -3096 -3352 -2788 -2800 -3000 -3076 -2788 -2614 -3352 -2738 -2592 -2788 -2530 -3190 -2898 -3150 -2608 3012 2798 -2518 -2588 -2526 -2574 -2584 2356 -2786 -2828 -2480 -3150 -2828 -2558 -3038 2920 -3352 -2608 -2522 -3312 -2594 -3190 -3004 -2626 -3150 -2758 -2814 -3150 -2440 -2828 -2618 -3236 -3044 3188 -2860 -2828 -2494 -2694 -2588 -2490 2782 -3004 -3110 -3058 -2566 -3352 -2938 -3352 -3116 -3004 3042 3004 -2992 -3150 -2758 2562 -2558 -2446 -2628 -3056 -3004 -2828 -2530 -3144 -2482 -2420 3040 -3352 -3312 -3038 3028 -2996 -2618 -3044 -2610 -3104 2556 -3352 -3150 -2610 -3150 -2772 3018 2616 -3076 -2614 -3190 -3004 3040 -2706 -2518 -2606 -2758 -2550 -3352 -2484 -3006 -3190 -2758 -2980 -2828 -2584 -2594 -2480 -3020 -2626 3150 -3150 -3150 -3190 -2568 -2606 2828 -2480 -2622 -3190 3150 -2518 -2626 -2546 -2908 -3114 -2518 -2610 -2660 2780 -2768 2728 3150 -2594 -3060 -2518 -2478 -2788 -3148 -2502 -2576 -2990 -2788 -2378 3352 -2638 -2980 -2990 -3150 -3154 -2632 -3144 -2558 -3044 -2362 -2518 -3274 2680 -2950 -3190 -3352 2618 -2540 -3314 -2614 -2518 -3190 -2798 -2558 -2828 2952 -2788 -2688 2612 -2586 2628 -2420 -3150 2486 -2558 -3190 -3066 -2854 2928 -2798 2746 -2546 -2984 -2830 2822 -2828 -2590 -2566 -3352 3228 -3190 -2568 -2580 -3338 -3144 -2532 2494 -2482 -2478 -2620 -3150 -2402 2736 -3004 -2944 -2828 -3190 -2632 -2596 3250 2574 3312 2658 -2788 -2608 -3352 -2788 2356 3060 -2524 -2378 -3004 -3146 -2788 2598 -2526 -3030 3156 -3044 -3312 -2518 2912 -3312 -2858 -2768 -3190 -2734 -3312 -3034 -3004 -2400 -2524 -3352 -3020 -3102 -2626 2828 -3196 -2698 -2632 -3150 -3004 -3044 -3004 -3136 2632 -3190 2558 -2592 3190 3190 -2586 -2988 -3270 -3004 2396 -3352 -2592 -3190 -2378 -2880 -3018 -3352 -2788 -2680 -3004 -2518 -2596 3094 -2632 3312 3146 -3078 -2758 -2558 -2558 -3190 -3146 -3134 -2746 -2396 -2758 -2828 3054 -2922 -2758 -2482 -2570 -3150 -2406 3150 -3190 2974 -3144 3230 -2358 -3104 -2596 -2592 -2798 -2632 3004 -3320 -2518 -2630 -2516 -3352 2628 2380 -2958 -2956 -3190 2596 -2632 -2636 -2600 -3290 -3352 -2820 -3190 2788 -2632 -2798 -2676 2832 -3312 -2518 -2614 -2620 2356 -3190 -3322 -3150 2592 -3038 2658 2586 -2828 2818 3258 -2728 -2364 -2622 -2712 -2798 -3044 -2380 2786 3042 -2558 -3282 -3150 -3312 -3044 -2516 2586 -2632 -2580 3002 -2628 3004 -2518 2934 -3150 -2582 3000 -2640 -2788 2950 -2558 -2558 2558 -2732 -3044 -2558 2788 -2588 -3150 -2870 -2482 -2356 -3004 -2636 2948 -2798 2952 -2788 -3150 2404 -3044 2824 -3076 -2798 2584 -3312 -3190 2602 -3312 2728 -3312 -3150 2592 2776 -2586 -2784 -2518 -3150 -2484 2606 2798 -2592 -2956 2994 -2990 -3190 2520 -3312 -2460 2926 2590 3020 2650 2570 2582 2796 -2820 3026 -2592 -3058 3150 -3150 -3004 -2898 -2634 -2490 2966 2886 -2720 -2622 -2824 -2758 -2524 -2758 -2518 3312 -3312 3282 -2612 -3036 2356 2948 -2518 -2758 3298 -2798 2814 -3150 2624 -3004 -2798 -3110 -2958 -3044 -3110 -3338 -2716 2636 -2404 -3002 -2828 -2524 3190 2758 2634 2778 2396 -2758 -2526 -3150 -3312 -3144 2608 2570 3150 -2558 3190 -2542 -2544 -3352 -3004 -2788 -2406 -2758 -2574 -2828 -3150 -2518 2534 -2486 -2628 -2620 -2798 -2828 -2486 -2558 3044 -2516 -3146 -2558 -2520 -2558 -2518 -2396 2590 2624 -3080 -3044 -3150 2608 -2518 -2580 -2996 -2556 -3280 -2446 -3026 -2450 2398 -2518 -2630 -2518 -2522 -3142 -2568 3150 -3312 -2634 -3096 -3044 -2998 -2492 2788 2882 -3066 2636 2790 -2788 -2558 2480 2926 -2756 2522 2562 -2484 -2518 2630 -3004 -2594 2366 -3104 2522 2828 -2582 -2798 -3202 3104 -2558 -2758 -2364 2622 -3242 -2788 -2520 -2524 2976 -2672 -3104 -3150 2630 2578 -2530 2584 2758 2826 -2478 -2584 3044 -2602 3062 -2592 -3150 -2568 2758 -2828 -3190 -2972 -2590 -3190 2634 -2590 3242 -3044 -2518 -3078 -3352 2858 2784 -2418 -2738 -2610 -3044 3186 -2798 -2632 -2586 -3106 -3068 -2558 -3046 -2960 2828 2396 2792 -2732 -2788 2772 -2610 -3190 -3044 -2626 2798 -3190 -2506 -2798 3036 2506 2788 3016 -2504 -3142 -3312 -3106 -3102 -2558 -2620 -2484 -2626 2586 3020 -2484 -3190 -3078 -3190 2626 -2418 -3044 2798 2828 -2520 3022 -2566 3312 -3298 2888 -2500 -2720 -2588 2624 -2788 2910 2574 -2798 -3094 -2418 -3190 -2534 -2486 -2588 -2476 3106 2588 -2518 -2490 2490 
185.86/187.79	s SATISFIABLE
185.86/187.79	d NODES 6256
185.86/187.79	d CHECKS 32468806
185.86/187.80	c gac3-effective-revisions: 66677
185.86/187.80	c gac3-useless-revisions: 1509030
185.86/187.80	c heuristic-cpu: 0.049999714
185.86/187.80	c prepro-constraint-ccks: 15536840
185.86/187.80	c prepro-constraint-presenceccks: 871224
185.86/187.80	c prepro-cpu: 5.1800003
185.86/187.80	c prepro-matrix2d-ccks: 2244750
185.86/187.80	c prepro-matrix2d-presenceccks: 1044772
185.86/187.80	c prepro-removed: 296829
185.86/187.80	c search-cpu: 46.800003
185.86/187.80	c total-assgn: 6256
185.86/187.80	c total-constraint-ccks: 25228430
185.86/187.80	c total-constraint-presence-ccks: 37227045
185.86/187.80	c total-cpu: 52.030003
185.86/187.80	c total-matrix2d-ccks: 7240376
185.86/187.80	c total-matrix2d-presence-ccks: 18255007
185.86/187.80	c tuples: 0
185.86/187.80	c tuples-collisions: 0
185.86/187.80	c TOTAL-NODES 6256
185.86/187.80	c TOTAL-CPU 52.030003

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-1085662-1215234976/watcher-1085662-1215234976 -o /tmp/evaluation-result-1085662-1215234976/solver-1085662-1215234976 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1085662-1215234976.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/81 16553
/proc/meminfo: memFree=1703768/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=18572 CPUtime=0
/proc/16553/stat : 16553 (runsolver) R 16551 16553 15859 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2002467147 19017728 292 996147200 4194304 4296836 548682068448 18446744073709551615 213112122663 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16553/statm: 4643 292 257 25 0 2626 0

[startup+0.048215 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16553
/proc/meminfo: memFree=1703768/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101727 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16553
/proc/meminfo: memFree=1703768/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30176 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16553
/proc/meminfo: memFree=1703768/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701826 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16553
/proc/meminfo: memFree=1703768/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50296 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 16564
/proc/meminfo: memFree=1691272/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=844376 CPUtime=1.46
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 6999 0 1 0 141 5 0 0 18 0 9 0 2002467148 864641024 6096 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 211094 6096 2575 9 0 205655 0
[pid=16556/tid=16557] ppid=16553 vsize=844376 CPUtime=1.13
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 3439 0 1 0 111 2 0 0 25 0 9 0 2002467149 864641024 6096 996147200 134512640 134550740 4294956032 18446744073709551615 4125741879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=844376 CPUtime=0.14
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 2297 0 0 0 13 1 0 0 16 0 9 0 2002467150 864641024 6096 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002467150 864641024 6096 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002467150 864641024 6096 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002467152 864641024 6096 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=844376 CPUtime=0.16
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 532 0 0 0 16 0 0 0 16 0 9 0 2002467152 864641024 6096 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002467152 864641024 6096 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002467152 864641024 6096 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 849732

[startup+3.10124 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 16564
/proc/meminfo: memFree=1687752/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=844376 CPUtime=3.05
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 7817 0 1 0 298 7 0 0 18 0 9 0 2002467148 864641024 6757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 211094 6757 2575 9 0 205655 0
[pid=16556/tid=16557] ppid=16553 vsize=844376 CPUtime=2.53
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 3596 0 1 0 250 3 0 0 25 0 9 0 2002467149 864641024 6757 996147200 134512640 134550740 4294956032 18446744073709551615 4125948608 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=844376 CPUtime=0.33
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 2958 0 0 0 31 2 0 0 16 0 9 0 2002467150 864641024 6757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002467150 864641024 6757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002467150 864641024 6757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002467152 864641024 6757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=844376 CPUtime=0.16
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 532 0 0 0 16 0 0 0 16 0 9 0 2002467152 864641024 6757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002467152 864641024 6757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002467152 864641024 6757 996147200 134512640 134550740 4294956032 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) 849732

[startup+6.30278 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 16564
/proc/meminfo: memFree=1683784/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=844376 CPUtime=6.21
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 8862 0 1 0 612 9 0 0 18 0 9 0 2002467148 864641024 7536 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 211094 7536 2575 9 0 205655 0
[pid=16556/tid=16557] ppid=16553 vsize=844376 CPUtime=5.51
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 3862 0 1 0 547 4 0 0 25 0 9 0 2002467149 864641024 7536 996147200 134512640 134550740 4294956032 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=844376 CPUtime=0.51
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 3737 0 0 0 48 3 0 0 16 0 9 0 2002467150 864641024 7536 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002467150 864641024 7536 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2002467150 864641024 7536 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002467152 864641024 7536 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=844376 CPUtime=0.16
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 532 0 0 0 16 0 0 0 16 0 9 0 2002467152 864641024 7536 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002467152 864641024 7536 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=844376 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002467152 864641024 7536 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 849732

[startup+12.7029 s]
/proc/loadavg: 2.07 2.02 2.00 3/92 16565
/proc/meminfo: memFree=1653120/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=850916 CPUtime=12.56
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 19409 0 1 0 1237 19 0 0 18 0 10 0 2002467148 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 212729 15341 2588 9 0 207289 0
[pid=16556/tid=16557] ppid=16553 vsize=850916 CPUtime=10.74
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 4500 0 1 0 1068 6 0 0 25 0 10 0 2002467149 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4127204052 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=850916 CPUtime=1.11
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 11890 0 0 0 102 9 0 0 16 0 10 0 2002467150 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2002467150 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 9 0 0 0 0 0 0 0 16 0 10 0 2002467150 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002467152 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=850916 CPUtime=0.67
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 2281 0 0 0 65 2 0 0 15 0 10 0 2002467152 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002467152 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 2002467152 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16565] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16565/stat : 16565 (java) S 16553 16553 15859 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 2002467837 871337984 15341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 856272

[startup+25.502 s]
/proc/loadavg: 2.06 2.02 2.00 3/92 16565
/proc/meminfo: memFree=1632000/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=850916 CPUtime=25.23
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 24340 0 1 0 2500 23 0 0 18 0 10 0 2002467148 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 212729 20245 2585 9 0 207289 0
[pid=16556/tid=16557] ppid=16553 vsize=850916 CPUtime=22.6
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 4803 0 1 0 2253 7 0 0 25 0 10 0 2002467149 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4127204052 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=850916 CPUtime=1.6
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 16361 0 0 0 150 10 0 0 17 0 10 0 2002467150 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 17 0 10 0 2002467150 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002467150 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002467152 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=850916 CPUtime=0.99
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 2437 0 0 0 96 3 0 0 15 0 10 0 2002467152 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002467152 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 2002467152 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16565] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16565/stat : 16565 (java) S 16553 16553 15859 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 2002467837 871337984 20245 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 856272


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

[pid=16556] ppid=16553 vsize=850916 CPUtime=164.66
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 125235 0 2 0 16382 84 0 0 18 0 9 0 2002467148 871337984 120917 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 212729 120917 2599 9 0 207289 0
[pid=16556/tid=16557] ppid=16553 vsize=850916 CPUtime=154.12
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 12912 0 2 0 15385 27 0 0 25 0 9 0 2002467149 871337984 120917 996147200 134512640 134550740 4294956032 18446744073709551615 4130488614 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=850916 CPUtime=7.21
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 108498 0 0 0 673 48 0 0 16 0 9 0 2002467150 871337984 120917 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120917 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120917 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002467152 871337984 120917 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=850916 CPUtime=3.29
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 3082 0 0 0 322 7 0 0 15 0 9 0 2002467152 871337984 120917 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002467152 871337984 120917 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002467152 871337984 120917 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.66
Current children cumulated vsize (KiB) 856272

[startup+179.102 s]
/proc/loadavg: 2.23 2.07 2.02 3/91 16567
/proc/meminfo: memFree=1228344/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=850916 CPUtime=177.34
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 125242 0 2 0 17650 84 0 0 18 0 9 0 2002467148 871337984 120923 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 212729 120923 2599 9 0 207289 0
[pid=16556/tid=16557] ppid=16553 vsize=850916 CPUtime=166.78
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 12913 0 2 0 16651 27 0 0 25 0 9 0 2002467149 871337984 120923 996147200 134512640 134550740 4294956032 18446744073709551615 4130504953 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=850916 CPUtime=7.22
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 108498 0 0 0 674 48 0 0 16 0 9 0 2002467150 871337984 120923 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120923 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120923 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002467152 871337984 120923 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=850916 CPUtime=3.3
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 3088 0 0 0 323 7 0 0 15 0 9 0 2002467152 871337984 120923 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002467152 871337984 120923 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002467152 871337984 120923 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.34
Current children cumulated vsize (KiB) 856272

[startup+182.302 s]
/proc/loadavg: 2.21 2.07 2.02 3/91 16567
/proc/meminfo: memFree=1228344/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=850916 CPUtime=180.51
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 125243 0 2 0 17967 84 0 0 18 0 9 0 2002467148 871337984 120924 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 212729 120924 2599 9 0 207289 0
[pid=16556/tid=16557] ppid=16553 vsize=850916 CPUtime=169.96
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 12913 0 2 0 16969 27 0 0 25 0 9 0 2002467149 871337984 120924 996147200 134512640 134550740 4294956032 18446744073709551615 4130504953 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=850916 CPUtime=7.22
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 108498 0 0 0 674 48 0 0 16 0 9 0 2002467150 871337984 120924 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120924 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120924 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002467152 871337984 120924 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=850916 CPUtime=3.3
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 3089 0 0 0 323 7 0 0 16 0 9 0 2002467152 871337984 120924 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002467152 871337984 120924 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002467152 871337984 120924 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 180.51
Current children cumulated vsize (KiB) 856272

[startup+185.502 s]
/proc/loadavg: 2.21 2.07 2.02 3/91 16567
/proc/meminfo: memFree=1228344/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=850916 CPUtime=183.68
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 125246 0 2 0 18284 84 0 0 18 0 9 0 2002467148 871337984 120927 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 212729 120927 2599 9 0 207289 0
[pid=16556/tid=16557] ppid=16553 vsize=850916 CPUtime=173.13
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 12913 0 2 0 17285 28 0 0 25 0 9 0 2002467149 871337984 120927 996147200 134512640 134550740 4294956032 18446744073709551615 4130504943 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=850916 CPUtime=7.22
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 108498 0 0 0 674 48 0 0 16 0 9 0 2002467150 871337984 120927 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120927 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120927 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002467152 871337984 120927 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=850916 CPUtime=3.31
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 3092 0 0 0 324 7 0 0 15 0 9 0 2002467152 871337984 120927 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002467152 871337984 120927 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002467152 871337984 120927 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 183.68
Current children cumulated vsize (KiB) 856272

[startup+187.102 s]
/proc/loadavg: 2.19 2.07 2.01 3/91 16567
/proc/meminfo: memFree=1228344/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=850916 CPUtime=185.26
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 125261 0 2 0 18442 84 0 0 18 0 9 0 2002467148 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 212729 120941 2599 9 0 207289 0
[pid=16556/tid=16557] ppid=16553 vsize=850916 CPUtime=174.7
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 12914 0 2 0 17442 28 0 0 25 0 9 0 2002467149 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4130487811 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=850916 CPUtime=7.22
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 108511 0 0 0 674 48 0 0 16 0 9 0 2002467150 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002467152 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=850916 CPUtime=3.31
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 3093 0 0 0 324 7 0 0 15 0 9 0 2002467152 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002467152 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002467152 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 185.26
Current children cumulated vsize (KiB) 856272

[startup+187.502 s]
/proc/loadavg: 2.19 2.07 2.01 3/91 16567
/proc/meminfo: memFree=1228344/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=5356 CPUtime=0
/proc/16553/stat : 16553 (concrete.sh) S 16551 16553 15859 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2002467147 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16553/statm: 1339 242 201 169 0 50 0
[pid=16556] ppid=16553 vsize=850916 CPUtime=185.66
/proc/16556/stat : 16556 (java) S 16553 16553 15859 0 -1 0 125261 0 2 0 18482 84 0 0 18 0 9 0 2002467148 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16556/statm: 212729 120941 2599 9 0 207289 0
[pid=16556/tid=16557] ppid=16553 vsize=850916 CPUtime=175.1
/proc/16556/task/16557/stat : 16557 (java) R 16553 16553 15859 0 -1 64 12914 0 2 0 17482 28 0 0 25 0 9 0 2002467149 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4130504990 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16558] ppid=16553 vsize=850916 CPUtime=7.22
/proc/16556/task/16558/stat : 16558 (java) S 16553 16553 15859 0 -1 64 108511 0 0 0 674 48 0 0 16 0 9 0 2002467150 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16559] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16559/stat : 16559 (java) S 16553 16553 15859 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16560] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16560/stat : 16560 (java) S 16553 16553 15859 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002467150 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16561] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16561/stat : 16561 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002467152 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16562] ppid=16553 vsize=850916 CPUtime=3.31
/proc/16556/task/16562/stat : 16562 (java) S 16553 16553 15859 0 -1 64 3093 0 0 0 324 7 0 0 15 0 9 0 2002467152 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16563] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16563/stat : 16563 (java) S 16553 16553 15859 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002467152 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16556/tid=16564] ppid=16553 vsize=850916 CPUtime=0
/proc/16556/task/16564/stat : 16564 (java) S 16553 16553 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002467152 871337984 120941 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 185.66
Current children cumulated vsize (KiB) 856272

[startup+187.903 s]
/proc/loadavg: 2.19 2.07 2.01 3/91 16567
/proc/meminfo: memFree=1228344/2055920 swapFree=4180444/4192956
[pid=16553] ppid=16551 vsize=0 CPUtime=186.04
/proc/16553/stat : 16553 (concrete.sh) R 16551 16553 15859 0 -1 4194308 325 125395 0 2 0 0 18512 92 17 0 1 0 2002467147 0 0 996147200 0 0 0 0 0 0 0 4100 65536 0 0 0 17 1 0 0
/proc/16553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 186.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 187.903
CPU time (s): 186.057
CPU user time (s): 185.124
CPU system time (s): 0.932858
CPU usage (%): 99.0174
Max. virtual memory (cumulated for all children) (KiB): 856272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.124
system time used= 0.932858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125720
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22865
involuntary context switches= 27997

runsolver used 0.25796 second user time and 0.629904 second system time

The end

Launcher Data (download as text)

Begin job on node68 at 2008-07-05 07:16:16
IDJOB=1085662
IDBENCH=57684
IDSOLVER=305
FILE ID=node68/1085662-1215234976
PBS_JOBID= 7881945
Free space on /tmp= 66528 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e29b6006bf1a29842bd8623c635cae42
RANDOM SEED=1083275068

node68.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.261
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.261
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:       1704248 kB
Buffers:         56680 kB
Cached:         211072 kB
SwapCached:       6560 kB
Active:         180388 kB
Inactive:       116452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1704248 kB
SwapTotal:     4192956 kB
SwapFree:      4180444 kB
Dirty:            1952 kB
Writeback:           0 kB
Mapped:          45220 kB
Slab:            40048 kB
Committed_AS:  4342124 kB
PageTables:       1824 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= 66524 MiB
End job on node68 at 2008-07-05 07:19:24