Trace number 4098049

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 Resolution PB16? (TO) 1800.06 1796.64

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_12.opb
MD5SUM41c2374d716c69eaa58caad0be520bfe
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 variables1980
Total number of constraints9464
Number of constraints which are clauses9460
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
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 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4098049-1466119446.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
0.69/0.42	c ... done. Wall clock time 0.32s.
0.69/0.42	c declared #vars     1980
0.69/0.42	c #constraints  9468
0.69/0.42	c constraints type 
0.69/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5676
0.69/0.42	c org.sat4j.specs.Constr$1 => 3
0.69/0.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
0.69/0.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.69/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3784
0.69/0.42	c 9468 constraints processed.
1.88/1.33	c cleaning 2495 clauses out of 5000 with flag 20472/5000
3.04/2.23	c cleaning 4254 clauses out of 8508 with flag 45488/11003
4.04/3.22	c cleaning 5626 clauses out of 11254 with flag 69654/18003
5.14/4.40	c cleaning 6812 clauses out of 13630 with flag 102060/26005
6.56/5.73	c cleaning 7902 clauses out of 15813 with flag 138559/35000
7.97/7.18	c cleaning 8954 clauses out of 17913 with flag 181718/45002
9.56/8.76	c cleaning 9981 clauses out of 19961 with flag 225917/56004
11.16/10.36	c cleaning 10985 clauses out of 21976 with flag 274905/68000
13.07/12.24	c cleaning 11993 clauses out of 23991 with flag 331802/81000
14.96/14.13	c cleaning 12991 clauses out of 25998 with flag 392692/95000
16.96/16.12	c cleaning 13996 clauses out of 28009 with flag 457189/110002
19.06/18.29	c cleaning 15001 clauses out of 30011 with flag 526916/126000
21.45/20.65	c cleaning 15998 clauses out of 32011 with flag 605236/143001
24.36/23.54	c cleaning 17000 clauses out of 34012 with flag 685287/161000
27.56/26.73	c cleaning 18006 clauses out of 36014 with flag 769525/180002
30.86/30.01	c cleaning 18997 clauses out of 38007 with flag 857115/200001
34.28/33.42	c cleaning 20003 clauses out of 40012 with flag 950579/221003
37.78/36.93	c cleaning 20998 clauses out of 42007 with flag 1050160/243001
41.68/40.87	c cleaning 21997 clauses out of 44008 with flag 1153839/266000
45.68/44.83	c cleaning 23001 clauses out of 46011 with flag 1265533/290000
49.68/48.86	c cleaning 24002 clauses out of 48010 with flag 1378936/315000
53.98/53.12	c cleaning 25001 clauses out of 50008 with flag 1500055/341000
58.38/57.52	c cleaning 26002 clauses out of 52007 with flag 1632652/368000
63.07/62.28	c cleaning 27000 clauses out of 54006 with flag 1766095/396001
68.17/67.32	c cleaning 27998 clauses out of 56007 with flag 1899105/425002
73.48/72.60	c cleaning 29000 clauses out of 58009 with flag 2046090/455002
78.87/78.02	c cleaning 29987 clauses out of 60009 with flag 2194220/486002
84.37/83.55	c cleaning 31006 clauses out of 62024 with flag 2348230/518004
89.77/88.98	c cleaning 31998 clauses out of 64015 with flag 2512630/551001
95.49/94.64	c cleaning 33008 clauses out of 66018 with flag 2677334/585002
101.39/100.53	c cleaning 34000 clauses out of 68009 with flag 2855548/620001
107.18/106.35	c cleaning 34995 clauses out of 70009 with flag 3040225/656001
113.58/112.78	c cleaning 36000 clauses out of 72013 with flag 3223373/693000
120.07/119.23	c cleaning 36999 clauses out of 74013 with flag 3415379/731000
127.38/126.53	c cleaning 38000 clauses out of 76014 with flag 3609218/770000
134.58/133.79	c cleaning 39008 clauses out of 78016 with flag 3797208/810002
141.78/140.98	c cleaning 40006 clauses out of 80013 with flag 4001215/851007
150.07/149.22	c cleaning 40998 clauses out of 82001 with flag 4202082/893001
158.88/158.01	c cleaning 41988 clauses out of 84002 with flag 4406757/936000
167.69/166.80	c cleaning 42999 clauses out of 86016 with flag 4624296/980002
176.29/175.41	c cleaning 44005 clauses out of 88015 with flag 4847394/1025000
186.29/185.49	c cleaning 45002 clauses out of 90011 with flag 5083459/1071001
196.81/195.95	c cleaning 46004 clauses out of 92010 with flag 5315005/1118002
207.81/206.97	c cleaning 46997 clauses out of 94004 with flag 5559880/1166000
218.60/217.75	c cleaning 47996 clauses out of 96007 with flag 5801253/1215000
229.36/228.49	c cleaning 48996 clauses out of 98012 with flag 6050005/1265001
240.66/239.78	c cleaning 50000 clauses out of 100016 with flag 6312580/1316001
251.96/251.08	c cleaning 51004 clauses out of 102015 with flag 6576518/1368000
263.47/262.57	c cleaning 52003 clauses out of 104011 with flag 6860646/1421000
275.47/274.52	c cleaning 53003 clauses out of 106009 with flag 7136500/1475001
287.87/286.97	c cleaning 54001 clauses out of 108005 with flag 7441487/1530000
300.38/299.36	c cleaning 54994 clauses out of 110004 with flag 7737379/1586000
313.47/312.42	c cleaning 56005 clauses out of 112013 with flag 8064568/1643003
328.87/327.83	c cleaning 56994 clauses out of 114006 with flag 8380293/1701001
346.07/345.03	c cleaning 58006 clauses out of 116012 with flag 8682224/1760001
363.37/362.35	c cleaning 58998 clauses out of 118005 with flag 8971878/1820000
381.30/380.11	c cleaning 59998 clauses out of 120007 with flag 9284436/1881000
399.30/398.12	c cleaning 60993 clauses out of 122009 with flag 9601886/1943000
418.12/416.95	c cleaning 62003 clauses out of 124018 with flag 9936898/2006002
437.02/435.81	c cleaning 63002 clauses out of 126013 with flag 10279365/2070000
456.93/455.77	c cleaning 64000 clauses out of 128012 with flag 10612382/2135001
477.94/476.62	c cleaning 65004 clauses out of 130014 with flag 10976739/2201003
497.65/496.38	c cleaning 65996 clauses out of 132007 with flag 11323435/2268000
520.26/518.90	c cleaning 67002 clauses out of 134013 with flag 11672410/2336002
543.56/542.21	c cleaning 68001 clauses out of 136009 with flag 12052745/2405000
566.60/565.14	c cleaning 69005 clauses out of 138015 with flag 12427966/2475007
590.90/589.45	c cleaning 69995 clauses out of 140003 with flag 12822601/2546000
615.23/613.63	c cleaning 70998 clauses out of 142011 with flag 13230011/2618003
638.74/637.12	c cleaning 71998 clauses out of 144011 with flag 13633519/2691001
664.55/662.90	c cleaning 73000 clauses out of 146012 with flag 14073894/2765000
691.52/689.74	c cleaning 74003 clauses out of 148013 with flag 14497885/2840001
719.72/717.99	c cleaning 75001 clauses out of 150010 with flag 14949429/2916001
748.35/746.43	c cleaning 76000 clauses out of 152011 with flag 15406135/2993003
775.16/773.28	c cleaning 77000 clauses out of 154009 with flag 15819646/3071001
804.07/802.16	c cleaning 77999 clauses out of 156009 with flag 16292607/3150001
834.48/832.41	c cleaning 79000 clauses out of 158011 with flag 16734184/3230002
862.89/860.82	c cleaning 79999 clauses out of 160011 with flag 17203213/3311002
893.50/891.38	c cleaning 81002 clauses out of 162013 with flag 17688180/3393003
926.40/924.29	c cleaning 82001 clauses out of 164011 with flag 18177499/3476003
958.02/955.76	c cleaning 82999 clauses out of 166007 with flag 18672696/3560000
991.35/989.06	c cleaning 84003 clauses out of 168011 with flag 19191542/3645003
1025.67/1023.26	c cleaning 84999 clauses out of 170007 with flag 19728936/3731002
1064.99/1062.51	c cleaning 85999 clauses out of 172007 with flag 20292515/3818001
1108.58/1106.08	c cleaning 86999 clauses out of 174007 with flag 20860610/3906000
1146.09/1143.57	c cleaning 88005 clauses out of 176011 with flag 21348853/3995003
1183.20/1180.51	c cleaning 88997 clauses out of 178006 with flag 21831820/4085003
1222.01/1219.34	c cleaning 89996 clauses out of 180012 with flag 22321836/4176006
1262.66/1259.99	c cleaning 90999 clauses out of 182012 with flag 22810426/4268002
1304.95/1302.29	c cleaning 92002 clauses out of 184011 with flag 23288198/4361000
1351.26/1348.49	c cleaning 93001 clauses out of 186010 with flag 23781258/4455001
1396.69/1393.83	c cleaning 93994 clauses out of 188008 with flag 24297332/4550000
1442.56/1439.63	c cleaning 95007 clauses out of 190016 with flag 24823694/4646002
1487.68/1484.70	c cleaning 95997 clauses out of 192007 with flag 25359018/4743000
1533.82/1530.88	c cleaning 97002 clauses out of 194010 with flag 25930423/4841000
1581.33/1578.22	c cleaning 97998 clauses out of 196011 with flag 26480097/4940003
1629.64/1626.54	c cleaning 99003 clauses out of 198011 with flag 27083694/5040001
1679.26/1676.02	c cleaning 99999 clauses out of 200007 with flag 27649454/5141000
1727.69/1724.37	c cleaning 101003 clauses out of 202009 with flag 28241204/5243001
1775.11/1771.72	c cleaning 102003 clauses out of 204006 with flag 28869652/5346001
1800.06/1796.60	c starts		: 6614
1800.06/1796.60	c conflicts		: 5410155
1800.06/1796.60	c decisions		: 9656676
1800.06/1796.60	c propagations		: 452834956
1800.06/1796.60	c inspects		: 28758294863
1800.06/1796.60	c shortcuts		: 0
1800.06/1796.60	c learnt literals	: 0
1800.06/1796.60	c learnt binary clauses	: 0
1800.06/1796.60	c learnt ternary clauses	: 72
1800.06/1796.60	c learnt constraints	: 5410155
1800.06/1796.60	c ignored constraints	: 0
1800.06/1796.60	c root simplifications	: 0
1800.06/1796.60	c removed literals (reason simplification)	: 0
1800.06/1796.60	c reason swapping (by a shorter reason)	: 0
1800.06/1796.60	c Calls to reduceDB	: 99
1800.06/1796.60	c Number of update (reduction) of LBD	: 1338284
1800.06/1796.60	c Imported unit clauses	: 0
1800.06/1796.60	c number of reductions to clauses (during analyze)	: 0
1800.06/1796.60	c number of learned constraints concerned by reduction	: 0
1800.06/1796.60	c number of learning phase by resolution	: 0
1800.06/1796.60	c number of learning phase by cutting planes	: 0
1800.06/1796.60	c speed (assignments/second)	: 252110.5721265622
1800.06/1796.60	c non guided choices	1291
1800.06/1796.60	c timeout
1800.06/1796.63	c learnt constraints type 
1800.06/1796.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 166158
1800.06/1796.63	s UNKNOWN
1800.06/1796.63	c Total wall clock time (in seconds): 1796.529

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-4098049-1466119446/watcher-4098049-1466119446 -o /tmp/evaluation-result-4098049-1466119446/solver-4098049-1466119446 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466119443-29786 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4098049-1466119446.opb 

pid=30025
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.21 1.25 1.63 3/194 30028
/proc/meminfo: memFree=30698100/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 13993842 98570240 977 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 24065 977 743 9 0 16771 0
[pid=30028/tid=30029] ppid=30025 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 13993842 98570240 977 33554432000 1073741824 1073778376 140735378041888 140109496327720 219513963904 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100113 s]
/proc/loadavg: 1.21 1.25 1.63 3/194 30028
/proc/meminfo: memFree=30698100/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 4473 0 1 0 10 1 0 0 20 0 18 0 13993842 9787879424 6103 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2389619 6103 2155 9 0 2380296 0
[pid=30028/tid=30029] ppid=30025 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2384 0 1 0 7 0 0 0 20 0 18 0 13993842 9787879424 6103 33554432000 1073741824 1073778376 140735378041888 140109496332408 219517347085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200327 s]
/proc/loadavg: 1.21 1.25 1.63 3/194 30028
/proc/meminfo: memFree=30698100/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 4993 0 1 0 27 1 0 0 20 0 18 0 13993842 9787879424 6887 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2389619 6887 2216 9 0 2380296 0
[pid=30028/tid=30029] ppid=30025 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2404 0 1 0 17 0 0 0 20 0 18 0 13993842 9787879424 6887 33554432000 1073741824 1073778376 140735378041888 140109496332408 140109366242593 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300288 s]
/proc/loadavg: 1.21 1.25 1.63 3/194 30028
/proc/meminfo: memFree=30698100/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9558476 CPUtime=0.57 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 7188 0 1 0 55 2 0 0 20 0 18 0 13993842 9787879424 10651 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2389619 10651 2236 9 0 2380296 0
[pid=30028/tid=30029] ppid=30025 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2409 0 1 0 26 1 0 0 20 0 18 0 13993842 9787879424 10651 33554432000 1073741824 1073778376 140735378041888 140109496324048 140109366593762 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700215 s]
/proc/loadavg: 1.21 1.25 1.63 3/194 30028
/proc/meminfo: memFree=30698100/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 7788 0 1 0 118 3 0 0 20 0 19 0 13993842 9856040960 19439 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2406260 19439 2260 9 0 2396937 0
[pid=30028/tid=30029] ppid=30025 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2439 0 1 0 65 2 0 0 20 0 19 0 13993842 9856040960 19439 33554432000 1073741824 1073778376 140735378041888 140109496332520 140109366827601 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 1.21 1.25 1.63 2/192 30062
/proc/meminfo: memFree=30663452/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 16252 0 1 0 227 4 0 0 20 0 19 0 13993842 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2406260 25201 2271 9 0 2396937 0
[pid=30028/tid=30029] ppid=30025 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2441 0 1 0 144 2 0 0 20 0 19 0 13993842 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109496332456 140109366827657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30031] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109485394472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30032] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109338589608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30033] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109337536808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30028/tid=30034] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109336484008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30035] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109335432232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30036] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109334379432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30037] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109333326632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30038] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109332273832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30039] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 27601 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 13993844 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109320075752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30040] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 27601 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109319021816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30041] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109317968904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30042] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109316917392 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30043] ppid=30025 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 27601 0 -1 4202560 8643 0 0 0 44 2 0 0 20 0 19 0 13993847 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109315865528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30044] ppid=30025 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/30028/task/30044/stat : 30044 (java) S 30025 30028 27601 0 -1 4202560 3896 0 0 0 36 0 0 0 20 0 19 0 13993847 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109314812728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30045] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30045/stat : 30045 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109313760120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30046] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30046/stat : 30046 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109312707528 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30047] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30047/stat : 30047 (java) S 30025 30028 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13993885 9856040960 25201 33554432000 1073741824 1073778376 140735378041888 140109311653032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 1.21 1.25 1.63 3/212 30111
/proc/meminfo: memFree=30486208/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 16256 0 1 0 389 5 0 0 20 0 19 0 13993842 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2406260 26225 2271 9 0 2396937 0
[pid=30028/tid=30029] ppid=30025 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2444 0 1 0 302 2 0 0 20 0 19 0 13993842 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109496330512 140109366803097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30031] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109485394472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30032] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109338589608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30033] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109337536808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30028/tid=30034] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109336484008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30035] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109335432232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30036] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109334379432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30037] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109333326632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30038] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109332273832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30039] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 27601 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 13993844 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109320075752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30040] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 27601 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109319021816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30041] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109317968904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30042] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109316917392 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30043] ppid=30025 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 27601 0 -1 4202560 8644 0 0 0 45 2 0 0 20 0 19 0 13993847 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109315865528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30044] ppid=30025 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/30028/task/30044/stat : 30044 (java) S 30025 30028 27601 0 -1 4202560 3896 0 0 0 37 0 0 0 20 0 19 0 13993847 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109314812728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30045] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30045/stat : 30045 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109313760120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30046] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30046/stat : 30046 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109312707528 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30047] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30047/stat : 30047 (java) S 30025 30028 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13993885 9856040960 26225 33554432000 1073741824 1073778376 140735378041888 140109311653032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 1.27 1.26 1.64 3/213 30112
/proc/meminfo: memFree=30474200/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9625040 CPUtime=7.17 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 16264 0 1 0 711 6 0 0 20 0 19 0 13993842 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2406260 28268 2272 9 0 2396937 0
[pid=30028/tid=30029] ppid=30025 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2449 0 1 0 620 2 0 0 20 0 19 0 13993842 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109496332616 140109366765510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30031] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109485394472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30032] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109338589608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30033] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109337536808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30028/tid=30034] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109336484008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30035] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109335432232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30036] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109334379432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30037] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109333326632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30038] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13993843 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109332273832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30039] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 27601 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 13993844 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109320075752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30040] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 27601 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109319021816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30041] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109317968904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30042] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109316917392 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30043] ppid=30025 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 27601 0 -1 4202560 8644 0 0 0 47 2 0 0 20 0 19 0 13993847 9856040960 28268 33554432000 1073741824 1073778376 140735378041888 140109315865528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30044] ppid=30025 vsize=9625040 CPUtime=0.39 cores=1,3,5,7

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

[pid=30028/tid=30047] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30047/stat : 30047 (java) S 30025 30028 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13993885 9856040960 127836 33554432000 1073741824 1073778376 140735378041888 140109311653032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1665.55
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.20 2.19 2.09 4/213 30284
/proc/meminfo: memFree=29715728/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9625040 CPUtime=1725.69 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 19107 0 1 0 172470 99 0 0 20 0 19 0 13993842 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2406260 127863 2294 9 0 2396937 0
[pid=30028/tid=30029] ppid=30025 vsize=9625040 CPUtime=1716.65 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2509 0 1 0 171633 32 0 0 20 0 19 0 13993842 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109496331488 140109366827564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30031] ppid=30025 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 27601 0 -1 4202560 502 0 0 0 36 6 0 0 20 0 19 0 13993843 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109485394472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30032] ppid=30025 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 27601 0 -1 4202560 210 0 0 0 29 4 0 0 20 0 19 0 13993843 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109338589608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30033] ppid=30025 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 27601 0 -1 4202560 482 0 0 0 29 7 0 0 20 0 19 0 13993843 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109337536808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30028/tid=30034] ppid=30025 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 27601 0 -1 4202560 375 0 0 0 31 6 0 0 20 0 19 0 13993843 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109336484008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30035] ppid=30025 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 27601 0 -1 4202560 85 0 0 0 28 5 0 0 20 0 19 0 13993843 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109335432232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30036] ppid=30025 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 27601 0 -1 4202560 353 0 0 0 27 6 0 0 20 0 19 0 13993843 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109334379432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30037] ppid=30025 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 27601 0 -1 4202560 234 0 0 0 24 5 0 0 20 0 19 0 13993843 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109333326632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30038] ppid=30025 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 27601 0 -1 4202560 279 0 0 0 34 6 0 0 20 0 19 0 13993843 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109332273832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30039] ppid=30025 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 27601 0 -1 4202560 175 0 0 0 25 4 0 0 20 0 19 0 13993844 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109320075752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30040] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109319021816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30041] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109317968904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30042] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109316917392 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30043] ppid=30025 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 27601 0 -1 4202560 8647 0 0 0 49 2 0 0 20 0 19 0 13993847 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109315865528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30044] ppid=30025 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/30028/task/30044/stat : 30044 (java) S 30025 30028 27601 0 -1 4202560 3898 0 0 0 39 0 0 0 20 0 19 0 13993847 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109314812728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30045] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30045/stat : 30045 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109313760120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30046] ppid=30025 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/30028/task/30046/stat : 30046 (java) S 30025 30028 27601 0 -1 4202560 100 0 0 0 27 43 0 0 20 0 19 0 13993847 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109312707528 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30047] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30047/stat : 30047 (java) S 30025 30028 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13993885 9856040960 127863 33554432000 1073741824 1073778376 140735378041888 140109311653032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1725.69
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.09 4/213 30285
/proc/meminfo: memFree=29742216/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9625040 CPUtime=1785.75 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 19114 0 1 0 178475 100 0 0 20 0 19 0 13993842 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2406260 127862 2294 9 0 2396937 0
[pid=30028/tid=30029] ppid=30025 vsize=9625040 CPUtime=1776.48 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2510 0 1 0 177615 33 0 0 20 0 19 0 13993842 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109496331488 140109366785309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30031] ppid=30025 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 27601 0 -1 4202560 502 0 0 0 37 6 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109485394472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30032] ppid=30025 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 27601 0 -1 4202560 210 0 0 0 30 4 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109338589608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30033] ppid=30025 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 27601 0 -1 4202560 482 0 0 0 31 7 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109337536808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30028/tid=30034] ppid=30025 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 27601 0 -1 4202560 375 0 0 0 31 6 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109336484008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30035] ppid=30025 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 27601 0 -1 4202560 85 0 0 0 28 5 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109335432232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30036] ppid=30025 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 27601 0 -1 4202560 353 0 0 0 28 6 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109334379432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30037] ppid=30025 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 27601 0 -1 4202560 234 0 0 0 24 5 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109333326632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30038] ppid=30025 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 27601 0 -1 4202560 279 0 0 0 35 6 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109332273832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30039] ppid=30025 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 27601 0 -1 4202560 177 0 0 0 25 4 0 0 20 0 19 0 13993844 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109320075752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30040] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109319021816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30041] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109317968904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30042] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109316917392 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30043] ppid=30025 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 27601 0 -1 4202560 8647 0 0 0 49 2 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109315865528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30044] ppid=30025 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/30028/task/30044/stat : 30044 (java) S 30025 30028 27601 0 -1 4202560 3898 0 0 0 39 0 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109314812728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30045] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30045/stat : 30045 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109313760120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30046] ppid=30025 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/30028/task/30046/stat : 30046 (java) S 30025 30028 27601 0 -1 4202560 104 0 0 0 28 44 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109312707528 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30047] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30047/stat : 30047 (java) S 30025 30028 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13993885 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109311653032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.75
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.14 2.18 2.09 3/213 30286
/proc/meminfo: memFree=29742092/32872528 swapFree=1073984/1155744
[pid=30028] ppid=30025 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/30028/stat : 30028 (java) S 30025 30028 27601 0 -1 4202496 19114 0 1 0 179905 101 0 0 20 0 19 0 13993842 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140735378033024 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30028/statm: 2406260 127862 2294 9 0 2396937 0
[pid=30028/tid=30029] ppid=30025 vsize=9625040 CPUtime=1790.75 cores=1,3,5,7
/proc/30028/task/30029/stat : 30029 (java) R 30025 30028 27601 0 -1 4202560 2510 0 1 0 179042 33 0 0 20 0 19 0 13993842 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109496331488 140109366827596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30031] ppid=30025 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (java) S 30025 30028 27601 0 -1 4202560 502 0 0 0 37 6 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109485394472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30032] ppid=30025 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/30028/task/30032/stat : 30032 (java) S 30025 30028 27601 0 -1 4202560 210 0 0 0 30 4 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109338589608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30033] ppid=30025 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/30028/task/30033/stat : 30033 (java) S 30025 30028 27601 0 -1 4202560 482 0 0 0 31 7 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109337536808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30028/tid=30034] ppid=30025 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/30028/task/30034/stat : 30034 (java) S 30025 30028 27601 0 -1 4202560 375 0 0 0 31 6 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109336484008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30035] ppid=30025 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/30028/task/30035/stat : 30035 (java) S 30025 30028 27601 0 -1 4202560 85 0 0 0 28 5 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109335432232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30036] ppid=30025 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/30028/task/30036/stat : 30036 (java) S 30025 30028 27601 0 -1 4202560 353 0 0 0 28 6 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109334379432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30037] ppid=30025 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/30028/task/30037/stat : 30037 (java) S 30025 30028 27601 0 -1 4202560 234 0 0 0 24 5 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109333326632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30038] ppid=30025 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/30028/task/30038/stat : 30038 (java) S 30025 30028 27601 0 -1 4202560 279 0 0 0 35 6 0 0 20 0 19 0 13993843 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109332273832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30039] ppid=30025 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/30028/task/30039/stat : 30039 (java) S 30025 30028 27601 0 -1 4202560 177 0 0 0 25 4 0 0 20 0 19 0 13993844 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109320075752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30040] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30040/stat : 30040 (java) S 30025 30028 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109319021816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30041] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30041/stat : 30041 (java) S 30025 30028 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13993845 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109317968904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30042] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30042/stat : 30042 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109316917392 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30043] ppid=30025 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/30028/task/30043/stat : 30043 (java) S 30025 30028 27601 0 -1 4202560 8647 0 0 0 49 2 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109315865528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30028/tid=30044] ppid=30025 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/30028/task/30044/stat : 30044 (java) S 30025 30028 27601 0 -1 4202560 3898 0 0 0 39 0 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109314812728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30045] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30045/stat : 30045 (java) S 30025 30028 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109313760120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30028/tid=30046] ppid=30025 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/30028/task/30046/stat : 30046 (java) S 30025 30028 27601 0 -1 4202560 104 0 0 0 29 44 0 0 20 0 19 0 13993847 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109312707528 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30028/tid=30047] ppid=30025 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30028/task/30047/stat : 30047 (java) S 30025 30028 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13993885 9856040960 127862 33554432000 1073741824 1073778376 140735378041888 140109311653032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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 30028 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 30028 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=439203
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=422783
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.64
CPU time (s): 1800.06
CPU user time (s): 1799.05
CPU system time (s): 1.01
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.44
system time used= 1.42278
maximum resident set size= 602056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19147
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38598
involuntary context switches= 10835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7914 second user time and 13.306 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-17 01:24:06
IDJOB=4098049
IDBENCH=107844
IDSOLVER=2546
FILE ID=node114/4098049-1466119446
RUNJOBID= node114-1466119443-29786
PBS_JOBID= 19904125
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_12.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098049-1466119446/watcher-4098049-1466119446 -o /tmp/evaluation-result-4098049-1466119446/solver-4098049-1466119446 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466119443-29786 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4098049-1466119446.opb

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

MD5SUM BENCH= 41c2374d716c69eaa58caad0be520bfe
RANDOM SEED=1710632844

node114.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.761
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
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.761
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		: 2666.761
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.54
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.761
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		: 2666.761
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		: 2666.761
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.55
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.761
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		: 2666.761
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:        30698644 kB
Buffers:           55848 kB
Cached:           138488 kB
SwapCached:        80112 kB
Active:           106536 kB
Inactive:         196728 kB
Active(anon):      31732 kB
Inactive(anon):    79672 kB
Active(file):      74804 kB
Inactive(file):   117056 kB
Unevictable:     1155744 kB
Mlocked:         1073984 kB
SwapTotal:      67108856 kB
SwapFree:       67022276 kB
Dirty:              2308 kB
Writeback:             0 kB
AnonPages:       1223236 kB
Mapped:            16920 kB
Shmem:                 0 kB
Slab:             571404 kB
SReclaimable:      14772 kB
SUnreclaim:       556632 kB
KernelStack:        1760 kB
PageTables:         6312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1843444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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= 71728 MiB
End job on node114 at 2016-06-17 01:54:03