Trace number 4116598

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round21-2.opb
MD5SUM67241af52a65c1be692e9f176668d11f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark51.0812
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7920
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c 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.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 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.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4116598-1466949658.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.72/0.47	c ... done. Wall clock time 0.354s.
0.72/0.48	c declared #vars     3968
0.72/0.48	c #constraints  9184
0.72/0.48	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.72/0.48	c constraints type 
0.72/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5958
0.72/0.48	c org.sat4j.specs.Constr$1 => 920
0.72/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.72/0.48	c org.sat4j.minisat.constraints.cnf.UnitClause => 520
0.72/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1658
0.72/0.48	c 9184 constraints processed.
0.72/0.48	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.72/0.48	c constraints type 
0.72/0.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.72/0.48	c org.sat4j.specs.Constr$1 => 920
0.72/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5958
0.72/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1658
0.72/0.48	c org.sat4j.pb.constraints.pb.UnitClausePB => 520
0.72/0.48	c 9184 constraints processed.
4.48/1.47	c cleaning 2489 clauses out of 4998 with flag 15829/5000
6.10/2.14	c cleaning 4252 clauses out of 8509 with flag 37711/11000
7.74/2.97	c cleaning 5625 clauses out of 11260 with flag 67209/18003
9.60/3.88	c cleaning 6811 clauses out of 13632 with flag 102905/26000
11.86/4.93	c cleaning 7904 clauses out of 15821 with flag 145235/35000
14.33/6.15	c cleaning 8960 clauses out of 17920 with flag 194907/45003
17.12/7.55	c cleaning 9974 clauses out of 19957 with flag 252660/56000
20.43/9.18	c cleaning 10979 clauses out of 21983 with flag 316607/68000
23.83/10.86	c cleaning 11994 clauses out of 24004 with flag 389243/81000
28.15/12.93	c cleaning 12989 clauses out of 26010 with flag 466940/95000
32.55/15.16	c cleaning 14001 clauses out of 28021 with flag 552766/110000
37.56/17.61	c cleaning 15000 clauses out of 30021 with flag 645354/126001
42.69/20.11	c cleaning 15995 clauses out of 32020 with flag 746705/143000
47.49/22.50	c cleaning 16994 clauses out of 34025 with flag 854951/161000
52.69/25.11	c cleaning 17988 clauses out of 36031 with flag 969920/180000
58.49/28.04	c cleaning 19005 clauses out of 38043 with flag 1090992/200000
64.49/31.00	c cleaning 19999 clauses out of 40038 with flag 1218683/221000
70.90/34.21	c cleaning 21017 clauses out of 42039 with flag 1355978/243000
77.89/37.72	c cleaning 22004 clauses out of 44022 with flag 1499267/266000
85.54/41.58	c cleaning 22983 clauses out of 46018 with flag 1649632/290000
90.07/43.78	c cleaning 0 clauses out of 5001 with flag 0/5001
94.99/46.11	c cleaning 23982 clauses out of 48035 with flag 1804797/315000
105.02/51.03	c cleaning 24986 clauses out of 50053 with flag 1965789/341000
115.85/56.32	c cleaning 25994 clauses out of 52068 with flag 2135391/368001
127.06/61.96	c cleaning 27026 clauses out of 54074 with flag 2310682/396001
139.14/67.96	c cleaning 28009 clauses out of 56047 with flag 2491865/425000
151.99/74.40	c cleaning 28987 clauses out of 58041 with flag 2680732/455003
166.31/81.44	c cleaning 30003 clauses out of 60051 with flag 2876376/486000
180.60/88.57	c cleaning 31021 clauses out of 62048 with flag 3081227/518000
195.68/96.09	c cleaning 32002 clauses out of 64027 with flag 3290826/551000
211.03/103.62	c cleaning 32995 clauses out of 66026 with flag 3506771/585001
226.94/111.98	c cleaning 33997 clauses out of 68030 with flag 3733889/620000
241.99/119.40	c cleaning 34996 clauses out of 70033 with flag 3964148/656000
258.67/127.79	c cleaning 35982 clauses out of 72039 with flag 4201661/693002
277.29/137.09	c cleaning 37007 clauses out of 74055 with flag 4447930/731000
296.19/146.46	c cleaning 38011 clauses out of 76050 with flag 4698335/770002
316.76/156.65	c cleaning 38988 clauses out of 78038 with flag 4958989/810001
337.84/167.13	c cleaning 40019 clauses out of 80049 with flag 5226041/851000
360.67/178.49	c cleaning 41001 clauses out of 82030 with flag 5498358/893000
384.18/190.19	c cleaning 42002 clauses out of 84029 with flag 5776234/936000
407.22/201.53	c cleaning 42995 clauses out of 86028 with flag 6061583/980001
430.95/213.33	c cleaning 43989 clauses out of 88032 with flag 6355422/1025000
455.45/225.58	c cleaning 45017 clauses out of 90043 with flag 6656867/1071000
463.52/229.53	c cleaning 0 clauses out of 11001 with flag 0/11001
480.80/238.18	c cleaning 46008 clauses out of 92027 with flag 6961711/1118001
507.36/251.33	c cleaning 47000 clauses out of 94020 with flag 7271602/1166002
535.42/265.30	c cleaning 48000 clauses out of 96018 with flag 7592340/1215000
563.86/279.49	c cleaning 48997 clauses out of 98018 with flag 7916610/1265000
596.12/296.08	c cleaning 50006 clauses out of 100023 with flag 8255306/1316002
626.55/311.27	c cleaning 50992 clauses out of 102015 with flag 8598101/1368000
657.94/326.88	c cleaning 51980 clauses out of 104023 with flag 8945557/1421000
693.36/344.43	c cleaning 53015 clauses out of 106046 with flag 9302349/1475003
729.45/362.33	c cleaning 53991 clauses out of 108028 with flag 9664453/1530000
765.17/380.08	c cleaning 54985 clauses out of 110038 with flag 10035180/1586001
804.68/399.62	c cleaning 55992 clauses out of 112052 with flag 10410289/1643000
845.53/419.99	c cleaning 57022 clauses out of 114060 with flag 10792824/1701000
886.46/440.39	c cleaning 57994 clauses out of 116038 with flag 11183895/1760000
927.28/460.64	c cleaning 58998 clauses out of 118046 with flag 11579868/1820002
969.65/481.73	c cleaning 59988 clauses out of 120046 with flag 11984378/1881000
1011.79/502.66	c cleaning 61005 clauses out of 122058 with flag 12394501/1943000
1055.07/524.13	c cleaning 62016 clauses out of 124053 with flag 12808608/2006000
1100.11/546.60	c cleaning 62999 clauses out of 126037 with flag 13229177/2070000
1146.50/569.52	c cleaning 64010 clauses out of 128038 with flag 13657654/2135000
1193.49/592.95	c cleaning 64999 clauses out of 130028 with flag 14093572/2201000
1243.74/617.92	c cleaning 66000 clauses out of 132029 with flag 14533770/2268000
1294.82/643.34	c cleaning 66978 clauses out of 134030 with flag 14982172/2336001
1349.00/671.19	c cleaning 68008 clauses out of 136051 with flag 15440999/2405000
1400.81/696.96	c cleaning 69010 clauses out of 138043 with flag 15902906/2475000
1455.57/724.22	c cleaning 70003 clauses out of 140033 with flag 16369695/2546000
1512.13/752.32	c cleaning 70977 clauses out of 142030 with flag 16845345/2618000
1569.33/780.75	c cleaning 72005 clauses out of 144054 with flag 17328786/2691001
1627.87/809.86	c cleaning 0 clauses out of 18000 with flag 0/18000
1628.27/810.02	c cleaning 73007 clauses out of 146049 with flag 17818945/2765001
1688.24/839.84	c cleaning 73972 clauses out of 148041 with flag 18314255/2840000
1750.72/870.98	c cleaning 75013 clauses out of 150071 with flag 18814334/2916002
1800.12/895.51	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.12/895.51	c starts		: 29205
1800.12/895.51	c conflicts		: 2979044
1800.12/895.51	c decisions		: 26854991
1800.12/895.51	c propagations		: 403902101
1800.12/895.51	c inspects		: 9065017508
1800.12/895.51	c shortcuts		: 0
1800.12/895.51	c learnt literals	: 2
1800.12/895.51	c learnt binary clauses	: 86
1800.12/895.51	c learnt ternary clauses	: 789
1800.12/895.51	c learnt constraints	: 2979042
1800.12/895.51	c ignored constraints	: 0
1800.12/895.51	c root simplifications	: 0
1800.12/895.51	c removed literals (reason simplification)	: 2837757
1800.12/895.51	c reason swapping (by a shorter reason)	: 0
1800.12/895.51	c Calls to reduceDB	: 72
1800.12/895.51	c Number of update (reduction) of LBD	: 644566
1800.12/895.51	c Imported unit clauses	: 0
1800.12/895.51	c number of reductions to clauses (during analyze)	: 0
1800.12/895.51	c number of learned constraints concerned by reduction	: 0
1800.12/895.51	c number of learning phase by resolution	: 0
1800.12/895.51	c number of learning phase by cutting planes	: 0
1800.12/895.51	c speed (assignments/second)	: 451277.17928090994
1800.12/895.51	c non guided choices	3707
1800.12/895.54	c learnt constraints type 
1800.12/895.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 86
1800.12/895.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 138014
1800.12/895.54	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.12/895.54	c starts		: 45
1800.12/895.54	c conflicts		: 18729
1800.12/895.54	c decisions		: 66702
1800.12/895.54	c propagations		: 2381380
1800.12/895.54	c inspects		: 765052328
1800.12/895.54	c shortcuts		: 0
1800.12/895.54	c learnt literals	: 0
1800.12/895.54	c learnt binary clauses	: 0
1800.12/895.54	c learnt ternary clauses	: 0
1800.12/895.54	c learnt constraints	: 18728
1800.12/895.54	c ignored constraints	: 0
1800.12/895.54	c root simplifications	: 0
1800.12/895.54	c removed literals (reason simplification)	: 0
1800.12/895.54	c reason swapping (by a shorter reason)	: 0
1800.12/895.54	c Calls to reduceDB	: 3
1800.12/895.54	c Number of update (reduction) of LBD	: 0
1800.12/895.54	c Imported unit clauses	: 0
1800.12/895.54	c number of reductions to clauses (during analyze)	: 0
1800.12/895.54	c number of learned constraints concerned by reduction	: 0
1800.12/895.54	c number of learning phase by resolution	: 0
1800.12/895.54	c number of learning phase by cutting planes	: 0
1800.12/895.54	c speed (assignments/second)	: 2660.6230294308893
1800.12/895.54	c non guided choices	297
1800.12/895.54	c learnt constraints type 
1800.12/895.54	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 5
1800.12/895.54	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18723
1800.12/895.54	s UNKNOWN
1800.12/895.54	c Total wall clock time (in seconds): 895.423

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

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

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


[startup+0 s]
/proc/loadavg: 4.31 4.25 4.27 4/198 20806
/proc/meminfo: memFree=27290164/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/20806/stat : 20806 (java) R 20803 20806 19474 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 28004497 5767168 53 33554432000 1073741824 1073778376 140737184799680 140737184796808 270698380872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 1408 55 43 9 0 30 0

[startup+0.100062 s]
/proc/loadavg: 4.31 4.25 4.27 4/198 20806
/proc/meminfo: memFree=27290164/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20803 20806 19474 0 -1 4202496 4414 0 1 0 8 1 0 0 20 0 18 0 28004497 9787879424 6038 33554432000 1073741824 1073778376 140737184799680 140737184790816 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 2389619 6038 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200248 s]
/proc/loadavg: 4.31 4.25 4.27 4/198 20806
/proc/meminfo: memFree=27290164/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20803 20806 19474 0 -1 4202496 4684 0 1 0 23 1 0 0 20 0 18 0 28004497 9787879424 6778 33554432000 1073741824 1073778376 140737184799680 140737184790816 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 2389619 6779 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300228 s]
/proc/loadavg: 4.31 4.25 4.27 4/198 20806
/proc/meminfo: memFree=27290164/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20803 20806 19474 0 -1 4202496 5864 0 1 0 46 1 0 0 20 0 18 0 28004497 9787879424 8327 33554432000 1073741824 1073778376 140737184799680 140737184790816 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 2389619 8327 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700189 s]
/proc/loadavg: 4.31 4.25 4.27 4/198 20806
/proc/meminfo: memFree=27290164/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20803 20806 19474 0 -1 4202496 15425 0 1 0 179 4 0 0 20 0 22 0 28004497 10060525568 22716 33554432000 1073741824 1073778376 140737184799680 140737184790816 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 2456183 22716 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.44 4.28 4.27 7/220 20828
/proc/meminfo: memFree=27163320/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=9824732 CPUtime=4.78 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20803 20806 19474 0 -1 4202496 21794 0 1 0 471 7 0 0 20 0 22 0 28004497 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140737184790816 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 2456183 47466 2292 9 0 2446860 0
[pid=20806/tid=20808] ppid=20803 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/20806/task/20808/stat : 20808 (java) S 20803 20806 19474 0 -1 4202560 2434 0 1 0 43 2 0 0 20 0 22 0 28004498 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307433481080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20803 20806 19474 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 28004499 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307394971944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20810] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20803 20806 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28004499 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307393919144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20811] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20803 20806 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28004499 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307392866856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20812] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20803 20806 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28004499 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307391814056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20813] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20803 20806 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28004499 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307390761768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20814] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20803 20806 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28004499 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307389708968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20815] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004499 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307270200360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20816] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20803 20806 19474 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28004499 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307269147560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20817] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20803 20806 19474 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28004500 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307256948968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20818] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20803 20806 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307255895032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20819] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20803 20806 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140307254842632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20820] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140306515224976 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20821] ppid=20803 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20803 20806 19474 0 -1 4202560 9299 0 0 0 108 2 0 0 20 0 22 0 28004503 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140306514172600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20822] ppid=20803 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20803 20806 19474 0 -1 4202560 8594 0 0 0 116 2 0 0 20 0 22 0 28004503 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140306513119800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20823] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140306512067704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20824] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140306511015112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20825] ppid=20803 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) R 20803 20806 19474 0 -1 4202560 19 0 0 0 96 0 0 0 20 0 22 0 28004545 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140306509950752 140307270964292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20826] ppid=20803 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/20806/task/20826/stat : 20826 (java) R 20803 20806 19474 0 -1 4202560 76 0 0 0 95 2 0 0 20 0 22 0 28004545 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140306508906472 140307271118850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20827] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20827/stat : 20827 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140306507855016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20828] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20828/stat : 20828 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 47466 33554432000 1073741824 1073778376 140737184799680 140306506802216 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 9824732

[startup+3.10093 s]
/proc/loadavg: 4.44 4.28 4.27 5/220 20828
/proc/meminfo: memFree=27036220/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=9824732 CPUtime=8.19 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20803 20806 19474 0 -1 4202496 22086 0 1 0 804 15 0 0 20 0 22 0 28004497 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140737184790816 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 2456183 91117 2292 9 0 2446860 0
[pid=20806/tid=20808] ppid=20803 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/20806/task/20808/stat : 20808 (java) S 20803 20806 19474 0 -1 4202560 2434 0 1 0 43 2 0 0 20 0 22 0 28004498 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307433481080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20803 20806 19474 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 28004499 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307394971944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20810] ppid=20803 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20803 20806 19474 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 28004499 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307393919144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20811] ppid=20803 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20803 20806 19474 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 28004499 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307392866856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20812] ppid=20803 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20803 20806 19474 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 22 0 28004499 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307391814056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20813] ppid=20803 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20803 20806 19474 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 28004499 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307390761768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20814] ppid=20803 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20803 20806 19474 0 -1 4202560 19 0 0 0 2 2 0 0 20 0 22 0 28004499 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307389708968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20815] ppid=20803 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20803 20806 19474 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 22 0 28004499 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307270200360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20816] ppid=20803 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20803 20806 19474 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 28004499 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307269147560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20817] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20803 20806 19474 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 28004500 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307256948968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20818] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20803 20806 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307255895032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20819] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20803 20806 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140307254842632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20820] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140306515224976 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20821] ppid=20803 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20803 20806 19474 0 -1 4202560 9299 0 0 0 111 2 0 0 20 0 22 0 28004503 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140306514172600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20822] ppid=20803 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20803 20806 19474 0 -1 4202560 8594 0 0 0 124 2 0 0 20 0 22 0 28004503 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140306513119800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20823] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140306512067704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20824] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140306511015112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20825] ppid=20803 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) R 20803 20806 19474 0 -1 4202560 20 0 0 0 248 0 0 0 20 0 22 0 28004545 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140306509957656 140307270934156 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20826] ppid=20803 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/20806/task/20826/stat : 20826 (java) R 20803 20806 19474 0 -1 4202560 138 0 0 0 244 4 0 0 20 0 22 0 28004545 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140306508905024 140307270945755 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20827] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20827/stat : 20827 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140306507855016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20828] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20828/stat : 20828 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 91117 33554432000 1073741824 1073778376 140737184799680 140306506802216 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 9824732

[startup+6.3009 s]
/proc/loadavg: 4.44 4.28 4.27 6/220 20851
/proc/meminfo: memFree=26679460/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=9824732 CPUtime=14.73 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20803 20806 19474 0 -1 4202496 22924 0 1 0 1448 25 0 0 20 0 22 0 28004497 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140737184790816 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 2456183 162120 2292 9 0 2446860 0
[pid=20806/tid=20808] ppid=20803 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/20806/task/20808/stat : 20808 (java) S 20803 20806 19474 0 -1 4202560 2434 0 1 0 43 2 0 0 20 0 22 0 28004498 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307433481080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20803 20806 19474 0 -1 4202560 177 0 0 0 4 2 0 0 20 0 22 0 28004499 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307394971944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20810] ppid=20803 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20803 20806 19474 0 -1 4202560 28 0 0 0 5 2 0 0 20 0 22 0 28004499 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307393919144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20811] ppid=20803 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20803 20806 19474 0 -1 4202560 33 0 0 0 5 1 0 0 20 0 22 0 28004499 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307392866856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20812] ppid=20803 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20803 20806 19474 0 -1 4202560 112 0 0 0 6 2 0 0 20 0 22 0 28004499 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307391814056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20813] ppid=20803 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20803 20806 19474 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 28004499 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307390761768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20814] ppid=20803 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20803 20806 19474 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 28004499 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307389708968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20815] ppid=20803 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20803 20806 19474 0 -1 4202560 108 0 0 0 6 3 0 0 20 0 22 0 28004499 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307270200360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20816] ppid=20803 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20803 20806 19474 0 -1 4202560 83 0 0 0 4 1 0 0 20 0 22 0 28004499 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307269147560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20817] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20803 20806 19474 0 -1 4202560 465 0 0 0 0 0 0 0 20 0 22 0 28004500 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307256948968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20818] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20803 20806 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307255895032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20819] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20803 20806 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140307254842632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20820] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 162120 33554432000 1073741824 1073778376 140737184799680 140306515224976 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20821] ppid=20803 vsize=9824732 CPUtime=1.15 cores=0,2,4,6

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

/proc/20806/task/20811/stat : 20811 (java) S 20803 20806 19474 0 -1 4202560 698 0 0 0 277 20 0 0 20 0 22 0 28004499 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140307392866856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20812] ppid=20803 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20803 20806 19474 0 -1 4202560 726 0 0 0 273 18 0 0 20 0 22 0 28004499 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140307391814056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20813] ppid=20803 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20803 20806 19474 0 -1 4202560 501 0 0 0 241 14 0 0 20 0 22 0 28004499 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140307390761768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20814] ppid=20803 vsize=9824732 CPUtime=2.78 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20803 20806 19474 0 -1 4202560 582 0 0 0 260 18 0 0 20 0 22 0 28004499 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140307389708968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20815] ppid=20803 vsize=9824732 CPUtime=2.81 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20803 20806 19474 0 -1 4202560 952 0 0 0 264 17 0 0 20 0 22 0 28004499 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140307270200360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20816] ppid=20803 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20803 20806 19474 0 -1 4202560 673 0 0 0 272 16 0 0 20 0 22 0 28004499 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140307269147560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20817] ppid=20803 vsize=9824732 CPUtime=3.75 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20803 20806 19474 0 -1 4202560 2352 0 0 0 368 7 0 0 20 0 22 0 28004500 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140307256948968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20818] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20803 20806 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140307255895032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20819] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20803 20806 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140307254842632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20820] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140306515224976 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20821] ppid=20803 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20803 20806 19474 0 -1 4202560 9319 0 0 0 129 2 0 0 20 0 22 0 28004503 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140306514172600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20822] ppid=20803 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20803 20806 19474 0 -1 4202560 9070 0 0 0 151 2 0 0 20 0 22 0 28004503 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140306513119800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20823] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140306512067704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20824] ppid=20803 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20803 20806 19474 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 28004503 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140306511015112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20825] ppid=20803 vsize=9824732 CPUtime=869.55 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) R 20803 20806 19474 0 -1 4202560 36 0 0 0 86940 15 0 0 20 0 22 0 28004545 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140306509957760 140307270945755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20826] ppid=20803 vsize=9824732 CPUtime=869.58 cores=0,2,4,6
/proc/20806/task/20826/stat : 20826 (java) R 20803 20806 19474 0 -1 4202560 1685 0 0 0 86911 47 0 0 20 0 22 0 28004545 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140306508905616 140307271004388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20827] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20827/stat : 20827 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140306507855016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20828] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20828/stat : 20828 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 920334 33554432000 1073741824 1073778376 140737184799680 140306506802216 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1773.63
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.508 s]
/proc/loadavg: 4.38 4.29 4.27 6/219 20939
/proc/meminfo: memFree=23046620/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=9824732 CPUtime=1800.12 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20803 20806 19474 0 -1 4202496 31757 0 1 0 179815 197 0 0 20 0 22 0 28004497 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140737184790816 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 2456183 921869 2301 9 0 2446860 0
[pid=20806/tid=20808] ppid=20803 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/20806/task/20808/stat : 20808 (java) S 20803 20806 19474 0 -1 4202560 2443 0 1 0 46 3 0 0 20 0 22 0 28004498 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307433481080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20803 20806 19474 0 -1 4202560 796 0 0 0 289 18 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307394971944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20810] ppid=20803 vsize=9824732 CPUtime=2.78 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20803 20806 19474 0 -1 4202560 600 0 0 0 262 16 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307393919144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20811] ppid=20803 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20803 20806 19474 0 -1 4202560 698 0 0 0 278 20 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307392866856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20812] ppid=20803 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20803 20806 19474 0 -1 4202560 727 0 0 0 274 18 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307391814056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20813] ppid=20803 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20803 20806 19474 0 -1 4202560 501 0 0 0 242 14 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307390761768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20814] ppid=20803 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20803 20806 19474 0 -1 4202560 584 0 0 0 265 18 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307389708968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20815] ppid=20803 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20803 20806 19474 0 -1 4202560 954 0 0 0 268 17 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307270200360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20816] ppid=20803 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20803 20806 19474 0 -1 4202560 674 0 0 0 274 16 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307269147560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20817] ppid=20803 vsize=9824732 CPUtime=3.75 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20803 20806 19474 0 -1 4202560 2352 0 0 0 368 7 0 0 20 0 22 0 28004500 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307256948968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20818] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20803 20806 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307255895032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20819] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20803 20806 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307254842632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20820] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306515224976 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20821] ppid=20803 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20803 20806 19474 0 -1 4202560 9319 0 0 0 129 2 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306514172600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20822] ppid=20803 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20803 20806 19474 0 -1 4202560 9070 0 0 0 151 2 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306513119800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20823] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306512067704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20824] ppid=20803 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20803 20806 19474 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306511015112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20825] ppid=20803 vsize=9824732 CPUtime=882.66 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) R 20803 20806 19474 0 -1 4202560 36 0 0 0 88251 15 0 0 20 0 22 0 28004545 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306509957760 140307271050856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20826] ppid=20803 vsize=9824732 CPUtime=882.69 cores=0,2,4,6
/proc/20806/task/20826/stat : 20826 (java) R 20803 20806 19474 0 -1 4202560 1686 0 0 0 88222 47 0 0 20 0 22 0 28004545 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306508905616 140307270993820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20827] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20827/stat : 20827 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306507855016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20828] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20828/stat : 20828 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306506802216 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824732

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

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

[startup+895.508 s]
/proc/loadavg: 4.38 4.29 4.27 6/219 20939
/proc/meminfo: memFree=23046620/32872528 swapFree=1541156/1696500
[pid=20806] ppid=20803 vsize=9824732 CPUtime=1800.12 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20803 20806 19474 0 -1 4202496 31757 0 1 0 179815 197 0 0 20 0 22 0 28004497 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140737184790816 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20806/statm: 2456183 921869 2301 9 0 2446860 0
[pid=20806/tid=20808] ppid=20803 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/20806/task/20808/stat : 20808 (java) S 20803 20806 19474 0 -1 4202560 2443 0 1 0 46 3 0 0 20 0 22 0 28004498 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307433481080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20803 20806 19474 0 -1 4202560 796 0 0 0 289 18 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307394971944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20810] ppid=20803 vsize=9824732 CPUtime=2.78 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20803 20806 19474 0 -1 4202560 600 0 0 0 262 16 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307393919144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20811] ppid=20803 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20803 20806 19474 0 -1 4202560 698 0 0 0 278 20 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307392866856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20812] ppid=20803 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20803 20806 19474 0 -1 4202560 727 0 0 0 274 18 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307391814056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20813] ppid=20803 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20803 20806 19474 0 -1 4202560 501 0 0 0 242 14 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307390761768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20814] ppid=20803 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20803 20806 19474 0 -1 4202560 584 0 0 0 265 18 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307389708968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20815] ppid=20803 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20803 20806 19474 0 -1 4202560 954 0 0 0 268 17 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307270200360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20816] ppid=20803 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20803 20806 19474 0 -1 4202560 674 0 0 0 274 16 0 0 20 0 22 0 28004499 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307269147560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20817] ppid=20803 vsize=9824732 CPUtime=3.75 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20803 20806 19474 0 -1 4202560 2352 0 0 0 368 7 0 0 20 0 22 0 28004500 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307256948968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20818] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20803 20806 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307255895032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20806/tid=20819] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20803 20806 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28004501 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140307254842632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20820] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306515224976 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20821] ppid=20803 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20803 20806 19474 0 -1 4202560 9319 0 0 0 129 2 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306514172600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20822] ppid=20803 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20803 20806 19474 0 -1 4202560 9070 0 0 0 151 2 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306513119800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20823] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20803 20806 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306512067704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20806/tid=20824] ppid=20803 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20803 20806 19474 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 28004503 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306511015112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20825] ppid=20803 vsize=9824732 CPUtime=882.66 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) R 20803 20806 19474 0 -1 4202560 36 0 0 0 88251 15 0 0 20 0 22 0 28004545 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306509957760 140307271050856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20806/tid=20826] ppid=20803 vsize=9824732 CPUtime=882.69 cores=0,2,4,6
/proc/20806/task/20826/stat : 20826 (java) R 20803 20806 19474 0 -1 4202560 1686 0 0 0 88222 47 0 0 20 0 22 0 28004545 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306508905616 140307270993820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20827] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20827/stat : 20827 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306507855016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20806/tid=20828] ppid=20803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20828/stat : 20828 (java) S 20803 20806 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28004546 10060525568 921869 33554432000 1073741824 1073778376 140737184799680 140306506802216 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824732

Child status: 143

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

Real time (s): 895.573
CPU time (s): 1800.12
CPU user time (s): 1798.15
CPU system time (s): 1.97
CPU usage (%): 201.002
Max. virtual memory (cumulated for all children) (KiB): 9825092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 2.47162
maximum resident set size= 3687592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31790
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24295
involuntary context switches= 29767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.15522 second user time and 7.85181 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 16:00:58
IDJOB=4116598
IDBENCH=109490
IDSOLVER=2543
FILE ID=node125/4116598-1466949658
RUNJOBID= node125-1466943674-19490
PBS_JOBID= 19976354
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 67241af52a65c1be692e9f176668d11f
RANDOM SEED=1795445029

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27290428 kB
Buffers:            8912 kB
Cached:            38992 kB
SwapCached:         1748 kB
Active:          3130660 kB
Inactive:          25476 kB
Active(anon):    3110064 kB
Inactive(anon):      448 kB
Active(file):      20596 kB
Inactive(file):    25028 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098440 kB
Dirty:               964 kB
Writeback:             0 kB
AnonPages:       4828280 kB
Mapped:            15212 kB
Shmem:                 0 kB
Slab:             565436 kB
SReclaimable:       9000 kB
SUnreclaim:       556436 kB
KernelStack:        1632 kB
PageTables:        13796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5124972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3225600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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