Trace number 3458801

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.23 1798.08

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUMf368868fda311e5aaeadb84d33b29291
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3750
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3750
Optimality of the best value was proved NO
Number of variables7500
Total number of constraints237715
Number of constraints which are clauses237715
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint15
Number of terms in the objective function 7500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7500
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.09/0.09	c version 2.3.1.v20110525
0.09/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.09	c java.vm.version	19.1-b02
0.09/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.09	c sun.arch.data.model	64
0.09/0.09	c java.version		1.6.0_24
0.09/0.09	c os.name		Linux
0.09/0.09	c os.version		2.6.18-164.el5
0.09/0.09	c os.arch		amd64
0.09/0.09	c Free memory 		12995394264
0.09/0.09	c Max memory 		13063553024
0.09/0.09	c Total memory 		13063553024
0.09/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-3458801-1307147286.opb
0.10/0.11	c reading problem ... 
1.61/1.24	c ... done. Wall clock time 1.135s.
1.61/1.24	c #vars     7500
1.61/1.24	c #constraints  237715
1.61/1.24	c constraints type 
1.61/1.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 250
1.61/1.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 237465
3.67/2.95	c cleaning 2493 clauses out of 5000 with flag 5000/5000
5.67/4.86	c cleaning 4244 clauses out of 8507 with flag 11000/11000
7.88/7.02	c cleaning 5625 clauses out of 11263 with flag 18000/18000
10.49/9.66	c cleaning 6808 clauses out of 13638 with flag 26000/26000
13.84/12.94	c cleaning 7908 clauses out of 15830 with flag 35000/35000
16.85/15.95	c cleaning 8944 clauses out of 17922 with flag 45000/45000
20.85/19.93	c cleaning 9977 clauses out of 19979 with flag 56001/56001
25.66/24.76	c cleaning 10963 clauses out of 22001 with flag 68000/68000
31.06/30.18	c cleaning 11954 clauses out of 24039 with flag 81001/81001
37.17/36.21	c cleaning 12943 clauses out of 26084 with flag 95000/95000
44.07/43.17	c cleaning 14027 clauses out of 28141 with flag 110000/110000
50.50/49.54	c cleaning 15000 clauses out of 30114 with flag 126000/126000
59.30/58.32	c cleaning 16003 clauses out of 32116 with flag 143002/143002
68.29/67.35	c cleaning 16961 clauses out of 34113 with flag 161002/161002
77.80/76.85	c cleaning 18005 clauses out of 36150 with flag 180000/180000
87.51/86.53	c cleaning 19057 clauses out of 38146 with flag 200001/200001
98.52/97.59	c cleaning 19996 clauses out of 40089 with flag 221001/221001
109.32/108.32	c cleaning 20794 clauses out of 42092 with flag 243000/243000
120.53/119.58	c cleaning 22037 clauses out of 44299 with flag 266001/266001
133.34/132.37	c cleaning 23023 clauses out of 46262 with flag 290001/290001
146.35/145.31	c cleaning 24051 clauses out of 48238 with flag 315000/315000
159.76/158.79	c cleaning 25074 clauses out of 50188 with flag 341001/341001
174.37/173.30	c cleaning 26023 clauses out of 52115 with flag 368002/368002
188.68/187.67	c cleaning 27023 clauses out of 54090 with flag 396000/396000
203.09/202.02	c cleaning 27952 clauses out of 56069 with flag 425002/425002
220.10/219.01	c cleaning 28973 clauses out of 58115 with flag 455000/455000
236.42/235.40	c cleaning 30021 clauses out of 60145 with flag 486003/486003
255.92/254.82	c cleaning 30989 clauses out of 62121 with flag 518000/518000
275.33/274.28	c cleaning 31962 clauses out of 64132 with flag 551000/551000
299.54/298.46	c cleaning 32968 clauses out of 66170 with flag 585000/585000
320.18/319.07	c cleaning 34092 clauses out of 68204 with flag 620002/620002
341.68/340.59	c cleaning 35029 clauses out of 70110 with flag 656000/656000
363.59/362.44	c cleaning 35954 clauses out of 72081 with flag 693000/693000
386.31/385.10	c cleaning 37015 clauses out of 74127 with flag 731000/731000
412.92/411.70	c cleaning 38003 clauses out of 76114 with flag 770002/770002
440.34/439.17	c cleaning 39013 clauses out of 78109 with flag 810000/810000
470.25/469.01	c cleaning 39977 clauses out of 80097 with flag 851001/851001
497.87/496.68	c cleaning 40976 clauses out of 82119 with flag 893000/893000
527.29/526.08	c cleaning 41913 clauses out of 84143 with flag 936000/936000
556.72/555.44	c cleaning 43060 clauses out of 86230 with flag 980000/980000
587.55/586.26	c cleaning 43961 clauses out of 88175 with flag 1025005/1025005
623.36/622.07	c cleaning 45097 clauses out of 90210 with flag 1071001/1071001
652.39/651.02	c cleaning 46003 clauses out of 92114 with flag 1118002/1118002
691.30/689.99	c cleaning 46940 clauses out of 94109 with flag 1166000/1166000
729.93/728.55	c cleaning 47923 clauses out of 96170 with flag 1215001/1215001
773.05/771.62	c cleaning 48962 clauses out of 98247 with flag 1265001/1265001
817.87/816.46	c cleaning 50046 clauses out of 100285 with flag 1316001/1316001
855.71/854.27	c cleaning 51032 clauses out of 102240 with flag 1368002/1368002
898.05/896.57	c cleaning 52028 clauses out of 104207 with flag 1421001/1421001
954.45/952.91	c cleaning 52873 clauses out of 106179 with flag 1475001/1475001
1014.98/1013.41	c cleaning 53964 clauses out of 108306 with flag 1530001/1530001
1056.02/1054.49	c cleaning 54958 clauses out of 110341 with flag 1586000/1586000
1099.85/1098.22	c cleaning 56026 clauses out of 112385 with flag 1643002/1643002
1145.28/1143.62	c cleaning 57125 clauses out of 114360 with flag 1701003/1701003
1196.81/1195.18	c cleaning 58090 clauses out of 116236 with flag 1760004/1760004
1238.94/1237.21	c cleaning 59027 clauses out of 118145 with flag 1820003/1820003
1283.48/1281.70	c cleaning 60002 clauses out of 120116 with flag 1881001/1881001
1331.40/1329.65	c cleaning 61029 clauses out of 122113 with flag 1943000/1943000
1381.53/1379.79	c cleaning 61997 clauses out of 124088 with flag 2006004/2006004
1437.66/1435.87	c cleaning 62992 clauses out of 126088 with flag 2070001/2070001
1502.11/1500.31	c cleaning 63948 clauses out of 128096 with flag 2135001/2135001
1571.35/1569.44	c cleaning 64994 clauses out of 130148 with flag 2201001/2201001
1633.89/1631.96	c cleaning 65956 clauses out of 132154 with flag 2268001/2268001
1698.92/1696.97	c cleaning 67000 clauses out of 134197 with flag 2336000/2336000
1756.26/1754.23	c cleaning 68054 clauses out of 136199 with flag 2405002/2405002
1800.09/1798.02	c starts		: 230
1800.09/1798.02	c conflicts		: 2459845
1800.09/1798.02	c decisions		: 3750740
1800.09/1798.02	c propagations		: 2090120866
1800.09/1798.02	c inspects		: 15313254654
1800.09/1798.02	c shortcuts		: 0
1800.09/1798.02	c learnt literals	: 0
1800.09/1798.02	c learnt binary clauses	: 0
1800.09/1798.02	c learnt ternary clauses	: 0
1800.09/1798.04	c learnt constraints	: 2459845
1800.09/1798.04	c ignored constraints	: 0
1800.09/1798.04	c root simplifications	: 0
1800.09/1798.04	c removed literals (reason simplification)	: 132656249
1800.09/1798.04	c reason swapping (by a shorter reason)	: 0
1800.09/1798.04	c Calls to reduceDB	: 65
1800.09/1798.04	c number of reductions to clauses (during analyze)	: 0
1800.09/1798.04	c number of learned constraints concerned by reduction	: 0
1800.09/1798.04	c number of learning phase by resolution	: 0
1800.09/1798.04	c number of learning phase by cutting planes	: 0
1800.09/1798.04	c speed (assignments/second)	: 1163261.148712389
1800.09/1798.04	c non guided choices	0
1800.09/1798.05	c learnt constraints type 
1800.09/1798.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 122995
1800.09/1798.05	c constraints type 
1800.09/1798.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 250
1800.09/1798.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 237465
1800.09/1798.05	s UNKNOWN
1800.09/1798.05	c Total wall clock time (in seconds): 1797.942

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458801-1307147286/watcher-3458801-1307147286 -o /tmp/evaluation-result-3458801-1307147286/solver-3458801-1307147286 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458801-1307147286.opb 

running on 4 cores: 1,3,5,7

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.19 1.71 1.89 2/501 20177
/proc/meminfo: memFree=24770836/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 2070 0 1 0 0 0 0 0 25 0 2 0 904959352 13833195520 1772 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3377245 1784 906 9 0 3368401 0
[pid=20177/tid=20178] ppid=20175 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 6976 0 1 0 0 0 0 0 25 0 2 0 904959352 13850947584 7792 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0925399 s]
/proc/loadavg: 1.19 1.71 1.89 2/501 20177
/proc/meminfo: memFree=24770836/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13622264 CPUtime=0.09 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 15469 0 1 0 7 2 0 0 25 0 18 0 904959352 13949198336 15132 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3405566 15132 2084 9 0 3396300 0
[pid=20177/tid=20178] ppid=20175 vsize=13622264 CPUtime=0.07 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 13526 0 1 0 6 1 0 0 25 0 18 0 904959352 13949198336 15133 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 47608400261095 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622264

[startup+0.100892 s]
/proc/loadavg: 1.19 1.71 1.89 2/501 20177
/proc/meminfo: memFree=24770836/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13622264 CPUtime=0.1 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 15627 0 1 0 8 2 0 0 25 0 18 0 904959352 13949198336 15290 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3405566 15290 2093 9 0 3396300 0
[pid=20177/tid=20178] ppid=20175 vsize=13622264 CPUtime=0.08 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 13665 0 1 0 7 1 0 0 25 0 18 0 904959352 13949198336 15290 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622264

[startup+0.300859 s]
/proc/loadavg: 1.19 1.71 1.89 2/501 20177
/proc/meminfo: memFree=24770836/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13623888 CPUtime=0.47 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 18918 0 1 0 45 2 0 0 25 0 18 0 904959352 13950861312 18302 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3405972 18303 2200 9 0 3396706 0
[pid=20177/tid=20178] ppid=20175 vsize=13623888 CPUtime=0.28 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 15927 0 1 0 26 2 0 0 25 0 18 0 904959352 13950861312 18304 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 46912505580402 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13623888

[startup+0.700785 s]
/proc/loadavg: 1.19 1.71 1.89 2/501 20177
/proc/meminfo: memFree=24770836/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13627300 CPUtime=1.11 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 53751 0 1 0 104 7 0 0 25 0 18 0 904959352 13954355200 52297 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3406825 52301 2214 9 0 3397559 0
[pid=20177/tid=20178] ppid=20175 vsize=13627300 CPUtime=0.68 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 48402 0 1 0 62 6 0 0 25 0 18 0 904959352 13954355200 52303 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 46912505555309 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 13627300

[startup+1.50064 s]
/proc/loadavg: 1.25 1.71 1.89 3/519 20195
/proc/meminfo: memFree=24446440/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13628688 CPUtime=2.23 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 110785 0 1 0 208 15 0 0 25 0 19 0 904959352 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3407172 108095 2232 9 0 3397906 0
[pid=20177/tid=20178] ppid=20175 vsize=13628688 CPUtime=1.48 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 103981 0 1 0 135 13 0 0 25 0 19 0 904959352 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 46912505799140 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20177/tid=20180] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20180/stat : 20180 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959354 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20181] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20181/stat : 20181 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959354 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20182] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20182/stat : 20182 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959354 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20183] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20183/stat : 20183 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959354 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20184] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20184/stat : 20184 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959354 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20185] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20185/stat : 20185 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959354 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20186] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20186/stat : 20186 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959354 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20187] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20187/stat : 20187 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959354 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20188] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20188/stat : 20188 (java) S 20175 20177 14759 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 904959355 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 0 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20189] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20189/stat : 20189 (java) S 20175 20177 14759 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 904959356 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20190] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20190/stat : 20190 (java) S 20175 20177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904959356 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20191] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20191/stat : 20191 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917217713 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20192] ppid=20175 vsize=13628688 CPUtime=0.38 cores=1,3,5,7
/proc/20177/task/20192/stat : 20192 (java) S 20175 20177 14759 0 -1 4202560 3567 0 0 0 38 0 0 0 18 0 19 0 904959358 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20193] ppid=20175 vsize=13628688 CPUtime=0.34 cores=1,3,5,7
/proc/20177/task/20193/stat : 20193 (java) S 20175 20177 14759 0 -1 4202560 2080 0 0 0 34 0 0 0 18 0 19 0 904959358 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20194] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20194/stat : 20194 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20195] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20195/stat : 20195 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904959358 13955776512 108095 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 13628688

[startup+3.10134 s]
/proc/loadavg: 1.25 1.71 1.89 3/520 20196
/proc/meminfo: memFree=24342364/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13628688 CPUtime=3.94 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 119533 0 1 0 379 15 0 0 25 0 19 0 904959352 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3407172 116833 2262 9 0 3397906 0
[pid=20177/tid=20178] ppid=20175 vsize=13628688 CPUtime=3 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 104829 0 1 0 286 14 0 0 25 0 19 0 904959352 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 46912505948796 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20177/tid=20180] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20180/stat : 20180 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904959354 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20181] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20181/stat : 20181 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904959354 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20182] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20182/stat : 20182 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904959354 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20183] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20183/stat : 20183 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904959354 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20184] ppid=20175 vsize=13628688 CPUtime=0.02 cores=1,3,5,7
/proc/20177/task/20184/stat : 20184 (java) S 20175 20177 14759 0 -1 4202560 1214 0 0 0 2 0 0 0 18 0 19 0 904959354 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20185] ppid=20175 vsize=13628688 CPUtime=0.02 cores=1,3,5,7
/proc/20177/task/20185/stat : 20185 (java) S 20175 20177 14759 0 -1 4202560 1253 0 0 0 2 0 0 0 18 0 19 0 904959354 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20186] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20186/stat : 20186 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904959354 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20187] ppid=20175 vsize=13628688 CPUtime=0.02 cores=1,3,5,7
/proc/20177/task/20187/stat : 20187 (java) S 20175 20177 14759 0 -1 4202560 1477 0 0 0 2 0 0 0 18 0 19 0 904959354 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20188] ppid=20175 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/20177/task/20188/stat : 20188 (java) S 20175 20177 14759 0 -1 4202560 3935 0 0 0 6 0 0 0 17 0 19 0 904959355 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 0 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20189] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20189/stat : 20189 (java) S 20175 20177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20190] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20190/stat : 20190 (java) S 20175 20177 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20191] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20191/stat : 20191 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917217713 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20192] ppid=20175 vsize=13628688 CPUtime=0.43 cores=1,3,5,7
/proc/20177/task/20192/stat : 20192 (java) S 20175 20177 14759 0 -1 4202560 3581 0 0 0 43 0 0 0 15 0 19 0 904959358 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20193] ppid=20175 vsize=13628688 CPUtime=0.36 cores=1,3,5,7
/proc/20177/task/20193/stat : 20193 (java) S 20175 20177 14759 0 -1 4202560 2088 0 0 0 36 0 0 0 16 0 19 0 904959358 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20194] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20194/stat : 20194 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20195] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20195/stat : 20195 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904959358 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20196] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20196/stat : 20196 (java) S 20175 20177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904959481 13955776512 116833 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 13628688

[startup+6.30076 s]
/proc/loadavg: 1.25 1.71 1.89 3/520 20196
/proc/meminfo: memFree=24302832/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13628688 CPUtime=7.18 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 120835 0 1 0 702 16 0 0 25 0 19 0 904959352 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3407172 118004 2262 9 0 3397906 0
[pid=20177/tid=20178] ppid=20175 vsize=13628688 CPUtime=6.13 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 104831 0 1 0 599 14 0 0 25 0 19 0 904959352 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 46912505839360 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20177/tid=20180] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20180/stat : 20180 (java) S 20175 20177 14759 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 19 0 904959354 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20181] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20181/stat : 20181 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904959354 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20182] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20182/stat : 20182 (java) S 20175 20177 14759 0 -1 4202560 390 0 0 0 0 0 0 0 16 0 19 0 904959354 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20183] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20183/stat : 20183 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904959354 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20184] ppid=20175 vsize=13628688 CPUtime=0.02 cores=1,3,5,7
/proc/20177/task/20184/stat : 20184 (java) S 20175 20177 14759 0 -1 4202560 1775 0 0 0 2 0 0 0 18 0 19 0 904959354 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20185] ppid=20175 vsize=13628688 CPUtime=0.02 cores=1,3,5,7
/proc/20177/task/20185/stat : 20185 (java) S 20175 20177 14759 0 -1 4202560 1253 0 0 0 2 0 0 0 18 0 19 0 904959354 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20186] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20186/stat : 20186 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 904959354 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20187] ppid=20175 vsize=13628688 CPUtime=0.02 cores=1,3,5,7
/proc/20177/task/20187/stat : 20187 (java) S 20175 20177 14759 0 -1 4202560 1477 0 0 0 2 0 0 0 18 0 19 0 904959354 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20188] ppid=20175 vsize=13628688 CPUtime=0.12 cores=1,3,5,7
/proc/20177/task/20188/stat : 20188 (java) S 20175 20177 14759 0 -1 4202560 4239 0 0 0 12 0 0 0 15 0 19 0 904959355 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 0 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20189] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20189/stat : 20189 (java) S 20175 20177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20190] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20190/stat : 20190 (java) S 20175 20177 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20191] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20191/stat : 20191 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917217713 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20192] ppid=20175 vsize=13628688 CPUtime=0.44 cores=1,3,5,7
/proc/20177/task/20192/stat : 20192 (java) S 20175 20177 14759 0 -1 4202560 3585 0 0 0 44 0 0 0 15 0 19 0 904959358 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20193] ppid=20175 vsize=13628688 CPUtime=0.38 cores=1,3,5,7
/proc/20177/task/20193/stat : 20193 (java) S 20175 20177 14759 0 -1 4202560 2091 0 0 0 38 0 0 0 16 0 19 0 904959358 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20194] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20194/stat : 20194 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 118004 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0

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

[pid=20177/tid=20185] ppid=20175 vsize=13628688 CPUtime=0.26 cores=1,3,5,7
/proc/20177/task/20185/stat : 20185 (java) S 20175 20177 14759 0 -1 4202560 3932 0 0 0 26 0 0 0 15 0 19 0 904959354 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20186] ppid=20175 vsize=13628688 CPUtime=0.15 cores=1,3,5,7
/proc/20177/task/20186/stat : 20186 (java) S 20175 20177 14759 0 -1 4202560 2758 0 0 0 15 0 0 0 15 0 19 0 904959354 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20187] ppid=20175 vsize=13628688 CPUtime=0.32 cores=1,3,5,7
/proc/20177/task/20187/stat : 20187 (java) S 20175 20177 14759 0 -1 4202560 4505 0 0 0 32 0 0 0 16 0 19 0 904959354 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20188] ppid=20175 vsize=13628688 CPUtime=5.19 cores=1,3,5,7
/proc/20177/task/20188/stat : 20188 (java) S 20175 20177 14759 0 -1 4202560 18589 0 0 0 518 1 0 0 15 0 19 0 904959355 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 0 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20189] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20189/stat : 20189 (java) S 20175 20177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20190] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20190/stat : 20190 (java) S 20175 20177 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20191] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20191/stat : 20191 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917217713 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20192] ppid=20175 vsize=13628688 CPUtime=0.45 cores=1,3,5,7
/proc/20177/task/20192/stat : 20192 (java) S 20175 20177 14759 0 -1 4202560 3596 0 0 0 45 0 0 0 15 0 19 0 904959358 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20193] ppid=20175 vsize=13628688 CPUtime=0.43 cores=1,3,5,7
/proc/20177/task/20193/stat : 20193 (java) S 20175 20177 14759 0 -1 4202560 2613 0 0 0 43 0 0 0 15 0 19 0 904959358 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20194] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20194/stat : 20194 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20195] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20195/stat : 20195 (java) S 20175 20177 14759 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 904959358 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20196] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20196/stat : 20196 (java) S 20175 20177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904959481 13955776512 151005 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.32
Current children cumulated vsize (KiB) 13628688

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/520 20244
/proc/meminfo: memFree=24162436/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13628688 CPUtime=1724.35 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 154572 0 1 0 172415 20 0 0 25 0 19 0 904959352 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3407172 151017 2262 9 0 3397906 0
[pid=20177/tid=20178] ppid=20175 vsize=13628688 CPUtime=1716.19 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 104893 0 1 0 171605 14 0 0 25 0 19 0 904959352 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 46912505875655 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20177/tid=20180] ppid=20175 vsize=13628688 CPUtime=0.14 cores=1,3,5,7
/proc/20177/task/20180/stat : 20180 (java) S 20175 20177 14759 0 -1 4202560 745 0 0 0 14 0 0 0 15 0 19 0 904959354 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20181] ppid=20175 vsize=13628688 CPUtime=0.17 cores=1,3,5,7
/proc/20177/task/20181/stat : 20181 (java) S 20175 20177 14759 0 -1 4202560 1586 0 0 0 17 0 0 0 15 0 19 0 904959354 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20182] ppid=20175 vsize=13628688 CPUtime=0.29 cores=1,3,5,7
/proc/20177/task/20182/stat : 20182 (java) S 20175 20177 14759 0 -1 4202560 3277 0 0 0 29 0 0 0 15 0 19 0 904959354 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20183] ppid=20175 vsize=13628688 CPUtime=0.23 cores=1,3,5,7
/proc/20177/task/20183/stat : 20183 (java) S 20175 20177 14759 0 -1 4202560 3623 0 0 0 23 0 0 0 16 0 19 0 904959354 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20184] ppid=20175 vsize=13628688 CPUtime=0.29 cores=1,3,5,7
/proc/20177/task/20184/stat : 20184 (java) S 20175 20177 14759 0 -1 4202560 3202 0 0 0 29 0 0 0 15 0 19 0 904959354 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20185] ppid=20175 vsize=13628688 CPUtime=0.27 cores=1,3,5,7
/proc/20177/task/20185/stat : 20185 (java) S 20175 20177 14759 0 -1 4202560 3932 0 0 0 27 0 0 0 16 0 19 0 904959354 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20186] ppid=20175 vsize=13628688 CPUtime=0.15 cores=1,3,5,7
/proc/20177/task/20186/stat : 20186 (java) S 20175 20177 14759 0 -1 4202560 2758 0 0 0 15 0 0 0 15 0 19 0 904959354 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20187] ppid=20175 vsize=13628688 CPUtime=0.33 cores=1,3,5,7
/proc/20177/task/20187/stat : 20187 (java) S 20175 20177 14759 0 -1 4202560 4507 0 0 0 33 0 0 0 16 0 19 0 904959354 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20188] ppid=20175 vsize=13628688 CPUtime=5.31 cores=1,3,5,7
/proc/20177/task/20188/stat : 20188 (java) S 20175 20177 14759 0 -1 4202560 18591 0 0 0 530 1 0 0 15 0 19 0 904959355 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 0 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20189] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20189/stat : 20189 (java) S 20175 20177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20190] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20190/stat : 20190 (java) S 20175 20177 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20191] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20191/stat : 20191 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917217713 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20192] ppid=20175 vsize=13628688 CPUtime=0.45 cores=1,3,5,7
/proc/20177/task/20192/stat : 20192 (java) S 20175 20177 14759 0 -1 4202560 3596 0 0 0 45 0 0 0 15 0 19 0 904959358 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20193] ppid=20175 vsize=13628688 CPUtime=0.43 cores=1,3,5,7
/proc/20177/task/20193/stat : 20193 (java) S 20175 20177 14759 0 -1 4202560 2613 0 0 0 43 0 0 0 15 0 19 0 904959358 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20194] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20194/stat : 20194 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20195] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20195/stat : 20195 (java) S 20175 20177 14759 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 904959358 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20196] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20196/stat : 20196 (java) S 20175 20177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904959481 13955776512 151017 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.35
Current children cumulated vsize (KiB) 13628688

[startup+1782.3 s]
/proc/loadavg: 2.16 2.05 2.00 3/520 20246
/proc/meminfo: memFree=24161268/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13628688 CPUtime=1784.38 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 154688 0 1 0 178418 20 0 0 25 0 19 0 904959352 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3407172 151126 2262 9 0 3397906 0
[pid=20177/tid=20178] ppid=20175 vsize=13628688 CPUtime=1776.08 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 104894 0 1 0 177594 14 0 0 25 0 19 0 904959352 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 46912505856224 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20177/tid=20180] ppid=20175 vsize=13628688 CPUtime=0.14 cores=1,3,5,7
/proc/20177/task/20180/stat : 20180 (java) S 20175 20177 14759 0 -1 4202560 745 0 0 0 14 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20181] ppid=20175 vsize=13628688 CPUtime=0.17 cores=1,3,5,7
/proc/20177/task/20181/stat : 20181 (java) S 20175 20177 14759 0 -1 4202560 1586 0 0 0 17 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20182] ppid=20175 vsize=13628688 CPUtime=0.3 cores=1,3,5,7
/proc/20177/task/20182/stat : 20182 (java) S 20175 20177 14759 0 -1 4202560 3302 0 0 0 30 0 0 0 16 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20183] ppid=20175 vsize=13628688 CPUtime=0.24 cores=1,3,5,7
/proc/20177/task/20183/stat : 20183 (java) S 20175 20177 14759 0 -1 4202560 3623 0 0 0 24 0 0 0 16 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20184] ppid=20175 vsize=13628688 CPUtime=0.29 cores=1,3,5,7
/proc/20177/task/20184/stat : 20184 (java) S 20175 20177 14759 0 -1 4202560 3202 0 0 0 29 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20185] ppid=20175 vsize=13628688 CPUtime=0.29 cores=1,3,5,7
/proc/20177/task/20185/stat : 20185 (java) S 20175 20177 14759 0 -1 4202560 3932 0 0 0 29 0 0 0 16 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20186] ppid=20175 vsize=13628688 CPUtime=0.15 cores=1,3,5,7
/proc/20177/task/20186/stat : 20186 (java) S 20175 20177 14759 0 -1 4202560 2758 0 0 0 15 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20187] ppid=20175 vsize=13628688 CPUtime=0.33 cores=1,3,5,7
/proc/20177/task/20187/stat : 20187 (java) S 20175 20177 14759 0 -1 4202560 4507 0 0 0 33 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20188] ppid=20175 vsize=13628688 CPUtime=5.41 cores=1,3,5,7
/proc/20177/task/20188/stat : 20188 (java) S 20175 20177 14759 0 -1 4202560 18677 0 0 0 540 1 0 0 15 0 19 0 904959355 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 0 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20189] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20189/stat : 20189 (java) S 20175 20177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20190] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20190/stat : 20190 (java) S 20175 20177 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20191] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20191/stat : 20191 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917217713 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20192] ppid=20175 vsize=13628688 CPUtime=0.45 cores=1,3,5,7
/proc/20177/task/20192/stat : 20192 (java) S 20175 20177 14759 0 -1 4202560 3596 0 0 0 45 0 0 0 15 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20193] ppid=20175 vsize=13628688 CPUtime=0.43 cores=1,3,5,7
/proc/20177/task/20193/stat : 20193 (java) S 20175 20177 14759 0 -1 4202560 2613 0 0 0 43 0 0 0 15 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20194] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20194/stat : 20194 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20195] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20195/stat : 20195 (java) S 20175 20177 14759 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20196] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20196/stat : 20196 (java) S 20175 20177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904959481 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.38
Current children cumulated vsize (KiB) 13628688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 2.20 2.06 2.01 3/520 20294
/proc/meminfo: memFree=23702164/32950928 swapFree=61542356/67111528
[pid=20177] ppid=20175 vsize=13628688 CPUtime=1800.09 cores=1,3,5,7
/proc/20177/stat : 20177 (java) S 20175 20177 14759 0 -1 4202496 154688 0 1 0 179989 20 0 0 25 0 19 0 904959352 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20177/statm: 3407172 151126 2262 9 0 3397906 0
[pid=20177/tid=20178] ppid=20175 vsize=13628688 CPUtime=1791.8 cores=1,3,5,7
/proc/20177/task/20178/stat : 20178 (java) R 20175 20177 14759 0 -1 4202560 104894 0 1 0 179166 14 0 0 25 0 19 0 904959352 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 46912505855811 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20177/tid=20180] ppid=20175 vsize=13628688 CPUtime=0.14 cores=1,3,5,7
/proc/20177/task/20180/stat : 20180 (java) S 20175 20177 14759 0 -1 4202560 745 0 0 0 14 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20181] ppid=20175 vsize=13628688 CPUtime=0.17 cores=1,3,5,7
/proc/20177/task/20181/stat : 20181 (java) S 20175 20177 14759 0 -1 4202560 1586 0 0 0 17 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20182] ppid=20175 vsize=13628688 CPUtime=0.3 cores=1,3,5,7
/proc/20177/task/20182/stat : 20182 (java) S 20175 20177 14759 0 -1 4202560 3302 0 0 0 30 0 0 0 16 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20183] ppid=20175 vsize=13628688 CPUtime=0.24 cores=1,3,5,7
/proc/20177/task/20183/stat : 20183 (java) S 20175 20177 14759 0 -1 4202560 3623 0 0 0 24 0 0 0 16 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20184] ppid=20175 vsize=13628688 CPUtime=0.29 cores=1,3,5,7
/proc/20177/task/20184/stat : 20184 (java) S 20175 20177 14759 0 -1 4202560 3202 0 0 0 29 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20185] ppid=20175 vsize=13628688 CPUtime=0.29 cores=1,3,5,7
/proc/20177/task/20185/stat : 20185 (java) S 20175 20177 14759 0 -1 4202560 3932 0 0 0 29 0 0 0 16 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20186] ppid=20175 vsize=13628688 CPUtime=0.15 cores=1,3,5,7
/proc/20177/task/20186/stat : 20186 (java) S 20175 20177 14759 0 -1 4202560 2758 0 0 0 15 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20187] ppid=20175 vsize=13628688 CPUtime=0.33 cores=1,3,5,7
/proc/20177/task/20187/stat : 20187 (java) S 20175 20177 14759 0 -1 4202560 4507 0 0 0 33 0 0 0 15 0 19 0 904959354 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20188] ppid=20175 vsize=13628688 CPUtime=5.41 cores=1,3,5,7
/proc/20177/task/20188/stat : 20188 (java) S 20175 20177 14759 0 -1 4202560 18677 0 0 0 540 1 0 0 15 0 19 0 904959355 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 0 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20189] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20189/stat : 20189 (java) S 20175 20177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20190] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20190/stat : 20190 (java) S 20175 20177 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904959356 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20191] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20191/stat : 20191 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917217713 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20192] ppid=20175 vsize=13628688 CPUtime=0.45 cores=1,3,5,7
/proc/20177/task/20192/stat : 20192 (java) S 20175 20177 14759 0 -1 4202560 3596 0 0 0 45 0 0 0 15 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 5 0 0 0
[pid=20177/tid=20193] ppid=20175 vsize=13628688 CPUtime=0.43 cores=1,3,5,7
/proc/20177/task/20193/stat : 20193 (java) S 20175 20177 14759 0 -1 4202560 2613 0 0 0 43 0 0 0 15 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
[pid=20177/tid=20194] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20194/stat : 20194 (java) S 20175 20177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210009 0 4 0 16800975 18446604467724020608 0 0 -1 3 0 0 0
[pid=20177/tid=20195] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20195/stat : 20195 (java) S 20175 20177 14759 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 904959358 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 1 0 0 0
[pid=20177/tid=20196] ppid=20175 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/20177/task/20196/stat : 20196 (java) S 20175 20177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904959481 13955776512 151126 33554432000 1073741824 1073778376 140736944145568 18446744073709551615 260917210624 0 4 0 16800975 18446604467724020608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13628688

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): 1798.08
CPU time (s): 1800.23
CPU user time (s): 1800
CPU system time (s): 0.228965
CPU usage (%): 100.119
Max. virtual memory (cumulated for all children) (KiB): 13628688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154884
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= 38164
involuntary context switches= 24992

runsolver used 8.73267 second user time and 20.3519 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-04 02:28:07
IDJOB=3458801
IDBENCH=2139
IDSOLVER=1952
FILE ID=node116/3458801-1307147286
RUNJOBID= node116-1307147279-19679
PBS_JOBID= 13508800
Free space on /tmp= 73832 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458801-1307147286/watcher-3458801-1307147286 -o /tmp/evaluation-result-3458801-1307147286/solver-3458801-1307147286 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458801-1307147286.opb

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

MD5SUM BENCH= f368868fda311e5aaeadb84d33b29291
RANDOM SEED=679420107

node116.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.826
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.65
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.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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.77
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.826
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.826
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.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24771116 kB
Buffers:        260052 kB
Cached:         459060 kB
SwapCached:      12580 kB
Active:        7552416 kB
Inactive:       356964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24771116 kB
SwapTotal:    67111528 kB
SwapFree:     61542356 kB
Dirty:            7248 kB
Writeback:           0 kB
AnonPages:     7188340 kB
Mapped:          30848 kB
Slab:           140948 kB
PageTables:      62616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 153015536 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= 73824 MiB
End job on node116 at 2011-06-04 02:58:07