Trace number 4109003

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.08 896.524

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-89.opb
MD5SUM5e35cfce24461785d6d1180987ae518e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.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@5d764be1
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@9f436f5
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@4413ee
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@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4109003-1466290026.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
3.28/2.03	c ... done. Wall clock time 1.916s.
3.28/2.03	c declared #vars     10086
3.28/2.03	c #constraints  226608
3.28/2.04	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
3.28/2.04	c constraints type 
3.28/2.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 155859
3.28/2.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 722
3.28/2.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 47809
3.28/2.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22218
3.28/2.04	c 226608 constraints processed.
3.28/2.04	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
3.28/2.04	c constraints type 
3.28/2.04	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 47809
3.28/2.04	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 155859
3.28/2.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 722
3.28/2.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 22218
3.28/2.04	c 226608 constraints processed.
9.33/4.46	c cleaning 0 clauses out of 5000 with flag 0/5000
10.19/4.86	c cleaning 2479 clauses out of 5000 with flag 99386/5000
13.24/6.40	c cleaning 4244 clauses out of 8520 with flag 189970/11000
13.85/6.63	c cleaning 0 clauses out of 11000 with flag 0/11000
17.81/8.53	c cleaning 5631 clauses out of 11275 with flag 308554/18002
22.30/10.76	c cleaning 6806 clauses out of 13640 with flag 425110/26000
25.91/12.53	c cleaning 0 clauses out of 18000 with flag 0/18000
27.32/13.21	c cleaning 7828 clauses out of 15832 with flag 540394/35000
32.97/16.02	c cleaning 8956 clauses out of 18004 with flag 694529/45000
39.20/19.12	c cleaning 9998 clauses out of 20048 with flag 872649/56000
45.01/22.01	c cleaning 11011 clauses out of 22051 with flag 1031093/68001
51.27/25.11	c cleaning 11941 clauses out of 24039 with flag 1203194/81000
58.48/28.75	c cleaning 12986 clauses out of 26098 with flag 1423107/95000
65.30/32.10	c cleaning 14002 clauses out of 28112 with flag 1595581/110000
71.51/35.24	c cleaning 14954 clauses out of 30110 with flag 1776545/126000
75.33/37.16	c cleaning 0 clauses out of 26000 with flag 0/26000
77.93/38.50	c cleaning 16038 clauses out of 32156 with flag 1938033/143000
84.75/41.85	c cleaning 16989 clauses out of 34118 with flag 2124235/161000
92.19/45.58	c cleaning 18050 clauses out of 36132 with flag 2323322/180003
101.03/49.94	c cleaning 19040 clauses out of 38079 with flag 2524819/200000
109.83/54.31	c cleaning 19901 clauses out of 40039 with flag 2725045/221000
119.35/59.04	c cleaning 21045 clauses out of 42138 with flag 2903337/243000
128.39/63.50	c cleaning 22013 clauses out of 44095 with flag 3113854/266002
136.22/67.45	c cleaning 23027 clauses out of 46079 with flag 3294142/290001
144.26/71.50	c cleaning 23983 clauses out of 48052 with flag 3525869/315001
144.86/71.74	c cleaning 0 clauses out of 35000 with flag 0/35000
153.52/76.06	c cleaning 25015 clauses out of 50068 with flag 3749207/341000
164.36/81.47	c cleaning 25969 clauses out of 52053 with flag 3977993/368000
174.18/86.31	c cleaning 26995 clauses out of 54086 with flag 4225390/396002
184.60/91.51	c cleaning 27999 clauses out of 56089 with flag 4493045/425000
195.02/96.74	c cleaning 29005 clauses out of 58090 with flag 4766039/455000
209.07/103.79	c cleaning 30008 clauses out of 60086 with flag 5024554/486001
228.32/113.39	c cleaning 31016 clauses out of 62079 with flag 5312302/518002
246.77/122.52	c cleaning 31959 clauses out of 64062 with flag 5607701/551001
262.62/130.43	c cleaning 32998 clauses out of 66102 with flag 5908166/585000
281.50/139.83	c cleaning 33924 clauses out of 68104 with flag 6312132/620000
299.58/148.88	c cleaning 35011 clauses out of 70180 with flag 6684059/656000
305.20/151.65	c cleaning 0 clauses out of 45000 with flag 0/45000
319.89/158.90	c cleaning 36085 clauses out of 72170 with flag 6957465/693001
336.40/167.18	c cleaning 36997 clauses out of 74084 with flag 7230425/731000
354.93/176.37	c cleaning 37907 clauses out of 76087 with flag 7531394/770000
378.08/187.80	c cleaning 39050 clauses out of 78182 with flag 7955317/810002
401.05/199.29	c cleaning 40019 clauses out of 80131 with flag 8319470/851001
423.56/210.47	c cleaning 40992 clauses out of 82111 with flag 8681181/893000
447.32/222.26	c cleaning 41956 clauses out of 84119 with flag 9054497/936000
470.23/233.69	c cleaning 43059 clauses out of 86164 with flag 9419076/980001
496.75/246.87	c cleaning 44012 clauses out of 88105 with flag 9833589/1025001
520.04/258.50	c cleaning 45012 clauses out of 90092 with flag 10264600/1071000
544.14/270.42	c cleaning 46011 clauses out of 92082 with flag 10670938/1118002
567.26/282.00	c cleaning 46996 clauses out of 94069 with flag 11115537/1166000
596.39/296.49	c cleaning 48033 clauses out of 96073 with flag 11573940/1215000
630.22/313.20	c cleaning 48994 clauses out of 98040 with flag 11999211/1265000
655.09/325.81	c cleaning 0 clauses out of 56001 with flag 0/56001
658.13/327.33	c cleaning 49985 clauses out of 100046 with flag 12433997/1316000
694.80/345.61	c cleaning 50993 clauses out of 102061 with flag 12817601/1368000
725.79/361.03	c cleaning 52017 clauses out of 104069 with flag 13245696/1421001
759.76/377.91	c cleaning 53010 clauses out of 106051 with flag 13680985/1475000
790.33/393.19	c cleaning 53965 clauses out of 108043 with flag 14140394/1530002
824.53/410.10	c cleaning 54967 clauses out of 110076 with flag 14622463/1586000
862.32/428.97	c cleaning 56027 clauses out of 112110 with flag 15123862/1643001
896.28/445.81	c cleaning 56971 clauses out of 114082 with flag 15660433/1701000
930.78/463.29	c cleaning 58022 clauses out of 116112 with flag 16218049/1760001
970.32/482.93	c cleaning 58941 clauses out of 118089 with flag 16790964/1820000
1014.90/505.13	c cleaning 60067 clauses out of 120149 with flag 17475633/1881001
1051.82/523.59	c cleaning 61008 clauses out of 122081 with flag 17979612/1943000
1098.66/546.89	c cleaning 62034 clauses out of 124073 with flag 18516790/2006000
1131.60/563.22	c cleaning 0 clauses out of 68002 with flag 0/68002
1143.43/569.10	c cleaning 63001 clauses out of 126039 with flag 19011246/2070000
1188.07/591.39	c cleaning 63962 clauses out of 128039 with flag 19673646/2135001
1227.90/611.11	c cleaning 64973 clauses out of 130076 with flag 20263271/2201000
1269.25/631.78	c cleaning 65978 clauses out of 132103 with flag 20887450/2268000
1313.08/653.57	c cleaning 67015 clauses out of 134127 with flag 21592899/2336002
1359.29/676.84	c cleaning 67952 clauses out of 136111 with flag 22227468/2405001
1404.64/699.47	c cleaning 69029 clauses out of 138158 with flag 22904559/2475000
1451.48/722.76	c cleaning 70039 clauses out of 140129 with flag 23491467/2546000
1493.30/743.50	c cleaning 70958 clauses out of 142091 with flag 24135483/2618001
1541.38/767.50	c cleaning 72016 clauses out of 144133 with flag 24804395/2691001
1593.22/793.25	c cleaning 73009 clauses out of 146116 with flag 25485177/2765000
1646.47/819.72	c cleaning 74026 clauses out of 148108 with flag 26129279/2840001
1674.46/833.66	c cleaning 0 clauses out of 81000 with flag 0/81000
1700.81/846.71	c cleaning 74962 clauses out of 150081 with flag 26945852/2916000
1757.30/874.86	c cleaning 76039 clauses out of 152120 with flag 27666848/2993001
1800.08/896.46	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/896.46	c starts		: 10007
1800.08/896.46	c conflicts		: 3057873
1800.08/896.46	c decisions		: 20464031
1800.08/896.46	c propagations		: 559124650
1800.08/896.46	c inspects		: 9628277327
1800.08/896.46	c shortcuts		: 0
1800.08/896.46	c learnt literals	: 10
1800.08/896.46	c learnt binary clauses	: 1680
1800.08/896.46	c learnt ternary clauses	: 4924
1800.08/896.46	c learnt constraints	: 3057863
1800.08/896.46	c ignored constraints	: 0
1800.08/896.46	c root simplifications	: 0
1800.08/896.46	c removed literals (reason simplification)	: 35932009
1800.08/896.46	c reason swapping (by a shorter reason)	: 0
1800.08/896.46	c Calls to reduceDB	: 73
1800.08/896.46	c Number of update (reduction) of LBD	: 1859648
1800.08/896.46	c Imported unit clauses	: 0
1800.08/896.46	c number of reductions to clauses (during analyze)	: 0
1800.08/896.46	c number of learned constraints concerned by reduction	: 0
1800.08/896.46	c number of learning phase by resolution	: 0
1800.08/896.46	c number of learning phase by cutting planes	: 0
1800.08/896.46	c speed (assignments/second)	: 625135.8724515181
1800.08/896.46	c non guided choices	395264
1800.08/896.50	c learnt constraints type 
1800.08/896.50	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1680
1800.08/896.50	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 139273
1800.08/896.50	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/896.50	c starts		: 88
1800.08/896.50	c conflicts		: 82979
1800.08/896.50	c decisions		: 622528
1800.08/896.50	c propagations		: 27054963
1800.08/896.50	c inspects		: 1876899145
1800.08/896.50	c shortcuts		: 0
1800.08/896.50	c learnt literals	: 0
1800.08/896.50	c learnt binary clauses	: 39
1800.08/896.50	c learnt ternary clauses	: 469
1800.08/896.50	c learnt constraints	: 82978
1800.08/896.50	c ignored constraints	: 0
1800.08/896.50	c root simplifications	: 0
1800.08/896.50	c removed literals (reason simplification)	: 0
1800.08/896.50	c reason swapping (by a shorter reason)	: 0
1800.08/896.50	c Calls to reduceDB	: 9
1800.08/896.50	c Number of update (reduction) of LBD	: 0
1800.08/896.50	c Imported unit clauses	: 0
1800.08/896.50	c number of reductions to clauses (during analyze)	: 0
1800.08/896.50	c number of learned constraints concerned by reduction	: 0
1800.08/896.50	c number of learning phase by resolution	: 0
1800.08/896.50	c number of learning phase by cutting planes	: 0
1800.08/896.50	c speed (assignments/second)	: 30247.59684722455
1800.08/896.50	c non guided choices	6427
1800.08/896.51	c learnt constraints type 
1800.08/896.51	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 64946
1800.08/896.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.08/896.51	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 39
1800.08/896.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 17992
1800.08/896.51	s UNKNOWN
1800.08/896.51	c Total wall clock time (in seconds): 896.393

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-4109003-1466290026/watcher-4109003-1466290026 -o /tmp/evaluation-result-4109003-1466290026/solver-4109003-1466290026 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466288965-18876 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109003-1466290026.opb 

pid=19155
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: 4.32 4.18 3.55 4/197 19158
/proc/meminfo: memFree=27160456/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/19158/stat : 19158 (java) R 19155 19158 17709 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31050900 23793664 249 33554432000 1073741824 1073778376 140733479323952 140733479313016 226075130433 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 5809 263 206 9 0 128 0

[startup+0.10014 s]
/proc/loadavg: 4.32 4.18 3.55 4/197 19158
/proc/meminfo: memFree=27160456/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19158/stat : 19158 (java) S 19155 19158 17709 0 -1 4202496 4423 0 1 0 8 1 0 0 20 0 18 0 31050900 9787879424 6053 33554432000 1073741824 1073778376 140733479323952 140733479315088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 2389619 6053 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200271 s]
/proc/loadavg: 4.32 4.18 3.55 4/197 19158
/proc/meminfo: memFree=27160456/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/19158/stat : 19158 (java) S 19155 19158 17709 0 -1 4202496 4683 0 1 0 22 1 0 0 20 0 18 0 31050900 9787879424 7798 33554432000 1073741824 1073778376 140733479323952 140733479315088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 2389619 7798 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300293 s]
/proc/loadavg: 4.32 4.18 3.55 4/197 19158
/proc/meminfo: memFree=27160456/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/19158/stat : 19158 (java) S 19155 19158 17709 0 -1 4202496 5623 0 1 0 46 1 0 0 20 0 18 0 31050900 9787879424 9363 33554432000 1073741824 1073778376 140733479323952 140733479315088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 2389619 9363 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700259 s]
/proc/loadavg: 4.32 4.18 3.55 4/197 19158
/proc/meminfo: memFree=27160456/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=9558476 CPUtime=1.39 cores=1,3,5,7
/proc/19158/stat : 19158 (java) S 19155 19158 17709 0 -1 4202496 12801 0 1 0 133 6 0 0 20 0 18 0 31050900 9787879424 45113 33554432000 1073741824 1073778376 140733479323952 140733479315088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 2389619 45113 2264 9 0 2380296 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9558476

[startup+1.50082 s]
/proc/loadavg: 4.32 4.18 3.55 4/215 19176
/proc/meminfo: memFree=26993656/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=9558476 CPUtime=2.6 cores=1,3,5,7
/proc/19158/stat : 19158 (java) S 19155 19158 17709 0 -1 4202496 14212 0 1 0 246 14 0 0 20 0 18 0 31050900 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140733479315088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 2389619 87805 2264 9 0 2380296 0
[pid=19158/tid=19160] ppid=19155 vsize=9558476 CPUtime=1.36 cores=1,3,5,7
/proc/19158/task/19160/stat : 19160 (java) R 19155 19158 17709 0 -1 4202560 2531 0 1 0 131 5 0 0 20 0 18 0 31050901 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140431235235208 226087724301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19158/tid=19161] ppid=19155 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/19158/task/19161/stat : 19161 (java) S 19155 19158 17709 0 -1 4202560 32 0 0 0 5 2 0 0 20 0 18 0 31050902 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140431207688488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19162] ppid=19155 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/19158/task/19162/stat : 19162 (java) S 19155 19158 17709 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 31050902 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140431206635688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19163] ppid=19155 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/19158/task/19163/stat : 19163 (java) S 19155 19158 17709 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 31050902 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140431205583400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19164] ppid=19155 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/19158/task/19164/stat : 19164 (java) S 19155 19158 17709 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 31050902 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140431075092904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19165] ppid=19155 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/19158/task/19165/stat : 19165 (java) S 19155 19158 17709 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 31050902 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140431074040616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19166] ppid=19155 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/19158/task/19166/stat : 19166 (java) S 19155 19158 17709 0 -1 4202560 17 0 0 0 3 1 0 0 20 0 18 0 31050902 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140431072987816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19167] ppid=19155 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/19158/task/19167/stat : 19167 (java) S 19155 19158 17709 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 18 0 31050902 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140431071935528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19168] ppid=19155 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/19158/task/19168/stat : 19168 (java) S 19155 19158 17709 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 18 0 31050902 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140431070882728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19169] ppid=19155 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19169/stat : 19169 (java) S 19155 19158 17709 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 31050903 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140430588369128 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19170] ppid=19155 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19170/stat : 19170 (java) S 19155 19158 17709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 31050904 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140430587315192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19171] ppid=19155 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19171/stat : 19171 (java) S 19155 19158 17709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 31050904 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140430586262792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19172] ppid=19155 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19172/stat : 19172 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31050906 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140430585211280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19173] ppid=19155 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/19158/task/19173/stat : 19173 (java) S 19155 19158 17709 0 -1 4202560 4831 0 0 0 43 0 0 0 20 0 18 0 31050906 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140430584158904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19174] ppid=19155 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/19158/task/19174/stat : 19174 (java) S 19155 19158 17709 0 -1 4202560 5265 0 0 0 40 0 0 0 20 0 18 0 31050906 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140430583106104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19175] ppid=19155 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19175/stat : 19175 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31050906 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140430582054008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19176] ppid=19155 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19176/stat : 19176 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31050906 9787879424 87805 33554432000 1073741824 1073778376 140733479323952 140430581001416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 9558476

[startup+3.10095 s]
/proc/loadavg: 4.32 4.18 3.55 7/219 19180
/proc/meminfo: memFree=26801208/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=9824732 CPUtime=6.46 cores=1,3,5,7
/proc/19158/stat : 19158 (java) S 19155 19158 17709 0 -1 4202496 19853 0 1 0 623 23 0 0 20 0 22 0 31050900 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140733479315088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 2456183 146431 2284 9 0 2446860 0
[pid=19158/tid=19160] ppid=19155 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/19158/task/19160/stat : 19160 (java) S 19155 19158 17709 0 -1 4202560 2544 0 1 0 180 5 0 0 20 0 22 0 31050901 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140431235236728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19158/tid=19161] ppid=19155 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/19158/task/19161/stat : 19161 (java) S 19155 19158 17709 0 -1 4202560 61 0 0 0 9 3 0 0 20 0 22 0 31050902 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140431207688488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19162] ppid=19155 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19158/task/19162/stat : 19162 (java) S 19155 19158 17709 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 22 0 31050902 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140431206635688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19163] ppid=19155 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19158/task/19163/stat : 19163 (java) S 19155 19158 17709 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 31050902 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140431205583400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19164] ppid=19155 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19158/task/19164/stat : 19164 (java) S 19155 19158 17709 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 31050902 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140431075092904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19165] ppid=19155 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19158/task/19165/stat : 19165 (java) S 19155 19158 17709 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 31050902 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140431074040616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19166] ppid=19155 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19158/task/19166/stat : 19166 (java) S 19155 19158 17709 0 -1 4202560 34 0 0 0 5 1 0 0 20 0 22 0 31050902 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140431072987816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19167] ppid=19155 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19158/task/19167/stat : 19167 (java) S 19155 19158 17709 0 -1 4202560 37 0 0 0 5 0 0 0 20 0 22 0 31050902 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140431071935528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19168] ppid=19155 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19158/task/19168/stat : 19168 (java) S 19155 19158 17709 0 -1 4202560 37 0 0 0 5 2 0 0 20 0 22 0 31050902 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140431070882728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19169] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19169/stat : 19169 (java) S 19155 19158 17709 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 31050903 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430588369128 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19170] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19170/stat : 19170 (java) S 19155 19158 17709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 31050904 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430587315192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19171] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19171/stat : 19171 (java) S 19155 19158 17709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 31050904 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430586262792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19172] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19172/stat : 19172 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31050906 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430585211280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19173] ppid=19155 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/19158/task/19173/stat : 19173 (java) S 19155 19158 17709 0 -1 4202560 8249 0 0 0 87 2 0 0 20 0 22 0 31050906 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430584158904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19174] ppid=19155 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/19158/task/19174/stat : 19174 (java) S 19155 19158 17709 0 -1 4202560 7191 0 0 0 99 2 0 0 20 0 22 0 31050906 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430583106104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19175] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19175/stat : 19175 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31050906 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430582054008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19176] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19176/stat : 19176 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31050906 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430581001416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19177] ppid=19155 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/19158/task/19177/stat : 19177 (java) R 19155 19158 17709 0 -1 4202560 16 0 0 0 103 0 0 0 20 0 22 0 31051105 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430579945736 140431086985238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19178] ppid=19155 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/19158/task/19178/stat : 19178 (java) R 19155 19158 17709 0 -1 4202560 120 0 0 0 100 4 0 0 20 0 22 0 31051105 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430578892664 140431086575838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19158/tid=19179] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19179/stat : 19179 (java) S 19155 19158 17709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31051106 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430577841320 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19180] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19180/stat : 19180 (java) S 19155 19158 17709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 31051106 10060525568 146431 33554432000 1073741824 1073778376 140733479323952 140430576788520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.29 4.18 3.55 5/219 19180
/proc/meminfo: memFree=26521848/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=9824732 CPUtime=13.24 cores=1,3,5,7
/proc/19158/stat : 19158 (java) S 19155 19158 17709 0 -1 4202496 20925 0 1 0 1289 35 0 0 20 0 22 0 31050900 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140733479315088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 2456183 229455 2288 9 0 2446860 0
[pid=19158/tid=19160] ppid=19155 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/19158/task/19160/stat : 19160 (java) S 19155 19158 17709 0 -1 4202560 2544 0 1 0 180 5 0 0 20 0 22 0 31050901 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140431235236728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19158/tid=19161] ppid=19155 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/19158/task/19161/stat : 19161 (java) S 19155 19158 17709 0 -1 4202560 76 0 0 0 11 4 0 0 20 0 22 0 31050902 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140431207688488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19162] ppid=19155 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19158/task/19162/stat : 19162 (java) S 19155 19158 17709 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 22 0 31050902 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140431206635688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19163] ppid=19155 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19158/task/19163/stat : 19163 (java) S 19155 19158 17709 0 -1 4202560 38 0 0 0 6 1 0 0 20 0 22 0 31050902 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140431205583400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19164] ppid=19155 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/19158/task/19164/stat : 19164 (java) S 19155 19158 17709 0 -1 4202560 54 0 0 0 8 3 0 0 20 0 22 0 31050902 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140431075092904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19165] ppid=19155 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19158/task/19165/stat : 19165 (java) S 19155 19158 17709 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 22 0 31050902 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140431074040616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19158/tid=19166] ppid=19155 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/19158/task/19166/stat : 19166 (java) S 19155 19158 17709 0 -1 4202560 52 0 0 0 7 2 0 0 20 0 22 0 31050902 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140431072987816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19167] ppid=19155 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/19158/task/19167/stat : 19167 (java) S 19155 19158 17709 0 -1 4202560 59 0 0 0 9 2 0 0 20 0 22 0 31050902 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140431071935528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19158/tid=19168] ppid=19155 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/19158/task/19168/stat : 19168 (java) S 19155 19158 17709 0 -1 4202560 97 0 0 0 8 3 0 0 20 0 22 0 31050902 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140431070882728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19169] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19169/stat : 19169 (java) S 19155 19158 17709 0 -1 4202560 475 0 0 0 0 0 0 0 20 0 22 0 31050903 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140430588369128 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19170] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19170/stat : 19170 (java) S 19155 19158 17709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 31050904 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140430587315192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19171] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19171/stat : 19171 (java) S 19155 19158 17709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 31050904 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140430586262792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19172] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19172/stat : 19172 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31050906 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140430585211280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19173] ppid=19155 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/19158/task/19173/stat : 19173 (java) S 19155 19158 17709 0 -1 4202560 8251 0 0 0 102 2 0 0 20 0 22 0 31050906 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140430584158904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19174] ppid=19155 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/19158/task/19174/stat : 19174 (java) S 19155 19158 17709 0 -1 4202560 7195 0 0 0 108 2 0 0 20 0 22 0 31050906 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140430583106104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19175] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19175/stat : 19175 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31050906 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140430582054008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19176] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19176/stat : 19176 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31050906 10060525568 229455 33554432000 1073741824 1073778376 140733479323952 140430581001416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19177] ppid=19155 vsize=9824732 CPUtime=4.11 cores=1,3,5,7

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

/proc/19158/task/19164/stat : 19164 (java) S 19155 19158 17709 0 -1 4202560 394 0 0 0 286 9 0 0 20 0 22 0 31050902 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140431075092904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19165] ppid=19155 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/19158/task/19165/stat : 19165 (java) S 19155 19158 17709 0 -1 4202560 643 0 0 0 269 7 0 0 20 0 22 0 31050902 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140431074040616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19166] ppid=19155 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/19158/task/19166/stat : 19166 (java) S 19155 19158 17709 0 -1 4202560 442 0 0 0 280 10 0 0 20 0 22 0 31050902 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140431072987816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19167] ppid=19155 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/19158/task/19167/stat : 19167 (java) S 19155 19158 17709 0 -1 4202560 474 0 0 0 275 9 0 0 20 0 22 0 31050902 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140431071935528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19168] ppid=19155 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/19158/task/19168/stat : 19168 (java) S 19155 19158 17709 0 -1 4202560 499 0 0 0 262 8 0 0 20 0 22 0 31050902 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140431070882728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19169] ppid=19155 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/19158/task/19169/stat : 19169 (java) R 19155 19158 17709 0 -1 4202560 6990 0 0 0 224 36 0 0 20 0 22 0 31050903 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430588367848 140431242092456 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19158/tid=19170] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19170/stat : 19170 (java) S 19155 19158 17709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 31050904 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430587315192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19171] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19171/stat : 19171 (java) S 19155 19158 17709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 31050904 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430586262792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19172] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19172/stat : 19172 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31050906 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430585211280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19173] ppid=19155 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/19158/task/19173/stat : 19173 (java) S 19155 19158 17709 0 -1 4202560 8257 0 0 0 118 2 0 0 20 0 22 0 31050906 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430584158904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19174] ppid=19155 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/19158/task/19174/stat : 19174 (java) S 19155 19158 17709 0 -1 4202560 7796 0 0 0 126 2 0 0 20 0 22 0 31050906 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430583106104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19175] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19175/stat : 19175 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31050906 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430582054008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19176] ppid=19155 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/19158/task/19176/stat : 19176 (java) S 19155 19158 17709 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 22 0 31050906 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430581001416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19177] ppid=19155 vsize=9824732 CPUtime=882.58 cores=1,3,5,7
/proc/19158/task/19177/stat : 19177 (java) S 19155 19158 17709 0 -1 4202560 108 0 0 0 88243 15 0 0 20 0 22 0 31051105 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430579944488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19158/tid=19178] ppid=19155 vsize=9824732 CPUtime=882.66 cores=1,3,5,7
/proc/19158/task/19178/stat : 19178 (java) S 19155 19158 17709 0 -1 4202560 1873 0 0 0 88216 50 0 0 20 0 22 0 31051105 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430578893064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19179] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19179/stat : 19179 (java) S 19155 19158 17709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31051106 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430577841320 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19180] ppid=19155 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19180/stat : 19180 (java) S 19155 19158 17709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 31051106 10060525568 519412 33554432000 1073741824 1073778376 140733479323952 140430576788520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732

[startup+896.505 s]
/proc/loadavg: 4.23 4.20 3.93 6/218 19330
/proc/meminfo: memFree=26680172/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=9957860 CPUtime=1798.14 cores=1,3,5,7
/proc/19158/stat : 19158 (java) S 19155 19158 17709 0 -1 4202496 32815 0 1 0 179623 191 0 0 20 0 21 0 31050900 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140733479315088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 2489465 518215 2301 9 0 2480142 0
[pid=19158/tid=19160] ppid=19155 vsize=9957860 CPUtime=1.89 cores=1,3,5,7
/proc/19158/task/19160/stat : 19160 (java) S 19155 19158 17709 0 -1 4202560 2554 0 1 0 182 7 0 0 20 0 21 0 31050901 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431235236728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19161] ppid=19155 vsize=9957860 CPUtime=3.13 cores=1,3,5,7
/proc/19158/task/19161/stat : 19161 (java) S 19155 19158 17709 0 -1 4202560 456 0 0 0 301 12 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431207688488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19162] ppid=19155 vsize=9957860 CPUtime=2.88 cores=1,3,5,7
/proc/19158/task/19162/stat : 19162 (java) S 19155 19158 17709 0 -1 4202560 461 0 0 0 281 7 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431206635688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19163] ppid=19155 vsize=9957860 CPUtime=3.08 cores=1,3,5,7
/proc/19158/task/19163/stat : 19163 (java) S 19155 19158 17709 0 -1 4202560 503 0 0 0 299 9 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431205583400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19164] ppid=19155 vsize=9957860 CPUtime=2.95 cores=1,3,5,7
/proc/19158/task/19164/stat : 19164 (java) S 19155 19158 17709 0 -1 4202560 394 0 0 0 286 9 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431075092904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19165] ppid=19155 vsize=9957860 CPUtime=2.76 cores=1,3,5,7
/proc/19158/task/19165/stat : 19165 (java) S 19155 19158 17709 0 -1 4202560 643 0 0 0 269 7 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431074040616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19166] ppid=19155 vsize=9957860 CPUtime=2.9 cores=1,3,5,7
/proc/19158/task/19166/stat : 19166 (java) S 19155 19158 17709 0 -1 4202560 442 0 0 0 280 10 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431072987816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19167] ppid=19155 vsize=9957860 CPUtime=2.84 cores=1,3,5,7
/proc/19158/task/19167/stat : 19167 (java) S 19155 19158 17709 0 -1 4202560 474 0 0 0 275 9 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431071935528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19168] ppid=19155 vsize=9957860 CPUtime=2.7 cores=1,3,5,7
/proc/19158/task/19168/stat : 19168 (java) S 19155 19158 17709 0 -1 4202560 499 0 0 0 262 8 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431070882728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19169] ppid=19155 vsize=9957860 CPUtime=2.66 cores=1,3,5,7
/proc/19158/task/19169/stat : 19169 (java) S 19155 19158 17709 0 -1 4202560 7000 0 0 0 230 36 0 0 20 0 21 0 31050903 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430588369128 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19170] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19170/stat : 19170 (java) S 19155 19158 17709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 31050904 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430587315192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19171] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19171/stat : 19171 (java) S 19155 19158 17709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 31050904 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430586262792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19172] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19172/stat : 19172 (java) S 19155 19158 17709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430585211280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19173] ppid=19155 vsize=9957860 CPUtime=1.2 cores=1,3,5,7
/proc/19158/task/19173/stat : 19173 (java) S 19155 19158 17709 0 -1 4202560 8257 0 0 0 118 2 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430584158904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19174] ppid=19155 vsize=9957860 CPUtime=1.31 cores=1,3,5,7
/proc/19158/task/19174/stat : 19174 (java) S 19155 19158 17709 0 -1 4202560 7797 0 0 0 129 2 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430583106104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19175] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19175/stat : 19175 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430582054008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19176] ppid=19155 vsize=9957860 CPUtime=0.36 cores=1,3,5,7
/proc/19158/task/19176/stat : 19176 (java) S 19155 19158 17709 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430581001416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19178] ppid=19155 vsize=9957860 CPUtime=882.71 cores=1,3,5,7
/proc/19158/task/19178/stat : 19178 (java) R 19155 19158 17709 0 -1 4202560 1873 0 0 0 88221 50 0 0 20 0 21 0 31051105 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430578893144 140431087118029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19329] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19329/stat : 19329 (java) S 19155 19158 17709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 31140546 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430575735528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19330] ppid=19155 vsize=9957860 CPUtime=0.03 cores=1,3,5,7
/proc/19158/task/19330/stat : 19330 (java) R 19155 19158 17709 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 21 0 31140547 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430574682576 226087713848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (KiB) 9957860
#
############


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

[startup+896.505 s]
/proc/loadavg: 4.23 4.20 3.93 6/218 19330
/proc/meminfo: memFree=26680172/32872528 swapFree=1590032/1720848
[pid=19158] ppid=19155 vsize=9957860 CPUtime=1798.14 cores=1,3,5,7
/proc/19158/stat : 19158 (java) S 19155 19158 17709 0 -1 4202496 32815 0 1 0 179623 191 0 0 20 0 21 0 31050900 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140733479315088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19158/statm: 2489465 518215 2301 9 0 2480142 0
[pid=19158/tid=19160] ppid=19155 vsize=9957860 CPUtime=1.89 cores=1,3,5,7
/proc/19158/task/19160/stat : 19160 (java) S 19155 19158 17709 0 -1 4202560 2554 0 1 0 182 7 0 0 20 0 21 0 31050901 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431235236728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19161] ppid=19155 vsize=9957860 CPUtime=3.13 cores=1,3,5,7
/proc/19158/task/19161/stat : 19161 (java) S 19155 19158 17709 0 -1 4202560 456 0 0 0 301 12 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431207688488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19162] ppid=19155 vsize=9957860 CPUtime=2.88 cores=1,3,5,7
/proc/19158/task/19162/stat : 19162 (java) S 19155 19158 17709 0 -1 4202560 461 0 0 0 281 7 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431206635688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19163] ppid=19155 vsize=9957860 CPUtime=3.08 cores=1,3,5,7
/proc/19158/task/19163/stat : 19163 (java) S 19155 19158 17709 0 -1 4202560 503 0 0 0 299 9 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431205583400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19164] ppid=19155 vsize=9957860 CPUtime=2.95 cores=1,3,5,7
/proc/19158/task/19164/stat : 19164 (java) S 19155 19158 17709 0 -1 4202560 394 0 0 0 286 9 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431075092904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19165] ppid=19155 vsize=9957860 CPUtime=2.76 cores=1,3,5,7
/proc/19158/task/19165/stat : 19165 (java) S 19155 19158 17709 0 -1 4202560 643 0 0 0 269 7 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431074040616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19166] ppid=19155 vsize=9957860 CPUtime=2.9 cores=1,3,5,7
/proc/19158/task/19166/stat : 19166 (java) S 19155 19158 17709 0 -1 4202560 442 0 0 0 280 10 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431072987816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19167] ppid=19155 vsize=9957860 CPUtime=2.84 cores=1,3,5,7
/proc/19158/task/19167/stat : 19167 (java) S 19155 19158 17709 0 -1 4202560 474 0 0 0 275 9 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431071935528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19168] ppid=19155 vsize=9957860 CPUtime=2.7 cores=1,3,5,7
/proc/19158/task/19168/stat : 19168 (java) S 19155 19158 17709 0 -1 4202560 499 0 0 0 262 8 0 0 20 0 21 0 31050902 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140431070882728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19169] ppid=19155 vsize=9957860 CPUtime=2.66 cores=1,3,5,7
/proc/19158/task/19169/stat : 19169 (java) S 19155 19158 17709 0 -1 4202560 7000 0 0 0 230 36 0 0 20 0 21 0 31050903 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430588369128 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19170] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19170/stat : 19170 (java) S 19155 19158 17709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 31050904 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430587315192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19171] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19171/stat : 19171 (java) S 19155 19158 17709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 31050904 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430586262792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19172] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19172/stat : 19172 (java) S 19155 19158 17709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430585211280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19173] ppid=19155 vsize=9957860 CPUtime=1.2 cores=1,3,5,7
/proc/19158/task/19173/stat : 19173 (java) S 19155 19158 17709 0 -1 4202560 8257 0 0 0 118 2 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430584158904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19174] ppid=19155 vsize=9957860 CPUtime=1.31 cores=1,3,5,7
/proc/19158/task/19174/stat : 19174 (java) S 19155 19158 17709 0 -1 4202560 7797 0 0 0 129 2 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430583106104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19175] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19175/stat : 19175 (java) S 19155 19158 17709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430582054008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19158/tid=19176] ppid=19155 vsize=9957860 CPUtime=0.36 cores=1,3,5,7
/proc/19158/task/19176/stat : 19176 (java) S 19155 19158 17709 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 21 0 31050906 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430581001416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19178] ppid=19155 vsize=9957860 CPUtime=882.71 cores=1,3,5,7
/proc/19158/task/19178/stat : 19178 (java) R 19155 19158 17709 0 -1 4202560 1873 0 0 0 88221 50 0 0 20 0 21 0 31051105 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430578893144 140431087118029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19158/tid=19329] ppid=19155 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/19158/task/19329/stat : 19329 (java) S 19155 19158 17709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 31140546 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430575735528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19158/tid=19330] ppid=19155 vsize=9957860 CPUtime=0.03 cores=1,3,5,7
/proc/19158/task/19330/stat : 19330 (java) R 19155 19158 17709 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 21 0 31140547 10196848640 518215 33554432000 1073741824 1073778376 140733479323952 140430574682576 226087713848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (KiB) 9957860

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19158 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=70259
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=231660
# CPU time returned by wait4() is 1796.3
# while last known CPU time is 1798.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.94006
#  lost CPU user time (s): 2.08008
#  lost CPU system time (s): -0.14

Real time (s): 896.524
CPU time (s): 1800.08
CPU user time (s): 1798.31
CPU system time (s): 1.77
CPU usage (%): 200.784
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 2.23166
maximum resident set size= 2837772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32816
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31918
involuntary context switches= 48526

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60115 second user time and 9.01063 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-19 00:47:06
IDJOB=4109003
IDBENCH=89814
IDSOLVER=2543
FILE ID=node120/4109003-1466290026
RUNJOBID= node120-1466288965-18876
PBS_JOBID= 19918258
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-89.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109003-1466290026/watcher-4109003-1466290026 -o /tmp/evaluation-result-4109003-1466290026/solver-4109003-1466290026 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466288965-18876 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4109003-1466290026.opb

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

MD5SUM BENCH= 5e35cfce24461785d6d1180987ae518e
RANDOM SEED=255038691

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.935
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:        27160984 kB
Buffers:          150832 kB
Cached:           324656 kB
SwapCached:         2256 kB
Active:          2864308 kB
Inactive:         357508 kB
Active(anon):    2745932 kB
Inactive(anon):     2960 kB
Active(file):     118376 kB
Inactive(file):   354548 kB
Unevictable:     1720848 kB
Mlocked:         1590032 kB
SwapTotal:      67108856 kB
SwapFree:       67099616 kB
Dirty:             10152 kB
Writeback:             0 kB
AnonPages:       4474668 kB
Mapped:            16428 kB
Shmem:                 0 kB
Slab:             619520 kB
SReclaimable:      63276 kB
SUnreclaim:       556244 kB
KernelStack:        1600 kB
PageTables:        13112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4831428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2842624 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= 71712 MiB
End job on node120 at 2016-06-19 01:02:03