Trace number 1085661

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete + CSP4J - WMC Engine 2008-05-30SAT 278.749 279.15

DiagnosticValue
CHECKS43815600
NODES1687

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)

261.91/262.34	c Sat Jul 05 07:20:38 CEST 2008 concrete.relationconverter.RelationManager strongOptimizeMemory
261.91/262.34	c WARNING: Could not free more memory in relations
262.01/262.48	c CPU-LOAD 230.08
262.01/262.48	c LOADED 750 V (998 E), 5101 ExtensionConstraint2D, 2240 PredicateConstraint, arity 2, 230.08 cpu
278.60/279.01	v -2518 -2546 -3072 3312 -3294 -3112 -2558 2480 -2990 -2758 -2624 2576 -2586 2758 3030 2622 -3044 2560 3182 2616 -2584 2564 2564 2518 -3038 -2562 -3270 3352 -2616 2616 2824 2760 -2578 -2850 -3150 -2478 3102 -3302 3096 3312 2788 2800 2994 -3074 -2788 -2602 -3336 2734 -2580 -2784 -2518 3188 -2886 -3150 2604 3006 -2798 2514 2584 2520 -2572 2582 2356 -2782 2828 -2480 -3146 -2826 -2558 -3038 2920 -3168 -2604 -2518 3334 2588 3188 -2998 2624 3150 2758 2814 3144 -2440 -2828 -2630 -3146 3040 3234 -2860 -2828 2478 -2692 2580 -2478 -2786 -3004 -3110 3052 -2562 3276 2926 -3352 3104 -3004 3044 -2996 -2984 -3150 -2758 2562 2558 -2358 2626 -3056 2998 2826 2520 -3144 -2478 -2402 -3032 -3208 -3248 -3038 3296 2992 2616 -3044 -2602 3102 2558 -3312 -3148 -2600 -3142 -2774 3012 2618 -3070 2608 3180 3004 3036 -2704 2518 -2604 2754 2540 -3210 -2478 2998 3186 2758 -2978 -2822 -2580 2588 -2478 3008 -2620 -3150 3150 3150 3184 2564 2514 -2824 -2478 2618 -3184 3150 -2506 -2626 -2544 2898 3108 2518 2590 2664 2786 -2736 2726 3148 -2360 -3056 -2518 2478 -2784 -3142 -2482 -2578 2984 -2788 2362 3352 -2628 -2968 2990 -3148 3148 2628 -3144 -2556 -3044 -2360 2518 -3292 2680 -2950 3188 3352 2632 2518 -3332 2612 -2518 3190 2798 -2558 -2824 -2944 2786 2682 -2602 2586 2628 -2362 3150 -2480 2554 -3190 -3060 -2854 2934 -2794 -2742 2426 -2974 -2826 -2826 2824 -2584 2554 3338 -3274 -3190 2564 2580 3296 -3142 -2522 -2490 2478 2478 2618 -3150 2400 2734 -3004 -2934 -2828 -3190 2624 2586 -3312 2568 -3312 2672 2788 2602 3332 2784 2428 3060 -2518 2378 -3004 -3146 -2788 2588 -2524 -3024 3144 -3040 3352 -2518 2914 3208 -2856 2766 3190 2732 3352 3034 -3000 -2400 2522 3276 3016 -3104 -2616 2824 3186 2694 -2626 3150 3004 3044 3004 3136 2626 -3190 -2558 2584 3190 -3190 -2580 2984 3254 -3000 2388 3352 2586 -3188 -2374 -2880 -3032 3346 2784 2676 3004 -2518 -2584 3208 -2638 -3298 3152 3078 -2758 2558 2552 3184 3144 -3248 2744 -2396 -2754 -2828 3142 2924 -2758 -2480 2566 -3142 2406 3150 3182 2974 3142 3214 2358 -3102 -2590 2584 -2796 -2618 -2998 3232 2512 2626 2518 -3348 -2620 -2402 -2950 -2952 -3190 2586 -2624 -2624 -2594 3352 -3342 -2826 -3190 -2782 2620 -2792 -2672 -2836 3286 -2518 -2612 2620 -2358 3182 -3344 -3142 -2590 -3034 2670 2580 2828 2830 3302 -2722 -2358 -2618 2706 -2794 -3044 2362 -2788 -3038 -2520 3266 3150 3306 -3042 2444 -2576 -2630 -2578 -3004 -2626 3004 -2516 -2934 3140 2570 -2992 -2634 -2788 2958 -2558 2554 2558 2734 -3036 2556 -2786 -2588 3148 -2858 -2478 -2424 -2990 -2626 2944 2798 -2954 -2780 3148 2398 -3044 2816 3076 -2798 -2576 3292 3188 2596 3316 2696 -3296 -3138 2580 2774 2580 -2776 -2518 3150 -2482 2602 2794 2598 2952 2994 -2998 -3190 -2518 -3312 -2396 2924 -2580 3018 -2630 -2562 2580 2798 -2820 -3020 -2588 -3072 3144 -3148 2998 -2896 2400 2498 -2964 2884 -2720 2610 -2820 -2758 -2520 -2758 -2518 3312 -3312 3304 -2604 -3036 2356 2938 2516 2754 3256 -2798 2810 3142 2618 -3004 -2798 3102 2954 3044 3110 -3310 -2712 -2630 -2396 -2998 -2828 -2518 3190 -2754 -2628 2786 -2396 -2752 -2520 -3150 -3308 -3142 2604 2562 3150 2528 3190 -2522 2426 3352 -3004 2788 -2402 2756 -2572 2820 -3142 -2516 2530 2398 -2618 2618 2798 2828 -2480 -2558 -3044 -2518 3146 2558 -2518 2558 2518 2398 -2580 2620 -3076 3038 -3144 2602 2514 -2578 -2992 2558 -3272 -2446 -3024 2538 2398 2518 -2620 -2518 -2520 3142 -2562 -3150 3250 -2632 3096 3044 2994 2482 2780 -2884 3064 -2626 -2786 2788 2556 2478 -2924 2758 -2518 2556 -2480 2488 -2620 -3002 -2592 -2362 -3104 2518 -2820 2578 -2798 3196 -3104 2558 -2752 -2356 -2620 3236 2786 2518 2518 2964 -2666 3102 3150 2624 -2576 2520 2578 2758 -2828 -2480 2578 -3038 2602 3346 -2578 -3150 2562 2758 -2826 -3190 2966 -2580 -3178 -2628 2586 -3226 -3044 2520 3074 3326 -2870 2780 2414 2746 2602 3038 -3192 2798 2620 -2576 -3106 -3336 2558 -3038 -2954 2824 2384 2796 2730 2784 -2770 -2606 3188 3030 2618 -2792 3190 -2386 2794 3034 2504 -2786 -3004 2466 3144 -3236 3104 3102 -2558 2624 -2478 2620 2578 -3020 -2478 3182 3078 -3190 -2620 -2402 -3044 -2798 2826 -2520 -3306 -2564 3312 -3342 2894 -2436 2716 -2586 -2618 -2784 2898 -2562 2798 3102 -2418 -3190 2518 -2484 -2586 2404 -3106 -2578 2518 -2480 2480 
278.60/279.02	s SATISFIABLE
278.60/279.02	d NODES 1687
278.60/279.02	d CHECKS 43815628
278.60/279.02	c gac3-effective-revisions: 1839
278.60/279.02	c gac3-useless-revisions: 23947
278.60/279.02	c local-minima: 96
278.60/279.02	c prepro-constraint-ccks: 20575309
278.60/279.02	c prepro-constraint-presenceccks: 514840
278.60/279.02	c prepro-cpu: 6.68
278.60/279.02	c prepro-matrix2d-ccks: 9887862
278.60/279.02	c prepro-matrix2d-presenceccks: 3644905
278.60/279.02	c prepro-removed: 237482
278.60/279.02	c total-assgn: 1687
278.60/279.02	c total-constraint-ccks: 31739204
278.60/279.02	c total-constraint-presence-ccks: 896971
278.60/279.02	c total-cpu: 13.690001
278.60/279.02	c total-matrix2d-ccks: 12076424
278.60/279.02	c total-matrix2d-presence-ccks: 5101058
278.60/279.02	c tuples: 0
278.60/279.02	c tuples-collisions: 0
278.60/279.02	c TOTAL-NODES 1687
278.60/279.02	c TOTAL-CPU 13.690001

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-1085661-1215234975/watcher-1085661-1215234975 -o /tmp/evaluation-result-1085661-1215234975/solver-1085661-1215234975 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1085661-1215234975.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 16379
/proc/meminfo: memFree=1782936/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 646434670 5484544 230 996147200 4194304 4889804 548682068768 18446744073709551615 226913648722 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/16379/statm: 1339 230 191 169 0 50 0
[pid=16380] ppid=16379 vsize=124 CPUtime=0
/proc/16380/stat : 16380 (dirname) R 16379 16379 15412 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 646434671 126976 22 996147200 4194304 4208292 548682069008 18446744073709551615 226910864336 0 0 4096 0 0 0 0 17 1 0 0
/proc/16380/statm: 31 22 16 3 0 3 0

[startup+0.0148251 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 16379
/proc/meminfo: memFree=1782936/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102785 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 16379
/proc/meminfo: memFree=1782936/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301817 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 16379
/proc/meminfo: memFree=1782936/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702896 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 16379
/proc/meminfo: memFree=1782936/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50105 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 16390
/proc/meminfo: memFree=1770952/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=844392 CPUtime=1.47
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 6884 0 1 0 141 6 0 0 18 0 9 0 646434671 864657408 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 211098 5997 2574 9 0 205659 0
[pid=16382/tid=16383] ppid=16379 vsize=844392 CPUtime=1.14
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 3430 0 1 0 111 3 0 0 25 0 9 0 646434673 864657408 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4125963443 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16384] ppid=16379 vsize=844392 CPUtime=0.14
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 2197 0 0 0 13 1 0 0 16 0 9 0 646434674 864657408 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16385] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 646434674 864657408 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16386] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 646434674 864657408 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16387] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646434676 864657408 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=844392 CPUtime=0.15
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 525 0 0 0 15 0 0 0 16 0 9 0 646434676 864657408 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16389] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 646434676 864657408 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 646434676 864657408 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 849748

[startup+3.10236 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 16390
/proc/meminfo: memFree=1767112/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=844392 CPUtime=3.05
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 7772 0 1 0 297 8 0 0 18 0 9 0 646434671 864657408 6723 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 211098 6723 2575 9 0 205659 0
[pid=16382/tid=16383] ppid=16379 vsize=844392 CPUtime=2.53
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 3592 0 1 0 249 4 0 0 25 0 9 0 646434673 864657408 6723 996147200 134512640 134550740 4294956016 18446744073709551615 4125718852 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16384] ppid=16379 vsize=844392 CPUtime=0.33
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 2922 0 0 0 31 2 0 0 16 0 9 0 646434674 864657408 6723 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16385] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 646434674 864657408 6723 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16386] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 646434674 864657408 6723 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16387] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646434676 864657408 6723 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=844392 CPUtime=0.16
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 526 0 0 0 16 0 0 0 16 0 9 0 646434676 864657408 6723 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16389] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 646434676 864657408 6723 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 646434676 864657408 6723 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 849748

[startup+6.30198 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 16390
/proc/meminfo: memFree=1762888/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=844392 CPUtime=6.22
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 8859 0 1 0 611 11 0 0 18 0 9 0 646434671 864657408 7535 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 211098 7535 2575 9 0 205659 0
[pid=16382/tid=16383] ppid=16379 vsize=844392 CPUtime=5.5
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 3867 0 1 0 546 4 0 0 25 0 9 0 646434673 864657408 7535 996147200 134512640 134550740 4294956016 18446744073709551615 4125741311 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16384] ppid=16379 vsize=844392 CPUtime=0.52
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 3734 0 0 0 47 5 0 0 16 0 9 0 646434674 864657408 7535 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16385] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 646434674 864657408 7535 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16386] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 646434674 864657408 7535 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16387] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646434676 864657408 7535 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=844392 CPUtime=0.16
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 526 0 0 0 16 0 0 0 16 0 9 0 646434676 864657408 7535 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16389] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 646434676 864657408 7535 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=844392 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 646434676 864657408 7535 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 849748

[startup+12.7012 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 16391
/proc/meminfo: memFree=1732160/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=850932 CPUtime=12.56
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 19380 0 1 0 1238 18 0 0 18 0 10 0 646434671 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 212733 15312 2588 9 0 207293 0
[pid=16382/tid=16383] ppid=16379 vsize=850932 CPUtime=10.74
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 4509 0 1 0 1068 6 0 0 25 0 10 0 646434673 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 104252402 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16384] ppid=16379 vsize=850932 CPUtime=1.12
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 11858 0 0 0 103 9 0 0 16 0 10 0 646434674 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16385] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 646434674 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16386] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 9 0 0 0 0 0 0 0 16 0 10 0 646434674 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16387] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 646434676 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=850932 CPUtime=0.66
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 2275 0 0 0 65 1 0 0 15 0 10 0 646434676 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16389] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 646434676 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 646434676 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16391] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16391/stat : 16391 (java) S 16379 16379 15412 0 -1 64 3 0 0 0 0 0 0 0 16 0 10 0 646435362 871354368 15312 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 856288

[startup+25.5027 s]
/proc/loadavg: 1.91 1.97 1.99 3/92 16439
/proc/meminfo: memFree=1758328/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=850932 CPUtime=25.24
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 24565 0 1 0 2501 23 0 0 18 0 10 0 646434671 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 212733 20470 2585 9 0 207293 0
[pid=16382/tid=16383] ppid=16379 vsize=850932 CPUtime=22.61
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 5039 0 1 0 2252 9 0 0 25 0 10 0 646434673 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4127210920 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16384] ppid=16379 vsize=850932 CPUtime=1.63
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 16350 0 0 0 152 11 0 0 16 0 10 0 646434674 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16385] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 646434674 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16386] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 646434674 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16387] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 646434676 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=850932 CPUtime=0.97
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 2437 0 0 0 95 2 0 0 15 0 10 0 646434676 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16389] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 646434676 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 646434676 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16391] ppid=16379 vsize=850932 CPUtime=0
/proc/16382/task/16391/stat : 16391 (java) S 16379 16379 15412 0 -1 64 3 0 0 0 0 0 0 0 16 0 10 0 646435362 871354368 20470 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=16382/tid=16384] ppid=16379 vsize=851956 CPUtime=20.34
/proc/16382/task/16384/stat : 16384 (java) R 16379 16379 15412 0 -1 64 172959 0 0 0 1962 72 0 0 25 0 10 0 646434674 872402944 186693 996147200 134512640 134550740 4294956016 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16385] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 646434674 872402944 186693 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16386] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 646434674 872402944 186693 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16387] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 646434676 872402944 186693 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=851956 CPUtime=6.02
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 4028 0 0 0 588 14 0 0 16 0 10 0 646434676 872402944 186693 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16389] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 646434676 872402944 186693 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 646434676 872402944 186693 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16391] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16391/stat : 16391 (java) S 16379 16379 15412 0 -1 64 3 0 0 0 0 0 0 0 16 0 10 0 646435362 872402944 186693 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 255.52
Current children cumulated vsize (KiB) 857312

[startup+268.702 s]
/proc/loadavg: 2.13 2.02 2.00 3/82 16515
/proc/meminfo: memFree=1027456/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=851956 CPUtime=268.31
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 190928 0 2 0 26687 144 0 0 18 0 9 0 646434671 872402944 186732 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 212989 186732 2598 9 0 207549 0
[pid=16382/tid=16383] ppid=16379 vsize=851956 CPUtime=234.13
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 13181 0 2 0 23358 55 0 0 25 0 9 0 646434673 872402944 186732 996147200 134512640 134550740 4294956016 18446744073709551615 4125767876 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16384] ppid=16379 vsize=851956 CPUtime=27.52
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 172976 0 0 0 2680 72 0 0 17 0 9 0 646434674 872402944 186732 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16385] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186732 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16386] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186732 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16387] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646434676 872402944 186732 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=851956 CPUtime=6.63
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 4028 0 0 0 648 15 0 0 15 0 9 0 646434676 872402944 186732 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16389] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 646434676 872402944 186732 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 646434676 872402944 186732 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 268.31
Current children cumulated vsize (KiB) 857312

[startup+275.103 s]
/proc/loadavg: 2.11 2.02 2.00 3/82 16515
/proc/meminfo: memFree=1027392/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=851956 CPUtime=274.71
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 190956 0 2 0 27326 145 0 0 18 0 9 0 646434671 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 212989 186751 2599 9 0 207549 0
[pid=16382/tid=16383] ppid=16379 vsize=851956 CPUtime=240.1
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 13207 0 2 0 23955 55 0 0 25 0 9 0 646434673 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4128811363 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16384] ppid=16379 vsize=851956 CPUtime=27.57
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 172976 0 0 0 2685 72 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16385] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16386] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16387] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=851956 CPUtime=7
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 4030 0 0 0 684 16 0 0 15 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16389] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 274.71
Current children cumulated vsize (KiB) 857312

[startup+276.702 s]
/proc/loadavg: 2.11 2.02 2.00 3/82 16515
/proc/meminfo: memFree=1027392/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=851956 CPUtime=276.31
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 190956 0 2 0 27486 145 0 0 18 0 9 0 646434671 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 212989 186751 2599 9 0 207549 0
[pid=16382/tid=16383] ppid=16379 vsize=851956 CPUtime=241.63
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 13207 0 2 0 24108 55 0 0 25 0 9 0 646434673 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4127209503 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16384] ppid=16379 vsize=851956 CPUtime=27.57
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 172976 0 0 0 2685 72 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16385] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16386] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16387] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=851956 CPUtime=7.07
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 4030 0 0 0 691 16 0 0 15 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16389] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 276.31
Current children cumulated vsize (KiB) 857312

[startup+278.306 s]
/proc/loadavg: 2.11 2.02 2.00 3/82 16515
/proc/meminfo: memFree=1027392/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=851956 CPUtime=277.9
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 190957 0 2 0 27645 145 0 0 18 0 9 0 646434671 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 212989 186751 2599 9 0 207549 0
[pid=16382/tid=16383] ppid=16379 vsize=851956 CPUtime=243.17
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 13207 0 2 0 24262 55 0 0 25 0 9 0 646434673 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16384] ppid=16379 vsize=851956 CPUtime=27.57
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 172976 0 0 0 2685 72 0 0 17 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16385] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16386] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16387] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=851956 CPUtime=7.12
/proc/16382/task/16388/stat : 16388 (java) R 16379 16379 15412 0 -1 64 4031 0 0 0 696 16 0 0 15 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 101660476 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16389] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 277.9
Current children cumulated vsize (KiB) 857312

[startup+278.702 s]
/proc/loadavg: 2.11 2.02 2.00 3/82 16515
/proc/meminfo: memFree=1027392/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=851956 CPUtime=278.3
/proc/16382/stat : 16382 (java) S 16379 16379 15412 0 -1 0 190958 0 2 0 27685 145 0 0 18 0 9 0 646434671 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16382/statm: 212989 186751 2599 9 0 207549 0
[pid=16382/tid=16383] ppid=16379 vsize=851956 CPUtime=243.56
/proc/16382/task/16383/stat : 16383 (java) R 16379 16379 15412 0 -1 64 13208 0 2 0 24301 55 0 0 25 0 9 0 646434673 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4125890545 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16384] ppid=16379 vsize=851956 CPUtime=27.58
/proc/16382/task/16384/stat : 16384 (java) S 16379 16379 15412 0 -1 64 172976 0 0 0 2686 72 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16385] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16385/stat : 16385 (java) S 16379 16379 15412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16386] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16386/stat : 16386 (java) S 16379 16379 15412 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 646434674 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16387] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16387/stat : 16387 (java) S 16379 16379 15412 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16388] ppid=16379 vsize=851956 CPUtime=7.13
/proc/16382/task/16388/stat : 16388 (java) S 16379 16379 15412 0 -1 64 4031 0 0 0 697 16 0 0 15 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16382/tid=16389] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16389/stat : 16389 (java) S 16379 16379 15412 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16382/tid=16390] ppid=16379 vsize=851956 CPUtime=0
/proc/16382/task/16390/stat : 16390 (java) S 16379 16379 15412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 646434676 872402944 186751 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 278.3
Current children cumulated vsize (KiB) 857312

[startup+279.102 s]
/proc/loadavg: 2.11 2.02 2.00 3/82 16515
/proc/meminfo: memFree=1027392/2055920 swapFree=4180232/4192956
[pid=16379] ppid=16377 vsize=5356 CPUtime=0
/proc/16379/stat : 16379 (concrete.sh) S 16377 16379 15412 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 646434670 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16379/statm: 1339 242 201 169 0 50 0
[pid=16382] ppid=16379 vsize=0 CPUtime=278.69
/proc/16382/stat : 16382 (java) Z 16379 16379 15412 0 -1 12 190963 0 2 0 27717 152 0 0 16 0 2 0 646434671 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16382/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 278.69
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 279.15
CPU time (s): 278.749
CPU user time (s): 277.178
CPU system time (s): 1.57076
CPU usage (%): 99.8563
Max. virtual memory (cumulated for all children) (KiB): 857312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 277.178
system time used= 1.57076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191414
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= 40455
involuntary context switches= 36504

runsolver used 0.357945 second user time and 0.928858 second system time

The end

Launcher Data (download as text)

Begin job on node5 at 2008-07-05 07:16:15
IDJOB=1085661
IDBENCH=57684
IDSOLVER=304
FILE ID=node5/1085661-1215234975
PBS_JOBID= 7881900
Free space on /tmp= 66528 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e29b6006bf1a29842bd8623c635cae42
RANDOM SEED=123856187

node5.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.279
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.279
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:       1783416 kB
Buffers:         19816 kB
Cached:         132304 kB
SwapCached:       6592 kB
Active:         166440 kB
Inactive:        48888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783416 kB
SwapTotal:     4192956 kB
SwapFree:      4180232 kB
Dirty:            1956 kB
Writeback:           0 kB
Mapped:          70604 kB
Slab:            42552 kB
Committed_AS:  1046824 kB
PageTables:       1868 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= 66532 MiB
End job on node5 at 2008-07-05 07:20:55