Trace number 3492447

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 Resolution 2011-06-08OPTIMUM 26.162 25.0587

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo
MD5SUM933a31389d3b5781af16184cd4c2b51e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1.12883
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints29
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1556
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1555
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1237
Number of bits of the biggest sum of numbers11
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 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.08	c version 2.3.1.v20110525
0.07/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.08	c java.vm.version	19.1-b02
0.07/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.08	c sun.arch.data.model	64
0.07/0.08	c java.version		1.6.0_24
0.07/0.08	c os.name		Linux
0.07/0.08	c os.version		2.6.18-164.el5
0.07/0.08	c os.arch		amd64
0.07/0.08	c Free memory 		9996466904
0.07/0.08	c Max memory 		10048897024
0.07/0.08	c Total memory 		10048897024
0.07/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3492447-1307909852.wbo
0.11/0.10	c reading problem ... 
0.11/0.16	c ... done. Wall clock time 0.054s.
0.11/0.16	c #vars     198
0.11/0.16	c #constraints  101
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26
0.11/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 49
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
0.11/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22
0.68/0.40	c SATISFIABLE
0.68/0.40	c OPTIMIZING...
0.68/0.40	c Got one! Elapsed wall clock time (in seconds):0.295
0.68/0.40	o 345
0.68/0.46	c cleaning 2626 clauses out of 5258 with flag 1003/5258
0.91/0.65	c cleaning 4313 clauses out of 8630 with flag 7001/11256
1.14/0.89	c cleaning 5658 clauses out of 11319 with flag 14003/18258
1.24/0.91	c Got one! Elapsed wall clock time (in seconds):0.805
1.24/0.91	o 326
1.24/1.00	c Got one! Elapsed wall clock time (in seconds):0.894
1.24/1.00	o 212
1.35/1.07	c cleaning 5613 clauses out of 11233 with flag 2000/23830
1.57/1.25	c cleaning 5801 clauses out of 11620 with flag 8000/29830
1.77/1.45	c cleaning 6408 clauses out of 12821 with flag 15002/36832
2.07/1.71	c cleaning 7197 clauses out of 14412 with flag 23001/44831
2.17/1.82	c Got one! Elapsed wall clock time (in seconds):1.715
2.17/1.82	o 177
2.17/1.89	c cleaning 6312 clauses out of 12635 with flag 2000/50251
2.37/2.07	c cleaning 6158 clauses out of 12323 with flag 8000/56251
2.58/2.28	c cleaning 6581 clauses out of 13168 with flag 15003/63254
2.88/2.51	c cleaning 7286 clauses out of 14584 with flag 23000/71251
2.98/2.68	c Got one! Elapsed wall clock time (in seconds):2.582
2.98/2.68	o 159
3.18/2.87	c cleaning 9193 clauses out of 18393 with flag 5000/82346
3.38/3.06	c cleaning 7596 clauses out of 15201 with flag 11001/88347
3.68/3.30	c cleaning 7300 clauses out of 14606 with flag 18002/95348
3.68/3.40	c Got one! Elapsed wall clock time (in seconds):3.292
3.68/3.40	o 112
3.78/3.50	c cleaning 6597 clauses out of 13199 with flag 3002/101241
3.99/3.68	c cleaning 6292 clauses out of 12600 with flag 9000/107239
4.29/3.91	c cleaning 6651 clauses out of 13310 with flag 16002/114241
4.49/4.17	c cleaning 7326 clauses out of 14657 with flag 24000/122239
4.80/4.49	c cleaning 8161 clauses out of 16332 with flag 33001/131240
5.19/4.85	c cleaning 9082 clauses out of 18171 with flag 43001/141240
5.50/5.19	c cleaning 9539 clauses out of 19089 with flag 53001/151240
5.91/5.53	c cleaning 9770 clauses out of 19549 with flag 63000/161239
6.21/5.86	c cleaning 9878 clauses out of 19782 with flag 73003/171242
6.31/5.94	c Got one! Elapsed wall clock time (in seconds):5.839
6.31/5.94	o 102
6.41/6.04	c cleaning 7709 clauses out of 15426 with flag 3003/176764
6.61/6.23	c cleaning 6850 clauses out of 13714 with flag 9000/182761
6.81/6.47	c cleaning 6928 clauses out of 13864 with flag 16000/189761
7.11/6.71	c cleaning 7466 clauses out of 14936 with flag 24000/197761
7.41/7.01	c cleaning 8232 clauses out of 16471 with flag 33001/206762
7.51/7.19	c Got one! Elapsed wall clock time (in seconds):7.089
7.51/7.19	o 83
7.71/7.38	c cleaning 9600 clauses out of 19204 with flag 5003/217727
7.91/7.59	c cleaning 7796 clauses out of 15603 with flag 11002/223726
8.21/7.83	c cleaning 7398 clauses out of 14805 with flag 18000/230724
8.42/8.09	c cleaning 7699 clauses out of 15407 with flag 26000/238724
8.71/8.40	c cleaning 8347 clauses out of 16708 with flag 35000/247724
9.12/8.72	c cleaning 9177 clauses out of 18362 with flag 45001/257725
9.42/9.03	c cleaning 9587 clauses out of 19184 with flag 55000/267724
9.72/9.34	c cleaning 9796 clauses out of 19599 with flag 65002/277726
10.12/9.70	c cleaning 9897 clauses out of 19801 with flag 75000/287724
10.42/10.02	c cleaning 9946 clauses out of 19904 with flag 85000/297724
10.72/10.34	c cleaning 9978 clauses out of 19961 with flag 95003/307727
11.02/10.68	c cleaning 9986 clauses out of 19981 with flag 105001/317725
11.43/11.03	c cleaning 9992 clauses out of 19994 with flag 115000/327724
11.62/11.23	c Got one! Elapsed wall clock time (in seconds):11.128
11.62/11.23	o 74
11.82/11.42	c cleaning 10753 clauses out of 21514 with flag 5001/339236
12.02/11.63	c cleaning 8377 clauses out of 16764 with flag 11004/345239
12.22/11.86	c cleaning 7688 clauses out of 15383 with flag 18000/352235
12.53/12.18	c cleaning 7838 clauses out of 15696 with flag 26001/360236
12.92/12.56	c cleaning 8425 clauses out of 16858 with flag 35001/369236
13.32/12.90	c cleaning 9214 clauses out of 18434 with flag 45002/379237
13.63/13.22	c cleaning 9607 clauses out of 19220 with flag 55002/389237
13.93/13.55	c cleaning 9803 clauses out of 19612 with flag 65001/399236
14.23/13.86	c cleaning 9896 clauses out of 19808 with flag 75000/409235
14.33/13.92	c Got one! Elapsed wall clock time (in seconds):13.821
14.33/13.92	o 56
14.43/14.03	c cleaning 7536 clauses out of 15082 with flag 3000/414405
14.64/14.22	c cleaning 6768 clauses out of 13546 with flag 9000/420405
14.83/14.45	c cleaning 6884 clauses out of 13778 with flag 16000/427405
15.13/14.71	c cleaning 7445 clauses out of 14895 with flag 24001/435406
15.33/14.99	c cleaning 8222 clauses out of 16452 with flag 33003/444408
15.74/15.33	c cleaning 9111 clauses out of 18230 with flag 43003/454408
16.03/15.70	c cleaning 9553 clauses out of 19116 with flag 53000/464405
16.44/16.05	c cleaning 9780 clauses out of 19564 with flag 63001/474406
16.74/16.37	c cleaning 9890 clauses out of 19783 with flag 73000/484405
17.16/16.71	c cleaning 9946 clauses out of 19895 with flag 83002/494407
17.46/17.04	c cleaning 9971 clauses out of 19947 with flag 93000/504405
17.76/17.35	c cleaning 9986 clauses out of 19977 with flag 103001/514406
18.07/17.69	c cleaning 9989 clauses out of 19991 with flag 113001/524406
18.46/18.01	c cleaning 9998 clauses out of 20002 with flag 123001/534406
18.76/18.34	c cleaning 9998 clauses out of 20003 with flag 133000/544405
19.07/18.67	c cleaning 9997 clauses out of 20005 with flag 143000/554405
19.47/19.00	c cleaning 9994 clauses out of 20008 with flag 153000/564405
19.77/19.32	c cleaning 10004 clauses out of 20014 with flag 163000/574405
20.07/19.65	c cleaning 10000 clauses out of 20010 with flag 173000/584405
20.37/19.99	c cleaning 10002 clauses out of 20011 with flag 183001/594406
20.77/20.30	c cleaning 10001 clauses out of 20008 with flag 193000/604405
21.07/20.63	c cleaning 10001 clauses out of 20008 with flag 203001/614406
21.38/20.96	c cleaning 10000 clauses out of 20007 with flag 213001/624406
21.78/21.30	c cleaning 9999 clauses out of 20006 with flag 223000/634405
21.88/21.48	c Got one! Elapsed wall clock time (in seconds):21.375
21.88/21.48	o 46
22.08/21.68	c cleaning 10400 clauses out of 20812 with flag 5000/645211
22.18/21.74	c Got one! Elapsed wall clock time (in seconds):21.634
22.18/21.74	o 19
22.28/21.88	c cleaning 8141 clauses out of 16294 with flag 4002/651093
22.49/22.08	c cleaning 7071 clauses out of 14154 with flag 10003/657094
22.78/22.33	c cleaning 7036 clauses out of 14081 with flag 17001/664092
23.39/22.61	c cleaning 7520 clauses out of 15046 with flag 25002/672093
23.97/22.91	c cleaning 8257 clauses out of 16524 with flag 34000/681091
24.27/23.23	c cleaning 9131 clauses out of 18268 with flag 44001/691092
24.57/23.57	c cleaning 9567 clauses out of 19136 with flag 54000/701091
24.97/23.92	c cleaning 9783 clauses out of 19570 with flag 64001/711092
25.38/24.32	c cleaning 9892 clauses out of 19789 with flag 74003/721094
25.68/24.69	c cleaning 9942 clauses out of 19893 with flag 84000/731091
26.08/25.05	c starts		: 178
26.08/25.05	c conflicts		: 740655
26.08/25.05	c decisions		: 1154191
26.08/25.05	c propagations		: 17003248
26.08/25.05	c inspects		: 161135118
26.08/25.05	c shortcuts		: 0
26.08/25.05	c learnt literals	: 8
26.08/25.05	c learnt binary clauses	: 22
26.08/25.05	c learnt ternary clauses	: 382
26.08/25.05	c learnt constraints	: 740646
26.08/25.05	c ignored constraints	: 0
26.08/25.05	c root simplifications	: 0
26.08/25.05	c removed literals (reason simplification)	: 5744741
26.08/25.05	c reason swapping (by a shorter reason)	: 0
26.08/25.05	c Calls to reduceDB	: 85
26.08/25.05	c number of reductions to clauses (during analyze)	: 0
26.08/25.05	c number of learned constraints concerned by reduction	: 0
26.08/25.05	c number of learning phase by resolution	: 0
26.08/25.05	c number of learning phase by cutting planes	: 0
26.08/25.05	c speed (assignments/second)	: 5135381.455753549
26.08/25.05	c non guided choices	570
26.08/25.05	c learnt constraints type 
26.08/25.05	c constraints type 
26.08/25.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26
26.08/25.05	c org.sat4j.minisat.constraints.card.MinWatchCard => 49
26.08/25.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
26.08/25.05	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22
26.08/25.05	s OPTIMUM FOUND
26.08/25.05	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 -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 -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 -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 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 
26.08/25.05	c objective function=19
26.08/25.05	c Total wall clock time (in seconds): 24.947

Verifier Data 

OK	19

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3492447-1307909852/watcher-3492447-1307909852 -o /var/tmp/evaluation-result-3492447-1307909852/solver-3492447-1307909852 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492447-1307909852.wbo 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.97 1.93 3/194 12974
/proc/meminfo: memFree=1388756/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 1242 0 0 0 0 0 0 0 25 0 2 0 883400831 31272960 960 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 7635 960 732 9 0 386 0
[pid=12974/tid=12975] ppid=12972 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) S 12972 12974 8455 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 883400831 31268864 963 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270333460103 0 2147483391 0 16784584 18446744071699199166 0 0 -1 4 0 0 0

[startup+0.0818371 s]
/proc/loadavg: 1.84 1.97 1.93 3/194 12974
/proc/meminfo: memFree=1388756/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10539056 CPUtime=0.07 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 12534 0 1 0 5 2 0 0 25 0 18 0 883400831 10791993344 12207 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2634764 12219 2011 9 0 2625498 0
[pid=12974/tid=12975] ppid=12972 vsize=10539692 CPUtime=0.06 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) R 12972 12974 8455 0 -1 4202560 10986 0 1 0 5 1 0 0 18 0 18 0 883400831 10792644608 12571 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270338076368 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539056

[startup+0.105625 s]
/proc/loadavg: 1.84 1.97 1.93 3/194 12974
/proc/meminfo: memFree=1388756/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10539692 CPUtime=0.11 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 13190 0 1 0 9 2 0 0 25 0 18 0 883400831 10792644608 12858 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2634923 12860 2107 9 0 2625657 0
[pid=12974/tid=12975] ppid=12972 vsize=10539692 CPUtime=0.09 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) R 12972 12974 8455 0 -1 4202560 11222 0 1 0 7 2 0 0 18 0 18 0 883400831 10792644608 12860 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 47354841962515 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539692

[startup+0.300589 s]
/proc/loadavg: 1.84 1.97 1.93 3/194 12974
/proc/meminfo: memFree=1388756/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10541652 CPUtime=0.54 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 16212 0 1 0 52 2 0 0 25 0 19 0 883400831 10794651648 14754 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2635413 14754 2214 9 0 2626147 0
[pid=12974/tid=12975] ppid=12972 vsize=10541652 CPUtime=0.29 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) R 12972 12974 8455 0 -1 4202560 11724 0 1 0 27 2 0 0 19 0 19 0 883400831 10794651648 14754 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 46912505522708 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10541652

[startup+0.700519 s]
/proc/loadavg: 1.84 1.97 1.93 3/194 12974
/proc/meminfo: memFree=1388756/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10542360 CPUtime=1.04 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 17539 0 1 0 102 2 0 0 25 0 19 0 883400831 10795376640 15888 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2635590 15888 2246 9 0 2626324 0
[pid=12974/tid=12975] ppid=12972 vsize=10542360 CPUtime=0.66 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) R 12972 12974 8455 0 -1 4202560 11950 0 1 0 64 2 0 0 19 0 19 0 883400831 10795376640 15888 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 46912505553707 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10542360

[startup+1.50137 s]
/proc/loadavg: 1.84 1.97 1.93 3/214 12994
/proc/meminfo: memFree=1320680/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10542360 CPUtime=1.87 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 17778 0 1 0 185 2 0 0 25 0 19 0 883400831 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2635590 16123 2247 9 0 2626324 0
[pid=12974/tid=12975] ppid=12972 vsize=10542360 CPUtime=1.41 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) R 12972 12974 8455 0 -1 4202560 11953 0 1 0 139 2 0 0 20 0 19 0 883400831 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 46912505535753 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12974/tid=12978] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12978/stat : 12978 (java) S 12972 12974 8455 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12979] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12979/stat : 12979 (java) S 12972 12974 8455 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12980] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12980/stat : 12980 (java) S 12972 12974 8455 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12981] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12981/stat : 12981 (java) S 12972 12974 8455 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 19 0 883400833 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12982] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12982/stat : 12982 (java) S 12972 12974 8455 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12983] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12983/stat : 12983 (java) S 12972 12974 8455 0 -1 4202560 138 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12984] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12984/stat : 12984 (java) S 12972 12974 8455 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12985] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12985/stat : 12985 (java) S 12972 12974 8455 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 19 0 883400833 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12986] ppid=12972 vsize=10542360 CPUtime=0.07 cores=0,2,4,6
/proc/12974/task/12986/stat : 12986 (java) S 12972 12974 8455 0 -1 4202560 455 0 0 0 7 0 0 0 15 0 19 0 883400834 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12987] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12987/stat : 12987 (java) S 12972 12974 8455 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 883400834 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12988] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12988/stat : 12988 (java) S 12972 12974 8455 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 883400834 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12989] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12989/stat : 12989 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12990] ppid=12972 vsize=10542360 CPUtime=0.19 cores=0,2,4,6
/proc/12974/task/12990/stat : 12990 (java) S 12972 12974 8455 0 -1 4202560 1943 0 0 0 19 0 0 0 15 0 19 0 883400836 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12991] ppid=12972 vsize=10542360 CPUtime=0.17 cores=0,2,4,6
/proc/12974/task/12991/stat : 12991 (java) S 12972 12974 8455 0 -1 4202560 1761 0 0 0 17 0 0 0 15 0 19 0 883400836 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12992] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12992/stat : 12992 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12993] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12993/stat : 12993 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883400836 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12994] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12994/stat : 12994 (java) S 12972 12974 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883400847 10795376640 16123 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10542360

[startup+3.10103 s]
/proc/loadavg: 1.84 1.97 1.93 3/214 12994
/proc/meminfo: memFree=1318420/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10542360 CPUtime=3.48 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 17878 0 1 0 346 2 0 0 25 0 19 0 883400831 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2635590 16216 2247 9 0 2626324 0
[pid=12974/tid=12975] ppid=12972 vsize=10542360 CPUtime=2.92 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) R 12972 12974 8455 0 -1 4202560 11960 0 1 0 290 2 0 0 23 0 19 0 883400831 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 46912505568896 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12974/tid=12978] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12978/stat : 12978 (java) S 12972 12974 8455 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12979] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12979/stat : 12979 (java) S 12972 12974 8455 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12980] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12980/stat : 12980 (java) S 12972 12974 8455 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12981] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12981/stat : 12981 (java) S 12972 12974 8455 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12982] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12982/stat : 12982 (java) S 12972 12974 8455 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12983] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12983/stat : 12983 (java) S 12972 12974 8455 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12984] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12984/stat : 12984 (java) S 12972 12974 8455 0 -1 4202560 165 0 0 0 0 0 0 0 16 0 19 0 883400833 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12985] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12985/stat : 12985 (java) S 12972 12974 8455 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12986] ppid=12972 vsize=10542360 CPUtime=0.15 cores=0,2,4,6
/proc/12974/task/12986/stat : 12986 (java) S 12972 12974 8455 0 -1 4202560 509 0 0 0 15 0 0 0 15 0 19 0 883400834 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12987] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12987/stat : 12987 (java) S 12972 12974 8455 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 883400834 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12988] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12988/stat : 12988 (java) S 12972 12974 8455 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 883400834 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12989] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12989/stat : 12989 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12990] ppid=12972 vsize=10542360 CPUtime=0.19 cores=0,2,4,6
/proc/12974/task/12990/stat : 12990 (java) S 12972 12974 8455 0 -1 4202560 1943 0 0 0 19 0 0 0 15 0 19 0 883400836 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12991] ppid=12972 vsize=10542360 CPUtime=0.18 cores=0,2,4,6
/proc/12974/task/12991/stat : 12991 (java) S 12972 12974 8455 0 -1 4202560 1761 0 0 0 18 0 0 0 15 0 19 0 883400836 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12992] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12992/stat : 12992 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12993] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12993/stat : 12993 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883400836 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12994] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12994/stat : 12994 (java) S 12972 12974 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883400847 10795376640 16216 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10542360

[startup+6.3014 s]
/proc/loadavg: 1.85 1.97 1.93 3/214 12994
/proc/meminfo: memFree=1316408/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10542360 CPUtime=6.71 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 18022 0 1 0 668 3 0 0 25 0 19 0 883400831 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2635590 16299 2247 9 0 2626324 0
[pid=12974/tid=12975] ppid=12972 vsize=10542360 CPUtime=5.96 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) R 12972 12974 8455 0 -1 4202560 11973 0 1 0 594 2 0 0 20 0 19 0 883400831 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 46912505554526 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12974/tid=12978] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12978/stat : 12978 (java) S 12972 12974 8455 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12979] ppid=12972 vsize=10542360 CPUtime=0.01 cores=0,2,4,6
/proc/12974/task/12979/stat : 12979 (java) S 12972 12974 8455 0 -1 4202560 32 0 0 0 1 0 0 0 15 0 19 0 883400833 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12980] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12980/stat : 12980 (java) S 12972 12974 8455 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12981] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12981/stat : 12981 (java) S 12972 12974 8455 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 19 0 883400833 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12982] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12982/stat : 12982 (java) S 12972 12974 8455 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12983] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12983/stat : 12983 (java) S 12972 12974 8455 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12984] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12984/stat : 12984 (java) S 12972 12974 8455 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12985] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12985/stat : 12985 (java) S 12972 12974 8455 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 883400833 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12986] ppid=12972 vsize=10542360 CPUtime=0.29 cores=0,2,4,6
/proc/12974/task/12986/stat : 12986 (java) S 12972 12974 8455 0 -1 4202560 640 0 0 0 29 0 0 0 16 0 19 0 883400834 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12987] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12987/stat : 12987 (java) S 12972 12974 8455 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 883400834 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12988] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12988/stat : 12988 (java) S 12972 12974 8455 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 883400834 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12989] ppid=12972 vsize=10542360 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12989/stat : 12989 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12990] ppid=12972 vsize=10542360 CPUtime=0.19 cores=0,2,4,6
/proc/12974/task/12990/stat : 12990 (java) S 12972 12974 8455 0 -1 4202560 1943 0 0 0 19 0 0 0 15 0 19 0 883400836 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12991] ppid=12972 vsize=10542360 CPUtime=0.18 cores=0,2,4,6
/proc/12974/task/12991/stat : 12991 (java) S 12972 12974 8455 0 -1 4202560 1761 0 0 0 18 0 0 0 15 0 19 0 883400836 10795376640 16299 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0

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

/proc/12974/task/12978/stat : 12978 (java) S 12972 12974 8455 0 -1 4202560 85 0 0 0 1 0 0 0 15 0 19 0 883400833 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12979] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12979/stat : 12979 (java) S 12972 12974 8455 0 -1 4202560 33 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12980] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12980/stat : 12980 (java) S 12972 12974 8455 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12981] ppid=12972 vsize=10544188 CPUtime=0.01 cores=0,2,4,6
/proc/12974/task/12981/stat : 12981 (java) S 12972 12974 8455 0 -1 4202560 43 0 0 0 1 0 0 0 15 0 19 0 883400833 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12982] ppid=12972 vsize=10544188 CPUtime=0.01 cores=0,2,4,6
/proc/12974/task/12982/stat : 12982 (java) S 12972 12974 8455 0 -1 4202560 40 0 0 0 1 0 0 0 15 0 19 0 883400833 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12983] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12983/stat : 12983 (java) S 12972 12974 8455 0 -1 4202560 142 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12984] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12984/stat : 12984 (java) S 12972 12974 8455 0 -1 4202560 166 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12985] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12985/stat : 12985 (java) S 12972 12974 8455 0 -1 4202560 58 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12986] ppid=12972 vsize=10544188 CPUtime=1.02 cores=0,2,4,6
/proc/12974/task/12986/stat : 12986 (java) S 12972 12974 8455 0 -1 4202560 819 0 0 0 101 1 0 0 16 0 19 0 883400834 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12987] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12987/stat : 12987 (java) S 12972 12974 8455 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 883400834 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12988] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12988/stat : 12988 (java) S 12972 12974 8455 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 883400834 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12989] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12989/stat : 12989 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12990] ppid=12972 vsize=10544188 CPUtime=0.22 cores=0,2,4,6
/proc/12974/task/12990/stat : 12990 (java) S 12972 12974 8455 0 -1 4202560 2337 0 0 0 22 0 0 0 15 0 19 0 883400836 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12991] ppid=12972 vsize=10544188 CPUtime=0.77 cores=0,2,4,6
/proc/12974/task/12991/stat : 12991 (java) S 12972 12974 8455 0 -1 4202560 10145 0 0 0 76 1 0 0 16 0 19 0 883400836 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12992] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12992/stat : 12992 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12993] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12993/stat : 12993 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883400836 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12994] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12994/stat : 12994 (java) S 12972 12974 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883400847 10797248512 20742 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 10544188

[startup+24.7008 s]
/proc/loadavg: 1.97 1.99 1.94 3/214 13052
/proc/meminfo: memFree=1281368/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10544188 CPUtime=25.78 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 27066 0 1 0 2573 5 0 0 25 0 19 0 883400831 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2636047 20745 2250 9 0 2626781 0
[pid=12974/tid=12975] ppid=12972 vsize=10544188 CPUtime=23.52 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) S 12972 12974 8455 0 -1 4202560 12035 0 1 0 2350 2 0 0 25 0 19 0 883400831 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12978] ppid=12972 vsize=10544188 CPUtime=0.01 cores=0,2,4,6
/proc/12974/task/12978/stat : 12978 (java) S 12972 12974 8455 0 -1 4202560 85 0 0 0 1 0 0 0 15 0 19 0 883400833 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12979] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12979/stat : 12979 (java) S 12972 12974 8455 0 -1 4202560 33 0 0 0 2 0 0 0 16 0 19 0 883400833 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12980] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12980/stat : 12980 (java) S 12972 12974 8455 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12981] ppid=12972 vsize=10544188 CPUtime=0.01 cores=0,2,4,6
/proc/12974/task/12981/stat : 12981 (java) S 12972 12974 8455 0 -1 4202560 43 0 0 0 1 0 0 0 16 0 19 0 883400833 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12982] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12982/stat : 12982 (java) S 12972 12974 8455 0 -1 4202560 40 0 0 0 2 0 0 0 16 0 19 0 883400833 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12983] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12983/stat : 12983 (java) S 12972 12974 8455 0 -1 4202560 142 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12984] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12984/stat : 12984 (java) S 12972 12974 8455 0 -1 4202560 166 0 0 0 2 0 0 0 16 0 19 0 883400833 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12985] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12985/stat : 12985 (java) S 12972 12974 8455 0 -1 4202560 58 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12986] ppid=12972 vsize=10544188 CPUtime=1.06 cores=0,2,4,6
/proc/12974/task/12986/stat : 12986 (java) R 12972 12974 8455 0 -1 4202560 821 0 0 0 105 1 0 0 15 0 19 0 883400834 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270338077748 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=12974/tid=12987] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12987/stat : 12987 (java) S 12972 12974 8455 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 883400834 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12988] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12988/stat : 12988 (java) S 12972 12974 8455 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 883400834 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12989] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12989/stat : 12989 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12990] ppid=12972 vsize=10544188 CPUtime=0.22 cores=0,2,4,6
/proc/12974/task/12990/stat : 12990 (java) S 12972 12974 8455 0 -1 4202560 2337 0 0 0 22 0 0 0 15 0 19 0 883400836 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12991] ppid=12972 vsize=10544188 CPUtime=0.78 cores=0,2,4,6
/proc/12974/task/12991/stat : 12991 (java) S 12972 12974 8455 0 -1 4202560 10145 0 0 0 77 1 0 0 15 0 19 0 883400836 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12992] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12992/stat : 12992 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12993] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12993/stat : 12993 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883400836 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12994] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12994/stat : 12994 (java) S 12972 12974 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883400847 10797248512 20745 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.78
Current children cumulated vsize (KiB) 10544188

[startup+24.9007 s]
/proc/loadavg: 1.97 1.99 1.94 3/214 13052
/proc/meminfo: memFree=1281368/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10544188 CPUtime=25.98 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 27068 0 1 0 2593 5 0 0 25 0 19 0 883400831 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2636047 20747 2250 9 0 2626781 0
[pid=12974/tid=12975] ppid=12972 vsize=10544188 CPUtime=23.71 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) R 12972 12974 8455 0 -1 4202560 12035 0 1 0 2369 2 0 0 25 0 19 0 883400831 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 46912505627329 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12974/tid=12978] ppid=12972 vsize=10544188 CPUtime=0.01 cores=0,2,4,6
/proc/12974/task/12978/stat : 12978 (java) S 12972 12974 8455 0 -1 4202560 85 0 0 0 1 0 0 0 15 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12979] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12979/stat : 12979 (java) S 12972 12974 8455 0 -1 4202560 33 0 0 0 2 0 0 0 16 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12980] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12980/stat : 12980 (java) S 12972 12974 8455 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12981] ppid=12972 vsize=10544188 CPUtime=0.01 cores=0,2,4,6
/proc/12974/task/12981/stat : 12981 (java) S 12972 12974 8455 0 -1 4202560 43 0 0 0 1 0 0 0 16 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12982] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12982/stat : 12982 (java) S 12972 12974 8455 0 -1 4202560 40 0 0 0 2 0 0 0 16 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12983] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12983/stat : 12983 (java) S 12972 12974 8455 0 -1 4202560 142 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12984] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12984/stat : 12984 (java) S 12972 12974 8455 0 -1 4202560 166 0 0 0 2 0 0 0 16 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12985] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12985/stat : 12985 (java) S 12972 12974 8455 0 -1 4202560 58 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12986] ppid=12972 vsize=10544188 CPUtime=1.07 cores=0,2,4,6
/proc/12974/task/12986/stat : 12986 (java) S 12972 12974 8455 0 -1 4202560 823 0 0 0 106 1 0 0 16 0 19 0 883400834 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12987] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12987/stat : 12987 (java) S 12972 12974 8455 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 883400834 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12988] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12988/stat : 12988 (java) S 12972 12974 8455 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 883400834 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12989] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12989/stat : 12989 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12990] ppid=12972 vsize=10544188 CPUtime=0.22 cores=0,2,4,6
/proc/12974/task/12990/stat : 12990 (java) S 12972 12974 8455 0 -1 4202560 2337 0 0 0 22 0 0 0 15 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12991] ppid=12972 vsize=10544188 CPUtime=0.78 cores=0,2,4,6
/proc/12974/task/12991/stat : 12991 (java) S 12972 12974 8455 0 -1 4202560 10145 0 0 0 77 1 0 0 15 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12992] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12992/stat : 12992 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12993] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12993/stat : 12993 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12994] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12994/stat : 12994 (java) S 12972 12974 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883400847 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.98
Current children cumulated vsize (KiB) 10544188

[startup+25.0007 s]
/proc/loadavg: 1.97 1.99 1.94 3/214 13052
/proc/meminfo: memFree=1281368/32951124 swapFree=67054448/67111528
[pid=12974] ppid=12972 vsize=10544188 CPUtime=26.08 cores=0,2,4,6
/proc/12974/stat : 12974 (java) S 12972 12974 8455 0 -1 4202496 27068 0 1 0 2603 5 0 0 25 0 19 0 883400831 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12974/statm: 2636047 20747 2250 9 0 2626781 0
[pid=12974/tid=12975] ppid=12972 vsize=10544188 CPUtime=23.81 cores=0,2,4,6
/proc/12974/task/12975/stat : 12975 (java) R 12972 12974 8455 0 -1 4202560 12035 0 1 0 2379 2 0 0 25 0 19 0 883400831 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 46912505588482 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12974/tid=12978] ppid=12972 vsize=10544188 CPUtime=0.01 cores=0,2,4,6
/proc/12974/task/12978/stat : 12978 (java) S 12972 12974 8455 0 -1 4202560 85 0 0 0 1 0 0 0 15 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12979] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12979/stat : 12979 (java) S 12972 12974 8455 0 -1 4202560 33 0 0 0 2 0 0 0 16 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12980] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12980/stat : 12980 (java) S 12972 12974 8455 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12981] ppid=12972 vsize=10544188 CPUtime=0.01 cores=0,2,4,6
/proc/12974/task/12981/stat : 12981 (java) S 12972 12974 8455 0 -1 4202560 43 0 0 0 1 0 0 0 16 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12982] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12982/stat : 12982 (java) S 12972 12974 8455 0 -1 4202560 40 0 0 0 2 0 0 0 16 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12983] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12983/stat : 12983 (java) S 12972 12974 8455 0 -1 4202560 142 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12984] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12984/stat : 12984 (java) S 12972 12974 8455 0 -1 4202560 166 0 0 0 2 0 0 0 16 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12985] ppid=12972 vsize=10544188 CPUtime=0.02 cores=0,2,4,6
/proc/12974/task/12985/stat : 12985 (java) S 12972 12974 8455 0 -1 4202560 58 0 0 0 2 0 0 0 15 0 19 0 883400833 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12986] ppid=12972 vsize=10544188 CPUtime=1.07 cores=0,2,4,6
/proc/12974/task/12986/stat : 12986 (java) S 12972 12974 8455 0 -1 4202560 823 0 0 0 106 1 0 0 16 0 19 0 883400834 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12987] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12987/stat : 12987 (java) S 12972 12974 8455 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 883400834 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12988] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12988/stat : 12988 (java) S 12972 12974 8455 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 883400834 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12989] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12989/stat : 12989 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12990] ppid=12972 vsize=10544188 CPUtime=0.22 cores=0,2,4,6
/proc/12974/task/12990/stat : 12990 (java) S 12972 12974 8455 0 -1 4202560 2337 0 0 0 22 0 0 0 15 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=12974/tid=12991] ppid=12972 vsize=10544188 CPUtime=0.78 cores=0,2,4,6
/proc/12974/task/12991/stat : 12991 (java) S 12972 12974 8455 0 -1 4202560 10145 0 0 0 77 1 0 0 15 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=12974/tid=12992] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12992/stat : 12992 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=12974/tid=12993] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12993/stat : 12993 (java) S 12972 12974 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883400836 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
[pid=12974/tid=12994] ppid=12972 vsize=10544188 CPUtime=0 cores=0,2,4,6
/proc/12974/task/12994/stat : 12994 (java) S 12972 12974 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883400847 10797248512 20747 33554432000 1073741824 1073778376 140734750436256 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.08
Current children cumulated vsize (KiB) 10544188

Child status: 30
Real time (s): 25.0587
CPU time (s): 26.162
CPU user time (s): 26.105
CPU system time (s): 0.056991
CPU usage (%): 104.403
Max. virtual memory (cumulated for all children) (KiB): 10544188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.105
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27098
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= 3058
involuntary context switches= 1289

runsolver used 0.045993 second user time and 0.094985 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-12 22:17:32
IDJOB=3492447
IDBENCH=78821
IDSOLVER=1982
FILE ID=node143/3492447-1307909852
RUNJOBID= node143-1307908050-12754
PBS_JOBID= 13559565
Free space on /var/tmp= 2916 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492447-1307909852/watcher-3492447-1307909852 -o /var/tmp/evaluation-result-3492447-1307909852/solver-3492447-1307909852 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492447-1307909852.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 933a31389d3b5781af16184cd4c2b51e
RANDOM SEED=1853716982

node143.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.846
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.846
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	: 5226.15
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.846
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.74
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.846
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.83
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.846
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.846
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.846
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.74
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.846
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:       1389284 kB
Buffers:         62344 kB
Cached:       30489704 kB
SwapCached:       9452 kB
Active:       15867276 kB
Inactive:     14747920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1389284 kB
SwapTotal:    67111528 kB
SwapFree:     67054448 kB
Dirty:             876 kB
Writeback:           0 kB
AnonPages:       61188 kB
Mapped:          20696 kB
Slab:           882568 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10535884 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 /var/tmp at the end= 2916 MiB
End job on node143 at 2011-06-12 22:17:57