Trace number 3190672

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06SAT 117.479 117.149

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf
MD5SUM94bd96d1179fc3c253160c710014f1d5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.001999
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.06/0.07	c no version file found!!!
0.06/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.07	c java.vm.version	19.1-b02
0.06/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.07	c sun.arch.data.model	64
0.06/0.07	c java.version		1.6.0_24
0.06/0.07	c os.name		Linux
0.06/0.07	c os.version		2.6.18-164.el5
0.06/0.07	c os.arch		amd64
0.06/0.07	c Free memory 		6997539544
0.06/0.07	c Max memory 		7034241024
0.06/0.07	c Total memory 		7034241024
0.06/0.07	c Number of processors 	8
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483647s
0.10/0.10	c DB Simplification allowed=true
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3190672-1302602837.cnf
0.10/0.10	c reading problem ... 
0.10/0.13	c ... done. Wall clock time 0.03s.
0.10/0.13	c #vars     450
0.10/0.13	c #constraints  1917
0.10/0.13	c constraints type 
0.10/0.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1917
0.79/0.57	c cleaning 2498 clauses out of 5000 with flag 5000/5000
1.19/0.95	c cleaning 4243 clauses out of 8502 with flag 11000/11000
1.69/1.43	c cleaning 5629 clauses out of 11259 with flag 18000/18000
2.29/2.05	c cleaning 6809 clauses out of 13630 with flag 26000/26000
2.99/2.79	c cleaning 7907 clauses out of 15822 with flag 35001/35001
3.99/3.70	c cleaning 8956 clauses out of 17916 with flag 45002/45002
4.89/4.63	c cleaning 9472 clauses out of 18958 with flag 55000/55000
5.80/5.60	c cleaning 9743 clauses out of 19486 with flag 65000/65000
6.79/6.56	c cleaning 9870 clauses out of 19744 with flag 75001/75001
7.80/7.54	c cleaning 9931 clauses out of 19873 with flag 85000/85000
8.70/8.47	c cleaning 9962 clauses out of 19943 with flag 95001/95001
9.70/9.44	c cleaning 9984 clauses out of 19980 with flag 105000/105000
10.70/10.44	c cleaning 9994 clauses out of 19997 with flag 115001/115001
11.70/11.40	c cleaning 9995 clauses out of 20002 with flag 125000/125000
12.60/12.35	c cleaning 9997 clauses out of 20008 with flag 135001/135001
13.60/13.32	c cleaning 10004 clauses out of 20012 with flag 145002/145002
14.50/14.27	c cleaning 9998 clauses out of 20006 with flag 155000/155000
15.40/15.16	c cleaning 9998 clauses out of 20008 with flag 165000/165000
16.30/16.07	c cleaning 10004 clauses out of 20013 with flag 175003/175003
17.30/17.04	c cleaning 9999 clauses out of 20007 with flag 185001/185001
18.20/17.97	c cleaning 10000 clauses out of 20007 with flag 195000/195000
19.20/18.90	c cleaning 9998 clauses out of 20007 with flag 205000/205000
20.11/19.83	c cleaning 9999 clauses out of 20009 with flag 215000/215000
21.00/20.77	c cleaning 9997 clauses out of 20010 with flag 225000/225000
21.90/21.69	c cleaning 10005 clauses out of 20014 with flag 235001/235001
22.90/22.64	c cleaning 9998 clauses out of 20008 with flag 245000/245000
23.80/23.58	c cleaning 10000 clauses out of 20011 with flag 255001/255001
24.80/24.51	c cleaning 9999 clauses out of 20011 with flag 265001/265001
25.71/25.47	c cleaning 10000 clauses out of 20012 with flag 275001/275001
26.71/26.41	c cleaning 9999 clauses out of 20011 with flag 285000/285000
27.61/27.34	c cleaning 10001 clauses out of 20012 with flag 295000/295000
28.51/28.27	c cleaning 9996 clauses out of 20011 with flag 305000/305000
29.51/29.24	c cleaning 10000 clauses out of 20018 with flag 315003/315003
30.41/30.18	c cleaning 10000 clauses out of 20018 with flag 325003/325003
31.41/31.14	c cleaning 9998 clauses out of 20015 with flag 335000/335000
32.32/32.08	c cleaning 9998 clauses out of 20017 with flag 345000/345000
33.21/32.98	c cleaning 10006 clauses out of 20021 with flag 355002/355002
34.21/33.90	c cleaning 10002 clauses out of 20014 with flag 365001/365001
35.11/34.81	c cleaning 10000 clauses out of 20011 with flag 375000/375000
36.01/35.72	c cleaning 9997 clauses out of 20011 with flag 385000/385000
36.91/36.63	c cleaning 10002 clauses out of 20015 with flag 395001/395001
37.82/37.54	c cleaning 10003 clauses out of 20013 with flag 405001/405001
38.71/38.46	c cleaning 9999 clauses out of 20010 with flag 415001/415001
39.61/39.38	c cleaning 9994 clauses out of 20010 with flag 425000/425000
40.51/40.29	c cleaning 9998 clauses out of 20016 with flag 435000/435000
41.41/41.19	c cleaning 10000 clauses out of 20018 with flag 445000/445000
42.41/42.10	c cleaning 10003 clauses out of 20018 with flag 455000/455000
43.32/43.06	c cleaning 10001 clauses out of 20016 with flag 465001/465001
44.21/43.96	c cleaning 10000 clauses out of 20014 with flag 475000/475000
45.11/44.87	c cleaning 10005 clauses out of 20014 with flag 485000/485000
46.01/45.77	c cleaning 9998 clauses out of 20011 with flag 495002/495002
47.01/46.71	c cleaning 10000 clauses out of 20011 with flag 505000/505000
47.91/47.66	c cleaning 10000 clauses out of 20011 with flag 515000/515000
48.82/48.59	c cleaning 9999 clauses out of 20011 with flag 525000/525000
49.82/49.50	c cleaning 9993 clauses out of 20012 with flag 535000/535000
50.71/50.43	c cleaning 10006 clauses out of 20020 with flag 545001/545001
51.71/51.41	c cleaning 10005 clauses out of 20015 with flag 555002/555002
52.61/52.34	c cleaning 10001 clauses out of 20009 with flag 565001/565001
53.51/53.24	c cleaning 9995 clauses out of 20007 with flag 575000/575000
54.41/54.13	c cleaning 9990 clauses out of 20012 with flag 585000/585000
55.32/55.05	c cleaning 10003 clauses out of 20023 with flag 595001/595001
56.21/55.97	c cleaning 10003 clauses out of 20020 with flag 605001/605001
57.21/56.91	c cleaning 10005 clauses out of 20016 with flag 615000/615000
58.11/57.84	c cleaning 10002 clauses out of 20013 with flag 625002/625002
59.11/58.82	c cleaning 9997 clauses out of 20009 with flag 635000/635000
60.01/59.77	c cleaning 10001 clauses out of 20014 with flag 645002/645002
61.01/60.70	c cleaning 10000 clauses out of 20011 with flag 655000/655000
61.92/61.64	c cleaning 10000 clauses out of 20011 with flag 665000/665000
62.82/62.58	c cleaning 9999 clauses out of 20011 with flag 675000/675000
63.82/63.52	c cleaning 9999 clauses out of 20013 with flag 685001/685001
64.72/64.43	c cleaning 9999 clauses out of 20014 with flag 695001/695001
65.62/65.35	c cleaning 9999 clauses out of 20015 with flag 705001/705001
66.52/66.26	c cleaning 10003 clauses out of 20017 with flag 715002/715002
67.42/67.16	c cleaning 9997 clauses out of 20012 with flag 725000/725000
68.42/68.11	c cleaning 9998 clauses out of 20016 with flag 735001/735001
69.32/69.03	c cleaning 9997 clauses out of 20017 with flag 745000/745000
70.22/69.99	c cleaning 9997 clauses out of 20020 with flag 755000/755000
71.12/70.89	c cleaning 10007 clauses out of 20023 with flag 765000/765000
72.02/71.77	c cleaning 10002 clauses out of 20017 with flag 775001/775001
72.93/72.65	c cleaning 10004 clauses out of 20017 with flag 785003/785003
73.82/73.56	c cleaning 9997 clauses out of 20013 with flag 795003/795003
74.72/74.43	c cleaning 9998 clauses out of 20014 with flag 805001/805001
75.62/75.33	c cleaning 10000 clauses out of 20015 with flag 815000/815000
76.52/76.23	c cleaning 10000 clauses out of 20016 with flag 825001/825001
77.43/77.17	c cleaning 9998 clauses out of 20016 with flag 835001/835001
78.32/78.08	c cleaning 10004 clauses out of 20017 with flag 845000/845000
79.22/78.99	c cleaning 9997 clauses out of 20014 with flag 855001/855001
80.12/79.89	c cleaning 9998 clauses out of 20016 with flag 865000/865000
81.02/80.77	c cleaning 10004 clauses out of 20018 with flag 875000/875000
81.92/81.69	c cleaning 10005 clauses out of 20016 with flag 885002/885002
82.83/82.59	c cleaning 9991 clauses out of 20009 with flag 895000/895000
83.72/83.49	c cleaning 10004 clauses out of 20020 with flag 905002/905002
84.72/84.45	c cleaning 10002 clauses out of 20014 with flag 915000/915000
85.62/85.37	c cleaning 10005 clauses out of 20012 with flag 925000/925000
86.52/86.26	c cleaning 9996 clauses out of 20009 with flag 935002/935002
87.42/87.18	c cleaning 9997 clauses out of 20011 with flag 945000/945000
88.33/88.06	c cleaning 9996 clauses out of 20014 with flag 955000/955000
89.23/88.94	c cleaning 10005 clauses out of 20019 with flag 965001/965001
90.13/89.85	c cleaning 9996 clauses out of 20013 with flag 975000/975000
91.03/90.77	c cleaning 10001 clauses out of 20017 with flag 985000/985000
91.93/91.69	c cleaning 9992 clauses out of 20016 with flag 995000/995000
92.93/92.60	c cleaning 9998 clauses out of 20024 with flag 1005000/1005000
93.83/93.54	c cleaning 10007 clauses out of 20027 with flag 1015001/1015001
94.73/94.43	c cleaning 10006 clauses out of 20020 with flag 1025001/1025001
95.63/95.35	c cleaning 10001 clauses out of 20013 with flag 1035000/1035000
96.53/96.25	c cleaning 10001 clauses out of 20013 with flag 1045001/1045001
97.43/97.16	c cleaning 9999 clauses out of 20011 with flag 1055000/1055000
98.33/98.06	c cleaning 10001 clauses out of 20012 with flag 1065000/1065000
99.33/99.00	c cleaning 10003 clauses out of 20013 with flag 1075002/1075002
100.23/99.93	c cleaning 9999 clauses out of 20008 with flag 1085000/1085000
101.13/100.87	c cleaning 9997 clauses out of 20011 with flag 1095002/1095002
102.13/101.82	c cleaning 9999 clauses out of 20012 with flag 1105000/1105000
103.03/102.77	c cleaning 10006 clauses out of 20014 with flag 1115001/1115001
104.03/103.70	c cleaning 9994 clauses out of 20009 with flag 1125002/1125002
104.94/104.62	c cleaning 10002 clauses out of 20013 with flag 1135000/1135000
105.83/105.51	c cleaning 10000 clauses out of 20012 with flag 1145001/1145001
106.73/106.42	c cleaning 9996 clauses out of 20011 with flag 1155000/1155000
107.63/107.34	c cleaning 9998 clauses out of 20016 with flag 1165001/1165001
108.53/108.26	c cleaning 10001 clauses out of 20017 with flag 1175000/1175000
109.43/109.15	c cleaning 9999 clauses out of 20016 with flag 1185000/1185000
110.34/110.08	c cleaning 10004 clauses out of 20018 with flag 1195001/1195001
111.23/110.99	c cleaning 10002 clauses out of 20015 with flag 1205002/1205002
112.23/111.91	c cleaning 9996 clauses out of 20011 with flag 1215000/1215000
113.13/112.81	c cleaning 9997 clauses out of 20016 with flag 1225001/1225001
114.03/113.74	c cleaning 10005 clauses out of 20019 with flag 1235001/1235001
114.93/114.68	c cleaning 9997 clauses out of 20014 with flag 1245001/1245001
115.94/115.62	c cleaning 10002 clauses out of 20016 with flag 1255000/1255000
116.83/116.51	c cleaning 10003 clauses out of 20015 with flag 1265001/1265001
117.43/117.11	c starts		: 1315
117.43/117.11	c conflicts		: 1272247
117.43/117.11	c decisions		: 1540553
117.43/117.11	c propagations		: 81065245
117.43/117.11	c inspects		: 1686366912
117.43/117.11	c shortcuts		: 0
117.43/117.11	c learnt literals	: 0
117.43/117.11	c learnt binary clauses	: 0
117.43/117.11	c learnt ternary clauses	: 83
117.43/117.11	c learnt constraints	: 1272247
117.43/117.11	c ignored constraints	: 0
117.43/117.11	c root simplifications	: 1315
117.43/117.11	c removed literals (reason simplification)	: 8012576
117.43/117.11	c reason swapping (by a shorter reason)	: 0
117.43/117.11	c Calls to reduceDB	: 128
117.43/117.11	c speed (assignments/second)	: 692954.182160106
117.43/117.11	c non guided choices	54
117.43/117.13	c learnt constraints type 
117.43/117.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17258
117.43/117.13	c constraints type 
117.43/117.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1917
117.43/117.13	s SATISFIABLE
117.43/117.13	v 1 2 3 -4 -5 -6 -7 -8 9 10 -11 12 -13 -14 15 16 -17 18 -19 -20 21 -22 23 24 25 26 -27 -28 29 30 -31 -32 33 34 -35 -36 37 38 -39 40 41 42 -43 -44 -45 -46 47 48 49 50 -51 -52 53 54 -55 -56 -57 58 59 60 -61 62 63 -64 -65 -66 67 -68 -69 70 71 -72 73 74 -75 76 -77 78 -79 -80 -81 -82 -83 84 85 86 87 -88 -89 90 -91 -92 93 -94 95 -96 97 98 99 100 101 102 -103 104 -105 106 -107 108 109 -110 -111 -112 -113 -114 115 116 -117 118 -119 120 121 -122 -123 -124 -125 126 -127 128 129 -130 -131 132 -133 -134 -135 136 137 138 -139 140 141 -142 -143 -144 -145 -146 -147 -148 149 150 -151 -152 153 -154 -155 156 -157 -158 -159 160 161 -162 163 164 165 -166 167 -168 169 -170 -171 172 173 174 175 -176 -177 -178 179 -180 181 -182 -183 -184 185 186 187 188 189 190 191 192 -193 194 195 -196 -197 198 199 200 201 202 203 -204 -205 -206 -207 208 -209 -210 211 -212 -213 -214 -215 216 -217 218 219 220 -221 -222 223 224 225 -226 -227 -228 -229 -230 231 232 -233 -234 -235 236 -237 -238 -239 -240 -241 242 243 244 -245 -246 -247 248 -249 250 -251 252 253 -254 255 256 -257 258 259 -260 261 262 -263 -264 265 266 267 -268 269 270 -271 -272 273 -274 275 -276 -277 278 -279 -280 -281 -282 -283 -284 285 -286 287 288 -289 -290 -291 -292 -293 294 295 -296 297 -298 299 300 -301 -302 303 304 305 -306 307 308 -309 310 -311 -312 -313 -314 -315 316 -317 -318 -319 320 -321 -322 -323 324 -325 326 -327 -328 329 -330 -331 -332 333 334 -335 -336 337 -338 339 340 341 -342 -343 -344 -345 346 -347 348 -349 350 351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 362 -363 364 365 366 367 -368 -369 370 -371 372 373 -374 -375 376 377 378 -379 380 -381 382 -383 384 385 -386 -387 -388 389 -390 -391 392 -393 -394 -395 -396 397 -398 -399 -400 401 -402 -403 -404 -405 406 -407 408 -409 -410 411 -412 -413 -414 -415 416 -417 418 -419 -420 -421 -422 -423 424 425 426 427 428 429 -430 431 -432 433 -434 -435 -436 437 438 -439 -440 -441 -442 -443 444 -445 -446 447 448 -449 -450 0
117.43/117.13	c Total wall clock time (in seconds) : 117.016

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3190672-1302602837/watcher-3190672-1302602837 -o /tmp/evaluation-result-3190672-1302602837/solver-3190672-1302602837 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190672-1302602837.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.96 4.03 4.00 5/234 27290
/proc/meminfo: memFree=14170140/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=24004 CPUtime=0 cores=5,7
/proc/27290/stat : 27290 (java) R 27288 27290 26215 0 -1 4202496 1128 0 0 0 0 0 0 0 23 0 2 0 450514149 24580096 864 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252458122225 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 6002 867 654 9 0 382 0
[pid=27290/tid=27292] ppid=27288 vsize=24004 CPUtime=0 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 26 0 0 0 0 0 0 0 24 0 2 0 450514150 24580096 877 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252453142151 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0785609 s]
/proc/loadavg: 3.96 4.03 4.00 5/234 27290
/proc/meminfo: memFree=14170140/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7569940 CPUtime=0.06 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 9499 0 1 0 6 0 0 0 23 0 18 0 450514149 7751618560 9194 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1892485 9194 1754 9 0 1883223 0
[pid=27290/tid=27292] ppid=27288 vsize=7569940 CPUtime=0.06 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 8325 0 1 0 6 0 0 0 22 0 18 0 450514150 7751618560 9196 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7569940

[startup+0.100854 s]
/proc/loadavg: 3.96 4.03 4.00 5/234 27290
/proc/meminfo: memFree=14170140/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7570964 CPUtime=0.1 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 10260 0 1 0 9 1 0 0 23 0 18 0 450514149 7752667136 9955 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1892741 9956 2090 9 0 1883479 0
[pid=27290/tid=27292] ppid=27288 vsize=7570964 CPUtime=0.07 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 8464 0 1 0 7 0 0 0 22 0 18 0 450514150 7752667136 9956 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 47729441918883 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7570964

[startup+0.382571 s]
/proc/loadavg: 3.96 4.03 4.00 5/234 27290
/proc/meminfo: memFree=14170140/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7579696 CPUtime=0.61 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 12686 0 1 0 60 1 0 0 23 0 19 0 450514149 7761608704 12054 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1894924 12054 2207 9 0 1885662 0
[pid=27290/tid=27292] ppid=27288 vsize=7579696 CPUtime=0.34 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 8781 0 1 0 34 0 0 0 18 0 19 0 450514150 7761608704 12054 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 46912505523441 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 7579696

[startup+0.700444 s]
/proc/loadavg: 3.96 4.03 4.00 5/234 27290
/proc/meminfo: memFree=14170140/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7579696 CPUtime=0.98 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 13392 0 1 0 97 1 0 0 23 0 19 0 450514149 7761608704 12759 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1894924 12759 2240 9 0 1885662 0
[pid=27290/tid=27292] ppid=27288 vsize=7579696 CPUtime=0.63 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 8936 0 1 0 63 0 0 0 18 0 19 0 450514150 7761608704 12759 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 46912505547467 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 7579696

[startup+1.5013 s]
/proc/loadavg: 3.96 4.03 4.00 5/262 27318
/proc/meminfo: memFree=14103912/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7579696 CPUtime=1.79 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 13879 0 1 0 178 1 0 0 23 0 19 0 450514149 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1894924 13244 2243 9 0 1885662 0
[pid=27290/tid=27292] ppid=27288 vsize=7579696 CPUtime=1.39 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 8938 0 1 0 139 0 0 0 17 0 19 0 450514150 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 46912505546954 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27290/tid=27296] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27296/stat : 27296 (java) S 27288 27290 26215 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27297] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27297/stat : 27297 (java) S 27288 27290 26215 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27298] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27298/stat : 27298 (java) S 27288 27290 26215 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27299] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27299/stat : 27299 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27300] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27300/stat : 27300 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27301] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27301/stat : 27301 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 450514151 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27302] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27302/stat : 27302 (java) S 27288 27290 26215 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27303] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27303/stat : 27303 (java) S 27288 27290 26215 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27304] ppid=27288 vsize=7579696 CPUtime=0.03 cores=5,7
/proc/27290/task/27304/stat : 27304 (java) S 27288 27290 26215 0 -1 4202560 459 0 0 0 3 0 0 0 16 0 19 0 450514152 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 0 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27310] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27310/stat : 27310 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27311] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27311/stat : 27311 (java) S 27288 27290 26215 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27312] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27312/stat : 27312 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450514154 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469889457 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27313] ppid=27288 vsize=7579696 CPUtime=0.29 cores=5,7
/proc/27290/task/27313/stat : 27313 (java) S 27288 27290 26215 0 -1 4202560 2161 0 0 0 29 0 0 0 15 0 19 0 450514154 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27314] ppid=27288 vsize=7579696 CPUtime=0.05 cores=5,7
/proc/27290/task/27314/stat : 27314 (java) S 27288 27290 26215 0 -1 4202560 665 0 0 0 5 0 0 0 15 0 19 0 450514155 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27315] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27315/stat : 27315 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450514155 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27316] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27316/stat : 27316 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450514155 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27317] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27317/stat : 27317 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450514163 7761608704 13244 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 7579696

[startup+3.101 s]
/proc/loadavg: 3.96 4.03 4.00 5/262 27318
/proc/meminfo: memFree=14100284/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7579696 CPUtime=3.39 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 14030 0 1 0 338 1 0 0 23 0 19 0 450514149 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1894924 13393 2243 9 0 1885662 0
[pid=27290/tid=27292] ppid=27288 vsize=7579696 CPUtime=2.94 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 8939 0 1 0 294 0 0 0 19 0 19 0 450514150 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 46912505561360 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27290/tid=27296] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27296/stat : 27296 (java) S 27288 27290 26215 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27297] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27297/stat : 27297 (java) S 27288 27290 26215 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27298] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27298/stat : 27298 (java) S 27288 27290 26215 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27299] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27299/stat : 27299 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 19 0 450514151 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27300] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27300/stat : 27300 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27301] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27301/stat : 27301 (java) S 27288 27290 26215 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27302] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27302/stat : 27302 (java) S 27288 27290 26215 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27303] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27303/stat : 27303 (java) S 27288 27290 26215 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27304] ppid=27288 vsize=7579696 CPUtime=0.05 cores=5,7
/proc/27290/task/27304/stat : 27304 (java) S 27288 27290 26215 0 -1 4202560 510 0 0 0 5 0 0 0 16 0 19 0 450514152 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 0 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27310] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27310/stat : 27310 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27311] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27311/stat : 27311 (java) S 27288 27290 26215 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27312] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27312/stat : 27312 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450514154 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469889457 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27313] ppid=27288 vsize=7579696 CPUtime=0.31 cores=5,7
/proc/27290/task/27313/stat : 27313 (java) S 27288 27290 26215 0 -1 4202560 2168 0 0 0 31 0 0 0 15 0 19 0 450514154 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27314] ppid=27288 vsize=7579696 CPUtime=0.05 cores=5,7
/proc/27290/task/27314/stat : 27314 (java) S 27288 27290 26215 0 -1 4202560 665 0 0 0 5 0 0 0 15 0 19 0 450514155 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27315] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27315/stat : 27315 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450514155 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27316] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27316/stat : 27316 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450514155 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27317] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27317/stat : 27317 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450514163 7761608704 13393 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 7579696

[startup+6.3014 s]
/proc/loadavg: 3.96 4.03 4.00 5/262 27318
/proc/meminfo: memFree=14098300/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7579696 CPUtime=6.59 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 14201 0 1 0 658 1 0 0 23 0 19 0 450514149 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1894924 13560 2243 9 0 1885662 0
[pid=27290/tid=27292] ppid=27288 vsize=7579696 CPUtime=6.09 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 8943 0 1 0 609 0 0 0 25 0 19 0 450514150 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 46912505546672 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27290/tid=27296] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27296/stat : 27296 (java) S 27288 27290 26215 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27297] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27297/stat : 27297 (java) S 27288 27290 26215 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27298] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27298/stat : 27298 (java) S 27288 27290 26215 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27299] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27299/stat : 27299 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27300] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27300/stat : 27300 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27301] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27301/stat : 27301 (java) S 27288 27290 26215 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27302] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27302/stat : 27302 (java) S 27288 27290 26215 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 450514151 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27303] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27303/stat : 27303 (java) S 27288 27290 26215 0 -1 4202560 219 0 0 0 0 0 0 0 16 0 19 0 450514151 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27304] ppid=27288 vsize=7579696 CPUtime=0.09 cores=5,7
/proc/27290/task/27304/stat : 27304 (java) S 27288 27290 26215 0 -1 4202560 667 0 0 0 9 0 0 0 16 0 19 0 450514152 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 0 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27310] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27310/stat : 27310 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27311] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27311/stat : 27311 (java) S 27288 27290 26215 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27312] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27312/stat : 27312 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450514154 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469889457 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27313] ppid=27288 vsize=7579696 CPUtime=0.31 cores=5,7
/proc/27290/task/27313/stat : 27313 (java) S 27288 27290 26215 0 -1 4202560 2168 0 0 0 31 0 0 0 15 0 19 0 450514154 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27314] ppid=27288 vsize=7579696 CPUtime=0.05 cores=5,7
/proc/27290/task/27314/stat : 27314 (java) S 27288 27290 26215 0 -1 4202560 665 0 0 0 5 0 0 0 15 0 19 0 450514155 7761608704 13560 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0

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

/proc/27290/task/27296/stat : 27296 (java) S 27288 27290 26215 0 -1 4202560 159 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27297] ppid=27288 vsize=7579696 CPUtime=0.01 cores=5,7
/proc/27290/task/27297/stat : 27297 (java) S 27288 27290 26215 0 -1 4202560 151 0 0 0 1 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27298] ppid=27288 vsize=7579696 CPUtime=0.03 cores=5,7
/proc/27290/task/27298/stat : 27298 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27299] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27299/stat : 27299 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 2 0 0 0 16 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27300] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27300/stat : 27300 (java) S 27288 27290 26215 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27301] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27301/stat : 27301 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27302] ppid=27288 vsize=7579696 CPUtime=0.03 cores=5,7
/proc/27290/task/27302/stat : 27302 (java) S 27288 27290 26215 0 -1 4202560 47 0 0 0 3 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27303] ppid=27288 vsize=7579696 CPUtime=0.01 cores=5,7
/proc/27290/task/27303/stat : 27303 (java) S 27288 27290 26215 0 -1 4202560 219 0 0 0 1 0 0 0 16 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27304] ppid=27288 vsize=7579696 CPUtime=1.56 cores=5,7
/proc/27290/task/27304/stat : 27304 (java) S 27288 27290 26215 0 -1 4202560 802 0 0 0 156 0 0 0 16 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 0 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27310] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27310/stat : 27310 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27311] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27311/stat : 27311 (java) S 27288 27290 26215 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27312] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27312/stat : 27312 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450514154 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469889457 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27313] ppid=27288 vsize=7579696 CPUtime=0.33 cores=5,7
/proc/27290/task/27313/stat : 27313 (java) S 27288 27290 26215 0 -1 4202560 2195 0 0 0 33 0 0 0 15 0 19 0 450514154 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27314] ppid=27288 vsize=7579696 CPUtime=0.05 cores=5,7
/proc/27290/task/27314/stat : 27314 (java) S 27288 27290 26215 0 -1 4202560 665 0 0 0 5 0 0 0 15 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27315] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27315/stat : 27315 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27316] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27316/stat : 27316 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27317] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27317/stat : 27317 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450514163 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 116.33
Current children cumulated vsize (KiB) 7579696

[startup+116.801 s]
/proc/loadavg: 4.03 4.02 4.00 5/262 27369
/proc/meminfo: memFree=14099916/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7579696 CPUtime=117.13 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 14502 0 1 0 11711 2 0 0 23 0 19 0 450514149 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1894924 13728 2244 9 0 1885662 0
[pid=27290/tid=27292] ppid=27288 vsize=7579696 CPUtime=114.94 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 9062 0 1 0 11494 0 0 0 18 0 19 0 450514150 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 46912505546792 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27290/tid=27296] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27296/stat : 27296 (java) S 27288 27290 26215 0 -1 4202560 159 0 0 0 2 0 0 0 16 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27297] ppid=27288 vsize=7579696 CPUtime=0.01 cores=5,7
/proc/27290/task/27297/stat : 27297 (java) S 27288 27290 26215 0 -1 4202560 151 0 0 0 1 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27298] ppid=27288 vsize=7579696 CPUtime=0.03 cores=5,7
/proc/27290/task/27298/stat : 27298 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27299] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27299/stat : 27299 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27300] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27300/stat : 27300 (java) S 27288 27290 26215 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27301] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27301/stat : 27301 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27302] ppid=27288 vsize=7579696 CPUtime=0.03 cores=5,7
/proc/27290/task/27302/stat : 27302 (java) S 27288 27290 26215 0 -1 4202560 47 0 0 0 3 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27303] ppid=27288 vsize=7579696 CPUtime=0.01 cores=5,7
/proc/27290/task/27303/stat : 27303 (java) S 27288 27290 26215 0 -1 4202560 219 0 0 0 1 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27304] ppid=27288 vsize=7579696 CPUtime=1.57 cores=5,7
/proc/27290/task/27304/stat : 27304 (java) S 27288 27290 26215 0 -1 4202560 802 0 0 0 157 0 0 0 16 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 0 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27310] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27310/stat : 27310 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27311] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27311/stat : 27311 (java) S 27288 27290 26215 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27312] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27312/stat : 27312 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450514154 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469889457 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27313] ppid=27288 vsize=7579696 CPUtime=0.33 cores=5,7
/proc/27290/task/27313/stat : 27313 (java) S 27288 27290 26215 0 -1 4202560 2195 0 0 0 33 0 0 0 15 0 19 0 450514154 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27314] ppid=27288 vsize=7579696 CPUtime=0.05 cores=5,7
/proc/27290/task/27314/stat : 27314 (java) S 27288 27290 26215 0 -1 4202560 665 0 0 0 5 0 0 0 15 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27315] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27315/stat : 27315 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27316] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27316/stat : 27316 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27317] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27317/stat : 27317 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450514163 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 117.13
Current children cumulated vsize (KiB) 7579696

[startup+117.001 s]
/proc/loadavg: 4.03 4.02 4.00 5/262 27369
/proc/meminfo: memFree=14099916/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7579696 CPUtime=117.33 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 14502 0 1 0 11731 2 0 0 23 0 19 0 450514149 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1894924 13728 2244 9 0 1885662 0
[pid=27290/tid=27292] ppid=27288 vsize=7579696 CPUtime=115.14 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 9062 0 1 0 11514 0 0 0 18 0 19 0 450514150 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 46912505561691 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27290/tid=27296] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27296/stat : 27296 (java) S 27288 27290 26215 0 -1 4202560 159 0 0 0 2 0 0 0 16 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27297] ppid=27288 vsize=7579696 CPUtime=0.01 cores=5,7
/proc/27290/task/27297/stat : 27297 (java) S 27288 27290 26215 0 -1 4202560 151 0 0 0 1 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27298] ppid=27288 vsize=7579696 CPUtime=0.03 cores=5,7
/proc/27290/task/27298/stat : 27298 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27299] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27299/stat : 27299 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27300] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27300/stat : 27300 (java) S 27288 27290 26215 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27301] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27301/stat : 27301 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27302] ppid=27288 vsize=7579696 CPUtime=0.03 cores=5,7
/proc/27290/task/27302/stat : 27302 (java) S 27288 27290 26215 0 -1 4202560 47 0 0 0 3 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27303] ppid=27288 vsize=7579696 CPUtime=0.01 cores=5,7
/proc/27290/task/27303/stat : 27303 (java) S 27288 27290 26215 0 -1 4202560 219 0 0 0 1 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27304] ppid=27288 vsize=7579696 CPUtime=1.57 cores=5,7
/proc/27290/task/27304/stat : 27304 (java) S 27288 27290 26215 0 -1 4202560 802 0 0 0 157 0 0 0 16 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 0 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27310] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27310/stat : 27310 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27311] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27311/stat : 27311 (java) S 27288 27290 26215 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27312] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27312/stat : 27312 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450514154 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469889457 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27313] ppid=27288 vsize=7579696 CPUtime=0.33 cores=5,7
/proc/27290/task/27313/stat : 27313 (java) S 27288 27290 26215 0 -1 4202560 2195 0 0 0 33 0 0 0 15 0 19 0 450514154 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27314] ppid=27288 vsize=7579696 CPUtime=0.05 cores=5,7
/proc/27290/task/27314/stat : 27314 (java) S 27288 27290 26215 0 -1 4202560 665 0 0 0 5 0 0 0 15 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27315] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27315/stat : 27315 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27316] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27316/stat : 27316 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27317] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27317/stat : 27317 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450514163 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 117.33
Current children cumulated vsize (KiB) 7579696

[startup+117.101 s]
/proc/loadavg: 4.03 4.02 4.00 5/262 27369
/proc/meminfo: memFree=14099916/32951124 swapFree=67111524/67111528
[pid=27290] ppid=27288 vsize=7579696 CPUtime=117.43 cores=5,7
/proc/27290/stat : 27290 (java) S 27288 27290 26215 0 -1 4202496 14502 0 1 0 11741 2 0 0 23 0 19 0 450514149 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27290/statm: 1894924 13728 2244 9 0 1885662 0
[pid=27290/tid=27292] ppid=27288 vsize=7579696 CPUtime=115.24 cores=5,7
/proc/27290/task/27292/stat : 27292 (java) R 27288 27290 26215 0 -1 4202560 9062 0 1 0 11524 0 0 0 18 0 19 0 450514150 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 46912505546949 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27290/tid=27296] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27296/stat : 27296 (java) S 27288 27290 26215 0 -1 4202560 159 0 0 0 2 0 0 0 16 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27297] ppid=27288 vsize=7579696 CPUtime=0.01 cores=5,7
/proc/27290/task/27297/stat : 27297 (java) S 27288 27290 26215 0 -1 4202560 151 0 0 0 1 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27298] ppid=27288 vsize=7579696 CPUtime=0.03 cores=5,7
/proc/27290/task/27298/stat : 27298 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27299] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27299/stat : 27299 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27300] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27300/stat : 27300 (java) S 27288 27290 26215 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27301] ppid=27288 vsize=7579696 CPUtime=0.02 cores=5,7
/proc/27290/task/27301/stat : 27301 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 2 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27302] ppid=27288 vsize=7579696 CPUtime=0.03 cores=5,7
/proc/27290/task/27302/stat : 27302 (java) S 27288 27290 26215 0 -1 4202560 47 0 0 0 3 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27303] ppid=27288 vsize=7579696 CPUtime=0.01 cores=5,7
/proc/27290/task/27303/stat : 27303 (java) S 27288 27290 26215 0 -1 4202560 219 0 0 0 1 0 0 0 15 0 19 0 450514151 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27304] ppid=27288 vsize=7579696 CPUtime=1.57 cores=5,7
/proc/27290/task/27304/stat : 27304 (java) S 27288 27290 26215 0 -1 4202560 802 0 0 0 157 0 0 0 16 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 0 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27310] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27310/stat : 27310 (java) S 27288 27290 26215 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27311] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27311/stat : 27311 (java) S 27288 27290 26215 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450514152 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27312] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27312/stat : 27312 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450514154 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469889457 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27313] ppid=27288 vsize=7579696 CPUtime=0.33 cores=5,7
/proc/27290/task/27313/stat : 27313 (java) S 27288 27290 26215 0 -1 4202560 2195 0 0 0 33 0 0 0 15 0 19 0 450514154 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27314] ppid=27288 vsize=7579696 CPUtime=0.05 cores=5,7
/proc/27290/task/27314/stat : 27314 (java) S 27288 27290 26215 0 -1 4202560 665 0 0 0 5 0 0 0 15 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27315] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27315/stat : 27315 (java) S 27288 27290 26215 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469881753 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
[pid=27290/tid=27316] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27316/stat : 27316 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 450514155 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 7 0 0 0
[pid=27290/tid=27317] ppid=27288 vsize=7579696 CPUtime=0 cores=5,7
/proc/27290/task/27317/stat : 27317 (java) S 27288 27290 26215 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 450514163 7761608704 13728 33554432000 1073741824 1073778376 140735115207440 18446744073709551615 252469882368 0 4 0 16800975 18446604463203797760 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 117.43
Current children cumulated vsize (KiB) 7579696

Child status: 10
Real time (s): 117.149
CPU time (s): 117.479
CPU user time (s): 117.45
CPU system time (s): 0.028995
CPU usage (%): 100.282
Max. virtual memory (cumulated for all children) (KiB): 7579696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.45
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14540
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= 5874
involuntary context switches= 2594

runsolver used 0.210967 second user time and 0.437933 second system time

The end

Launcher Data

Begin job on node111 at 2011-04-12 12:07:17
IDJOB=3190672
IDBENCH=83003
IDSOLVER=1611
FILE ID=node111/3190672-1302602837
RUNJOBID= node111-1302597627-26236
PBS_JOBID= 12958107
Free space on /tmp= 71788 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3190672-1302602837/watcher-3190672-1302602837 -o /tmp/evaluation-result-3190672-1302602837/solver-3190672-1302602837 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190672-1302602837.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 94bd96d1179fc3c253160c710014f1d5
RANDOM SEED=247401275

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14170544 kB
Buffers:        706716 kB
Cached:       17418028 kB
SwapCached:          4 kB
Active:        9620264 kB
Inactive:      8728472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14170544 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             520 kB
Writeback:           0 kB
AnonPages:      223916 kB
Mapped:          23352 kB
Slab:           367096 kB
PageTables:       5492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22029836 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71784 MiB
End job on node111 at 2011-04-12 12:09:14