Trace number 3688779

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
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1807.68 1800.99

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_5_80.opb
MD5SUM611c10fb20bc9774d31ac4d0681f384d
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31412
Sum of products size (including duplicates)62824
Number of different products15706
Sum of products size31412

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3688779-1337888038.opb
0.09/0.11	c reading problem ... 
1.31/0.67	c ... done. Wall clock time 0.553s.
1.31/0.67	c declared #vars     1000
1.31/0.67	c internal #vars     16706
1.31/0.67	c #constraints  32915
1.31/0.67	c constraints type 
1.31/0.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15706
1.31/0.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1.31/0.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.31/0.67	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15706
1.31/0.67	c 32915 constraints processed.
5.19/3.93	c cleaning 2541 clauses out of 5081 with flag 5081/5081
8.42/7.09	c cleaning 4310 clauses out of 8620 with flag 11161/11161
11.76/10.40	c cleaning 5594 clauses out of 11187 with flag 18038/18038
15.29/13.88	c cleaning 6733 clauses out of 13555 with flag 26000/26000
19.13/17.64	c cleaning 7939 clauses out of 15878 with flag 35056/35056
21.99/20.43	c cleaning 8945 clauses out of 17897 with flag 45014/45014
23.61/22.03	c cleaning 9963 clauses out of 19944 with flag 56006/56006
25.26/23.66	c cleaning 10985 clauses out of 21975 with flag 68000/68000
28.38/26.75	c cleaning 12017 clauses out of 24034 with flag 81044/81044
36.81/35.11	c cleaning 12954 clauses out of 25973 with flag 95000/95000
44.60/42.87	c cleaning 14072 clauses out of 28144 with flag 110125/110125
51.86/50.08	c cleaning 14988 clauses out of 29992 with flag 126045/126045
57.55/55.65	c cleaning 15952 clauses out of 31988 with flag 143029/143029
65.32/63.38	c cleaning 16990 clauses out of 34007 with flag 161000/161000
71.99/69.91	c cleaning 17944 clauses out of 36017 with flag 180000/180000
75.13/73.04	c cleaning 19047 clauses out of 38094 with flag 200021/200021
85.36/83.23	c cleaning 20010 clauses out of 40026 with flag 221000/221000
98.45/96.25	c cleaning 21088 clauses out of 42176 with flag 243160/243160
109.11/106.82	c cleaning 22016 clauses out of 44031 with flag 266103/266103
118.92/116.57	c cleaning 22965 clauses out of 45932 with flag 290020/290020
130.74/128.20	c cleaning 23936 clauses out of 47947 with flag 315000/315000
140.53/137.99	c cleaning 24960 clauses out of 50011 with flag 341000/341000
149.80/147.19	c cleaning 26012 clauses out of 52051 with flag 368000/368000
158.10/155.34	c cleaning 26986 clauses out of 54039 with flag 396000/396000
166.37/163.59	c cleaning 28049 clauses out of 56097 with flag 425044/425044
174.23/171.37	c cleaning 28985 clauses out of 58039 with flag 455035/455035
183.03/180.07	c cleaning 29996 clauses out of 60019 with flag 486000/486000
191.63/188.57	c cleaning 30960 clauses out of 62023 with flag 518000/518000
197.59/194.45	c cleaning 32001 clauses out of 64063 with flag 551000/551000
203.17/199.92	c cleaning 33005 clauses out of 66063 with flag 585001/585001
208.37/205.03	c cleaning 34026 clauses out of 68061 with flag 620004/620004
214.26/210.80	c cleaning 35007 clauses out of 70031 with flag 656000/656000
219.53/216.01	c cleaning 36004 clauses out of 72025 with flag 693001/693001
225.51/221.99	c cleaning 37004 clauses out of 74020 with flag 731000/731000
234.83/231.15	c cleaning 38072 clauses out of 76144 with flag 770128/770128
255.26/251.42	c cleaning 38964 clauses out of 77944 with flag 810000/810000
271.60/267.62	c cleaning 39933 clauses out of 80012 with flag 851032/851032
287.94/283.87	c cleaning 41065 clauses out of 82129 with flag 893082/893082
306.83/302.75	c cleaning 42021 clauses out of 84042 with flag 936060/936060
328.64/324.50	c cleaning 42899 clauses out of 85961 with flag 980000/980000
345.32/340.95	c cleaning 44069 clauses out of 88150 with flag 1025088/1025088
364.41/360.08	c cleaning 44978 clauses out of 89994 with flag 1071001/1071001
383.83/379.48	c cleaning 45985 clauses out of 92045 with flag 1118030/1118030
402.12/397.70	c cleaning 47042 clauses out of 94084 with flag 1166054/1166054
423.42/419.08	c cleaning 47982 clauses out of 95988 with flag 1215000/1215000
443.42/439.02	c cleaning 49040 clauses out of 98080 with flag 1265074/1265074
462.53/458.20	c cleaning 49997 clauses out of 99993 with flag 1316027/1316027
491.82/487.41	c cleaning 51005 clauses out of 102010 with flag 1368041/1368041
513.62/509.21	c cleaning 51958 clauses out of 103972 with flag 1421008/1421008
530.12/525.72	c cleaning 52995 clauses out of 106018 with flag 1475012/1475012
544.42/540.05	c cleaning 54005 clauses out of 108011 with flag 1530000/1530000
565.51/561.14	c cleaning 55007 clauses out of 110014 with flag 1586008/1586008
583.02/578.62	c cleaning 56013 clauses out of 112036 with flag 1643037/1643037
598.20/593.81	c cleaning 57003 clauses out of 114006 with flag 1701020/1701020
613.90/609.51	c cleaning 57977 clauses out of 115983 with flag 1760000/1760000
627.20/622.90	c cleaning 59005 clauses out of 118020 with flag 1820014/1820014
642.60/638.25	c cleaning 59999 clauses out of 120001 with flag 1881000/1881000
659.20/654.84	c cleaning 61022 clauses out of 122044 with flag 1943042/1943042
677.69/673.33	c cleaning 61975 clauses out of 123981 with flag 2006001/2006001
690.09/685.79	c cleaning 62994 clauses out of 126008 with flag 2070003/2070003
700.69/696.36	c cleaning 63998 clauses out of 128011 with flag 2135000/2135000
714.78/710.49	c cleaning 65019 clauses out of 130038 with flag 2201025/2201025
732.88/728.54	c cleaning 65981 clauses out of 131994 with flag 2268000/2268000
745.50/741.11	c cleaning 66989 clauses out of 134013 with flag 2336000/2336000
758.39/754.03	c cleaning 68012 clauses out of 136031 with flag 2405007/2405007
770.30/765.97	c cleaning 68991 clauses out of 138017 with flag 2475005/2475005
784.90/780.52	c cleaning 70009 clauses out of 140021 with flag 2546000/2546000
799.57/794.72	c cleaning 71006 clauses out of 142017 with flag 2618005/2618005
812.39/807.56	c cleaning 71997 clauses out of 144006 with flag 2691000/2691000
828.41/823.43	c cleaning 72994 clauses out of 146009 with flag 2765000/2765000
843.89/838.77	c cleaning 73995 clauses out of 148015 with flag 2840000/2840000
860.05/854.75	c cleaning 75020 clauses out of 150039 with flag 2916019/2916019
875.97/870.50	c cleaning 75985 clauses out of 152002 with flag 2993002/2993002
900.51/894.90	c cleaning 77029 clauses out of 154058 with flag 3071043/3071043
920.36/914.66	c cleaning 77987 clauses out of 155994 with flag 3150008/3150008
938.32/932.49	c cleaning 78994 clauses out of 158002 with flag 3230003/3230003
960.37/954.25	c cleaning 80006 clauses out of 160011 with flag 3311006/3311006
1004.18/997.89	c cleaning 81020 clauses out of 162040 with flag 3393041/3393041
1047.61/1040.95	c cleaning 81980 clauses out of 164069 with flag 3476090/3476090
1078.14/1071.24	c cleaning 82984 clauses out of 166024 with flag 3560025/3560025
1101.43/1094.36	c cleaning 83990 clauses out of 168032 with flag 3645017/3645017
1130.42/1123.11	c cleaning 85015 clauses out of 170029 with flag 3731004/3731004
1160.41/1152.99	c cleaning 86029 clauses out of 172057 with flag 3818047/3818047
1190.00/1182.45	c cleaning 87013 clauses out of 174028 with flag 3906047/3906047
1227.83/1220.14	c cleaning 87960 clauses out of 176013 with flag 3995045/3995045
1266.33/1258.47	c cleaning 88968 clauses out of 178008 with flag 4085000/4085000
1289.86/1281.79	c cleaning 89974 clauses out of 180040 with flag 4176000/4176000
1318.91/1310.64	c cleaning 91038 clauses out of 182076 with flag 4268010/4268010
1348.66/1340.09	c cleaning 92030 clauses out of 184059 with flag 4361031/4361031
1380.19/1371.32	c cleaning 93016 clauses out of 186031 with flag 4455033/4455033
1410.45/1401.37	c cleaning 93991 clauses out of 187987 with flag 4550005/4550005
1494.34/1485.17	c cleaning 95012 clauses out of 190023 with flag 4646032/4646032
1536.79/1527.29	c cleaning 95985 clauses out of 192000 with flag 4743021/4743021
1562.80/1553.00	c cleaning 96984 clauses out of 194000 with flag 4841006/4841006
1588.94/1579.06	c cleaning 98013 clauses out of 196025 with flag 4940015/4940015
1691.38/1682.13	c cleaning 99076 clauses out of 198151 with flag 5040154/5040154
1751.32/1744.00	c cleaning 100014 clauses out of 200027 with flag 5141106/5141106
1801.42/1800.93	c starts		: 274
1801.42/1800.93	c conflicts		: 5230709
1801.42/1800.93	c decisions		: 5688626
1801.42/1800.93	c propagations		: 265842935
1801.42/1800.93	c inspects		: 10502239954
1801.42/1800.93	c shortcuts		: 0
1801.42/1800.93	c learnt literals	: 0
1801.42/1800.93	c learnt binary clauses	: 0
1801.42/1800.93	c learnt ternary clauses	: 170
1801.42/1800.93	c learnt constraints	: 5230709
1801.42/1800.93	c ignored constraints	: 0
1801.42/1800.93	c root simplifications	: 0
1801.42/1800.93	c removed literals (reason simplification)	: 0
1801.42/1800.93	c reason swapping (by a shorter reason)	: 0
1801.42/1800.93	c Calls to reduceDB	: 97
1801.42/1800.93	c number of reductions to clauses (during analyze)	: 0
1801.42/1800.93	c number of learned constraints concerned by reduction	: 0
1801.42/1800.93	c number of learning phase by resolution	: 0
1801.42/1800.93	c number of learning phase by cutting planes	: 0
1801.42/1800.93	c speed (assignments/second)	: 147671.16311416947
1801.42/1800.93	c non guided choices	16171
1801.42/1800.97	c learnt constraints type 
1801.42/1800.97	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 189619
1801.42/1800.97	c constraints type 
1801.42/1800.97	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15706
1801.42/1800.97	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1801.42/1800.97	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1801.42/1800.97	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15706
1801.42/1800.97	c 32915 constraints processed.
1801.42/1800.97	s UNKNOWN
1801.42/1800.97	c Total wall clock time (in seconds): 1800.852

Verifier Data 

ERROR: no interpretation found !

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-3688779-1337888038/watcher-3688779-1337888038 -o /tmp/evaluation-result-3688779-1337888038/solver-3688779-1337888038 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688779-1337888038.opb 

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: 2.01 2.03 2.00 2/194 22643
/proc/meminfo: memFree=28016344/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22643/stat : 22643 (java) D 22641 22643 20833 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254932311 9515008 182 33554432000 1073741824 1073778376 140736808462112 140736808453144 249650036405 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2323 182 140 9 0 71 0

[startup+0.052425 s]
/proc/loadavg: 2.01 2.03 2.00 2/194 22643
/proc/meminfo: memFree=28016344/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 3059 0 1 0 3 0 0 0 20 0 13 0 254932311 9446973440 3758 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2306390 3758 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100239 s]
/proc/loadavg: 2.01 2.03 2.00 2/194 22643
/proc/meminfo: memFree=28016344/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 4273 0 1 0 8 1 0 0 20 0 18 0 254932311 9787813888 5474 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2389603 5474 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300218 s]
/proc/loadavg: 2.01 2.03 2.00 2/194 22643
/proc/meminfo: memFree=28016344/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9558412 CPUtime=0.43 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 5245 0 1 0 42 1 0 0 20 0 18 0 254932311 9787813888 8299 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2389603 8299 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558412

[startup+0.700208 s]
/proc/loadavg: 2.01 2.03 2.00 2/194 22643
/proc/meminfo: memFree=28016344/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9558412 CPUtime=1.63 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 12353 0 1 0 157 6 0 0 20 0 18 0 254932311 9787813888 45853 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2389603 45853 2260 9 0 2380296 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558412

[startup+1.5006 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 22662
/proc/meminfo: memFree=27841136/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9624976 CPUtime=2.79 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 12592 0 1 0 273 6 0 0 20 0 19 0 254932311 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2406244 45897 2270 9 0 2396937 0
[pid=22643/tid=22645] ppid=22641 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/22643/task/22645/stat : 22645 (java) R 22641 22643 20833 0 -1 4202560 2518 0 1 0 141 3 0 0 20 0 19 0 254932312 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832211890488 139832073240373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22646] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22646/stat : 22646 (java) S 22641 22643 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832055724712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22647] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22647/stat : 22647 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832054672168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22648] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22648/stat : 22648 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832053619624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22649] ppid=22641 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22643/task/22649/stat : 22649 (java) S 22641 22643 20833 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832052567080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22650] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22650/stat : 22650 (java) S 22641 22643 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832051513512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22651] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22651/stat : 22651 (java) S 22641 22643 20833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832050460968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22652] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22652/stat : 22652 (java) S 22641 22643 20833 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832049408424 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22653] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22653/stat : 22653 (java) S 22641 22643 20833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832048355880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22654] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22654/stat : 22654 (java) S 22641 22643 20833 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832036158056 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22655] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22655/stat : 22655 (java) S 22641 22643 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832035104376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22656] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22656/stat : 22656 (java) S 22641 22643 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832034051720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22657] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22657/stat : 22657 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832033000464 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22658] ppid=22641 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/22643/task/22658/stat : 22658 (java) S 22641 22643 20833 0 -1 4202560 4376 0 0 0 66 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832031946808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22659] ppid=22641 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/22643/task/22659/stat : 22659 (java) S 22641 22643 20833 0 -1 4202560 4397 0 0 0 56 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832030894264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22660] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22660/stat : 22660 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832029841912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22661] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22661/stat : 22661 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832028789576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22662] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22662/stat : 22662 (java) S 22641 22643 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254932382 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832027735336 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 9624976

[startup+3.1006 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 22662
/proc/meminfo: memFree=27840632/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9624976 CPUtime=4.39 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 12593 0 1 0 433 6 0 0 20 0 19 0 254932311 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2406244 45897 2270 9 0 2396937 0
[pid=22643/tid=22645] ppid=22641 vsize=9624976 CPUtime=3.03 cores=0,2,4,6
/proc/22643/task/22645/stat : 22645 (java) R 22641 22643 20833 0 -1 4202560 2519 0 1 0 300 3 0 0 20 0 19 0 254932312 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832211896784 139832073272412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22646] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22646/stat : 22646 (java) S 22641 22643 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832055724712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22647] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22647/stat : 22647 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832054672168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22648] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22648/stat : 22648 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832053619624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22649] ppid=22641 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22643/task/22649/stat : 22649 (java) S 22641 22643 20833 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832052567080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22650] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22650/stat : 22650 (java) S 22641 22643 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832051513512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22651] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22651/stat : 22651 (java) S 22641 22643 20833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832050460968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22652] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22652/stat : 22652 (java) S 22641 22643 20833 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832049408424 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22653] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22653/stat : 22653 (java) S 22641 22643 20833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832048355880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22654] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22654/stat : 22654 (java) S 22641 22643 20833 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832036158056 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22655] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22655/stat : 22655 (java) S 22641 22643 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832035104376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22656] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22656/stat : 22656 (java) S 22641 22643 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832034051720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22657] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22657/stat : 22657 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832033000464 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22658] ppid=22641 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/22643/task/22658/stat : 22658 (java) S 22641 22643 20833 0 -1 4202560 4376 0 0 0 66 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832031946808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22659] ppid=22641 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/22643/task/22659/stat : 22659 (java) S 22641 22643 20833 0 -1 4202560 4397 0 0 0 56 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832030894264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22660] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22660/stat : 22660 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832029841912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22661] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22661/stat : 22661 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832028789576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22662] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22662/stat : 22662 (java) S 22641 22643 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254932382 9855975424 45897 33554432000 1073741824 1073778376 140734001321584 139832027735336 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 9624976

[startup+6.30069 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 22662
/proc/meminfo: memFree=27788192/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9624976 CPUtime=7.69 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 13025 0 1 0 760 9 0 0 20 0 19 0 254932311 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2406244 59039 2283 9 0 2396937 0
[pid=22643/tid=22645] ppid=22641 vsize=9624976 CPUtime=6.14 cores=0,2,4,6
/proc/22643/task/22645/stat : 22645 (java) R 22641 22643 20833 0 -1 4202560 2521 0 1 0 611 3 0 0 20 0 19 0 254932312 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832211898776 139832073188349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22646] ppid=22641 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22643/task/22646/stat : 22646 (java) S 22641 22643 20833 0 -1 4202560 93 0 0 0 1 0 0 0 20 0 19 0 254932314 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832055724712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22647] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22647/stat : 22647 (java) S 22641 22643 20833 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832054672168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22648] ppid=22641 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22643/task/22648/stat : 22648 (java) S 22641 22643 20833 0 -1 4202560 74 0 0 0 2 0 0 0 20 0 19 0 254932314 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832053619624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22649] ppid=22641 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22643/task/22649/stat : 22649 (java) S 22641 22643 20833 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 254932314 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832052567080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22650] ppid=22641 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22643/task/22650/stat : 22650 (java) S 22641 22643 20833 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 254932314 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832051513512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22651] ppid=22641 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22643/task/22651/stat : 22651 (java) S 22641 22643 20833 0 -1 4202560 16 0 0 0 0 1 0 0 20 0 19 0 254932314 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832050460968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22652] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22652/stat : 22652 (java) S 22641 22643 20833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254932314 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832049408424 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22653] ppid=22641 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22643/task/22653/stat : 22653 (java) S 22641 22643 20833 0 -1 4202560 56 0 0 0 2 0 0 0 20 0 19 0 254932314 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832048355880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22654] ppid=22641 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/22643/task/22654/stat : 22654 (java) S 22641 22643 20833 0 -1 4202560 102 0 0 0 4 0 0 0 20 0 19 0 254932315 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832036158056 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22655] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22655/stat : 22655 (java) S 22641 22643 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832035104376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22656] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22656/stat : 22656 (java) S 22641 22643 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832034051720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22657] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22657/stat : 22657 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832033000464 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22658] ppid=22641 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/22643/task/22658/stat : 22658 (java) S 22641 22643 20833 0 -1 4202560 4378 0 0 0 67 0 0 0 20 0 19 0 254932318 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832031946808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22659] ppid=22641 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22643/task/22659/stat : 22659 (java) S 22641 22643 20833 0 -1 4202560 4401 0 0 0 59 0 0 0 20 0 19 0 254932318 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832030894264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22660] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22660/stat : 22660 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832029841912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22661] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22661/stat : 22661 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832028789576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22662] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22662/stat : 22662 (java) S 22641 22643 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254932382 9855975424 59039 33554432000 1073741824 1073778376 140734001321584 139832027735336 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=22643/tid=22651] ppid=22641 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/22643/task/22651/stat : 22651 (java) S 22641 22643 20833 0 -1 4202560 367 0 0 0 129 12 0 0 20 0 19 0 254932314 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832050460968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22652] ppid=22641 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/22643/task/22652/stat : 22652 (java) S 22641 22643 20833 0 -1 4202560 576 0 0 0 126 17 0 0 20 0 19 0 254932314 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832049408424 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22653] ppid=22641 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/22643/task/22653/stat : 22653 (java) S 22641 22643 20833 0 -1 4202560 375 0 0 0 145 12 0 0 20 0 19 0 254932314 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832048355880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22654] ppid=22641 vsize=9624976 CPUtime=12.23 cores=0,2,4,6
/proc/22643/task/22654/stat : 22654 (java) S 22641 22643 20833 0 -1 4202560 1230 0 0 0 1221 2 0 0 20 0 19 0 254932315 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832036158056 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22655] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22655/stat : 22655 (java) S 22641 22643 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832035104376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22656] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22656/stat : 22656 (java) S 22641 22643 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832034051720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22657] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22657/stat : 22657 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832033000464 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22658] ppid=22641 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/22643/task/22658/stat : 22658 (java) S 22641 22643 20833 0 -1 4202560 4397 0 0 0 71 0 0 0 20 0 19 0 254932318 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832031946808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22659] ppid=22641 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/22643/task/22659/stat : 22659 (java) S 22641 22643 20833 0 -1 4202560 4412 0 0 0 69 0 0 0 20 0 19 0 254932318 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832030894264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22660] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22660/stat : 22660 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832029841912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22661] ppid=22641 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/22643/task/22661/stat : 22661 (java) S 22641 22643 20833 0 -1 4202560 94 0 0 0 24 28 0 0 20 0 19 0 254932318 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832028789576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22662] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22662/stat : 22662 (java) S 22641 22643 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254932382 9855975424 316071 33554432000 1073741824 1073778376 140734001321584 139832027735336 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1679.43
Current children cumulated vsize (KiB) 9624976

[startup+1729.49 s]
/proc/loadavg: 2.00 2.02 2.00 5/213 22817
/proc/meminfo: memFree=26591144/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9624976 CPUtime=1739.94 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 17767 0 1 0 173865 129 0 0 20 0 19 0 254932311 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2406244 326823 2284 9 0 2396937 0
[pid=22643/tid=22645] ppid=22641 vsize=9624976 CPUtime=1709.2 cores=0,2,4,6
/proc/22643/task/22645/stat : 22645 (java) R 22641 22643 20833 0 -1 4202560 2876 0 1 0 170889 31 0 0 20 0 19 0 254932312 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832211898656 139832073276952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22646] ppid=22641 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22643/task/22646/stat : 22646 (java) S 22641 22643 20833 0 -1 4202560 624 0 0 0 141 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832055724712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22647] ppid=22641 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/22643/task/22647/stat : 22647 (java) S 22641 22643 20833 0 -1 4202560 511 0 0 0 131 10 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832054672168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22648] ppid=22641 vsize=9624976 CPUtime=1.62 cores=0,2,4,6
/proc/22643/task/22648/stat : 22648 (java) S 22641 22643 20833 0 -1 4202560 405 0 0 0 151 11 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832053619624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22649] ppid=22641 vsize=9624976 CPUtime=1.37 cores=0,2,4,6
/proc/22643/task/22649/stat : 22649 (java) S 22641 22643 20833 0 -1 4202560 347 0 0 0 126 11 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832052567080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22650] ppid=22641 vsize=9624976 CPUtime=1.7 cores=0,2,4,6
/proc/22643/task/22650/stat : 22650 (java) S 22641 22643 20833 0 -1 4202560 336 0 0 0 156 14 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832051513512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22651] ppid=22641 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/22643/task/22651/stat : 22651 (java) S 22641 22643 20833 0 -1 4202560 367 0 0 0 133 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832050460968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22652] ppid=22641 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/22643/task/22652/stat : 22652 (java) S 22641 22643 20833 0 -1 4202560 597 0 0 0 138 17 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832049408424 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22653] ppid=22641 vsize=9624976 CPUtime=1.61 cores=0,2,4,6
/proc/22643/task/22653/stat : 22653 (java) S 22641 22643 20833 0 -1 4202560 386 0 0 0 149 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832048355880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22654] ppid=22641 vsize=9624976 CPUtime=12.43 cores=0,2,4,6
/proc/22643/task/22654/stat : 22654 (java) R 22641 22643 20833 0 -1 4202560 1232 0 0 0 1240 3 0 0 20 0 19 0 254932315 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832036158056 249653409705 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22655] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22655/stat : 22655 (java) S 22641 22643 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832035104376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22656] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22656/stat : 22656 (java) S 22641 22643 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832034051720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22657] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22657/stat : 22657 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832033000464 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22658] ppid=22641 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/22643/task/22658/stat : 22658 (java) S 22641 22643 20833 0 -1 4202560 4397 0 0 0 71 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832031946808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22659] ppid=22641 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/22643/task/22659/stat : 22659 (java) S 22641 22643 20833 0 -1 4202560 4412 0 0 0 69 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832030894264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22660] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22660/stat : 22660 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832029841912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22661] ppid=22641 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/22643/task/22661/stat : 22661 (java) S 22641 22643 20833 0 -1 4202560 98 0 0 0 24 28 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832028789576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22662] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22662/stat : 22662 (java) S 22641 22643 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254932382 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832027735336 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1739.94
Current children cumulated vsize (KiB) 9624976

[startup+1786.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 22817
/proc/meminfo: memFree=26591020/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9624976 CPUtime=1797.49 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 17774 0 1 0 179620 129 0 0 20 0 19 0 254932311 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2406244 326823 2284 9 0 2396937 0
[pid=22643/tid=22645] ppid=22641 vsize=9624976 CPUtime=1766 cores=0,2,4,6
/proc/22643/task/22645/stat : 22645 (java) R 22641 22643 20833 0 -1 4202560 2877 0 1 0 176568 32 0 0 20 0 19 0 254932312 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832211898656 139832073000359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22646] ppid=22641 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/22643/task/22646/stat : 22646 (java) S 22641 22643 20833 0 -1 4202560 624 0 0 0 143 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832055724712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22647] ppid=22641 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/22643/task/22647/stat : 22647 (java) S 22641 22643 20833 0 -1 4202560 511 0 0 0 134 10 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832054672168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22648] ppid=22641 vsize=9624976 CPUtime=1.66 cores=0,2,4,6
/proc/22643/task/22648/stat : 22648 (java) S 22641 22643 20833 0 -1 4202560 405 0 0 0 154 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832053619624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22649] ppid=22641 vsize=9624976 CPUtime=1.4 cores=0,2,4,6
/proc/22643/task/22649/stat : 22649 (java) S 22641 22643 20833 0 -1 4202560 347 0 0 0 129 11 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832052567080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22650] ppid=22641 vsize=9624976 CPUtime=1.79 cores=0,2,4,6
/proc/22643/task/22650/stat : 22650 (java) S 22641 22643 20833 0 -1 4202560 336 0 0 0 165 14 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832051513512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22651] ppid=22641 vsize=9624976 CPUtime=1.48 cores=0,2,4,6
/proc/22643/task/22651/stat : 22651 (java) S 22641 22643 20833 0 -1 4202560 367 0 0 0 136 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832050460968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22652] ppid=22641 vsize=9624976 CPUtime=1.64 cores=0,2,4,6
/proc/22643/task/22652/stat : 22652 (java) S 22641 22643 20833 0 -1 4202560 597 0 0 0 146 18 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832049408424 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22653] ppid=22641 vsize=9624976 CPUtime=1.64 cores=0,2,4,6
/proc/22643/task/22653/stat : 22653 (java) S 22641 22643 20833 0 -1 4202560 386 0 0 0 152 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832048355880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22654] ppid=22641 vsize=9624976 CPUtime=12.7 cores=0,2,4,6
/proc/22643/task/22654/stat : 22654 (java) S 22641 22643 20833 0 -1 4202560 1234 0 0 0 1267 3 0 0 20 0 19 0 254932315 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832036158056 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22655] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22655/stat : 22655 (java) S 22641 22643 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832035104376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22656] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22656/stat : 22656 (java) S 22641 22643 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832034051720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22657] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22657/stat : 22657 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832033000464 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22658] ppid=22641 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/22643/task/22658/stat : 22658 (java) S 22641 22643 20833 0 -1 4202560 4397 0 0 0 71 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832031946808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22659] ppid=22641 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/22643/task/22659/stat : 22659 (java) S 22641 22643 20833 0 -1 4202560 4412 0 0 0 69 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832030894264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22660] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22660/stat : 22660 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832029841912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22661] ppid=22641 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/22643/task/22661/stat : 22661 (java) S 22641 22643 20833 0 -1 4202560 102 0 0 0 24 28 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832028789576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22662] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22662/stat : 22662 (java) S 22641 22643 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254932382 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832027735336 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.72 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 22817
/proc/meminfo: memFree=26591144/32873844 swapFree=7100/7100
[pid=22643] ppid=22641 vsize=9624976 CPUtime=1801.42 cores=0,2,4,6
/proc/22643/stat : 22643 (java) S 22641 22643 20833 0 -1 4202496 17774 0 1 0 180013 129 0 0 20 0 19 0 254932311 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 140734001312720 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22643/statm: 2406244 326823 2284 9 0 2396937 0
[pid=22643/tid=22645] ppid=22641 vsize=9624976 CPUtime=1769.92 cores=0,2,4,6
/proc/22643/task/22645/stat : 22645 (java) R 22641 22643 20833 0 -1 4202560 2877 0 1 0 176960 32 0 0 20 0 19 0 254932312 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832211898656 139832073256659 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22646] ppid=22641 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/22643/task/22646/stat : 22646 (java) S 22641 22643 20833 0 -1 4202560 624 0 0 0 143 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832055724712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22647] ppid=22641 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/22643/task/22647/stat : 22647 (java) S 22641 22643 20833 0 -1 4202560 511 0 0 0 134 10 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832054672168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22648] ppid=22641 vsize=9624976 CPUtime=1.66 cores=0,2,4,6
/proc/22643/task/22648/stat : 22648 (java) S 22641 22643 20833 0 -1 4202560 405 0 0 0 154 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832053619624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22649] ppid=22641 vsize=9624976 CPUtime=1.4 cores=0,2,4,6
/proc/22643/task/22649/stat : 22649 (java) S 22641 22643 20833 0 -1 4202560 347 0 0 0 129 11 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832052567080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22650] ppid=22641 vsize=9624976 CPUtime=1.79 cores=0,2,4,6
/proc/22643/task/22650/stat : 22650 (java) S 22641 22643 20833 0 -1 4202560 336 0 0 0 165 14 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832051513512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22651] ppid=22641 vsize=9624976 CPUtime=1.48 cores=0,2,4,6
/proc/22643/task/22651/stat : 22651 (java) S 22641 22643 20833 0 -1 4202560 367 0 0 0 136 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832050460968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22652] ppid=22641 vsize=9624976 CPUtime=1.64 cores=0,2,4,6
/proc/22643/task/22652/stat : 22652 (java) S 22641 22643 20833 0 -1 4202560 597 0 0 0 146 18 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832049408424 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22653] ppid=22641 vsize=9624976 CPUtime=1.64 cores=0,2,4,6
/proc/22643/task/22653/stat : 22653 (java) S 22641 22643 20833 0 -1 4202560 386 0 0 0 152 12 0 0 20 0 19 0 254932314 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832048355880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22654] ppid=22641 vsize=9624976 CPUtime=12.7 cores=0,2,4,6
/proc/22643/task/22654/stat : 22654 (java) S 22641 22643 20833 0 -1 4202560 1234 0 0 0 1267 3 0 0 20 0 19 0 254932315 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832036158056 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22655] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22655/stat : 22655 (java) S 22641 22643 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832035104376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22656] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22656/stat : 22656 (java) S 22641 22643 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932315 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832034051720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22657] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22657/stat : 22657 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832033000464 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22658] ppid=22641 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/22643/task/22658/stat : 22658 (java) S 22641 22643 20833 0 -1 4202560 4397 0 0 0 71 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832031946808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22643/tid=22659] ppid=22641 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/22643/task/22659/stat : 22659 (java) S 22641 22643 20833 0 -1 4202560 4412 0 0 0 69 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832030894264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22643/tid=22660] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22660/stat : 22660 (java) S 22641 22643 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832029841912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22643/tid=22661] ppid=22641 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/22643/task/22661/stat : 22661 (java) S 22641 22643 20833 0 -1 4202560 102 0 0 0 24 28 0 0 20 0 19 0 254932318 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832028789576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22643/tid=22662] ppid=22641 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22643/task/22662/stat : 22662 (java) S 22641 22643 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254932382 9855975424 326823 33554432000 1073741824 1073778376 140734001321584 139832027735336 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 9624976

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1800.99
CPU time (s): 1807.68
CPU user time (s): 1805.87
CPU system time (s): 1.81272
CPU usage (%): 100.372
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1805.87
system time used= 1.81272
maximum resident set size= 1307412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17808
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36079
involuntary context switches= 23302

runsolver used 5.03024 second user time and 13.214 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-24 21:33:58
IDJOB=3688779
IDBENCH=48295
IDSOLVER=2269
FILE ID=node102/3688779-1337888038
RUNJOBID= node102-1337871881-20849
PBS_JOBID= 14620102
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_5_80.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688779-1337888038/watcher-3688779-1337888038 -o /tmp/evaluation-result-3688779-1337888038/solver-3688779-1337888038 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688779-1337888038.opb

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

MD5SUM BENCH= 611c10fb20bc9774d31ac4d0681f384d
RANDOM SEED=1238406764

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28016344 kB
Buffers:          207668 kB
Cached:          1951980 kB
SwapCached:            0 kB
Active:          2565904 kB
Inactive:        1522036 kB
Active(anon):    1930620 kB
Inactive(anon):        0 kB
Active(file):     635284 kB
Inactive(file):  1522036 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               876 kB
Writeback:             0 kB
AnonPages:       1939192 kB
Mapped:            22552 kB
Shmem:               200 kB
Slab:             623164 kB
SReclaimable:      65740 kB
SUnreclaim:       557424 kB
KernelStack:        1608 kB
PageTables:         7968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2537096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1880064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node102 at 2012-05-24 22:04:29