Trace number 2083453

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 2009-07-14SAT 187.621 189.553

DiagnosticValue
CHECKS2807980
NODES653

General information on the benchmark

Namecsp/fapp/fapp33/
normalized-fapp33-0650-10.xml
MD5SUM68a6e67c26555a55d1774467340b6ea2
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.7865
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of constraints8684
Maximum constraint arity2
Maximum domain size498
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8684
Global constraints used (with number of constraints)

Solver Data 

157.69/159.34	c CPU-LOAD 142.28
157.69/159.34	c LOADED 650 V (498 E), 4631 ExtensionConstraint2D, arity 2, 142.28 cpu
187.40/189.39	v 3100 -2956 3156 -2628 -3208 -3160 2256 -2872 3092 -2224 -2320 -2412 -2252 3068 -2256 -2436 -2740 -2624 -2256 -2924 -2960 -2788 2960 -2908 -2668 -2932 -3208 -2960 -3208 -2728 -2532 -2252 2776 2932 -2492 -2488 -2912 -2996 -2304 -2344 2288 -2440 2856 -2744 2516 -2588 -2476 -2860 2972 2268 -2888 3152 2460 -2960 3196 -2292 -2648 -2624 -2220 -2724 -3100 -2360 -3132 2256 2500 -2956 -2604 -2248 -2864 2664 -2880 -3172 2284 -2488 -3156 -2428 -2928 2712 -3048 -3172 -2904 -2708 -2440 -3164 2976 2292 -2448 -2916 -3032 -2228 -2488 2236 -2996 -2996 -2244 2736 2264 -2260 -2960 2980 2972 -3056 -2440 -2816 3012 2556 2312 2344 2736 -2680 -2956 -2956 -2848 3136 -2952 2608 2252 -2476 2776 -3104 3060 -2408 -2616 -2868 -2512 -3168 -2956 -3064 -2872 -2532 2216 -3052 -3168 -2960 2928 -2596 -3160 -2764 2868 -2920 2532 2256 -3168 2912 -2276 3008 2620 3016 -2604 -3040 -2452 -2400 -3068 2996 2956 -2964 -2960 -2988 -2440 3148 3164 -2972 -3076 -2216 -3208 2216 -2728 -2500 -2268 -2244 3068 2648 2508 -2452 -2448 -2956 3148 -2816 3048 3104 -2728 -3100 -2276 2492 -3068 -2284 -2904 -3208 -2684 -2716 -2972 2376 2976 3156 -2620 2556 2624 2316 2520 -2344 -3176 -2332 2980 -2996 -3068 2676 -2452 -2920 2636 -3108 2776 2956 2620 -2968 3196 -2996 -2768 -2900 -2592 -2976 2480 -2912 -2784 3108 -2292 2392 -2936 -2828 -2448 -2300 -2576 2620 -2692 -2612 -2864 -2996 -2916 -2848 -2308 -3196 2756 -3064 2520 -2916 2216 -2452 2304 2292 -3108 -2916 2584 -2872 -2820 3172 -2604 -2516 -3104 -2716 -3016 -2352 2692 -2780 -2400 2488 2996 2580 -2256 2248 -3168 2428 -2784 -2864 -3068 2556 2256 2596 2564 -2732 2388 -2956 -2920 -2920 -2488 -2960 -2996 -2712 -2256 -2908 -2252 -3208 -3128 -2884 2940 -2892 -2792 -2660 3132 -3068 2876 -2320 2216 -2964 -2520 -2748 -2956 -2836 -2916 -2872 3108 -2932 2216 -2996 2696 -2388 2620 2396 2936 -3012 -3080 -2716 -3188 -3068 -3168 -3068 -2824 3136 -3200 2644 -3092 -2568 -3204 -2872 -2716 -2756 -2268 -3056 -2912 -2324 -2256 -2500 -2660 -2956 -2872 -3108 2856 -2920 -2868 -2372 2384 -2492 -3020 -2956 -2972 3052 -2912 2976 -2436 -2256 -3208 2644 -2396 2364 -3004 -2332 2832 -2460 -2652 -2536 -2608 -2440 -2664 -2996 -3208 2216 -3208 -2472 -2560 2744 2256 -2480 -2784 2760 -2892 -3208 -3012 -2912 2308 2936 3052 2492 -2996 -2492 -2300 -2872 -2644 -2236 -2996 2872 -2716 -2672 -2500 -2864 -2304 -2396 -2604 -2288 -3168 -3020 2468 -2688 -2852 2756 -2496 -2960 2908 2216 -2588 2736 -3116 -2860 2700 -2908 3012 -2908 -2460 -2956 3176 2868 2960 -2920 -2820 -3200 -2400 -2860 -2912 2888 -2852 -3108 -2644 -3060 -2384 -2956 -2872 -2872 -2308 -2428 2448 -2956 -3168 -2892 -2784 -2276 2488 2920 -2960 3108 -3160 -2996 2216 -2912 -3168 -2972 -2436 -2480 -2816 -2268 -3004 -3168 2912 -2516 2988 2256 -2764 2848 -2628 -2784 -2832 3008 3120 -3068 -2912 -2960 3040 -2572 2820 -2756 2752 2776 2640 2996 -2992 -3108 -2684 2968 -2656 -2952 -2916 -2956 2920 -2944 -2856 -2912 -2896 -2724 2600 3068 -2272 -2936 -2228 -2752 -3168 2336 -2780 -2956 2968 2616 -2492 -2744 -2956 -2344 -3080 2948 -2932 -3108 -2972 -2960 -2912 -3168 -2712 -3080 -3140 3188 -2920 -3068 -2916 -3192 -2824 -2644 2732 -2436 -3076 2340 -2920 2216 -2340 -2636 2596 2368 -2912 -2940 -2296 -2360 -3064 3012 2956 3132 2252 3128 -2256 2564 -2216 -2460 -2396 2912 2920 -2616 2800 2824 -2656 -2956 -2872 -2860 2448 2292 -3208 -2292 -2632 -3204 -2280 -2400 -2912 2868 -2560 -2440 -2920 -2344 -2660 -2956 2608 -3000 2604 2804 2948 -3088 -2920 -2492 -2920 -2872 2956 -2320 -2916 -2960 -2868 -2396 -2816 2692 2268 -3108 -3116 -2744 -2956 -3168 -3208 -3108 -2492 -2888 -2256 -2216 -2916 -2744 -2912 -2872 -2660 -3168 -2740 2876 -2828 -2216 -3108 2768 -2904 -2872 -2452 -3168 -2524 -2356 2816 -3040 3016 -2820 2292 -2436 -2388 2660 -2448 -2704 -2792 2628 -2980 -2480 
187.40/189.39	s SATISFIABLE
187.40/189.39	d NODES 653
187.40/189.39	d CHECKS 2807981
187.40/189.39	c heuristic-cpu: 0.0
187.40/189.39	c prepro-constraint-ccks: 0
187.40/189.39	c prepro-constraint-presenceccks: 0
187.40/189.39	c prepro-cpu: 26.35
187.40/189.39	c prepro-matrix2d-ccks: 2535930
187.40/189.39	c prepro-matrix2d-presenceccks: 1231991
187.40/189.39	c prepro-removed: 221264
187.40/189.39	c search-cpu: 1.3599987
187.40/189.39	c search-nps: 480.14752
187.40/189.39	c total-assgn: 653
187.40/189.39	c total-constraint-ccks: 0
187.40/189.39	c total-constraint-presence-ccks: 0
187.40/189.39	c total-cpu: 28.16
187.40/189.39	c total-matrix2d-ccks: 2807981
187.40/189.39	c total-matrix2d-presence-ccks: 1740596
187.40/189.40	c TOTAL-NODES 653
187.40/189.40	c TOTAL-CPU 28.16

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083453-1247723168/watcher-2083453-1247723168 -o /tmp/evaluation-result-2083453-1247723168/solver-2083453-1247723168 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2083453-1247723168.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 2.13 2.06 3/82 12699
/proc/meminfo: memFree=774488/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5256 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) R 12697 12699 12662 0 -1 4194304 63 0 0 0 0 0 0 0 20 0 1 0 59379615 5382144 48 996147200 4194304 4889804 548682068816 18446744073709551615 227605020169 0 0 4096 0 0 0 0 17 1 0 0
/proc/12699/statm: 1314 48 37 169 0 13 0

[startup+0.0964539 s]
/proc/loadavg: 2.11 2.13 2.06 3/82 12699
/proc/meminfo: memFree=774488/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102453 s]
/proc/loadavg: 2.11 2.13 2.06 3/82 12699
/proc/meminfo: memFree=774488/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30248 s]
/proc/loadavg: 2.11 2.13 2.06 3/82 12699
/proc/meminfo: memFree=774488/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702528 s]
/proc/loadavg: 2.11 2.13 2.06 3/82 12699
/proc/meminfo: memFree=774488/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50262 s]
/proc/loadavg: 2.11 2.13 2.06 3/92 12712
/proc/meminfo: memFree=759816/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=847712 CPUtime=1.45
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 7988 0 1 0 140 5 0 0 18 0 9 0 59379616 868057088 7116 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 211928 7116 2662 9 0 206406 0
[pid=12704/tid=12705] ppid=12699 vsize=847712 CPUtime=0.98
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 3889 0 1 0 96 2 0 0 20 0 9 0 59379617 868057088 7116 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=847712 CPUtime=0.1
/proc/12704/task/12706/stat : 12706 (java) R 12699 12699 12662 0 -1 64 2043 0 0 0 10 0 0 0 16 0 9 0 59379619 868057088 7116 996147200 134512640 134550932 4294955408 18446744073709551615 103733279 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=847712 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59379619 868057088 7116 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=847712 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59379619 868057088 7116 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=847712 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59379622 868057088 7116 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=847712 CPUtime=0.34
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 1358 0 0 0 33 1 0 0 15 0 9 0 59379625 868057088 7116 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=847712 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59379625 868057088 7116 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=847712 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59379625 868057088 7116 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 853068

[startup+3.1018 s]
/proc/loadavg: 2.11 2.13 2.06 4/92 12712
/proc/meminfo: memFree=746824/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=847656 CPUtime=3.04
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 9286 0 1 0 298 6 0 0 18 0 9 0 59379616 867999744 8321 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 211914 8321 2625 9 0 206392 0
[pid=12704/tid=12705] ppid=12699 vsize=847656 CPUtime=2.42
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 3914 0 1 0 239 3 0 0 25 0 9 0 59379617 867999744 8321 996147200 134512640 134550932 4294955408 18446744073709551615 4125182156 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=847656 CPUtime=0.26
/proc/12704/task/12706/stat : 12706 (java) S 12699 12699 12662 0 -1 64 3314 0 0 0 25 1 0 0 16 0 9 0 59379619 867999744 8321 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=847656 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59379619 867999744 8321 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=847656 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59379619 867999744 8321 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=847656 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59379622 867999744 8321 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=847656 CPUtime=0.34
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 1360 0 0 0 33 1 0 0 15 0 9 0 59379625 867999744 8321 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=847656 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59379625 867999744 8321 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=847656 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59379625 867999744 8321 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 853012

[startup+6.30219 s]
/proc/loadavg: 2.10 2.13 2.06 3/93 12713
/proc/meminfo: memFree=734656/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=851188 CPUtime=6.21
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 14042 0 1 0 611 10 0 0 18 0 10 0 59379616 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 212797 11642 2627 9 0 207275 0
[pid=12704/tid=12705] ppid=12699 vsize=851188 CPUtime=4.74
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 4114 0 1 0 471 3 0 0 25 0 10 0 59379617 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4126405320 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=851188 CPUtime=0.73
/proc/12704/task/12706/stat : 12706 (java) S 12699 12699 12662 0 -1 64 6938 0 0 0 70 3 0 0 16 0 10 0 59379619 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=851188 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59379619 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=851188 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59379619 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=851188 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59379622 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=851188 CPUtime=0.71
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 2288 0 0 0 69 2 0 0 16 0 10 0 59379625 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=851188 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59379625 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=851188 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59379625 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12713] ppid=12699 vsize=851188 CPUtime=0
/proc/12704/task/12713/stat : 12713 (java) S 12699 12699 12662 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59379955 871616512 11642 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 856544

[startup+12.7019 s]
/proc/loadavg: 2.10 2.13 2.05 5/93 12713
/proc/meminfo: memFree=722112/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=851248 CPUtime=12.54
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 17178 0 1 0 1239 15 0 0 18 0 10 0 59379616 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 212812 14328 2633 9 0 207290 0
[pid=12704/tid=12705] ppid=12699 vsize=851248 CPUtime=10.4
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 4526 0 1 0 1035 5 0 0 25 0 10 0 59379617 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4127677416 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=851248 CPUtime=1.16
/proc/12704/task/12706/stat : 12706 (java) S 12699 12699 12662 0 -1 64 9500 0 0 0 111 5 0 0 16 0 10 0 59379619 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59379622 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=851248 CPUtime=0.95
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 2447 0 0 0 92 3 0 0 15 0 10 0 59379625 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59379625 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59379625 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12713] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12713/stat : 12713 (java) S 12699 12699 12662 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59379955 871677952 14328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 856604

[startup+25.5024 s]
/proc/loadavg: 2.07 2.12 2.05 3/93 12713
/proc/meminfo: memFree=680640/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=851248 CPUtime=25.2
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 27712 0 1 0 2495 25 0 0 18 0 10 0 59379616 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 212812 24843 2633 9 0 207290 0
[pid=12704/tid=12705] ppid=12699 vsize=851248 CPUtime=21.7
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 5432 0 1 0 2161 9 0 0 25 0 10 0 59379617 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4128258783 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=851248 CPUtime=1.99
/proc/12704/task/12706/stat : 12706 (java) S 12699 12699 12662 0 -1 64 18928 0 0 0 190 9 0 0 16 0 10 0 59379619 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59379622 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=851248 CPUtime=1.47
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 2647 0 0 0 143 4 0 0 15 0 10 0 59379625 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59379625 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59379625 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12713] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12713/stat : 12713 (java) S 12699 12699 12662 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59379955 871677952 24843 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 856604

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

[pid=12704/tid=12709] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59379622 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=851248 CPUtime=5.63
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 3989 0 0 0 548 15 0 0 16 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12714] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12714/stat : 12714 (java) S 12699 12699 12662 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 59395733 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.61
Current children cumulated vsize (KiB) 856604

[startup+179.102 s]
/proc/loadavg: 2.11 2.12 2.06 3/93 12714
/proc/meminfo: memFree=70648/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=851248 CPUtime=177.3
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 179117 0 1 0 17584 146 0 0 18 0 10 0 59379616 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 212812 176188 2634 9 0 207290 0
[pid=12704/tid=12705] ppid=12699 vsize=851248 CPUtime=160.29
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 12395 0 1 0 15984 45 0 0 25 0 10 0 59379617 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4134469191 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=851248 CPUtime=11.36
/proc/12704/task/12706/stat : 12706 (java) S 12699 12699 12662 0 -1 64 162026 0 0 0 1051 85 0 0 16 0 10 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 8 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59379622 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=851248 CPUtime=5.63
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 3989 0 0 0 548 15 0 0 16 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12714] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12714/stat : 12714 (java) S 12699 12699 12662 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 59395733 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.3
Current children cumulated vsize (KiB) 856604

[startup+185.502 s]
/proc/loadavg: 2.10 2.11 2.06 3/93 12714
/proc/meminfo: memFree=70648/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=851248 CPUtime=183.64
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 179117 0 1 0 18218 146 0 0 18 0 10 0 59379616 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 212812 176188 2634 9 0 207290 0
[pid=12704/tid=12705] ppid=12699 vsize=851248 CPUtime=166.62
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 12395 0 1 0 16617 45 0 0 25 0 10 0 59379617 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4128651072 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=851248 CPUtime=11.36
/proc/12704/task/12706/stat : 12706 (java) S 12699 12699 12662 0 -1 64 162026 0 0 0 1051 85 0 0 16 0 10 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 8 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59379622 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=851248 CPUtime=5.63
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 3989 0 0 0 548 15 0 0 16 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12714] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12714/stat : 12714 (java) S 12699 12699 12662 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 59395733 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 183.64
Current children cumulated vsize (KiB) 856604

[startup+187.102 s]
/proc/loadavg: 2.10 2.11 2.06 3/93 12714
/proc/meminfo: memFree=70648/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=851248 CPUtime=185.22
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 179117 0 1 0 18376 146 0 0 18 0 10 0 59379616 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 212812 176188 2634 9 0 207290 0
[pid=12704/tid=12705] ppid=12699 vsize=851248 CPUtime=168.21
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 12395 0 1 0 16776 45 0 0 25 0 10 0 59379617 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4128070368 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=851248 CPUtime=11.36
/proc/12704/task/12706/stat : 12706 (java) S 12699 12699 12662 0 -1 64 162026 0 0 0 1051 85 0 0 16 0 10 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 8 0 0 0 0 0 0 0 16 0 10 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59379622 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=851248 CPUtime=5.63
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 3989 0 0 0 548 15 0 0 16 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12714] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12714/stat : 12714 (java) S 12699 12699 12662 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 59395733 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 185.22
Current children cumulated vsize (KiB) 856604

[startup+188.703 s]
/proc/loadavg: 2.10 2.11 2.06 3/92 12714
/proc/meminfo: memFree=70648/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=851248 CPUtime=186.8
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 179120 0 1 0 18534 146 0 0 18 0 9 0 59379616 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 212812 176188 2634 9 0 207290 0
[pid=12704/tid=12705] ppid=12699 vsize=851248 CPUtime=169.68
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 12397 0 1 0 16923 45 0 0 25 0 9 0 59379617 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4128068536 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=851248 CPUtime=11.46
/proc/12704/task/12706/stat : 12706 (java) S 12699 12699 12662 0 -1 64 162026 0 0 0 1061 85 0 0 16 0 9 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 59379619 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59379622 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=851248 CPUtime=5.64
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 3989 0 0 0 549 15 0 0 15 0 9 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59379625 871677952 176188 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 186.8
Current children cumulated vsize (KiB) 856604

[startup+189.103 s]
/proc/loadavg: 2.09 2.11 2.06 3/92 12714
/proc/meminfo: memFree=70648/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=851248 CPUtime=187.2
/proc/12704/stat : 12704 (java) S 12699 12699 12662 0 -1 0 179122 0 1 0 18574 146 0 0 18 0 9 0 59379616 871677952 176190 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 212812 176190 2636 9 0 207290 0
[pid=12704/tid=12705] ppid=12699 vsize=851248 CPUtime=170.08
/proc/12704/task/12705/stat : 12705 (java) R 12699 12699 12662 0 -1 64 12397 0 1 0 16963 45 0 0 25 0 9 0 59379617 871677952 176190 996147200 134512640 134550932 4294955408 18446744073709551615 4127820553 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12706] ppid=12699 vsize=851248 CPUtime=11.46
/proc/12704/task/12706/stat : 12706 (java) S 12699 12699 12662 0 -1 64 162026 0 0 0 1061 85 0 0 16 0 9 0 59379619 871677952 176190 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12707] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12707/stat : 12707 (java) S 12699 12699 12662 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59379619 871677952 176190 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12708] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12708/stat : 12708 (java) S 12699 12699 12662 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 59379619 871677952 176190 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12709] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12709/stat : 12709 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59379622 871677952 176190 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12710] ppid=12699 vsize=851248 CPUtime=5.64
/proc/12704/task/12710/stat : 12710 (java) S 12699 12699 12662 0 -1 64 3991 0 0 0 549 15 0 0 15 0 9 0 59379625 871677952 176190 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12711] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12711/stat : 12711 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59379625 871677952 176190 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12704/tid=12712] ppid=12699 vsize=851248 CPUtime=0
/proc/12704/task/12712/stat : 12712 (java) S 12699 12699 12662 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59379625 871677952 176190 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 187.2
Current children cumulated vsize (KiB) 856604

[startup+189.503 s]
/proc/loadavg: 2.09 2.11 2.06 3/92 12714
/proc/meminfo: memFree=70648/2055920 swapFree=4192812/4192956
[pid=12699] ppid=12697 vsize=5356 CPUtime=0
/proc/12699/stat : 12699 (concrete.sh) S 12697 12699 12662 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59379615 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12699/statm: 1339 244 201 169 0 50 0
[pid=12704] ppid=12699 vsize=0 CPUtime=187.55
/proc/12704/stat : 12704 (java) Z 12699 12699 12662 0 -1 12 179131 0 1 0 18603 152 0 0 16 0 2 0 59379616 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12704/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 187.55
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 189.553
CPU time (s): 187.621
CPU user time (s): 186.041
CPU system time (s): 1.58076
CPU usage (%): 98.9808
Max. virtual memory (cumulated for all children) (KiB): 859112

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

runsolver used 0.232964 second user time and 0.699893 second system time

The end

Launcher Data 

Begin job on node66 at 2009-07-16 07:46:08
IDJOB=2083453
IDBENCH=57818
IDSOLVER=735
FILE ID=node66/2083453-1247723168
PBS_JOBID= 9521485
Free space on /tmp= 66256 MiB

SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/fapp/fapp33/normalized-fapp33-0650-10.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083453-1247723168/watcher-2083453-1247723168 -o /tmp/evaluation-result-2083453-1247723168/solver-2083453-1247723168 -C 1800 -W 2000 -M 900  HOME/concrete.sh -c HOME/instance-2083453-1247723168.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 68a6e67c26555a55d1774467340b6ea2
RANDOM SEED=387084717

node66.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.214
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.214
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:        774968 kB
Buffers:         72280 kB
Cached:         368360 kB
SwapCached:          0 kB
Active:         791904 kB
Inactive:       408460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        774968 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2652 kB
Writeback:           0 kB
Mapped:         780180 kB
Slab:            64332 kB
Committed_AS:  1256940 kB
PageTables:       3244 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= 66256 MiB
End job on node66 at 2009-07-16 07:49:17