Trace number 4116950

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16? (TO) 1800.11 894.66

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round22-0.opb
MD5SUMc96210cacdef9eb2768a7c5a4938e22d
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 variables4128
Total number of constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4116950-1466958620.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
0.73/0.49	c ... done. Wall clock time 0.371s.
0.73/0.49	c declared #vars     4128
0.73/0.49	c #constraints  10016
0.73/0.49	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.73/0.49	c constraints type 
0.73/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.73/0.49	c org.sat4j.specs.Constr$1 => 920
0.73/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.73/0.49	c org.sat4j.minisat.constraints.cnf.UnitClause => 520
0.73/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.73/0.49	c 10016 constraints processed.
0.73/0.49	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.73/0.49	c constraints type 
0.73/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.73/0.49	c org.sat4j.specs.Constr$1 => 920
0.73/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
0.73/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
0.73/0.49	c org.sat4j.pb.constraints.pb.UnitClausePB => 520
0.73/0.49	c 10016 constraints processed.
4.20/1.37	c cleaning 2493 clauses out of 4997 with flag 16257/5000
6.33/2.00	c cleaning 4242 clauses out of 8504 with flag 39815/11000
7.80/2.74	c cleaning 5607 clauses out of 11262 with flag 68480/18000
9.43/3.59	c cleaning 6821 clauses out of 13657 with flag 102903/26002
11.51/4.56	c cleaning 7906 clauses out of 15834 with flag 145718/35000
14.00/5.74	c cleaning 8939 clauses out of 17929 with flag 194331/45001
16.49/6.98	c cleaning 9980 clauses out of 19989 with flag 250467/56000
19.29/8.30	c cleaning 10993 clauses out of 22009 with flag 313249/68000
22.59/9.94	c cleaning 11980 clauses out of 24016 with flag 383710/81000
25.97/11.63	c cleaning 13003 clauses out of 26036 with flag 460405/95000
30.06/13.61	c cleaning 13999 clauses out of 28033 with flag 543735/110000
34.07/15.69	c cleaning 14984 clauses out of 30034 with flag 633439/126000
38.67/17.95	c cleaning 15986 clauses out of 32051 with flag 730541/143001
42.16/19.68	c cleaning 0 clauses out of 5000 with flag 0/5000
44.17/20.60	c cleaning 17011 clauses out of 34064 with flag 833547/161000
50.18/23.46	c cleaning 18009 clauses out of 36054 with flag 945679/180001
56.07/26.36	c cleaning 19010 clauses out of 38044 with flag 1062257/200000
62.28/29.46	c cleaning 20002 clauses out of 40034 with flag 1189663/221000
69.19/32.81	c cleaning 21013 clauses out of 42032 with flag 1324715/243000
76.20/36.34	c cleaning 21989 clauses out of 44019 with flag 1457813/266000
83.79/40.11	c cleaning 23009 clauses out of 46030 with flag 1599239/290000
92.49/44.46	c cleaning 23978 clauses out of 48021 with flag 1751288/315000
100.88/48.62	c cleaning 25007 clauses out of 50044 with flag 1911383/341001
110.01/53.14	c cleaning 26005 clauses out of 52036 with flag 2074126/368000
120.00/58.14	c cleaning 26992 clauses out of 54031 with flag 2244227/396000
130.54/63.38	c cleaning 27979 clauses out of 56039 with flag 2418882/425000
141.64/68.84	c cleaning 29007 clauses out of 58060 with flag 2601102/455000
152.86/74.46	c cleaning 29986 clauses out of 60053 with flag 2789925/486000
164.58/80.26	c cleaning 31019 clauses out of 62067 with flag 2986455/518000
177.18/86.50	c cleaning 31994 clauses out of 64048 with flag 3186483/551000
190.49/93.20	c cleaning 32993 clauses out of 66055 with flag 3400937/585001
205.36/100.94	c cleaning 34031 clauses out of 68061 with flag 3617292/620000
220.39/108.43	c cleaning 34979 clauses out of 70030 with flag 3838872/656000
235.68/116.02	c cleaning 35984 clauses out of 72052 with flag 4062807/693001
252.14/124.27	c cleaning 37012 clauses out of 74067 with flag 4294767/731000
269.62/132.91	c cleaning 37996 clauses out of 76055 with flag 4537826/770000
288.72/142.45	c cleaning 39020 clauses out of 78059 with flag 4785376/810000
308.63/152.31	c cleaning 40009 clauses out of 80042 with flag 5038199/851003
317.73/156.88	c cleaning 0 clauses out of 11000 with flag 0/11000
328.92/162.41	c cleaning 40990 clauses out of 82030 with flag 5300723/893000
349.45/172.70	c cleaning 42006 clauses out of 84040 with flag 5570073/936000
371.99/183.71	c cleaning 43012 clauses out of 86034 with flag 5845020/980000
393.93/194.66	c cleaning 43992 clauses out of 88022 with flag 6124791/1025000
416.47/205.89	c cleaning 44980 clauses out of 90030 with flag 6413953/1071000
439.60/217.38	c cleaning 45991 clauses out of 92050 with flag 6707718/1118000
464.72/229.77	c cleaning 46984 clauses out of 94059 with flag 7007932/1166000
491.69/243.13	c cleaning 48002 clauses out of 96076 with flag 7313337/1215001
519.23/256.85	c cleaning 49023 clauses out of 98073 with flag 7628228/1265000
548.20/271.88	c cleaning 50008 clauses out of 100051 with flag 7945054/1316001
576.90/286.07	c cleaning 51004 clauses out of 102043 with flag 8273000/1368001
604.21/299.68	c cleaning 51975 clauses out of 104039 with flag 8604263/1421001
635.49/315.12	c cleaning 53021 clauses out of 106064 with flag 8940427/1475001
666.20/330.46	c cleaning 54021 clauses out of 108042 with flag 9283338/1530000
698.77/346.65	c cleaning 55008 clauses out of 110021 with flag 9631055/1586000
734.70/364.52	c cleaning 55991 clauses out of 112013 with flag 9987548/1643000
768.08/381.19	c cleaning 56989 clauses out of 114024 with flag 10348653/1701002
803.12/398.51	c cleaning 57984 clauses out of 116033 with flag 10715522/1760000
839.55/416.67	c cleaning 59022 clauses out of 118049 with flag 11088978/1820000
876.72/435.02	c cleaning 60002 clauses out of 120027 with flag 11469052/1881000
914.85/453.96	c cleaning 60985 clauses out of 122025 with flag 11851367/1943000
953.70/473.21	c cleaning 62010 clauses out of 124043 with flag 12241741/2006003
993.72/493.13	c cleaning 62940 clauses out of 126030 with flag 12638357/2070000
1035.50/513.85	c cleaning 64041 clauses out of 128090 with flag 13038850/2135000
1081.92/536.97	c cleaning 65025 clauses out of 130050 with flag 13445639/2201001
1130.49/561.08	c cleaning 66012 clauses out of 132024 with flag 13855613/2268000
1176.30/583.79	c cleaning 66967 clauses out of 134012 with flag 14275143/2336000
1226.46/609.57	c cleaning 68010 clauses out of 136045 with flag 14701718/2405000
1250.99/621.74	c cleaning 0 clauses out of 18001 with flag 0/18001
1277.45/634.96	c cleaning 69014 clauses out of 138036 with flag 15127776/2475001
1328.36/660.22	c cleaning 69996 clauses out of 140022 with flag 15560467/2546001
1379.32/685.50	c cleaning 70995 clauses out of 142025 with flag 15999201/2618000
1431.23/711.29	c cleaning 71989 clauses out of 144031 with flag 16451620/2691001
1484.53/737.71	c cleaning 72995 clauses out of 146045 with flag 16904191/2765004
1540.72/765.63	c cleaning 73962 clauses out of 148047 with flag 17366142/2840001
1600.56/795.37	c cleaning 75031 clauses out of 150085 with flag 17836001/2916001
1658.81/824.31	c cleaning 76008 clauses out of 152053 with flag 18310345/2993000
1720.30/854.98	c cleaning 77023 clauses out of 154045 with flag 18795541/3071000
1780.81/885.07	c cleaning 77984 clauses out of 156022 with flag 19278879/3150000
1800.11/894.60	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.11/894.60	c starts		: 27829
1800.11/894.60	c conflicts		: 3180457
1800.11/894.60	c decisions		: 28617343
1800.11/894.60	c propagations		: 421910428
1800.11/894.60	c inspects		: 9078606027
1800.11/894.60	c shortcuts		: 0
1800.11/894.60	c learnt literals	: 3
1800.11/894.60	c learnt binary clauses	: 72
1800.11/894.60	c learnt ternary clauses	: 823
1800.11/894.60	c learnt constraints	: 3180454
1800.11/894.60	c ignored constraints	: 0
1800.11/894.60	c root simplifications	: 0
1800.11/894.60	c removed literals (reason simplification)	: 2580392
1800.11/894.60	c reason swapping (by a shorter reason)	: 0
1800.11/894.60	c Calls to reduceDB	: 75
1800.11/894.60	c Number of update (reduction) of LBD	: 684416
1800.11/894.60	c Imported unit clauses	: 0
1800.11/894.60	c number of reductions to clauses (during analyze)	: 0
1800.11/894.60	c number of learned constraints concerned by reduction	: 0
1800.11/894.60	c number of learning phase by resolution	: 0
1800.11/894.60	c number of learning phase by cutting planes	: 0
1800.11/894.60	c speed (assignments/second)	: 471882.81847668043
1800.11/894.60	c non guided choices	7429
1800.11/894.63	c learnt constraints type 
1800.11/894.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 72
1800.11/894.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 108423
1800.11/894.63	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.11/894.63	c starts		: 45
1800.11/894.63	c conflicts		: 20423
1800.11/894.63	c decisions		: 69634
1800.11/894.63	c propagations		: 2500359
1800.11/894.63	c inspects		: 808529003
1800.11/894.63	c shortcuts		: 0
1800.11/894.63	c learnt literals	: 0
1800.11/894.63	c learnt binary clauses	: 0
1800.11/894.63	c learnt ternary clauses	: 0
1800.11/894.63	c learnt constraints	: 20423
1800.11/894.63	c ignored constraints	: 0
1800.11/894.63	c root simplifications	: 0
1800.11/894.63	c removed literals (reason simplification)	: 0
1800.11/894.63	c reason swapping (by a shorter reason)	: 0
1800.11/894.63	c Calls to reduceDB	: 3
1800.11/894.63	c Number of update (reduction) of LBD	: 0
1800.11/894.63	c Imported unit clauses	: 0
1800.11/894.63	c number of reductions to clauses (during analyze)	: 0
1800.11/894.63	c number of learned constraints concerned by reduction	: 0
1800.11/894.63	c number of learning phase by resolution	: 0
1800.11/894.63	c number of learning phase by cutting planes	: 0
1800.11/894.63	c speed (assignments/second)	: 2796.4228835245062
1800.11/894.63	c non guided choices	270
1800.11/894.64	c learnt constraints type 
1800.11/894.64	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8
1800.11/894.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 20415
1800.11/894.64	s UNKNOWN
1800.11/894.64	c Total wall clock time (in seconds): 894.524

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4116950-1466958620/watcher-4116950-1466958620 -o /tmp/evaluation-result-4116950-1466958620/solver-4116950-1466958620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19490 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116950-1466958620.opb 

pid=22466
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.22 4.29 4.26 4/198 22469
/proc/meminfo: memFree=26663636/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22469/stat : 22469 (java) R 22466 22469 19474 0 -1 4202496 499 0 0 0 0 0 0 0 20 0 1 0 28900721 9515008 154 33554432000 1073741824 1073778376 140736567085648 140736567082776 1073762688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2323 164 122 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 4.22 4.29 4.26 4/198 22469
/proc/meminfo: memFree=26663636/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/22469/stat : 22469 (java) S 22466 22469 19474 0 -1 4202496 4410 0 1 0 8 0 0 0 20 0 18 0 28900721 9787879424 6040 33554432000 1073741824 1073778376 140736567085648 140736567076784 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2389619 6040 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 4.22 4.29 4.26 4/198 22469
/proc/meminfo: memFree=26663636/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/22469/stat : 22469 (java) S 22466 22469 19474 0 -1 4202496 4699 0 1 0 23 1 0 0 20 0 18 0 28900721 9787879424 6799 33554432000 1073741824 1073778376 140736567085648 140736567076784 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2389619 6799 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 4.22 4.29 4.26 4/198 22469
/proc/meminfo: memFree=26663636/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/22469/stat : 22469 (java) S 22466 22469 19474 0 -1 4202496 5840 0 1 0 46 1 0 0 20 0 18 0 28900721 9787879424 8893 33554432000 1073741824 1073778376 140736567085648 140736567076784 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2389619 8893 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700185 s]
/proc/loadavg: 4.22 4.29 4.26 4/198 22469
/proc/meminfo: memFree=26663636/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/22469/stat : 22469 (java) S 22466 22469 19474 0 -1 4202496 16242 0 1 0 179 4 0 0 20 0 22 0 28900721 10060525568 23151 33554432000 1073741824 1073778376 140736567085648 140736567076784 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2456183 23151 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.37 4.31 4.27 7/195 22510
/proc/meminfo: memFree=30270548/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9824732 CPUtime=4.91 cores=0,2,4,6
/proc/22469/stat : 22469 (java) S 22466 22469 19474 0 -1 4202496 24082 0 1 0 484 7 0 0 20 0 22 0 28900721 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140736567076784 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2456183 47247 2292 9 0 2446860 0
[pid=22469/tid=22471] ppid=22466 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/22469/task/22471/stat : 22471 (java) S 22466 22469 19474 0 -1 4202560 2436 0 1 0 44 2 0 0 20 0 22 0 28900721 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592994538360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22472] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22472/stat : 22472 (java) S 22466 22469 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28900723 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592956029352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22473] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22473/stat : 22473 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900723 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592954976808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22474] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22474/stat : 22474 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900723 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592953923752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22475] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22475/stat : 22475 (java) S 22466 22469 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28900723 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592952871208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22476] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22476/stat : 22476 (java) S 22466 22469 19474 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 28900723 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592951819176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22477] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22477/stat : 22477 (java) S 22466 22469 19474 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28900723 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592950766632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22478] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22478/stat : 22478 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900723 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592949713576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22479] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22479/stat : 22479 (java) S 22466 22469 19474 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28900723 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592948661032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22480] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22480/stat : 22480 (java) S 22466 22469 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592818415976 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22481] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22481/stat : 22481 (java) S 22466 22469 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592817362296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22482] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22482/stat : 22482 (java) S 22466 22469 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592816309128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22483] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22483/stat : 22483 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592815257872 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22484] ppid=22466 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/22469/task/22484/stat : 22484 (java) R 22466 22469 19474 0 -1 4202560 12255 0 0 0 121 3 0 0 20 0 22 0 28900726 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592814183864 140592996347104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22485] ppid=22466 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/22469/task/22485/stat : 22485 (java) R 22466 22469 19474 0 -1 4202560 7986 0 0 0 117 0 0 0 20 0 22 0 28900726 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592813140496 140593000497974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22486] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22486/stat : 22486 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592812100344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22487] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22487/stat : 22487 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592811048008 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22488] ppid=22466 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/22469/task/22488/stat : 22488 (java) R 22466 22469 19474 0 -1 4202560 18 0 0 0 97 0 0 0 20 0 22 0 28900770 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592809619360 140592819145938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22489] ppid=22466 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/22469/task/22489/stat : 22489 (java) R 22466 22469 19474 0 -1 4202560 74 0 0 0 95 1 0 0 20 0 22 0 28900770 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592808575296 140592819216678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22490] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22490/stat : 22490 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592807523112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22491] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22491/stat : 22491 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 47247 33554432000 1073741824 1073778376 140736567085648 140592806470568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 4.37 4.31 4.27 8/220 22560
/proc/meminfo: memFree=30108108/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9824732 CPUtime=8.63 cores=0,2,4,6
/proc/22469/stat : 22469 (java) S 22466 22469 19474 0 -1 4202496 25621 0 1 0 849 14 0 0 20 0 22 0 28900721 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140736567076784 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2456183 87276 2292 9 0 2446860 0
[pid=22469/tid=22471] ppid=22466 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/22469/task/22471/stat : 22471 (java) S 22466 22469 19474 0 -1 4202560 2436 0 1 0 44 2 0 0 20 0 22 0 28900721 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592994538360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22472] ppid=22466 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22469/task/22472/stat : 22472 (java) R 22466 22469 19474 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 28900723 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592956029480 270707494023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22473] ppid=22466 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/22469/task/22473/stat : 22473 (java) R 22466 22469 19474 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 28900723 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592954976936 270707494023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22474] ppid=22466 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/22469/task/22474/stat : 22474 (java) R 22466 22469 19474 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28900723 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592953923928 140592998699648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22475] ppid=22466 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/22469/task/22475/stat : 22475 (java) R 22466 22469 19474 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 28900723 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592952871336 270707494023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22476] ppid=22466 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22469/task/22476/stat : 22476 (java) R 22466 22469 19474 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 28900723 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592951819352 140592998713472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22477] ppid=22466 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22469/task/22477/stat : 22477 (java) R 22466 22469 19474 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 28900723 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592950766632 270707494023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22478] ppid=22466 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22469/task/22478/stat : 22478 (java) R 22466 22469 19474 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 28900723 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592949713752 140592997009081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22479] ppid=22466 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/22469/task/22479/stat : 22479 (java) R 22466 22469 19474 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 22 0 28900723 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592948661160 140593002583202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22480] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22480/stat : 22480 (java) S 22466 22469 19474 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592818414856 270710912060 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22481] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22481/stat : 22481 (java) S 22466 22469 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592817362296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22482] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22482/stat : 22482 (java) S 22466 22469 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592816309128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22483] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22483/stat : 22483 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592815257872 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22484] ppid=22466 vsize=9824732 CPUtime=1.43 cores=0,2,4,6
/proc/22469/task/22484/stat : 22484 (java) S 22466 22469 19474 0 -1 4202560 12276 0 0 0 140 3 0 0 20 0 22 0 28900726 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592814205752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22485] ppid=22466 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/22469/task/22485/stat : 22485 (java) S 22466 22469 19474 0 -1 4202560 9291 0 0 0 141 0 0 0 20 0 22 0 28900726 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592813153208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22486] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22486/stat : 22486 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592812100344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22487] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22487/stat : 22487 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592811048008 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22488] ppid=22466 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/22469/task/22488/stat : 22488 (java) S 22466 22469 19474 0 -1 4202560 21 0 0 0 245 0 0 0 20 0 22 0 28900770 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592809626264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22489] ppid=22466 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/22469/task/22489/stat : 22489 (java) S 22466 22469 19474 0 -1 4202560 124 0 0 0 241 2 0 0 20 0 22 0 28900770 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592808574632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22490] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22490/stat : 22490 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592807523112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22491] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22491/stat : 22491 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 87276 33554432000 1073741824 1073778376 140736567085648 140592806470568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 9824732

[startup+6.30092 s]
/proc/loadavg: 4.37 4.31 4.27 6/220 22560
/proc/meminfo: memFree=29259160/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9824732 CPUtime=15.2 cores=0,2,4,6
/proc/22469/stat : 22469 (java) S 22466 22469 19474 0 -1 4202496 26727 0 1 0 1496 24 0 0 20 0 22 0 28900721 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140736567076784 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2456183 155319 2292 9 0 2446860 0
[pid=22469/tid=22471] ppid=22466 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/22469/task/22471/stat : 22471 (java) S 22466 22469 19474 0 -1 4202560 2436 0 1 0 44 2 0 0 20 0 22 0 28900721 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592994538360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22472] ppid=22466 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/22469/task/22472/stat : 22472 (java) S 22466 22469 19474 0 -1 4202560 44 0 0 0 4 2 0 0 20 0 22 0 28900723 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592956029352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22473] ppid=22466 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/22469/task/22473/stat : 22473 (java) S 22466 22469 19474 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 22 0 28900723 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592954976808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22474] ppid=22466 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/22469/task/22474/stat : 22474 (java) S 22466 22469 19474 0 -1 4202560 173 0 0 0 5 2 0 0 20 0 22 0 28900723 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592953923752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22475] ppid=22466 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/22469/task/22475/stat : 22475 (java) S 22466 22469 19474 0 -1 4202560 127 0 0 0 7 0 0 0 20 0 22 0 28900723 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592952871208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22476] ppid=22466 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/22469/task/22476/stat : 22476 (java) S 22466 22469 19474 0 -1 4202560 42 0 0 0 4 2 0 0 20 0 22 0 28900723 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592951819176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22477] ppid=22466 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/22469/task/22477/stat : 22477 (java) S 22466 22469 19474 0 -1 4202560 136 0 0 0 7 2 0 0 20 0 22 0 28900723 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592950766632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22478] ppid=22466 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/22469/task/22478/stat : 22478 (java) S 22466 22469 19474 0 -1 4202560 146 0 0 0 7 3 0 0 20 0 22 0 28900723 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592949713576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22479] ppid=22466 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/22469/task/22479/stat : 22479 (java) S 22466 22469 19474 0 -1 4202560 43 0 0 0 6 2 0 0 20 0 22 0 28900723 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592948661032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22480] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22480/stat : 22480 (java) S 22466 22469 19474 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592818415976 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22481] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22481/stat : 22481 (java) S 22466 22469 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592817362296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22482] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22482/stat : 22482 (java) S 22466 22469 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592816309128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22483] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22483/stat : 22483 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 155319 33554432000 1073741824 1073778376 140736567085648 140592815257872 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22484] ppid=22466 vsize=9824732 CPUtime=1.48 cores=0,2,4,6

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

/proc/22469/task/22474/stat : 22474 (java) S 22466 22469 19474 0 -1 4202560 772 0 0 0 310 18 0 0 20 0 22 0 28900723 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592953923752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22475] ppid=22466 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/22469/task/22475/stat : 22475 (java) S 22466 22469 19474 0 -1 4202560 617 0 0 0 274 15 0 0 20 0 22 0 28900723 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592952871208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22476] ppid=22466 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/22469/task/22476/stat : 22476 (java) S 22466 22469 19474 0 -1 4202560 516 0 0 0 265 12 0 0 20 0 22 0 28900723 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592951819176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22477] ppid=22466 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/22469/task/22477/stat : 22477 (java) S 22466 22469 19474 0 -1 4202560 585 0 0 0 294 14 0 0 20 0 22 0 28900723 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592950766632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22478] ppid=22466 vsize=9824732 CPUtime=3.45 cores=0,2,4,6
/proc/22469/task/22478/stat : 22478 (java) S 22466 22469 19474 0 -1 4202560 713 0 0 0 325 20 0 0 20 0 22 0 28900723 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592949713576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22479] ppid=22466 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/22469/task/22479/stat : 22479 (java) S 22466 22469 19474 0 -1 4202560 510 0 0 0 281 13 0 0 20 0 22 0 28900723 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592948661032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22480] ppid=22466 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/22469/task/22480/stat : 22480 (java) S 22466 22469 19474 0 -1 4202560 2745 0 0 0 382 7 0 0 20 0 22 0 28900724 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592818415976 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22481] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22481/stat : 22481 (java) S 22466 22469 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592817362296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22482] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22482/stat : 22482 (java) S 22466 22469 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592816309128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22483] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22483/stat : 22483 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592815257872 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22484] ppid=22466 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/22469/task/22484/stat : 22484 (java) S 22466 22469 19474 0 -1 4202560 15168 0 0 0 188 3 0 0 20 0 22 0 28900726 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592814205752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22485] ppid=22466 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/22469/task/22485/stat : 22485 (java) S 22466 22469 19474 0 -1 4202560 9297 0 0 0 152 1 0 0 20 0 22 0 28900726 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592813153208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22486] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22486/stat : 22486 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592812100344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22487] ppid=22466 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/22469/task/22487/stat : 22487 (java) S 22466 22469 19474 0 -1 4202560 49 0 0 0 14 17 0 0 20 0 22 0 28900726 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592811048008 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22488] ppid=22466 vsize=9824732 CPUtime=809.03 cores=0,2,4,6
/proc/22469/task/22488/stat : 22488 (java) R 22466 22469 19474 0 -1 4202560 53 0 0 0 80889 14 0 0 20 0 22 0 28900770 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592809627072 140592819253421 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22489] ppid=22466 vsize=9824732 CPUtime=809.12 cores=0,2,4,6
/proc/22469/task/22489/stat : 22489 (java) R 22466 22469 19474 0 -1 4202560 1369 0 0 0 80864 48 0 0 20 0 22 0 28900770 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592808575736 140592819235427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22490] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22490/stat : 22490 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592807523112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22491] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22491/stat : 22491 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 942247 33554432000 1073741824 1073778376 140736567085648 140592806470568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1654.82
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.31 4.25 4.25 5/219 22581
/proc/meminfo: memFree=22943732/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9824732 CPUtime=1775.42 cores=0,2,4,6
/proc/22469/stat : 22469 (java) S 22466 22469 19474 0 -1 4202496 37211 0 1 0 177352 190 0 0 20 0 22 0 28900721 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140736567076784 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2456183 948202 2301 9 0 2446860 0
[pid=22469/tid=22471] ppid=22466 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/22469/task/22471/stat : 22471 (java) S 22466 22469 19474 0 -1 4202560 2443 0 1 0 47 3 0 0 20 0 22 0 28900721 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592994538360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22472] ppid=22466 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/22469/task/22472/stat : 22472 (java) S 22466 22469 19474 0 -1 4202560 527 0 0 0 286 17 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592956029352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22473] ppid=22466 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/22469/task/22473/stat : 22473 (java) S 22466 22469 19474 0 -1 4202560 531 0 0 0 312 15 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592954976808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22474] ppid=22466 vsize=9824732 CPUtime=3.45 cores=0,2,4,6
/proc/22469/task/22474/stat : 22474 (java) S 22466 22469 19474 0 -1 4202560 774 0 0 0 327 18 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592953923752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22475] ppid=22466 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/22469/task/22475/stat : 22475 (java) S 22466 22469 19474 0 -1 4202560 623 0 0 0 287 16 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592952871208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22476] ppid=22466 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/22469/task/22476/stat : 22476 (java) S 22466 22469 19474 0 -1 4202560 520 0 0 0 282 12 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592951819176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22477] ppid=22466 vsize=9824732 CPUtime=3.25 cores=0,2,4,6
/proc/22469/task/22477/stat : 22477 (java) S 22466 22469 19474 0 -1 4202560 595 0 0 0 311 14 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592950766632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22478] ppid=22466 vsize=9824732 CPUtime=3.61 cores=0,2,4,6
/proc/22469/task/22478/stat : 22478 (java) S 22466 22469 19474 0 -1 4202560 716 0 0 0 341 20 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592949713576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22479] ppid=22466 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/22469/task/22479/stat : 22479 (java) S 22466 22469 19474 0 -1 4202560 517 0 0 0 299 13 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592948661032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22480] ppid=22466 vsize=9824732 CPUtime=3.9 cores=0,2,4,6
/proc/22469/task/22480/stat : 22480 (java) S 22466 22469 19474 0 -1 4202560 2754 0 0 0 382 8 0 0 20 0 22 0 28900724 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592818415976 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22481] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22481/stat : 22481 (java) S 22466 22469 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592817362296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22482] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22482/stat : 22482 (java) S 22466 22469 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592816309128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22483] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22483/stat : 22483 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592815257872 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22484] ppid=22466 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/22469/task/22484/stat : 22484 (java) S 22466 22469 19474 0 -1 4202560 15168 0 0 0 188 3 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592814205752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22485] ppid=22466 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/22469/task/22485/stat : 22485 (java) S 22466 22469 19474 0 -1 4202560 9297 0 0 0 152 1 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592813153208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22486] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22486/stat : 22486 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592812100344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22487] ppid=22466 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/22469/task/22487/stat : 22487 (java) S 22466 22469 19474 0 -1 4202560 51 0 0 0 16 18 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592811048008 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22488] ppid=22466 vsize=9824732 CPUtime=868.5 cores=0,2,4,6
/proc/22469/task/22488/stat : 22488 (java) R 22466 22469 19474 0 -1 4202560 56 0 0 0 86835 15 0 0 20 0 22 0 28900770 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592809627072 140592819157915 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22489] ppid=22466 vsize=9824732 CPUtime=868.61 cores=0,2,4,6
/proc/22469/task/22489/stat : 22489 (java) R 22466 22469 19474 0 -1 4202560 1373 0 0 0 86812 49 0 0 20 0 22 0 28900770 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592808575784 140592819409984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22490] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22490/stat : 22490 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592807523112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22491] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22491/stat : 22491 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592806470568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1775.42
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.601 s]
/proc/loadavg: 4.26 4.24 4.25 5/219 22581
/proc/meminfo: memFree=22942124/32872528 swapFree=1541156/1696500
[pid=22469] ppid=22466 vsize=9824732 CPUtime=1800.11 cores=0,2,4,6
/proc/22469/stat : 22469 (java) S 22466 22469 19474 0 -1 4202496 37214 0 1 0 179821 190 0 0 20 0 22 0 28900721 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140736567076784 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22469/statm: 2456183 948202 2301 9 0 2446860 0
[pid=22469/tid=22471] ppid=22466 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/22469/task/22471/stat : 22471 (java) S 22466 22469 19474 0 -1 4202560 2443 0 1 0 47 4 0 0 20 0 22 0 28900721 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592994538360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22472] ppid=22466 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/22469/task/22472/stat : 22472 (java) S 22466 22469 19474 0 -1 4202560 527 0 0 0 287 17 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592956029352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22473] ppid=22466 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/22469/task/22473/stat : 22473 (java) S 22466 22469 19474 0 -1 4202560 531 0 0 0 314 15 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592954976808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22474] ppid=22466 vsize=9824732 CPUtime=3.5 cores=0,2,4,6
/proc/22469/task/22474/stat : 22474 (java) S 22466 22469 19474 0 -1 4202560 774 0 0 0 332 18 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592953923752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22475] ppid=22466 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/22469/task/22475/stat : 22475 (java) S 22466 22469 19474 0 -1 4202560 623 0 0 0 289 16 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592952871208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22476] ppid=22466 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/22469/task/22476/stat : 22476 (java) S 22466 22469 19474 0 -1 4202560 520 0 0 0 285 12 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592951819176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22477] ppid=22466 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/22469/task/22477/stat : 22477 (java) S 22466 22469 19474 0 -1 4202560 595 0 0 0 313 14 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592950766632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22478] ppid=22466 vsize=9824732 CPUtime=3.63 cores=0,2,4,6
/proc/22469/task/22478/stat : 22478 (java) S 22466 22469 19474 0 -1 4202560 716 0 0 0 343 20 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592949713576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22479] ppid=22466 vsize=9824732 CPUtime=3.15 cores=0,2,4,6
/proc/22469/task/22479/stat : 22479 (java) S 22466 22469 19474 0 -1 4202560 517 0 0 0 302 13 0 0 20 0 22 0 28900723 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592948661032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22480] ppid=22466 vsize=9824732 CPUtime=3.9 cores=0,2,4,6
/proc/22469/task/22480/stat : 22480 (java) S 22466 22469 19474 0 -1 4202560 2754 0 0 0 382 8 0 0 20 0 22 0 28900724 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592818415976 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22481] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22481/stat : 22481 (java) S 22466 22469 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592817362296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22482] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22482/stat : 22482 (java) S 22466 22469 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28900724 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592816309128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22483] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22483/stat : 22483 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592815257872 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22484] ppid=22466 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/22469/task/22484/stat : 22484 (java) S 22466 22469 19474 0 -1 4202560 15168 0 0 0 188 3 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592814205752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22469/tid=22485] ppid=22466 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/22469/task/22485/stat : 22485 (java) S 22466 22469 19474 0 -1 4202560 9297 0 0 0 152 1 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592813153208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22486] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22486/stat : 22486 (java) S 22466 22469 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592812100344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22487] ppid=22466 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/22469/task/22487/stat : 22487 (java) S 22466 22469 19474 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 28900726 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592811048008 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22469/tid=22488] ppid=22466 vsize=9824732 CPUtime=880.7 cores=0,2,4,6
/proc/22469/task/22488/stat : 22488 (java) R 22466 22469 19474 0 -1 4202560 56 0 0 0 88055 15 0 0 20 0 22 0 28900770 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592809627072 140592819157915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22469/tid=22489] ppid=22466 vsize=9824732 CPUtime=880.82 cores=0,2,4,6
/proc/22469/task/22489/stat : 22489 (java) R 22466 22469 19474 0 -1 4202560 1374 0 0 0 88033 49 0 0 20 0 22 0 28900770 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592808575584 140592819217217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22490] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22490/stat : 22490 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592807523112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22469/tid=22491] ppid=22466 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22469/task/22491/stat : 22491 (java) S 22466 22469 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28900771 10060525568 948202 33554432000 1073741824 1073778376 140736567085648 140592806470568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22469 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22469 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=619328
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=400635
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 894.66
CPU time (s): 1800.11
CPU user time (s): 1798.21
CPU system time (s): 1.9
CPU usage (%): 201.206
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.62
system time used= 2.40063
maximum resident set size= 3793564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37251
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24303
involuntary context switches= 30708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.70313 second user time and 7.2239 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 18:30:20
IDJOB=4116950
IDBENCH=109534
IDSOLVER=2543
FILE ID=node125/4116950-1466958620
RUNJOBID= node125-1466943674-19490
PBS_JOBID= 19976354
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-0.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116950-1466958620/watcher-4116950-1466958620 -o /tmp/evaluation-result-4116950-1466958620/solver-4116950-1466958620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19490 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116950-1466958620.opb

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

MD5SUM BENCH= c96210cacdef9eb2768a7c5a4938e22d
RANDOM SEED=620604105

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26663908 kB
Buffers:           20264 kB
Cached:            43032 kB
SwapCached:         1740 kB
Active:          3760476 kB
Inactive:          38904 kB
Active(anon):    3737892 kB
Inactive(anon):      448 kB
Active(file):      22584 kB
Inactive(file):    38456 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098448 kB
Dirty:              1300 kB
Writeback:             0 kB
AnonPages:       5561440 kB
Mapped:            15428 kB
Shmem:                 0 kB
Slab:             565628 kB
SReclaimable:       9444 kB
SUnreclaim:       556184 kB
KernelStack:        1816 kB
PageTables:        14944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5786300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3956736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node125 at 2016-06-26 18:45:15