Trace number 4084649

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.75 1790.27

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K92.opb
MD5SUM21cc97db69195cd3dcf69a6d797764c1
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 benchmark1703.34
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6256
Total number of constraints6442
Number of constraints which are clauses6350
Number of constraints which are cardinality constraints (but not clauses)92
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint92
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 93
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4084649-1465283606.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.56/0.38	c ... done. Wall clock time 0.266s.
0.56/0.38	c declared #vars     6256
0.56/0.38	c #constraints  6442
0.56/0.38	c constraints type 
0.56/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5165
0.56/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 92
0.56/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.56/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1183
0.56/0.38	c 6442 constraints processed.
1.79/1.19	c cleaning 2475 clauses out of 4990 with flag 24986/5000
3.04/1.97	c cleaning 4226 clauses out of 8507 with flag 65247/11000
3.95/2.84	c cleaning 5619 clauses out of 11279 with flag 114200/18000
4.86/3.78	c cleaning 6824 clauses out of 13659 with flag 166958/26002
6.07/4.91	c cleaning 7911 clauses out of 15832 with flag 227476/35001
7.27/6.14	c cleaning 8917 clauses out of 17919 with flag 289153/45002
8.67/7.55	c cleaning 9696 clauses out of 19999 with flag 348842/56000
10.27/9.14	c cleaning 10354 clauses out of 22303 with flag 418276/68000
12.06/10.91	c cleaning 11165 clauses out of 24949 with flag 496046/81000
13.87/12.79	c cleaning 11986 clauses out of 27785 with flag 579743/95001
15.97/14.89	c cleaning 12870 clauses out of 30799 with flag 674947/110001
18.17/17.06	c cleaning 13760 clauses out of 33927 with flag 772999/126001
20.77/19.62	c cleaning 14637 clauses out of 37166 with flag 873480/143000
23.38/22.27	c cleaning 15482 clauses out of 40532 with flag 980654/161003
26.20/25.07	c cleaning 16315 clauses out of 44047 with flag 1103177/180000
29.09/27.91	c cleaning 17253 clauses out of 47729 with flag 1228922/200000
32.19/31.09	c cleaning 18225 clauses out of 51476 with flag 1360924/221000
35.69/34.57	c cleaning 19217 clauses out of 55251 with flag 1506327/243000
39.49/38.38	c cleaning 19757 clauses out of 59034 with flag 1654899/266000
43.59/42.42	c cleaning 20959 clauses out of 63276 with flag 1808358/290000
47.69/46.60	c cleaning 21774 clauses out of 67315 with flag 1980340/315000
52.19/51.08	c cleaning 22673 clauses out of 71540 with flag 2157064/341000
57.05/55.85	c cleaning 23480 clauses out of 75867 with flag 2341902/368000
61.95/60.73	c cleaning 24526 clauses out of 80388 with flag 2536780/396001
67.26/66.05	c cleaning 25418 clauses out of 84861 with flag 2731945/425000
72.95/71.71	c cleaning 26569 clauses out of 89443 with flag 2952605/455000
78.65/77.49	c cleaning 27340 clauses out of 93874 with flag 3172001/486000
85.05/83.81	c cleaning 28341 clauses out of 98535 with flag 3404287/518001
91.57/90.32	c cleaning 29303 clauses out of 103191 with flag 3635385/551000
98.68/97.35	c cleaning 30439 clauses out of 107888 with flag 3887605/585000
106.07/104.70	c cleaning 31360 clauses out of 112448 with flag 4153478/620000
113.68/112.32	c cleaning 31981 clauses out of 117088 with flag 4421871/656000
121.67/120.34	c cleaning 32977 clauses out of 122108 with flag 4700939/693001
130.37/129.00	c cleaning 34160 clauses out of 127131 with flag 5013952/731001
139.15/137.63	c cleaning 35129 clauses out of 131972 with flag 5312461/770002
148.34/146.85	c cleaning 35592 clauses out of 136843 with flag 5632611/810002
157.86/156.38	c cleaning 37243 clauses out of 142250 with flag 5964779/851001
168.05/166.56	c cleaning 37736 clauses out of 147006 with flag 6305196/893000
178.43/176.71	c cleaning 39068 clauses out of 152270 with flag 6648840/936000
189.72/188.07	c cleaning 39960 clauses out of 157202 with flag 7019389/980000
201.02/199.37	c cleaning 40833 clauses out of 162242 with flag 7376922/1025000
213.21/211.23	c cleaning 41950 clauses out of 167409 with flag 7777105/1071000
225.60/223.60	c cleaning 42901 clauses out of 172458 with flag 8175942/1118000
238.60/236.68	c cleaning 43785 clauses out of 177558 with flag 8596257/1166001
252.08/249.87	c cleaning 44821 clauses out of 182773 with flag 9018446/1215001
266.38/264.16	c cleaning 45970 clauses out of 187951 with flag 9485334/1265000
281.07/278.88	c cleaning 46976 clauses out of 192982 with flag 9955616/1316001
296.57/294.01	c cleaning 47787 clauses out of 198006 with flag 10447965/1368002
312.87/310.33	c cleaning 48706 clauses out of 203217 with flag 10985869/1421000
328.73/325.93	c cleaning 50118 clauses out of 208510 with flag 11475963/1475000
345.10/342.23	c cleaning 51183 clauses out of 213393 with flag 12039202/1530001
362.60/359.71	c cleaning 51781 clauses out of 218208 with flag 12582966/1586000
380.46/377.58	c cleaning 53109 clauses out of 223427 with flag 13157253/1643000
398.97/395.91	c cleaning 53872 clauses out of 228320 with flag 13708220/1701002
417.48/414.44	c cleaning 55196 clauses out of 233448 with flag 14280360/1760002
436.56/433.48	c cleaning 56245 clauses out of 238250 with flag 14858341/1820000
456.74/453.55	c cleaning 57312 clauses out of 243005 with flag 15485468/1881000
478.12/474.81	c cleaning 58348 clauses out of 247693 with flag 16214607/1943000
499.61/496.27	c cleaning 59078 clauses out of 252346 with flag 16871753/2006001
521.69/518.24	c cleaning 60313 clauses out of 257267 with flag 17545807/2070000
544.38/540.88	c cleaning 61495 clauses out of 261955 with flag 18250458/2135001
567.52/563.83	c cleaning 62317 clauses out of 266459 with flag 18934458/2201000
591.69/587.99	c cleaning 63374 clauses out of 271142 with flag 19667929/2268000
617.38/613.56	c cleaning 64386 clauses out of 275768 with flag 20422248/2336000
643.36/639.44	c cleaning 65380 clauses out of 280382 with flag 21207809/2405000
669.55/665.59	c cleaning 66318 clauses out of 285001 with flag 21979972/2475000
696.32/692.24	c cleaning 67390 clauses out of 289683 with flag 22762209/2546000
723.35/719.23	c cleaning 68504 clauses out of 294293 with flag 23523327/2618000
751.80/747.55	c cleaning 69640 clauses out of 298789 with flag 24320594/2691000
782.41/778.05	c cleaning 70568 clauses out of 303149 with flag 25276038/2765000
813.67/809.17	c cleaning 71476 clauses out of 307582 with flag 26215451/2840001
844.24/839.62	c cleaning 72719 clauses out of 312106 with flag 27095825/2916001
874.87/870.17	c cleaning 73856 clauses out of 316387 with flag 27966091/2993001
907.16/902.22	c cleaning 74985 clauses out of 320531 with flag 28883724/3071001
941.04/936.07	c cleaning 75734 clauses out of 324545 with flag 30004620/3150000
975.14/970.07	c cleaning 77018 clauses out of 328812 with flag 30977744/3230001
1010.52/1005.24	c cleaning 77965 clauses out of 332793 with flag 31926403/3311000
1046.66/1041.25	c cleaning 78803 clauses out of 336829 with flag 32952100/3393001
1084.30/1078.75	c cleaning 79964 clauses out of 341025 with flag 33955026/3476000
1122.54/1116.84	c cleaning 80956 clauses out of 345061 with flag 34974113/3560000
1161.17/1155.29	c cleaning 81601 clauses out of 349105 with flag 36087558/3645000
1200.44/1194.39	c cleaning 83188 clauses out of 353504 with flag 37146931/3731000
1239.64/1233.34	c cleaning 84261 clauses out of 357317 with flag 38242549/3818001
1280.86/1274.37	c cleaning 84942 clauses out of 361058 with flag 39299949/3906003
1324.50/1317.75	c cleaning 85894 clauses out of 365113 with flag 40421857/3995000
1368.62/1361.68	c cleaning 87114 clauses out of 369219 with flag 41520646/4085000
1412.93/1405.73	c cleaning 88304 clauses out of 373104 with flag 42692121/4176000
1459.10/1451.64	c cleaning 89011 clauses out of 376799 with flag 43838403/4268000
1506.43/1498.78	c cleaning 90162 clauses out of 380788 with flag 45055838/4361000
1554.69/1546.72	c cleaning 91193 clauses out of 384627 with flag 46274073/4455001
1601.72/1593.44	c cleaning 92182 clauses out of 388433 with flag 47549933/4550000
1655.04/1646.48	c cleaning 93427 clauses out of 392253 with flag 49063214/4646003
1705.70/1696.78	c cleaning 94066 clauses out of 395824 with flag 50319553/4743001
1757.21/1747.81	c cleaning 95164 clauses out of 399760 with flag 51656501/4841003
1800.01/1790.20	c starts		: 39633
1800.01/1790.20	c conflicts		: 4921714
1800.01/1790.20	c decisions		: 76714462
1800.01/1790.20	c propagations		: 1802079421
1800.01/1790.20	c inspects		: 19184255007
1800.01/1790.20	c shortcuts		: 0
1800.01/1790.20	c learnt literals	: 49
1800.01/1790.20	c learnt binary clauses	: 111892
1800.01/1790.20	c learnt ternary clauses	: 120279
1800.01/1790.20	c learnt constraints	: 4921665
1800.01/1790.20	c ignored constraints	: 0
1800.01/1790.20	c root simplifications	: 0
1800.01/1790.20	c removed literals (reason simplification)	: 0
1800.01/1790.20	c reason swapping (by a shorter reason)	: 0
1800.01/1790.20	c Calls to reduceDB	: 94
1800.01/1790.20	c Number of update (reduction) of LBD	: 4185175
1800.01/1790.20	c Imported unit clauses	: 0
1800.01/1790.20	c number of reductions to clauses (during analyze)	: 0
1800.01/1790.20	c number of learned constraints concerned by reduction	: 0
1800.01/1790.20	c number of learning phase by resolution	: 0
1800.01/1790.20	c number of learning phase by cutting planes	: 0
1800.01/1790.20	c speed (assignments/second)	: 1006852.4344694843
1800.01/1790.20	c non guided choices	6595
1800.01/1790.20	c timeout
1800.01/1790.27	c learnt constraints type 
1800.01/1790.27	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 111892
1800.01/1790.27	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 273416
1800.01/1790.27	s UNKNOWN
1800.01/1790.27	c Total wall clock time (in seconds): 1790.152

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-4084649-1465283606/watcher-4084649-1465283606 -o /tmp/evaluation-result-4084649-1465283606/solver-4084649-1465283606 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5696 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084649-1465283606.opb 

pid=12386
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: 2.20 2.16 2.17 2/194 12389
/proc/meminfo: memFree=30151380/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/12389/stat : 12389 (java) R 12386 12389 5680 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 110295307 2560000 46 33554432000 1073741824 1073778376 140733346263872 140733346261000 271778409767 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 892 48 37 9 0 30 0

[startup+0.100115 s]
/proc/loadavg: 2.20 2.16 2.17 2/194 12389
/proc/meminfo: memFree=30151380/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 4383 0 1 0 8 1 0 0 20 0 18 0 110295307 9787879424 6013 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2389619 6013 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 2.20 2.16 2.17 2/194 12389
/proc/meminfo: memFree=30151380/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 4982 0 1 0 27 1 0 0 20 0 18 0 110295307 9787879424 6939 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2389619 6939 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300214 s]
/proc/loadavg: 2.20 2.16 2.17 2/194 12389
/proc/meminfo: memFree=30151380/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9558476 CPUtime=0.56 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 7215 0 1 0 54 2 0 0 20 0 18 0 110295307 9787879424 9779 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2389619 9779 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700268 s]
/proc/loadavg: 2.20 2.16 2.17 2/194 12389
/proc/meminfo: memFree=30151380/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9625040 CPUtime=1.36 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 8060 0 1 0 134 2 0 0 20 0 19 0 110295307 9856040960 16017 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2406260 16017 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.20 2.16 2.17 3/213 12408
/proc/meminfo: memFree=30093424/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9625040 CPUtime=2.53 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 14242 0 1 0 250 3 0 0 20 0 19 0 110295307 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2406260 21230 2267 9 0 2396937 0
[pid=12389/tid=12391] ppid=12386 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/12389/task/12391/stat : 12391 (java) R 12386 12389 5680 0 -1 4202560 2427 0 1 0 146 0 0 0 20 0 19 0 110295308 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140457095396008 140456923592983 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12392] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12392/stat : 12392 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140457056889256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12393] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12393/stat : 12393 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140457055836712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12394] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12394/stat : 12394 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140457054783656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12395] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12395/stat : 12395 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140457053731112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12396] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12396/stat : 12396 (java) S 12386 12389 5680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140457052679080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12397] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12397/stat : 12397 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140457051626536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12398] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12398/stat : 12398 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140457050573480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12399] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12399/stat : 12399 (java) S 12386 12389 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140457049520936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12400] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12400/stat : 12400 (java) S 12386 12389 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140456918755688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12401] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12401/stat : 12401 (java) S 12386 12389 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140456917702008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12402] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12402/stat : 12402 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140456916648840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12403] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12403/stat : 12403 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140456915597584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12404] ppid=12386 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/12389/task/12404/stat : 12404 (java) S 12386 12389 5680 0 -1 4202560 2431 0 0 0 40 0 0 0 20 0 19 0 110295313 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140456914545464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12405] ppid=12386 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/12389/task/12405/stat : 12405 (java) R 12386 12389 5680 0 -1 4202560 8112 0 0 0 61 2 0 0 20 0 19 0 110295313 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140456913480104 140457099515299 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12406] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12406/stat : 12406 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140456912440056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12407] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12407/stat : 12407 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140456911387720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12408] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12408/stat : 12408 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295346 9856040960 21230 33554432000 1073741824 1073778376 140733346263872 140456910332968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.20 2.16 2.17 3/213 12408
/proc/meminfo: memFree=30071348/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 14670 0 1 0 423 3 0 0 20 0 19 0 110295307 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2406260 23069 2267 9 0 2396937 0
[pid=12389/tid=12391] ppid=12386 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/12389/task/12391/stat : 12391 (java) R 12386 12389 5680 0 -1 4202560 2431 0 1 0 306 0 0 0 20 0 19 0 110295308 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140457095397720 140456923615382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12392] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12392/stat : 12392 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140457056889256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12393] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12393/stat : 12393 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140457055836712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12394] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12394/stat : 12394 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140457054783656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12395] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12395/stat : 12395 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140457053731112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12396] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12396/stat : 12396 (java) S 12386 12389 5680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140457052679080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12397] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12397/stat : 12397 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140457051626536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12398] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12398/stat : 12398 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140457050573480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12399] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12399/stat : 12399 (java) S 12386 12389 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140457049520936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12400] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12400/stat : 12400 (java) S 12386 12389 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140456918755688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12401] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12401/stat : 12401 (java) S 12386 12389 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140456917702008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12402] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12402/stat : 12402 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140456916648840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12403] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12403/stat : 12403 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140456915597584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12404] ppid=12386 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/12389/task/12404/stat : 12404 (java) S 12386 12389 5680 0 -1 4202560 2431 0 0 0 42 0 0 0 20 0 19 0 110295313 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140456914545464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12405] ppid=12386 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/12389/task/12405/stat : 12405 (java) S 12386 12389 5680 0 -1 4202560 8536 0 0 0 71 2 0 0 20 0 19 0 110295313 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140456913492920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12406] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12406/stat : 12406 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140456912440056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12407] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12407/stat : 12407 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140456911387720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12408] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12408/stat : 12408 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295346 9856040960 23069 33554432000 1073741824 1073778376 140733346263872 140456910332968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.18 2.16 2.17 3/213 12408
/proc/meminfo: memFree=30056644/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9625040 CPUtime=7.47 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 14679 0 1 0 744 3 0 0 20 0 19 0 110295307 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2406260 26105 2268 9 0 2396937 0
[pid=12389/tid=12391] ppid=12386 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/12389/task/12391/stat : 12391 (java) R 12386 12389 5680 0 -1 4202560 2439 0 1 0 625 2 0 0 20 0 19 0 110295308 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140457095388864 140456923615728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12392] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12392/stat : 12392 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140457056889256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12393] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12393/stat : 12393 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140457055836712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12394] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12394/stat : 12394 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140457054783656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12395] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12395/stat : 12395 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140457053731112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12396] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12396/stat : 12396 (java) S 12386 12389 5680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140457052679080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12397] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12397/stat : 12397 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140457051626536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12398] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12398/stat : 12398 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140457050573480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12399] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12399/stat : 12399 (java) S 12386 12389 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110295309 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140457049520936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12400] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12400/stat : 12400 (java) S 12386 12389 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140456918755688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12401] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12401/stat : 12401 (java) S 12386 12389 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140456917702008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12402] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12402/stat : 12402 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140456916648840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12403] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12403/stat : 12403 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140456915597584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12404] ppid=12386 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/12389/task/12404/stat : 12404 (java) S 12386 12389 5680 0 -1 4202560 2431 0 0 0 43 0 0 0 20 0 19 0 110295313 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140456914545464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12405] ppid=12386 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/12389/task/12405/stat : 12405 (java) S 12386 12389 5680 0 -1 4202560 8536 0 0 0 72 2 0 0 20 0 19 0 110295313 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140456913492920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12406] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12406/stat : 12406 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140456912440056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12407] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12407/stat : 12407 (java) S 12386 12389 5680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140456911387720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12408] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12408/stat : 12408 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295346 9856040960 26105 33554432000 1073741824 1073778376 140733346263872 140456910332968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 9625040


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

[pid=12389/tid=12401] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12401/stat : 12401 (java) S 12386 12389 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 98393 33554432000 1073741824 1073778376 140733346263872 140456917702008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12402] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12402/stat : 12402 (java) S 12386 12389 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 98393 33554432000 1073741824 1073778376 140733346263872 140456916648840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12403] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12403/stat : 12403 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 98393 33554432000 1073741824 1073778376 140733346263872 140456915597584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12404] ppid=12386 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/12389/task/12404/stat : 12404 (java) S 12386 12389 5680 0 -1 4202560 2431 0 0 0 43 0 0 0 20 0 19 0 110295313 9856040960 98393 33554432000 1073741824 1073778376 140733346263872 140456914545464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12405] ppid=12386 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/12389/task/12405/stat : 12405 (java) S 12386 12389 5680 0 -1 4202560 8539 0 0 0 76 2 0 0 20 0 19 0 110295313 9856040960 98393 33554432000 1073741824 1073778376 140733346263872 140456913492920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12406] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12406/stat : 12406 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 98393 33554432000 1073741824 1073778376 140733346263872 140456912440056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12407] ppid=12386 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/12389/task/12407/stat : 12407 (java) S 12386 12389 5680 0 -1 4202560 96 0 0 0 29 28 0 0 20 0 19 0 110295313 9856040960 98393 33554432000 1073741824 1073778376 140733346263872 140456911387720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12408] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12408/stat : 12408 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295346 9856040960 98393 33554432000 1073741824 1073778376 140733346263872 140456910332968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1671.11
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.09 2.14 2.16 3/213 12517
/proc/meminfo: memFree=29876052/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9625040 CPUtime=1731.53 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 20147 0 1 0 173034 119 0 0 20 0 19 0 110295307 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2406260 89916 2290 9 0 2396937 0
[pid=12389/tid=12391] ppid=12386 vsize=9625040 CPUtime=1716.27 cores=0,2,4,6
/proc/12389/task/12391/stat : 12391 (java) R 12386 12389 5680 0 -1 4202560 2581 0 1 0 171597 30 0 0 20 0 19 0 110295308 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140457095396688 140456923687368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12392] ppid=12386 vsize=9625040 CPUtime=1.4 cores=0,2,4,6
/proc/12389/task/12392/stat : 12392 (java) S 12386 12389 5680 0 -1 4202560 502 0 0 0 128 12 0 0 20 0 19 0 110295309 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140457056889256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12393] ppid=12386 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/12389/task/12393/stat : 12393 (java) S 12386 12389 5680 0 -1 4202560 379 0 0 0 129 9 0 0 20 0 19 0 110295309 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140457055836712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12394] ppid=12386 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/12389/task/12394/stat : 12394 (java) S 12386 12389 5680 0 -1 4202560 808 0 0 0 129 15 0 0 20 0 19 0 110295309 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140457054783656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12395] ppid=12386 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/12389/task/12395/stat : 12395 (java) S 12386 12389 5680 0 -1 4202560 504 0 0 0 132 9 0 0 20 0 19 0 110295309 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140457053731112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12396] ppid=12386 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/12389/task/12396/stat : 12396 (java) S 12386 12389 5680 0 -1 4202560 529 0 0 0 128 9 0 0 20 0 19 0 110295309 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140457052679080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12397] ppid=12386 vsize=9625040 CPUtime=1.36 cores=0,2,4,6
/proc/12389/task/12397/stat : 12397 (java) S 12386 12389 5680 0 -1 4202560 770 0 0 0 125 11 0 0 20 0 19 0 110295309 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140457051626536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12398] ppid=12386 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/12389/task/12398/stat : 12398 (java) S 12386 12389 5680 0 -1 4202560 683 0 0 0 123 10 0 0 20 0 19 0 110295309 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140457050573480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12399] ppid=12386 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/12389/task/12399/stat : 12399 (java) S 12386 12389 5680 0 -1 4202560 503 0 0 0 126 13 0 0 20 0 19 0 110295309 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140457049520936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12400] ppid=12386 vsize=9625040 CPUtime=2.72 cores=0,2,4,6
/proc/12389/task/12400/stat : 12400 (java) S 12386 12389 5680 0 -1 4202560 560 0 0 0 268 4 0 0 20 0 19 0 110295310 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140456918755688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12401] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12401/stat : 12401 (java) S 12386 12389 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140456917702008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12402] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12402/stat : 12402 (java) S 12386 12389 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140456916648840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12403] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12403/stat : 12403 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140456915597584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12404] ppid=12386 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/12389/task/12404/stat : 12404 (java) S 12386 12389 5680 0 -1 4202560 2431 0 0 0 43 0 0 0 20 0 19 0 110295313 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140456914545464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12405] ppid=12386 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/12389/task/12405/stat : 12405 (java) S 12386 12389 5680 0 -1 4202560 8539 0 0 0 76 2 0 0 20 0 19 0 110295313 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140456913492920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12406] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12406/stat : 12406 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140456912440056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12407] ppid=12386 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/12389/task/12407/stat : 12407 (java) S 12386 12389 5680 0 -1 4202560 100 0 0 0 30 29 0 0 20 0 19 0 110295313 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140456911387720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12408] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12408/stat : 12408 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295346 9856040960 89916 33554432000 1073741824 1073778376 140733346263872 140456910332968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1731.53
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.16 2.15 2.16 3/213 12519
/proc/meminfo: memFree=29816144/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9625040 CPUtime=1792.07 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 20177 0 1 0 179086 121 0 0 20 0 19 0 110295307 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2406260 85231 2290 9 0 2396937 0
[pid=12389/tid=12391] ppid=12386 vsize=9625040 CPUtime=1775.91 cores=0,2,4,6
/proc/12389/task/12391/stat : 12391 (java) R 12386 12389 5680 0 -1 4202560 2594 0 1 0 177561 30 0 0 20 0 19 0 110295308 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140457095396688 140456923687368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12392] ppid=12386 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/12389/task/12392/stat : 12392 (java) S 12386 12389 5680 0 -1 4202560 502 0 0 0 136 12 0 0 20 0 19 0 110295309 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140457056889256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12393] ppid=12386 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/12389/task/12393/stat : 12393 (java) S 12386 12389 5680 0 -1 4202560 379 0 0 0 136 10 0 0 20 0 19 0 110295309 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140457055836712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12394] ppid=12386 vsize=9625040 CPUtime=1.59 cores=0,2,4,6
/proc/12389/task/12394/stat : 12394 (java) S 12386 12389 5680 0 -1 4202560 812 0 0 0 144 15 0 0 20 0 19 0 110295309 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140457054783656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12395] ppid=12386 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/12389/task/12395/stat : 12395 (java) S 12386 12389 5680 0 -1 4202560 504 0 0 0 145 9 0 0 20 0 19 0 110295309 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140457053731112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12396] ppid=12386 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/12389/task/12396/stat : 12396 (java) S 12386 12389 5680 0 -1 4202560 529 0 0 0 136 9 0 0 20 0 19 0 110295309 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140457052679080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12397] ppid=12386 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/12389/task/12397/stat : 12397 (java) S 12386 12389 5680 0 -1 4202560 770 0 0 0 132 11 0 0 20 0 19 0 110295309 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140457051626536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12398] ppid=12386 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/12389/task/12398/stat : 12398 (java) S 12386 12389 5680 0 -1 4202560 683 0 0 0 136 10 0 0 20 0 19 0 110295309 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140457050573480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12399] ppid=12386 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/12389/task/12399/stat : 12399 (java) S 12386 12389 5680 0 -1 4202560 503 0 0 0 130 13 0 0 20 0 19 0 110295309 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140457049520936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12400] ppid=12386 vsize=9625040 CPUtime=2.85 cores=0,2,4,6
/proc/12389/task/12400/stat : 12400 (java) S 12386 12389 5680 0 -1 4202560 569 0 0 0 281 4 0 0 20 0 19 0 110295310 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140456918755688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12401] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12401/stat : 12401 (java) S 12386 12389 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140456917702008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12402] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12402/stat : 12402 (java) S 12386 12389 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140456916648840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12403] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12403/stat : 12403 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140456915597584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12404] ppid=12386 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/12389/task/12404/stat : 12404 (java) S 12386 12389 5680 0 -1 4202560 2431 0 0 0 43 0 0 0 20 0 19 0 110295313 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140456914545464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12405] ppid=12386 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/12389/task/12405/stat : 12405 (java) S 12386 12389 5680 0 -1 4202560 8539 0 0 0 76 2 0 0 20 0 19 0 110295313 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140456913492920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12406] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12406/stat : 12406 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140456912440056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12407] ppid=12386 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/12389/task/12407/stat : 12407 (java) S 12386 12389 5680 0 -1 4202560 104 0 0 0 31 30 0 0 20 0 19 0 110295313 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140456911387720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12408] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12408/stat : 12408 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295346 9856040960 85231 33554432000 1073741824 1073778376 140733346263872 140456910332968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1792.07
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.2 s]
/proc/loadavg: 2.13 2.15 2.16 3/213 12519
/proc/meminfo: memFree=29723304/32872528 swapFree=13072/1184284
[pid=12389] ppid=12386 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/12389/stat : 12389 (java) S 12386 12389 5680 0 -1 4202496 20178 0 1 0 179880 121 0 0 20 0 19 0 110295307 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140733346255008 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12389/statm: 2406260 84846 2290 9 0 2396937 0
[pid=12389/tid=12391] ppid=12386 vsize=9625040 CPUtime=1783.79 cores=0,2,4,6
/proc/12389/task/12391/stat : 12391 (java) R 12386 12389 5680 0 -1 4202560 2595 0 1 0 178348 31 0 0 20 0 19 0 110295308 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140457095396688 140456923687368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12392] ppid=12386 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/12389/task/12392/stat : 12392 (java) S 12386 12389 5680 0 -1 4202560 502 0 0 0 136 12 0 0 20 0 19 0 110295309 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140457056889256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12393] ppid=12386 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/12389/task/12393/stat : 12393 (java) S 12386 12389 5680 0 -1 4202560 379 0 0 0 136 10 0 0 20 0 19 0 110295309 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140457055836712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12394] ppid=12386 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/12389/task/12394/stat : 12394 (java) S 12386 12389 5680 0 -1 4202560 812 0 0 0 145 15 0 0 20 0 19 0 110295309 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140457054783656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12395] ppid=12386 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/12389/task/12395/stat : 12395 (java) S 12386 12389 5680 0 -1 4202560 504 0 0 0 146 9 0 0 20 0 19 0 110295309 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140457053731112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12396] ppid=12386 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/12389/task/12396/stat : 12396 (java) S 12386 12389 5680 0 -1 4202560 529 0 0 0 136 9 0 0 20 0 19 0 110295309 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140457052679080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12397] ppid=12386 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/12389/task/12397/stat : 12397 (java) S 12386 12389 5680 0 -1 4202560 770 0 0 0 133 11 0 0 20 0 19 0 110295309 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140457051626536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12398] ppid=12386 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/12389/task/12398/stat : 12398 (java) S 12386 12389 5680 0 -1 4202560 683 0 0 0 137 10 0 0 20 0 19 0 110295309 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140457050573480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12399] ppid=12386 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/12389/task/12399/stat : 12399 (java) S 12386 12389 5680 0 -1 4202560 503 0 0 0 132 13 0 0 20 0 19 0 110295309 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140457049520936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12389/tid=12400] ppid=12386 vsize=9625040 CPUtime=2.86 cores=0,2,4,6
/proc/12389/task/12400/stat : 12400 (java) S 12386 12389 5680 0 -1 4202560 569 0 0 0 282 4 0 0 20 0 19 0 110295310 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140456918755688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12401] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12401/stat : 12401 (java) S 12386 12389 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140456917702008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12402] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12402/stat : 12402 (java) S 12386 12389 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110295310 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140456916648840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12403] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12403/stat : 12403 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140456915597584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12404] ppid=12386 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/12389/task/12404/stat : 12404 (java) S 12386 12389 5680 0 -1 4202560 2431 0 0 0 43 0 0 0 20 0 19 0 110295313 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140456914545464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12389/tid=12405] ppid=12386 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/12389/task/12405/stat : 12405 (java) S 12386 12389 5680 0 -1 4202560 8539 0 0 0 76 2 0 0 20 0 19 0 110295313 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140456913492920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12406] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12406/stat : 12406 (java) S 12386 12389 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110295313 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140456912440056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12389/tid=12407] ppid=12386 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/12389/task/12407/stat : 12407 (java) S 12386 12389 5680 0 -1 4202560 104 0 0 0 31 31 0 0 20 0 19 0 110295313 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140456911387720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12389/tid=12408] ppid=12386 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12389/task/12408/stat : 12408 (java) S 12386 12389 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110295346 9856040960 84846 33554432000 1073741824 1073778376 140733346263872 140456910332968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1790.27
CPU time (s): 1800.75
CPU user time (s): 1799.04
CPU system time (s): 1.71374
CPU usage (%): 100.585
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.71374
maximum resident set size= 817376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20215
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41366
involuntary context switches= 30668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8041 second user time and 10.8124 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-07 09:13:26
IDJOB=4084649
IDBENCH=90121
IDSOLVER=2546
FILE ID=node115/4084649-1465283606
RUNJOBID= node115-1465253623-5696
PBS_JOBID= 19843266
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084649-1465283606/watcher-4084649-1465283606 -o /tmp/evaluation-result-4084649-1465283606/solver-4084649-1465283606 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5696 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084649-1465283606.opb

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

MD5SUM BENCH= 21cc97db69195cd3dcf69a6d797764c1
RANDOM SEED=2134986616

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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.57
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.174
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.174
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.57
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.174
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.57
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.174
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:        30151760 kB
Buffers:          109760 kB
Cached:           283720 kB
SwapCached:         2020 kB
Active:           456840 kB
Inactive:         312868 kB
Active(anon):     376392 kB
Inactive(anon):     2100 kB
Active(file):      80448 kB
Inactive(file):   310768 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098836 kB
Dirty:              1244 kB
Writeback:             0 kB
AnonPages:       1575356 kB
Mapped:            16388 kB
Shmem:                 0 kB
Slab:             616632 kB
SReclaimable:      60584 kB
SUnreclaim:       556048 kB
KernelStack:        1608 kB
PageTables:         7060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2038364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1527808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node115 at 2016-06-07 09:43:16