Trace number 4116030

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 895.364

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round22-8.opb
MD5SUMdd6e01899eb6d13d944da43efb759260
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 benchmark206.872
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8656
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4116030-1466946255.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  no objective function found
0.98/0.52	c ... done. Wall clock time 0.387s.
0.98/0.52	c declared #vars     4128
0.98/0.52	c #constraints  9888
0.98/0.52	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.98/0.52	c constraints type 
0.98/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.98/0.52	c org.sat4j.specs.Constr$1 => 856
0.98/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.98/0.52	c org.sat4j.minisat.constraints.cnf.UnitClause => 456
0.98/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.98/0.52	c 9888 constraints processed.
0.98/0.52	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.98/0.52	c constraints type 
0.98/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.98/0.52	c org.sat4j.specs.Constr$1 => 856
0.98/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
0.98/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
0.98/0.52	c org.sat4j.pb.constraints.pb.UnitClausePB => 456
0.98/0.52	c 9888 constraints processed.
4.90/1.58	c cleaning 2492 clauses out of 4998 with flag 15748/5000
7.26/2.27	c cleaning 4228 clauses out of 8506 with flag 36688/11000
9.18/3.11	c cleaning 5627 clauses out of 11278 with flag 62272/18000
11.01/4.02	c cleaning 6816 clauses out of 13651 with flag 94084/26000
13.28/5.14	c cleaning 7894 clauses out of 15836 with flag 132420/35001
15.77/6.35	c cleaning 8959 clauses out of 17941 with flag 177014/45000
18.36/7.67	c cleaning 9973 clauses out of 19983 with flag 227709/56001
21.56/9.26	c cleaning 10989 clauses out of 22009 with flag 286213/68000
25.28/11.02	c cleaning 11994 clauses out of 24020 with flag 350279/81000
29.36/13.02	c cleaning 12997 clauses out of 26026 with flag 419899/95000
33.56/15.17	c cleaning 13991 clauses out of 28030 with flag 496898/110001
38.58/17.67	c cleaning 14958 clauses out of 30039 with flag 580573/126001
44.11/20.31	c cleaning 15985 clauses out of 32080 with flag 673341/143000
46.52/21.51	c cleaning 0 clauses out of 5002 with flag 0/5002
49.56/23.08	c cleaning 17030 clauses out of 34095 with flag 772575/161000
56.37/26.23	c cleaning 18019 clauses out of 36065 with flag 880031/180000
62.77/29.46	c cleaning 19011 clauses out of 38046 with flag 991521/200000
69.57/32.87	c cleaning 19999 clauses out of 40037 with flag 1109073/221002
77.33/36.62	c cleaning 21008 clauses out of 42036 with flag 1236560/243000
85.12/40.56	c cleaning 21975 clauses out of 44029 with flag 1367995/266001
93.62/44.74	c cleaning 22981 clauses out of 46053 with flag 1505673/290000
102.41/49.12	c cleaning 23978 clauses out of 48072 with flag 1649874/315000
112.12/53.99	c cleaning 25004 clauses out of 50094 with flag 1805213/341000
122.40/59.08	c cleaning 26023 clauses out of 52091 with flag 1962167/368001
133.00/64.32	c cleaning 27010 clauses out of 54068 with flag 2127385/396001
143.69/69.65	c cleaning 27982 clauses out of 56057 with flag 2299043/425000
154.49/75.01	c cleaning 28991 clauses out of 58075 with flag 2477807/455000
166.77/81.15	c cleaning 30028 clauses out of 60084 with flag 2663622/486000
179.86/87.62	c cleaning 31028 clauses out of 62056 with flag 2854637/518000
193.74/94.58	c cleaning 32000 clauses out of 64028 with flag 3054313/551000
208.39/101.82	c cleaning 33004 clauses out of 66028 with flag 3262377/585000
222.44/108.88	c cleaning 33991 clauses out of 68024 with flag 3477717/620000
238.34/117.12	c cleaning 35011 clauses out of 70033 with flag 3700025/656000
254.57/125.22	c cleaning 35957 clauses out of 72025 with flag 3929813/693003
271.23/133.51	c cleaning 37020 clauses out of 74065 with flag 4163046/731000
289.13/142.43	c cleaning 37995 clauses out of 76047 with flag 4405223/770002
307.03/151.32	c cleaning 39006 clauses out of 78050 with flag 4655269/810000
325.94/160.79	c cleaning 39992 clauses out of 80044 with flag 4910676/851000
337.07/166.27	c cleaning 0 clauses out of 11000 with flag 0/11000
346.65/171.03	c cleaning 41005 clauses out of 82054 with flag 5169976/893002
366.78/181.08	c cleaning 41984 clauses out of 84047 with flag 5439246/936000
389.92/192.58	c cleaning 43009 clauses out of 86064 with flag 5716057/980001
412.77/203.86	c cleaning 44014 clauses out of 88055 with flag 5994971/1025001
436.13/215.42	c cleaning 45004 clauses out of 90041 with flag 6282051/1071001
459.87/227.27	c cleaning 46004 clauses out of 92036 with flag 6577340/1118000
484.91/239.64	c cleaning 47004 clauses out of 94033 with flag 6877854/1166001
511.67/253.51	c cleaning 47974 clauses out of 96028 with flag 7188187/1215000
537.52/266.46	c cleaning 49012 clauses out of 98056 with flag 7500286/1265002
565.06/280.11	c cleaning 49997 clauses out of 100042 with flag 7823080/1316000
592.16/293.66	c cleaning 51023 clauses out of 102046 with flag 8153696/1368001
622.10/308.44	c cleaning 51981 clauses out of 104022 with flag 8493298/1421000
652.82/323.64	c cleaning 52989 clauses out of 106041 with flag 8835685/1475000
684.39/339.34	c cleaning 54015 clauses out of 108052 with flag 9185977/1530000
717.17/355.69	c cleaning 55006 clauses out of 110037 with flag 9544069/1586000
751.71/372.88	c cleaning 55986 clauses out of 112033 with flag 9909490/1643002
786.52/390.10	c cleaning 56997 clauses out of 114045 with flag 10280106/1701000
823.50/408.57	c cleaning 57977 clauses out of 116048 with flag 10652791/1760000
861.26/427.29	c cleaning 59019 clauses out of 118072 with flag 11038750/1820001
899.41/446.12	c cleaning 59996 clauses out of 120053 with flag 11426616/1881001
939.88/466.27	c cleaning 60996 clauses out of 122056 with flag 11822220/1943000
980.93/486.64	c cleaning 62010 clauses out of 124060 with flag 12224806/2006000
1023.79/507.85	c cleaning 63010 clauses out of 126051 with flag 12633455/2070001
1066.25/528.96	c cleaning 63984 clauses out of 128040 with flag 13048175/2135000
1111.11/551.25	c cleaning 65014 clauses out of 130057 with flag 13469816/2201001
1159.52/575.30	c cleaning 66000 clauses out of 132042 with flag 13896477/2268000
1190.29/590.53	c cleaning 0 clauses out of 18000 with flag 0/18000
1209.63/600.15	c cleaning 66993 clauses out of 134045 with flag 14330932/2336003
1258.53/624.36	c cleaning 67982 clauses out of 136049 with flag 14767809/2405000
1305.14/647.55	c cleaning 69024 clauses out of 138070 with flag 15214745/2475003
1349.29/670.50	c cleaning 70023 clauses out of 140045 with flag 15668710/2546002
1394.06/692.64	c cleaning 70974 clauses out of 142020 with flag 16126165/2618000
1438.26/714.77	c cleaning 71991 clauses out of 144048 with flag 16589757/2691002
1483.01/737.06	c cleaning 73007 clauses out of 146055 with flag 17063485/2765000
1530.96/760.94	c cleaning 74005 clauses out of 148049 with flag 17539916/2840001
1579.54/785.22	c cleaning 75004 clauses out of 150045 with flag 18027720/2916002
1629.52/810.22	c cleaning 75989 clauses out of 152039 with flag 18517487/2993000
1680.32/835.68	c cleaning 76976 clauses out of 154051 with flag 19017813/3071001
1732.88/861.87	c cleaning 78002 clauses out of 156075 with flag 19519178/3150001
1785.67/888.23	c cleaning 79012 clauses out of 158072 with flag 20031376/3230000
1800.08/895.30	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/895.30	c starts		: 28671
1800.08/895.30	c conflicts		: 3257263
1800.08/895.30	c decisions		: 35672017
1800.08/895.30	c propagations		: 464408779
1800.08/895.30	c inspects		: 9523947540
1800.08/895.30	c shortcuts		: 0
1800.08/895.30	c learnt literals	: 2
1800.08/895.30	c learnt binary clauses	: 34
1800.08/895.30	c learnt ternary clauses	: 532
1800.08/895.30	c learnt constraints	: 3257261
1800.08/895.30	c ignored constraints	: 0
1800.08/895.30	c root simplifications	: 0
1800.08/895.30	c removed literals (reason simplification)	: 1898385
1800.08/895.30	c reason swapping (by a shorter reason)	: 0
1800.08/895.30	c Calls to reduceDB	: 76
1800.08/895.30	c Number of update (reduction) of LBD	: 666598
1800.08/895.30	c Imported unit clauses	: 0
1800.08/895.30	c number of reductions to clauses (during analyze)	: 0
1800.08/895.30	c number of learned constraints concerned by reduction	: 0
1800.08/895.30	c number of learning phase by resolution	: 0
1800.08/895.30	c number of learning phase by cutting planes	: 0
1800.08/895.30	c speed (assignments/second)	: 519024.1312601073
1800.08/895.30	c non guided choices	8128
1800.08/895.33	c learnt constraints type 
1800.08/895.33	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 34
1800.08/895.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106289
1800.08/895.33	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/895.33	c starts		: 44
1800.08/895.33	c conflicts		: 18662
1800.08/895.33	c decisions		: 73107
1800.08/895.33	c propagations		: 2290862
1800.08/895.33	c inspects		: 633493669
1800.08/895.33	c shortcuts		: 0
1800.08/895.33	c learnt literals	: 0
1800.08/895.33	c learnt binary clauses	: 0
1800.08/895.33	c learnt ternary clauses	: 0
1800.08/895.33	c learnt constraints	: 18661
1800.08/895.33	c ignored constraints	: 0
1800.08/895.33	c root simplifications	: 0
1800.08/895.33	c removed literals (reason simplification)	: 0
1800.08/895.33	c reason swapping (by a shorter reason)	: 0
1800.08/895.33	c Calls to reduceDB	: 3
1800.08/895.33	c Number of update (reduction) of LBD	: 0
1800.08/895.33	c Imported unit clauses	: 0
1800.08/895.33	c number of reductions to clauses (during analyze)	: 0
1800.08/895.33	c number of learned constraints concerned by reduction	: 0
1800.08/895.33	c number of learning phase by resolution	: 0
1800.08/895.33	c number of learning phase by cutting planes	: 0
1800.08/895.33	c speed (assignments/second)	: 2560.2030404661614
1800.08/895.33	c non guided choices	346
1800.08/895.33	c learnt constraints type 
1800.08/895.33	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7
1800.08/895.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18654
1800.08/895.33	s UNKNOWN
1800.08/895.33	c Total wall clock time (in seconds): 895.206

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-4116030-1466946255/watcher-4116030-1466946255 -o /tmp/evaluation-result-4116030-1466946255/solver-4116030-1466946255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466939767-20069 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116030-1466946255.opb 

pid=21419
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: 3.98 4.12 4.09 4/197 21422
/proc/meminfo: memFree=28180836/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/21422/stat : 21422 (java) R 21419 21422 20053 0 -1 4202496 262 0 0 0 0 0 0 0 20 0 1 0 27665036 9379840 122 33554432000 1073741824 1073778376 140733755681168 140733755678296 213869695456 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2290 125 97 9 0 38 0

[startup+0.100116 s]
/proc/loadavg: 3.98 4.12 4.09 4/197 21422
/proc/meminfo: memFree=28180836/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 20053 0 -1 4202496 4360 0 1 0 7 1 0 0 20 0 18 0 27665036 9787879424 5475 33554432000 1073741824 1073778376 140736693917184 140736693908320 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2389619 5475 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200318 s]
/proc/loadavg: 3.98 4.12 4.09 4/197 21422
/proc/meminfo: memFree=28180836/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 20053 0 -1 4202496 4663 0 1 0 21 1 0 0 20 0 18 0 27665036 9787879424 6780 33554432000 1073741824 1073778376 140736693917184 140736693908320 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2389619 6780 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300274 s]
/proc/loadavg: 3.98 4.12 4.09 4/197 21422
/proc/meminfo: memFree=28180836/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 20053 0 -1 4202496 5752 0 1 0 45 2 0 0 20 0 18 0 27665036 9787879424 8385 33554432000 1073741824 1073778376 140736693917184 140736693908320 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2389619 8385 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700181 s]
/proc/loadavg: 3.98 4.12 4.09 4/197 21422
/proc/meminfo: memFree=28180836/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 20053 0 -1 4202496 14963 0 1 0 170 4 0 0 20 0 22 0 27665036 10060525568 24343 33554432000 1073741824 1073778376 140736693917184 140736693908320 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2456183 24343 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 3.98 4.12 4.09 7/219 21444
/proc/meminfo: memFree=28042896/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9824732 CPUtime=4.9 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 20053 0 -1 4202496 25202 0 1 0 483 7 0 0 20 0 22 0 27665036 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 140736693908320 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2456183 46835 2288 9 0 2446860 0
[pid=21422/tid=21424] ppid=21419 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/21422/task/21424/stat : 21424 (java) S 21419 21422 20053 0 -1 4202560 2441 0 1 0 46 2 0 0 20 0 22 0 27665037 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139981096338296 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21425] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21425/stat : 21425 (java) S 21419 21422 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27665038 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139981057829160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21426] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21426/stat : 21426 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665038 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139981056776360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21427] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21427/stat : 21427 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665038 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139981055724072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21428] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21428/stat : 21428 (java) S 21419 21422 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27665038 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139981054671272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21429] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21429/stat : 21429 (java) S 21419 21422 20053 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27665038 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139981053618984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21430] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21430/stat : 21430 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665038 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139981052566184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21431] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21431/stat : 21431 (java) S 21419 21422 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27665038 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139981051513896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21432] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21432/stat : 21432 (java) S 21419 21422 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27665038 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139981050461096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21433] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21433/stat : 21433 (java) S 21419 21422 20053 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980919793896 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21434] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21434/stat : 21434 (java) S 21419 21422 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980918739960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21435] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21435/stat : 21435 (java) S 21419 21422 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980917687560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21436] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21436/stat : 21436 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980916636048 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21437] ppid=21419 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/21422/task/21437/stat : 21437 (java) R 21419 21422 20053 0 -1 4202560 10948 0 0 0 124 1 0 0 20 0 22 0 27665043 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980915561784 139981102522199 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21438] ppid=21419 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/21422/task/21438/stat : 21438 (java) R 21419 21422 20053 0 -1 4202560 10346 0 0 0 116 2 0 0 20 0 22 0 27665043 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980914530400 139981104054963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21439] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21439/stat : 21439 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980913478776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21440] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21440/stat : 21440 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980912426184 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21441] ppid=21419 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/21422/task/21441/stat : 21441 (java) R 21419 21422 20053 0 -1 4202560 19 0 0 0 94 0 0 0 20 0 22 0 27665088 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980911370592 139980920533320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21442] ppid=21419 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/21422/task/21442/stat : 21442 (java) R 21419 21422 20053 0 -1 4202560 74 0 0 0 91 2 0 0 20 0 22 0 27665088 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980910301536 139980920565898 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21443] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21443/stat : 21443 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980909266088 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21444] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21444/stat : 21444 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 46835 33554432000 1073741824 1073778376 140736693917184 139980908213288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 9824732

[startup+3.10089 s]
/proc/loadavg: 3.98 4.12 4.09 5/219 21444
/proc/meminfo: memFree=27922932/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9824732 CPUtime=9.18 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 20053 0 -1 4202496 32790 0 1 0 902 16 0 0 20 0 22 0 27665036 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 140736693908320 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2456183 91557 2292 9 0 2446860 0
[pid=21422/tid=21424] ppid=21419 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/21422/task/21424/stat : 21424 (java) S 21419 21422 20053 0 -1 4202560 2441 0 1 0 46 2 0 0 20 0 22 0 27665037 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139981096338296 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21425] ppid=21419 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/21422/task/21425/stat : 21425 (java) R 21419 21422 20053 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 27665038 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139981057829336 139981103236687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21426] ppid=21419 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21422/task/21426/stat : 21426 (java) R 21419 21422 20053 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 22 0 27665038 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139981056776536 213866286215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21427] ppid=21419 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21422/task/21427/stat : 21427 (java) R 21419 21422 20053 0 -1 4202560 22 0 0 0 3 2 0 0 20 0 22 0 27665038 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139981055724072 213866286215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21428] ppid=21419 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21422/task/21428/stat : 21428 (java) R 21419 21422 20053 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 27665038 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139981054671272 213866286215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21429] ppid=21419 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21422/task/21429/stat : 21429 (java) R 21419 21422 20053 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 27665038 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139981053619112 213866286215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21430] ppid=21419 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21422/task/21430/stat : 21430 (java) R 21419 21422 20053 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 27665038 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139981052566312 213866286215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21431] ppid=21419 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21422/task/21431/stat : 21431 (java) R 21419 21422 20053 0 -1 4202560 18 0 0 0 1 1 0 0 20 0 22 0 27665038 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139981051514072 139981100513455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21432] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21432/stat : 21432 (java) R 21419 21422 20053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27665038 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139981050461224 213866286215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21433] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21433/stat : 21433 (java) S 21419 21422 20053 0 -1 4202560 200 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980919792776 213869704252 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21434] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21434/stat : 21434 (java) S 21419 21422 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980918739960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21435] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21435/stat : 21435 (java) S 21419 21422 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980917687560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21436] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21436/stat : 21436 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980916636048 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21437] ppid=21419 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/21422/task/21437/stat : 21437 (java) S 21419 21422 20053 0 -1 4202560 15930 0 0 0 177 2 0 0 20 0 22 0 27665043 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980915583672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21438] ppid=21419 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/21422/task/21438/stat : 21438 (java) S 21419 21422 20053 0 -1 4202560 12667 0 0 0 160 2 0 0 20 0 22 0 27665043 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980914530872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21439] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21439/stat : 21439 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980913478776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21440] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21440/stat : 21440 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980912426184 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21441] ppid=21419 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/21422/task/21441/stat : 21441 (java) S 21419 21422 20053 0 -1 4202560 19 0 0 0 246 0 0 0 20 0 22 0 27665088 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980911368040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21442] ppid=21419 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/21422/task/21442/stat : 21442 (java) S 21419 21422 20053 0 -1 4202560 136 0 0 0 239 4 0 0 20 0 22 0 27665088 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980910316488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21443] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21443/stat : 21443 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980909266088 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21444] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21444/stat : 21444 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 91557 33554432000 1073741824 1073778376 140736693917184 139980908213288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 3.98 4.12 4.09 5/219 21444
/proc/meminfo: memFree=27561300/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9824732 CPUtime=15.77 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 20053 0 -1 4202496 33301 0 1 0 1548 29 0 0 20 0 22 0 27665036 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 140736693908320 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2456183 163233 2292 9 0 2446860 0
[pid=21422/tid=21424] ppid=21419 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/21422/task/21424/stat : 21424 (java) S 21419 21422 20053 0 -1 4202560 2441 0 1 0 47 2 0 0 20 0 22 0 27665037 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139981096338296 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21425] ppid=21419 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/21422/task/21425/stat : 21425 (java) S 21419 21422 20053 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 22 0 27665038 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139981057829160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21426] ppid=21419 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/21422/task/21426/stat : 21426 (java) S 21419 21422 20053 0 -1 4202560 52 0 0 0 9 4 0 0 20 0 22 0 27665038 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139981056776360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21427] ppid=21419 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21427/stat : 21427 (java) S 21419 21422 20053 0 -1 4202560 32 0 0 0 6 2 0 0 20 0 22 0 27665038 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139981055724072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21428] ppid=21419 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21422/task/21428/stat : 21428 (java) S 21419 21422 20053 0 -1 4202560 22 0 0 0 4 1 0 0 20 0 22 0 27665038 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139981054671272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21429] ppid=21419 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/21422/task/21429/stat : 21429 (java) S 21419 21422 20053 0 -1 4202560 37 0 0 0 5 2 0 0 20 0 22 0 27665038 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139981053618984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21430] ppid=21419 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21422/task/21430/stat : 21430 (java) S 21419 21422 20053 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 22 0 27665038 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139981052566184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21431] ppid=21419 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/21422/task/21431/stat : 21431 (java) S 21419 21422 20053 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 27665038 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139981051513896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21432] ppid=21419 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/21422/task/21432/stat : 21432 (java) S 21419 21422 20053 0 -1 4202560 35 0 0 0 7 2 0 0 20 0 22 0 27665038 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139981050461096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21433] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21433/stat : 21433 (java) S 21419 21422 20053 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139980919793896 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21434] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21434/stat : 21434 (java) S 21419 21422 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139980918739960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21435] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21435/stat : 21435 (java) S 21419 21422 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139980917687560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21436] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21436/stat : 21436 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 163233 33554432000 1073741824 1073778376 140736693917184 139980916636048 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21437] ppid=21419 vsize=9824732 CPUtime=1.81 cores=0,2,4,6

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

/proc/21422/task/21427/stat : 21427 (java) S 21419 21422 20053 0 -1 4202560 814 0 0 0 250 17 0 0 20 0 22 0 27665038 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139981055724072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21428] ppid=21419 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/21422/task/21428/stat : 21428 (java) S 21419 21422 20053 0 -1 4202560 720 0 0 0 215 13 0 0 20 0 22 0 27665038 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139981054671272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21429] ppid=21419 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/21422/task/21429/stat : 21429 (java) S 21419 21422 20053 0 -1 4202560 661 0 0 0 250 16 0 0 20 0 22 0 27665038 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139981053618984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21430] ppid=21419 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/21422/task/21430/stat : 21430 (java) S 21419 21422 20053 0 -1 4202560 741 0 0 0 251 17 0 0 20 0 22 0 27665038 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139981052566184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21431] ppid=21419 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/21422/task/21431/stat : 21431 (java) S 21419 21422 20053 0 -1 4202560 700 0 0 0 269 15 0 0 20 0 22 0 27665038 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139981051513896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21432] ppid=21419 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/21422/task/21432/stat : 21432 (java) S 21419 21422 20053 0 -1 4202560 1766 0 0 0 261 15 0 0 20 0 22 0 27665038 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139981050461096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21433] ppid=21419 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/21422/task/21433/stat : 21433 (java) S 21419 21422 20053 0 -1 4202560 2552 0 0 0 376 4 0 0 20 0 22 0 27665040 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980919793896 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21434] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21434/stat : 21434 (java) S 21419 21422 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980918739960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21435] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21435/stat : 21435 (java) S 21419 21422 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980917687560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21436] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21436/stat : 21436 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980916636048 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21437] ppid=21419 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/21422/task/21437/stat : 21437 (java) S 21419 21422 20053 0 -1 4202560 15940 0 0 0 187 3 0 0 20 0 22 0 27665043 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980915583672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21438] ppid=21419 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/21422/task/21438/stat : 21438 (java) S 21419 21422 20053 0 -1 4202560 14608 0 0 0 192 2 0 0 20 0 22 0 27665043 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980914530872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21439] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21439/stat : 21439 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980913478776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21440] ppid=21419 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/21422/task/21440/stat : 21440 (java) S 21419 21422 20053 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 27665043 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980912426184 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21441] ppid=21419 vsize=9824732 CPUtime=869.91 cores=0,2,4,6
/proc/21422/task/21441/stat : 21441 (java) R 21419 21422 20053 0 -1 4202560 40 0 0 0 86977 14 0 0 20 0 22 0 27665088 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980911361904 139980920557536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21442] ppid=21419 vsize=9824732 CPUtime=869.9 cores=0,2,4,6
/proc/21422/task/21442/stat : 21442 (java) R 21419 21422 20053 0 -1 4202560 1548 0 0 0 86941 49 0 0 20 0 22 0 27665088 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980910315600 139980920873311 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21443] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21443/stat : 21443 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980909266088 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21444] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21444/stat : 21444 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 909393 33554432000 1073741824 1073778376 140736693917184 139980908213288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1773.89
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.301 s]
/proc/loadavg: 4.28 4.11 4.09 5/219 21872
/proc/meminfo: memFree=24705736/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 20053 0 -1 4202496 46385 0 1 0 179817 191 0 0 20 0 22 0 27665036 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 140736693908320 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2456183 923729 2301 9 0 2446860 0
[pid=21422/tid=21424] ppid=21419 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/21422/task/21424/stat : 21424 (java) S 21419 21422 20053 0 -1 4202560 2446 0 1 0 50 2 0 0 20 0 22 0 27665037 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981096338296 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21425] ppid=21419 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/21422/task/21425/stat : 21425 (java) S 21419 21422 20053 0 -1 4202560 1493 0 0 0 253 16 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981057829160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21426] ppid=21419 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/21422/task/21426/stat : 21426 (java) S 21419 21422 20053 0 -1 4202560 948 0 0 0 253 18 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981056776360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21427] ppid=21419 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/21422/task/21427/stat : 21427 (java) S 21419 21422 20053 0 -1 4202560 832 0 0 0 255 18 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981055724072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21428] ppid=21419 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/21422/task/21428/stat : 21428 (java) S 21419 21422 20053 0 -1 4202560 730 0 0 0 218 13 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981054671272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21429] ppid=21419 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/21422/task/21429/stat : 21429 (java) S 21419 21422 20053 0 -1 4202560 670 0 0 0 256 16 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981053618984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21430] ppid=21419 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/21422/task/21430/stat : 21430 (java) S 21419 21422 20053 0 -1 4202560 754 0 0 0 257 17 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981052566184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21431] ppid=21419 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/21422/task/21431/stat : 21431 (java) S 21419 21422 20053 0 -1 4202560 727 0 0 0 280 16 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981051513896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21432] ppid=21419 vsize=9824732 CPUtime=2.81 cores=0,2,4,6
/proc/21422/task/21432/stat : 21432 (java) S 21419 21422 20053 0 -1 4202560 1780 0 0 0 265 16 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981050461096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21433] ppid=21419 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/21422/task/21433/stat : 21433 (java) S 21419 21422 20053 0 -1 4202560 2554 0 0 0 376 4 0 0 20 0 22 0 27665040 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980919793896 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21434] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21434/stat : 21434 (java) S 21419 21422 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980918739960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21435] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21435/stat : 21435 (java) S 21419 21422 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980917687560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21436] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21436/stat : 21436 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980916636048 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21437] ppid=21419 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/21422/task/21437/stat : 21437 (java) S 21419 21422 20053 0 -1 4202560 15940 0 0 0 187 3 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980915583672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21438] ppid=21419 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/21422/task/21438/stat : 21438 (java) S 21419 21422 20053 0 -1 4202560 14608 0 0 0 192 2 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980914530872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21439] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21439/stat : 21439 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980913478776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21440] ppid=21419 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/21422/task/21440/stat : 21440 (java) S 21419 21422 20053 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980912426184 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21441] ppid=21419 vsize=9824732 CPUtime=882.75 cores=0,2,4,6
/proc/21422/task/21441/stat : 21441 (java) R 21419 21422 20053 0 -1 4202560 40 0 0 0 88261 14 0 0 20 0 22 0 27665088 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980911368832 139980920533320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21442] ppid=21419 vsize=9824732 CPUtime=882.73 cores=0,2,4,6
/proc/21422/task/21442/stat : 21442 (java) R 21419 21422 20053 0 -1 4202560 1548 0 0 0 88224 49 0 0 20 0 22 0 27665088 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980910316336 139980921067647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21443] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21443/stat : 21443 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980909266088 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21444] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21444/stat : 21444 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980908213288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 21422 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+895.301 s]
/proc/loadavg: 4.28 4.11 4.09 5/219 21872
/proc/meminfo: memFree=24705736/32872528 swapFree=681168/738400
[pid=21422] ppid=21419 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 20053 0 -1 4202496 46385 0 1 0 179817 191 0 0 20 0 22 0 27665036 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 140736693908320 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21422/statm: 2456183 923729 2301 9 0 2446860 0
[pid=21422/tid=21424] ppid=21419 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/21422/task/21424/stat : 21424 (java) S 21419 21422 20053 0 -1 4202560 2446 0 1 0 50 2 0 0 20 0 22 0 27665037 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981096338296 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21425] ppid=21419 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/21422/task/21425/stat : 21425 (java) S 21419 21422 20053 0 -1 4202560 1493 0 0 0 253 16 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981057829160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21426] ppid=21419 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/21422/task/21426/stat : 21426 (java) S 21419 21422 20053 0 -1 4202560 948 0 0 0 253 18 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981056776360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21427] ppid=21419 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/21422/task/21427/stat : 21427 (java) S 21419 21422 20053 0 -1 4202560 832 0 0 0 255 18 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981055724072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21428] ppid=21419 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/21422/task/21428/stat : 21428 (java) S 21419 21422 20053 0 -1 4202560 730 0 0 0 218 13 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981054671272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21429] ppid=21419 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/21422/task/21429/stat : 21429 (java) S 21419 21422 20053 0 -1 4202560 670 0 0 0 256 16 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981053618984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21430] ppid=21419 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/21422/task/21430/stat : 21430 (java) S 21419 21422 20053 0 -1 4202560 754 0 0 0 257 17 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981052566184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21431] ppid=21419 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/21422/task/21431/stat : 21431 (java) S 21419 21422 20053 0 -1 4202560 727 0 0 0 280 16 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981051513896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21432] ppid=21419 vsize=9824732 CPUtime=2.81 cores=0,2,4,6
/proc/21422/task/21432/stat : 21432 (java) S 21419 21422 20053 0 -1 4202560 1780 0 0 0 265 16 0 0 20 0 22 0 27665038 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139981050461096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21422/tid=21433] ppid=21419 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/21422/task/21433/stat : 21433 (java) S 21419 21422 20053 0 -1 4202560 2554 0 0 0 376 4 0 0 20 0 22 0 27665040 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980919793896 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21434] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21434/stat : 21434 (java) S 21419 21422 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980918739960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21435] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21435/stat : 21435 (java) S 21419 21422 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27665040 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980917687560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21436] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21436/stat : 21436 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980916636048 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21437] ppid=21419 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/21422/task/21437/stat : 21437 (java) S 21419 21422 20053 0 -1 4202560 15940 0 0 0 187 3 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980915583672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21438] ppid=21419 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/21422/task/21438/stat : 21438 (java) S 21419 21422 20053 0 -1 4202560 14608 0 0 0 192 2 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980914530872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21439] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21439/stat : 21439 (java) S 21419 21422 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980913478776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21440] ppid=21419 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/21422/task/21440/stat : 21440 (java) S 21419 21422 20053 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 27665043 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980912426184 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21422/tid=21441] ppid=21419 vsize=9824732 CPUtime=882.75 cores=0,2,4,6
/proc/21422/task/21441/stat : 21441 (java) R 21419 21422 20053 0 -1 4202560 40 0 0 0 88261 14 0 0 20 0 22 0 27665088 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980911368832 139980920533320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21422/tid=21442] ppid=21419 vsize=9824732 CPUtime=882.73 cores=0,2,4,6
/proc/21422/task/21442/stat : 21442 (java) R 21419 21422 20053 0 -1 4202560 1548 0 0 0 88224 49 0 0 20 0 22 0 27665088 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980910316336 139980921067647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21443] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21443/stat : 21443 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980909266088 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21422/tid=21444] ppid=21419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21422/task/21444/stat : 21444 (java) S 21419 21422 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27665089 10060525568 923729 33554432000 1073741824 1073778376 140736693917184 139980908213288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732

Child status: 143

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

Real time (s): 895.364
CPU time (s): 1800.08
CPU user time (s): 1798.17
CPU system time (s): 1.91
CPU usage (%): 201.045
Max. virtual memory (cumulated for all children) (KiB): 9825940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.65
system time used= 2.39164
maximum resident set size= 3695032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46419
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23628
involuntary context switches= 23802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27005 second user time and 8.37373 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-26 15:04:15
IDJOB=4116030
IDBENCH=109419
IDSOLVER=2543
FILE ID=node112/4116030-1466946255
RUNJOBID= node112-1466939767-20069
PBS_JOBID= 19976335
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-8.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116030-1466946255/watcher-4116030-1466946255 -o /tmp/evaluation-result-4116030-1466946255/solver-4116030-1466946255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466939767-20069 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116030-1466946255.opb

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

MD5SUM BENCH= dd6e01899eb6d13d944da43efb759260
RANDOM SEED=1648457377

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.959
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.959
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:        28181744 kB
Buffers:           11156 kB
Cached:           147564 kB
SwapCached:         1704 kB
Active:          3106988 kB
Inactive:         137232 kB
Active(anon):    3085196 kB
Inactive(anon):     2540 kB
Active(file):      21792 kB
Inactive(file):   134692 kB
Unevictable:      738400 kB
Mlocked:          681168 kB
SwapTotal:      67108856 kB
SwapFree:       67098664 kB
Dirty:              1224 kB
Writeback:             0 kB
AnonPages:       3866372 kB
Mapped:            15448 kB
Shmem:                 0 kB
Slab:             565312 kB
SReclaimable:       9072 kB
SUnreclaim:       556240 kB
KernelStack:        1808 kB
PageTables:        11624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4166432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3133440 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= 71688 MiB
End job on node112 at 2016-06-26 15:19:11