Trace number 3739698

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
PB11: Sat4j Res//CP 2.3.0? (TO) 1800.75 906.253

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12047_6-sat.opb
MD5SUM937ecf63c168ba3c2555061c1a7466e0
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, 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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33396
Total number of constraints116135
Number of constraints which are clauses115587
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints548
Minimum length of a constraint1
Maximum length of a constraint66
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 383
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3739698-1338729635.opb
0.09/0.12	c reading problem ... 
1.76/1.10	c ... done. Wall clock time 0.985s.
1.76/1.10	c #vars     33396
1.76/1.10	c #constraints  102160
1.76/1.10	c constraints type 
1.76/1.10	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12235
1.76/1.10	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 83592
1.76/1.10	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 548
1.76/1.10	c constraints type 
1.76/1.10	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 83592
1.76/1.10	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 12235
1.76/1.10	c org.sat4j.pb.constraints.pb.MaxWatchPb => 548
7.91/3.42	c cleaning 2491 clauses out of 5000 with flag 5001/5001
12.46/5.67	c cleaning 4245 clauses out of 8509 with flag 11001/11001
16.79/7.86	c cleaning 5618 clauses out of 11263 with flag 18000/18000
22.73/10.85	c cleaning 6814 clauses out of 13646 with flag 26001/26001
29.84/14.46	c cleaning 7906 clauses out of 15831 with flag 35001/35001
36.52/17.89	c cleaning 8958 clauses out of 17928 with flag 45004/45004
44.82/22.01	c cleaning 9971 clauses out of 19967 with flag 56001/56001
54.09/26.76	c cleaning 10988 clauses out of 21995 with flag 68000/68000
66.53/33.02	c cleaning 12000 clauses out of 24008 with flag 81001/81001
77.39/38.52	c cleaning 12994 clauses out of 26007 with flag 95000/95000
89.43/44.66	c cleaning 13974 clauses out of 28013 with flag 110000/110000
100.28/50.18	c cleaning 0 clauses out of 5000 with flag 0/5000
103.26/51.50	c cleaning 15017 clauses out of 30041 with flag 126002/126002
118.23/59.03	c cleaning 15992 clauses out of 32022 with flag 143000/143000
133.87/66.90	c cleaning 17013 clauses out of 34030 with flag 161000/161000
148.88/74.54	c cleaning 17991 clauses out of 36019 with flag 180002/180002
166.63/83.53	c cleaning 19002 clauses out of 38026 with flag 200000/200000
186.48/93.53	c cleaning 19968 clauses out of 40024 with flag 221000/221000
206.89/103.88	c cleaning 20996 clauses out of 42056 with flag 243000/243000
228.38/114.69	c cleaning 22021 clauses out of 44060 with flag 266000/266000
250.06/125.66	c cleaning 22978 clauses out of 46039 with flag 290000/290000
273.04/137.20	c cleaning 24022 clauses out of 48064 with flag 315003/315003
297.46/149.55	c cleaning 24970 clauses out of 50039 with flag 341000/341000
324.27/163.04	c cleaning 26014 clauses out of 52069 with flag 368000/368000
354.55/178.40	c cleaning 27016 clauses out of 54055 with flag 396000/396000
383.19/192.79	c cleaning 27987 clauses out of 56040 with flag 425001/425001
416.01/209.27	c cleaning 28991 clauses out of 58053 with flag 455001/455001
452.99/227.81	c cleaning 30017 clauses out of 60065 with flag 486004/486004
478.38/240.78	c cleaning 0 clauses out of 11000 with flag 0/11000
490.57/246.95	c cleaning 30964 clauses out of 62044 with flag 518000/518000
526.55/265.04	c cleaning 32012 clauses out of 64080 with flag 551000/551000
565.92/284.86	c cleaning 33020 clauses out of 66068 with flag 585000/585000
602.07/303.17	c cleaning 34004 clauses out of 68049 with flag 620001/620001
641.38/322.96	c cleaning 35008 clauses out of 70044 with flag 656000/656000
682.14/343.49	c cleaning 35990 clauses out of 72035 with flag 693000/693000
732.47/368.79	c cleaning 36999 clauses out of 74045 with flag 731000/731000
779.81/392.68	c cleaning 38002 clauses out of 76048 with flag 770002/770002
826.70/416.28	c cleaning 38990 clauses out of 78044 with flag 810000/810000
884.68/445.39	c cleaning 39980 clauses out of 80056 with flag 851002/851002
939.18/472.79	c cleaning 40986 clauses out of 82074 with flag 893000/893000
986.43/496.67	c cleaning 42012 clauses out of 84088 with flag 936000/936000
1034.93/521.06	c cleaning 43033 clauses out of 86078 with flag 980002/980002
1088.24/547.84	c cleaning 43993 clauses out of 88044 with flag 1025001/1025001
1136.47/572.12	c cleaning 44997 clauses out of 90050 with flag 1071000/1071000
1188.10/598.23	c cleaning 45976 clauses out of 92054 with flag 1118001/1118001
1251.82/630.27	c cleaning 46995 clauses out of 94078 with flag 1166001/1166001
1321.52/665.29	c cleaning 48011 clauses out of 96082 with flag 1215000/1215000
1393.01/701.11	c cleaning 48973 clauses out of 98071 with flag 1265000/1265000
1438.40/724.14	c cleaning 0 clauses out of 18001 with flag 0/18001
1465.35/737.86	c cleaning 49999 clauses out of 100098 with flag 1316000/1316000
1533.50/772.06	c cleaning 51037 clauses out of 102099 with flag 1368001/1368001
1601.97/806.41	c cleaning 52010 clauses out of 104061 with flag 1421000/1421000
1682.12/846.90	c cleaning 52991 clauses out of 106051 with flag 1475000/1475000
1749.59/880.74	c cleaning 54010 clauses out of 108060 with flag 1530000/1530000
1800.20/906.21	c starts		: 208
1800.20/906.21	c conflicts		: 1568079
1800.20/906.21	c decisions		: 2082101
1800.20/906.21	c propagations		: 1320330548
1800.20/906.21	c inspects		: 5866104759
1800.20/906.21	c shortcuts		: 0
1800.20/906.21	c learnt literals	: 4
1800.20/906.21	c learnt binary clauses	: 74
1800.20/906.21	c learnt ternary clauses	: 1351
1800.20/906.21	c learnt constraints	: 1568075
1800.20/906.21	c ignored constraints	: 0
1800.20/906.21	c root simplifications	: 0
1800.20/906.21	c removed literals (reason simplification)	: 43749824
1800.20/906.21	c reason swapping (by a shorter reason)	: 0
1800.20/906.21	c Calls to reduceDB	: 51
1800.20/906.21	c number of reductions to clauses (during analyze)	: 0
1800.20/906.21	c number of learned constraints concerned by reduction	: 0
1800.20/906.21	c number of learning phase by resolution	: 0
1800.20/906.21	c number of learning phase by cutting planes	: 0
1800.20/906.21	c speed (assignments/second)	: 1458757.949897581
1800.20/906.21	c non guided choices	87
1800.20/906.23	c learnt constraints type 
1800.20/906.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 74
1800.20/906.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 92058
1800.20/906.23	c constraints type 
1800.20/906.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12235
1800.20/906.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 83592
1800.20/906.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 548
1800.20/906.23	c constraints type 
1800.20/906.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 83592
1800.20/906.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 12235
1800.20/906.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 548
1800.20/906.23	s UNKNOWN
1800.20/906.23	c Total wall clock time (in seconds): 906.118

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-3739698-1338729635/watcher-3739698-1338729635 -o /tmp/evaluation-result-3739698-1338729635/solver-3739698-1338729635 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3739698-1338729635.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: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (java) D 21801 21803 12644 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 339088938 9515008 182 33554432000 1073741824 1073778376 140737263171232 140737263162264 270707539637 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/21803/statm: 2323 182 140 9 0 71 0

[startup+0.0822701 s]
/proc/loadavg: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 3957 0 1 0 4 2 0 0 20 0 18 0 339088938 11864465408 12832 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2896598 12832 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.100207 s]
/proc/loadavg: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 4737 0 1 0 7 2 0 0 20 0 18 0 339088938 11864465408 13589 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2896598 13589 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300171 s]
/proc/loadavg: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11586392 CPUtime=0.48 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 6369 0 1 0 45 3 0 0 20 0 18 0 339088938 11864465408 17350 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2896598 17350 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392

[startup+0.700189 s]
/proc/loadavg: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11586392 CPUtime=1.28 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 10177 0 1 0 123 5 0 0 20 0 18 0 339088938 11864465408 50616 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2896598 50616 2245 9 0 2887285 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 11586392

[startup+1.50064 s]
/proc/loadavg: 3.82 3.88 3.53 6/216 21821
/proc/meminfo: memFree=22312244/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=3.63 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 19546 0 1 0 354 9 0 0 20 0 22 0 339088938 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 99873 2261 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3002 0 1 0 101 6 0 0 20 0 22 0 339088939 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339088942 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=0.92 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) R 21801 21803 12644 0 -1 4202560 9130 0 0 0 91 1 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140036804700200 140037732613317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) R 21801 21803 12644 0 -1 4202560 6099 0 0 0 80 1 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140036803647200 140037732920770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 11852648

[startup+3.10082 s]
/proc/loadavg: 3.82 3.88 3.53 5/220 21825
/proc/meminfo: memFree=21998676/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=7.31 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 21546 0 1 0 710 21 0 0 20 0 22 0 339088938 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 277057 2265 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3002 0 1 0 101 6 0 0 20 0 22 0 339088939 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339088942 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10776 0 0 0 113 2 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 6104 0 0 0 106 2 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=1.97 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 34 0 0 0 197 0 0 0 20 0 22 0 339089049 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036800486160 140037560769405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=1.98 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 429 0 0 0 185 13 0 0 20 0 22 0 339089049 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036799433736 140037560822230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 11852648

[startup+6.30081 s]
/proc/loadavg: 3.83 3.88 3.53 5/220 21825
/proc/meminfo: memFree=21230876/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=13.77 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 21822 0 1 0 1347 30 0 0 20 0 22 0 339088938 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 354241 2290 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3002 0 1 0 101 6 0 0 20 0 22 0 339088939 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=0.04 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 33 0 0 0 2 2 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 50 0 0 0 18 1 0 0 20 0 22 0 339088942 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10786 0 0 0 123 2 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 6106 0 0 0 115 2 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=4.9 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 37 0 0 0 490 0 0 0 20 0 22 0 339089049 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036800487976 140037560815914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0

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

[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=742.7 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 1560 0 0 0 74211 59 0 0 20 0 22 0 339089049 12137111552 955287 33554432000 1073741824 1073778376 140737152689520 140036799433712 140037560782528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 955287 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 955287 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1514.01
Current children cumulated vsize (KiB) 11852648

[startup+822.301 s]
/proc/loadavg: 3.77 3.79 3.68 5/219 23179
/proc/meminfo: memFree=20165172/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=1633.04 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 27639 0 1 0 163190 114 0 0 20 0 22 0 339088938 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 956365 2290 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3024 0 1 0 103 8 0 0 20 0 22 0 339088939 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 179 0 0 0 113 3 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 187 0 0 0 101 5 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 203 0 0 0 111 4 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 214 0 0 0 99 6 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 163 0 0 0 113 3 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 178 0 0 0 96 3 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 183 0 0 0 97 4 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 176 0 0 0 92 3 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=17.46 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 188 0 0 0 1739 7 0 0 20 0 22 0 339088942 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10810 0 0 0 137 2 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 9245 0 0 0 177 2 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 46 0 0 0 13 20 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=801.24 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 96 0 0 0 80112 12 0 0 20 0 22 0 339089049 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036800488016 140037560815731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=801.29 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 1560 0 0 0 80069 60 0 0 20 0 22 0 339089049 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036799433616 140037560758849 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1633.04
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.95 3.84 3.71 5/219 23182
/proc/meminfo: memFree=20141656/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=1752.34 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 27764 0 1 0 175118 116 0 0 20 0 22 0 339088938 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 956476 2290 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3026 0 1 0 103 8 0 0 20 0 22 0 339088939 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 180 0 0 0 119 3 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 199 0 0 0 110 5 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 218 0 0 0 118 4 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 218 0 0 0 107 6 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 186 0 0 0 124 3 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 198 0 0 0 109 3 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 189 0 0 0 105 4 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 206 0 0 0 99 3 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=18.45 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 192 0 0 0 1837 8 0 0 20 0 22 0 339088942 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10810 0 0 0 137 2 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 9245 0 0 0 177 2 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 50 0 0 0 14 22 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=860.05 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 98 0 0 0 85992 13 0 0 20 0 22 0 339089049 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036800488016 140037560822235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=860.08 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 1562 0 0 0 85947 61 0 0 20 0 22 0 339089049 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036799433712 140037560822230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1752.34
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.201 s]
/proc/loadavg: 3.91 3.83 3.71 5/219 23182
/proc/meminfo: memFree=19915888/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=1800.2 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 27785 0 1 0 179904 116 0 0 20 0 22 0 339088938 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 956494 2290 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3026 0 1 0 103 8 0 0 20 0 22 0 339088939 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 180 0 0 0 120 3 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 201 0 0 0 111 5 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 219 0 0 0 120 4 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 233 0 0 0 110 6 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=1.28 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 186 0 0 0 125 3 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 198 0 0 0 111 3 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 189 0 0 0 108 4 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 206 0 0 0 99 3 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=18.45 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 192 0 0 0 1837 8 0 0 20 0 22 0 339088942 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10810 0 0 0 137 2 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 9245 0 0 0 177 2 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 52 0 0 0 15 22 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=883.92 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 98 0 0 0 88379 13 0 0 20 0 22 0 339089049 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036800487072 140037560822197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=883.95 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 1563 0 0 0 88334 61 0 0 20 0 22 0 339089049 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036799433616 140037560782840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 11852648

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): 906.253
CPU time (s): 1800.75
CPU user time (s): 1799.11
CPU system time (s): 1.64375
CPU usage (%): 198.703
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.64375
maximum resident set size= 3828152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27821
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24275
involuntary context switches= 27762

runsolver used 3.34349 second user time and 8.5317 second system time

The end

Launcher Data

Begin job on node125 at 2012-06-03 15:20:35
IDJOB=3739698
IDBENCH=74121
IDSOLVER=2328
FILE ID=node125/3739698-1338729635
RUNJOBID= node125-1338714015-12661
PBS_JOBID= 14636751
Free space on /tmp= 70432 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_6-sat.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739698-1338729635/watcher-3739698-1338729635 -o /tmp/evaluation-result-3739698-1338729635/solver-3739698-1338729635 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3739698-1338729635.opb

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

MD5SUM BENCH= 937ecf63c168ba3c2555061c1a7466e0
RANDOM SEED=1152159834

node125.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.373
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	: 5332.74
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.373
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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.373
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.90
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.373
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.373
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.373
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.373
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:        22630924 kB
Buffers:          611276 kB
Cached:          5044944 kB
SwapCached:         2308 kB
Active:          6160544 kB
Inactive:        3166724 kB
Active(anon):    3662324 kB
Inactive(anon):     9240 kB
Active(file):    2498220 kB
Inactive(file):  3157484 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:              3788 kB
Writeback:             0 kB
AnonPages:       3675788 kB
Mapped:            22564 kB
Shmem:                96 kB
Slab:             768344 kB
SReclaimable:     211876 kB
SUnreclaim:       556468 kB
KernelStack:        1632 kB
PageTables:        11088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10462880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3618816 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= 70436 MiB
End job on node125 at 2012-06-03 15:35:43