Trace number 2083684

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 333.35 336.54

DiagnosticValue
CHECKS19901700
NODES558

General information on the benchmark

Namecsp/fapp/fapp32/
normalized-fapp32-0550-6.xml
MD5SUM35433b7323a58295c09c0516097c5775
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 benchmark33.8249
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of constraints9461
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9461
Global constraints used (with number of constraints)

Solver Data 

273.91/276.50	c CPU-LOAD 255.62
273.91/276.50	c LOADED 550 V (998 E), 4718 PredicateConstraint, 1859 ExtensionConstraint2D, arity 2, 255.62 cpu
333.15/336.36	v -3780 2452 2148 -3452 3980 -2808 -3512 -2804 -2832 -2224 -2820 3160 -4100 2580 -2848 -2228 3808 -3324 -3692 -2624 -2892 3572 -3976 2168 -3400 3220 -4060 2984 -3848 2208 -4084 2836 3376 2788 -3472 -2172 -3028 3180 2732 -2660 3824 -2968 -2772 -4060 -2172 2832 3644 -2232 3448 -2268 -4100 2616 3920 -2112 2748 2808 3652 4060 3772 -3400 2880 -2948 3812 -3920 -3040 -2472 3432 2848 -2512 -2432 -2620 -2664 2472 -2264 -2188 -2452 -2780 -2676 2956 2132 3656 3220 2440 -2152 -2268 -2292 -3784 -2712 -3328 2108 -3400 -3888 3084 -2660 -2180 -3360 3068 -2472 3096 -2884 -2964 2876 -2432 -2780 3916 -3968 -2660 -4088 -2184 -3996 3476 3740 -2844 -2224 4052 2144 3028 -3892 -2276 -3400 -3360 2816 2148 4060 -3460 3772 -2660 -2660 -2844 2132 -3896 3032 2172 -2144 2108 2848 -3400 2292 -2308 -2624 3596 -2884 -2224 2764 -2620 -2224 -3776 -3980 -4040 -4076 -2632 -2660 2140 -2176 2764 4016 2808 2784 3652 -3940 -2636 -3732 2936 2164 -3064 -2172 -3400 2260 2932 3468 -4036 3588 -3648 -2664 -2772 -3360 -3360 -3784 3508 -2764 -3736 -2160 2744 -2836 -2424 2660 3856 -3940 3180 -3360 -4060 -2808 3224 -2620 -2856 -2884 3200 3508 -3360 2140 3908 -2844 -2844 -4100 -2264 2572 -3284 2124 -2844 2744 2832 -3284 2580 -2264 -3612 -3288 2872 2492 -2332 -2148 -3816 -4076 -2308 -4100 -2264 2232 -3548 3948 3100 -4060 -3260 -3548 3280 2132 -4060 -2620 -2184 3148 2208 3488 2992 2996 -3696 3684 -2844 3096 -3324 -2884 -3972 2764 -3732 -3852 3440 3696 3808 -2184 -2480 -2176 3280 -2872 -3400 -2620 2648 -3360 3072 -2132 -2620 3928 2940 3824 3376 -2108 -3360 3640 -3324 2712 -3136 -2432 -3284 2520 -3416 -2788 -2884 -2512 2268 -2884 2108 -2272 -3552 2432 -3856 -3400 -4100 3372 -4060 -2480 -4076 2136 4080 3876 2852 -2824 2376 -2272 -2820 3136 4048 -3360 4012 -2844 -3080 -2652 3284 -4100 3008 -2272 4080 -2160 2520 -3400 -2620 3900 2996 2956 2496 -3328 2688 -3848 -2232 -3400 3136 2172 2980 3220 -3360 -2656 2896 -2748 -2412 -2188 -3360 -2792 2384 2988 -3548 -2804 -2308 -2620 3588 2784 -2232 3024 -2188 -2264 3316 -2248 4100 -2244 -2268 -2884 -3284 -3968 -3400 -3320 -3780 -2172 -2312 -2884 3436 -3848 3936 -2664 -2268 2804 -3124 2152 -2224 2164 2612 2708 -2148 2672 -2264 -3400 3688 3324 4016 -3400 -2840 -3932 3492 3028 -2148 -2264 -2224 -3400 2732 -2228 -2120 3492 3240 2784 -3356 4044 -3324 4056 -2416 2132 2612 -2660 3140 -2540 3836 -2228 -3888 -2844 -3400 -4056 -3896 3412 -2224 -2272 3696 -3816 -2300 -2748 2168 -2752 2904 -3288 3188 3096 -3360 3120 -2876 -3360 2472 -2844 2132 -2848 -3480 3000 3024 4040 2252 3068 -3848 -2916 -3360 2768 3900 -4060 4052 -2832 -3692 -2120 2648 -2804 -2268 -2808 -3360 3336 -3048 2228 2816 -2264 -3184 3940 -3400 2972 -4036 3776 2144 3860 -2540 -2620 -2268 -2264 -4096 4060 -2224 -2272 3180 -3820 3332 -2884 3452 -2688 -2264 -4100 2192 -3852 -2472 3032 -2624 -2648 -2392 -2876 -2872 2592 2608 3140 -2284 3796 -2148 4100 -3360 4012 -4036 4020 2480 -2884 3636 -2236 -2844 2944 2924 -3996 2988 -2652 2208 -2856 3928 -2764 -2660 -4056 3960 -2224 -3360 -2612 3452 2136 -3400 4036 2124 3008 -2148 -2456 -3400 3420 2804 -3360 -4036 3656 3144 -3600 -2224 3880 -2180 3184 
333.15/336.36	s SATISFIABLE
333.15/336.36	d NODES 558
333.15/336.36	d CHECKS 19901659
333.15/336.36	c heuristic-cpu: 0.0
333.15/336.36	c prepro-constraint-ccks: 15098745
333.15/336.36	c prepro-constraint-presenceccks: 1682385
333.15/336.36	c prepro-cpu: 54.000004
333.15/336.36	c prepro-matrix2d-ccks: 4554699
333.15/336.36	c prepro-matrix2d-presenceccks: 1289776
333.15/336.36	c prepro-removed: 441725
333.15/336.36	c search-cpu: 1.4399986
333.15/336.36	c search-nps: 387.50037
333.15/336.36	c total-assgn: 558
333.15/336.36	c total-constraint-ccks: 15274212
333.15/336.36	c total-constraint-presence-ccks: 1990342
333.15/336.36	c total-cpu: 55.86
333.15/336.36	c total-matrix2d-ccks: 4627447
333.15/336.36	c total-matrix2d-presence-ccks: 1414583
333.15/336.36	c TOTAL-NODES 558
333.15/336.36	c TOTAL-CPU 55.86

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-2083684-1247723580/watcher-2083684-1247723580 -o /tmp/evaluation-result-2083684-1247723580/solver-2083684-1247723580 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2083684-1247723580.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: 1.95 2.18 2.09 4/72 15267
/proc/meminfo: memFree=1367680/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 299 127 0 0 0 0 0 0 21 0 1 0 59424061 5484544 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824298578 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/15267/statm: 1339 238 197 169 0 50 0
[pid=15269] ppid=15267 vsize=5356 CPUtime=0
/proc/15269/stat : 15269 (concrete.sh) R 15267 15267 15230 0 -1 4194368 20 0 0 0 0 0 0 0 23 0 1 0 59424062 5484544 238 996147200 4194304 4889804 548682068816 18446744073709551615 210823704967 0 0 4096 65538 0 0 0 17 1 0 0
/proc/15269/statm: 1339 238 197 169 0 50 0

[startup+0.0749141 s]
/proc/loadavg: 1.95 2.18 2.09 4/72 15267
/proc/meminfo: memFree=1367680/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101912 s]
/proc/loadavg: 1.95 2.18 2.09 4/72 15267
/proc/meminfo: memFree=1367680/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301935 s]
/proc/loadavg: 1.95 2.18 2.09 4/72 15267
/proc/meminfo: memFree=1367680/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701984 s]
/proc/loadavg: 1.95 2.18 2.09 4/72 15267
/proc/meminfo: memFree=1367680/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50208 s]
/proc/loadavg: 1.96 2.18 2.09 4/82 15280
/proc/meminfo: memFree=1352624/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=847704 CPUtime=1.46
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 8171 0 1 0 140 6 0 0 18 0 9 0 59424062 868048896 7167 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 211926 7167 2624 9 0 206404 0
[pid=15272/tid=15273] ppid=15267 vsize=847704 CPUtime=0.96
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 3893 0 1 0 93 3 0 0 23 0 9 0 59424064 868048896 7167 996147200 134512640 134550932 4294955408 18446744073709551615 4125643232 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=847704 CPUtime=0.12
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 2152 0 0 0 12 0 0 0 16 0 9 0 59424065 868048896 7167 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=847704 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59424065 868048896 7167 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=847704 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59424065 868048896 7167 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=847704 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59424068 868048896 7167 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=847704 CPUtime=0.35
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 1426 0 0 0 34 1 0 0 15 0 9 0 59424071 868048896 7167 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=847704 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 59424071 868048896 7167 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=847704 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 59424071 868048896 7167 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 853060

[startup+3.10227 s]
/proc/loadavg: 1.96 2.18 2.09 3/82 15280
/proc/meminfo: memFree=1346688/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=847688 CPUtime=3.05
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 9514 0 1 0 298 7 0 0 18 0 9 0 59424062 868032512 8484 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 211922 8484 2625 9 0 206400 0
[pid=15272/tid=15273] ppid=15267 vsize=847688 CPUtime=2.42
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 3919 0 1 0 239 3 0 0 25 0 9 0 59424064 868032512 8484 996147200 134512640 134550932 4294955408 18446744073709551615 4125949485 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=847688 CPUtime=0.25
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 3467 0 0 0 24 1 0 0 16 0 9 0 59424065 868032512 8484 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=847688 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59424065 868032512 8484 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=847688 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59424065 868032512 8484 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=847688 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59424068 868032512 8484 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=847688 CPUtime=0.35
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 1428 0 0 0 34 1 0 0 15 0 9 0 59424071 868032512 8484 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=847688 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 59424071 868032512 8484 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=847688 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 59424071 868032512 8484 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 853044

[startup+6.30166 s]
/proc/loadavg: 1.96 2.18 2.09 3/83 15281
/proc/meminfo: memFree=1333752/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=851092 CPUtime=6.21
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 14062 0 1 0 611 10 0 0 18 0 10 0 59424062 871518208 11589 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 212773 11589 2629 9 0 207251 0
[pid=15272/tid=15273] ppid=15267 vsize=851092 CPUtime=4.81
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 4098 0 1 0 477 4 0 0 25 0 10 0 59424064 871518208 11589 996147200 134512640 134550932 4294955408 18446744073709551615 4126765452 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=851092 CPUtime=0.66
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 6908 0 0 0 64 2 0 0 16 0 10 0 59424065 871518208 11589 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=851092 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59424065 871518208 11589 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=851092 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59424065 871518208 11589 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=851092 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59424068 871518208 11589 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=851092 CPUtime=0.71
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 2352 0 0 0 69 2 0 0 15 0 10 0 59424071 871518208 11589 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=851092 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59424071 871518208 11589 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=851092 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 59424071 871518208 11589 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15281] ppid=15267 vsize=851092 CPUtime=0
/proc/15272/task/15281/stat : 15281 (java) S 15267 15267 15230 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59424430 871518208 11589 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) 856448

[startup+12.7014 s]
/proc/loadavg: 1.96 2.17 2.09 3/83 15281
/proc/meminfo: memFree=1318648/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=851168 CPUtime=12.55
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 18302 0 1 0 1240 15 0 0 18 0 10 0 59424062 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 212792 15047 2633 9 0 207270 0
[pid=15272/tid=15273] ppid=15267 vsize=851168 CPUtime=10.64
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 4437 0 1 0 1059 5 0 0 25 0 10 0 59424064 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4127685850 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=851168 CPUtime=1.08
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 10752 0 0 0 103 5 0 0 16 0 10 0 59424065 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59424068 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=851168 CPUtime=0.79
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 2406 0 0 0 77 2 0 0 15 0 10 0 59424071 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59424071 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 59424071 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15281] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15281/stat : 15281 (java) S 15267 15267 15230 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59424430 871596032 15047 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 856524

[startup+25.503 s]
/proc/loadavg: 1.97 2.17 2.09 3/83 15281
/proc/meminfo: memFree=1287928/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=851168 CPUtime=25.23
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 25793 0 1 0 2503 20 0 0 18 0 10 0 59424062 871596032 22517 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 212792 22517 2633 9 0 207270 0
[pid=15272/tid=15273] ppid=15267 vsize=851168 CPUtime=22.54
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 5134 0 1 0 2248 6 0 0 25 0 10 0 59424064 871596032 22517 996147200 134512640 134550932 4294955408 18446744073709551615 4127883403 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=851168 CPUtime=1.71
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 17468 0 0 0 162 9 0 0 16 0 10 0 59424065 871596032 22517 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 22517 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 22517 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59424068 871596032 22517 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=851168 CPUtime=0.94
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 2484 0 0 0 91 3 0 0 15 0 10 0 59424071 871596032 22517 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59424071 871596032 22517 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 59424071 871596032 22517 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15281] ppid=15267 vsize=851168 CPUtime=0

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

[pid=15272/tid=15277] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59424068 871596032 180988 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=851168 CPUtime=4.26
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 3266 0 0 0 415 11 0 0 15 0 10 0 59424071 871596032 180988 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59424071 871596032 180988 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 59424071 871596032 180988 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15282] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15282/stat : 15282 (java) S 15267 15267 15230 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59451890 871596032 180988 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 316.9
Current children cumulated vsize (KiB) 856524

[startup+326.302 s]
/proc/loadavg: 2.00 2.06 2.06 3/83 15282
/proc/meminfo: memFree=621808/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=851168 CPUtime=323.24
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 184382 0 1 0 32200 124 0 0 18 0 10 0 59424062 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 212792 181028 2634 9 0 207270 0
[pid=15272/tid=15273] ppid=15267 vsize=851168 CPUtime=301.74
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 12441 0 1 0 30131 43 0 0 25 0 10 0 59424064 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4127709351 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=851168 CPUtime=17.13
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 167926 0 0 0 1646 67 0 0 16 0 10 0 59424065 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 8 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59424068 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=851168 CPUtime=4.33
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 3306 0 0 0 422 11 0 0 15 0 10 0 59424071 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59424071 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 59424071 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15282] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15282/stat : 15282 (java) S 15267 15267 15230 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59451890 871596032 181028 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.24
Current children cumulated vsize (KiB) 856524

[startup+332.703 s]
/proc/loadavg: 2.00 2.06 2.06 3/83 15282
/proc/meminfo: memFree=620912/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=851168 CPUtime=329.58
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 184419 0 1 0 32834 124 0 0 18 0 10 0 59424062 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 212792 181064 2634 9 0 207270 0
[pid=15272/tid=15273] ppid=15267 vsize=851168 CPUtime=307.96
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 12442 0 1 0 30753 43 0 0 25 0 10 0 59424064 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4129807648 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=851168 CPUtime=17.18
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 167926 0 0 0 1651 67 0 0 16 0 10 0 59424065 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 8 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59424068 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=851168 CPUtime=4.41
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 3342 0 0 0 429 12 0 0 15 0 10 0 59424071 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59424071 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 59424071 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15282] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15282/stat : 15282 (java) S 15267 15267 15230 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59451890 871596032 181064 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 329.58
Current children cumulated vsize (KiB) 856524

[startup+334.303 s]
/proc/loadavg: 2.00 2.06 2.06 3/83 15282
/proc/meminfo: memFree=620144/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=851168 CPUtime=331.17
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 184429 0 1 0 32993 124 0 0 18 0 10 0 59424062 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 212792 181074 2634 9 0 207270 0
[pid=15272/tid=15273] ppid=15267 vsize=851168 CPUtime=309.53
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 12442 0 1 0 30910 43 0 0 25 0 10 0 59424064 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4129791918 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=851168 CPUtime=17.18
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 167926 0 0 0 1651 67 0 0 16 0 10 0 59424065 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 8 0 0 0 0 0 0 0 16 0 10 0 59424065 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59424068 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=851168 CPUtime=4.43
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 3352 0 0 0 431 12 0 0 15 0 10 0 59424071 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59424071 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 59424071 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15282] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15282/stat : 15282 (java) S 15267 15267 15230 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59451890 871596032 181074 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 331.17
Current children cumulated vsize (KiB) 856524

[startup+335.902 s]
/proc/loadavg: 2.00 2.06 2.06 3/82 15282
/proc/meminfo: memFree=619824/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=851168 CPUtime=332.75
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 184452 0 1 0 33150 125 0 0 18 0 9 0 59424062 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 212792 181095 2634 9 0 207270 0
[pid=15272/tid=15273] ppid=15267 vsize=851168 CPUtime=310.97
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 12444 0 1 0 31054 43 0 0 25 0 9 0 59424064 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4129722202 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=851168 CPUtime=17.28
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 167926 0 0 0 1661 67 0 0 16 0 9 0 59424065 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59424065 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 59424065 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59424068 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=851168 CPUtime=4.47
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 3372 0 0 0 435 12 0 0 15 0 9 0 59424071 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 59424071 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 59424071 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 332.75
Current children cumulated vsize (KiB) 856524

[startup+336.302 s]
/proc/loadavg: 2.00 2.06 2.06 3/82 15282
/proc/meminfo: memFree=619824/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=851168 CPUtime=333.15
/proc/15272/stat : 15272 (java) S 15267 15267 15230 0 -1 0 184453 0 1 0 33190 125 0 0 18 0 9 0 59424062 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 212792 181095 2634 9 0 207270 0
[pid=15272/tid=15273] ppid=15267 vsize=851168 CPUtime=311.24
/proc/15272/task/15273/stat : 15273 (java) R 15267 15267 15230 0 -1 64 12445 0 1 0 31081 43 0 0 25 0 9 0 59424064 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4131678577 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15274] ppid=15267 vsize=851168 CPUtime=17.41
/proc/15272/task/15274/stat : 15274 (java) S 15267 15267 15230 0 -1 64 167926 0 0 0 1674 67 0 0 16 0 9 0 59424065 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15275] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15275/stat : 15275 (java) S 15267 15267 15230 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59424065 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15276] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15276/stat : 15276 (java) S 15267 15267 15230 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 59424065 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15277] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15277/stat : 15277 (java) S 15267 15267 15230 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59424068 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15278] ppid=15267 vsize=851168 CPUtime=4.47
/proc/15272/task/15278/stat : 15278 (java) S 15267 15267 15230 0 -1 64 3372 0 0 0 435 12 0 0 15 0 9 0 59424071 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15279] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15279/stat : 15279 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 59424071 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15272/tid=15280] ppid=15267 vsize=851168 CPUtime=0
/proc/15272/task/15280/stat : 15280 (java) S 15267 15267 15230 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 59424071 871596032 181095 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 333.15
Current children cumulated vsize (KiB) 856524

[startup+336.502 s]
/proc/loadavg: 2.00 2.06 2.06 3/75 15283
/proc/meminfo: memFree=1135024/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15265 vsize=5356 CPUtime=0
/proc/15267/stat : 15267 (concrete.sh) S 15265 15267 15230 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59424061 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15267/statm: 1339 244 201 169 0 50 0
[pid=15272] ppid=15267 vsize=0 CPUtime=333.3
/proc/15272/stat : 15272 (java) Z 15267 15267 15230 0 -1 12 184465 0 1 0 33197 133 0 0 16 0 2 0 59424062 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15272/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 333.3
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 336.54
CPU time (s): 333.35
CPU user time (s): 331.98
CPU system time (s): 1.37079
CPU usage (%): 99.0523
Max. virtual memory (cumulated for all children) (KiB): 858100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 331.98
system time used= 1.37079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185107
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= 26783
involuntary context switches= 33700

runsolver used 0.45393 second user time and 1.11583 second system time

The end

Launcher Data 

Begin job on node33 at 2009-07-16 07:53:01
IDJOB=2083684
IDBENCH=57898
IDSOLVER=735
FILE ID=node33/2083684-1247723580
PBS_JOBID= 9521498
Free space on /tmp= 66416 MiB

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

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

MD5SUM BENCH= 35433b7323a58295c09c0516097c5775
RANDOM SEED=1474071773

node33.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.229
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.229
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:       1368160 kB
Buffers:         79676 kB
Cached:         275828 kB
SwapCached:          0 kB
Active:         284820 kB
Inactive:       316192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1368160 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2756 kB
Writeback:           0 kB
Mapped:         257080 kB
Slab:            71456 kB
Committed_AS:   807628 kB
PageTables:       2368 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= 66412 MiB
End job on node33 at 2009-07-16 07:58:37