Trace number 50663

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
SAT4JPSEUDO 2006.2 HeuristicsSAT (TO)31 1800.13 1782.49

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
MD5SUMa470052ca6f8034e2c6c08868e52d9e8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4131
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.21	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.21	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.21	c no version file found!!!
0.21	c sun.arch.data.model	32
0.21	c java.version	1.5.0_06
0.21	c os.name	Linux
0.21	c os.version	2.6.9-22.EL.rootsmp
0.21	c os.arch	i386
0.21	c Free memory 1548419056
0.21	c Max memory 1551040512
0.21	c Total memory 1551040512
0.21	c Number of processors 2
0.27	c Cutting planes based inference
0.27	c --- Begin Solver configuration ---
0.27	c org.sat4j.minisat.uip.FirstUIP@1df073d
0.27	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25
0.27	c org.sat4j.minisat.learning.MiniSATLearning@b66cc
0.27	c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 
0.27	c VSIDS like heuristics from MiniSAT using a heap
0.27	c No reason simplification
0.27	c --- End Solver configuration ---
0.27	c solving ROOT/tmp/node37/50663-1154103384/instance-50663-1154103384.opb
0.27	c reading problem ... 
0.33	c ... done. Time 0.054 ms.
0.33	c #vars     120
0.33	c #constraints  10
1.68	c SATISFIABLE
1.68	c OPTIMIZING...
1.68	c Got one! Ellapsed CPU time (in seconds):1.409
1.68	o 1131
4.10	c Got one! Ellapsed CPU time (in seconds):3.824
4.10	o 1099
5.36	c Got one! Ellapsed CPU time (in seconds):5.084
5.36	o 1004
7.08	c Got one! Ellapsed CPU time (in seconds):6.805
7.08	o 991
8.66	c Got one! Ellapsed CPU time (in seconds):8.384
8.66	o 807
9.30	c Got one! Ellapsed CPU time (in seconds):9.023
9.30	o 797
9.92	c Got one! Ellapsed CPU time (in seconds):9.645
9.92	o 773
10.71	c Got one! Ellapsed CPU time (in seconds):10.441
10.71	o 760
11.48	c Got one! Ellapsed CPU time (in seconds):11.213
11.48	o 736
12.24	c Got one! Ellapsed CPU time (in seconds):11.965
12.24	o 709
13.64	c Got one! Ellapsed CPU time (in seconds):13.369
13.64	o 679
14.49	c Got one! Ellapsed CPU time (in seconds):14.215
14.49	o 553
15.36	c Got one! Ellapsed CPU time (in seconds):15.092
15.36	o 547
16.49	c Got one! Ellapsed CPU time (in seconds):16.223
16.49	o 513
17.92	c Got one! Ellapsed CPU time (in seconds):17.651
17.92	o 500
18.88	c Got one! Ellapsed CPU time (in seconds):18.61
18.88	o 489
20.54	c Got one! Ellapsed CPU time (in seconds):20.265
20.54	o 438
21.99	c Got one! Ellapsed CPU time (in seconds):21.723
21.99	o 435
23.82	c Got one! Ellapsed CPU time (in seconds):23.553
23.83	o 406
25.19	c Got one! Ellapsed CPU time (in seconds):24.92
25.19	o 339
27.34	c Got one! Ellapsed CPU time (in seconds):27.066
27.34	o 326
29.44	c Got one! Ellapsed CPU time (in seconds):29.171
29.44	o 273
31.89	c Got one! Ellapsed CPU time (in seconds):31.616
31.89	o 272
34.31	c Got one! Ellapsed CPU time (in seconds):34.042
34.31	o 243
36.83	c Got one! Ellapsed CPU time (in seconds):36.563
36.84	o 215
40.41	c Got one! Ellapsed CPU time (in seconds):40.14
40.41	o 213
45.09	c Got one! Ellapsed CPU time (in seconds):44.818
45.09	o 201
48.80	c Got one! Ellapsed CPU time (in seconds):48.532
48.80	o 192
52.18	c Got one! Ellapsed CPU time (in seconds):51.911
52.18	o 191
55.73	c Got one! Ellapsed CPU time (in seconds):55.454
55.73	o 189
59.36	c Got one! Ellapsed CPU time (in seconds):59.088
59.36	o 185
63.82	c Got one! Ellapsed CPU time (in seconds):63.55
63.82	o 137
66.73	c Got one! Ellapsed CPU time (in seconds):66.46
66.73	o 130
69.97	c Got one! Ellapsed CPU time (in seconds):69.695
69.97	o 126
73.49	c Got one! Ellapsed CPU time (in seconds):73.221
73.49	o 121
81.46	c Got one! Ellapsed CPU time (in seconds):81.185
81.46	o 113
90.33	c Got one! Ellapsed CPU time (in seconds):90.06
90.33	o 111
96.43	c Got one! Ellapsed CPU time (in seconds):96.159
96.43	o 104
102.64	c Got one! Ellapsed CPU time (in seconds):102.369
102.64	o 100
111.30	c Got one! Ellapsed CPU time (in seconds):111.028
111.30	o 78
122.08	c Got one! Ellapsed CPU time (in seconds):121.808
122.08	o 76
131.90	c Got one! Ellapsed CPU time (in seconds):131.63
131.90	o 60
144.32	c Got one! Ellapsed CPU time (in seconds):144.052
144.32	o 58
154.03	c Got one! Ellapsed CPU time (in seconds):153.759
154.03	o 54
161.64	c Got one! Ellapsed CPU time (in seconds):161.366
161.64	o 52
287.18	c Got one! Ellapsed CPU time (in seconds):286.912
287.18	o 40
294.74	c Got one! Ellapsed CPU time (in seconds):294.465
294.74	o 36
334.51	c Got one! Ellapsed CPU time (in seconds):334.237
334.51	o 33
776.08	c Got one! Ellapsed CPU time (in seconds):775.806
776.08	o 32
876.82	c Got one! Ellapsed CPU time (in seconds):876.544
876.82	o 31
1782.40	c starts		: 150
1782.40	c conflicts		: 37440
1782.40	c decisions		: 83184
1782.40	c propagations		: 398134
1782.40	c inspects		: 545340062
1782.40	c learnt literals	: 0
1782.40	c learnt binary clauses	: 0
1782.40	c learnt ternary clauses	: 0
1782.40	c learnt clauses	: 37440
1782.40	c root simplifications	: 0
1782.40	c removed literals (reason simplification)	: 0
1782.40	c reason swapping (by a shorter reason)	: 0
1782.40	c Calls to reduceDB	: 0
1782.40	c speed (decisions/second)	: 91.8571523222686
1782.40	c non guided choices	867
1782.40	s SATISFIABLE
1782.40	v x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 x27 -x28 -x29 -x30
1782.40	v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1782.40	v -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83
1782.40	v -x84 -x85 -x86 x87 -x88 x89 x90 -x91 -x92 -x93 -x94 x95 x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 x106 x107 -x108 -x109
1782.40	v x110 -x111 -x112 x113 x114 x115 -x116 x117 x118 -x119 x120
1782.40	c objective function=31
1782.40	c Total wall clock time (ms): 1782.127

Verifier Data (download as text)

OK	31

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node37/watcher-50663-1154103384 -o ROOT/results/node37/solver-50663-1154103384 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node37/50663-1154103384/instance-50663-1154103384.opb 685426224 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.95 3/64 3257
/proc/meminfo: memFree=1349072/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1784 CPUtime=0
/proc/3257/stat : 3257 (java) D 3255 3257 3208 0 -1 0 167 0 0 0 0 0 0 0 19 0 1 0 157209909 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3257/statm: 446 137 102 14 0 91 0

[startup+10.0024 s]
/proc/loadavg: 1.07 0.99 0.95 2/76 3276
/proc/meminfo: memFree=1162928/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=11.39
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 54765 0 1 0 1114 25 0 0 25 0 13 0 157209909 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071353995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 48308 1908 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=0.2
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 5273 0 0 0 19 1 0 0 16 0 13 0 157209919 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=0.21
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 5590 0 0 0 19 2 0 0 16 0 13 0 157209919 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.81
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 80 1 0 0 17 0 13 0 157209925 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.04
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3030 0 0 0 103 1 0 0 17 0 13 0 157209925 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3276] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3276/stat : 3276 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157210902 1756499968 48308 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (Kb) 1715332

[startup+20.0105 s]
/proc/loadavg: 1.06 0.99 0.95 2/76 3285
/proc/meminfo: memFree=1152360/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=21.49
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 57721 0 1 0 2123 26 0 0 25 0 13 0 157209909 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071518711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 50941 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=0.29
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 6825 0 0 0 27 2 0 0 16 0 13 0 157209919 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=0.28
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 6981 0 0 0 26 2 0 0 16 0 13 0 157209919 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.81
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 80 1 0 0 17 0 13 0 157209925 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.06
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3031 0 0 0 105 1 0 0 17 0 13 0 157209925 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3285] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3285/stat : 3285 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 157211798 1756499968 50941 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.49
Current children cumulated vsize (Kb) 1715332

[startup+30.0186 s]
/proc/loadavg: 1.05 0.99 0.95 2/76 3291
/proc/meminfo: memFree=1148768/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=31.55
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 60201 0 1 0 3128 27 0 0 25 0 13 0 157209909 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071366754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 51783 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=0.34
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 8072 0 0 0 32 2 0 0 16 0 13 0 157209919 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=0.34
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 8205 0 0 0 31 3 0 0 16 0 13 0 157209919 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.82
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 81 1 0 0 16 0 13 0 157209925 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.06
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3031 0 0 0 105 1 0 0 17 0 13 0 157209925 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3291] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3291/stat : 3291 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157212854 1756499968 51783 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.55
Current children cumulated vsize (Kb) 1715332

[startup+40.0257 s]
/proc/loadavg: 1.04 0.99 0.95 2/76 3294
/proc/meminfo: memFree=1150552/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=41.64
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 61695 0 1 0 4136 28 0 0 25 0 13 0 157209909 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071558924 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 51334 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=0.4
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 8826 0 0 0 37 3 0 0 16 0 13 0 157209919 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=0.4
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 8933 0 0 0 37 3 0 0 16 0 13 0 157209919 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.82
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 81 1 0 0 17 0 13 0 157209925 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.09
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3034 0 0 0 108 1 0 0 17 0 13 0 157209925 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3294] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3294/stat : 3294 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157213593 1756499968 51334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.64
Current children cumulated vsize (Kb) 1715332

[startup+50.0327 s]
/proc/loadavg: 1.03 0.99 0.95 2/76 3297
/proc/meminfo: memFree=1152848/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=51.69
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 62609 0 1 0 5140 29 0 0 25 0 13 0 157209909 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071602708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 50767 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=0.44
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 9282 0 0 0 41 3 0 0 16 0 13 0 157209919 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=0.44
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 9385 0 0 0 41 3 0 0 16 0 13 0 157209919 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0.01
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 31 0 0 0 0 1 0 0 16 0 13 0 157209922 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.82
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 81 1 0 0 17 0 13 0 157209925 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.09
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3034 0 0 0 108 1 0 0 17 0 13 0 157209925 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3297] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3297/stat : 3297 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157214790 1756499968 50767 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.69
Current children cumulated vsize (Kb) 1715332

[startup+60.0398 s]
/proc/loadavg: 1.03 0.99 0.95 2/76 3300
/proc/meminfo: memFree=1154888/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=61.73
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 63635 0 1 0 6144 29 0 0 25 0 13 0 157209909 1756499968 50258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071354199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 50258 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=0.49
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 9850 0 0 0 46 3 0 0 16 0 13 0 157209919 1756499968 50258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=0.49
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 9836 0 0 0 45 4 0 0 16 0 13 0 157209919 1756499968 50258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0.01
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 31 0 0 0 0 1 0 0 15 0 13 0 157209922 1756499968 50258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 50258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 50258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0

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

/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.84
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 83 1 0 0 17 0 13 0 157209925 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.1
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3034 0 0 0 109 1 0 0 16 0 13 0 157209925 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3319] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3319/stat : 3319 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157297591 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (Kb) 1715332

[startup+1779.37 s]
/proc/loadavg: 1.00 1.00 0.97 2/76 3321
/proc/meminfo: memFree=831624/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=1796.95
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 214008 0 1 0 179574 121 0 0 25 0 13 0 157209909 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071567803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 130737 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=17.16
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 53661 0 0 0 1691 25 0 0 17 0 13 0 157209919 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=17.14
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 64129 0 0 0 1681 33 0 0 16 0 13 0 157209919 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0.31
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 224 0 0 0 16 15 0 0 16 0 13 0 157209922 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.84
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 83 1 0 0 17 0 13 0 157209925 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.1
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3034 0 0 0 109 1 0 0 16 0 13 0 157209925 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3319] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3319/stat : 3319 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157297591 1756499968 130737 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (Kb) 1715332

[startup+1780.37 s]
/proc/loadavg: 1.00 1.00 0.97 2/76 3321
/proc/meminfo: memFree=831496/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=1797.98
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 214050 0 1 0 179677 121 0 0 23 0 13 0 157209909 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071567647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 130778 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=17.18
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 53663 0 0 0 1693 25 0 0 16 0 13 0 157209919 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=17.16
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 64168 0 0 0 1683 33 0 0 16 0 13 0 157209919 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0.31
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 224 0 0 0 16 15 0 0 15 0 13 0 157209922 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.84
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 83 1 0 0 17 0 13 0 157209925 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.1
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3034 0 0 0 109 1 0 0 16 0 13 0 157209925 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3319] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3319/stat : 3319 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157297591 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (Kb) 1715332

[startup+1781.38 s]
/proc/loadavg: 1.00 1.00 0.97 2/76 3321
/proc/meminfo: memFree=831496/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=1798.99
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 214050 0 1 0 179778 121 0 0 25 0 13 0 157209909 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071367366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 130778 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=17.18
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 53663 0 0 0 1693 25 0 0 16 0 13 0 157209919 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=17.16
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 64168 0 0 0 1683 33 0 0 16 0 13 0 157209919 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0.31
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 224 0 0 0 16 15 0 0 16 0 13 0 157209922 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.84
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 83 1 0 0 17 0 13 0 157209925 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.1
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3034 0 0 0 109 1 0 0 16 0 13 0 157209925 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3319] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3319/stat : 3319 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157297591 1756499968 130778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (Kb) 1715332

[startup+1782.38 s]
/proc/loadavg: 1.00 1.00 0.97 2/76 3321
/proc/meminfo: memFree=831240/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=1800.02
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 214103 0 1 0 179881 121 0 0 20 0 13 0 157209909 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071567778 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 130830 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=17.21
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 53679 0 0 0 1696 25 0 0 16 0 13 0 157209919 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=17.19
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 64204 0 0 0 1686 33 0 0 16 0 13 0 157209919 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0.31
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 224 0 0 0 16 15 0 0 15 0 13 0 157209922 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.84
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 83 1 0 0 17 0 13 0 157209925 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.1
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3034 0 0 0 109 1 0 0 16 0 13 0 157209925 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3319] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3319/stat : 3319 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157297591 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (Kb) 1715332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.39 s]
/proc/loadavg: 1.00 1.00 0.97 2/76 3321
/proc/meminfo: memFree=831240/2055920 swapFree=4183120/4192956
[pid=3257] ppid=3255 vsize=1715332 CPUtime=1800.02
/proc/3257/stat : 3257 (java) R 3255 3257 3208 0 -1 0 214103 0 1 0 179881 121 0 0 20 0 13 0 157209909 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071567778 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3257/statm: 428833 130830 1909 14 0 415580 0
[pid=3257/tid=3258] ppid=3255 vsize=1715332 CPUtime=17.21
/proc/3257/task/3258/stat : 3258 (java) S 3255 3257 3208 0 -1 64 53679 0 0 0 1696 25 0 0 16 0 13 0 157209919 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3259] ppid=3255 vsize=1715332 CPUtime=17.19
/proc/3257/task/3259/stat : 3259 (java) S 3255 3257 3208 0 -1 64 64204 0 0 0 1686 33 0 0 16 0 13 0 157209919 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3260] ppid=3255 vsize=1715332 CPUtime=0.31
/proc/3257/task/3260/stat : 3260 (java) S 3255 3257 3208 0 -1 64 224 0 0 0 16 15 0 0 15 0 13 0 157209922 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3261] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3255 3257 3208 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3262] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3255 3257 3208 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 157209922 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3263] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3255 3257 3208 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157209925 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3264] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3264/stat : 3264 (java) S 3255 3257 3208 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 157209925 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3265] ppid=3255 vsize=1715332 CPUtime=0.84
/proc/3257/task/3265/stat : 3265 (java) S 3255 3257 3208 0 -1 64 3172 0 0 0 83 1 0 0 17 0 13 0 157209925 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3266] ppid=3255 vsize=1715332 CPUtime=1.1
/proc/3257/task/3266/stat : 3266 (java) S 3255 3257 3208 0 -1 64 3034 0 0 0 109 1 0 0 16 0 13 0 157209925 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3267] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157209926 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3257/tid=3268] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3268/stat : 3268 (java) S 3255 3257 3208 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 157209926 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3257/tid=3319] ppid=3255 vsize=1715332 CPUtime=0
/proc/3257/task/3319/stat : 3319 (java) S 3255 3257 3208 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157297591 1756499968 130830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (Kb) 1715332

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1782.49
CPU time (s): 1800.13
CPU user time (s): 1798.84
CPU system time (s): 1.2918
CPU usage (%): 100.99
Max. virtual memory (cumulated for all children) (Kb): 1715332
The end

Launcher Data (download as text)

Begin job on node37 on Fri Jul 28 16:16:24 UTC 2006


FILE ID= 50663-1154103384

PBS_JOBID= 886197

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node37/50663-1154103384/instance-50663-1154103384.opb 685426224
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-50663-1154103384 -o ROOT/results/node37/solver-50663-1154103384 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node37/50663-1154103384/instance-50663-1154103384.opb 685426224

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  a470052ca6f8034e2c6c08868e52d9e8

RANDOM SEED= 685426224

TIMEOUT= 1800 seconds


/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.232
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.232
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:       1349344 kB
Buffers:         40120 kB
Cached:         587380 kB
SwapCached:       3812 kB
Active:         263004 kB
Inactive:       373224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1349344 kB
SwapTotal:     4192956 kB
SwapFree:      4183120 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14812 kB
Slab:            56460 kB
Committed_AS:   697200 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node37 on Fri Jul 28 16:46:07 UTC 2006