Trace number 4119656

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 1794.05

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
MD5SUM08fc24c5582bf8e1a503a1ce903ecef9
Bench CategoryDEC-BIGINT-LIN (no optimisation, big 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 variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
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 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4119656-1467272712.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
3.10/2.03	c ... done. Wall clock time 1.917s.
3.10/2.03	c declared #vars     175232
3.10/2.03	c #constraints  2994
3.10/2.03	c constraints type 
3.10/2.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1368
3.10/2.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 1368
3.10/2.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 258
3.10/2.03	c 2994 constraints processed.
5.11/3.58	c cleaning 2498 clauses out of 5002 with flag 21075/5002
8.12/6.30	c cleaning 4241 clauses out of 8503 with flag 50331/11001
11.02/9.22	c cleaning 5622 clauses out of 11262 with flag 96351/18001
13.24/11.40	c cleaning 6806 clauses out of 13639 with flag 147826/26000
15.84/14.06	c cleaning 7890 clauses out of 15835 with flag 195695/35002
19.14/17.33	c cleaning 8950 clauses out of 17944 with flag 258151/45001
22.75/20.99	c cleaning 9976 clauses out of 19996 with flag 323135/56003
27.24/25.46	c cleaning 10985 clauses out of 22019 with flag 400692/68002
31.06/29.09	c cleaning 12004 clauses out of 24034 with flag 464448/81002
35.96/33.96	c cleaning 12989 clauses out of 26029 with flag 530440/95001
40.06/38.03	c cleaning 13987 clauses out of 28040 with flag 624428/110001
44.76/42.78	c cleaning 14998 clauses out of 30054 with flag 738317/126002
50.56/48.56	c cleaning 15995 clauses out of 32054 with flag 891179/143000
56.06/54.01	c cleaning 17012 clauses out of 34061 with flag 1019479/161002
60.86/58.84	c cleaning 18002 clauses out of 36048 with flag 1099435/180001
66.46/64.45	c cleaning 19001 clauses out of 38046 with flag 1186133/200001
72.66/70.67	c cleaning 19998 clauses out of 40044 with flag 1277036/221000
79.36/77.38	c cleaning 21000 clauses out of 42046 with flag 1368178/243000
86.06/84.09	c cleaning 21998 clauses out of 44046 with flag 1464288/266000
93.76/91.70	c cleaning 23005 clauses out of 46050 with flag 1566302/290002
101.87/99.84	c cleaning 23999 clauses out of 48043 with flag 1673661/315000
110.92/108.53	c cleaning 24996 clauses out of 50044 with flag 1794411/341000
120.23/117.87	c cleaning 25995 clauses out of 52049 with flag 1922372/368001
129.72/127.37	c cleaning 26996 clauses out of 54053 with flag 2037399/396000
140.12/137.72	c cleaning 28004 clauses out of 56057 with flag 2187655/425000
153.43/151.02	c cleaning 29002 clauses out of 58053 with flag 2342334/455000
166.23/163.85	c cleaning 29994 clauses out of 60051 with flag 2498306/486000
179.33/176.94	c cleaning 31001 clauses out of 62057 with flag 2675821/518000
193.64/191.20	c cleaning 32007 clauses out of 64057 with flag 2864643/551001
208.34/205.92	c cleaning 32997 clauses out of 66049 with flag 3021253/585000
223.95/221.50	c cleaning 33999 clauses out of 68054 with flag 3202323/620002
240.75/238.35	c cleaning 34998 clauses out of 70053 with flag 3399542/656000
256.75/254.37	c cleaning 36001 clauses out of 72057 with flag 3602809/693002
274.45/272.02	c cleaning 37001 clauses out of 74055 with flag 3804767/731001
293.16/290.76	c cleaning 38000 clauses out of 76053 with flag 4014108/770000
308.75/306.37	c cleaning 39008 clauses out of 78053 with flag 4157516/810000
321.74/318.87	c cleaning 40009 clauses out of 80045 with flag 4322121/851000
340.85/337.93	c cleaning 40985 clauses out of 82037 with flag 4534377/893001
365.66/362.74	c cleaning 41986 clauses out of 84052 with flag 4736793/936001
395.88/392.99	c cleaning 42989 clauses out of 86065 with flag 4945834/980000
427.08/424.14	c cleaning 43984 clauses out of 88076 with flag 5150242/1025000
463.00/460.01	c cleaning 44998 clauses out of 90093 with flag 5362603/1071001
499.30/496.33	c cleaning 46001 clauses out of 92094 with flag 5585439/1118000
529.31/526.31	c cleaning 47000 clauses out of 94093 with flag 5835594/1166000
560.41/557.44	c cleaning 48000 clauses out of 96094 with flag 6085075/1215001
595.09/591.86	c cleaning 48999 clauses out of 98094 with flag 6305361/1265001
627.00/623.77	c cleaning 50024 clauses out of 100094 with flag 6518137/1316000
641.91/638.66	c cleaning 51024 clauses out of 102070 with flag 6709714/1368000
661.21/657.96	c cleaning 51997 clauses out of 104047 with flag 6970940/1421001
686.92/683.64	c cleaning 53001 clauses out of 106051 with flag 7245475/1475002
716.02/712.72	c cleaning 53989 clauses out of 108048 with flag 7539173/1530000
747.64/744.30	c cleaning 55003 clauses out of 110059 with flag 7852053/1586000
780.85/777.51	c cleaning 56002 clauses out of 112058 with flag 8135117/1643002
818.48/814.22	c cleaning 56993 clauses out of 114054 with flag 8422510/1701000
856.39/852.10	c cleaning 58005 clauses out of 116062 with flag 8722071/1760001
894.39/890.13	c cleaning 58997 clauses out of 118056 with flag 9009245/1820000
938.32/934.07	c cleaning 59995 clauses out of 120059 with flag 9317425/1881000
992.92/988.61	c cleaning 61005 clauses out of 122064 with flag 9651522/1943000
1044.04/1039.72	c cleaning 62003 clauses out of 124062 with flag 9968437/2006003
1097.65/1093.33	c cleaning 62995 clauses out of 126057 with flag 10291415/2070001
1146.39/1141.20	c cleaning 64000 clauses out of 128061 with flag 10608173/2135000
1202.60/1197.42	c cleaning 64998 clauses out of 130062 with flag 10912961/2201001
1260.24/1255.08	c cleaning 65997 clauses out of 132064 with flag 11208575/2268001
1328.66/1323.45	c cleaning 66998 clauses out of 134067 with flag 11531402/2336001
1396.78/1391.54	c cleaning 68000 clauses out of 136070 with flag 11858003/2405002
1460.60/1455.39	c cleaning 68999 clauses out of 138069 with flag 12203724/2475001
1536.95/1531.01	c cleaning 69995 clauses out of 140069 with flag 12576252/2546000
1612.45/1606.50	c cleaning 71002 clauses out of 142074 with flag 12943392/2618000
1687.98/1682.03	c cleaning 71998 clauses out of 144072 with flag 13305054/2691000
1772.89/1766.92	c cleaning 73006 clauses out of 146074 with flag 13681356/2765000
1800.00/1794.00	c starts		: 152
1800.00/1794.00	c conflicts		: 2795750
1800.00/1794.00	c decisions		: 7891967
1800.00/1794.00	c propagations		: 384705258
1800.00/1794.00	c inspects		: 21828636372
1800.00/1794.00	c shortcuts		: 0
1800.00/1794.00	c learnt literals	: 0
1800.00/1794.00	c learnt binary clauses	: 0
1800.00/1794.00	c learnt ternary clauses	: 0
1800.00/1794.00	c learnt constraints	: 2795750
1800.00/1794.00	c ignored constraints	: 0
1800.00/1794.00	c root simplifications	: 0
1800.00/1794.00	c removed literals (reason simplification)	: 0
1800.00/1794.00	c reason swapping (by a shorter reason)	: 0
1800.00/1794.00	c Calls to reduceDB	: 70
1800.00/1794.00	c Number of update (reduction) of LBD	: 837611
1800.00/1794.00	c Imported unit clauses	: 0
1800.00/1794.00	c number of reductions to clauses (during analyze)	: 0
1800.00/1794.00	c number of learned constraints concerned by reduction	: 0
1800.00/1794.00	c number of learning phase by resolution	: 0
1800.00/1794.00	c number of learning phase by cutting planes	: 0
1800.00/1794.00	c speed (assignments/second)	: 214687.89984865463
1800.00/1794.00	c non guided choices	3646453
1800.00/1794.02	c timeout
1800.00/1794.03	c learnt constraints type 
1800.00/1794.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 103819
1800.00/1794.03	s UNKNOWN
1800.00/1794.03	c Total wall clock time (in seconds): 1793.91

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-4119656-1467272712/watcher-4119656-1467272712 -o /tmp/evaluation-result-4119656-1467272712/solver-4119656-1467272712 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467272712-12530 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119656-1467272712.opb 

pid=12545
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.86 2.02 1.99 2/172 12548
/proc/meminfo: memFree=31238352/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/12548/stat : 12548 (java) R 12545 12548 12078 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 6302323 278528 34 33554432000 1073741824 1073778376 140735296097712 140734767041560 251134045479 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 68 34 25 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 1.86 2.02 1.99 2/172 12548
/proc/meminfo: memFree=31238352/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 4462 0 1 0 8 1 0 0 20 0 18 0 6302323 9787879424 5573 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2389619 5573 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 1.86 2.02 1.99 2/172 12548
/proc/meminfo: memFree=31238352/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 6367 0 1 0 26 1 0 0 20 0 18 0 6302323 9787879424 8474 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2389619 8474 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300234 s]
/proc/loadavg: 1.86 2.02 1.99 2/172 12548
/proc/meminfo: memFree=31238352/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 7360 0 1 0 51 2 0 0 20 0 18 0 6302323 9787879424 10673 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2389619 10673 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700315 s]
/proc/loadavg: 1.86 2.02 1.99 2/172 12548
/proc/meminfo: memFree=31238352/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9558476 CPUtime=1.18 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 7916 0 1 0 111 7 0 0 20 0 18 0 6302323 9787879424 48648 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2389619 48648 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9558476

[startup+1.50086 s]
/proc/loadavg: 1.86 2.02 1.99 3/190 12566
/proc/meminfo: memFree=30894384/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9558476 CPUtime=2.41 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 9975 0 1 0 220 21 0 0 20 0 18 0 6302323 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2389619 138047 2262 9 0 2380296 0
[pid=12548/tid=12550] ppid=12545 vsize=9558476 CPUtime=1.26 cores=1,3,5,7
/proc/12548/task/12550/stat : 12550 (java) R 12545 12548 12078 0 -1 4202560 2831 0 1 0 119 7 0 0 20 0 18 0 6302325 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892664401840 251146593549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12551] ppid=12545 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/12548/task/12551/stat : 12551 (java) S 12545 12548 12078 0 -1 4202560 120 0 0 0 4 2 0 0 20 0 18 0 6302326 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892507933224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12552] ppid=12545 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/12548/task/12552/stat : 12552 (java) S 12545 12548 12078 0 -1 4202560 121 0 0 0 7 3 0 0 20 0 18 0 6302326 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892506880424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12553] ppid=12545 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/12548/task/12553/stat : 12553 (java) S 12545 12548 12078 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 18 0 6302326 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892505827624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12554] ppid=12545 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12548/task/12554/stat : 12554 (java) S 12545 12548 12078 0 -1 4202560 59 0 0 0 7 2 0 0 20 0 18 0 6302326 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892504774824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12555] ppid=12545 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/12548/task/12555/stat : 12555 (java) S 12545 12548 12078 0 -1 4202560 38 0 0 0 3 2 0 0 20 0 18 0 6302326 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892503723048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12556] ppid=12545 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/12548/task/12556/stat : 12556 (java) S 12545 12548 12078 0 -1 4202560 42 0 0 0 4 2 0 0 20 0 18 0 6302326 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892502670248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12557] ppid=12545 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/12548/task/12557/stat : 12557 (java) S 12545 12548 12078 0 -1 4202560 116 0 0 0 8 0 0 0 20 0 18 0 6302326 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892501617448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12558] ppid=12545 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12548/task/12558/stat : 12558 (java) S 12545 12548 12078 0 -1 4202560 149 0 0 0 7 2 0 0 20 0 18 0 6302326 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892500564648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12559] ppid=12545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12559/stat : 12559 (java) S 12545 12548 12078 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 6302327 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892488366568 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12560] ppid=12545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12560/stat : 12560 (java) S 12545 12548 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 6302328 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892487312632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12561] ppid=12545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12561/stat : 12561 (java) S 12545 12548 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 6302328 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892486259720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12562] ppid=12545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12562/stat : 12562 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6302330 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892485208208 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12563] ppid=12545 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/12548/task/12563/stat : 12563 (java) S 12545 12548 12078 0 -1 4202560 1767 0 0 0 21 0 0 0 20 0 18 0 6302330 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892484156344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12564] ppid=12545 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/12548/task/12564/stat : 12564 (java) S 12545 12548 12078 0 -1 4202560 3247 0 0 0 24 0 0 0 20 0 18 0 6302330 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892483103544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12565] ppid=12545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12565/stat : 12565 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6302330 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892482050936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12566] ppid=12545 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12566/stat : 12566 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6302330 9787879424 138047 33554432000 1073741824 1073778376 140735296097712 139892480998344 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9558476

[startup+3.1008 s]
/proc/loadavg: 1.86 2.02 1.99 5/191 12567
/proc/meminfo: memFree=30467000/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9625040 CPUtime=4.69 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 13677 0 1 0 442 27 0 0 20 0 19 0 6302323 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2406260 178338 2273 9 0 2396937 0
[pid=12548/tid=12550] ppid=12545 vsize=9625040 CPUtime=2.78 cores=1,3,5,7
/proc/12548/task/12550/stat : 12550 (java) R 12545 12548 12078 0 -1 4202560 3374 0 1 0 270 8 0 0 20 0 19 0 6302325 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892664410536 139892537019562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12551] ppid=12545 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/12548/task/12551/stat : 12551 (java) S 12545 12548 12078 0 -1 4202560 132 0 0 0 8 2 0 0 20 0 19 0 6302326 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892507933224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12552] ppid=12545 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/12548/task/12552/stat : 12552 (java) S 12545 12548 12078 0 -1 4202560 144 0 0 0 13 3 0 0 20 0 19 0 6302326 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892506880424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12553] ppid=12545 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/12548/task/12553/stat : 12553 (java) S 12545 12548 12078 0 -1 4202560 45 0 0 0 7 2 0 0 20 0 19 0 6302326 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892505827624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12554] ppid=12545 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/12548/task/12554/stat : 12554 (java) S 12545 12548 12078 0 -1 4202560 65 0 0 0 9 2 0 0 20 0 19 0 6302326 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892504774824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12555] ppid=12545 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/12548/task/12555/stat : 12555 (java) S 12545 12548 12078 0 -1 4202560 47 0 0 0 6 2 0 0 20 0 19 0 6302326 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892503723048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12556] ppid=12545 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/12548/task/12556/stat : 12556 (java) S 12545 12548 12078 0 -1 4202560 46 0 0 0 6 2 0 0 20 0 19 0 6302326 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892502670248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12557] ppid=12545 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/12548/task/12557/stat : 12557 (java) S 12545 12548 12078 0 -1 4202560 127 0 0 0 9 2 0 0 20 0 19 0 6302326 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892501617448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12558] ppid=12545 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/12548/task/12558/stat : 12558 (java) S 12545 12548 12078 0 -1 4202560 149 0 0 0 8 2 0 0 20 0 19 0 6302326 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892500564648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12559] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12559/stat : 12559 (java) S 12545 12548 12078 0 -1 4202560 476 0 0 0 0 0 0 0 20 0 19 0 6302327 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892488366568 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12560] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12560/stat : 12560 (java) S 12545 12548 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892487312632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12561] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12561/stat : 12561 (java) S 12545 12548 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892486259720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12562] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12562/stat : 12562 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892485208208 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12563] ppid=12545 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12548/task/12563/stat : 12563 (java) S 12545 12548 12078 0 -1 4202560 4486 0 0 0 49 1 0 0 20 0 19 0 6302330 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892484156344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12564] ppid=12545 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/12548/task/12564/stat : 12564 (java) S 12545 12548 12078 0 -1 4202560 3326 0 0 0 43 0 0 0 20 0 19 0 6302330 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892483103544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12565] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12565/stat : 12565 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892482050936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12566] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12566/stat : 12566 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892480998344 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12567] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12567/stat : 12567 (java) S 12545 12548 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6302531 9856040960 178338 33554432000 1073741824 1073778376 140735296097712 139892479943848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.03 2.05 2.01 3/212 12595
/proc/meminfo: memFree=30222756/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9625040 CPUtime=8.12 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 16840 0 1 0 783 29 0 0 20 0 19 0 6302323 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2406260 191497 2279 9 0 2396937 0
[pid=12548/tid=12550] ppid=12545 vsize=9625040 CPUtime=5.97 cores=1,3,5,7
/proc/12548/task/12550/stat : 12550 (java) R 12545 12548 12078 0 -1 4202560 3402 0 1 0 589 8 0 0 20 0 19 0 6302325 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892664408584 139892537081085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12551] ppid=12545 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/12548/task/12551/stat : 12551 (java) S 12545 12548 12078 0 -1 4202560 132 0 0 0 8 2 0 0 20 0 19 0 6302326 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892507933224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12552] ppid=12545 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/12548/task/12552/stat : 12552 (java) S 12545 12548 12078 0 -1 4202560 144 0 0 0 13 3 0 0 20 0 19 0 6302326 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892506880424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12553] ppid=12545 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/12548/task/12553/stat : 12553 (java) S 12545 12548 12078 0 -1 4202560 45 0 0 0 7 2 0 0 20 0 19 0 6302326 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892505827624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12554] ppid=12545 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/12548/task/12554/stat : 12554 (java) S 12545 12548 12078 0 -1 4202560 65 0 0 0 9 2 0 0 20 0 19 0 6302326 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892504774824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12555] ppid=12545 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/12548/task/12555/stat : 12555 (java) S 12545 12548 12078 0 -1 4202560 47 0 0 0 6 2 0 0 20 0 19 0 6302326 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892503723048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12556] ppid=12545 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/12548/task/12556/stat : 12556 (java) S 12545 12548 12078 0 -1 4202560 46 0 0 0 6 2 0 0 20 0 19 0 6302326 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892502670248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12557] ppid=12545 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/12548/task/12557/stat : 12557 (java) S 12545 12548 12078 0 -1 4202560 127 0 0 0 9 2 0 0 20 0 19 0 6302326 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892501617448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12558] ppid=12545 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/12548/task/12558/stat : 12558 (java) S 12545 12548 12078 0 -1 4202560 149 0 0 0 8 2 0 0 20 0 19 0 6302326 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892500564648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12559] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12559/stat : 12559 (java) S 12545 12548 12078 0 -1 4202560 476 0 0 0 0 0 0 0 20 0 19 0 6302327 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892488366568 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12560] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12560/stat : 12560 (java) S 12545 12548 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892487312632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12561] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12561/stat : 12561 (java) S 12545 12548 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892486259720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12562] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12562/stat : 12562 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892485208208 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12563] ppid=12545 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/12548/task/12563/stat : 12563 (java) S 12545 12548 12078 0 -1 4202560 7612 0 0 0 67 2 0 0 20 0 19 0 6302330 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892484156344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12564] ppid=12545 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/12548/task/12564/stat : 12564 (java) S 12545 12548 12078 0 -1 4202560 3335 0 0 0 48 0 0 0 20 0 19 0 6302330 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892483103544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12565] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12565/stat : 12565 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892482050936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12566] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12566/stat : 12566 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892480998344 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12567] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12567/stat : 12567 (java) S 12545 12548 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6302531 9856040960 191497 33554432000 1073741824 1073778376 140735296097712 139892479943848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 9625040

[startup+12.7009 s]
/proc/loadavg: 2.11 2.07 2.01 3/212 12595

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

[pid=12548/tid=12567] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12567/stat : 12567 (java) S 12545 12548 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6302531 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892479943848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1668.26
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.13 2.09 2.07 3/213 12661
/proc/meminfo: memFree=20459876/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9625040 CPUtime=1728.29 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 204119 0 1 0 172552 277 0 0 20 0 19 0 6302323 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2406260 865643 2288 9 0 2396937 0
[pid=12548/tid=12550] ppid=12545 vsize=9625040 CPUtime=1713.53 cores=1,3,5,7
/proc/12548/task/12550/stat : 12550 (java) R 12545 12548 12078 0 -1 4202560 4022 0 1 0 171299 54 0 0 20 0 19 0 6302325 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892664401616 139892537141948 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12551] ppid=12545 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/12548/task/12551/stat : 12551 (java) S 12545 12548 12078 0 -1 4202560 21129 0 0 0 49 24 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892507933224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12552] ppid=12545 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/12548/task/12552/stat : 12552 (java) S 12545 12548 12078 0 -1 4202560 23668 0 0 0 50 19 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892506880424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12553] ppid=12545 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/12548/task/12553/stat : 12553 (java) S 12545 12548 12078 0 -1 4202560 22740 0 0 0 50 20 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892505827624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12554] ppid=12545 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12548/task/12554/stat : 12554 (java) S 12545 12548 12078 0 -1 4202560 16955 0 0 0 50 25 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892504774824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12555] ppid=12545 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/12548/task/12555/stat : 12555 (java) S 12545 12548 12078 0 -1 4202560 17683 0 0 0 54 37 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892503723048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12556] ppid=12545 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/12548/task/12556/stat : 12556 (java) S 12545 12548 12078 0 -1 4202560 24390 0 0 0 45 26 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892502670248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12557] ppid=12545 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/12548/task/12557/stat : 12557 (java) S 12545 12548 12078 0 -1 4202560 21520 0 0 0 55 27 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892501617448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12558] ppid=12545 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/12548/task/12558/stat : 12558 (java) S 12545 12548 12078 0 -1 4202560 20722 0 0 0 53 28 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892500564648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12559] ppid=12545 vsize=9625040 CPUtime=2.57 cores=1,3,5,7
/proc/12548/task/12559/stat : 12559 (java) S 12545 12548 12078 0 -1 4202560 18977 0 0 0 250 7 0 0 20 0 19 0 6302327 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892488366568 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12560] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12560/stat : 12560 (java) S 12545 12548 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892487312632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12561] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12561/stat : 12561 (java) S 12545 12548 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892486259720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12562] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12562/stat : 12562 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892485208208 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12563] ppid=12545 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/12548/task/12563/stat : 12563 (java) S 12545 12548 12078 0 -1 4202560 7618 0 0 0 69 2 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892484156344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12564] ppid=12545 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12548/task/12564/stat : 12564 (java) S 12545 12548 12078 0 -1 4202560 3337 0 0 0 50 0 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892483103544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12565] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12565/stat : 12565 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892482050936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12566] ppid=12545 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/12548/task/12566/stat : 12566 (java) S 12545 12548 12078 0 -1 4202560 99 0 0 0 31 41 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892480998344 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12567] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12567/stat : 12567 (java) S 12545 12548 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6302531 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892479943848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.29
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.12 2.08 2.07 3/213 12728
/proc/meminfo: memFree=24902056/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9625040 CPUtime=1788.3 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 204123 0 1 0 178552 278 0 0 20 0 19 0 6302323 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2406260 865643 2288 9 0 2396937 0
[pid=12548/tid=12550] ppid=12545 vsize=9625040 CPUtime=1773.38 cores=1,3,5,7
/proc/12548/task/12550/stat : 12550 (java) R 12545 12548 12078 0 -1 4202560 4022 0 1 0 177284 54 0 0 20 0 19 0 6302325 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892664401616 139892536870172 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12551] ppid=12545 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/12548/task/12551/stat : 12551 (java) S 12545 12548 12078 0 -1 4202560 21129 0 0 0 49 24 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892507933224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12552] ppid=12545 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/12548/task/12552/stat : 12552 (java) S 12545 12548 12078 0 -1 4202560 23668 0 0 0 50 19 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892506880424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12553] ppid=12545 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/12548/task/12553/stat : 12553 (java) S 12545 12548 12078 0 -1 4202560 22740 0 0 0 50 20 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892505827624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12554] ppid=12545 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12548/task/12554/stat : 12554 (java) S 12545 12548 12078 0 -1 4202560 16955 0 0 0 50 25 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892504774824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12555] ppid=12545 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/12548/task/12555/stat : 12555 (java) S 12545 12548 12078 0 -1 4202560 17683 0 0 0 54 37 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892503723048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12556] ppid=12545 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/12548/task/12556/stat : 12556 (java) S 12545 12548 12078 0 -1 4202560 24390 0 0 0 45 26 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892502670248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12557] ppid=12545 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/12548/task/12557/stat : 12557 (java) S 12545 12548 12078 0 -1 4202560 21520 0 0 0 55 27 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892501617448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12558] ppid=12545 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/12548/task/12558/stat : 12558 (java) S 12545 12548 12078 0 -1 4202560 20722 0 0 0 53 28 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892500564648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12559] ppid=12545 vsize=9625040 CPUtime=2.57 cores=1,3,5,7
/proc/12548/task/12559/stat : 12559 (java) S 12545 12548 12078 0 -1 4202560 18977 0 0 0 250 7 0 0 20 0 19 0 6302327 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892488366568 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12560] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12560/stat : 12560 (java) S 12545 12548 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892487312632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12561] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12561/stat : 12561 (java) S 12545 12548 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892486259720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12562] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12562/stat : 12562 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892485208208 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12563] ppid=12545 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/12548/task/12563/stat : 12563 (java) S 12545 12548 12078 0 -1 4202560 7618 0 0 0 69 2 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892484156344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12564] ppid=12545 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12548/task/12564/stat : 12564 (java) S 12545 12548 12078 0 -1 4202560 3337 0 0 0 50 0 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892483103544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12565] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12565/stat : 12565 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892482050936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12566] ppid=12545 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12548/task/12566/stat : 12566 (java) S 12545 12548 12078 0 -1 4202560 103 0 0 0 33 42 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892480998344 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12567] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12567/stat : 12567 (java) S 12545 12548 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6302531 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892479943848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.3
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794 s]
/proc/loadavg: 2.10 2.08 2.07 3/213 12728
/proc/meminfo: memFree=24902120/32872528 swapFree=239792/272496
[pid=12548] ppid=12545 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/12548/stat : 12548 (java) S 12545 12548 12078 0 -1 4202496 204123 0 1 0 179722 278 0 0 20 0 19 0 6302323 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 140735296088848 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12548/statm: 2406260 865643 2288 9 0 2396937 0
[pid=12548/tid=12550] ppid=12545 vsize=9625040 CPUtime=1785.05 cores=1,3,5,7
/proc/12548/task/12550/stat : 12550 (java) R 12545 12548 12078 0 -1 4202560 4022 0 1 0 178450 55 0 0 20 0 19 0 6302325 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892664401616 139892537153424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12551] ppid=12545 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/12548/task/12551/stat : 12551 (java) S 12545 12548 12078 0 -1 4202560 21129 0 0 0 49 24 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892507933224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12552] ppid=12545 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/12548/task/12552/stat : 12552 (java) S 12545 12548 12078 0 -1 4202560 23668 0 0 0 50 19 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892506880424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12553] ppid=12545 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/12548/task/12553/stat : 12553 (java) S 12545 12548 12078 0 -1 4202560 22740 0 0 0 50 20 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892505827624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12554] ppid=12545 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12548/task/12554/stat : 12554 (java) S 12545 12548 12078 0 -1 4202560 16955 0 0 0 50 25 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892504774824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12555] ppid=12545 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/12548/task/12555/stat : 12555 (java) S 12545 12548 12078 0 -1 4202560 17683 0 0 0 54 37 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892503723048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12548/tid=12556] ppid=12545 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/12548/task/12556/stat : 12556 (java) S 12545 12548 12078 0 -1 4202560 24390 0 0 0 45 26 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892502670248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12557] ppid=12545 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/12548/task/12557/stat : 12557 (java) S 12545 12548 12078 0 -1 4202560 21520 0 0 0 55 27 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892501617448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12558] ppid=12545 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/12548/task/12558/stat : 12558 (java) S 12545 12548 12078 0 -1 4202560 20722 0 0 0 53 28 0 0 20 0 19 0 6302326 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892500564648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12559] ppid=12545 vsize=9625040 CPUtime=2.57 cores=1,3,5,7
/proc/12548/task/12559/stat : 12559 (java) S 12545 12548 12078 0 -1 4202560 18977 0 0 0 250 7 0 0 20 0 19 0 6302327 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892488366568 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12560] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12560/stat : 12560 (java) S 12545 12548 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892487312632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12561] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12561/stat : 12561 (java) S 12545 12548 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6302328 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892486259720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12562] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12562/stat : 12562 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892485208208 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12548/tid=12563] ppid=12545 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/12548/task/12563/stat : 12563 (java) S 12545 12548 12078 0 -1 4202560 7618 0 0 0 69 2 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892484156344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12564] ppid=12545 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12548/task/12564/stat : 12564 (java) S 12545 12548 12078 0 -1 4202560 3337 0 0 0 50 0 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892483103544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12565] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12565/stat : 12565 (java) S 12545 12548 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892482050936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12548/tid=12566] ppid=12545 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12548/task/12566/stat : 12566 (java) S 12545 12548 12078 0 -1 4202560 103 0 0 0 33 42 0 0 20 0 19 0 6302330 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892480998344 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12548/tid=12567] ppid=12545 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12548/task/12567/stat : 12567 (java) S 12545 12548 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6302531 9856040960 865643 33554432000 1073741824 1073778376 140735296097712 139892479943848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 12548 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 12548 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=768457
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=272502
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.05
CPU time (s): 1800
CPU user time (s): 1797.22
CPU system time (s): 2.78
CPU usage (%): 100.332
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.77
system time used= 3.2725
maximum resident set size= 3728564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204169
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44529
involuntary context switches= 4036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07662 second user time and 18.9961 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-30 09:45:12
IDJOB=4119656
IDBENCH=111782
IDSOLVER=2546
FILE ID=node107/4119656-1467272712
RUNJOBID= node107-1467272712-12530
PBS_JOBID= 20004486
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119656-1467272712/watcher-4119656-1467272712 -o /tmp/evaluation-result-4119656-1467272712/solver-4119656-1467272712 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467272712-12530 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119656-1467272712.opb

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

MD5SUM BENCH= 08fc24c5582bf8e1a503a1ce903ecef9
RANDOM SEED=1697468817

node107.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.110
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.22
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.110
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.55
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.110
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.39
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.110
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.110
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.54
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.110
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		: 2667.110
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.56
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.110
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31239740 kB
Buffers:          116840 kB
Cached:           487428 kB
SwapCached:            0 kB
Active:           150692 kB
Inactive:         471356 kB
Active(anon):      20740 kB
Inactive(anon):        4 kB
Active(file):     129952 kB
Inactive(file):   471352 kB
Unevictable:      272496 kB
Mlocked:          239792 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18256 kB
Writeback:             0 kB
AnonPages:        289848 kB
Mapped:            13592 kB
Shmem:               204 kB
Slab:             606544 kB
SReclaimable:      50420 kB
SUnreclaim:       556124 kB
KernelStack:        1384 kB
PageTables:         4624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     376464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71680 MiB
End job on node107 at 2016-06-30 10:15:07