Trace number 3688811

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) 1800.69 1792.65

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_80.opb
MD5SUM6671ed3c9b389a2223dba62c8a435d2e
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)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.2.v20120418
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		501472288
0.03/0.08	c Max memory 		7480803328
0.03/0.08	c Total memory 		504102912
0.03/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3688811-1337888092.opb
0.10/0.10	c reading problem ... 
1.37/0.63	c ... done. Wall clock time 0.529s.
1.37/0.63	c declared #vars     1000
1.37/0.63	c internal #vars     16722
1.37/0.63	c #constraints  32947
1.37/0.63	c constraints type 
1.37/0.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15722
1.37/0.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1.37/0.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.37/0.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15722
1.37/0.63	c 32947 constraints processed.
5.04/3.89	c cleaning 2519 clauses out of 5038 with flag 5038/5038
8.57/7.28	c cleaning 4347 clauses out of 8694 with flag 11213/11213
12.21/10.83	c cleaning 5670 clauses out of 11339 with flag 18205/18205
15.94/14.52	c cleaning 6734 clauses out of 13467 with flag 26003/26003
19.98/18.57	c cleaning 7918 clauses out of 15835 with flag 35105/35105
23.11/21.63	c cleaning 8854 clauses out of 17812 with flag 45000/45000
25.62/24.03	c cleaning 10004 clauses out of 20012 with flag 56054/56054
27.48/25.89	c cleaning 10963 clauses out of 21954 with flag 68000/68000
29.61/27.95	c cleaning 11985 clauses out of 24002 with flag 81011/81011
34.04/32.31	c cleaning 13010 clauses out of 26020 with flag 95014/95014
41.99/40.29	c cleaning 14030 clauses out of 28060 with flag 110064/110064
49.55/47.75	c cleaning 15042 clauses out of 30084 with flag 126118/126118
55.74/53.90	c cleaning 15974 clauses out of 32000 with flag 143076/143076
61.59/59.68	c cleaning 16966 clauses out of 33950 with flag 161000/161000
68.29/66.28	c cleaning 18030 clauses out of 36060 with flag 180076/180076
76.15/74.07	c cleaning 18989 clauses out of 38007 with flag 200053/200053
81.90/79.71	c cleaning 19966 clauses out of 39965 with flag 221000/221000
87.99/85.76	c cleaning 20992 clauses out of 42031 with flag 243032/243032
98.64/96.34	c cleaning 21976 clauses out of 44007 with flag 266000/266000
112.34/109.96	c cleaning 23000 clauses out of 46031 with flag 290000/290000
123.40/120.96	c cleaning 23999 clauses out of 48052 with flag 315021/315021
131.46/128.94	c cleaning 25035 clauses out of 50074 with flag 341042/341042
139.03/136.32	c cleaning 26035 clauses out of 52070 with flag 368073/368073
148.59/145.82	c cleaning 26909 clauses out of 53966 with flag 396004/396004
156.96/154.17	c cleaning 28041 clauses out of 56118 with flag 425065/425065
165.14/162.29	c cleaning 29013 clauses out of 58032 with flag 455020/455020
177.99/175.03	c cleaning 30052 clauses out of 60103 with flag 486104/486104
187.56/184.53	c cleaning 30980 clauses out of 62020 with flag 518073/518073
195.73/192.65	c cleaning 31955 clauses out of 63967 with flag 551000/551000
202.67/199.53	c cleaning 32974 clauses out of 66012 with flag 585000/585000
208.24/205.02	c cleaning 33993 clauses out of 68038 with flag 620000/620000
213.60/210.40	c cleaning 35019 clauses out of 70045 with flag 656000/656000
233.19/229.88	c cleaning 36063 clauses out of 72125 with flag 693099/693099
249.00/245.58	c cleaning 37059 clauses out of 74125 with flag 731162/731162
263.40/259.90	c cleaning 38014 clauses out of 76028 with flag 770124/770124
276.53/272.94	c cleaning 38833 clauses out of 77895 with flag 810005/810005
294.20/290.56	c cleaning 40045 clauses out of 80090 with flag 851033/851033
309.30/305.56	c cleaning 40930 clauses out of 82019 with flag 893007/893007
318.34/314.42	c cleaning 42038 clauses out of 84131 with flag 936049/936049
333.14/329.17	c cleaning 43004 clauses out of 86044 with flag 980000/980000
343.44/339.40	c cleaning 44043 clauses out of 88108 with flag 1025068/1025068
352.56/348.49	c cleaning 44996 clauses out of 90013 with flag 1071016/1071016
360.47/356.31	c cleaning 45988 clauses out of 92004 with flag 1118003/1118003
367.27/363.17	c cleaning 47005 clauses out of 94016 with flag 1166003/1166003
374.06/369.92	c cleaning 48000 clauses out of 96015 with flag 1215007/1215007
381.47/377.39	c cleaning 49002 clauses out of 98008 with flag 1265000/1265000
389.46/385.33	c cleaning 50005 clauses out of 100010 with flag 1316004/1316004
396.88/392.72	c cleaning 50991 clauses out of 102001 with flag 1368000/1368000
404.67/400.54	c cleaning 52001 clauses out of 104012 with flag 1421002/1421002
413.77/409.61	c cleaning 52992 clauses out of 106009 with flag 1475000/1475000
421.97/417.84	c cleaning 54005 clauses out of 108023 with flag 1530006/1530006
431.99/427.84	c cleaning 54996 clauses out of 110017 with flag 1586005/1586005
442.88/438.71	c cleaning 56017 clauses out of 112034 with flag 1643018/1643018
455.58/451.41	c cleaning 57000 clauses out of 113999 with flag 1701000/1701000
470.19/466.07	c cleaning 58000 clauses out of 115999 with flag 1760000/1760000
495.99/491.83	c cleaning 59076 clauses out of 118152 with flag 1820153/1820153
527.99/523.86	c cleaning 60033 clauses out of 120066 with flag 1881143/1881143
564.11/559.94	c cleaning 61057 clauses out of 122113 with flag 1943223/1943223
599.32/595.14	c cleaning 61965 clauses out of 123940 with flag 2006107/2006107
623.58/619.14	c cleaning 62963 clauses out of 125927 with flag 2070059/2070059
646.18/641.67	c cleaning 63955 clauses out of 127947 with flag 2135042/2135042
661.59/656.97	c cleaning 64942 clauses out of 129954 with flag 2201004/2201004
674.41/669.66	c cleaning 65978 clauses out of 132008 with flag 2268000/2268000
702.03/697.02	c cleaning 67086 clauses out of 134172 with flag 2336142/2336142
734.77/729.65	c cleaning 67994 clauses out of 135995 with flag 2405051/2405051
758.30/752.98	c cleaning 68963 clauses out of 137950 with flag 2475000/2475000
773.59/768.17	c cleaning 69975 clauses out of 139989 with flag 2546002/2546002
790.81/785.20	c cleaning 71003 clauses out of 142020 with flag 2618008/2618008
806.58/800.84	c cleaning 72000 clauses out of 144023 with flag 2691014/2691014
822.04/816.13	c cleaning 73022 clauses out of 146044 with flag 2765035/2765035
839.22/833.23	c cleaning 73977 clauses out of 147987 with flag 2840000/2840000
855.72/849.71	c cleaning 74964 clauses out of 150010 with flag 2916000/2916000
871.44/865.40	c cleaning 75998 clauses out of 152046 with flag 2993000/2993000
904.82/898.72	c cleaning 76964 clauses out of 154075 with flag 3071027/3071027
929.37/923.17	c cleaning 78102 clauses out of 156203 with flag 3150119/3150119
953.97/947.72	c cleaning 78942 clauses out of 157983 with flag 3230001/3230001
971.21/964.87	c cleaning 79994 clauses out of 160041 with flag 3311001/3311001
994.98/988.35	c cleaning 81039 clauses out of 162077 with flag 3393031/3393031
1025.10/1018.30	c cleaning 81962 clauses out of 164007 with flag 3476000/3476000
1046.57/1039.53	c cleaning 82979 clauses out of 166045 with flag 3560000/3560000
1069.57/1062.38	c cleaning 84044 clauses out of 168087 with flag 3645021/3645021
1089.47/1082.21	c cleaning 84971 clauses out of 170022 with flag 3731000/3731000
1113.17/1105.95	c cleaning 86006 clauses out of 172051 with flag 3818000/3818000
1134.67/1127.46	c cleaning 87032 clauses out of 174064 with flag 3906019/3906019
1166.54/1159.19	c cleaning 88030 clauses out of 176059 with flag 3995046/3995046
1192.34/1184.94	c cleaning 88932 clauses out of 177983 with flag 4085000/4085000
1214.33/1206.97	c cleaning 90021 clauses out of 180051 with flag 4176000/4176000
1241.94/1234.56	c cleaning 91020 clauses out of 182040 with flag 4268010/4268010
1265.33/1257.93	c cleaning 91971 clauses out of 184010 with flag 4361000/4361000
1291.23/1283.86	c cleaning 93027 clauses out of 186054 with flag 4455015/4455015
1323.53/1316.14	c cleaning 94035 clauses out of 188069 with flag 4550057/4550057
1382.35/1374.94	c cleaning 94973 clauses out of 190014 with flag 4646037/4646037
1405.75/1398.38	c cleaning 95976 clauses out of 192004 with flag 4743000/4743000
1427.36/1419.98	c cleaning 97010 clauses out of 194055 with flag 4841027/4841027
1451.85/1444.46	c cleaning 98014 clauses out of 196035 with flag 4940017/4940017
1476.05/1468.64	c cleaning 98976 clauses out of 198009 with flag 5040005/5040005
1503.96/1496.54	c cleaning 100001 clauses out of 200029 with flag 5141001/5141001
1532.57/1525.12	c cleaning 101001 clauses out of 202027 with flag 5243000/5243000
1560.27/1552.87	c cleaning 102002 clauses out of 204041 with flag 5346015/5346015
1588.19/1580.79	c cleaning 103017 clauses out of 206034 with flag 5450010/5450010
1615.98/1608.53	c cleaning 103990 clauses out of 208007 with flag 5555000/5555000
1643.59/1636.14	c cleaning 104981 clauses out of 210024 with flag 5661007/5661007
1671.19/1663.74	c cleaning 106006 clauses out of 212037 with flag 5768001/5768001
1699.29/1691.87	c cleaning 107005 clauses out of 214032 with flag 5876002/5876002
1726.89/1719.48	c cleaning 108000 clauses out of 216041 with flag 5985016/5985016
1755.48/1748.05	c cleaning 109000 clauses out of 218027 with flag 6095002/6095002
1780.17/1772.79	c cleaning 110002 clauses out of 220031 with flag 6206006/6206006
1800.08/1792.61	c starts		: 276
1800.08/1792.61	c conflicts		: 6316151
1800.08/1792.61	c decisions		: 6653552
1800.08/1792.61	c propagations		: 269438923
1800.08/1792.61	c inspects		: 11268201188
1800.08/1792.61	c shortcuts		: 0
1800.08/1792.61	c learnt literals	: 0
1800.08/1792.61	c learnt binary clauses	: 0
1800.08/1792.61	c learnt ternary clauses	: 103
1800.08/1792.61	c learnt constraints	: 6316151
1800.08/1792.61	c ignored constraints	: 0
1800.08/1792.61	c root simplifications	: 0
1800.08/1792.61	c removed literals (reason simplification)	: 0
1800.08/1792.61	c reason swapping (by a shorter reason)	: 0
1800.08/1792.61	c Calls to reduceDB	: 107
1800.08/1792.61	c number of reductions to clauses (during analyze)	: 0
1800.08/1792.61	c number of learned constraints concerned by reduction	: 0
1800.08/1792.61	c number of learning phase by resolution	: 0
1800.08/1792.61	c number of learning phase by cutting planes	: 0
1800.08/1792.61	c speed (assignments/second)	: 150361.00398058648
1800.08/1792.61	c non guided choices	16183
1800.08/1792.64	c learnt constraints type 
1800.08/1792.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 220326
1800.08/1792.64	c constraints type 
1800.08/1792.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15722
1800.08/1792.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.08/1792.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.08/1792.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15722
1800.08/1792.64	c 32947 constraints processed.
1800.08/1792.64	s UNKNOWN
1800.08/1792.64	c Total wall clock time (in seconds): 1792.537

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-3688811-1337888092/watcher-3688811-1337888092 -o /tmp/evaluation-result-3688811-1337888092/solver-3688811-1337888092 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688811-1337888092.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.88 2.04 2.02 3/194 25130
/proc/meminfo: memFree=28809904/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/25130/stat : 25130 (java) R 25128 25130 23489 0 -1 4202496 98 0 0 0 0 0 0 0 20 0 1 0 254935171 5767168 52 33554432000 1073741824 1073778376 140737132971648 140737132968776 217401356074 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25130/statm: 1408 55 43 9 0 30 0

[startup+0.0621151 s]
/proc/loadavg: 1.88 2.04 2.02 3/194 25130
/proc/meminfo: memFree=28809904/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 3206 0 1 0 3 0 0 0 20 0 18 0 254935171 9787813888 4416 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2389603 4416 1758 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558412

[startup+0.100195 s]
/proc/loadavg: 1.88 2.04 2.02 3/194 25130
/proc/meminfo: memFree=28809904/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 4369 0 1 0 9 1 0 0 20 0 18 0 254935171 9787813888 6088 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2389603 6088 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300162 s]
/proc/loadavg: 1.88 2.04 2.02 3/194 25130
/proc/meminfo: memFree=28809904/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 5221 0 1 0 47 1 0 0 20 0 18 0 254935171 9787813888 8284 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2389603 8284 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700171 s]
/proc/loadavg: 1.88 2.04 2.02 3/194 25130
/proc/meminfo: memFree=28809904/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 12396 0 1 0 161 5 0 0 20 0 19 0 254935171 9855975424 45929 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2406244 45929 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9624976

[startup+1.5007 s]
/proc/loadavg: 1.88 2.04 2.02 3/213 25149
/proc/meminfo: memFree=28639080/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9624976 CPUtime=2.74 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 12758 0 1 0 269 5 0 0 20 0 19 0 254935171 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2406244 45936 2270 9 0 2396937 0
[pid=25130/tid=25132] ppid=25128 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/25130/task/25132/stat : 25132 (java) R 25128 25130 23489 0 -1 4202560 2517 0 1 0 142 3 0 0 20 0 19 0 254935172 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980157690488 139979981134979 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25133] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25133/stat : 25133 (java) S 25128 25130 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980119182120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25134] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25134/stat : 25134 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980118129320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25135] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25135/stat : 25135 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980117077032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25136] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25136/stat : 25136 (java) S 25128 25130 23489 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980116024232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25137] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25137/stat : 25137 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980114970920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25138] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25138/stat : 25138 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980113918120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25139] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25139/stat : 25139 (java) S 25128 25130 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980112865832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25140] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25140/stat : 25140 (java) S 25128 25130 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980111813032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25141] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25141/stat : 25141 (java) S 25128 25130 23489 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 254935174 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980099402472 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25142] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25142/stat : 25142 (java) S 25128 25130 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979980269048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25143] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25143/stat : 25143 (java) S 25128 25130 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979979216648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25144] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25144/stat : 25144 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979978165136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25145] ppid=25128 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/25130/task/25145/stat : 25145 (java) S 25128 25130 23489 0 -1 4202560 4446 0 0 0 62 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979977111736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25146] ppid=25128 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/25130/task/25146/stat : 25146 (java) S 25128 25130 23489 0 -1 4202560 4498 0 0 0 58 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979976058936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25147] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25147/stat : 25147 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979975006840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25148] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25148/stat : 25148 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979973954248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25149] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25149/stat : 25149 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935238 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979972900264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 9624976

[startup+3.10064 s]
/proc/loadavg: 1.88 2.04 2.02 3/213 25149
/proc/meminfo: memFree=28631696/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9624976 CPUtime=4.33 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 12759 0 1 0 428 5 0 0 20 0 19 0 254935171 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2406244 45936 2270 9 0 2396937 0
[pid=25130/tid=25132] ppid=25128 vsize=9624976 CPUtime=3.04 cores=1,3,5,7
/proc/25130/task/25132/stat : 25132 (java) R 25128 25130 23489 0 -1 4202560 2518 0 1 0 301 3 0 0 20 0 19 0 254935172 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980157688384 139979981231092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25133] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25133/stat : 25133 (java) S 25128 25130 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980119182120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25134] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25134/stat : 25134 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980118129320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25135] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25135/stat : 25135 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980117077032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25136] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25136/stat : 25136 (java) S 25128 25130 23489 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980116024232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25137] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25137/stat : 25137 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980114970920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25138] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25138/stat : 25138 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980113918120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25139] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25139/stat : 25139 (java) S 25128 25130 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980112865832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25140] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25140/stat : 25140 (java) S 25128 25130 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980111813032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25141] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25141/stat : 25141 (java) S 25128 25130 23489 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 254935174 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139980099402472 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25142] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25142/stat : 25142 (java) S 25128 25130 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979980269048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25143] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25143/stat : 25143 (java) S 25128 25130 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979979216648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25144] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25144/stat : 25144 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979978165136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25145] ppid=25128 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/25130/task/25145/stat : 25145 (java) S 25128 25130 23489 0 -1 4202560 4446 0 0 0 62 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979977111736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25146] ppid=25128 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/25130/task/25146/stat : 25146 (java) S 25128 25130 23489 0 -1 4202560 4498 0 0 0 58 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979976058936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25147] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25147/stat : 25147 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979975006840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25148] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25148/stat : 25148 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979973954248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25149] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25149/stat : 25149 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935238 9855975424 45936 33554432000 1073741824 1073778376 140736292747760 139979972900264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 9624976

[startup+6.3007 s]
/proc/loadavg: 1.97 2.06 2.02 3/213 25149
/proc/meminfo: memFree=28571040/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9624976 CPUtime=7.65 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 13188 0 1 0 756 9 0 0 20 0 19 0 254935171 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2406244 59592 2283 9 0 2396937 0
[pid=25130/tid=25132] ppid=25128 vsize=9624976 CPUtime=6.14 cores=1,3,5,7
/proc/25130/task/25132/stat : 25132 (java) R 25128 25130 23489 0 -1 4202560 2520 0 1 0 611 3 0 0 20 0 19 0 254935172 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980157690328 139979981188853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25133] ppid=25128 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25130/task/25133/stat : 25133 (java) S 25128 25130 23489 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 19 0 254935173 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980119182120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25134] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25134/stat : 25134 (java) S 25128 25130 23489 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980118129320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25135] ppid=25128 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25130/task/25135/stat : 25135 (java) S 25128 25130 23489 0 -1 4202560 214 0 0 0 1 0 0 0 20 0 19 0 254935173 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980117077032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25136] ppid=25128 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25130/task/25136/stat : 25136 (java) S 25128 25130 23489 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254935173 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980116024232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25137] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25137/stat : 25137 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980114970920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25138] ppid=25128 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25130/task/25138/stat : 25138 (java) S 25128 25130 23489 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 254935173 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980113918120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25139] ppid=25128 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/25130/task/25139/stat : 25139 (java) S 25128 25130 23489 0 -1 4202560 68 0 0 0 3 0 0 0 20 0 19 0 254935173 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980112865832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25140] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25140/stat : 25140 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935173 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980111813032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25141] ppid=25128 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/25130/task/25141/stat : 25141 (java) S 25128 25130 23489 0 -1 4202560 104 0 0 0 5 0 0 0 20 0 19 0 254935174 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139980099402472 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25142] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25142/stat : 25142 (java) S 25128 25130 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139979980269048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25143] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25143/stat : 25143 (java) S 25128 25130 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139979979216648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25144] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25144/stat : 25144 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139979978165136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25145] ppid=25128 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/25130/task/25145/stat : 25145 (java) S 25128 25130 23489 0 -1 4202560 4448 0 0 0 62 0 0 0 20 0 19 0 254935177 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139979977111736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25146] ppid=25128 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25130/task/25146/stat : 25146 (java) S 25128 25130 23489 0 -1 4202560 4502 0 0 0 60 0 0 0 20 0 19 0 254935177 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139979976058936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25147] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25147/stat : 25147 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139979975006840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25148] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25148/stat : 25148 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139979973954248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25149] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25149/stat : 25149 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935238 9855975424 59592 33554432000 1073741824 1073778376 140736292747760 139979972900264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=25130/tid=25138] ppid=25128 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/25130/task/25138/stat : 25138 (java) S 25128 25130 23489 0 -1 4202560 523 0 0 0 93 10 0 0 20 0 19 0 254935173 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139980113918120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25139] ppid=25128 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/25130/task/25139/stat : 25139 (java) S 25128 25130 23489 0 -1 4202560 629 0 0 0 95 8 0 0 20 0 19 0 254935173 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139980112865832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25140] ppid=25128 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/25130/task/25140/stat : 25140 (java) S 25128 25130 23489 0 -1 4202560 395 0 0 0 99 8 0 0 20 0 19 0 254935173 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139980111813032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25141] ppid=25128 vsize=9624976 CPUtime=13.48 cores=1,3,5,7
/proc/25130/task/25141/stat : 25141 (java) S 25128 25130 23489 0 -1 4202560 802 0 0 0 1344 4 0 0 20 0 19 0 254935174 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139980099402472 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25142] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25142/stat : 25142 (java) S 25128 25130 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139979980269048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25143] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25143/stat : 25143 (java) S 25128 25130 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139979979216648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25144] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25144/stat : 25144 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139979978165136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25145] ppid=25128 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/25130/task/25145/stat : 25145 (java) S 25128 25130 23489 0 -1 4202560 4456 0 0 0 72 0 0 0 20 0 19 0 254935177 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139979977111736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25146] ppid=25128 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/25130/task/25146/stat : 25146 (java) S 25128 25130 23489 0 -1 4202560 4528 0 0 0 66 0 0 0 20 0 19 0 254935177 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139979976058936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25147] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25147/stat : 25147 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139979975006840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25148] ppid=25128 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/25130/task/25148/stat : 25148 (java) S 25128 25130 23489 0 -1 4202560 95 0 0 0 25 34 0 0 20 0 19 0 254935177 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139979973954248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25149] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25149/stat : 25149 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935238 9855975424 286614 33554432000 1073741824 1073778376 140736292747760 139979972900264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1669.79
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 25188
/proc/meminfo: memFree=27139136/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9624976 CPUtime=1729.79 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 18071 0 1 0 172867 112 0 0 20 0 19 0 254935171 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2406244 289174 2284 9 0 2396937 0
[pid=25130/tid=25132] ppid=25128 vsize=9624976 CPUtime=1705.94 cores=1,3,5,7
/proc/25130/task/25132/stat : 25132 (java) R 25128 25130 23489 0 -1 4202560 2903 0 1 0 170560 34 0 0 20 0 19 0 254935172 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980157690144 139979981034029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25133] ppid=25128 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/25130/task/25133/stat : 25133 (java) S 25128 25130 23489 0 -1 4202560 691 0 0 0 99 10 0 0 20 0 19 0 254935173 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980119182120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25134] ppid=25128 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/25130/task/25134/stat : 25134 (java) S 25128 25130 23489 0 -1 4202560 550 0 0 0 91 7 0 0 20 0 19 0 254935173 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980118129320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25135] ppid=25128 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/25130/task/25135/stat : 25135 (java) S 25128 25130 23489 0 -1 4202560 509 0 0 0 89 8 0 0 20 0 19 0 254935173 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980117077032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25136] ppid=25128 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/25130/task/25136/stat : 25136 (java) S 25128 25130 23489 0 -1 4202560 414 0 0 0 84 10 0 0 20 0 19 0 254935173 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980116024232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25137] ppid=25128 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/25130/task/25137/stat : 25137 (java) S 25128 25130 23489 0 -1 4202560 387 0 0 0 83 8 0 0 20 0 19 0 254935173 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980114970920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25138] ppid=25128 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/25130/task/25138/stat : 25138 (java) S 25128 25130 23489 0 -1 4202560 523 0 0 0 93 10 0 0 20 0 19 0 254935173 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980113918120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25139] ppid=25128 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/25130/task/25139/stat : 25139 (java) S 25128 25130 23489 0 -1 4202560 629 0 0 0 95 8 0 0 20 0 19 0 254935173 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980112865832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25140] ppid=25128 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/25130/task/25140/stat : 25140 (java) S 25128 25130 23489 0 -1 4202560 395 0 0 0 99 8 0 0 20 0 19 0 254935173 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980111813032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25141] ppid=25128 vsize=9624976 CPUtime=14.06 cores=1,3,5,7
/proc/25130/task/25141/stat : 25141 (java) S 25128 25130 23489 0 -1 4202560 808 0 0 0 1402 4 0 0 20 0 19 0 254935174 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139980099402472 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25142] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25142/stat : 25142 (java) S 25128 25130 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139979980269048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25143] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25143/stat : 25143 (java) S 25128 25130 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139979979216648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25144] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25144/stat : 25144 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139979978165136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25145] ppid=25128 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/25130/task/25145/stat : 25145 (java) S 25128 25130 23489 0 -1 4202560 4456 0 0 0 72 0 0 0 20 0 19 0 254935177 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139979977111736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25146] ppid=25128 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/25130/task/25146/stat : 25146 (java) S 25128 25130 23489 0 -1 4202560 4528 0 0 0 66 0 0 0 20 0 19 0 254935177 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139979976058936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25147] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25147/stat : 25147 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139979975006840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25148] ppid=25128 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/25130/task/25148/stat : 25148 (java) S 25128 25130 23489 0 -1 4202560 99 0 0 0 26 35 0 0 20 0 19 0 254935177 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139979973954248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25149] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25149/stat : 25149 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935238 9855975424 289174 33554432000 1073741824 1073778376 140736292747760 139979972900264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1729.79
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 25303
/proc/meminfo: memFree=27590016/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9624976 CPUtime=1789.77 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 18083 0 1 0 178865 112 0 0 20 0 19 0 254935171 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2406244 291222 2284 9 0 2396937 0
[pid=25130/tid=25132] ppid=25128 vsize=9624976 CPUtime=1765.48 cores=1,3,5,7
/proc/25130/task/25132/stat : 25132 (java) R 25128 25130 23489 0 -1 4202560 2909 0 1 0 176512 36 0 0 20 0 19 0 254935172 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980157690144 139979981250336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25133] ppid=25128 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/25130/task/25133/stat : 25133 (java) S 25128 25130 23489 0 -1 4202560 691 0 0 0 99 10 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980119182120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25134] ppid=25128 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/25130/task/25134/stat : 25134 (java) S 25128 25130 23489 0 -1 4202560 550 0 0 0 91 7 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980118129320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25135] ppid=25128 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/25130/task/25135/stat : 25135 (java) S 25128 25130 23489 0 -1 4202560 509 0 0 0 89 8 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980117077032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25136] ppid=25128 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/25130/task/25136/stat : 25136 (java) S 25128 25130 23489 0 -1 4202560 414 0 0 0 84 10 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980116024232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25137] ppid=25128 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/25130/task/25137/stat : 25137 (java) S 25128 25130 23489 0 -1 4202560 387 0 0 0 83 8 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980114970920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25138] ppid=25128 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/25130/task/25138/stat : 25138 (java) S 25128 25130 23489 0 -1 4202560 523 0 0 0 93 10 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980113918120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25139] ppid=25128 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/25130/task/25139/stat : 25139 (java) S 25128 25130 23489 0 -1 4202560 629 0 0 0 95 8 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980112865832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25140] ppid=25128 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/25130/task/25140/stat : 25140 (java) S 25128 25130 23489 0 -1 4202560 395 0 0 0 99 8 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980111813032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25141] ppid=25128 vsize=9624976 CPUtime=14.51 cores=1,3,5,7
/proc/25130/task/25141/stat : 25141 (java) S 25128 25130 23489 0 -1 4202560 810 0 0 0 1447 4 0 0 20 0 19 0 254935174 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980099402472 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25142] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25142/stat : 25142 (java) S 25128 25130 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979980269048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25143] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25143/stat : 25143 (java) S 25128 25130 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979979216648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25144] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25144/stat : 25144 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979978165136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25145] ppid=25128 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/25130/task/25145/stat : 25145 (java) S 25128 25130 23489 0 -1 4202560 4456 0 0 0 72 0 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979977111736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25146] ppid=25128 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/25130/task/25146/stat : 25146 (java) S 25128 25130 23489 0 -1 4202560 4528 0 0 0 66 0 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979976058936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25147] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25147/stat : 25147 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979975006840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25148] ppid=25128 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/25130/task/25148/stat : 25148 (java) S 25128 25130 23489 0 -1 4202560 103 0 0 0 26 37 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979973954248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25149] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25149/stat : 25149 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935238 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979972900264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1789.77
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.6 s]
/proc/loadavg: 1.95 1.99 1.99 3/213 25303
/proc/meminfo: memFree=27590096/32873648 swapFree=7372/7372
[pid=25130] ppid=25128 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/25130/stat : 25130 (java) S 25128 25130 23489 0 -1 4202496 18083 0 1 0 179895 113 0 0 20 0 19 0 254935171 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 140736292738896 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 2406244 291222 2284 9 0 2396937 0
[pid=25130/tid=25132] ppid=25128 vsize=9624976 CPUtime=1775.79 cores=1,3,5,7
/proc/25130/task/25132/stat : 25132 (java) R 25128 25130 23489 0 -1 4202560 2909 0 1 0 177543 36 0 0 20 0 19 0 254935172 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980157690144 139979981250176 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25133] ppid=25128 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/25130/task/25133/stat : 25133 (java) S 25128 25130 23489 0 -1 4202560 691 0 0 0 99 10 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980119182120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25134] ppid=25128 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/25130/task/25134/stat : 25134 (java) S 25128 25130 23489 0 -1 4202560 550 0 0 0 91 7 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980118129320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25130/tid=25135] ppid=25128 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/25130/task/25135/stat : 25135 (java) S 25128 25130 23489 0 -1 4202560 509 0 0 0 89 8 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980117077032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25136] ppid=25128 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/25130/task/25136/stat : 25136 (java) S 25128 25130 23489 0 -1 4202560 414 0 0 0 84 10 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980116024232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25137] ppid=25128 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/25130/task/25137/stat : 25137 (java) S 25128 25130 23489 0 -1 4202560 387 0 0 0 83 8 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980114970920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25138] ppid=25128 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/25130/task/25138/stat : 25138 (java) S 25128 25130 23489 0 -1 4202560 523 0 0 0 93 10 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980113918120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25139] ppid=25128 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/25130/task/25139/stat : 25139 (java) S 25128 25130 23489 0 -1 4202560 629 0 0 0 95 8 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980112865832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25140] ppid=25128 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/25130/task/25140/stat : 25140 (java) S 25128 25130 23489 0 -1 4202560 395 0 0 0 99 8 0 0 20 0 19 0 254935173 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980111813032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25141] ppid=25128 vsize=9624976 CPUtime=14.51 cores=1,3,5,7
/proc/25130/task/25141/stat : 25141 (java) S 25128 25130 23489 0 -1 4202560 810 0 0 0 1447 4 0 0 20 0 19 0 254935174 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139980099402472 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25142] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25142/stat : 25142 (java) S 25128 25130 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979980269048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25143] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25143/stat : 25143 (java) S 25128 25130 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935175 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979979216648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25144] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25144/stat : 25144 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979978165136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25145] ppid=25128 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/25130/task/25145/stat : 25145 (java) S 25128 25130 23489 0 -1 4202560 4456 0 0 0 72 0 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979977111736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25146] ppid=25128 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/25130/task/25146/stat : 25146 (java) S 25128 25130 23489 0 -1 4202560 4528 0 0 0 66 0 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979976058936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25130/tid=25147] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25147/stat : 25147 (java) S 25128 25130 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979975006840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25130/tid=25148] ppid=25128 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/25130/task/25148/stat : 25148 (java) S 25128 25130 23489 0 -1 4202560 103 0 0 0 27 37 0 0 20 0 19 0 254935177 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979973954248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25130/tid=25149] ppid=25128 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25130/task/25149/stat : 25149 (java) S 25128 25130 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935238 9855975424 291222 33554432000 1073741824 1073778376 140736292747760 139979972900264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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): 1792.65
CPU time (s): 1800.69
CPU user time (s): 1799.08
CPU system time (s): 1.61275
CPU usage (%): 100.449
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.61275
maximum resident set size= 1169124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18124
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39729
involuntary context switches= 21026

runsolver used 5.8931 second user time and 14.9907 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-24 21:34:52
IDJOB=3688811
IDBENCH=48350
IDSOLVER=2269
FILE ID=node122/3688811-1337888092
RUNJOBID= node122-1337871880-23506
PBS_JOBID= 14620082
Free space on /tmp= 71376 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_3_80.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688811-1337888092/watcher-3688811-1337888092 -o /tmp/evaluation-result-3688811-1337888092/solver-3688811-1337888092 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688811-1337888092.opb

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

MD5SUM BENCH= 6671ed3c9b389a2223dba62c8a435d2e
RANDOM SEED=1445735046

node122.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		: 2666.533
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	: 5333.06
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		: 2666.533
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.91
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		: 2666.533
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	: 5332.04
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		: 2666.533
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		: 2666.533
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		: 2666.533
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		: 2666.533
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		: 2666.533
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:       32873648 kB
MemFree:        28816196 kB
Buffers:          199052 kB
Cached:          2927264 kB
SwapCached:            0 kB
Active:          1395384 kB
Inactive:        1888188 kB
Active(anon):     148560 kB
Inactive(anon):    11052 kB
Active(file):    1246824 kB
Inactive(file):  1877136 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1408 kB
Writeback:             0 kB
AnonPages:        154320 kB
Mapped:            22072 kB
Shmem:               200 kB
Slab:             634744 kB
SReclaimable:      78680 kB
SUnreclaim:       556064 kB
KernelStack:        1600 kB
PageTables:         4420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     697756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71372 MiB
End job on node122 at 2012-05-24 22:04:46