Trace number 4089247

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 898.754

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
vertexcover-instances/normalized-vertexcover-grid10x19.opb
MD5SUMfea8ab69bb66b0a7ab99730b154e55e4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.011997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables190
Total number of constraints381
Number of constraints which are clauses380
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint190
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 95
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 285
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.10	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4089247-1466013102.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  no objective function found
0.11/0.16	c ... done. Wall clock time 0.055s.
0.11/0.16	c declared #vars     190
0.11/0.16	c #constraints  381
0.11/0.16	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 380
0.11/0.16	c 381 constraints processed.
0.11/0.16	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 380
0.11/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.11/0.16	c 381 constraints processed.
1.89/0.68	c cleaning 2501 clauses out of 5001 with flag 10730/5001
3.09/0.95	c cleaning 4246 clauses out of 8499 with flag 23482/11000
4.26/1.27	c cleaning 5627 clauses out of 11253 with flag 38447/18000
5.12/1.63	c cleaning 6815 clauses out of 13630 with flag 55543/26004
5.99/2.06	c cleaning 7904 clauses out of 15812 with flag 74758/35001
7.04/2.58	c cleaning 8954 clauses out of 17908 with flag 96154/45001
8.28/3.18	c cleaning 9977 clauses out of 19954 with flag 119707/56001
9.68/3.85	c cleaning 10984 clauses out of 21976 with flag 145383/68000
11.32/4.62	c cleaning 11996 clauses out of 23992 with flag 173202/81000
12.97/5.48	c cleaning 12995 clauses out of 25996 with flag 202980/95000
14.77/6.38	c cleaning 14002 clauses out of 28003 with flag 235076/110002
16.77/7.36	c cleaning 14997 clauses out of 29999 with flag 269174/126000
19.17/8.51	c cleaning 16000 clauses out of 32002 with flag 305437/143000
21.98/9.84	c cleaning 16998 clauses out of 34002 with flag 343872/161000
25.04/11.39	c cleaning 18001 clauses out of 36005 with flag 384121/180001
28.24/12.97	c cleaning 19001 clauses out of 38005 with flag 426763/200002
31.64/14.66	c cleaning 19999 clauses out of 40002 with flag 471610/221000
35.24/16.40	c cleaning 21002 clauses out of 42005 with flag 518392/243002
38.88/18.21	c cleaning 21997 clauses out of 44003 with flag 567383/266002
42.48/20.10	c cleaning 23002 clauses out of 46006 with flag 618659/290002
46.50/22.09	c cleaning 24002 clauses out of 48003 with flag 672097/315001
50.69/24.14	c cleaning 24999 clauses out of 50000 with flag 727673/341000
55.30/26.45	c cleaning 25999 clauses out of 52003 with flag 785285/368002
60.09/28.82	c cleaning 27000 clauses out of 54002 with flag 845093/396000
64.89/31.25	c cleaning 28000 clauses out of 56002 with flag 907178/425000
70.29/33.98	c cleaning 29001 clauses out of 58002 with flag 971144/455000
75.69/36.63	c cleaning 30000 clauses out of 60002 with flag 1037432/486001
82.37/39.97	c cleaning 30996 clauses out of 62001 with flag 1105531/518000
88.97/43.23	c cleaning 32000 clauses out of 64005 with flag 1175723/551000
96.36/46.95	c cleaning 33001 clauses out of 66007 with flag 1247875/585002
103.78/50.63	c cleaning 34001 clauses out of 68006 with flag 1322406/620002
110.96/54.26	c cleaning 35000 clauses out of 70003 with flag 1399186/656000
118.77/58.18	c cleaning 36000 clauses out of 72003 with flag 1478023/693000
126.96/62.24	c cleaning 37003 clauses out of 74006 with flag 1558582/731003
135.16/66.36	c cleaning 38000 clauses out of 76001 with flag 1641832/770001
143.58/70.53	c cleaning 38999 clauses out of 78000 with flag 1727134/810000
152.96/75.24	c cleaning 39996 clauses out of 80001 with flag 1814574/851000
161.95/79.78	c cleaning 40999 clauses out of 82007 with flag 1904239/893002
171.96/84.71	c cleaning 41999 clauses out of 84007 with flag 1995837/936001
182.15/89.86	c cleaning 42996 clauses out of 86008 with flag 2089703/980001
192.15/94.87	c cleaning 44000 clauses out of 88012 with flag 2185668/1025001
203.15/100.38	c cleaning 45003 clauses out of 90012 with flag 2284100/1071001
214.89/106.12	c cleaning 46002 clauses out of 92009 with flag 2383476/1118001
226.30/111.86	c cleaning 47000 clauses out of 94006 with flag 2485148/1166000
238.50/117.93	c cleaning 48002 clauses out of 96006 with flag 2589783/1215000
251.12/124.27	c cleaning 49003 clauses out of 98006 with flag 2695949/1265002
264.11/130.76	c cleaning 50001 clauses out of 100005 with flag 2804391/1316004
278.31/137.84	c cleaning 51000 clauses out of 102000 with flag 2915406/1368000
292.71/145.10	c cleaning 51998 clauses out of 104001 with flag 3028403/1421001
308.10/152.76	c cleaning 53002 clauses out of 106003 with flag 3143454/1475001
324.90/161.19	c cleaning 53995 clauses out of 108001 with flag 3260587/1530001
341.30/169.30	c cleaning 54998 clauses out of 110005 with flag 3380231/1586000
356.69/177.10	c cleaning 56000 clauses out of 112008 with flag 3502062/1643001
374.09/185.74	c cleaning 56998 clauses out of 114007 with flag 3625653/1701000
390.90/194.10	c cleaning 58004 clauses out of 116009 with flag 3751655/1760000
408.29/202.87	c cleaning 58994 clauses out of 118006 with flag 3879481/1820001
427.09/212.27	c cleaning 60003 clauses out of 120011 with flag 4009126/1881000
446.48/221.98	c cleaning 61004 clauses out of 122009 with flag 4141350/1943001
465.88/231.66	c cleaning 62002 clauses out of 124004 with flag 4274646/2006000
486.90/242.16	c cleaning 63001 clauses out of 126003 with flag 4411036/2070001
507.88/252.69	c cleaning 63999 clauses out of 128001 with flag 4549282/2135000
532.67/265.10	c cleaning 64996 clauses out of 130005 with flag 4689444/2201003
555.47/276.47	c cleaning 66002 clauses out of 132006 with flag 4831036/2268000
578.47/287.96	c cleaning 66994 clauses out of 134005 with flag 4974869/2336001
603.07/300.30	c cleaning 68003 clauses out of 136010 with flag 5120303/2405000
627.86/312.68	c cleaning 69003 clauses out of 138007 with flag 5268353/2475000
654.32/325.88	c cleaning 69999 clauses out of 140004 with flag 5419088/2546000
678.93/338.18	c cleaning 70998 clauses out of 142006 with flag 5572357/2618001
702.73/350.07	c cleaning 71996 clauses out of 144007 with flag 5728083/2691000
730.32/363.85	c cleaning 72998 clauses out of 146011 with flag 5885051/2765000
758.73/378.05	c cleaning 73997 clauses out of 148013 with flag 6044873/2840000
787.93/392.60	c cleaning 75003 clauses out of 150016 with flag 6206692/2916000
823.54/410.49	c cleaning 76003 clauses out of 152013 with flag 6390303/2993000
841.52/419.47	c cleaning 77003 clauses out of 154010 with flag 6578587/3071000
862.94/430.14	c cleaning 78004 clauses out of 156007 with flag 6773335/3150000
886.33/441.81	c cleaning 78997 clauses out of 158004 with flag 6970016/3230001
910.53/453.94	c cleaning 80002 clauses out of 160006 with flag 7171358/3311000
936.73/467.01	c cleaning 81000 clauses out of 162005 with flag 7380239/3393001
954.92/476.19	c cleaning 82001 clauses out of 164004 with flag 7571249/3476000
974.92/486.12	c cleaning 83002 clauses out of 166004 with flag 7765702/3560001
998.32/497.89	c cleaning 83994 clauses out of 168003 with flag 7962302/3645002
1016.72/507.04	c cleaning 84999 clauses out of 170007 with flag 8145982/3731000
1034.53/515.99	c cleaning 85998 clauses out of 172008 with flag 8333821/3818000
1053.32/525.36	c cleaning 87000 clauses out of 174011 with flag 8523628/3906001
1072.92/535.16	c cleaning 88002 clauses out of 176010 with flag 8718582/3995000
1093.32/545.39	c cleaning 89001 clauses out of 178008 with flag 8924633/4085000
1112.12/554.71	c cleaning 90000 clauses out of 180008 with flag 9123674/4176001
1134.11/565.70	c cleaning 90998 clauses out of 182010 with flag 9325327/4268003
1156.31/576.81	c cleaning 92000 clauses out of 184010 with flag 9530155/4361001
1174.51/585.98	c cleaning 92998 clauses out of 186009 with flag 9732897/4455000
1196.90/597.12	c cleaning 94003 clauses out of 188013 with flag 9942805/4550002
1217.91/607.68	c cleaning 95002 clauses out of 190009 with flag 10147278/4646001
1240.11/618.76	c cleaning 96001 clauses out of 192009 with flag 10355062/4743003
1266.10/631.74	c cleaning 97002 clauses out of 194007 with flag 10563978/4841002
1288.30/642.89	c cleaning 97993 clauses out of 196003 with flag 10775241/4940000
1314.90/656.15	c cleaning 99004 clauses out of 198011 with flag 10988643/5040001
1339.49/668.41	c cleaning 100004 clauses out of 200007 with flag 11204205/5141001
1367.69/682.54	c cleaning 100993 clauses out of 202003 with flag 11428918/5243001
1402.90/700.13	c cleaning 102003 clauses out of 204009 with flag 11663578/5346000
1431.84/714.60	c cleaning 102997 clauses out of 206007 with flag 11884601/5450001
1464.84/731.11	c cleaning 104002 clauses out of 208009 with flag 12109354/5555000
1496.04/746.73	c cleaning 105004 clauses out of 210008 with flag 12339449/5661001
1527.25/762.32	c cleaning 106002 clauses out of 212004 with flag 12567973/5768001
1551.62/774.58	c cleaning 106997 clauses out of 214002 with flag 12798691/5876001
1581.80/789.64	c cleaning 107991 clauses out of 216004 with flag 13033656/5985000
1617.80/807.64	c cleaning 109004 clauses out of 218013 with flag 13273354/6095000
1660.00/828.73	c cleaning 110004 clauses out of 220009 with flag 13516969/6206000
1697.39/847.42	c cleaning 110993 clauses out of 222006 with flag 13758329/6318001
1744.39/870.99	c cleaning 112004 clauses out of 224012 with flag 14014849/6431000
1794.79/896.17	c cleaning 113001 clauses out of 226009 with flag 14271180/6545001
1800.00/898.71	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.00/898.71	c starts		: 11105
1800.00/898.71	c conflicts		: 6563608
1800.00/898.71	c decisions		: 7820841
1800.00/898.71	c propagations		: 34983697
1800.00/898.71	c inspects		: 16076999555
1800.00/898.71	c shortcuts		: 0
1800.00/898.71	c learnt literals	: 0
1800.00/898.71	c learnt binary clauses	: 0
1800.00/898.71	c learnt ternary clauses	: 0
1800.00/898.71	c learnt constraints	: 6563608
1800.00/898.71	c ignored constraints	: 0
1800.00/898.71	c root simplifications	: 0
1800.00/898.71	c removed literals (reason simplification)	: 122424317
1800.00/898.71	c reason swapping (by a shorter reason)	: 0
1800.00/898.71	c Calls to reduceDB	: 110
1800.00/898.71	c Number of update (reduction) of LBD	: 147502
1800.00/898.71	c Imported unit clauses	: 0
1800.00/898.71	c number of reductions to clauses (during analyze)	: 0
1800.00/898.71	c number of learned constraints concerned by reduction	: 0
1800.00/898.71	c number of learning phase by resolution	: 0
1800.00/898.71	c number of learning phase by cutting planes	: 0
1800.00/898.71	c speed (assignments/second)	: 38933.80394705651
1800.00/898.71	c non guided choices	85
1800.00/898.73	c learnt constraints type 
1800.00/898.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 131616
1800.00/898.73	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.00/898.73	c starts		: 18
1800.00/898.73	c conflicts		: 3460
1800.00/898.73	c decisions		: 6003
1800.00/898.73	c propagations		: 65091
1800.00/898.73	c inspects		: 29553863
1800.00/898.73	c shortcuts		: 0
1800.00/898.73	c learnt literals	: 0
1800.00/898.73	c learnt binary clauses	: 0
1800.00/898.73	c learnt ternary clauses	: 0
1800.00/898.73	c learnt constraints	: 3459
1800.00/898.73	c ignored constraints	: 0
1800.00/898.73	c root simplifications	: 0
1800.00/898.73	c removed literals (reason simplification)	: 0
1800.00/898.73	c reason swapping (by a shorter reason)	: 0
1800.00/898.73	c Calls to reduceDB	: 0
1800.00/898.73	c Number of update (reduction) of LBD	: 0
1800.00/898.73	c Imported unit clauses	: 0
1800.00/898.73	c number of reductions to clauses (during analyze)	: 0
1800.00/898.73	c number of learned constraints concerned by reduction	: 0
1800.00/898.73	c number of learning phase by resolution	: 0
1800.00/898.74	c number of learning phase by cutting planes	: 0
1800.00/898.74	c speed (assignments/second)	: 72.43859118063408
1800.00/898.74	c non guided choices	85
1800.00/898.74	c learnt constraints type 
1800.00/898.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 159
1800.00/898.74	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3300
1800.00/898.74	s UNKNOWN
1800.00/898.74	c Total wall clock time (in seconds): 898.632

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-4089247-1466013102/watcher-4089247-1466013102 -o /tmp/evaluation-result-4089247-1466013102/solver-4089247-1466013102 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466012165-5784 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4089247-1466013102.opb 

pid=6672
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.57 4.17 3.33 5/197 6675
/proc/meminfo: memFree=28562996/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 1366 0 0 0 0 0 0 0 20 0 2 0 3360665 98578432 989 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 24067 989 755 9 0 16773 0
[pid=6675/tid=6676] ppid=6672 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) R 6672 6675 5767 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 2 0 3360665 99672064 992 33554432000 1073741824 1073778376 140735942728336 140360283062968 247055039041 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 4.57 4.17 3.33 5/197 6675
/proc/meminfo: memFree=28562996/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 4507 0 1 0 10 1 0 0 20 0 18 0 3360665 9787879424 6134 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 2389619 6134 2158 9 0 2380296 0
[pid=6675/tid=6676] ppid=6672 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) R 6672 6675 5767 0 -1 4202560 2391 0 1 0 7 0 0 0 20 0 18 0 3360665 9787879424 6136 33554432000 1073741824 1073778376 140735942728336 140360283065248 247067632909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200277 s]
/proc/loadavg: 4.57 4.17 3.33 5/197 6675
/proc/meminfo: memFree=28562996/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 5300 0 1 0 28 1 0 0 20 0 22 0 3360665 10060525568 8274 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 2456183 8274 2232 9 0 2446860 0
[pid=6675/tid=6676] ppid=6672 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) S 6672 6675 5767 0 -1 4202560 2413 0 1 0 14 0 0 0 20 0 22 0 3360665 10060525568 8274 33554432000 1073741824 1073778376 140735942728336 140360283067256 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9824732

[startup+0.300253 s]
/proc/loadavg: 4.57 4.17 3.33 5/197 6675
/proc/meminfo: memFree=28562996/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 7182 0 1 0 67 2 0 0 20 0 22 0 3360665 10060525568 10224 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 2456183 10224 2245 9 0 2446860 0
[pid=6675/tid=6676] ppid=6672 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) S 6672 6675 5767 0 -1 4202560 2413 0 1 0 14 0 0 0 20 0 22 0 3360665 10060525568 10224 33554432000 1073741824 1073778376 140735942728336 140360283067256 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9824732

[startup+0.700242 s]
/proc/loadavg: 4.57 4.17 3.33 5/197 6675
/proc/meminfo: memFree=28562996/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 16569 0 1 0 225 4 0 0 20 0 22 0 3360665 10060525568 25364 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 2456183 25364 2258 9 0 2446860 0
[pid=6675/tid=6676] ppid=6672 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) S 6672 6675 5767 0 -1 4202560 2413 0 1 0 14 0 0 0 20 0 22 0 3360665 10060525568 25364 33554432000 1073741824 1073778376 140735942728336 140360283067256 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9824732

[startup+1.50088 s]
/proc/loadavg: 4.60 4.19 3.34 7/219 6697
/proc/meminfo: memFree=28373052/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 24090 0 1 0 483 9 0 0 20 0 22 0 3360665 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 2456183 54203 2283 9 0 2446860 0
[pid=6675/tid=6676] ppid=6672 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) S 6672 6675 5767 0 -1 4202560 2413 0 1 0 14 0 0 0 20 0 22 0 3360665 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360283067256 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6678] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6678/stat : 6678 (java) S 6672 6675 5767 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 3360666 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360272128680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6679] ppid=6672 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6675/task/6679/stat : 6679 (java) S 6672 6675 5767 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 3360666 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360271076136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6680] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6680/stat : 6680 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360666 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360124414888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6681] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6681/stat : 6681 (java) S 6672 6675 5767 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 3360666 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360123362344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6682] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6682/stat : 6682 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360666 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360122308776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6683] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6683/stat : 6683 (java) S 6672 6675 5767 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 3360666 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360121256232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6684] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6684/stat : 6684 (java) S 6672 6675 5767 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 3360666 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360120203688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6685] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6685/stat : 6685 (java) S 6672 6675 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3360666 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360119151144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6686] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6686/stat : 6686 (java) S 6672 6675 5767 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360106953320 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6687] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6687/stat : 6687 (java) S 6672 6675 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360105899640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6688] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6688/stat : 6688 (java) S 6672 6675 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360104846984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6689] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6689/stat : 6689 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360103795728 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6690] ppid=6672 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/6675/task/6690/stat : 6690 (java) S 6672 6675 5767 0 -1 4202560 10345 0 0 0 99 2 0 0 20 0 22 0 3360669 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360102742072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6691] ppid=6672 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/6675/task/6691/stat : 6691 (java) S 6672 6675 5767 0 -1 4202560 9799 0 0 0 100 3 0 0 20 0 22 0 3360669 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360101689528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6692] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6692/stat : 6692 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360100637176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6693] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6693/stat : 6693 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360099584840 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6694] ppid=6672 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/6675/task/6694/stat : 6694 (java) R 6672 6675 5767 0 -1 4202560 28 0 0 0 128 0 0 0 20 0 22 0 3360681 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360098527856 140360152460941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6695] ppid=6672 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/6675/task/6695/stat : 6695 (java) R 6672 6675 5767 0 -1 4202560 95 0 0 0 126 2 0 0 20 0 22 0 3360681 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360097476256 140360152696191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6696] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6696/stat : 6696 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360096425512 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6697] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6697/stat : 6697 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 54203 33554432000 1073741824 1073778376 140735942728336 140360095372968 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9824732

[startup+3.10095 s]
/proc/loadavg: 4.60 4.19 3.34 5/219 6697
/proc/meminfo: memFree=28268108/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=9824732 CPUtime=8.28 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 24522 0 1 0 813 15 0 0 20 0 22 0 3360665 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 2456183 92902 2283 9 0 2446860 0
[pid=6675/tid=6676] ppid=6672 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) S 6672 6675 5767 0 -1 4202560 2413 0 1 0 14 0 0 0 20 0 22 0 3360665 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360283067256 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6678] ppid=6672 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6675/task/6678/stat : 6678 (java) S 6672 6675 5767 0 -1 4202560 71 0 0 0 2 0 0 0 20 0 22 0 3360666 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360272128680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6679] ppid=6672 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6675/task/6679/stat : 6679 (java) S 6672 6675 5767 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 3360666 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360271076136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6680] ppid=6672 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6675/task/6680/stat : 6680 (java) S 6672 6675 5767 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 3360666 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360124414888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6681] ppid=6672 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6675/task/6681/stat : 6681 (java) S 6672 6675 5767 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 3360666 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360123362344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6682] ppid=6672 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6675/task/6682/stat : 6682 (java) S 6672 6675 5767 0 -1 4202560 55 0 0 0 1 0 0 0 20 0 22 0 3360666 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360122308776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6683] ppid=6672 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6675/task/6683/stat : 6683 (java) S 6672 6675 5767 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 3360666 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360121256232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6684] ppid=6672 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6675/task/6684/stat : 6684 (java) S 6672 6675 5767 0 -1 4202560 67 0 0 0 3 1 0 0 20 0 22 0 3360666 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360120203688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6685] ppid=6672 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6675/task/6685/stat : 6685 (java) S 6672 6675 5767 0 -1 4202560 58 0 0 0 2 1 0 0 20 0 22 0 3360666 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360119151144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6686] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6686/stat : 6686 (java) S 6672 6675 5767 0 -1 4202560 195 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360106953320 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6687] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6687/stat : 6687 (java) S 6672 6675 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360105899640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6688] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6688/stat : 6688 (java) S 6672 6675 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360104846984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6689] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6689/stat : 6689 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360103795728 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6690] ppid=6672 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/6675/task/6690/stat : 6690 (java) S 6672 6675 5767 0 -1 4202560 10345 0 0 0 108 2 0 0 20 0 22 0 3360669 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360102742072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6691] ppid=6672 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/6675/task/6691/stat : 6691 (java) S 6672 6675 5767 0 -1 4202560 9799 0 0 0 101 3 0 0 20 0 22 0 3360669 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360101689528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6692] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6692/stat : 6692 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360100637176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6693] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6693/stat : 6693 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360099584840 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6694] ppid=6672 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/6675/task/6694/stat : 6694 (java) R 6672 6675 5767 0 -1 4202560 30 0 0 0 282 0 0 0 20 0 22 0 3360681 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360098528928 140360152452843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6695] ppid=6672 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/6675/task/6695/stat : 6695 (java) R 6672 6675 5767 0 -1 4202560 147 0 0 0 278 4 0 0 20 0 22 0 3360681 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360097475456 140360152755693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6696] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6696/stat : 6696 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360096425512 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6697] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6697/stat : 6697 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 92902 33554432000 1073741824 1073778376 140735942728336 140360095372968 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 4.55 4.18 3.34 5/219 6697
/proc/meminfo: memFree=27927736/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=9824732 CPUtime=14.77 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 25426 0 1 0 1454 23 0 0 20 0 22 0 3360665 10060525568 160586 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 2456183 160586 2283 9 0 2446860 0
[pid=6675/tid=6676] ppid=6672 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) S 6672 6675 5767 0 -1 4202560 2413 0 1 0 14 0 0 0 20 0 22 0 3360665 10060525568 160586 33554432000 1073741824 1073778376 140735942728336 140360283067256 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6678] ppid=6672 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6675/task/6678/stat : 6678 (java) S 6672 6675 5767 0 -1 4202560 78 0 0 0 3 1 0 0 20 0 22 0 3360666 10060525568 160586 33554432000 1073741824 1073778376 140735942728336 140360272128680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6679] ppid=6672 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/6675/task/6679/stat : 6679 (java) S 6672 6675 5767 0 -1 4202560 46 0 0 0 3 2 0 0 20 0 22 0 3360666 10060525568 160586 33554432000 1073741824 1073778376 140735942728336 140360271076136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6680] ppid=6672 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6675/task/6680/stat : 6680 (java) S 6672 6675 5767 0 -1 4202560 110 0 0 0 4 0 0 0 20 0 22 0 3360666 10060525568 160586 33554432000 1073741824 1073778376 140735942728336 140360124414888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6681] ppid=6672 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6675/task/6681/stat : 6681 (java) S 6672 6675 5767 0 -1 4202560 131 0 0 0 3 1 0 0 20 0 22 0 3360666 10060525568 160586 33554432000 1073741824 1073778376 140735942728336 140360123362344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6682] ppid=6672 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6675/task/6682/stat : 6682 (java) S 6672 6675 5767 0 -1 4202560 69 0 0 0 3 0 0 0 20 0 22 0 3360666 10060525568 160586 33554432000 1073741824 1073778376 140735942728336 140360122308776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6683] ppid=6672 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/6675/task/6683/stat : 6683 (java) S 6672 6675 5767 0 -1 4202560 148 0 0 0 4 1 0 0 20 0 22 0 3360666 10060525568 160586 33554432000 1073741824 1073778376 140735942728336 140360121256232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6684] ppid=6672 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/6675/task/6684/stat : 6684 (java) S 6672 6675 5767 0 -1 4202560 102 0 0 0 5 2 0 0 20 0 22 0 3360666 10060525568 160586 33554432000 1073741824 1073778376 140735942728336 140360120203688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6685] ppid=6672 vsize=9824732 CPUtime=0.09 cores=1,3,5,7

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

[pid=6675/tid=6681] ppid=6672 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/6675/task/6681/stat : 6681 (java) S 6672 6675 5767 0 -1 4202560 316 0 0 0 16 7 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360123362344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6682] ppid=6672 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/6675/task/6682/stat : 6682 (java) S 6672 6675 5767 0 -1 4202560 439 0 0 0 20 10 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360122308776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6683] ppid=6672 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6675/task/6683/stat : 6683 (java) S 6672 6675 5767 0 -1 4202560 344 0 0 0 20 9 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360121256232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6684] ppid=6672 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/6675/task/6684/stat : 6684 (java) S 6672 6675 5767 0 -1 4202560 423 0 0 0 21 7 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360120203688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6685] ppid=6672 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6675/task/6685/stat : 6685 (java) S 6672 6675 5767 0 -1 4202560 426 0 0 0 22 7 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360119151144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6686] ppid=6672 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/6675/task/6686/stat : 6686 (java) S 6672 6675 5767 0 -1 4202560 1416 0 0 0 42 1 0 0 20 0 22 0 3360667 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360106953320 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6687] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6687/stat : 6687 (java) S 6672 6675 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360105899640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6688] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6688/stat : 6688 (java) S 6672 6675 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360104846984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6689] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6689/stat : 6689 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360103795728 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6690] ppid=6672 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/6675/task/6690/stat : 6690 (java) S 6672 6675 5767 0 -1 4202560 10351 0 0 0 126 2 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360102742072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6691] ppid=6672 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/6675/task/6691/stat : 6691 (java) S 6672 6675 5767 0 -1 4202560 9799 0 0 0 101 3 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360101689528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6692] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6692/stat : 6692 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360100637176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6693] ppid=6672 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/6675/task/6693/stat : 6693 (java) S 6672 6675 5767 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360099584840 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6694] ppid=6672 vsize=9824732 CPUtime=878.64 cores=1,3,5,7
/proc/6675/task/6694/stat : 6694 (java) R 6672 6675 5767 0 -1 4202560 153 0 0 0 87847 17 0 0 20 0 22 0 3360681 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360098521216 140360152055680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6695] ppid=6672 vsize=9824732 CPUtime=878.76 cores=1,3,5,7
/proc/6675/task/6695/stat : 6695 (java) R 6672 6675 5767 0 -1 4202560 1526 0 0 0 87834 42 0 0 20 0 22 0 3360681 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360097475120 140360152734752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6696] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6696/stat : 6696 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360096425512 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6697] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6697/stat : 6697 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360095372968 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1767.21
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.701 s]
/proc/loadavg: 3.91 3.99 3.73 5/219 7012
/proc/meminfo: memFree=25471320/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 30130 0 1 0 179885 115 0 0 20 0 22 0 3360665 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 2456183 776277 2292 9 0 2446860 0
[pid=6675/tid=6676] ppid=6672 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) S 6672 6675 5767 0 -1 4202560 2417 0 1 0 16 2 0 0 20 0 22 0 3360665 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360283067256 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6678] ppid=6672 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/6675/task/6678/stat : 6678 (java) S 6672 6675 5767 0 -1 4202560 363 0 0 0 16 6 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360272128680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6679] ppid=6672 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6675/task/6679/stat : 6679 (java) S 6672 6675 5767 0 -1 4202560 335 0 0 0 20 9 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360271076136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6680] ppid=6672 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/6675/task/6680/stat : 6680 (java) S 6672 6675 5767 0 -1 4202560 506 0 0 0 22 8 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360124414888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6681] ppid=6672 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/6675/task/6681/stat : 6681 (java) S 6672 6675 5767 0 -1 4202560 316 0 0 0 16 7 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360123362344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6682] ppid=6672 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/6675/task/6682/stat : 6682 (java) S 6672 6675 5767 0 -1 4202560 439 0 0 0 20 10 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360122308776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6683] ppid=6672 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6675/task/6683/stat : 6683 (java) S 6672 6675 5767 0 -1 4202560 344 0 0 0 20 9 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360121256232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6684] ppid=6672 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/6675/task/6684/stat : 6684 (java) S 6672 6675 5767 0 -1 4202560 423 0 0 0 21 7 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360120203688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6685] ppid=6672 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6675/task/6685/stat : 6685 (java) S 6672 6675 5767 0 -1 4202560 426 0 0 0 22 7 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360119151144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6686] ppid=6672 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/6675/task/6686/stat : 6686 (java) S 6672 6675 5767 0 -1 4202560 1416 0 0 0 42 1 0 0 20 0 22 0 3360667 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360106953320 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6687] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6687/stat : 6687 (java) S 6672 6675 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360105899640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6688] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6688/stat : 6688 (java) S 6672 6675 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360104846984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6689] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6689/stat : 6689 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360103795728 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6690] ppid=6672 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/6675/task/6690/stat : 6690 (java) S 6672 6675 5767 0 -1 4202560 10351 0 0 0 126 2 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360102742072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6691] ppid=6672 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/6675/task/6691/stat : 6691 (java) S 6672 6675 5767 0 -1 4202560 9799 0 0 0 101 3 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360101689528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6692] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6692/stat : 6692 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360100637176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6693] ppid=6672 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/6675/task/6693/stat : 6693 (java) S 6672 6675 5767 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360099584840 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6694] ppid=6672 vsize=9824732 CPUtime=895 cores=1,3,5,7
/proc/6675/task/6694/stat : 6694 (java) R 6672 6675 5767 0 -1 4202560 153 0 0 0 89483 17 0 0 20 0 22 0 3360681 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360098521216 140360152419591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6695] ppid=6672 vsize=9824732 CPUtime=895.12 cores=1,3,5,7
/proc/6675/task/6695/stat : 6695 (java) R 6672 6675 5767 0 -1 4202560 1526 0 0 0 89470 42 0 0 20 0 22 0 3360681 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360097475120 140360153263205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6696] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6696/stat : 6696 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360096425512 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6697] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6697/stat : 6697 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360095372968 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 6675 sig 9
??? kill -6675 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.701 s]
/proc/loadavg: 3.91 3.99 3.73 5/219 7012
/proc/meminfo: memFree=25471320/32872528 swapFree=248296/248296
[pid=6675] ppid=6672 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/6675/stat : 6675 (java) S 6672 6675 5767 0 -1 4202496 30130 0 1 0 179885 115 0 0 20 0 22 0 3360665 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140735942719472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6675/statm: 2456183 776277 2292 9 0 2446860 0
[pid=6675/tid=6676] ppid=6672 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/6675/task/6676/stat : 6676 (java) S 6672 6675 5767 0 -1 4202560 2417 0 1 0 16 2 0 0 20 0 22 0 3360665 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360283067256 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6678] ppid=6672 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/6675/task/6678/stat : 6678 (java) S 6672 6675 5767 0 -1 4202560 363 0 0 0 16 6 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360272128680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6679] ppid=6672 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6675/task/6679/stat : 6679 (java) S 6672 6675 5767 0 -1 4202560 335 0 0 0 20 9 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360271076136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6680] ppid=6672 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/6675/task/6680/stat : 6680 (java) S 6672 6675 5767 0 -1 4202560 506 0 0 0 22 8 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360124414888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6681] ppid=6672 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/6675/task/6681/stat : 6681 (java) S 6672 6675 5767 0 -1 4202560 316 0 0 0 16 7 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360123362344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6682] ppid=6672 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/6675/task/6682/stat : 6682 (java) S 6672 6675 5767 0 -1 4202560 439 0 0 0 20 10 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360122308776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6683] ppid=6672 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6675/task/6683/stat : 6683 (java) S 6672 6675 5767 0 -1 4202560 344 0 0 0 20 9 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360121256232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6684] ppid=6672 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/6675/task/6684/stat : 6684 (java) S 6672 6675 5767 0 -1 4202560 423 0 0 0 21 7 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360120203688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6685] ppid=6672 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6675/task/6685/stat : 6685 (java) S 6672 6675 5767 0 -1 4202560 426 0 0 0 22 7 0 0 20 0 22 0 3360666 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360119151144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6686] ppid=6672 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/6675/task/6686/stat : 6686 (java) S 6672 6675 5767 0 -1 4202560 1416 0 0 0 42 1 0 0 20 0 22 0 3360667 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360106953320 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6687] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6687/stat : 6687 (java) S 6672 6675 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360105899640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6688] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6688/stat : 6688 (java) S 6672 6675 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3360667 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360104846984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6689] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6689/stat : 6689 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360103795728 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6690] ppid=6672 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/6675/task/6690/stat : 6690 (java) S 6672 6675 5767 0 -1 4202560 10351 0 0 0 126 2 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360102742072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6691] ppid=6672 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/6675/task/6691/stat : 6691 (java) S 6672 6675 5767 0 -1 4202560 9799 0 0 0 101 3 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360101689528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6675/tid=6692] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6692/stat : 6692 (java) S 6672 6675 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360100637176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6693] ppid=6672 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/6675/task/6693/stat : 6693 (java) S 6672 6675 5767 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 3360669 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360099584840 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6675/tid=6694] ppid=6672 vsize=9824732 CPUtime=895 cores=1,3,5,7
/proc/6675/task/6694/stat : 6694 (java) R 6672 6675 5767 0 -1 4202560 153 0 0 0 89483 17 0 0 20 0 22 0 3360681 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360098521216 140360152419591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6675/tid=6695] ppid=6672 vsize=9824732 CPUtime=895.12 cores=1,3,5,7
/proc/6675/task/6695/stat : 6695 (java) R 6672 6675 5767 0 -1 4202560 1526 0 0 0 89470 42 0 0 20 0 22 0 3360681 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360097475120 140360153263205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6696] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6696/stat : 6696 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360096425512 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6675/tid=6697] ppid=6672 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6675/task/6697/stat : 6697 (java) S 6672 6675 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3360682 10060525568 776277 33554432000 1073741824 1073778376 140735942728336 140360095372968 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6675 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=288226
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=641750
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 898.754
CPU time (s): 1800
CPU user time (s): 1798.85
CPU system time (s): 1.15
CPU usage (%): 200.277
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.29
system time used= 1.64175
maximum resident set size= 3105224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30173
page faults= 1
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21400
involuntary context switches= 9884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83411 second user time and 7.2039 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-15 19:51:43
IDJOB=4089247
IDBENCH=107379
IDSOLVER=2543
FILE ID=node103/4089247-1466013102
RUNJOBID= node103-1466012165-5784
PBS_JOBID= 19902805
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x19.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089247-1466013102/watcher-4089247-1466013102 -o /tmp/evaluation-result-4089247-1466013102/solver-4089247-1466013102 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466012165-5784 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4089247-1466013102.opb

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

MD5SUM BENCH= fea8ab69bb66b0a7ab99730b154e55e4
RANDOM SEED=1613762602

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        28562880 kB
Buffers:          123344 kB
Cached:           342012 kB
SwapCached:            0 kB
Active:          3014196 kB
Inactive:         321336 kB
Active(anon):    2872908 kB
Inactive(anon):        0 kB
Active(file):     141288 kB
Inactive(file):   321336 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:       3191856 kB
Mapped:            21604 kB
Shmem:               204 kB
Slab:             573964 kB
SReclaimable:      18048 kB
SUnreclaim:       555916 kB
KernelStack:        1808 kB
PageTables:         9988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3511632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2895872 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= 71736 MiB
End job on node103 at 2016-06-15 20:06:41