Trace number 1086878

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete + CSP4J - Tabu Engine 2008-05-30SAT 457.722 461.689

DiagnosticValue
CHECKS152098000
NODES150918

General information on the benchmark

Namecsp/fapp/fapp32/
normalized-fapp32-0550-8.xml
MD5SUMcfa9ba3026b79df8ffeb8caaf7a20825
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 benchmark35.1497
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 (download as text)

345.73/348.78	c Sat Jul 05 09:13:58 CEST 2008 concrete.relationconverter.RelationManager strongOptimizeMemory
345.73/348.78	c WARNING: Could not free more memory in relations
346.53/349.52	c CPU-LOAD 326.34
346.53/349.52	c LOADED 550 V (998 E), 4886 PredicateConstraint, 1035 ExtensionConstraint2D, arity 2, 326.34 cpu
457.56/461.54	v -3788 2460 2136 3452 3976 -2812 -3516 -2804 -2840 -2224 -2824 3160 -4092 2588 -2836 -2224 3808 -3320 -3676 -2620 -2888 3572 -3852 2156 -3400 3228 -4056 2980 -3860 2196 -4088 -2844 3372 2788 -3448 -2160 -3036 3180 2736 -2664 3836 2968 -2776 -4048 -2160 2836 3660 -2224 3456 -2264 -4096 2616 3928 -2108 -2744 -2876 3664 4056 -3780 -3392 2880 2956 3812 3908 -3048 -2472 3408 -2852 -2512 -2432 2620 -2660 2472 -2264 -2156 -2456 -2784 -2676 2964 2132 3648 3220 2440 -2148 -2268 -2292 -3796 -2712 -3328 2140 -3400 -3900 3092 -2660 2168 -3360 3076 -2472 3104 -2880 -2964 2884 2432 -2784 3916 -3964 -2664 -4076 -2148 -3992 3432 3732 -2840 -2224 4048 2136 3040 3796 -2272 -3392 -3360 2820 2136 4056 -3436 3780 -2660 -2660 -2844 2132 -3900 3032 2172 -2108 2108 2852 -3400 2288 -2316 -2624 3612 -2884 -2224 2768 -2624 -2224 -3776 3976 -4064 -4072 -2636 -2664 2108 -2164 2764 4012 2808 2780 3636 -3936 -2636 -3740 2940 2164 -3056 -2164 -3392 2248 2940 3460 -4032 3600 3660 -2660 -2776 3360 -3356 -3796 3496 -2768 -3736 -2148 2748 -2840 -2424 2668 3852 -3936 3188 -3352 -4060 -2808 3224 -2624 -2860 -2884 3200 3500 -3356 2208 3904 -2840 -2844 4100 -2264 2576 -3284 2124 -2844 2748 2832 -3280 2588 -2264 -3612 -3288 2872 2496 -2328 2180 3736 -4072 -2308 -4056 -2264 2236 -3536 3944 3092 -4056 -3260 -3560 3284 2120 3996 -2624 -2172 3144 2196 3496 2992 3000 -3692 3700 -2844 3092 -3316 -2884 -3968 2768 -3740 -3852 3436 3696 3800 -2176 -2488 -2164 3276 2876 -3400 -2624 2648 -3356 3072 -2120 -2620 3924 2944 3836 3364 -2108 -3356 3656 -3324 2712 -3132 -2432 -3276 2528 -3404 -2788 -2884 -2512 2276 -2884 2108 -2264 -3556 2424 -3860 3396 4008 3372 -4052 -2488 -4060 2124 -4100 3876 2848 -2820 2376 -2268 -2824 3144 4036 -3352 4008 -2844 -3084 -2656 3284 3984 3016 -2276 -4024 -2148 2528 3396 -2628 3900 3004 2960 2496 -3324 2688 -3840 -2228 -3400 3144 2172 2984 3232 -3352 -2656 2900 -2748 -2420 -2176 -3360 -2792 2384 2996 -3552 -2808 2308 -2620 3592 2788 -2228 3020 -2176 -2264 3292 -2236 4096 -2248 -2264 -2880 -3280 -3964 -3400 -3324 -3772 -2160 -2316 -2884 3472 3848 3812 -2664 -2272 2808 -3132 2152 -2224 2160 2600 2704 -2116 2672 -2264 -3400 3700 3324 4012 -3396 -2840 -3928 3508 3036 -2148 -2268 -2224 3396 2736 -2228 -2108 3496 3236 2788 -3332 4048 3320 4052 -2416 -2124 2616 -2660 3140 -2548 3920 -2224 -3892 -2844 -3400 4052 -3892 3412 -2228 -2276 3688 -3816 -2288 2748 2156 -2752 2908 -3284 3184 3104 -3360 3124 -2876 -3360 2472 -2844 2120 -2848 -3476 3008 3016 4060 2252 3080 3852 -2916 -3356 2768 3896 -3944 4048 -2832 -3704 -2108 2648 -2808 -2268 2812 -3360 3332 -3056 2232 2824 2264 -3184 3936 -3396 2980 -4032 3776 2132 3860 -2548 -2620 -2268 -2264 3940 -4016 -2224 -2268 3192 -3828 3332 -2884 3456 -2688 -2264 -4096 2192 -3836 -2472 3032 -2620 2652 -2464 -2880 -2880 2596 2612 3132 -2288 -3880 -2148 4096 3356 4008 -4032 4036 2480 -2884 3652 -2232 -2844 2948 2924 -3992 2996 -2640 2196 -2864 3924 -2768 -2664 3900 3968 2224 -3360 -2616 3468 2124 -3400 -4100 2120 3008 -2148 -2456 -3396 3396 2808 -3360 -4032 3652 3144 3616 -2224 3868 -2148 3184 
457.56/461.54	s SATISFIABLE
457.56/461.54	d NODES 150918
457.56/461.54	d CHECKS 152098200
457.56/461.54	c gac3-effective-revisions: 4739
457.56/461.54	c gac3-useless-revisions: 38769
457.56/461.54	c prepro-constraint-ccks: 15811170
457.56/461.54	c prepro-constraint-presenceccks: 1362132
457.56/461.54	c prepro-cpu: 7.89
457.56/461.54	c prepro-matrix2d-ccks: 4240168
457.56/461.54	c prepro-matrix2d-presenceccks: 801054
457.56/461.54	c prepro-removed: 439414
457.56/461.54	c total-assgn: 150918
457.56/461.54	c total-constraint-ccks: 147741273
457.56/461.54	c total-constraint-presence-ccks: 1672214
457.56/461.54	c total-cpu: 106.48
457.56/461.54	c total-matrix2d-ccks: 4356927
457.56/461.54	c total-matrix2d-presence-ccks: 881166
457.56/461.54	c tuples: 0
457.56/461.54	c tuples-collisions: 0
457.56/461.54	c TOTAL-NODES 150918
457.56/461.54	c TOTAL-CPU 106.48

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086878-1215241690/watcher-1086878-1215241690 -o /tmp/evaluation-result-1086878-1215241690/solver-1086878-1215241690 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s Tabu HOME/instance-1086878-1215241690.xml 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 24674
/proc/meminfo: memFree=1552816/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 273 0 0 0 0 0 0 0 16 0 1 0 2003141300 5484544 231 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 231 192 169 0 50 0
[pid=24675] ppid=24674 vsize=0 CPUtime=0
/proc/24675/stat : 24675 (dirname) R 24674 24674 23869 0 -1 4194308 128 0 0 0 0 0 0 0 19 0 1 0 2003141300 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/24675/statm: 0 0 0 0 0 0 0

[startup+0.098137 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 24674
/proc/meminfo: memFree=1552816/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102135 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 24674
/proc/meminfo: memFree=1552816/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302164 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 24674
/proc/meminfo: memFree=1552816/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702208 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 24674
/proc/meminfo: memFree=1552816/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24685
/proc/meminfo: memFree=1540192/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=845400 CPUtime=1.47
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 7019 0 1 0 143 4 0 0 18 0 9 0 2003141301 865689600 6112 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 211350 6112 2574 9 0 205911 0
[pid=24677/tid=24678] ppid=24674 vsize=845400 CPUtime=1.14
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 3442 0 1 0 112 2 0 0 25 0 9 0 2003141301 865689600 6112 996147200 134512640 134550740 4294956016 18446744073709551615 4125909352 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=845400 CPUtime=0.15
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 2314 0 0 0 15 0 0 0 16 0 9 0 2003141303 865689600 6112 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003141303 865689600 6112 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003141303 865689600 6112 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003141305 865689600 6112 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=845400 CPUtime=0.15
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 530 0 0 0 15 0 0 0 16 0 9 0 2003141305 865689600 6112 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003141305 865689600 6112 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003141305 865689600 6112 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 850756

[startup+3.10149 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24685
/proc/meminfo: memFree=1536800/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=845400 CPUtime=3.05
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 7794 0 1 0 299 6 0 0 18 0 9 0 2003141301 865689600 6739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 211350 6739 2575 9 0 205911 0
[pid=24677/tid=24678] ppid=24674 vsize=845400 CPUtime=2.56
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 3590 0 1 0 253 3 0 0 25 0 9 0 2003141301 865689600 6739 996147200 134512640 134550740 4294956016 18446744073709551615 4125231180 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=845400 CPUtime=0.32
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 2939 0 0 0 30 2 0 0 16 0 9 0 2003141303 865689600 6739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003141303 865689600 6739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003141303 865689600 6739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003141305 865689600 6739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=845400 CPUtime=0.15
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 532 0 0 0 15 0 0 0 16 0 9 0 2003141305 865689600 6739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003141305 865689600 6739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003141305 865689600 6739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 850756

[startup+6.30287 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24685
/proc/meminfo: memFree=1533024/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=845400 CPUtime=6.23
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 8762 0 1 0 615 8 0 0 18 0 9 0 2003141301 865689600 7467 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 211350 7467 2575 9 0 205911 0
[pid=24677/tid=24678] ppid=24674 vsize=845400 CPUtime=5.58
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 3830 0 1 0 555 3 0 0 25 0 9 0 2003141301 865689600 7467 996147200 134512640 134550740 4294956016 18446744073709551615 4125907178 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=845400 CPUtime=0.47
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 3667 0 0 0 44 3 0 0 16 0 9 0 2003141303 865689600 7467 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003141303 865689600 7467 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003141303 865689600 7467 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003141305 865689600 7467 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=845400 CPUtime=0.15
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 532 0 0 0 15 0 0 0 16 0 9 0 2003141305 865689600 7467 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003141305 865689600 7467 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=845400 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003141305 865689600 7467 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 850756

[startup+12.7026 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24686
/proc/meminfo: memFree=1500568/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=851936 CPUtime=12.58
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 19707 0 1 0 1241 17 0 0 18 0 10 0 2003141301 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 212984 15743 2576 9 0 207545 0
[pid=24677/tid=24678] ppid=24674 vsize=851936 CPUtime=10.8
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 4548 0 1 0 1075 5 0 0 25 0 10 0 2003141301 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4127158252 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=851936 CPUtime=1.23
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 12212 0 0 0 115 8 0 0 16 0 10 0 2003141303 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=851936 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2003141303 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=851936 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 2003141303 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=851936 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003141305 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=851936 CPUtime=0.51
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 2210 0 0 0 49 2 0 0 16 0 10 0 2003141305 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=851936 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003141305 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=851936 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2003141305 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24686] ppid=24674 vsize=851936 CPUtime=0
/proc/24677/task/24686/stat : 24686 (java) S 24674 24674 23869 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 2003142235 872382464 15743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 857292

[startup+25.5021 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24686
/proc/meminfo: memFree=1477272/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=851940 CPUtime=25.26
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 25279 0 1 0 2505 21 0 0 18 0 10 0 2003141301 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 212985 21216 2584 9 0 207545 0
[pid=24677/tid=24678] ppid=24674 vsize=851940 CPUtime=22.97
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 5068 0 1 0 2290 7 0 0 25 0 10 0 2003141301 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4127559146 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=851940 CPUtime=1.62
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 17166 0 0 0 151 11 0 0 16 0 10 0 2003141303 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2003141303 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 9 0 0 0 0 0 0 0 16 0 10 0 2003141303 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003141305 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=851940 CPUtime=0.65
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 2305 0 0 0 63 2 0 0 15 0 10 0 2003141305 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003141305 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2003141305 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24686] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24686/stat : 24686 (java) S 24674 24674 23869 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 2003142235 872386560 21216 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=24677/tid=24678] ppid=24674 vsize=851940 CPUtime=425.81
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 13424 0 1 0 42533 48 0 0 25 0 9 0 2003141301 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4131818548 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=851940 CPUtime=19.59
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 170802 0 0 0 1891 68 0 0 16 0 9 0 2003141303 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=851940 CPUtime=5
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 3554 0 0 0 488 12 0 0 16 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 450.42
Current children cumulated vsize (KiB) 857296

[startup+457.501 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 24687
/proc/meminfo: memFree=823384/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=851940 CPUtime=453.59
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 188525 0 1 0 45230 129 0 0 18 0 9 0 2003141301 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 212985 184295 2599 9 0 207545 0
[pid=24677/tid=24678] ppid=24674 vsize=851940 CPUtime=428.98
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 13425 0 1 0 42850 48 0 0 25 0 9 0 2003141301 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4131813590 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=851940 CPUtime=19.59
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 170802 0 0 0 1891 68 0 0 16 0 9 0 2003141303 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=851940 CPUtime=5
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 3554 0 0 0 488 12 0 0 16 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 453.59
Current children cumulated vsize (KiB) 857296

[startup+459.102 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 24687
/proc/meminfo: memFree=823384/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=851940 CPUtime=455.18
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 188526 0 1 0 45389 129 0 0 18 0 9 0 2003141301 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 212985 184295 2599 9 0 207545 0
[pid=24677/tid=24678] ppid=24674 vsize=851940 CPUtime=430.56
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 13426 0 1 0 43008 48 0 0 25 0 9 0 2003141301 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4132595172 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=851940 CPUtime=19.6
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 170802 0 0 0 1892 68 0 0 16 0 9 0 2003141303 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=851940 CPUtime=5
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 3554 0 0 0 488 12 0 0 16 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003141305 872386560 184295 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 455.18
Current children cumulated vsize (KiB) 857296

[startup+460.703 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 24687
/proc/meminfo: memFree=823384/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=851940 CPUtime=456.77
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 188532 0 1 0 45548 129 0 0 18 0 9 0 2003141301 872386560 184299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 212985 184299 2599 9 0 207545 0
[pid=24677/tid=24678] ppid=24674 vsize=851940 CPUtime=432.13
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 13429 0 1 0 43165 48 0 0 25 0 9 0 2003141301 872386560 184299 996147200 134512640 134550740 4294956016 18446744073709551615 4131818377 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=851940 CPUtime=19.6
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 170802 0 0 0 1892 68 0 0 16 0 9 0 2003141303 872386560 184299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003141305 872386560 184299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=851940 CPUtime=5.01
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 3557 0 0 0 489 12 0 0 15 0 9 0 2003141305 872386560 184299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003141305 872386560 184299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003141305 872386560 184299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 456.77
Current children cumulated vsize (KiB) 857296

[startup+461.103 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 24687
/proc/meminfo: memFree=823384/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=851940 CPUtime=457.16
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 188534 0 1 0 45587 129 0 0 18 0 9 0 2003141301 872386560 184301 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 212985 184301 2599 9 0 207545 0
[pid=24677/tid=24678] ppid=24674 vsize=851940 CPUtime=432.52
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 13429 0 1 0 43204 48 0 0 25 0 9 0 2003141301 872386560 184301 996147200 134512640 134550740 4294956016 18446744073709551615 4131813597 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=851940 CPUtime=19.6
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 170802 0 0 0 1892 68 0 0 16 0 9 0 2003141303 872386560 184301 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184301 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184301 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003141305 872386560 184301 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=851940 CPUtime=5.01
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 3559 0 0 0 489 12 0 0 15 0 9 0 2003141305 872386560 184301 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003141305 872386560 184301 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003141305 872386560 184301 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.16
Current children cumulated vsize (KiB) 857296

[startup+461.503 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 24687
/proc/meminfo: memFree=823384/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=851940 CPUtime=457.56
/proc/24677/stat : 24677 (java) S 24674 24674 23869 0 -1 0 188555 0 1 0 45627 129 0 0 18 0 9 0 2003141301 872386560 184322 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 212985 184322 2599 9 0 207545 0
[pid=24677/tid=24678] ppid=24674 vsize=851940 CPUtime=432.87
/proc/24677/task/24678/stat : 24678 (java) R 24674 24674 23869 0 -1 64 13429 0 1 0 43239 48 0 0 25 0 9 0 2003141301 872386560 184322 996147200 134512640 134550740 4294956016 18446744073709551615 4125203897 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24679] ppid=24674 vsize=851940 CPUtime=19.6
/proc/24677/task/24679/stat : 24679 (java) S 24674 24674 23869 0 -1 64 170802 0 0 0 1892 68 0 0 16 0 9 0 2003141303 872386560 184322 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24680] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24680/stat : 24680 (java) S 24674 24674 23869 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184322 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24681] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24681/stat : 24681 (java) S 24674 24674 23869 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003141303 872386560 184322 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24682] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24682/stat : 24682 (java) S 24674 24674 23869 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003141305 872386560 184322 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24683] ppid=24674 vsize=851940 CPUtime=5.06
/proc/24677/task/24683/stat : 24683 (java) S 24674 24674 23869 0 -1 64 3580 0 0 0 494 12 0 0 15 0 9 0 2003141305 872386560 184322 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24684] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24684/stat : 24684 (java) S 24674 24674 23869 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003141305 872386560 184322 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24677/tid=24685] ppid=24674 vsize=851940 CPUtime=0
/proc/24677/task/24685/stat : 24685 (java) S 24674 24674 23869 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003141305 872386560 184322 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.56
Current children cumulated vsize (KiB) 857296

[startup+461.603 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 24687
/proc/meminfo: memFree=823384/2055920 swapFree=4179912/4192956
[pid=24674] ppid=24672 vsize=5356 CPUtime=0
/proc/24674/stat : 24674 (concrete.sh) S 24672 24674 23869 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 2003141300 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24674/statm: 1339 242 201 169 0 50 0
[pid=24677] ppid=24674 vsize=0 CPUtime=457.63
/proc/24677/stat : 24677 (java) Z 24674 24674 23869 0 -1 12 188561 0 1 0 45631 132 0 0 16 0 2 0 2003141301 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24677/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 457.63
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 461.689
CPU time (s): 457.722
CPU user time (s): 456.314
CPU system time (s): 1.40879
CPU usage (%): 99.1409
Max. virtual memory (cumulated for all children) (KiB): 857296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 456.314
system time used= 1.40878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189012
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= 36075
involuntary context switches= 45157

runsolver used 0.59091 second user time and 1.52377 second system time

The end

Launcher Data (download as text)

Begin job on node53 at 2008-07-05 09:08:10
IDJOB=1086878
IDBENCH=57894
IDSOLVER=303
FILE ID=node53/1086878-1215241690
PBS_JOBID= 7881947
Free space on /tmp= 65120 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= cfa9ba3026b79df8ffeb8caaf7a20825
RANDOM SEED=382282746

node53.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1553296 kB
Buffers:         75636 kB
Cached:         283660 kB
SwapCached:       7428 kB
Active:         255328 kB
Inactive:       183328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1553296 kB
SwapTotal:     4192956 kB
SwapFree:      4179912 kB
Dirty:            2060 kB
Writeback:           0 kB
Mapped:          86436 kB
Slab:            49280 kB
Committed_AS:  4047760 kB
PageTables:       1900 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65120 MiB
End job on node53 at 2008-07-05 09:15:51