Trace number 3492512

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 33.4109 32.9013

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo
MD5SUM994f94b5e00e9f32d6033ad27b9df019
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark1.27281
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 constraints28
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 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1261
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492512-1307909918.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.053s.
0.10/0.16	c #vars     197
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
0.69/0.45	c cleaning 2496 clauses out of 5004 with flag 5004/5004
0.82/0.50	c SATISFIABLE
0.82/0.50	c OPTIMIZING...
0.82/0.50	c Got one! Elapsed wall clock time (in seconds):0.388
0.82/0.50	o 221
0.92/0.63	c cleaning 3833 clauses out of 7681 with flag 4000/10177
1.15/0.82	c cleaning 4919 clauses out of 9849 with flag 10001/16178
1.36/1.05	c cleaning 5961 clauses out of 11930 with flag 17001/23178
1.48/1.17	c Got one! Elapsed wall clock time (in seconds):1.059
1.48/1.17	o 153
1.57/1.24	c cleaning 5899 clauses out of 11808 with flag 2001/29017
1.77/1.43	c cleaning 5950 clauses out of 11908 with flag 8000/35016
1.97/1.65	c cleaning 6476 clauses out of 12959 with flag 15001/42017
2.28/1.91	c cleaning 7236 clauses out of 14484 with flag 23002/50018
2.59/2.25	c cleaning 8121 clauses out of 16248 with flag 32002/59018
2.88/2.59	c cleaning 9058 clauses out of 18126 with flag 42001/69017
3.28/2.93	c cleaning 9531 clauses out of 19070 with flag 52003/79019
3.59/3.26	c cleaning 9764 clauses out of 19536 with flag 62000/89016
3.88/3.57	c cleaning 9881 clauses out of 19772 with flag 72000/99016
4.18/3.88	c cleaning 9943 clauses out of 19893 with flag 82002/109018
4.59/4.21	c cleaning 9971 clauses out of 19949 with flag 92001/119017
4.89/4.55	c cleaning 9989 clauses out of 19979 with flag 102002/129018
5.19/4.89	c cleaning 9987 clauses out of 19988 with flag 112000/139016
5.49/5.12	c Got one! Elapsed wall clock time (in seconds):5.007
5.49/5.12	o 117
5.69/5.32	c cleaning 11119 clauses out of 22247 with flag 5000/151262
5.90/5.52	c cleaning 8556 clauses out of 17128 with flag 11000/157262
6.10/5.76	c cleaning 7781 clauses out of 15573 with flag 18001/164263
6.40/6.01	c cleaning 7893 clauses out of 15792 with flag 26001/172263
6.40/6.05	c Got one! Elapsed wall clock time (in seconds):5.941
6.40/6.05	o 103
6.50/6.17	c cleaning 6461 clauses out of 12926 with flag 4000/177290
6.70/6.35	c cleaning 6227 clauses out of 12466 with flag 10001/183291
6.91/6.57	c cleaning 6616 clauses out of 13240 with flag 17002/190292
7.20/6.83	c cleaning 7310 clauses out of 14623 with flag 25001/198291
7.50/7.12	c cleaning 8151 clauses out of 16312 with flag 34000/207290
7.80/7.44	c cleaning 9070 clauses out of 18161 with flag 44000/217290
8.11/7.78	c cleaning 9542 clauses out of 19093 with flag 54002/227292
8.51/8.12	c cleaning 9770 clauses out of 19551 with flag 64002/237292
8.81/8.45	c cleaning 9888 clauses out of 19780 with flag 74001/247291
9.22/8.80	c cleaning 9941 clauses out of 19892 with flag 84001/257291
9.51/9.15	c cleaning 9968 clauses out of 19950 with flag 94000/267290
9.91/9.50	c cleaning 9986 clauses out of 19983 with flag 104001/277291
10.32/9.91	c cleaning 9994 clauses out of 19997 with flag 114001/287291
10.71/10.30	c cleaning 9997 clauses out of 20004 with flag 124002/297292
11.11/10.72	c cleaning 10000 clauses out of 20006 with flag 134001/307291
11.51/11.11	c cleaning 10002 clauses out of 20008 with flag 144003/317293
11.91/11.50	c cleaning 9998 clauses out of 20003 with flag 154000/327290
12.21/11.87	c cleaning 9995 clauses out of 20006 with flag 164001/337291
12.61/12.24	c cleaning 10000 clauses out of 20010 with flag 174000/347290
13.02/12.60	c cleaning 10002 clauses out of 20012 with flag 184002/357292
13.32/12.96	c cleaning 10000 clauses out of 20008 with flag 194000/367290
13.72/13.37	c cleaning 10000 clauses out of 20009 with flag 204001/377291
14.12/13.74	c cleaning 9999 clauses out of 20008 with flag 214000/387290
14.52/14.13	c cleaning 9999 clauses out of 20010 with flag 224001/397291
14.82/14.43	c Got one! Elapsed wall clock time (in seconds):14.325
14.82/14.43	o 83
15.02/14.66	c cleaning 11653 clauses out of 23311 with flag 5000/410591
15.23/14.88	c cleaning 8823 clauses out of 17658 with flag 11000/416591
15.53/15.14	c cleaning 7913 clauses out of 15835 with flag 18000/423591
15.83/15.42	c cleaning 7956 clauses out of 15923 with flag 26001/431592
16.14/15.72	c cleaning 8476 clauses out of 16966 with flag 35000/440591
16.44/16.06	c cleaning 9244 clauses out of 18491 with flag 45001/450592
16.84/16.44	c cleaning 9619 clauses out of 19247 with flag 55001/460592
17.24/16.84	c cleaning 9809 clauses out of 19628 with flag 65001/470592
17.64/17.20	c cleaning 9905 clauses out of 19818 with flag 75000/480591
17.95/17.55	c cleaning 9952 clauses out of 19914 with flag 85001/490592
18.24/17.89	c cleaning 9978 clauses out of 19962 with flag 95001/500592
18.64/18.25	c cleaning 9989 clauses out of 19987 with flag 105004/510595
19.05/18.61	c cleaning 9992 clauses out of 19995 with flag 115001/520592
19.34/18.95	c cleaning 9997 clauses out of 20004 with flag 125002/530593
19.75/19.31	c cleaning 9996 clauses out of 20006 with flag 135001/540592
20.05/19.66	c cleaning 9996 clauses out of 20010 with flag 145001/550592
20.45/20.01	c cleaning 10001 clauses out of 20014 with flag 155001/560592
20.75/20.36	c cleaning 10001 clauses out of 20013 with flag 165001/570592
21.17/20.72	c cleaning 10003 clauses out of 20012 with flag 175001/580592
21.47/21.08	c cleaning 10000 clauses out of 20008 with flag 185000/590591
21.87/21.45	c cleaning 9997 clauses out of 20008 with flag 195000/600591
22.27/21.80	c cleaning 10004 clauses out of 20012 with flag 205001/610592
22.57/22.16	c cleaning 10000 clauses out of 20007 with flag 215000/620591
22.97/22.52	c cleaning 9996 clauses out of 20009 with flag 225002/630593
23.27/22.88	c cleaning 10004 clauses out of 20013 with flag 235002/640593
23.68/23.27	c cleaning 10000 clauses out of 20009 with flag 245002/650593
24.08/23.65	c cleaning 10001 clauses out of 20009 with flag 255002/660593
24.48/24.01	c cleaning 9998 clauses out of 20007 with flag 265001/670592
24.78/24.39	c cleaning 10001 clauses out of 20009 with flag 275001/680592
25.18/24.74	c cleaning 9999 clauses out of 20008 with flag 285001/690592
25.58/25.12	c cleaning 10002 clauses out of 20010 with flag 295002/700593
25.88/25.49	c cleaning 10001 clauses out of 20008 with flag 305002/710593
26.28/25.86	c cleaning 9996 clauses out of 20005 with flag 315000/720591
26.68/26.20	c cleaning 9998 clauses out of 20009 with flag 325000/730591
27.08/26.62	c cleaning 10004 clauses out of 20015 with flag 335004/740595
27.48/27.00	c cleaning 10000 clauses out of 20007 with flag 345000/750591
27.78/27.38	c cleaning 10002 clauses out of 20007 with flag 355000/760591
28.18/27.74	c cleaning 9998 clauses out of 20005 with flag 365000/770591
28.58/28.12	c cleaning 10000 clauses out of 20009 with flag 375002/780593
28.88/28.50	c cleaning 9999 clauses out of 20008 with flag 385001/790592
29.28/28.86	c cleaning 9999 clauses out of 20009 with flag 395001/800592
29.68/29.21	c cleaning 9996 clauses out of 20009 with flag 405000/810591
29.98/29.56	c cleaning 10004 clauses out of 20013 with flag 415000/820591
30.38/29.93	c cleaning 10000 clauses out of 20010 with flag 425001/830592
30.78/30.30	c cleaning 10002 clauses out of 20009 with flag 435000/840591
31.19/30.71	c cleaning 10002 clauses out of 20007 with flag 445000/850591
31.49/31.08	c cleaning 9995 clauses out of 20006 with flag 455001/860592
31.89/31.44	c cleaning 9996 clauses out of 20010 with flag 465000/870591
32.30/31.82	c cleaning 10002 clauses out of 20014 with flag 475000/880591
32.59/32.19	c cleaning 10003 clauses out of 20013 with flag 485001/890592
32.99/32.57	c cleaning 10003 clauses out of 20010 with flag 495001/900592
33.29/32.88	c Got one! Elapsed wall clock time (in seconds):32.768
33.29/32.88	o 80
33.29/32.89	c starts		: 176
33.29/32.89	c conflicts		: 908927
33.29/32.89	c decisions		: 1416028
33.29/32.89	c propagations		: 20907295
33.29/32.89	c inspects		: 203614857
33.29/32.89	c shortcuts		: 0
33.29/32.89	c learnt literals	: 1
33.29/32.89	c learnt binary clauses	: 5
33.29/32.89	c learnt ternary clauses	: 205
33.29/32.89	c learnt constraints	: 908926
33.29/32.89	c ignored constraints	: 0
33.29/32.89	c root simplifications	: 0
33.29/32.89	c removed literals (reason simplification)	: 7462042
33.29/32.89	c reason swapping (by a shorter reason)	: 0
33.29/32.89	c Calls to reduceDB	: 96
33.29/32.89	c number of reductions to clauses (during analyze)	: 0
33.29/32.89	c number of learned constraints concerned by reduction	: 0
33.29/32.89	c number of learning phase by resolution	: 0
33.29/32.89	c number of learning phase by cutting planes	: 0
33.29/32.89	c speed (assignments/second)	: 1.3938196666666667E9
33.29/32.89	c non guided choices	295
33.29/32.89	c learnt constraints type 
33.29/32.89	c constraints type 
33.29/32.89	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
33.29/32.89	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
33.29/32.89	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
33.29/32.89	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
33.29/32.89	s OPTIMUM FOUND
33.29/32.89	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 
33.29/32.89	c objective function=80
33.29/32.89	c Total wall clock time (in seconds): 32.784

Verifier Data

OK	80

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 /tmp/evaluation-result-3492512-1307909918/watcher-3492512-1307909918 -o /tmp/evaluation-result-3492512-1307909918/solver-3492512-1307909918 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492512-1307909918.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.91 2/175 19702
/proc/meminfo: memFree=8055596/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 428 0 0 0 0 0 0 0 25 0 1 0 981222517 9318400 172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224280002183 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/19702/statm: 2275 172 132 9 0 67 0

[startup+0.0570519 s]
/proc/loadavg: 1.84 1.97 1.91 2/175 19702
/proc/meminfo: memFree=8055596/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 11486 0 1 0 3 1 0 0 25 0 13 0 981222517 10718838784 11181 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2616904 11181 1685 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.101042 s]
/proc/loadavg: 1.84 1.97 1.91 2/175 19702
/proc/meminfo: memFree=8055596/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10605164 CPUtime=0.1 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 13085 0 1 0 8 2 0 0 25 0 18 0 981222517 10859687936 12759 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2651291 12763 2092 9 0 2642025 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605164

[startup+0.30098 s]
/proc/loadavg: 1.84 1.97 1.91 2/175 19702
/proc/meminfo: memFree=8055596/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10609608 CPUtime=0.54 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 16623 0 1 0 51 3 0 0 25 0 19 0 981222517 10864238592 14938 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2652402 14938 2214 9 0 2643136 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10609608

[startup+0.700969 s]
/proc/loadavg: 1.84 1.97 1.91 2/175 19702
/proc/meminfo: memFree=8055596/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10609608 CPUtime=1.05 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 18016 0 1 0 102 3 0 0 25 0 19 0 981222517 10864238592 16017 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2652402 16017 2246 9 0 2643136 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 10609608

[startup+1.50082 s]
/proc/loadavg: 1.84 1.97 1.91 2/191 19745
/proc/meminfo: memFree=8001888/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10609608 CPUtime=1.87 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 18261 0 1 0 184 3 0 0 25 0 19 0 981222517 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2652402 16172 2247 9 0 2643136 0
[pid=19702/tid=19704] ppid=19700 vsize=10609608 CPUtime=1.4 cores=0,2,4,6
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18184 0 -1 4202560 11972 0 1 0 138 2 0 0 20 0 19 0 981222518 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 46912505614552 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18184 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18184 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18184 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18184 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18184 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18184 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 18184 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=10609608 CPUtime=0.06 cores=0,2,4,6
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 18184 0 -1 4202560 414 0 0 0 6 0 0 0 16 0 19 0 981222520 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 0 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 18184 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296749489 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=10609608 CPUtime=0.17 cores=0,2,4,6
/proc/19702/task/19717/stat : 19717 (java) S 19700 19702 18184 0 -1 4202560 1769 0 0 0 17 0 0 0 15 0 19 0 981222523 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=10609608 CPUtime=0.2 cores=0,2,4,6
/proc/19702/task/19718/stat : 19718 (java) S 19700 19702 18184 0 -1 4202560 2508 0 0 0 20 0 0 0 18 0 19 0 981222523 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981222523 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981222534 10864238592 16172 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10609608

[startup+3.10155 s]
/proc/loadavg: 1.84 1.97 1.91 3/214 19777
/proc/meminfo: memFree=7945648/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10609608 CPUtime=3.48 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 18591 0 1 0 345 3 0 0 25 0 19 0 981222517 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2652402 16497 2247 9 0 2643136 0
[pid=19702/tid=19704] ppid=19700 vsize=10609608 CPUtime=2.94 cores=0,2,4,6
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18184 0 -1 4202560 11977 0 1 0 292 2 0 0 23 0 19 0 981222518 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 46912505522730 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18184 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18184 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18184 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18184 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18184 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18184 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18184 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 18184 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=10609608 CPUtime=0.12 cores=0,2,4,6
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 18184 0 -1 4202560 603 0 0 0 12 0 0 0 16 0 19 0 981222520 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 0 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 18184 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296749489 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=10609608 CPUtime=0.17 cores=0,2,4,6
/proc/19702/task/19717/stat : 19717 (java) S 19700 19702 18184 0 -1 4202560 1769 0 0 0 17 0 0 0 15 0 19 0 981222523 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=10609608 CPUtime=0.2 cores=0,2,4,6
/proc/19702/task/19718/stat : 19718 (java) S 19700 19702 18184 0 -1 4202560 2508 0 0 0 20 0 0 0 15 0 19 0 981222523 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981222523 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981222534 10864238592 16497 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10609608

[startup+6.30102 s]
/proc/loadavg: 1.85 1.97 1.91 3/214 19777
/proc/meminfo: memFree=7942336/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10609608 CPUtime=6.7 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 18738 0 1 0 666 4 0 0 25 0 19 0 981222517 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2652402 16633 2247 9 0 2643136 0
[pid=19702/tid=19704] ppid=19700 vsize=10609608 CPUtime=5.98 cores=0,2,4,6
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18184 0 -1 4202560 11988 0 1 0 596 2 0 0 25 0 19 0 981222518 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 46912505557963 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18184 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18184 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18184 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18184 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18184 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18184 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18184 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 18184 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 981222519 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=10609608 CPUtime=0.26 cores=0,2,4,6
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 18184 0 -1 4202560 730 0 0 0 26 0 0 0 16 0 19 0 981222520 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 0 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 18184 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296749489 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=10609608 CPUtime=0.17 cores=0,2,4,6
/proc/19702/task/19717/stat : 19717 (java) S 19700 19702 18184 0 -1 4202560 1769 0 0 0 17 0 0 0 15 0 19 0 981222523 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=10609608 CPUtime=0.2 cores=0,2,4,6
/proc/19702/task/19718/stat : 19718 (java) S 19700 19702 18184 0 -1 4202560 2508 0 0 0 20 0 0 0 15 0 19 0 981222523 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981222523 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981222534 10864238592 16633 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 10609608

[startup+12.701 s]

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

/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18184 0 -1 4202560 174 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18184 0 -1 4202560 84 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18184 0 -1 4202560 21 0 0 0 2 0 0 0 16 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18184 0 -1 4202560 75 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=10609608 CPUtime=0.01 cores=0,2,4,6
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 1 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18184 0 -1 4202560 37 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18184 0 -1 4202560 106 0 0 0 2 0 0 0 16 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 18184 0 -1 4202560 107 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=10609608 CPUtime=1.21 cores=0,2,4,6
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 18184 0 -1 4202560 857 0 0 0 120 1 0 0 15 0 19 0 981222520 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 0 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 18184 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296749489 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=10609608 CPUtime=0.17 cores=0,2,4,6
/proc/19702/task/19717/stat : 19717 (java) S 19700 19702 18184 0 -1 4202560 1769 0 0 0 17 0 0 0 15 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=10609608 CPUtime=0.23 cores=0,2,4,6
/proc/19702/task/19718/stat : 19718 (java) S 19700 19702 18184 0 -1 4202560 2777 0 0 0 23 0 0 0 15 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 18184 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981222534 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.4
Current children cumulated vsize (KiB) 10609608

[startup+32.3007 s]
/proc/loadavg: 1.90 1.97 1.91 3/214 19834
/proc/meminfo: memFree=7938204/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10609608 CPUtime=32.79 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 19229 0 1 0 3274 5 0 0 25 0 19 0 981222517 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2652402 16802 2248 9 0 2643136 0
[pid=19702/tid=19704] ppid=19700 vsize=10609608 CPUtime=30.93 cores=0,2,4,6
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18184 0 -1 4202560 12060 0 1 0 3091 2 0 0 18 0 19 0 981222518 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 46912505635146 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18184 0 -1 4202560 174 0 0 0 2 0 0 0 16 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18184 0 -1 4202560 84 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18184 0 -1 4202560 21 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18184 0 -1 4202560 75 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=10609608 CPUtime=0.01 cores=0,2,4,6
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 1 0 0 0 16 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18184 0 -1 4202560 37 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18184 0 -1 4202560 106 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 18184 0 -1 4202560 107 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=10609608 CPUtime=1.22 cores=0,2,4,6
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 18184 0 -1 4202560 857 0 0 0 121 1 0 0 15 0 19 0 981222520 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 0 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 18184 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296749489 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=10609608 CPUtime=0.17 cores=0,2,4,6
/proc/19702/task/19717/stat : 19717 (java) S 19700 19702 18184 0 -1 4202560 1769 0 0 0 17 0 0 0 15 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=10609608 CPUtime=0.23 cores=0,2,4,6
/proc/19702/task/19718/stat : 19718 (java) S 19700 19702 18184 0 -1 4202560 2777 0 0 0 23 0 0 0 15 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 18184 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981222523 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981222534 10864238592 16802 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.79
Current children cumulated vsize (KiB) 10609608

[startup+32.7016 s]
/proc/loadavg: 1.90 1.97 1.91 3/214 19834
/proc/meminfo: memFree=7938204/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10609608 CPUtime=33.19 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 19234 0 1 0 3314 5 0 0 25 0 19 0 981222517 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2652402 16804 2249 9 0 2643136 0
[pid=19702/tid=19704] ppid=19700 vsize=10609608 CPUtime=31.31 cores=0,2,4,6
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18184 0 -1 4202560 12063 0 1 0 3129 2 0 0 19 0 19 0 981222518 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 46912505522721 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18184 0 -1 4202560 174 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18184 0 -1 4202560 84 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18184 0 -1 4202560 21 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18184 0 -1 4202560 75 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=10609608 CPUtime=0.01 cores=0,2,4,6
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 1 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=10609608 CPUtime=0.03 cores=0,2,4,6
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18184 0 -1 4202560 37 0 0 0 3 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18184 0 -1 4202560 106 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 18184 0 -1 4202560 107 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=10609608 CPUtime=1.23 cores=0,2,4,6
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 18184 0 -1 4202560 858 0 0 0 122 1 0 0 15 0 19 0 981222520 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 0 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 18184 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296749489 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=10609608 CPUtime=0.17 cores=0,2,4,6
/proc/19702/task/19717/stat : 19717 (java) S 19700 19702 18184 0 -1 4202560 1769 0 0 0 17 0 0 0 15 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=10609608 CPUtime=0.23 cores=0,2,4,6
/proc/19702/task/19718/stat : 19718 (java) S 19700 19702 18184 0 -1 4202560 2778 0 0 0 23 0 0 0 15 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 18184 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981222534 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.19
Current children cumulated vsize (KiB) 10609608

[startup+32.8016 s]
/proc/loadavg: 1.90 1.97 1.91 3/214 19834
/proc/meminfo: memFree=7938204/32951124 swapFree=67049472/67111528
[pid=19702] ppid=19700 vsize=10609608 CPUtime=33.29 cores=0,2,4,6
/proc/19702/stat : 19702 (java) S 19700 19702 18184 0 -1 4202496 19234 0 1 0 3324 5 0 0 25 0 19 0 981222517 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19702/statm: 2652402 16804 2249 9 0 2643136 0
[pid=19702/tid=19704] ppid=19700 vsize=10609608 CPUtime=31.41 cores=0,2,4,6
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18184 0 -1 4202560 12063 0 1 0 3139 2 0 0 19 0 19 0 981222518 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 46912505558727 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18184 0 -1 4202560 174 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18184 0 -1 4202560 84 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18184 0 -1 4202560 21 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18184 0 -1 4202560 75 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=10609608 CPUtime=0.01 cores=0,2,4,6
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 1 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=10609608 CPUtime=0.03 cores=0,2,4,6
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18184 0 -1 4202560 37 0 0 0 3 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18184 0 -1 4202560 106 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=10609608 CPUtime=0.02 cores=0,2,4,6
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 18184 0 -1 4202560 107 0 0 0 2 0 0 0 15 0 19 0 981222519 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=10609608 CPUtime=1.23 cores=0,2,4,6
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 18184 0 -1 4202560 858 0 0 0 122 1 0 0 15 0 19 0 981222520 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 0 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 18184 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 18184 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 981222521 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296749489 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=10609608 CPUtime=0.17 cores=0,2,4,6
/proc/19702/task/19717/stat : 19717 (java) S 19700 19702 18184 0 -1 4202560 1769 0 0 0 17 0 0 0 15 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=10609608 CPUtime=0.23 cores=0,2,4,6
/proc/19702/task/19718/stat : 19718 (java) S 19700 19702 18184 0 -1 4202560 2778 0 0 0 23 0 0 0 15 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 6 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296741785 0 4 0 16800975 18446604453875161984 0 0 -1 4 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 18184 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981222523 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 2 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=10609608 CPUtime=0 cores=0,2,4,6
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981222534 10864238592 16804 33554432000 1073741824 1073778376 140733197672848 18446744073709551615 224296742400 0 4 0 16800975 18446604453875161984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.29
Current children cumulated vsize (KiB) 10609608

Child status: 30
Real time (s): 32.9013
CPU time (s): 33.4109
CPU user time (s): 33.3519
CPU system time (s): 0.058991
CPU usage (%): 101.549
Max. virtual memory (cumulated for all children) (KiB): 10609608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.3519
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19255
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= 3428
involuntary context switches= 1430

runsolver used 0.054991 second user time and 0.134979 second system time

The end

Launcher Data

Begin job on node118 at 2011-06-12 22:18:39
IDJOB=3492512
IDBENCH=78852
IDSOLVER=1982
FILE ID=node118/3492512-1307909918
RUNJOBID= node118-1307908120-19537
PBS_JOBID= 13559604
Free space on /tmp= 18216 MiB

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

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

MD5SUM BENCH= 994f94b5e00e9f32d6033ad27b9df019
RANDOM SEED=1677047492

node118.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.842
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.68
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.842
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	: 5332.75
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.842
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.842
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.75
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.842
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.68
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.842
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.75
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.842
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.75
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       8055892 kB
Buffers:         70784 kB
Cached:       24012036 kB
SwapCached:      14020 kB
Active:        8884352 kB
Inactive:     15218940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       8055892 kB
SwapTotal:    67111528 kB
SwapFree:     67049472 kB
Dirty:             540 kB
Writeback:           0 kB
AnonPages:       19472 kB
Mapped:           9644 kB
Slab:           726756 kB
PageTables:       4640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   226504 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= 18216 MiB
End job on node118 at 2011-06-12 22:19:11